Sota solver details
QBFEVAL'06

Instance: robots_1_5_3_100.4
Best Solver: sKizzo-0.9-abs Time: 1.01 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 3.05 qube3.0 6.42 qube4.0 12.05
- - - - - - qube5.0 12.21
- - - - - - sKizzo-0.9-std 12.86
- - - - - - ssolve-ut 21.72
- - - - - - sSolve 21.75
- - - - - - ssolve+ut 37.49
- - - - - - GRL 61.81
- - - - - - SQBF 72.85
sKizzo-0.9-abs(1.01)
yQuaffle(3.05)
qube3.0(6.42)
qube4.0(12.05)
qube5.0(12.21)
sKizzo-0.9-std(12.86)
ssolve-ut(21.72)
sSolve(21.75)
ssolve+ut(37.49)
GRL(61.81)
SQBF(72.85)
openQbf(223.48)
semprop(255.54)
2clsQ(1785.81)