Results for instance term1.blif_0.10_0.20_0_0_inp_exact
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.



Solver Time Result
hiqqerfork1.17UNSAT
mpiDepQBF3.75UNSAT
par-pd-depqbf4.02UNSAT
hordeqbf6.08UNSAT
caqe-picosat-par39.79UNSAT
caqe-minisat-par43.28UNSAT