Results for instance term1.blif_0.10_0.20_0_0_inp_exact
QBFEVAL'05



Solver Time Result
QChaffLearn0.31UNSAT
skizzo_v0.481.8FAIL
semprop127.93UNSAT
skizzo_v0.5132.89FAIL
yQuaffle146.03UNSAT
GRL193.92FAIL
QUANTOR895.57FAIL
QMRes900.64FAIL
qbfbdd900.69FAIL
sSolve900.85FAIL
openQbf900.92FAIL
WalkQSAT900.99FAIL
QbflHR901FAIL