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

InstanceResultTime
cycle_sched_4_7_1.satFAIL900
cycle_sched_4_7_1.unsatFAIL900
cycle_sched_6_7_1.satFAIL900
cycle_sched_6_7_1.unsatFAIL900