Results for instance incrementer-enc07-nonuniform-depth-21
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.



Solver Time Result
hordeqbf1.13UNSAT
mpiDepQBF1.77UNSAT
hiqqerfork2.16UNSAT
par-pd-depqbf2.52UNSAT
caqe-minisat-par8.89UNSAT
caqe-picosat-par19.17UNSAT