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

qbflib.org

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

Instance	Result	Time
robots_1_5_4_59.2	SAT	2.72
robots_1_5_4_44.2	SAT	2.96
robots_1_5_4_81.2	SAT	3.18
robots_1_5_4_73.2	SAT	3.18
robots_1_5_4_30.4	SAT	3.24
robots_1_5_4_71.2	SAT	3.28
robots_1_5_4_32.2	SAT	3.31
robots_1_5_4_100.2	SAT	3.34
robots_1_5_4_31.4	SAT	3.38
robots_1_5_4_87.4	SAT	3.42
robots_1_5_4_52.2	SAT	3.43
robots_1_5_4_75.2	SAT	3.48
robots_1_5_4_46.4	SAT	3.53
robots_1_5_4_91.4	SAT	3.73
robots_1_5_4_22.2	SAT	3.81
robots_1_5_4_100.4	SAT	3.83
robots_1_5_4_50.4	SAT	6.28
robots_1_5_4_98.4	SAT	6.46
robots_1_5_4_100.8	UNSAT	6.67
robots_1_5_4_56.8	UNSAT	6.76
robots_1_5_4_2.4	SAT	6.94
robots_1_5_4_51.4	SAT	7.33
robots_1_5_4_91.8	UNSAT	7.76
robots_1_5_4_75.8	UNSAT	8.91
robots_1_5_4_17.8	UNSAT	13.41
robots_1_5_4_99.8	UNSAT	14.03
robots_1_5_4_24.8	UNSAT	14.31
robots_1_5_4_1.8	UNSAT	24.45
robots_1_5_4_46.8	UNSAT	24.93
robots_1_5_4_96.8	UNSAT	32.41

Contact | Organization | Links | Citing QBFLIB