Results for instance BLOCKS4iii.6
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
qsts0.03UNSAT
rareqs0.04UNSAT
qestos0.06UNSAT
qesto0.22UNSAT
hiqqer1ldsq0.27UNSAT
hiqqer10.29UNSAT
xb-qsts0.3UNSAT
xb-bid-qsts0.35UNSAT
caqe-minisat0.37UNSAT
hiqqer30.47UNSAT
depqbf-v21.12UNSAT
caqe-picosat1.99UNSAT
ghostq-cegar2.06UNSAT
depqbf-v32.21UNSAT
aqua-f3v2.72UNSAT
aqua-s3o4.92UNSAT
aqua-s2v5.41UNSAT
iprover-QBF-bloqqer6.59UNSAT
iprover-QBF8.12UNSAT
depqbf-v110.41UNSAT
ghostq-plain10.72UNSAT
squeezebf+struqs599.71FAIL
struqs-10599.71FAIL
AIGSolve599.77FAIL