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

InstanceResultTime
cycle_sched_4_7_1.satSAT9.22
cycle_sched_6_7_1.satSAT26.35
cycle_sched_4_7_1.unsatUNSAT356.82
cycle_sched_6_7_1.unsatFAIL900