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

Instance	Solver	Result	Time
robots_1_5_3_100.4	sKizzo-0.9-abs	SAT	1.01
robots_1_5_3_16.4	sKizzo-0.9-abs	SAT	2.49
robots_1_5_3_2.4	sKizzo-0.9-abs	SAT	2.66
robots_1_5_3_20.4	sKizzo-0.9-abs	SAT	1.86
robots_1_5_3_24.4	sKizzo-0.9-abs	SAT	2.82
robots_1_5_3_44.4	sKizzo-0.9-abs	SAT	1.52
robots_1_5_3_52.4	sKizzo-0.9-abs	SAT	3.29
robots_1_5_3_57.4	sKizzo-0.9-abs	SAT	2.76
robots_1_5_3_66.4	sKizzo-0.9-abs	SAT	2.39
robots_1_5_3_78.4	sKizzo-0.9-abs	SAT	1.89

QBF Solver Evaluation Portal