Results for instance counter_re_32
QBFEVAL'05



Solver Time Result
QChaffLearn0.13UNSAT
QUANTOR10.85FAIL
skizzo_v0.5897.67FAIL
GRL899.96FAIL
WalkQSAT900.14FAIL
yQuaffle900.22FAIL
skizzo_v0.4900.38FAIL
qbfbdd900.46FAIL
QMRes900.75FAIL
openQbf900.94FAIL
semprop900.99FAIL
QbflHR901FAIL
sSolve901FAIL