Sota solver details
QBFEVAL'06

Instance: robots_1_5_5_8.4
Best Solver: sKizzo-0.9-abs Time: 1.67 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 4.37 - - qube5.0 28.04
- - sKizzo-0.9-std 5.17 - - qube4.0 28.06
- - qube3.0 5.4 - - sSolve 41.5
- - - - - - ssolve-ut 41.61
- - - - - - ssolve+ut 60.7
- - - - - - GRL 111.09
- - - - - - SQBF 117.8
sKizzo-0.9-abs(1.67)
yQuaffle(4.37)
sKizzo-0.9-std(5.17)
qube3.0(5.4)
qube5.0(28.04)
qube4.0(28.06)
sSolve(41.5)
ssolve-ut(41.61)
ssolve+ut(60.7)
GRL(111.09)
SQBF(117.8)
openQbf(321.9)
semprop(408.28)
2clsQ(3613.02)