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



Solver Time Result
hordeqbf1.13UNSAT
par-pd-depqbf2.52UNSAT
mpiDepQBF2.73UNSAT
hiqqerfork2.95UNSAT
caqe-minisat-par10.81UNSAT
caqe-picosat-par22.92UNSAT