Instances of family cycle-sched solved by xb-qsts_xbqsts2.0
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
cycle_sched_4_7_1.satSAT69.36
cycle_sched_6_7_1.satFAIL900
cycle_sched_6_7_1.unsatFAIL900
cycle_sched_4_7_1.unsatFAIL900