Instances of family bomb solved by <a href='solver_detail.php?solver=251'>caqe-picosat-cert</a> <br> QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

qbflib.org

Instances of family bomb solved by caqe-picosat-cert
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

Instance	Result	Time
p5-5.pddl_planlen=5	SAT	0.21
p5-5.pddl_planlen=6	SAT	0.36
p10-10.pddl_planlen=6	FAIL	5.29
p10-10.pddl_planlen=10	SAT	68.98
p20-20.pddl_planlen=23	FAIL	600
p20-5.pddl_planlen=17	FAIL	600
p20-1.pddl_planlen=24	FAIL	600
p20-1.pddl_planlen=26	FAIL	600
p20-1.pddl_planlen=32	FAIL	600
p20-5.pddl_planlen=32	FAIL	613.93

Contact | Organization | Links | Citing QBFLIB