The following files contain a list of the inequivalent eight-Williamson sequences of a given order n that were found using the construction given in the paper by Applying Computer Algebra Systems with SAT Solvers to the Williamson Conjecture by Bright, Kotsireas, and Ganesh.
order n | # sequences | filesize |
1 | 1 | 17 |
3 | 1 | 33 |
5 | 1 | 49 |
7 | 4 | 260 |
9 | 13 | 1.1K |
11 | 10 | 970 |
13 | 18 | 2.0K |
15 | 129 | 17K |
17 | 79 | 12K |
19 | 43 | 6.8K |
21 | 280 | 49K |
23 | 48 | 9.1K |
25 | 257 | 53K |
27 | 486 | 107K |
29 | 71 | 17K |
31 | 58 | 15K |
33 | 240 | 64K |
35 | 78 | 23K |