Instances of family RobotsD2 solved by <a href='solver_detail.php?solver=107'>depqbf</a> <br> QBFEVAL'10 - Random QBFs Track.

qbflib.org

Instances of family RobotsD2 solved by depqbf
QBFEVAL'10 - Random QBFs Track.

Instance	Result	Time
robots_1_5_2_49.2	SAT	0.2
robots_1_5_2_85.2	SAT	0.21
robots_1_5_2_81.2	SAT	0.22
robots_1_5_2_100.2	SAT	0.27
robots_1_5_2_47.2	SAT	0.27
robots_1_5_2_31.2	SAT	0.28
robots_1_5_2_28.2	SAT	0.29
robots_1_5_2_33.2	SAT	0.35
robots_1_5_2_14.2	SAT	0.37
robots_1_5_2_10.2	SAT	0.38
robots_1_5_2_21.4	SAT	0.6
robots_1_5_2_3.4	SAT	0.6
robots_1_5_2_85.4	SAT	0.63
robots_1_5_2_75.8	SAT	2.95
robots_1_5_2_100.4	SAT	3.56
robots_1_5_2_2.4	SAT	5.33
robots_1_5_2_45.4	SAT	6.5
robots_1_5_2_80.4	SAT	6.58
robots_1_5_2_99.4	SAT	7.26
robots_1_5_2_82.4	SAT	9.25
robots_1_5_2_39.4	SAT	10.41
robots_1_5_2_61.8	UNSAT	43.49
robots_1_5_2_82.8	UNSAT	74.71
robots_1_5_2_9.8	UNSAT	323.53
robots_1_5_2_91.8	SAT	404.69
robots_1_5_2_100.8	SAT	433.01
robots_1_5_2_67.8	FAIL	1200.17
robots_1_5_2_40.8	FAIL	1200.17
robots_1_5_2_54.8	FAIL	1200.18
robots_1_5_2_32.8	FAIL	1200.18

Contact | Organization | Links | Citing QBFLIB