Results for instance p20-1.pddl_planlen=26
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.



Solver Time Result
cheq0.07FAIL
caqe-minisat-cert600FAIL
caqe-picosat-cert600FAIL
depqbf-cert-v1601.63FAIL
depqbf-cert-v2616.62FAIL