Results for instance vonNeumann-ripple-carry-12-c
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
depqbf-v30.42UNSAT
depqbf-v20.51UNSAT
struqs-100.93UNSAT
qestos0.94UNSAT
rareqs0.94UNSAT
qesto0.95UNSAT
hiqqer12.21UNSAT
hiqqer32.22UNSAT
hiqqer1ldsq2.23UNSAT
qsts2.92UNSAT
AIGSolve3.45UNSAT
xb-qsts3.77UNSAT
iprover-QBF-bloqqer3.79FAIL
xb-bid-qsts3.86UNSAT
caqe-minisat3.97UNSAT
caqe-picosat3.99UNSAT
depqbf-v14.52UNSAT
squeezebf+struqs7.36SAT
aqua-s2v8.23UNSAT
aqua-s3o8.24UNSAT
aqua-f3v8.27UNSAT
iprover-QBF28.83FAIL
ghostq-plain120.73FAIL
ghostq-cegar121.02FAIL