Sota solver details
QBFEVAL'06

Instance: robots_1_5_5_34.4
Best Solver: sKizzo-0.9-abs Time: 1.6 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 4.12 - - qube5.0 22.94
- - qube3.0 4.69 - - qube4.0 23.04
- - sKizzo-0.9-std 4.89 - - sSolve 35.86
- - - - - - ssolve-ut 35.9
- - - - - - ssolve+ut 53.59
- - - - - - GRL 84.15
- - - - - - SQBF 105.99
sKizzo-0.9-abs(1.6)
yQuaffle(4.12)
qube3.0(4.69)
sKizzo-0.9-std(4.89)
qube5.0(22.94)
qube4.0(23.04)
sSolve(35.86)
ssolve-ut(35.9)
ssolve+ut(53.59)
GRL(84.15)
SQBF(105.99)
openQbf(318.65)
semprop(351.97)
2clsQ(3016.79)