Viewing all changes in revision 270.
- Committer: Nikolaj Jensen Ulrik
- Date: 2021-08-04 12:58:18 UTC
- Revision ID: njul@cs.aau.dk-20210804125818-upxbff2mwbs9uj1h
Refine MCC21 competition script with fresh heuristic and no stubborn sets in random phase
- files modified:
- Scripts/MCC21/competition-scripts/tapaal.sh
expand all
collapse all
added
removed
