Results for instance ev-pr-6x6-13-5-0-1-2-lg
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
hiqqer185.32UNSAT
hiqqer1ldsq107.01UNSAT
hiqqer3107.44UNSAT
aqua-s2v121.88UNSAT
depqbf-v2166.91UNSAT
aqua-s3o170.61UNSAT
aqua-f3v187.2UNSAT
qestos266.42FAIL
depqbf-v1300.01UNSAT
depqbf-v3316.15UNSAT
qsts316.83FAIL
xb-bid-qsts356.18UNSAT
xb-qsts358.29UNSAT
ghostq-plain397.82FAIL
ghostq-cegar558.35FAIL
iprover-QBF599.22FAIL
iprover-QBF-bloqqer599.23FAIL
rareqs599.71FAIL
squeezebf+struqs599.71FAIL
struqs-10599.71FAIL
caqe-minisat599.72FAIL
AIGSolve599.76FAIL
qesto599.81FAIL
caqe-picosat599.82FAIL