Results for instance sortnetsort9.v.stepl.005
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
rareqs6.12UNSAT
xb-bid-qsts26.15SAT
hiqqer1ldsq286.64FAIL
iprover-QBF477.95FAIL
depqbf-v2592.83FAIL
depqbf-v1592.95FAIL
iprover-QBF-bloqqer599.22FAIL
xb-qsts599.71FAIL
hiqqer3599.71FAIL
qsts599.71FAIL
squeezebf+struqs599.71FAIL
struqs-10599.71FAIL
caqe-picosat599.71FAIL
qesto599.71FAIL
caqe-minisat599.73FAIL
depqbf-v3599.81FAIL
hiqqer1599.81FAIL
qestos599.81FAIL
ghostq-cegar599.81FAIL
AIGSolve599.82FAIL
aqua-f3v599.82FAIL
aqua-s2v599.91FAIL
aqua-s3o599.92FAIL
ghostq-plain600.01FAIL