Results for instance k_branch_p-14
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
xb-qsts5.58UNSAT
xb-bid-qsts5.59UNSAT
caqe-picosat5.6UNSAT
caqe-minisat5.63UNSAT
iprover-QBF-bloqqer5.66FAIL
depqbf-v27.91UNSAT
hiqqer38.18UNSAT
hiqqer118.74UNSAT
hiqqer1ldsq18.83UNSAT
rareqs18.87UNSAT
AIGSolve113.7UNSAT
qesto128.47UNSAT
qsts263.62UNSAT
aqua-s2v274FAIL
aqua-f3v274.1FAIL
aqua-s3o288.69FAIL
depqbf-v1592.23FAIL
iprover-QBF599.22FAIL
squeezebf+struqs599.72FAIL
ghostq-plain599.81FAIL
ghostq-cegar599.81FAIL
depqbf-v3599.81FAIL
qestos599.81FAIL
struqs-10599.81FAIL