Sota solver details
QBFEVAL'06

Instance: robots_1_5_4_100.4
Best Solver: sKizzo-0.9-abs Time: 1.21 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 3.03 - - ssolve-ut 19.94
- - qube3.0 3.64 - - sSolve 20.03
- - sKizzo-0.9-std 4.54 - - qube4.0 20.88
- - - - - - qube5.0 21.59
- - - - - - ssolve+ut 35.78
- - - - - - GRL 67.79
- - - - - - SQBF 112.88
sKizzo-0.9-abs(1.21)
yQuaffle(3.03)
qube3.0(3.64)
sKizzo-0.9-std(4.54)
ssolve-ut(19.94)
sSolve(20.03)
qube4.0(20.88)
qube5.0(21.59)
ssolve+ut(35.78)
GRL(67.79)
SQBF(112.88)
openQbf(196.61)
2clsQ(1937.35)