Results for instance adder-6-sat
QBFEVAL'04



Solver Time Result
QMRes1.48SAT
QUANTOR27.12SAT
openQbf901FAIL
semprop901FAIL
QSAT901FAIL
GRL901.01FAIL
QBFL-JW901.01FAIL
QBFL-BS901.01FAIL
orSAT901.01FAIL
CLearn901.01FAIL
yQuaffle901.01FAIL
WalkQSAT901.01FAIL
sSolve901.01FAIL
CSBJ901.01FAIL
QUBE-LRN901.03FAIL
QUBE-BJ901.16FAIL