Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions NOTICE
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@ Upstream example IDs are shown where this repository renamed files:
LP_1768_224_ge17 (AJ_52)
- **LP_*** (from upstream **xu_***): LP_544_80_12 (xu_16), LP_714_100_16 (xu_21; was LP_714_100_unknown)
- **TN_*** (shipped in this repo) — TN_36_8_3, TN_36_8_4, TN_54_11_4, TN_72_8_8,
TN_72_14_4, TN_108_2_12, TN_144_2_13, TN_200_10_10, TN_250_10_15, TN_360_4_ge9
TN_72_14_4, TN_108_2_12, TN_144_2_13, TN_200_10_10, TN_250_10_15, TN_360_4_ge17

Redistribution of these files must retain the upstream MIT copyright and permission
notice from the codeDistancePYPI repository.
Expand Down Expand Up @@ -84,7 +84,7 @@ Mapping of former directory -> tier:
LP_1768_224_ge17 -> tier5
- data/QT/: TN_36_8_3, TN_36_8_4, TN_54_11_4, TN_72_8_8, TN_72_14_4, TN_108_2_12,
TN_200_10_10 -> tier0; TN_250_10_15 -> tier4
- data/QT2/: TN_144_2_13 -> tier3; TN_360_4_ge9 -> tier5
- data/QT2/: TN_144_2_13 -> tier3; TN_360_4_ge17 -> tier5

3. External MaxSAT binaries (`bin/maxsat/`)
-------------------------------------------
Expand Down
18 changes: 10 additions & 8 deletions data/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -25,14 +25,16 @@ DistQLDPC are not copied here.

| Tier | Purpose / per-run budget | Stems in this repository |
|------|--------------------------|--------------------------|
| `tier0` | correctness / smoke (small) | BB_72_12_6, LP_34_20_2, LP_136_32_4, TN_36_8_3, TN_36_8_4, TN_54_11_4, TN_72_14_4, TN_72_8_8, TN_108_2_12, TN_200_10_10 |
| `tier1` | — | BB_90_8_10, GB_144_12_8, BB_108_8_10, LP_238_44_6 |
| `tier2` | — | LP_340_56_8 |
| `tier3` | — | BB_144_12_12, GB_144_12_12, BB_144_14_14, LP_442_68_10, LP_544_80_12, TN_144_2_13 |
| `tier4` | timeout **2000 s** | TN_250_10_15, BB_288_12_18, LP_714_100_16 |
| `tier5` | timeout **21600 s** (6 h) | BB_360_12_17to24, LP_1768_224_ge17, TN_360_4_ge9 |

Note: DistQLDPC lists the tier5 code `TN_360_4_ge9` as `TN_360_4_24`; the
Tier assignment (PI 2026-10-12, mirrored from DistQLDPC): by DistQLDPC main's time on yfclab2, slower of no-card / card-mto.

| `tier0` | correctness / smoke; DistQLDPC main < 1 s on yfclab2 | BB_72_12_6, BB_90_8_10, GB_144_12_8, LP_136_32_4, LP_34_20_2, TN_36_8_3, TN_36_8_4, TN_54_11_4, TN_72_14_4, TN_72_8_8 |
| `tier1` | main 1–10 s on yfclab2 | BB_108_8_10, BB_144_12_12, LP_238_44_6, LP_340_56_8 |
| `tier2` | main 10–100 s | LP_442_68_10, TN_108_2_12 |
| `tier3` | main 100–2000 s | BB_144_14_14, GB_144_12_12, LP_544_80_12, TN_144_2_13, TN_200_10_10 |
| `tier4` | main 2000–5000 s; timeout **2000 s** Mac / **5000 s** yfclab2 | BB_288_12_18, TN_250_10_15 |
| `tier5` | main > 5000 s or unsolved; timeout **21600 s** (6 h) | BB_360_12_17to24, LP_1768_224_ge17, LP_714_100_16, TN_360_4_ge17 |

Note: DistQLDPC lists the tier5 code `TN_360_4_ge17` as `TN_360_4_24`; the
difference is unresolved and the QDistSAT name is kept until it is cross-checked.

