Results for instance s386_d3_s
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.



Solver Time Result
par-pd-depqbf0.51SAT
caqe-minisat-par42.29SAT
caqe-picosat-par43.63SAT
hiqqerfork363.43SAT
hordeqbf600FAIL
mpiDepQBF600FAIL