Instances of family cycle-sched solved by quabs___caqe-bloqqer
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
cycle_sched_6_2_1.satSAT722.57
cycle_sched_6_2_1.unsatFAIL900.02