Results for instance sortnetsort9.AE.stepl.009
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
aqua-s3o23.82UNSAT
aqua-s2v24.22UNSAT
aqua-f3v24.29UNSAT
xb-qsts28.21UNSAT
hiqqer1ldsq29.7UNSAT
hiqqer130.32UNSAT
xb-bid-qsts35.39UNSAT
rareqs39.48UNSAT
depqbf-v2129.61UNSAT
qesto174.06UNSAT
iprover-QBF-bloqqer410.83FAIL
qestos422.02FAIL
caqe-picosat481.16UNSAT
depqbf-v1592.52FAIL
iprover-QBF599.22FAIL
qsts599.71FAIL
hiqqer3599.71FAIL
squeezebf+struqs599.72FAIL
caqe-minisat599.73FAIL
ghostq-cegar599.81FAIL
depqbf-v3599.81FAIL
struqs-10599.81FAIL
AIGSolve599.88FAIL
ghostq-plain599.91FAIL