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



Solver Time Result
AIGSolve1.87UNSAT
qsts8.73SAT
iprover-QBF-bloqqer544.76FAIL
depqbf-v1593.22FAIL
depqbf-v2593.73FAIL
iprover-QBF599.22FAIL
struqs-10599.71FAIL
squeezebf+struqs599.71FAIL
depqbf-v3599.71FAIL
rareqs599.71FAIL
qesto599.71FAIL
aqua-s3o599.72FAIL
caqe-minisat599.73FAIL
aqua-s2v599.73FAIL
xb-qsts599.81FAIL
xb-bid-qsts599.81FAIL
hiqqer3599.81FAIL
hiqqer1ldsq599.81FAIL
qestos599.81FAIL
hiqqer1599.82FAIL
aqua-f3v599.82FAIL
caqe-picosat599.9FAIL
ghostq-plain599.91FAIL
ghostq-cegar599.91FAIL