Instances of family cycle-sched solved by Rareqs_2018
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
cycle_sched_4_7_1.satSAT9.26
cycle_sched_6_7_1.satSAT26.24
cycle_sched_4_7_1.unsatUNSAT388.75
cycle_sched_6_7_1.unsatFAIL900.01