λ → | (23,11,5,2,1) | (22,11,5,2,1) | (23,10,5,2,1) | (22,10,5,2,1) | (21,10,5,2,1) | |||||
---|---|---|---|---|---|---|---|---|---|---|
y ↓ | CAKλy# | time (s) | CAKλy# | time (s) | CAKλy# | time (s) | CAKλy# | time (s) | CAKλy# | time (s) |
(23,12,6,3,2) | ∅ | 0 | ∅ | ζ | ∅ | κ | ∅ | ζ,κ | ∅ | ζ,κ |
(23,12,6,4,2) | 62 | 0 | 62 | ζ | 62 | κ | 62 | ζ,κ | 62 | ζ,κ |
(23,12,7,4,2) | 644 | 0 | 644 | ζ | 644 | κ | 644 | ζ,κ | 644 | ζ,κ |
(23,12,6,4,3) | 62 | 0 | 62 | ζ | 62 | κ | 62 | ζ,κ | 62 | ζ,κ |
(23,12,7,4,3) | 72 | 0 | 72 | ζ | 72 | κ | 72 | ζ,κ | 72 | ζ,κ |
(23,12,7,5,3) | 74 | 0 | 74 | ζ | 74 | κ | 74 | ζ,κ | 74 | ζ,κ |
(23,12,7,5,4) | 78 | 1 | 78 | ζ | 78 | κ | 78 | ζ,κ | 78 | ζ,κ |
(24,12,6,3,2) | ∅ | ψ | 51 | 0 | ∅ | ψ,κ | 51 | 0 | 51 | ζ |
(24,12,6,4,2) | 62 | ψ | 63 | 0 | 62 | ψ,κ | 66 | 0 | 66 | ζ |
(24,12,7,4,2) | 644 | ψ | 680 | 0 | 644 | ψ,κ | 6113 | 0 | 6113 | ζ |
(24,13,7,4,2) | 644 | ψ,ω | 6121 | 0 | 656 | ψ | 6339 | 1 | 6339 | ζ |
(24,13,8,4,2) | 644 | ψ,ω | 6129 | 1 | 658 | ψ | 6400 | 1 | 6400 | ζ |
(24,12,6,4,3) | 62 | ψ | 63 | 0 | 62 | ψ,κ | 66 | 0 | 66 | ζ |
(24,12,7,4,3) | 72 | ψ | 74 | 1 | 72 | ψ,κ | 74 | 1 | 74 | ζ |
(24,13,7,4,3) | 72 | ψ,ω | 713 | 1 | 79 | ψ | 7123 | 4 | 7123 | ζ |
(24,13,8,4,3) | 72 | ψ,ω | 714 | 1 | 715 | ψ | 7191 | 4 | 7191 | ζ |
(24,12,7,5,3) | 74 | ψ | 79 | 1 | 74 | ψ,κ | 79 | 1 | 79 | ζ |
(24,13,7,5,3) | 74 | ψ,ω | 723 | 1 | 711 | ψ | 7158 | 4 | 7158 | ζ |
(24,13,8,5,3) | 74 | ψ,ω | 733 | 1 | 734 | ψ | 7691 | 10 | 7691 | ζ |
(24,13,8,6,3) | 74 | ψ,ω | 733 | 1 | 734 | ψ | 7693 | 8 | 7693 | ζ |
(24,12,7,5,4) | 78 | ψ | 719 | 1 | 78 | ψ,κ | 720 | 1 | 720 | ζ |
(24,13,7,5,4) | 78 | ψ,ω | 742 | 1 | 715 | ψ | 7192 | 4 | 7192 | ζ |
(24,13,8,5,4) | 78 | ψ,ω | 767 | 2 | 746 | ψ | 7966 | 10 | 7966 | ζ |
(24,13,8,6,4) | 78 | ψ,ω | 774 | 1 | 746 | ψ | 7980 | 8 | 7980 | ζ |
(24,13,8,6,5) | 78 | ψ,ω | 781 | 2 | 746 | ψ | 7989 | 8 | 7989 | ζ |
(23,13,7,4,2) | 644 | ω | 644 | ζ,ω | 656 | 0 | 656 | ζ | 656 | ζ |
(23,13,8,4,2) | 644 | ω | 644 | ζ,ω | 658 | 0 | 658 | ζ | 658 | ζ |
(23,13,7,4,3) | 72 | ω | 72 | ζ,ω | 79 | 0 | 79 | ζ | 79 | ζ |
(23,13,8,4,3) | 72 | ω | 72 | ζ,ω | 715 | 0 | 715 | ζ | 715 | ζ |
(23,13,7,5,3) | 74 | ω | 74 | ζ,ω | 711 | 0 | 711 | ζ | 711 | ζ |
(23,13,8,5,3) | 74 | ω | 74 | ζ,ω | 734 | 1 | 734 | ζ | 734 | ζ |
(23,13,8,6,3) | 74 | ω | 74 | ζ,ω | 734 | 1 | 734 | ζ | 734 | ζ |
(23,13,7,5,4) | 78 | ω | 78 | ζ,ω | 715 | 1 | 715 | ζ | 715 | ζ |
(23,13,8,5,4) | 78 | ω | 78 | ζ,ω | 746 | 1 | 746 | ζ | 746 | ζ |
(23,13,8,6,4) | 78 | ω | 78 | ζ,ω | 746 | 0 | 746 | ζ | 746 | ζ |
(23,13,8,6,5) | 78 | ω | 78 | ζ,ω | 746 | 0 | 746 | ζ | 746 | ζ |
(24,14,7,4,2) | 644 | ψ,ω | 6121 | ω | 656 | ψ,ω | 6362 | 0 | 6362 | ζ |
(24,14,8,4,2) | 644 | ψ,ω | 6129 | ω | 658 | ψ,ω | 6435 | 1 | 6435 | ζ |
(24,14,7,4,3) | 72 | ψ,ω | 713 | ω | 79 | ψ,ω | 7130 | 3 | 7130 | ζ |
(24,14,8,4,3) | 72 | ψ,ω | 714 | ω | 715 | ψ,ω | 7206 | 4 | 7206 | ζ |
(24,14,7,5,3) | 74 | ψ,ω | 723 | ω | 711 | ψ,ω | 7165 | 5 | 7165 | ζ |
(24,14,8,5,3) | 74 | ψ,ω | 733 | ω | 734 | ψ,ω | 71227 | 11 | 71227 | ζ |
(24,14,9,5,3) | 74 | ψ,ω | 733 | ω | 734 | ψ,ω | 71342 | 11 | 71342 | ζ |
(24,14,8,6,3) | 74 | ψ,ω | 733 | ω | 734 | ψ,ω | 71229 | 8 | 71229 | ζ |
(24,14,9,6,3) | 74 | ψ,ω | 733 | ω | 734 | ψ,ω | 71368 | 8 | 71368 | ζ |
(24,14,7,5,4) | 78 | ψ,ω | 742 | ω | 715 | ψ,ω | 7199 | 5 | 7199 | ζ |
(24,14,8,5,4) | 78 | ψ,ω | 767 | ω | 746 | ψ,ω | 71828 | 13 | 71828 | ζ |
(24,14,9,5,4) | 78 | ψ,ω | 767 | ω | 746 | ψ,ω | 72091 | 13 | 72091 | ζ |
(24,14,8,6,4) | 78 | ψ,ω | 774 | ω | 746 | ψ,ω | 71842 | 10 | 71842 | ζ |
(24,14,9,6,4) | 78 | ψ,ω | 774 | ω | 746 | ψ,ω | 72312 | 15 | 72312 | ζ |
(24,14,9,7,4) | 78 | ψ,ω | 774 | ω | 746 | ψ,ω | 72312 | 10 | 72312 | ζ |
(24,14,8,6,5) | 78 | ψ,ω | 781 | ω | 746 | ψ,ω | 71851 | 10 | 71851 | ζ |
(24,14,9,6,5) | 78 | ψ,ω | 781 | ω | 746 | ψ,ω | 72352 | 13 | 72352 | ζ |
(24,14,9,7,5) | 78 | ψ,ω | 781 | ω | 746 | ψ,ω | 72352 | 10 | 72352 | ζ |
(24,14,9,7,6) | 78 | ψ,ω | 781 | ω | 746 | ψ,ω | 72352 | 9 | 72352 | ζ |
(25,13,7,4,2) | 644 | ψ,ω | 6121 | ψ | 656 | ψ | 6339 | ψ | 6345 | 1 |
(25,14,7,4,2) | 644 | ψ,ω | 6121 | ψ,ω | 656 | ψ,ω | 6362 | ψ | 6370 | 0 |
(25,13,8,4,2) | 644 | ψ,ω | 6129 | ψ | 658 | ψ | 6400 | ψ | 6409 | 1 |
(25,14,8,4,2) | 644 | ψ,ω | 6129 | ψ,ω | 658 | ψ,ω | 6435 | ψ | 6457 | 1 |
(25,15,8,4,2) | 644 | ψ,ω | 6129 | ψ,ω | 658 | ψ,ω | 6435 | ψ,ω | 6460 | 1 |
(25,13,7,4,3) | 72 | ψ,ω | 713 | ψ | 79 | ψ | 7123 | ψ | 7152 | 4 |
(25,14,7,4,3) | 72 | ψ,ω | 713 | ψ,ω | 79 | ψ,ω | 7130 | ψ | 7168 | 4 |
(25,13,8,4,3) | 72 | ψ,ω | 714 | ψ | 715 | ψ | 7191 | ψ | 7235 | 5 |
(25,14,8,4,3) | 72 | ψ,ω | 714 | ψ,ω | 715 | ψ,ω | 7206 | ψ | 7271 | 5 |
(25,15,8,4,3) | 72 | ψ,ω | 714 | ψ,ω | 715 | ψ,ω | 7206 | ψ,ω | 7271 | 5 |
(25,13,7,5,3) | 74 | ψ,ω | 723 | ψ | 711 | ψ | 7158 | ψ | 7192 | 4 |
(25,14,7,5,3) | 74 | ψ,ω | 723 | ψ,ω | 711 | ψ,ω | 7165 | ψ | 7210 | 5 |
(25,13,8,5,3) | 74 | ψ,ω | 733 | ψ | 734 | ψ | 7691 | ψ | 7845 | 10 |
(25,14,8,5,3) | 74 | ψ,ω | 733 | ψ,ω | 734 | ψ,ω | 71227 | ψ | 71934 | 14 |
(25,15,8,5,3) | 74 | ψ,ω | 733 | ψ,ω | 734 | ψ,ω | 71227 | ψ,ω | 71980 | 14 |
(25,14,9,5,3) | 74 | ψ,ω | 733 | ψ,ω | 734 | ψ,ω | 71342 | ψ | 72156 | 14 |
(25,15,9,5,3) | 74 | ψ,ω | 733 | ψ,ω | 734 | ψ,ω | 71342 | ψ,ω | 72270 | 15 |
(25,15,10,5,3) | 74 | ψ,ω | 733 | ψ,ω | 734 | ψ,ω | 71342 | ψ,ω | 72274 | 14 |
(25,13,8,6,3) | 74 | ψ,ω | 733 | ψ | 734 | ψ | 7693 | ψ | 7847 | 7 |
(25,14,8,6,3) | 74 | ψ,ω | 733 | ψ,ω | 734 | ψ,ω | 71229 | ψ | 71936 | 10 |
(25,15,8,6,3) | 74 | ψ,ω | 733 | ψ,ω | 734 | ψ,ω | 71229 | ψ,ω | 71982 | 10 |
(25,14,9,6,3) | 74 | ψ,ω | 733 | ψ,ω | 734 | ψ,ω | 71368 | ψ | 72230 | 11 |
(25,15,9,6,3) | 74 | ψ,ω | 733 | ψ,ω | 734 | ψ,ω | 71368 | ψ,ω | 72372 | 9 |
(25,15,10,6,3) | 74 | ψ,ω | 733 | ψ,ω | 734 | ψ,ω | 71368 | ψ,ω | 72384 | 10 |
(25,13,7,5,4) | 78 | ψ,ω | 742 | ψ | 715 | ψ | 7192 | ψ | 7229 | 5 |
(25,14,7,5,4) | 78 | ψ,ω | 742 | ψ,ω | 715 | ψ,ω | 7199 | ψ | 7249 | 5 |
(25,13,8,5,4) | 78 | ψ,ω | 767 | ψ | 746 | ψ | 7966 | ψ | 71202 | 11 |
(25,14,8,5,4) | 78 | ψ,ω | 767 | ψ,ω | 746 | ψ,ω | 71828 | ψ | 73117 | 17 |
(25,15,8,5,4) | 78 | ψ,ω | 767 | ψ,ω | 746 | ψ,ω | 71828 | ψ,ω | 73226 | 17 |
(25,14,9,5,4) | 78 | ψ,ω | 767 | ψ,ω | 746 | ψ,ω | 72091 | ψ | 73647 | 18 |
(25,15,9,5,4) | 78 | ψ,ω | 767 | ψ,ω | 746 | ψ,ω | 72091 | ψ,ω | 73940 | 17 |
(25,15,10,5,4) | 78 | ψ,ω | 767 | ψ,ω | 746 | ψ,ω | 72091 | ψ,ω | 73951 | 18 |
(25,13,8,6,4) | 78 | ψ,ω | 774 | ψ | 746 | ψ | 7980 | ψ | 71216 | 8 |
(25,14,8,6,4) | 78 | ψ,ω | 774 | ψ,ω | 746 | ψ,ω | 71842 | ψ | 73137 | 13 |
(25,15,8,6,4) | 78 | ψ,ω | 774 | ψ,ω | 746 | ψ,ω | 71842 | ψ,ω | 73246 | 11 |
(25,14,9,6,4) | 78 | ψ,ω | 774 | ψ,ω | 746 | ψ,ω | 72312 | ψ | 74320 | 19 |
(25,15,9,6,4) | 78 | ψ,ω | 774 | ψ,ω | 746 | ψ,ω | 72312 | ψ,ω | 74938 | 20 |
(25,15,10,6,4) | 78 | ψ,ω | 774 | ψ,ω | 746 | ψ,ω | 72312 | ψ,ω | 75071 | 21 |
(25,14,9,7,4) | 78 | ψ,ω | 774 | ψ,ω | 746 | ψ,ω | 72312 | ψ | 74320 | 14 |
(25,15,9,7,4) | 78 | ψ,ω | 774 | ψ,ω | 746 | ψ,ω | 72312 | ψ,ω | 74938 | 14 |
(25,15,10,7,4) | 78 | ψ,ω | 774 | ψ,ω | 746 | ψ,ω | 72312 | ψ,ω | 75110 | 19 |
(25,15,10,8,4) | 78 | ψ,ω | 774 | ψ,ω | 746 | ψ,ω | 72312 | ψ,ω | 75110 | 14 |
(25,13,8,6,5) | 78 | ψ,ω | 781 | ψ | 746 | ψ | 7989 | ψ | 71225 | 8 |
(25,14,8,6,5) | 78 | ψ,ω | 781 | ψ,ω | 746 | ψ,ω | 71851 | ψ | 73149 | 13 |
(25,15,8,6,5) | 78 | ψ,ω | 781 | ψ,ω | 746 | ψ,ω | 71851 | ψ,ω | 73258 | 12 |
(25,14,9,6,5) | 78 | ψ,ω | 781 | ψ,ω | 746 | ψ,ω | 72352 | ψ | 74470 | 19 |
(25,15,9,6,5) | 78 | ψ,ω | 781 | ψ,ω | 746 | ψ,ω | 72352 | ψ,ω | 75168 | 20 |
(25,15,10,6,5) | 78 | ψ,ω | 781 | ψ,ω | 746 | ψ,ω | 72352 | ψ,ω | 75333 | 20 |
(25,14,9,7,5) | 78 | ψ,ω | 781 | ψ,ω | 746 | ψ,ω | 72352 | ψ | 74470 | 14 |
(25,15,9,7,5) | 78 | ψ,ω | 781 | ψ,ω | 746 | ψ,ω | 72352 | ψ,ω | 75168 | 14 |
(25,15,10,7,5) | 78 | ψ,ω | 781 | ψ,ω | 746 | ψ,ω | 72352 | ψ,ω | 75461 | 23 |
(25,15,10,8,5) | 78 | ψ,ω | 781 | ψ,ω | 746 | ψ,ω | 72352 | ψ,ω | 75461 | 15 |
(25,14,9,7,6) | 78 | ψ,ω | 781 | ψ,ω | 746 | ψ,ω | 72352 | ψ | 74470 | 15 |
(25,15,9,7,6) | 78 | ψ,ω | 781 | ψ,ω | 746 | ψ,ω | 72352 | ψ,ω | 75168 | 14 |
(25,15,10,7,6) | 78 | ψ,ω | 781 | ψ,ω | 746 | ψ,ω | 72352 | ψ,ω | 75483 | 21 |
(25,15,10,8,6) | 78 | ψ,ω | 781 | ψ,ω | 746 | ψ,ω | 72352 | ψ,ω | 75483 | 14 |
(25,15,10,8,7) | 78 | ψ,ω | 781 | ψ,ω | 746 | ψ,ω | 72352 | ψ,ω | 75483 | 15 |