Sota solver details
QBFEVAL'06

Instance: robots_1_5_5_30.4
Best Solver: sKizzo-0.9-abs Time: 2.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 3.67 qube5.0 17.82 ssolve-ut 32.61
- - qube3.0 4.29 qube4.0 18.18 sSolve 32.88
- - sKizzo-0.9-std 4.88 - - ssolve+ut 50.55
- - - - - - GRL 74.78
- - - - - - SQBF 98.22
sKizzo-0.9-abs(2.04)
yQuaffle(3.67)
qube3.0(4.29)
sKizzo-0.9-std(4.88)
qube5.0(17.82)
qube4.0(18.18)
ssolve-ut(32.61)
sSolve(32.88)
ssolve+ut(50.55)
GRL(74.78)
SQBF(98.22)
openQbf(308.5)
2clsQ(1543.55)