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



Solver Time Result
skizzo_v0.52.25FAIL
skizzo_v0.47.19FAIL
QUANTOR14.4FAIL
WalkQSAT699.26FAIL
QChaffLearn898.79FAIL
yQuaffle899.75FAIL
GRL900.25FAIL
sSolve900.85FAIL
QMRes900.88FAIL
qbfbdd900.9FAIL
openQbf900.94FAIL
semprop900.99FAIL
QbflHR901FAIL