Results for instance ev-pr-8x8-9-7-0-1-2-lg
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
depqbf-v116.81UNSAT
hiqqer1ldsq27.85UNSAT
hiqqer128.01UNSAT
depqbf-v336.28UNSAT
hiqqer338.59UNSAT
depqbf-v250.62UNSAT
xb-qsts66.42UNSAT
xb-bid-qsts67.42UNSAT
rareqs70.6UNSAT
aqua-s3o78.61UNSAT
aqua-f3v85.52UNSAT
aqua-s2v89.1UNSAT
qsts240.83FAIL
ghostq-cegar324.23FAIL
ghostq-plain339.14UNSAT
caqe-picosat380.48UNSAT
qestos486.03FAIL
iprover-QBF526.45FAIL
AIGSolve596.66FAIL
iprover-QBF-bloqqer599.12FAIL
qesto599.71FAIL
struqs-10599.71FAIL
caqe-minisat599.72FAIL
squeezebf+struqs599.81FAIL