Archive
Unlabelled, single-output binary-circuit topologies, exported in SageMath’s legacy dig6 format.
Circuit DAGs
42 files · 7,893,310 graphs
Each record is a finite simple DAG, unlabelled up to ordinary directed-graph isomorphism. Edges point from operands into gates: inputs have indegree zero, every gate has two distinct predecessors, and every vertex reaches the unique sink (the output). There are no operation, vertex, edge, or port labels; fan-out is unrestricted and dead gates are excluded.
Each decompressed file contains one SageMath dig6 ASCII string per line; vertex numbers are encoding artifacts. The 9-gate/5-input list is a losslessly sorted Zstandard download to keep its 4.6 million records practical to host. The archive is intended to contain one topology per isomorphism class for each stated size. The files pass a structural and count audit, but the 2020 enumeration program and SageMath version were not preserved, so completeness cannot be rerun here. SHA-256 checksums cover the full archive. An em dash means that combination is not included.
| inputs | 1 gate | 2 gates | 3 gates | 4 gates | 5 gates | 6 gates | 7 gates | 8 gates | 9 gates |
|---|---|---|---|---|---|---|---|---|---|
| 2 | 1 | 1 | 4 | 17 | 100 | 737 | 6,606 | 69,874 | — |
| 3 | — | 1 | 5 | 31 | 246 | 2,296 | 25,119 | 314,764 | — |
| 4 | — | — | 2 | 16 | 174 | 2,069 | 27,744 | 413,947 | — |
| 5 | — | — | — | 3 | 49 | 784 | 13,248 | 239,007 | 4,636,438 [zst] |
| 6 | — | — | — | — | 6 | 140 | 3,172 | 71,468 | 1,664,163 |
| 7 | — | — | — | — | — | 11 | 392 | 11,821 | 342,991 |
| 8 | — | — | — | — | — | — | 23 | 1,072 | 41,726 |
| 9 | — | — | — | — | — | — | — | 46 | 2,898 |
| 10 | — | — | — | — | — | — | — | — | 98 |