Instances of family cycle-sched solved by xb-qsts_bqsts2.0
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
cycle_sched_12_2_1.satSAT0.76
cycle_sched_4_4_2.satSAT4.97
cycle_sched_2_10_1.satSAT7.34
cycle_sched_6_6_2.satSAT128.31