Results for instance BLOCKS4i.6.4
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
rareqs0.08UNSAT
qsts0.09UNSAT
qestos0.11UNSAT
xb-qsts0.68UNSAT
hiqqer1ldsq0.79UNSAT
hiqqer10.81UNSAT
hiqqer31.18UNSAT
depqbf-v31.63UNSAT
caqe-picosat2.48UNSAT
qesto4.47UNSAT
aqua-f3v8.21UNSAT
ghostq-cegar9.62UNSAT
depqbf-v210.81UNSAT
ghostq-plain14.94UNSAT
iprover-QBF25.63UNSAT
iprover-QBF-bloqqer27.83UNSAT
xb-bid-qsts30.67SAT
caqe-minisat73.95UNSAT
aqua-s2v80.34UNSAT
depqbf-v1592.94FAIL
squeezebf+struqs599.71FAIL
struqs-10599.71FAIL
AIGSolve599.72FAIL
aqua-s3o599.81FAIL