Results for instance vonNeumann-ripple-carry-5-c
QBFEVAL'04



Solver Time Result
QBFL-JW0.04UNSAT
QBFL-BS0.04UNSAT
QUANTOR0.12UNSAT
sSolve0.12UNSAT
semprop0.13UNSAT
GRL0.16UNSAT
CLearn0.16UNSAT
CSBJ0.16UNSAT
yQuaffle0.2UNSAT
WalkQSAT0.21UNSAT
openQbf0.67UNSAT
QUBE-BJ1.05UNSAT
QUBE-LRN1.1UNSAT
orSAT1.45UNSAT
QSAT2.45UNSAT
QMRes901.01FAIL