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

Instance	Solver	Result	Time
robots_1_5_3_100.2	depqbf	SAT	0.23
robots_1_5_3_100.4	aqme-10	SAT	3.48
robots_1_5_3_100.8	aqme-10	UNSAT	14.36
robots_1_5_3_16.4	aqme-10	SAT	3.82
robots_1_5_3_16.8	QuBE7	UNSAT	150.37
robots_1_5_3_2.4	depqbf-pre	SAT	8.81
robots_1_5_3_20.4	aqme-10	SAT	3.56
robots_1_5_3_24.4	depqbf-pre	SAT	8.1
robots_1_5_3_25.2	depqbf-pre	SAT	0.24
robots_1_5_3_26.2	depqbf-pre	SAT	0.27
robots_1_5_3_27.8	aqme-10	UNSAT	10.73
robots_1_5_3_30.2	depqbf-pre	SAT	0.41
robots_1_5_3_39.8	depqbf	SAT	2.7
robots_1_5_3_44.4	aqme-10	SAT	3.6
robots_1_5_3_44.8	aqme-10	UNSAT	6.62
robots_1_5_3_51.2	depqbf-pre	SAT	0.24
robots_1_5_3_52.2	depqbf-pre	SAT	0.25
robots_1_5_3_52.4	depqbf-pre	SAT	10.67
robots_1_5_3_55.8	depqbf	UNSAT	108.11
robots_1_5_3_57.4	depqbf-pre	SAT	9.53
robots_1_5_3_62.2	depqbf-pre	SAT	0.26
robots_1_5_3_64.8	aqme-10	UNSAT	23.49
robots_1_5_3_66.4	depqbf-pre	SAT	6.74
robots_1_5_3_7.2	depqbf-pre	SAT	0.42
robots_1_5_3_70.8	aqme-10	UNSAT	7.37
robots_1_5_3_78.4	aqme-10	SAT	3.51
robots_1_5_3_8.8	aqme-10	UNSAT	6.94
robots_1_5_3_80.2	depqbf-pre	SAT	0.27
robots_1_5_3_90.8	aqme-10	UNSAT	14.17
robots_1_5_3_91.2	depqbf	SAT	0.43

QBF Solver Evaluation Portal