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



Solver Time Result
QChaffLearn13.23UNSAT
QUANTOR18.01FAIL
GRL87.34FAIL
skizzo_v0.489.77FAIL
skizzo_v0.5641.74FAIL
yQuaffle898FAIL
qbfbdd900.78FAIL
QMRes900.8FAIL
sSolve900.83FAIL
openQbf900.86FAIL
semprop900.98FAIL
WalkQSAT901FAIL
QbflHR901FAIL