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



Solver Time Result
skizzo_v0.50.69FAIL
skizzo_v0.41.45FAIL
QUANTOR14.51FAIL
WalkQSAT883.85FAIL
QChaffLearn898.79FAIL
yQuaffle899.84FAIL
GRL900.04FAIL
QMRes900.86FAIL
qbfbdd900.89FAIL
sSolve900.93FAIL
openQbf900.96FAIL
semprop901FAIL
QbflHR901FAIL