Results for instance C6288.blif_0.10_1.00_0_0_out_exact
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
xb-bid-qsts53.21SAT
qestos468.92FAIL
depqbf-v1593.52FAIL
depqbf-v2593.72FAIL
iprover-QBF599.22FAIL
iprover-QBF-bloqqer599.22FAIL
qsts599.71FAIL
hiqqer1ldsq599.71FAIL
hiqqer1599.71FAIL
depqbf-v3599.71FAIL
squeezebf+struqs599.71FAIL
xb-qsts599.71FAIL
qesto599.71FAIL
rareqs599.71FAIL
AIGSolve599.72FAIL
aqua-f3v599.72FAIL
struqs-10599.72FAIL
caqe-minisat599.72FAIL
hiqqer3599.81FAIL
ghostq-cegar599.81FAIL
caqe-picosat599.81FAIL
aqua-s3o599.82FAIL
aqua-s2v599.82FAIL
ghostq-plain599.91FAIL