Instances of family ToiletC solved by <a href='solver_detail.php?solver=2'>openQbf</a> <br> QBFEVAL'05

qbflib.org

Instances of family ToiletC solved by openQbf
QBFEVAL'05

Instance	Result	Time
toilet_c_08_01.2	UNSAT	0.16
toilet_c_10_01.2	UNSAT	0.17
toilet_c_08_01.4	UNSAT	0.19
toilet_c_10_01.4	UNSAT	0.23
toilet_c_08_10.2	SAT	0.25
toilet_c_08_01.16	SAT	0.28
toilet_c_10_10.2	SAT	0.32
toilet_c_10_01.8	UNSAT	0.37
toilet_c_10_01.20	SAT	0.38
toilet_c_08_01.8	UNSAT	0.39
toilet_c_08_05.8	SAT	0.39
toilet_c_08_05.2	UNSAT	0.43
toilet_c_08_05.10	SAT	0.44
toilet_c_10_05.8	SAT	0.45
toilet_c_10_05.7	SAT	0.46
toilet_c_08_05.4	SAT	0.49
toilet_c_10_05.12	SAT	0.52
toilet_c_10_05.2	UNSAT	0.56
toilet_c_10_01.16	UNSAT	187.5
toilet_c_10_05.4	SAT	427.13

Contact | Organization | Links | Citing QBFLIB