Sota solver details
QBFEVAL'06

Instance: robots_1_5_4_51.4
Best Solver: sKizzo-0.9-abs Time: 2.34 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 4.08 - - qube5.0 25.2
- - sKizzo-0.9-std 5.02 - - qube4.0 25.34
- - qube3.0 5.08 - - sSolve 36.59
- - - - - - ssolve-ut 36.87
- - - - - - ssolve+ut 54.95
- - - - - - GRL 98.03
- - - - - - SQBF 110.95
sKizzo-0.9-abs(2.34)
yQuaffle(4.08)
sKizzo-0.9-std(5.02)
qube3.0(5.08)
qube5.0(25.2)
qube4.0(25.34)
sSolve(36.59)
ssolve-ut(36.87)
ssolve+ut(54.95)
GRL(98.03)
SQBF(110.95)
openQbf(316.88)
2clsQ(2878.47)