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



Solver Time Result
hordeqbf1.13UNSAT
par-pd-depqbf1.52UNSAT
mpiDepQBF2.29UNSAT
hiqqerfork2.34UNSAT
caqe-minisat-par7.5UNSAT
caqe-picosat-par14.65UNSAT