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



Solver Time Result
depqbf-v130.15FAIL
qesto48.42FAIL
iprover-QBF95.03FAIL
iprover-QBF-bloqqer250.33FAIL
qestos265.32FAIL
caqe-picosat295.33FAIL
caqe-minisat530.68FAIL
depqbf-v2593.03FAIL
xb-qsts598.61FAIL
xb-bid-qsts598.71FAIL
qsts599.11FAIL
rareqs599.42FAIL
squeezebf+struqs599.71FAIL
ghostq-cegar599.71FAIL
ghostq-plain599.71FAIL
hiqqer1599.71FAIL
AIGSolve599.78FAIL
hiqqer1ldsq599.81FAIL
depqbf-v3599.81FAIL
hiqqer3599.82FAIL
aqua-s2v599.82FAIL
struqs-10599.82FAIL
aqua-s3o600FAIL
aqua-f3v600FAIL