Results for instance szymanski-12-s
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
aqua-s3o1.83UNSAT
aqua-s2v2.02UNSAT
aqua-f3v2.03UNSAT
hiqqer32.21UNSAT
hiqqer12.21UNSAT
hiqqer1ldsq2.22UNSAT
qestos2.39UNSAT
rareqs2.39UNSAT
qesto2.4UNSAT
xb-bid-qsts20.45UNSAT
xb-qsts20.56UNSAT
caqe-picosat20.7UNSAT
iprover-QBF-bloqqer20.76FAIL
caqe-minisat21.4UNSAT
depqbf-v235.41UNSAT
qsts58.24UNSAT
iprover-QBF99.33FAIL
squeezebf+struqs272.24UNSAT
struqs-10273.89UNSAT
AIGSolve353.12UNSAT
depqbf-v1592.22FAIL
ghostq-plain599.71FAIL
depqbf-v3599.71FAIL
ghostq-cegar600FAIL