Results for instance Adder2-4-c
QBFEVAL'05



Solver Time Result
QMRes2.73UNSAT
skizzo_v0.410.75FAIL
QUANTOR13.38FAIL
semprop17.58UNSAT
skizzo_v0.548.1FAIL
QChaffLearn51.22FAIL
WalkQSAT51.37FAIL
GRL54.08FAIL
yQuaffle879.91FAIL
openQbf900.92FAIL
qbfbdd900.98FAIL
sSolve901FAIL
QbflHR901.01FAIL