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

Instance	Solver	Result	Time
robots_1_5_4_1.8	aqme-10	UNSAT	24.45
robots_1_5_4_100.2	depqbf-pre	SAT	0.34
robots_1_5_4_100.4	aqme-10	SAT	3.83
robots_1_5_4_100.8	aqme-10	UNSAT	6.67
robots_1_5_4_17.8	aqme-10	UNSAT	13.41
robots_1_5_4_2.4	depqbf-pre	SAT	6.71
robots_1_5_4_22.2	depqbf-pre	SAT	0.4
robots_1_5_4_24.8	aqme-10	UNSAT	14.31
robots_1_5_4_30.4	aqme-10	SAT	3.24
robots_1_5_4_31.4	aqme-10	SAT	3.38
robots_1_5_4_32.2	depqbf-pre	SAT	0.38
robots_1_5_4_44.2	depqbf-pre	SAT	0.32
robots_1_5_4_46.4	aqme-10	SAT	3.53
robots_1_5_4_46.8	aqme-10	UNSAT	24.93
robots_1_5_4_50.4	depqbf	SAT	4.75
robots_1_5_4_51.4	aqme-10	SAT	7.33
robots_1_5_4_52.2	depqbf-pre	SAT	0.41
robots_1_5_4_56.8	aqme-10	UNSAT	6.76
robots_1_5_4_59.2	depqbf-pre	SAT	0.42
robots_1_5_4_71.2	depqbf-pre	SAT	0.39
robots_1_5_4_73.2	depqbf-pre	SAT	0.33
robots_1_5_4_75.2	depqbf-pre	SAT	0.31
robots_1_5_4_75.8	aqme-10	UNSAT	8.91
robots_1_5_4_81.2	depqbf-pre	SAT	0.31
robots_1_5_4_87.4	aqme-10	SAT	3.42
robots_1_5_4_91.4	aqme-10	SAT	3.73
robots_1_5_4_91.8	aqme-10	UNSAT	7.76
robots_1_5_4_96.8	aqme-10	UNSAT	32.41
robots_1_5_4_98.4	depqbf-pre	SAT	5.04
robots_1_5_4_99.8	aqme-10	UNSAT	14.03

QBF Solver Evaluation Portal