Results for instance adder-6-sat
QBFEVAL'08



Solver Time Result
Nenofex0.88SAT
AQME-1NN4.99SAT
quantor3.010.31SAT
ssolveB59.99SAT
ssolve-A163.51SAT
ssolveC600FAIL
QuBE6.1600FAIL