Results for instance query44_query26_1344n
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
iprover-QBF270.13FAIL
qestos387.92FAIL
iprover-QBF-bloqqer502.44FAIL
depqbf-v2592.95FAIL
depqbf-v1593.42FAIL
caqe-minisat599.7FAIL
caqe-picosat599.7FAIL
squeezebf+struqs599.71FAIL
ghostq-cegar599.71FAIL
xb-bid-qsts599.71FAIL
depqbf-v3599.71FAIL
struqs-10599.71FAIL
rareqs599.71FAIL
qesto599.71FAIL
aqua-f3v599.71FAIL
aqua-s2v599.71FAIL
AIGSolve599.73FAIL
qsts599.81FAIL
xb-qsts599.81FAIL
hiqqer3599.81FAIL
hiqqer1ldsq599.81FAIL
hiqqer1599.81FAIL
ghostq-plain599.81FAIL
aqua-s3o599.82FAIL