Sota solver details
QBFEVAL'06

Instance: robots_1_5_4_87.4
Best Solver: sKizzo-0.9-abs Time: 1.77 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 3.27 - - qube5.0 18.15
- - qube3.0 3.79 - - qube4.0 18.16
- - sKizzo-0.9-std 4.78 - - sSolve 29.43
- - - - - - ssolve-ut 29.44
- - - - - - ssolve+ut 47.45
- - - - - - GRL 61.07
- - - - - - SQBF 99.78
sKizzo-0.9-abs(1.77)
yQuaffle(3.27)
qube3.0(3.79)
sKizzo-0.9-std(4.78)
qube5.0(18.15)
qube4.0(18.16)
sSolve(29.43)
ssolve-ut(29.44)
ssolve+ut(47.45)
GRL(61.07)
SQBF(99.78)
openQbf(302.94)
2clsQ(1589.74)