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



Solver Time Result
qsts4.47UNSAT
ghostq-plain73.83UNSAT
ghostq-cegar74.24UNSAT
rareqs-nn130.79UNSAT
quabs-minisat599.71FAIL
quabs-picosat599.71FAIL
xb-bid-qsts599.72FAIL
xb-qsts599.72FAIL