Sota solver details
QBFEVAL'06

Instance: lognBWLARGEA1
Best Solver: yQuaffle Time: 0.26 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.9-grn 0.53 semprop 1.47 sSolve 2.92
- - sKizzo-0.9-abs 0.54 qube3.0 2.21 ssolve-ut 2.92
- - sKizzo-0.9-std 0.57 qube4.0 2.34 ssolve+ut 3.01
- - QUANTOR 0.94 Quaffle 2.57 qube5.0 4.07
- - QUANTOR_hc 0.96 - - GRL 16.81
yQuaffle(0.26)
sKizzo-0.9-grn(0.53)
sKizzo-0.9-abs(0.54)
sKizzo-0.9-std(0.57)
QUANTOR(0.94)
QUANTOR_hc(0.96)
semprop(1.47)
qube3.0(2.21)
qube4.0(2.34)
Quaffle(2.57)
sSolve(2.92)
ssolve-ut(2.92)
ssolve+ut(3.01)
qube5.0(4.07)
GRL(16.81)