λ → | (9,4,2,1) | (8,4,2,1) | ||
---|---|---|---|---|
y ↓ | CAKλy# | time (s) | CAKλy# | time (s) |
(10,5,3,2) | ∅ | 0 | ∅ | ζ |
(10,6,3,2) | 52 | 0 | 52 | ζ |
(10,6,4,2) | 56 | 0 | 56 | ζ |
(10,6,4,3) | 510 | 0 | 510 | ζ |
(11,6,3,2) | 52 | ψ | 52 | 0 |
(11,6,4,2) | 56 | ψ | 510 | 0 |
(11,7,4,2) | 56 | ψ,ω | 512 | 0 |
(11,6,4,3) | 510 | ψ | 518 | 0 |
(11,7,4,3) | 510 | ψ,ω | 524 | 0 |
(11,7,5,3) | 510 | ψ,ω | 528 | 0 |
(11,7,5,4) | 510 | ψ,ω | 532 | 0 |