Results for instance counter_r_4
QBFEVAL'05



Solver Time Result
QUANTOR0SAT
semprop0.01SAT
QChaffLearn0.01UNSAT
skizzo_v0.50.02SAT
skizzo_v0.40.02SAT
yQuaffle0.13SAT
WalkQSAT0.21SAT
GRL1.31SAT
QMRes1.72SAT
qbfbdd26.05SAT
sSolve46.86SAT
openQbf900.97FAIL
QbflHR901FAIL