Sota solver details
QBFEVAL'06

Instance: connect_8x7_3_D
Best Solver: Qbfl Time: 0.25 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - 2clsQ 0.33 yQuaffle 1.89 Quaffle 4.23
- - preQuantor 0.34 qube3.0 2.15 - -
- - SQBF 0.4 - - - -
- - QUANTOR 0.48 - - - -
- - QUANTOR_hc 0.63 - - - -
- - ssolve-ut 0.71 - - - -
- - ssolve+ut 0.73 - - - -
- - sSolve 0.74 - - - -
- - sKizzo-0.9-abs 0.81 - - - -
- - sKizzo-0.9-grn 0.86 - - - -
- - semprop 0.89 - - - -
- - GRL 0.92 - - - -
- - sKizzo-0.9-std 0.93 - - - -
Qbfl(0.25)
2clsQ(0.33)
preQuantor(0.34)
SQBF(0.4)
QUANTOR(0.48)
QUANTOR_hc(0.63)
ssolve-ut(0.71)
ssolve+ut(0.73)
sSolve(0.74)
sKizzo-0.9-abs(0.81)
sKizzo-0.9-grn(0.86)
semprop(0.89)
GRL(0.92)
sKizzo-0.9-std(0.93)
yQuaffle(1.89)
qube3.0(2.15)
Quaffle(4.23)
qube4.0(275.93)
openQbf(549.17)
qube5.0(1730.58)