Results for instance ken.oop^2.C-d3
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
AIGSolve4.63UNSAT
iprover-QBF-bloqqer286.05FAIL
qsts540.44FAIL
depqbf-v1592.32FAIL
depqbf-v2593.62FAIL
iprover-QBF599.22FAIL
caqe-minisat599.69FAIL
squeezebf+struqs599.71FAIL
hiqqer3599.71FAIL
hiqqer1ldsq599.71FAIL
xb-bid-qsts599.71FAIL
struqs-10599.71FAIL
xb-qsts599.71FAIL
qesto599.71FAIL
caqe-picosat599.71FAIL
rareqs599.71FAIL
depqbf-v3599.72FAIL
qestos599.81FAIL
hiqqer1599.81FAIL
ghostq-plain599.81FAIL
ghostq-cegar599.81FAIL
aqua-s2v599.82FAIL
aqua-f3v599.82FAIL
aqua-s3o599.93FAIL