Sota solver details
QBFEVAL'06

Instance: counter_8
Best Solver: 2clsQ Time: 0.14 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - preQuantor 0.15 - - yQuaffle 4.87
- - SQBF 0.16 - - WalkQSAT 5.24
- - QUANTOR 0.22 - - - -
- - QUANTOR_hc 0.24 - - - -
- - sKizzo-0.9-std 0.27 - - - -
- - sKizzo-0.9-abs 0.3 - - - -
- - sKizzo-0.9-grn 0.3 - - - -
- - semprop 0.5 - - - -
2clsQ(0.14)
preQuantor(0.15)
SQBF(0.16)
QUANTOR(0.22)
QUANTOR_hc(0.24)
sKizzo-0.9-std(0.27)
sKizzo-0.9-abs(0.3)
sKizzo-0.9-grn(0.3)
semprop(0.5)
yQuaffle(4.87)
WalkQSAT(5.24)
Quaffle(52.37)
GRL(58.5)
qube3.0(103.25)
qube4.0(205)
qube5.0(2172.58)
ssolve+ut(3858.33)
sSolve(3858.68)
ssolve-ut(3860.66)