Results for instance vonNeumann-ripple-carry-11-c
QBFEVAL'08



Solver Time Result
quantor3.01.37UNSAT
Nenofex2.8UNSAT
QuBE6.18.53UNSAT
ssolveC15.5UNSAT
ssolve-A16.44UNSAT
ssolveB17.56UNSAT
AQME-1NN23.41UNSAT