Results for instance counter_e_2
QBFEVAL'05



Solver Time Result
GRL0SAT
QUANTOR0SAT
QChaffLearn0UNSAT
yQuaffle0SAT
semprop0.01SAT
WalkQSAT0.02SAT
sSolve0.02SAT
skizzo_v0.50.02SAT
skizzo_v0.40.02SAT
QMRes0.03SAT
qbfbdd0.08SAT
openQbf2.06SAT
QbflHR12.12SAT