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



Solver Time Result
qsts1.7SAT
iprover-QBF23.03FAIL
depqbf-v161.15FAIL
AIGSolve120FAIL
iprover-QBF-bloqqer389.94FAIL
depqbf-v2592.52FAIL
xb-qsts599.52FAIL
xb-bid-qsts599.53FAIL
rareqs599.63FAIL
qestos599.63FAIL
caqe-picosat599.7FAIL
ghostq-cegar599.71FAIL
ghostq-plain599.71FAIL
caqe-minisat599.71FAIL
squeezebf+struqs599.81FAIL
hiqqer1ldsq599.81FAIL
hiqqer1599.81FAIL
depqbf-v3599.81FAIL
hiqqer3599.82FAIL
struqs-10599.82FAIL
aqua-s3o600FAIL
aqua-s2v600FAIL
aqua-f3v600FAIL
qesto608.9FAIL