λ → | (26,13,6,3,1) | (26,12,6,3,1) | (25,12,6,3,1) | (24,12,6,3,1) | (26,13,6,2,1) | (26,12,6,2,1) | (25,12,6,2,1) | (24,12,6,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) | CAKλy# | time (s) | CAKλy# | time (s) |
(26,13,7,4,2) | ∅ | 0 | ∅ | κ | ∅ | ζ,κ | ∅ | ζ,κ | 61 | 0 | 61 | κ | 61 | ζ,κ | 61 | ζ,κ |
(26,13,7,4,3) | ∅ | 0 | ∅ | κ | ∅ | ζ,κ | ∅ | ζ,κ | 612 | 0 | 612 | κ | 612 | ζ,κ | 612 | ζ,κ |
(26,14,7,4,2) | ∅ | ω | ∅ | 0 | ∅ | ζ | ∅ | ζ | 61 | ω | 66 | 0 | 66 | ζ | 66 | ζ |
(26,14,8,4,2) | ∅ | ω | 51 | 0 | 51 | ζ | 51 | ζ | 61 | ω | 611 | 0 | 611 | ζ | 611 | ζ |
(26,14,7,4,3) | ∅ | ω | 61 | 0 | 61 | ζ | 61 | ζ | 612 | ω | 716 | 1 | 716 | ζ | 716 | ζ |
(26,14,8,4,3) | ∅ | ω | 63 | 0 | 63 | ζ | 63 | ζ | 612 | ω | 81 | 1 | 81 | ζ | 81 | ζ |
(26,14,8,5,3) | ∅ | ω | 65 | 0 | 65 | ζ | 65 | ζ | 71 | ω | 84 | 4 | 84 | ζ | 84 | ζ |
(26,14,8,5,4) | ∅ | ω | 67 | 0 | 67 | ζ | 67 | ζ | 71 | ω | 85 | 4 | 85 | ζ | 85 | ζ |
(27,14,7,4,2) | ∅ | ψ,ω | ∅ | ψ | 61 | 0 | 61 | ζ | 61 | ψ,ω | 66 | ψ | 67 | 0 | 67 | ζ |
(27,14,8,4,2) | ∅ | ψ,ω | 51 | ψ | 61 | 0 | 61 | ζ | 61 | ψ,ω | 611 | ψ | 620 | 1 | 620 | ζ |
(27,15,8,4,2) | ∅ | ψ,ω | 51 | ψ,ω | 61 | 0 | 61 | ζ | 61 | ψ,ω | 611 | ψ,ω | 628 | 0 | 628 | ζ |
(27,14,7,4,3) | ∅ | ψ,ω | 61 | ψ | 62 | 0 | 62 | ζ | 612 | ψ,ω | 716 | ψ | 717 | 1 | 717 | ζ |
(27,14,8,4,3) | ∅ | ψ,ω | 63 | ψ | 614 | 0 | 614 | ζ | 612 | ψ,ω | 81 | ψ | 81 | 4 | 81 | ζ |
(27,15,8,4,3) | ∅ | ψ,ω | 63 | ψ,ω | 615 | 0 | 615 | ζ | 612 | ψ,ω | 81 | ψ,ω | 81 | 3 | 81 | ζ |
(27,14,8,5,3) | ∅ | ψ,ω | 65 | ψ | 646 | 0 | 646 | ζ | 71 | ψ,ω | 84 | ψ | 84 | 41 | 84 | ζ |
(27,15,8,5,3) | ∅ | ψ,ω | 65 | ψ,ω | 6105 | 0 | 6105 | ζ | 71 | ψ,ω | 84 | ψ,ω | 84 | 88 | 84 | ζ |
(27,15,9,5,3) | ∅ | ψ,ω | 65 | ψ,ω | 6139 | 1 | 6139 | ζ | 71 | ψ,ω | 84 | ψ,ω | 84 | 95 | 84 | ζ |
(27,15,9,6,3) | ∅ | ψ,ω | 65 | ψ,ω | 6146 | 0 | 6146 | ζ | 71 | ψ,ω | 86 | ψ,ω | 87 | 81 | 87 | ζ |
(27,14,8,5,4) | ∅ | ψ,ω | 67 | ψ | 654 | 0 | 654 | ζ | 71 | ψ,ω | 85 | ψ | 85 | 44 | 85 | ζ |
(27,15,8,5,4) | ∅ | ψ,ω | 67 | ψ,ω | 6126 | 1 | 6126 | ζ | 71 | ψ,ω | 85 | ψ,ω | 85 | 104 | 85 | ζ |
(27,15,9,5,4) | ∅ | ψ,ω | 67 | ψ,ω | 6171 | 0 | 6171 | ζ | 71 | ψ,ω | 85 | ψ,ω | 85 | 120 | 85 | ζ |
(27,15,9,6,4) | ∅ | ψ,ω | 67 | ψ,ω | 71 | 1 | 71 | ζ | 71 | ψ,ω | 87 | ψ,ω | 88 | 158 | 88 | ζ |
(27,15,9,6,5) | ∅ | ψ,ω | 67 | ψ,ω | 71 | 0 | 71 | ζ | 71 | ψ,ω | 87 | ψ,ω | 88 | 160 | 88 | ζ |
(28,14,7,4,2) | ∅ | ψ,ω | ∅ | ψ | 61 | ψ | 61 | 0 | 61 | ψ,ω | 66 | ψ | 67 | ψ | 67 | 0 |
(28,14,8,4,2) | ∅ | ψ,ω | 51 | ψ | 61 | ψ | 61 | 0 | 61 | ψ,ω | 611 | ψ | 620 | ψ | 621 | 0 |
(28,15,8,4,2) | ∅ | ψ,ω | 51 | ψ,ω | 61 | ψ | 61 | 0 | 61 | ψ,ω | 611 | ψ,ω | 628 | ψ | 633 | 0 |
(28,16,8,4,2) | ∅ | ψ,ω | 51 | ψ,ω | 61 | ψ,ω | 61 | 0 | 61 | ψ,ω | 611 | ψ,ω | 628 | ψ,ω | 638 | 1 |
(28,14,7,4,3) | ∅ | ψ,ω | 61 | ψ | 62 | ψ | 62 | 0 | 612 | ψ,ω | 716 | ψ | 717 | ψ | 717 | 1 |
(28,14,8,4,3) | ∅ | ψ,ω | 63 | ψ | 614 | ψ | 615 | 0 | 612 | ψ,ω | 81 | ψ | 81 | ψ | 81 | 4 |
(28,15,8,4,3) | ∅ | ψ,ω | 63 | ψ,ω | 615 | ψ | 617 | 0 | 612 | ψ,ω | 81 | ψ,ω | 81 | ψ | 81 | 5 |
(28,16,8,4,3) | ∅ | ψ,ω | 63 | ψ,ω | 615 | ψ,ω | 617 | 0 | 612 | ψ,ω | 81 | ψ,ω | 81 | ψ,ω | 81 | 5 |
(28,14,8,5,3) | ∅ | ψ,ω | 65 | ψ | 646 | ψ | 650 | 0 | 71 | ψ,ω | 84 | ψ | 84 | ψ | 84 | 40 |
(28,15,8,5,3) | ∅ | ψ,ω | 65 | ψ,ω | 6105 | ψ | 6135 | 0 | 71 | ψ,ω | 84 | ψ,ω | 84 | ψ | 84 | 141 |
(28,16,8,5,3) | ∅ | ψ,ω | 65 | ψ,ω | 6105 | ψ,ω | 6137 | 1 | 71 | ψ,ω | 84 | ψ,ω | 84 | ψ,ω | 84 | 115 |
(28,15,9,5,3) | ∅ | ψ,ω | 65 | ψ,ω | 6139 | ψ | 6201 | 0 | 71 | ψ,ω | 84 | ψ,ω | 84 | ψ | 84 | 149 |
(28,16,9,5,3) | ∅ | ψ,ω | 65 | ψ,ω | 6139 | ψ,ω | 6218 | 1 | 71 | ψ,ω | 84 | ψ,ω | 84 | ψ,ω | 84 | 150 |
(28,16,10,5,3) | ∅ | ψ,ω | 65 | ψ,ω | 6139 | ψ,ω | 6220 | 0 | 71 | ψ,ω | 84 | ψ,ω | 84 | ψ,ω | 84 | 154 |
(28,15,9,6,3) | ∅ | ψ,ω | 65 | ψ,ω | 6146 | ψ | 6215 | 0 | 71 | ψ,ω | 86 | ψ,ω | 87 | ψ | 87 | 119 |
(28,16,9,6,3) | ∅ | ψ,ω | 65 | ψ,ω | 6146 | ψ,ω | 6239 | 1 | 71 | ψ,ω | 86 | ψ,ω | 87 | ψ,ω | 87 | 128 |
(28,16,10,6,3) | ∅ | ψ,ω | 65 | ψ,ω | 6146 | ψ,ω | 6246 | 0 | 71 | ψ,ω | 86 | ψ,ω | 87 | ψ,ω | 87 | 120 |
(28,14,8,5,4) | ∅ | ψ,ω | 67 | ψ | 654 | ψ | 659 | 0 | 71 | ψ,ω | 85 | ψ | 85 | ψ | 85 | 45 |
(28,15,8,5,4) | ∅ | ψ,ω | 67 | ψ,ω | 6126 | ψ | 6164 | 1 | 71 | ψ,ω | 85 | ψ,ω | 85 | ψ | 85 | 140 |
(28,16,8,5,4) | ∅ | ψ,ω | 67 | ψ,ω | 6126 | ψ,ω | 6168 | 0 | 71 | ψ,ω | 85 | ψ,ω | 85 | ψ,ω | 85 | 140 |
(28,15,9,5,4) | ∅ | ψ,ω | 67 | ψ,ω | 6171 | ψ | 6248 | 1 | 71 | ψ,ω | 85 | ψ,ω | 85 | ψ | 85 | 204 |
(28,16,9,5,4) | ∅ | ψ,ω | 67 | ψ,ω | 6171 | ψ,ω | 6273 | 0 | 71 | ψ,ω | 85 | ψ,ω | 85 | ψ,ω | 85 | 209 |
(28,16,10,5,4) | ∅ | ψ,ω | 67 | ψ,ω | 6171 | ψ,ω | 6276 | 1 | 71 | ψ,ω | 85 | ψ,ω | 85 | ψ,ω | 85 | 206 |
(28,15,9,6,4) | ∅ | ψ,ω | 67 | ψ,ω | 71 | ψ | 72 | 1 | 71 | ψ,ω | 87 | ψ,ω | 88 | ψ | 88 | 306 |
(28,16,9,6,4) | ∅ | ψ,ω | 67 | ψ,ω | 71 | ψ,ω | 73 | 0 | 71 | ψ,ω | 87 | ψ,ω | 88 | ψ,ω | 88 | 371 |
(28,16,10,6,4) | ∅ | ψ,ω | 67 | ψ,ω | 71 | ψ,ω | 74 | 0 | 71 | ψ,ω | 87 | ψ,ω | 88 | ψ,ω | 88 | 324 |
(28,16,10,7,4) | ∅ | ψ,ω | 67 | ψ,ω | 71 | ψ,ω | 75 | 1 | 71 | ψ,ω | 87 | ψ,ω | 88 | ψ,ω | 88 | 388 |
(28,15,9,6,5) | ∅ | ψ,ω | 67 | ψ,ω | 71 | ψ | 72 | 1 | 71 | ψ,ω | 87 | ψ,ω | 88 | ψ | 88 | 308 |
(28,16,9,6,5) | ∅ | ψ,ω | 67 | ψ,ω | 71 | ψ,ω | 73 | 1 | 71 | ψ,ω | 87 | ψ,ω | 88 | ψ,ω | 88 | 370 |
(28,16,10,6,5) | ∅ | ψ,ω | 67 | ψ,ω | 71 | ψ,ω | 74 | 0 | 71 | ψ,ω | 87 | ψ,ω | 88 | ψ,ω | 88 | 389 |
(28,16,10,7,5) | ∅ | ψ,ω | 67 | ψ,ω | 71 | ψ,ω | 78 | 1 | 71 | ψ,ω | 87 | ψ,ω | 88 | ψ,ω | 88 | 365 |
(28,16,10,7,6) | ∅ | ψ,ω | 67 | ψ,ω | 71 | ψ,ω | 78 | 1 | 71 | ψ,ω | 87 | ψ,ω | 88 | ψ,ω | 88 | 355 |
(26,13,7,5,3) | ∅ | ω | ∅ | κ,ω | ∅ | ζ,κ,ω | ∅ | ζ,κ,ω | 71 | 0 | 71 | κ | 71 | ζ,κ | 71 | ζ,κ |
(26,13,7,5,4) | ∅ | ω | ∅ | κ,ω | ∅ | ζ,κ,ω | ∅ | ζ,κ,ω | 71 | 0 | 71 | κ | 71 | ζ,κ | 71 | ζ,κ |
(26,14,7,5,3) | ∅ | ω | 61 | ω | 61 | ζ,ω | 61 | ζ,ω | 71 | ω | 82 | 2 | 82 | ζ | 82 | ζ |
(26,14,8,6,3) | ∅ | ω | 65 | ω | 65 | ζ,ω | 65 | ζ,ω | 71 | ω | 86 | 3 | 86 | ζ | 86 | ζ |
(26,14,7,5,4) | ∅ | ω | 61 | ω | 61 | ζ,ω | 61 | ζ,ω | 71 | ω | 82 | 2 | 82 | ζ | 82 | ζ |
(26,14,8,6,4) | ∅ | ω | 67 | ω | 67 | ζ,ω | 67 | ζ,ω | 71 | ω | 87 | 3 | 87 | ζ | 87 | ζ |
(26,14,8,6,5) | ∅ | ω | 67 | ω | 67 | ζ,ω | 67 | ζ,ω | 71 | ω | 87 | 3 | 87 | ζ | 87 | ζ |
(27,14,7,5,3) | ∅ | ψ,ω | 61 | ψ,ω | 62 | ω | 62 | ζ,ω | 71 | ψ,ω | 82 | ψ | 82 | 1 | 82 | ζ |
(27,14,8,6,3) | ∅ | ψ,ω | 65 | ψ,ω | 646 | ω | 646 | ζ,ω | 71 | ψ,ω | 86 | ψ | 87 | 31 | 87 | ζ |
(27,15,8,6,3) | ∅ | ψ,ω | 65 | ψ,ω | 6105 | ω | 6105 | ζ,ω | 71 | ψ,ω | 86 | ψ,ω | 87 | 67 | 87 | ζ |
(27,14,7,5,4) | ∅ | ψ,ω | 61 | ψ,ω | 62 | ω | 62 | ζ,ω | 71 | ψ,ω | 82 | ψ | 82 | 1 | 82 | ζ |
(27,14,8,6,4) | ∅ | ψ,ω | 67 | ψ,ω | 654 | ω | 654 | ζ,ω | 71 | ψ,ω | 87 | ψ | 88 | 36 | 88 | ζ |
(27,15,8,6,4) | ∅ | ψ,ω | 67 | ψ,ω | 6126 | ω | 6126 | ζ,ω | 71 | ψ,ω | 87 | ψ,ω | 88 | 81 | 88 | ζ |
(27,15,9,7,4) | ∅ | ψ,ω | 67 | ψ,ω | 71 | ω | 71 | ζ,ω | 71 | ψ,ω | 87 | ψ,ω | 88 | 125 | 88 | ζ |
(27,14,8,6,5) | ∅ | ψ,ω | 67 | ψ,ω | 654 | ω | 654 | ζ,ω | 71 | ψ,ω | 87 | ψ | 88 | 40 | 88 | ζ |
(27,15,8,6,5) | ∅ | ψ,ω | 67 | ψ,ω | 6126 | ω | 6126 | ζ,ω | 71 | ψ,ω | 87 | ψ,ω | 88 | 81 | 88 | ζ |
(27,15,9,7,5) | ∅ | ψ,ω | 67 | ψ,ω | 71 | ω | 71 | ζ,ω | 71 | ψ,ω | 87 | ψ,ω | 88 | 112 | 88 | ζ |
(27,15,9,7,6) | ∅ | ψ,ω | 67 | ψ,ω | 71 | ω | 71 | ζ,ω | 71 | ψ,ω | 87 | ψ,ω | 88 | 110 | 88 | ζ |
(28,14,7,5,3) | ∅ | ψ,ω | 61 | ψ,ω | 62 | ψ,ω | 62 | ω | 71 | ψ,ω | 82 | ψ | 82 | ψ | 82 | 2 |
(28,14,8,6,3) | ∅ | ψ,ω | 65 | ψ,ω | 646 | ψ,ω | 650 | ω | 71 | ψ,ω | 86 | ψ | 87 | ψ | 87 | 32 |
(28,15,8,6,3) | ∅ | ψ,ω | 65 | ψ,ω | 6105 | ψ,ω | 6135 | ω | 71 | ψ,ω | 86 | ψ,ω | 87 | ψ | 87 | 97 |
(28,16,8,6,3) | ∅ | ψ,ω | 65 | ψ,ω | 6105 | ψ,ω | 6137 | ω | 71 | ψ,ω | 86 | ψ,ω | 87 | ψ,ω | 87 | 87 |
(28,14,7,5,4) | ∅ | ψ,ω | 61 | ψ,ω | 62 | ψ,ω | 62 | ω | 71 | ψ,ω | 82 | ψ | 82 | ψ | 82 | 2 |
(28,14,8,6,4) | ∅ | ψ,ω | 67 | ψ,ω | 654 | ψ,ω | 659 | ω | 71 | ψ,ω | 87 | ψ | 88 | ψ | 88 | 38 |
(28,15,8,6,4) | ∅ | ψ,ω | 67 | ψ,ω | 6126 | ψ,ω | 6164 | ω | 71 | ψ,ω | 87 | ψ,ω | 88 | ψ | 88 | 123 |
(28,16,8,6,4) | ∅ | ψ,ω | 67 | ψ,ω | 6126 | ψ,ω | 6168 | ω | 71 | ψ,ω | 87 | ψ,ω | 88 | ψ,ω | 88 | 91 |
(28,15,9,7,4) | ∅ | ψ,ω | 67 | ψ,ω | 71 | ψ,ω | 72 | ω | 71 | ψ,ω | 87 | ψ,ω | 88 | ψ | 88 | 224 |
(28,16,9,7,4) | ∅ | ψ,ω | 67 | ψ,ω | 71 | ψ,ω | 73 | ω | 71 | ψ,ω | 87 | ψ,ω | 88 | ψ,ω | 88 | 252 |
(28,16,10,8,4) | ∅ | ψ,ω | 67 | ψ,ω | 71 | ψ,ω | 75 | ω | 71 | ψ,ω | 87 | ψ,ω | 88 | ψ,ω | 88 | 265 |
(28,14,8,6,5) | ∅ | ψ,ω | 67 | ψ,ω | 654 | ψ,ω | 659 | ω | 71 | ψ,ω | 87 | ψ | 88 | ψ | 88 | 36 |
(28,15,8,6,5) | ∅ | ψ,ω | 67 | ψ,ω | 6126 | ψ,ω | 6164 | ω | 71 | ψ,ω | 87 | ψ,ω | 88 | ψ | 88 | 116 |
(28,16,8,6,5) | ∅ | ψ,ω | 67 | ψ,ω | 6126 | ψ,ω | 6168 | ω | 71 | ψ,ω | 87 | ψ,ω | 88 | ψ,ω | 88 | 103 |
(28,15,9,7,5) | ∅ | ψ,ω | 67 | ψ,ω | 71 | ψ,ω | 72 | ω | 71 | ψ,ω | 87 | ψ,ω | 88 | ψ | 88 | 208 |
(28,16,9,7,5) | ∅ | ψ,ω | 67 | ψ,ω | 71 | ψ,ω | 73 | ω | 71 | ψ,ω | 87 | ψ,ω | 88 | ψ,ω | 88 | 253 |
(28,16,10,8,5) | ∅ | ψ,ω | 67 | ψ,ω | 71 | ψ,ω | 78 | ω | 71 | ψ,ω | 87 | ψ,ω | 88 | ψ,ω | 88 | 270 |
(28,15,9,7,6) | ∅ | ψ,ω | 67 | ψ,ω | 71 | ψ,ω | 72 | ω | 71 | ψ,ω | 87 | ψ,ω | 88 | ψ | 88 | 220 |
(28,16,9,7,6) | ∅ | ψ,ω | 67 | ψ,ω | 71 | ψ,ω | 73 | ω | 71 | ψ,ω | 87 | ψ,ω | 88 | ψ,ω | 88 | 274 |
(28,16,10,8,6) | ∅ | ψ,ω | 67 | ψ,ω | 71 | ψ,ω | 78 | ω | 71 | ψ,ω | 87 | ψ,ω | 88 | ψ,ω | 88 | 248 |
(28,16,10,8,7) | ∅ | ψ,ω | 67 | ψ,ω | 71 | ψ,ω | 78 | ω | 71 | ψ,ω | 87 | ψ,ω | 88 | ψ,ω | 88 | 258 |