Sota solver details
QBFEVAL'06

Instance: robots_1_5_5_26.4
Best Solver: qube3.0 Time: 0.52 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.9-abs 0.68 sKizzo-0.9-std 3.67 semprop 5.55
- - yQuaffle 0.8 ssolve+ut 4.66 GRL 5.86
- - qube4.0 1.45 - - - -
- - qube5.0 1.6 - - - -
- - sSolve 2.4 - - - -
- - ssolve-ut 2.46 - - - -
qube3.0(0.52)
sKizzo-0.9-abs(0.68)
yQuaffle(0.8)
qube4.0(1.45)
qube5.0(1.6)
sSolve(2.4)
ssolve-ut(2.46)
sKizzo-0.9-std(3.67)
ssolve+ut(4.66)
semprop(5.55)
GRL(5.86)
SQBF(52.85)
2clsQ(55.72)
openQbf(124.17)