Results for instance C432.blif_0.10_0.20_0_1_out_exact
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
AIGSolve0.18UNSAT
rareqs1.5UNSAT
ghostq-cegar2.69UNSAT
ghostq-plain5.45UNSAT
xb-bid-qsts34.21SAT
hiqqer1ldsq123.61FAIL
depqbf-v2138.11UNSAT
xb-qsts552.63UNSAT
depqbf-v1593.33FAIL
iprover-QBF-bloqqer599.22FAIL
iprover-QBF599.22FAIL
squeezebf+struqs599.71FAIL
hiqqer3599.71FAIL
depqbf-v3599.71FAIL
qesto599.71FAIL
struqs-10599.71FAIL
aqua-f3v599.72FAIL
caqe-minisat599.8FAIL
hiqqer1599.81FAIL
qsts599.81FAIL
aqua-s2v599.81FAIL
aqua-s3o599.82FAIL
caqe-picosat599.83FAIL
qestos599.91FAIL