Results for instance arbiter-06-comp-error01-qbf-hardness-depth-15
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.



Solver Time Result
mpiDepQBF0.99UNSAT
hordeqbf1.09UNSAT
hiqqerfork17.96UNSAT
caqe-picosat-par19.67UNSAT
par-pd-depqbf49.17UNSAT
caqe-minisat-par50.33UNSAT