Results for instance Adder2-2-c
QBFEVAL'08



Solver Time Result
ssolve-A0.02UNSAT
ssolveB0.02UNSAT
ssolveC0.02UNSAT
QuBE6.10.04UNSAT
quantor3.00.13UNSAT
AQME-1NN0.93UNSAT
Nenofex117.31UNSAT