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



Solver Time Result
qsts0.21UNSAT
rareqs16SAT
ghostq-cegar21.89SAT
ghostq-plain22.52SAT
iprover-QBF-bloqqer58.63FAIL
iprover-QBF66.83FAIL
qesto95.41SAT
depqbf-v299.61SAT
hiqqer1ldsq122.67SAT
hiqqer1123.05SAT
caqe-picosat128.73SAT
caqe-minisat147.67SAT
hiqqer3218.01SAT
depqbf-v1592.42FAIL
qestos597.03FAIL
xb-bid-qsts599.71FAIL
xb-qsts599.71FAIL
depqbf-v3599.71FAIL
AIGSolve599.72FAIL
squeezebf+struqs599.81FAIL
struqs-10599.82FAIL
aqua-s3o600FAIL
aqua-s2v600FAIL
aqua-f3v600FAIL