Results for instance counter_e_32
QBFEVAL'05



Solver Time Result
QChaffLearn0.14UNSAT
QUANTOR12.06FAIL
WalkQSAT812.81FAIL
skizzo_v0.5899.49FAIL
skizzo_v0.4900.24FAIL
yQuaffle900.39FAIL
GRL900.51FAIL
qbfbdd900.54FAIL
QMRes900.75FAIL
openQbf900.94FAIL
semprop900.98FAIL
QbflHR901FAIL
sSolve901FAIL