Sota solver details
QBFEVAL'06

Instance: connect_9x8_5_D
Best Solver: Qbfl Time: 0.29 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - preQuantor 0.53 yQuaffle 2.47 qube3.0 3.02
- - 2clsQ 0.54 - - Quaffle 5.95
- - SQBF 0.55 - - - -
- - QUANTOR 0.74 - - - -
- - QUANTOR_hc 0.88 - - - -
- - sSolve 1.01 - - - -
- - ssolve+ut 1.01 - - - -
- - ssolve-ut 1.04 - - - -
- - semprop 1.33 - - - -
- - GRL 1.34 - - - -
- - sKizzo-0.9-abs 1.34 - - - -
- - sKizzo-0.9-grn 1.39 - - - -
- - sKizzo-0.9-std 1.41 - - - -
Qbfl(0.29)
preQuantor(0.53)
2clsQ(0.54)
SQBF(0.55)
QUANTOR(0.74)
QUANTOR_hc(0.88)
sSolve(1.01)
ssolve+ut(1.01)
ssolve-ut(1.04)
semprop(1.33)
GRL(1.34)
sKizzo-0.9-abs(1.34)
sKizzo-0.9-grn(1.39)
sKizzo-0.9-std(1.41)
yQuaffle(2.47)
qube3.0(3.02)
Quaffle(5.95)
qube4.0(434.52)
openQbf(584.15)
qube5.0(1957.06)