λ → | (11,5,2,1) | (10,5,2,1) | (11,4,2,1) | (10,4,2,1) | (9,4,2,1) | (8,4,2,1) | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
y ↓ | CAKλy# | time (s) | CAKλy# | time (s) | CAKλy# | time (s) | CAKλy# | time (s) | CAKλy# | time (s) | CAKλy# | time (s) |
(12,6,3,2) | 61 | 0 | 61 | ζ | 61 | κ | 61 | ζ,κ | 61 | ζ,κ | 61 | ζ,κ |
(12,6,4,2) | 61 | 0 | 61 | ζ | 61 | κ | 61 | ζ,κ | 61 | ζ,κ | 61 | ζ,κ |
(12,7,4,2) | 62 | 0 | 62 | ζ | 62 | 0 | 62 | ζ | 62 | ζ | 62 | ζ |
(12,6,4,3) | 61 | 0 | 61 | ζ | 61 | κ | 61 | ζ,κ | 61 | ζ,κ | 61 | ζ,κ |
(12,7,4,3) | 614 | 0 | 614 | ζ | 614 | 0 | 614 | ζ | 614 | ζ | 614 | ζ |
(12,7,5,3) | 616 | 0 | 616 | ζ | 616 | 0 | 616 | ζ | 616 | ζ | 616 | ζ |
(12,7,5,4) | 620 | 0 | 620 | ζ | 620 | 0 | 620 | ζ | 620 | ζ | 620 | ζ |
(13,7,4,2) | 62 | ψ | 62 | 0 | 62 | ψ | 62 | 0 | 62 | ζ | 62 | ζ |
(13,8,4,2) | 62 | ψ,ω | 62 | 0 | 62 | ψ | 62 | 0 | 62 | ζ | 62 | ζ |
(13,7,4,3) | 614 | ψ | 622 | 1 | 614 | ψ | 622 | 0 | 622 | ζ | 622 | ζ |
(13,8,4,3) | 614 | ψ,ω | 625 | 0 | 614 | ψ | 625 | 1 | 625 | ζ | 625 | ζ |
(13,7,5,3) | 616 | ψ | 626 | 0 | 616 | ψ | 626 | 0 | 626 | ζ | 626 | ζ |
(13,8,5,3) | 616 | ψ,ω | 640 | 0 | 616 | ψ | 640 | 1 | 640 | ζ | 640 | ζ |
(13,8,6,3) | 616 | ψ,ω | 640 | 0 | 616 | ψ | 640 | 1 | 640 | ζ | 640 | ζ |
(13,7,5,4) | 620 | ψ | 632 | 0 | 620 | ψ | 632 | 1 | 632 | ζ | 632 | ζ |
(13,8,5,4) | 620 | ψ,ω | 654 | 0 | 620 | ψ | 654 | 1 | 654 | ζ | 654 | ζ |
(13,8,6,4) | 620 | ψ,ω | 654 | 0 | 620 | ψ | 654 | 1 | 654 | ζ | 654 | ζ |
(13,8,6,5) | 620 | ψ,ω | 654 | 0 | 620 | ψ | 654 | 1 | 654 | ζ | 654 | ζ |
(12,8,4,2) | 62 | ω | 62 | ζ,ω | 62 | 0 | 62 | ζ | 62 | ζ | 62 | ζ |
(12,8,4,3) | 614 | ω | 614 | ζ,ω | 614 | 0 | 614 | ζ | 614 | ζ | 614 | ζ |
(12,8,5,3) | 616 | ω | 616 | ζ,ω | 616 | 0 | 616 | ζ | 616 | ζ | 616 | ζ |
(12,8,6,3) | 616 | ω | 616 | ζ,ω | 616 | 0 | 616 | ζ | 616 | ζ | 616 | ζ |
(12,8,5,4) | 620 | ω | 620 | ζ,ω | 620 | 1 | 620 | ζ | 620 | ζ | 620 | ζ |
(12,8,6,4) | 620 | ω | 620 | ζ,ω | 620 | 0 | 620 | ζ | 620 | ζ | 620 | ζ |
(12,8,6,5) | 620 | ω | 620 | ζ,ω | 620 | 0 | 620 | ζ | 620 | ζ | 620 | ζ |
(13,9,5,3) | 616 | ψ,ω | 640 | ω | 616 | ψ,ω | 640 | 1 | 640 | ζ | 640 | ζ |
(13,9,6,3) | 616 | ψ,ω | 640 | ω | 616 | ψ,ω | 640 | 0 | 640 | ζ | 640 | ζ |
(13,9,5,4) | 620 | ψ,ω | 654 | ω | 620 | ψ,ω | 654 | 1 | 654 | ζ | 654 | ζ |
(13,9,6,4) | 620 | ψ,ω | 654 | ω | 620 | ψ,ω | 654 | 1 | 654 | ζ | 654 | ζ |
(13,9,7,4) | 620 | ψ,ω | 654 | ω | 620 | ψ,ω | 654 | 1 | 654 | ζ | 654 | ζ |
(13,9,6,5) | 620 | ψ,ω | 654 | ω | 620 | ψ,ω | 654 | 1 | 654 | ζ | 654 | ζ |
(13,9,7,5) | 620 | ψ,ω | 654 | ω | 620 | ψ,ω | 654 | 1 | 654 | ζ | 654 | ζ |
(13,9,7,6) | 620 | ψ,ω | 654 | ω | 620 | ψ,ω | 654 | 1 | 654 | ζ | 654 | ζ |
(14,7,4,2) | 62 | ψ | 62 | ψ | 62 | ψ | 62 | ψ | 62 | 0 | 62 | ζ |
(14,8,4,2) | 62 | ψ,ω | 62 | ψ | 62 | ψ | 62 | ψ | 62 | 0 | 62 | ζ |
(14,7,4,3) | 614 | ψ | 622 | ψ | 614 | ψ | 622 | ψ | 622 | 0 | 622 | ζ |
(14,8,4,3) | 614 | ψ,ω | 625 | ψ | 614 | ψ | 625 | ψ | 625 | 1 | 625 | ζ |
(14,7,5,3) | 616 | ψ | 626 | ψ | 616 | ψ | 626 | ψ | 626 | 0 | 626 | ζ |
(14,8,5,3) | 616 | ψ,ω | 640 | ψ | 616 | ψ | 640 | ψ | 640 | 1 | 640 | ζ |
(14,9,5,3) | 616 | ψ,ω | 640 | ψ,ω | 616 | ψ,ω | 640 | ψ | 640 | 2 | 640 | ζ |
(14,10,5,3) | 616 | ψ,ω | 640 | ψ,ω | 616 | ψ,ω | 640 | ψ,ω | 640 | 1 | 640 | ζ |
(14,8,6,3) | 616 | ψ,ω | 640 | ψ | 616 | ψ | 640 | ψ | 640 | 1 | 640 | ζ |
(14,9,6,3) | 616 | ψ,ω | 640 | ψ,ω | 616 | ψ,ω | 640 | ψ | 640 | 1 | 640 | ζ |
(14,10,6,3) | 616 | ψ,ω | 640 | ψ,ω | 616 | ψ,ω | 640 | ψ,ω | 640 | 1 | 640 | ζ |
(14,7,5,4) | 620 | ψ | 632 | ψ | 620 | ψ | 632 | ψ | 632 | 0 | 632 | ζ |
(14,8,5,4) | 620 | ψ,ω | 654 | ψ | 620 | ψ | 654 | ψ | 654 | 2 | 654 | ζ |
(14,9,5,4) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ | 654 | 2 | 654 | ζ |
(14,10,5,4) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | 1 | 654 | ζ |
(14,8,6,4) | 620 | ψ,ω | 654 | ψ | 620 | ψ | 654 | ψ | 654 | 2 | 654 | ζ |
(14,9,6,4) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ | 654 | 2 | 654 | ζ |
(14,10,6,4) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | 2 | 654 | ζ |
(14,9,7,4) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ | 654 | 1 | 654 | ζ |
(14,10,7,4) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | 3 | 654 | ζ |
(14,10,8,4) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | 1 | 654 | ζ |
(14,8,6,5) | 620 | ψ,ω | 654 | ψ | 620 | ψ | 654 | ψ | 654 | 1 | 654 | ζ |
(14,9,6,5) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ | 654 | 2 | 654 | ζ |
(14,10,6,5) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | 3 | 654 | ζ |
(14,9,7,5) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ | 654 | 2 | 654 | ζ |
(14,10,7,5) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | 3 | 654 | ζ |
(14,10,8,5) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | 1 | 654 | ζ |
(14,9,7,6) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ | 654 | 2 | 654 | ζ |
(14,10,7,6) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | 3 | 654 | ζ |
(14,10,8,6) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | 2 | 654 | ζ |
(14,10,8,7) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | 2 | 654 | ζ |
(15,8,4,2) | 62 | ψ,ω | 62 | ψ | 62 | ψ | 62 | ψ | 62 | ψ | 62 | 0 |
(15,8,4,3) | 614 | ψ,ω | 625 | ψ | 614 | ψ | 625 | ψ | 625 | ψ | 625 | 0 |
(15,8,5,3) | 616 | ψ,ω | 640 | ψ | 616 | ψ | 640 | ψ | 640 | ψ | 640 | 2 |
(15,9,5,3) | 616 | ψ,ω | 640 | ψ,ω | 616 | ψ,ω | 640 | ψ | 640 | ψ | 640 | 1 |
(15,10,5,3) | 616 | ψ,ω | 640 | ψ,ω | 616 | ψ,ω | 640 | ψ,ω | 640 | ψ | 640 | 2 |
(15,8,6,3) | 616 | ψ,ω | 640 | ψ | 616 | ψ | 640 | ψ | 640 | ψ | 640 | 1 |
(15,9,6,3) | 616 | ψ,ω | 640 | ψ,ω | 616 | ψ,ω | 640 | ψ | 640 | ψ | 640 | 1 |
(15,10,6,3) | 616 | ψ,ω | 640 | ψ,ω | 616 | ψ,ω | 640 | ψ,ω | 640 | ψ | 640 | 1 |
(15,11,6,3) | 616 | ψ,ω | 640 | ψ,ω | 616 | ψ,ω | 640 | ψ,ω | 640 | ψ,ω | 640 | 1 |
(15,8,5,4) | 620 | ψ,ω | 654 | ψ | 620 | ψ | 654 | ψ | 654 | ψ | 654 | 2 |
(15,9,5,4) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ | 654 | ψ | 654 | 1 |
(15,10,5,4) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | ψ | 654 | 2 |
(15,8,6,4) | 620 | ψ,ω | 654 | ψ | 620 | ψ | 654 | ψ | 654 | ψ | 654 | 1 |
(15,9,6,4) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ | 654 | ψ | 654 | 3 |
(15,10,6,4) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | ψ | 654 | 3 |
(15,11,6,4) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | ψ,ω | 654 | 2 |
(15,9,7,4) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ | 654 | ψ | 654 | 2 |
(15,10,7,4) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | ψ | 654 | 3 |
(15,11,7,4) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | ψ,ω | 654 | 3 |
(15,10,8,4) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | ψ | 654 | 2 |
(15,11,8,4) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | ψ,ω | 654 | 2 |
(15,8,6,5) | 620 | ψ,ω | 654 | ψ | 620 | ψ | 654 | ψ | 654 | ψ | 654 | 1 |
(15,9,6,5) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ | 654 | ψ | 654 | 3 |
(15,10,6,5) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | ψ | 654 | 3 |
(15,11,6,5) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | ψ,ω | 654 | 3 |
(15,9,7,5) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ | 654 | ψ | 654 | 2 |
(15,10,7,5) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | ψ | 654 | 3 |
(15,11,7,5) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | ψ,ω | 654 | 3 |
(15,10,8,5) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | ψ | 654 | 3 |
(15,11,8,5) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | ψ,ω | 654 | 3 |
(15,11,9,5) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | ψ,ω | 654 | 2 |
(15,9,7,6) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ | 654 | ψ | 654 | 2 |
(15,10,7,6) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | ψ | 654 | 3 |
(15,11,7,6) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | ψ,ω | 654 | 4 |
(15,10,8,6) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | ψ | 654 | 2 |
(15,11,8,6) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | ψ,ω | 654 | 3 |
(15,11,9,6) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | ψ,ω | 654 | 2 |
(15,10,8,7) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | ψ | 654 | 3 |
(15,11,8,7) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | ψ,ω | 654 | 3 |
(15,11,9,7) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | ψ,ω | 654 | 2 |
(15,11,9,8) | 620 | ψ,ω | 654 | ψ,ω | 620 | ψ,ω | 654 | ψ,ω | 654 | ψ,ω | 654 | 2 |