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

qbflib.org

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

Instance	Result	Time
robots_1_5_3_100.2	SAT	0.23
robots_1_5_3_51.2	SAT	0.24
robots_1_5_3_25.2	SAT	0.27
robots_1_5_3_52.2	SAT	0.32
robots_1_5_3_62.2	SAT	0.35
robots_1_5_3_26.2	SAT	0.36
robots_1_5_3_80.2	SAT	0.42
robots_1_5_3_91.2	SAT	0.43
robots_1_5_3_30.2	SAT	0.52
robots_1_5_3_7.2	SAT	0.54
robots_1_5_3_39.8	SAT	2.7
robots_1_5_3_44.4	SAT	5.39
robots_1_5_3_16.4	SAT	6.45
robots_1_5_3_100.4	SAT	6.47
robots_1_5_3_66.4	SAT	8
robots_1_5_3_20.4	SAT	8.62
robots_1_5_3_24.4	SAT	8.75
robots_1_5_3_78.4	SAT	9.69
robots_1_5_3_57.4	SAT	10.17
robots_1_5_3_2.4	SAT	10.32
robots_1_5_3_52.4	SAT	11.65
robots_1_5_3_44.8	UNSAT	43.22
robots_1_5_3_8.8	UNSAT	44.44
robots_1_5_3_70.8	UNSAT	56.9
robots_1_5_3_64.8	UNSAT	82.97
robots_1_5_3_55.8	UNSAT	108.11
robots_1_5_3_100.8	UNSAT	215.24
robots_1_5_3_27.8	UNSAT	222.65
robots_1_5_3_90.8	UNSAT	674.37
robots_1_5_3_16.8	FAIL	1200.17

Contact | Organization | Links | Citing QBFLIB