Results for instance sortnetsort9.AE.stepl.009
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.



Solver Time Result
hiqqerfork15.83UNSAT
par-pd-depqbf99.34UNSAT
caqe-picosat-par321.66UNSAT
caqe-minisat-par600FAIL
hordeqbf600FAIL
mpiDepQBF600FAIL