Sota solver details
QBFEVAL'06

Instance: robots_1_5_4_46.4
Best Solver: sKizzo-0.9-abs Time: 1.47 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 3.04 - - qube5.0 19.58
- - qube3.0 3.78 - - qube4.0 19.68
- - sKizzo-0.9-std 4.79 - - sSolve 27.6
- - - - - - ssolve-ut 27.61
- - - - - - ssolve+ut 45.49
- - - - - - GRL 61.59
- - - - - - SQBF 97.78
sKizzo-0.9-abs(1.47)
yQuaffle(3.04)
qube3.0(3.78)
sKizzo-0.9-std(4.79)
qube5.0(19.58)
qube4.0(19.68)
sSolve(27.6)
ssolve-ut(27.61)
ssolve+ut(45.49)
GRL(61.59)
SQBF(97.78)
openQbf(313.09)
2clsQ(1308.54)