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



Solver Time Result
xb-bid-qsts25.3SAT
rareqs30.5SAT
qestos126.71SAT
iprover-QBF486.27FAIL
iprover-QBF-bloqqer505.34FAIL
depqbf-v2593.52FAIL
depqbf-v1593.72FAIL
squeezebf+struqs599.71FAIL
qesto599.71FAIL
qsts599.71FAIL
struqs-10599.71FAIL
aqua-s2v599.72FAIL
AIGSolve599.72FAIL
caqe-minisat599.74FAIL
hiqqer3599.81FAIL
hiqqer1ldsq599.81FAIL
hiqqer1599.81FAIL
ghostq-cegar599.81FAIL
depqbf-v3599.81FAIL
caqe-picosat599.81FAIL
xb-qsts599.81FAIL
aqua-f3v599.82FAIL
ghostq-plain599.91FAIL
aqua-s3o599.93FAIL