Results for instance s713_d5_s
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
qsts0.07UNSAT
ghostq-plain4.46SAT
ghostq-cegar4.54SAT
depqbf-v219.61SAT
rareqs33.21SAT
caqe-picosat37.29SAT
caqe-minisat38.91SAT
xb-qsts39.92SAT
xb-bid-qsts40.04SAT
qesto41.61SAT
aqua-s2v42.13SAT
aqua-f3v46.7SAT
aqua-s3o50.09SAT
depqbf-v3179.16SAT
hiqqer1232.37SAT
hiqqer1ldsq234.33SAT
hiqqer3270.48SAT
qestos476.42FAIL
iprover-QBF554.93FAIL
depqbf-v1592.03FAIL
iprover-QBF-bloqqer599.22FAIL
AIGSolve599.72FAIL
squeezebf+struqs599.81FAIL
struqs-10599.82FAIL