Results for instance fpu-10Xh-correct04-uniform-depth-8
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.



Solver Time Result
hiqqerfork0.59UNSAT
caqe-picosat-par1.77UNSAT
caqe-minisat-par1.78UNSAT
hordeqbf3.02UNSAT
mpiDepQBF11.56UNSAT
par-pd-depqbf130.94UNSAT