Sota solver details
QBFEVAL'05

Instance: counter_e_4
Best Solver: QUANTOR Time: 0 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QChaffLearn 0.01 skizzo_v0.5 0.05 yQuaffle 0.17
- - skizzo_v0.4 0.04 - - WalkQSAT 0.21
QUANTOR(0)
QChaffLearn(0.01)
skizzo_v0.4(0.04)
skizzo_v0.5(0.05)
yQuaffle(0.17)
WalkQSAT(0.21)
GRL(1.05)
semprop(1.45)
qbfbdd(36.53)
QMRes(80.23)