Results for instance adder-12-unsat
QBFEVAL'05



Solver Time Result
QChaffLearn2.12UNSAT
QUANTOR14.09FAIL
skizzo_v0.5218.38FAIL
skizzo_v0.4230.62FAIL
QMRes233.82FAIL
GRL333.53FAIL
yQuaffle887.92FAIL
semprop900.92FAIL
openQbf900.95FAIL
sSolve900.95FAIL
QbflHR901FAIL
WalkQSAT901FAIL
qbfbdd901.01FAIL