Instances of family cycle-sched solved by depqbf_pre_QxQBH
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
cycle_sched_12_2_1.satSAT0.93
cycle_sched_4_4_2.satSAT27.8
cycle_sched_4_7_1.unsatUNSAT61.29
cycle_sched_6_6_2.satSAT250.18
cycle_sched_6_7_1.satSAT271.64
cycle_sched_2_10_1.satSAT318.17
cycle_sched_4_7_1.satSAT402.07
cycle_sched_6_7_1.unsatFAIL900.07