Results for instance dungeon_i10-m5-u10-v0.pddl_planlen=134
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.



Solver Time Result
mpiDepQBF1.15UNSAT
hordeqbf1.16UNSAT
hiqqerfork3.29UNSAT
caqe-minisat-par10.99UNSAT
caqe-picosat-par11.09UNSAT
par-pd-depqbf18.08UNSAT