Sota solver details
QBFEVAL'06

Instance: robots_1_5_4_98.4
Best Solver: sKizzo-0.9-abs Time: 1.41 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 3.36 - - qube4.0 17.13
- - qube3.0 3.57 - - qube5.0 17.19
- - sKizzo-0.9-std 4.77 - - ssolve-ut 28.78
- - - - - - sSolve 28.88
- - - - - - ssolve+ut 46.79
- - - - - - GRL 55.25
- - - - - - SQBF 98.16
sKizzo-0.9-abs(1.41)
yQuaffle(3.36)
qube3.0(3.57)
sKizzo-0.9-std(4.77)
qube4.0(17.13)
qube5.0(17.19)
ssolve-ut(28.78)
sSolve(28.88)
ssolve+ut(46.79)
GRL(55.25)
SQBF(98.16)
openQbf(309.86)
2clsQ(1490.93)