Instances of family cycle-sched solved by caqe_2017_v1
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
cycle_sched_4_7_1.satSAT10.12
cycle_sched_6_7_1.satSAT36.19
cycle_sched_4_7_1.unsatUNSAT885.3
cycle_sched_6_7_1.unsatFAIL900