In QBF-2016, the cutoff is wrong 1800 -> 600 #21
Description
The cutoff of 1800 sec in the qbf-2016 is wrong (both in description.txt and algorithm_runs.arff). It should be 600sec.
{{ message }}
The cutoff of 1800 sec in the qbf-2016 is wrong (both in description.txt and algorithm_runs.arff). It should be 600sec.