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

qbflib.org

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

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