Previous layout (before the tiers): `data/BB`, `data/BB2`, `data/LP`, `data/LP2`,
Expand Down
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# n=360 Z-type logical rows ker(Hx)/row(Hz) parity TN_360_4_ge9_Hx.txt
# n=360 Z-type logical rows ker(Hx)/row(Hz) parity TN_360_4_ge17_Hx.txt
0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 0 1 0 1 1 1 0 0 1 0 1 1 0 1 1 1 1 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 1 1 0 1 1 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Expand Down
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# n=360 X-type logical rows ker(Hz)/row(Hx) parity TN_360_4_ge9_Hz.txt
# n=360 X-type logical rows ker(Hz)/row(Hx) parity TN_360_4_ge17_Hz.txt
0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 1 1 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 1 0 1 1 1 1 1 1 1 0 0 0 1 0 1 1 0 0 1 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Expand Down
File renamed without changes.
File renamed without changes.
2 changes: 1 addition & 1 deletion tables/TN_360_4_ge9.tex → tables/TN_360_4_ge17.tex
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
% Requires: \usepackage{booktabs, longtable}
\begin{longtable}{llrrrl p{0.22\textwidth}}
\caption{Benchmark solver results for \texttt{TN\_360\_4\_ge9} ($n=360$, scan $d \leq 20$, timeout 7200\,s per configuration).} \label{tab:bench-TN_360_4_ge9} \\
\caption{Benchmark solver results for \texttt{TN\_360\_4\_ge17} ($n=360$, scan $d \leq 20$, timeout 7200\,s per configuration).} \label{tab:bench-TN_360_4_ge17} \\
\toprule
Solver & Strategy & Time (s) & Vars & Clauses & Result & Status \\
\midrule
Expand Down
2 changes: 1 addition & 1 deletion tables/appendix_benchmark_tables.tex
Original file line number Diff line number Diff line change
Expand Up @@ -68,7 +68,7 @@
\input{tables/TN_250_10_15.tex}

\clearpage
\input{tables/TN_360_4_ge9.tex}
\input{tables/TN_360_4_ge17.tex}

\clearpage
\input{tables/TN_36_8_3.tex}
Expand Down
20 changes: 7 additions & 13 deletions tests/test_repository_paths.py
Original file line number Diff line number Diff line change
Expand Up @@ -15,18 +15,12 @@
# Tier membership of the stems shipped in this repository (see data/README.md).
# Stems listed in the cross-repo tier spec that exist only in DistQLDPC are not here.
EXPECTED_TIERS = {
"tier0": (
"BB_72_12_6", "LP_34_20_2", "LP_136_32_4", "TN_36_8_3", "TN_36_8_4",
"TN_54_11_4", "TN_72_14_4", "TN_72_8_8", "TN_108_2_12", "TN_200_10_10",
),
"tier1": ("BB_90_8_10", "GB_144_12_8", "BB_108_8_10", "LP_238_44_6"),
"tier2": ("LP_340_56_8",),
"tier3": (
"BB_144_12_12", "GB_144_12_12", "BB_144_14_14", "LP_442_68_10",
"LP_544_80_12", "TN_144_2_13",
),
"tier4": ("TN_250_10_15", "BB_288_12_18", "LP_714_100_16"),
"tier5": ("BB_360_12_17to24", "LP_1768_224_ge17", "TN_360_4_ge9"),
"tier0": ("BB_72_12_6", "BB_90_8_10", "GB_144_12_8", "LP_136_32_4", "LP_34_20_2", "TN_36_8_3", "TN_36_8_4", "TN_54_11_4", "TN_72_14_4", "TN_72_8_8"),
"tier1": ("BB_108_8_10", "BB_144_12_12", "LP_238_44_6", "LP_340_56_8"),
"tier2": ("LP_442_68_10", "TN_108_2_12"),
"tier3": ("BB_144_14_14", "GB_144_12_12", "LP_544_80_12", "TN_144_2_13", "TN_200_10_10"),
"tier4": ("BB_288_12_18", "TN_250_10_15"),
"tier5": ("BB_360_12_17to24", "LP_1768_224_ge17", "LP_714_100_16", "TN_360_4_ge17"),
}
FORMER_BATCH_DIRS = ("BB", "BB2", "LP", "LP2", "QT", "QT2")

Expand Down Expand Up @@ -90,7 +84,7 @@ def _load_compare_harness():

@pytest.mark.parametrize(
"stem,tier",
[("LP_136_32_4", "tier0"), ("BB_108_8_10", "tier1"), ("TN_360_4_ge9", "tier5")],
[("LP_136_32_4", "tier0"), ("BB_108_8_10", "tier1"), ("TN_360_4_ge17", "tier5")],
)
def test_distqldpc_compare_harness_finds_stems_in_tiers(stem, tier):
# DistQLDPC's cross-repo CI calls the harness with --data-root <QDistSAT>/data.
Expand Down
Loading