Sota solver details
QBFEVAL'06

Instance: robots_1_5_3_78.4
Best Solver: sKizzo-0.9-abs Time: 1.89 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 4.11 - - qube5.0 20.53
- - qube3.0 4.58 - - qube4.0 20.64
- - sKizzo-0.9-std 4.91 - - ssolve-ut 37.32
- - - - - - sSolve 37.52
- - - - - - ssolve+ut 55.82
- - - - - - GRL 83.88
- - - - - - SQBF 109.25
sKizzo-0.9-abs(1.89)
yQuaffle(4.11)
qube3.0(4.58)
sKizzo-0.9-std(4.91)
qube5.0(20.53)
qube4.0(20.64)
ssolve-ut(37.32)
sSolve(37.52)
ssolve+ut(55.82)
GRL(83.88)
SQBF(109.25)
openQbf(313.65)
2clsQ(3761.98)