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

qbflib.org

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

Instance	Result	Time
p5-5.pddl_planlen=6	SAT	0.12
p5-5.pddl_planlen=5	SAT	0.12
p10-10.pddl_planlen=10	SAT	7.01
p20-20.pddl_planlen=23	FAIL	597.34
p20-1.pddl_planlen=26	FAIL	616.62
p20-1.pddl_planlen=32	FAIL	630.52
p20-1.pddl_planlen=24	FAIL	643.63
p20-5.pddl_planlen=17	FAIL	644.12
p20-5.pddl_planlen=32	FAIL	651.67
p10-10.pddl_planlen=6	FAIL	659.23

Contact | Organization | Links | Citing QBFLIB