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

Instance	Solver	Result	Time
robots_1_5_4_100.4	sKizzo-0.9-abs	SAT	1.21
robots_1_5_4_2.4	sKizzo-0.9-abs	SAT	2.02
robots_1_5_4_30.4	sKizzo-0.9-abs	SAT	1.73
robots_1_5_4_31.4	sKizzo-0.9-abs	SAT	1.71
robots_1_5_4_46.4	sKizzo-0.9-abs	SAT	1.47
robots_1_5_4_50.4	sKizzo-0.9-abs	SAT	1.62
robots_1_5_4_51.4	sKizzo-0.9-abs	SAT	2.34
robots_1_5_4_87.4	sKizzo-0.9-abs	SAT	1.77
robots_1_5_4_91.4	sKizzo-0.9-abs	SAT	2.03
robots_1_5_4_98.4	sKizzo-0.9-abs	SAT	1.41

QBF Solver Evaluation Portal