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

qbflib.org

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

Instance	Result	Time
p5-5.pddl_planlen=5	SAT	0.12
p5-5.pddl_planlen=6	SAT	0.14
p10-10.pddl_planlen=6	FAIL	1.59
p10-10.pddl_planlen=10	FAIL	22.4
p20-1.pddl_planlen=24	FAIL	599.72
p20-5.pddl_planlen=32	FAIL	600
p20-1.pddl_planlen=26	FAIL	600
p20-1.pddl_planlen=32	FAIL	600
p20-20.pddl_planlen=23	FAIL	600
p20-5.pddl_planlen=17	FAIL	600

Contact | Organization | Links | Citing QBFLIB