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



Solver Time Result
QUANTOR10.28FAIL
skizzo_v0.4214.27FAIL
skizzo_v0.5821.67FAIL
QChaffLearn900.13FAIL
yQuaffle900.61FAIL
QMRes900.63FAIL
openQbf900.89FAIL
sSolve900.96FAIL
GRL900.97FAIL
qbfbdd900.98FAIL
QbflHR900.99FAIL
semprop900.99FAIL
WalkQSAT900.99FAIL