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

qbflib.org

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

Instance	Result	Time
robots_1_5_2_47.2	SAT	2.67
robots_1_5_2_14.2	SAT	2.91
robots_1_5_2_85.2	SAT	3.14
robots_1_5_2_10.2	SAT	3.14
robots_1_5_2_81.2	SAT	3.16
robots_1_5_2_31.2	SAT	3.27
robots_1_5_2_49.2	SAT	3.33
robots_1_5_2_3.4	SAT	3.42
robots_1_5_2_100.4	SAT	3.44
robots_1_5_2_100.2	SAT	3.44
robots_1_5_2_28.2	SAT	3.49
robots_1_5_2_21.4	SAT	3.5
robots_1_5_2_85.4	SAT	3.58
robots_1_5_2_2.4	SAT	3.76
robots_1_5_2_45.4	SAT	3.89
robots_1_5_2_33.2	SAT	3.98
robots_1_5_2_75.8	SAT	4.18
robots_1_5_2_80.4	SAT	7.52
robots_1_5_2_99.4	SAT	8.85
robots_1_5_2_39.4	SAT	9.83
robots_1_5_2_82.4	SAT	9.9
robots_1_5_2_9.8	UNSAT	12.36
robots_1_5_2_91.8	SAT	37.92
robots_1_5_2_67.8	SAT	61.58
robots_1_5_2_61.8	UNSAT	128.53
robots_1_5_2_82.8	UNSAT	128.95
robots_1_5_2_100.8	SAT	154.3
robots_1_5_2_54.8	SAT	212.3
robots_1_5_2_40.8	UNSAT	646.61
robots_1_5_2_32.8	FAIL	1200

Contact | Organization | Links | Citing QBFLIB