Results for instance C5315.blif_0.10_1.00_0_0_inp_exact
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.



Solver Time Result
par-pd-depqbf0.52UNSAT
hiqqerfork1.26UNSAT
caqe-picosat-par2.36UNSAT
caqe-minisat-par4.49UNSAT
hordeqbf11.1UNSAT
mpiDepQBF42.64UNSAT