Results for instance Core1108_tbm_02.tex.moduleQ3.2S.000015
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.



Solver Time Result
mpiDepQBF0.1UNSAT
hordeqbf1.07UNSAT
par-pd-depqbf6.03UNSAT
caqe-picosat-par7.7UNSAT
hiqqerfork8.56UNSAT
caqe-minisat-par296.95UNSAT