Sota solver results for family RobotsD2 <br> QBFEVAL'10

Instance	Solver	Result	Time
robots_1_5_2_10.2	depqbf-pre	SAT	0.29
robots_1_5_2_100.2	depqbf-pre	SAT	0.27
robots_1_5_2_100.4	aqme-10	SAT	3.44
robots_1_5_2_100.8	aqme-10	SAT	154.3
robots_1_5_2_14.2	depqbf-pre	SAT	0.32
robots_1_5_2_2.4	aqme-10	SAT	3.76
robots_1_5_2_21.4	depqbf	SAT	0.6
robots_1_5_2_28.2	depqbf-pre	SAT	0.24
robots_1_5_2_3.4	depqbf	SAT	0.6
robots_1_5_2_31.2	depqbf-pre	SAT	0.24
robots_1_5_2_32.8	QuBE7	SAT	1169.02
robots_1_5_2_33.2	depqbf-pre	SAT	0.27
robots_1_5_2_39.4	aqme-10	SAT	9.83
robots_1_5_2_40.8	aqme-10	UNSAT	646.61
robots_1_5_2_45.4	aqme-10	SAT	3.89
robots_1_5_2_47.2	depqbf-pre	SAT	0.27
robots_1_5_2_49.2	depqbf	SAT	0.2
robots_1_5_2_54.8	aqme-10	SAT	212.3
robots_1_5_2_61.8	depqbf	UNSAT	43.49
robots_1_5_2_67.8	aqme-10	SAT	61.58
robots_1_5_2_75.8	depqbf	SAT	2.95
robots_1_5_2_80.4	depqbf-pre	SAT	5.6
robots_1_5_2_81.2	depqbf	SAT	0.22
robots_1_5_2_82.4	depqbf-pre	SAT	8.14
robots_1_5_2_82.8	depqbf	UNSAT	74.71
robots_1_5_2_85.2	depqbf-pre	SAT	0.21
robots_1_5_2_85.4	depqbf	SAT	0.63
robots_1_5_2_9.8	aqme-10	UNSAT	12.36
robots_1_5_2_91.8	aqme-10	SAT	37.92
robots_1_5_2_99.4	depqbf-pre	SAT	6.78

QBF Solver Evaluation Portal