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



Solver Time Result
qsts0.24SAT
AIGSolve0.34UNSAT
ghostq-plain22.07UNSAT
ghostq-cegar27.01UNSAT
hiqqer1ldsq91.61FAIL
iprover-QBF-bloqqer420.25FAIL
iprover-QBF575.15FAIL
depqbf-v2593.42FAIL
depqbf-v1593.52FAIL
qesto599.71FAIL
rareqs599.71FAIL
xb-bid-qsts599.71FAIL
depqbf-v3599.71FAIL
struqs-10599.72FAIL
caqe-minisat599.73FAIL
squeezebf+struqs599.81FAIL
xb-qsts599.81FAIL
hiqqer3599.81FAIL
hiqqer1599.81FAIL
caqe-picosat599.81FAIL
aqua-s3o599.82FAIL
aqua-s2v599.82FAIL
aqua-f3v599.82FAIL
qestos599.91FAIL