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

qbflib.org

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

Instance	Result	Time
robots_1_5_4_81.2	SAT	0.38
robots_1_5_4_75.2	SAT	0.38
robots_1_5_4_73.2	SAT	0.39
robots_1_5_4_44.2	SAT	0.39
robots_1_5_4_100.2	SAT	0.4
robots_1_5_4_71.2	SAT	0.5
robots_1_5_4_32.2	SAT	0.52
robots_1_5_4_59.2	SAT	0.54
robots_1_5_4_22.2	SAT	0.55
robots_1_5_4_52.2	SAT	0.55
robots_1_5_4_100.4	SAT	4.32
robots_1_5_4_50.4	SAT	4.75
robots_1_5_4_31.4	SAT	5.2
robots_1_5_4_30.4	SAT	5.46
robots_1_5_4_98.4	SAT	6.11
robots_1_5_4_46.4	SAT	6.56
robots_1_5_4_87.4	SAT	6.82
robots_1_5_4_2.4	SAT	7.48
robots_1_5_4_91.4	SAT	7.69
robots_1_5_4_51.4	SAT	9.41
robots_1_5_4_100.8	UNSAT	50.14
robots_1_5_4_17.8	UNSAT	75.59
robots_1_5_4_91.8	UNSAT	114.19
robots_1_5_4_75.8	UNSAT	150.37
robots_1_5_4_1.8	UNSAT	303.24
robots_1_5_4_56.8	UNSAT	306.62
robots_1_5_4_46.8	UNSAT	412
robots_1_5_4_96.8	FAIL	1200.13
robots_1_5_4_24.8	FAIL	1200.17
robots_1_5_4_99.8	FAIL	1200.18

Contact | Organization | Links | Citing QBFLIB