λ → | (8,4,2) | (8,4,1) | (8,3,1) | (7,3,1) | (6,3,1) | (8,2,1) | (7,2,1) | (6,2,1) | (5,2,1) | (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) | CAKλy# | time (s) | CAKλy# | time (s) | CAKλy# | time (s) | CAKλy# | time (s) |
(8,4,2) | 81 | 0 | 81 | κ | 81 | κ | 81 | ζ,κ | 81 | ζ,κ | 81 | κ | 81 | ζ,κ | 81 | ζ,κ | 81 | ζ,κ | 81 | ζ,κ |
(8,4,3) | 81 | ω | 141 | 0 | 141 | κ | 141 | ζ,κ | 141 | ζ,κ | 141 | κ | 141 | ζ,κ | 141 | ζ,κ | 141 | ζ,κ | 141 | ζ,κ |
(8,5,3) | 81 | ω | 141 | ω | 142 | 260 | 142 | ζ | 142 | ζ | 142 | κ | 142 | ζ,κ | 142 | ζ,κ | 142 | ζ,κ | 142 | ζ,κ |
(8,5,4) | 81 | ω | 141 | ω | 142 | 1047 | 142 | ζ | 142 | ζ | 142 | κ | 142 | ζ,κ | 142 | ζ,κ | 142 | ζ,κ | 142 | ζ,κ |
(9,5,3) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ | 142 | 627 | 142 | ζ | 142 | ψ,κ | 142 | 642 | 142 | ζ | 142 | ζ | 142 | ζ |
(9,6,3) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 142 | 635 | 142 | ζ | 143 | ψ | 143 | 533 | 143 | ζ | 143 | ζ | 143 | ζ |
(9,5,4) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ | 142 | 21185 | 142 | ζ | 142 | ψ,κ | 142 | 22328 | 142 | ζ | 142 | ζ | 142 | ζ |
(9,6,4) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | 78514 | 147 | ζ | 143 | ψ | 148 | 86111 | 148 | ζ | 148 | ζ | 148 | ζ |
(9,6,5) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | 96338 | 147 | ζ | 143 | ψ | 148 | 104028 | 148 | ζ | 148 | ζ | 148 | ζ |
(10,5,3) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ | 142 | ψ | 142 | 602 | 142 | ψ,κ | 142 | ψ | 142 | 637 | 142 | ζ | 142 | ζ |
(10,6,3) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 142 | ψ | 142 | 628 | 143 | ψ | 143 | ψ | 143 | 570 | 143 | ζ | 143 | ζ |
(10,5,4) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ | 142 | ψ | 142 | 22037 | 142 | ψ,κ | 142 | ψ | 142 | 21919 | 142 | ζ | 142 | ζ |
(10,6,4) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ | 147 | 100214 | 143 | ψ | 148 | ψ | 148 | 113030 | 148 | ζ | 148 | ζ |
(10,7,4) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | 101466 | 143 | ψ,ω | 148 | ψ | 148 | 113936 | 148 | ζ | 148 | ζ |
(10,6,5) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ | 147 | 161150 | 143 | ψ | 148 | ψ | 148 | 184147 | 148 | ζ | 148 | ζ |
(10,7,5) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | 196240 | 143 | ψ,ω | 148 | ψ | 148 | 219939 | 148 | ζ | 148 | ζ |
(10,7,6) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | 205391 | 143 | ψ,ω | 148 | ψ | 148 | 229816 | 148 | ζ | 148 | ζ |
(8,6,3) | 81 | ω | 141 | ω | 142 | ω | 142 | ζ,ω | 142 | ζ,ω | 143 | 230 | 143 | ζ | 143 | ζ | 143 | ζ | 143 | ζ |
(8,6,4) | 81 | ω | 141 | ω | 142 | ω | 142 | ζ,ω | 142 | ζ,ω | 143 | 910 | 143 | ζ | 143 | ζ | 143 | ζ | 143 | ζ |
(8,6,5) | 81 | ω | 141 | ω | 142 | ω | 142 | ζ,ω | 142 | ζ,ω | 143 | 904 | 143 | ζ | 143 | ζ | 143 | ζ | 143 | ζ |
(9,7,4) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ω | 147 | ζ,ω | 143 | ψ,ω | 148 | 73882 | 148 | ζ | 148 | ζ | 148 | ζ |
(9,7,5) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ω | 147 | ζ,ω | 143 | ψ,ω | 148 | 89552 | 148 | ζ | 148 | ζ | 148 | ζ |
(9,7,6) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ω | 147 | ζ,ω | 143 | ψ,ω | 148 | 87604 | 148 | ζ | 148 | ζ | 148 | ζ |
(10,8,4) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ω | 143 | ψ,ω | 148 | ψ,ω | 148 | 98766 | 148 | ζ | 148 | ζ |
(10,8,5) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ω | 143 | ψ,ω | 148 | ψ,ω | 148 | 194602 | 148 | ζ | 148 | ζ |
(10,8,6) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ω | 143 | ψ,ω | 148 | ψ,ω | 148 | 203381 | 148 | ζ | 148 | ζ |
(10,8,7) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ω | 143 | ψ,ω | 148 | ψ,ω | 148 | 201298 | 148 | ζ | 148 | ζ |
(11,6,3) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 142 | ψ | 142 | ψ | 143 | ψ | 143 | ψ | 143 | ψ | 143 | 543 | 143 | ζ |
(11,6,4) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ | 147 | ψ | 143 | ψ | 148 | ψ | 148 | ψ | 148 | 119136 | 148 | ζ |
(11,7,4) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ | 143 | ψ,ω | 148 | ψ | 148 | ψ | 148 | 121848 | 148 | ζ |
(11,8,4) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ,ω | 143 | ψ,ω | 148 | ψ,ω | 148 | ψ | 148 | 105545 | 148 | ζ |
(11,6,5) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ | 147 | ψ | 143 | ψ | 148 | ψ | 148 | ψ | 148 | 183830 | 148 | ζ |
(11,7,5) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ | 143 | ψ,ω | 148 | ψ | 148 | ψ | 148 | 221213 | 148 | ζ |
(11,8,5) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ,ω | 143 | ψ,ω | 148 | ψ,ω | 148 | ψ | 148 | 221916 | 148 | ζ |
(11,9,5) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ,ω | 143 | ψ,ω | 148 | ψ,ω | 148 | ψ,ω | 148 | 193094 | 148 | ζ |
(11,7,6) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ | 143 | ψ,ω | 148 | ψ | 148 | ψ | 148 | 218826 | 148 | ζ |
(11,8,6) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ,ω | 143 | ψ,ω | 148 | ψ,ω | 148 | ψ | 148 | 219599 | 148 | ζ |
(11,9,6) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ,ω | 143 | ψ,ω | 148 | ψ,ω | 148 | ψ,ω | 148 | 192241 | 148 | ζ |
(11,8,7) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ,ω | 143 | ψ,ω | 148 | ψ,ω | 148 | ψ | 148 | 220120 | 148 | ζ |
(11,9,7) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ,ω | 143 | ψ,ω | 148 | ψ,ω | 148 | ψ,ω | 148 | 191743 | 148 | ζ |
(11,9,8) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ,ω | 143 | ψ,ω | 148 | ψ,ω | 148 | ψ,ω | 148 | 191391 | 148 | ζ |
(12,6,3) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 142 | ψ | 142 | ψ | 143 | ψ | 143 | ψ | 143 | ψ | 143 | ψ | 143 | 528 |
(12,6,4) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ | 147 | ψ | 143 | ψ | 148 | ψ | 148 | ψ | 148 | ψ | 148 | 113851 |
(12,7,4) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ | 143 | ψ,ω | 148 | ψ | 148 | ψ | 148 | ψ | 148 | 115076 |
(12,8,4) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ,ω | 143 | ψ,ω | 148 | ψ,ω | 148 | ψ | 148 | ψ | 148 | 98267 |
(12,6,5) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ | 147 | ψ | 143 | ψ | 148 | ψ | 148 | ψ | 148 | ψ | 148 | 180602 |
(12,7,5) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ | 143 | ψ,ω | 148 | ψ | 148 | ψ | 148 | ψ | 148 | 216297 |
(12,8,5) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ,ω | 143 | ψ,ω | 148 | ψ,ω | 148 | ψ | 148 | ψ | 148 | 217321 |
(12,9,5) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ,ω | 143 | ψ,ω | 148 | ψ,ω | 148 | ψ,ω | 148 | ψ | 148 | 217618 |
(12,10,5) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ,ω | 143 | ψ,ω | 148 | ψ,ω | 148 | ψ,ω | 148 | ψ,ω | 148 | 189727 |
(12,7,6) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ | 143 | ψ,ω | 148 | ψ | 148 | ψ | 148 | ψ | 148 | 226374 |
(12,8,6) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ,ω | 143 | ψ,ω | 148 | ψ,ω | 148 | ψ | 148 | ψ | 148 | 224851 |
(12,9,6) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ,ω | 143 | ψ,ω | 148 | ψ,ω | 148 | ψ,ω | 148 | ψ | 148 | 224932 |
(12,10,6) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ,ω | 143 | ψ,ω | 148 | ψ,ω | 148 | ψ,ω | 148 | ψ,ω | 148 | 196473 |
(12,8,7) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ,ω | 143 | ψ,ω | 148 | ψ,ω | 148 | ψ | 148 | ψ | 148 | 210056 |
(12,9,7) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ,ω | 143 | ψ,ω | 148 | ψ,ω | 148 | ψ,ω | 148 | ψ | 148 | 211974 |
(12,10,7) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ,ω | 143 | ψ,ω | 148 | ψ,ω | 148 | ψ,ω | 148 | ψ,ω | 148 | 184631 |
(12,9,8) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ,ω | 143 | ψ,ω | 148 | ψ,ω | 148 | ψ,ω | 148 | ψ | 148 | 213097 |
(12,10,8) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ,ω | 143 | ψ,ω | 148 | ψ,ω | 148 | ψ,ω | 148 | ψ,ω | 148 | 184174 |
(12,10,9) | 81 | ψ,ω | 141 | ψ,ω | 142 | ψ,ω | 147 | ψ,ω | 147 | ψ,ω | 143 | ψ,ω | 148 | ψ,ω | 148 | ψ,ω | 148 | ψ,ω | 148 | 184106 |