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



Solver Time Result
hordeqbf1.11UNSAT
mpiDepQBF1.23UNSAT
hiqqerfork1.84UNSAT
par-pd-depqbf2.01UNSAT
caqe-minisat-par6.61UNSAT
caqe-picosat-par14.63UNSAT