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



Solver Time Result
iprover-QBF28.34FAIL
depqbf-v158.95FAIL
AIGSolve404.64FAIL
depqbf-v2592.83FAIL
iprover-QBF-bloqqer599.22FAIL
rareqs599.53FAIL
qesto599.61FAIL
qsts599.61FAIL
qestos599.61FAIL
ghostq-cegar599.71FAIL
ghostq-plain599.71FAIL
xb-bid-qsts599.71FAIL
caqe-minisat599.73FAIL
caqe-picosat599.75FAIL
squeezebf+struqs599.81FAIL
xb-qsts599.81FAIL
hiqqer1ldsq599.81FAIL
hiqqer1599.81FAIL
depqbf-v3599.81FAIL
hiqqer3599.82FAIL
struqs-10599.86FAIL
aqua-s3o600FAIL
aqua-s2v600FAIL
aqua-f3v600FAIL