Results for instance C6288.blif_0.10_1.00_0_1_inp_exact
QBFEVAL'05



Solver Time Result
WalkQSAT1.96FAIL
QUANTOR14.01FAIL
skizzo_v0.5324.92FAIL
skizzo_v0.4347.69FAIL
yQuaffle899.91FAIL
QMRes900.35FAIL
QChaffLearn900.71FAIL
qbfbdd900.92FAIL
openQbf900.92FAIL
GRL900.96FAIL
semprop900.98FAIL
QbflHR900.98FAIL
sSolve900.99FAIL