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

qbflib.org

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

Solver	Time	Result
hiqqerfork	0.02	UNSAT
caqe-minisat-par	0.03	UNSAT
caqe-picosat-par	0.03	UNSAT
mpiDepQBF	0.05	UNSAT
par-pd-depqbf	0.52	UNSAT
hordeqbf	1.05	UNSAT