Results for instance k_branch_n-8
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
qesto0.22SAT
qestos0.22SAT
rareqs0.22SAT
hiqqer1ldsq0.28SAT
hiqqer10.29SAT
hiqqer30.3SAT
qsts1.02SAT
caqe-minisat1.41SAT
xb-qsts1.49SAT
xb-bid-qsts1.49SAT
caqe-picosat1.5SAT
iprover-QBF-bloqqer1.59SAT
depqbf-v21.81SAT
AIGSolve7.32SAT
iprover-QBF308.26FAIL
ghostq-plain418.71SAT
depqbf-v1593.22FAIL
squeezebf+struqs599.71FAIL
struqs-10599.71FAIL
ghostq-cegar599.81FAIL
depqbf-v3599.81FAIL
aqua-s2v599.97FAIL
aqua-f3v599.97FAIL
aqua-s3o600.06FAIL