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



Solver Time Result
quantor3.00.24UNSAT
Nenofex0.53UNSAT
QuBE6.10.88UNSAT
ssolveC2.61UNSAT
ssolve-A2.74UNSAT
ssolveB2.92UNSAT
AQME-1NN6.26UNSAT