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

qbflib.org

Sota solver results for family RobotsD2
QBFEVAL'06

Instance	Solver	Result	Time
robots_1_5_2_100.4	sKizzo-0.9-abs	SAT	1.89
robots_1_5_2_2.4	sKizzo-0.9-abs	SAT	1.64
robots_1_5_2_21.4	qube3.0	SAT	0.53
robots_1_5_2_3.4	qube3.0	SAT	0.57
robots_1_5_2_39.4	sKizzo-0.9-abs	SAT	3.22
robots_1_5_2_45.4	sKizzo-0.9-abs	SAT	2.4
robots_1_5_2_80.4	sKizzo-0.9-abs	SAT	1.78
robots_1_5_2_82.4	sKizzo-0.9-abs	SAT	2.56
robots_1_5_2_85.4	qube3.0	SAT	0.59
robots_1_5_2_99.4	sKizzo-0.9-abs	SAT	1.85

Contact | Organization | Links | Citing QBFLIB