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



Solver Time Result
hiqqer1ldsq31.73UNSAT
hiqqer132.03UNSAT
aqua-f3v37.32UNSAT
aqua-s3o39.53UNSAT
aqua-s2v40.57UNSAT
rareqs54.13UNSAT
hiqqer374.56UNSAT
iprover-QBF-bloqqer76.93FAIL
depqbf-v286.01UNSAT
xb-qsts100.72UNSAT
xb-bid-qsts102.22UNSAT
iprover-QBF196.83FAIL
caqe-picosat280.51UNSAT
depqbf-v3360.23UNSAT
qestos566.23FAIL
depqbf-v1592.42FAIL
squeezebf+struqs599.71FAIL
qsts599.71FAIL
qesto599.71FAIL
struqs-10599.71FAIL
caqe-minisat599.73FAIL
ghostq-plain599.81FAIL
ghostq-cegar599.81FAIL
AIGSolve599.89FAIL