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

qbflib.org

Sota solver results for family RobotsD5
QBFEVAL'06

Instance	Solver	Result	Time
robots_1_5_5_100.4	sKizzo-0.9-abs	SAT	1.61
robots_1_5_5_12.4	sKizzo-0.9-abs	SAT	2.32
robots_1_5_5_26.4	qube3.0	SAT	0.52
robots_1_5_5_30.4	sKizzo-0.9-abs	SAT	2.04
robots_1_5_5_34.4	sKizzo-0.9-abs	SAT	1.6
robots_1_5_5_45.4	sKizzo-0.9-abs	SAT	2.61
robots_1_5_5_66.4	qube3.0	SAT	0.52
robots_1_5_5_8.4	sKizzo-0.9-abs	SAT	1.67
robots_1_5_5_87.4	sKizzo-0.9-abs	SAT	1.72
robots_1_5_5_93.4	sKizzo-0.9-abs	SAT	1.62

Contact | Organization | Links | Citing QBFLIB