Sota solver results for family cycle-sched <br> QBFEVAL'19 - Prenex CNF Track

qbflib.org

Sota solver results for family cycle-sched
QBFEVAL'19 - Prenex CNF Track

Instance	Solver	Result	Time
cycle_sched_12_2_1.sat	Hiqqer2019_1	SAT	0
cycle_sched_2_10_1.sat	Caqe-bloqqer-qdo	SAT	2.63
cycle_sched_4_4_2.sat	Caqe-bloqqer-qdo	SAT	3.38
cycle_sched_4_7_1.sat	Hiqqer2019_2	SAT	107.73
cycle_sched_4_7_1.unsat	caqe-pre	UNSAT	56.46
cycle_sched_6_6_2.sat	Hiqqer2019_1	SAT	55.93
cycle_sched_6_7_1.sat	Hiqqer2019_1	SAT	6.34

Contact | Organization | Links | Citing QBFLIB