diff --git a/NOTICE b/NOTICE index 253f81e..31c3c48 100644 --- a/NOTICE +++ b/NOTICE @@ -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. @@ -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/`) ------------------------------------------- diff --git a/data/README.md b/data/README.md index da61e21..fcbd69f 100644 --- a/data/README.md +++ b/data/README.md @@ -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`, diff --git a/data/tier1/BB_90_8_10_Gx.txt b/data/tier0/BB_90_8_10_Gx.txt similarity index 100% rename from data/tier1/BB_90_8_10_Gx.txt rename to data/tier0/BB_90_8_10_Gx.txt diff --git a/data/tier1/BB_90_8_10_Gz.txt b/data/tier0/BB_90_8_10_Gz.txt similarity index 100% rename from data/tier1/BB_90_8_10_Gz.txt rename to data/tier0/BB_90_8_10_Gz.txt diff --git a/data/tier1/BB_90_8_10_Hx.txt b/data/tier0/BB_90_8_10_Hx.txt similarity index 100% rename from data/tier1/BB_90_8_10_Hx.txt rename to data/tier0/BB_90_8_10_Hx.txt diff --git a/data/tier1/BB_90_8_10_Hz.txt b/data/tier0/BB_90_8_10_Hz.txt similarity index 100% rename from data/tier1/BB_90_8_10_Hz.txt rename to data/tier0/BB_90_8_10_Hz.txt diff --git a/data/tier1/GB_144_12_8_Gx.txt b/data/tier0/GB_144_12_8_Gx.txt similarity index 100% rename from data/tier1/GB_144_12_8_Gx.txt rename to data/tier0/GB_144_12_8_Gx.txt diff --git a/data/tier1/GB_144_12_8_Gz.txt b/data/tier0/GB_144_12_8_Gz.txt similarity index 100% rename from data/tier1/GB_144_12_8_Gz.txt rename to data/tier0/GB_144_12_8_Gz.txt diff --git a/data/tier1/GB_144_12_8_Hx.txt b/data/tier0/GB_144_12_8_Hx.txt similarity index 100% rename from data/tier1/GB_144_12_8_Hx.txt rename to data/tier0/GB_144_12_8_Hx.txt diff --git a/data/tier1/GB_144_12_8_Hz.txt b/data/tier0/GB_144_12_8_Hz.txt similarity index 100% rename from data/tier1/GB_144_12_8_Hz.txt rename to data/tier0/GB_144_12_8_Hz.txt diff --git a/data/tier3/BB_144_12_12_Gx.txt b/data/tier1/BB_144_12_12_Gx.txt similarity index 100% rename from data/tier3/BB_144_12_12_Gx.txt rename to data/tier1/BB_144_12_12_Gx.txt diff --git a/data/tier3/BB_144_12_12_Gz.txt b/data/tier1/BB_144_12_12_Gz.txt similarity index 100% rename from data/tier3/BB_144_12_12_Gz.txt rename to data/tier1/BB_144_12_12_Gz.txt diff --git a/data/tier3/BB_144_12_12_Hx.txt b/data/tier1/BB_144_12_12_Hx.txt similarity index 100% rename from data/tier3/BB_144_12_12_Hx.txt rename to data/tier1/BB_144_12_12_Hx.txt diff --git a/data/tier3/BB_144_12_12_Hz.txt b/data/tier1/BB_144_12_12_Hz.txt similarity index 100% rename from data/tier3/BB_144_12_12_Hz.txt rename to data/tier1/BB_144_12_12_Hz.txt diff --git a/data/tier2/LP_340_56_8_Gx.txt b/data/tier1/LP_340_56_8_Gx.txt similarity index 100% rename from data/tier2/LP_340_56_8_Gx.txt rename to data/tier1/LP_340_56_8_Gx.txt diff --git a/data/tier2/LP_340_56_8_Gz.txt b/data/tier1/LP_340_56_8_Gz.txt similarity index 100% rename from data/tier2/LP_340_56_8_Gz.txt rename to data/tier1/LP_340_56_8_Gz.txt diff --git a/data/tier2/LP_340_56_8_Hx.txt b/data/tier1/LP_340_56_8_Hx.txt similarity index 100% rename from data/tier2/LP_340_56_8_Hx.txt rename to data/tier1/LP_340_56_8_Hx.txt diff --git a/data/tier2/LP_340_56_8_Hz.txt b/data/tier1/LP_340_56_8_Hz.txt similarity index 100% rename from data/tier2/LP_340_56_8_Hz.txt rename to data/tier1/LP_340_56_8_Hz.txt diff --git a/data/tier3/LP_442_68_10_Gx.txt b/data/tier2/LP_442_68_10_Gx.txt similarity index 100% rename from data/tier3/LP_442_68_10_Gx.txt rename to data/tier2/LP_442_68_10_Gx.txt diff --git a/data/tier3/LP_442_68_10_Gz.txt b/data/tier2/LP_442_68_10_Gz.txt similarity index 100% rename from data/tier3/LP_442_68_10_Gz.txt rename to data/tier2/LP_442_68_10_Gz.txt diff --git a/data/tier3/LP_442_68_10_Hx.txt b/data/tier2/LP_442_68_10_Hx.txt similarity index 100% rename from data/tier3/LP_442_68_10_Hx.txt rename to data/tier2/LP_442_68_10_Hx.txt diff --git a/data/tier3/LP_442_68_10_Hz.txt b/data/tier2/LP_442_68_10_Hz.txt similarity index 100% rename from data/tier3/LP_442_68_10_Hz.txt rename to data/tier2/LP_442_68_10_Hz.txt diff --git a/data/tier0/TN_108_2_12_Gx.txt b/data/tier2/TN_108_2_12_Gx.txt similarity index 100% rename from data/tier0/TN_108_2_12_Gx.txt rename to data/tier2/TN_108_2_12_Gx.txt diff --git a/data/tier0/TN_108_2_12_Gz.txt b/data/tier2/TN_108_2_12_Gz.txt similarity index 100% rename from data/tier0/TN_108_2_12_Gz.txt rename to data/tier2/TN_108_2_12_Gz.txt diff --git a/data/tier0/TN_108_2_12_Hx.txt b/data/tier2/TN_108_2_12_Hx.txt similarity index 100% rename from data/tier0/TN_108_2_12_Hx.txt rename to data/tier2/TN_108_2_12_Hx.txt diff --git a/data/tier0/TN_108_2_12_Hz.txt b/data/tier2/TN_108_2_12_Hz.txt similarity index 100% rename from data/tier0/TN_108_2_12_Hz.txt rename to data/tier2/TN_108_2_12_Hz.txt diff --git a/data/tier0/TN_200_10_10_Gx.txt b/data/tier3/TN_200_10_10_Gx.txt similarity index 100% rename from data/tier0/TN_200_10_10_Gx.txt rename to data/tier3/TN_200_10_10_Gx.txt diff --git a/data/tier0/TN_200_10_10_Gz.txt b/data/tier3/TN_200_10_10_Gz.txt similarity index 100% rename from data/tier0/TN_200_10_10_Gz.txt rename to data/tier3/TN_200_10_10_Gz.txt diff --git a/data/tier0/TN_200_10_10_Hx.txt b/data/tier3/TN_200_10_10_Hx.txt similarity index 100% rename from data/tier0/TN_200_10_10_Hx.txt rename to data/tier3/TN_200_10_10_Hx.txt diff --git a/data/tier0/TN_200_10_10_Hz.txt b/data/tier3/TN_200_10_10_Hz.txt similarity index 100% rename from data/tier0/TN_200_10_10_Hz.txt rename to data/tier3/TN_200_10_10_Hz.txt diff --git a/data/tier4/LP_714_100_16_Gx.txt b/data/tier5/LP_714_100_16_Gx.txt similarity index 100% rename from data/tier4/LP_714_100_16_Gx.txt rename to data/tier5/LP_714_100_16_Gx.txt diff --git a/data/tier4/LP_714_100_16_Gz.txt b/data/tier5/LP_714_100_16_Gz.txt similarity index 100% rename from data/tier4/LP_714_100_16_Gz.txt rename to data/tier5/LP_714_100_16_Gz.txt diff --git a/data/tier4/LP_714_100_16_Hx.txt b/data/tier5/LP_714_100_16_Hx.txt similarity index 100% rename from data/tier4/LP_714_100_16_Hx.txt rename to data/tier5/LP_714_100_16_Hx.txt diff --git a/data/tier4/LP_714_100_16_Hz.txt b/data/tier5/LP_714_100_16_Hz.txt similarity index 100% rename from data/tier4/LP_714_100_16_Hz.txt rename to data/tier5/LP_714_100_16_Hz.txt diff --git a/data/tier5/TN_360_4_ge9_Gx.txt b/data/tier5/TN_360_4_ge17_Gx.txt similarity index 99% rename from data/tier5/TN_360_4_ge9_Gx.txt rename to data/tier5/TN_360_4_ge17_Gx.txt index 2e9b414..c917afd 100644 --- a/data/tier5/TN_360_4_ge9_Gx.txt +++ b/data/tier5/TN_360_4_ge17_Gx.txt @@ -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 diff --git a/data/tier5/TN_360_4_ge9_Gz.txt b/data/tier5/TN_360_4_ge17_Gz.txt similarity index 99% rename from data/tier5/TN_360_4_ge9_Gz.txt rename to data/tier5/TN_360_4_ge17_Gz.txt index 9c8a1e1..7a81db6 100644 --- a/data/tier5/TN_360_4_ge9_Gz.txt +++ b/data/tier5/TN_360_4_ge17_Gz.txt @@ -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 diff --git a/data/tier5/TN_360_4_ge9_Hx.txt b/data/tier5/TN_360_4_ge17_Hx.txt similarity index 100% rename from data/tier5/TN_360_4_ge9_Hx.txt rename to data/tier5/TN_360_4_ge17_Hx.txt diff --git a/data/tier5/TN_360_4_ge9_Hz.txt b/data/tier5/TN_360_4_ge17_Hz.txt similarity index 100% rename from data/tier5/TN_360_4_ge9_Hz.txt rename to data/tier5/TN_360_4_ge17_Hz.txt diff --git a/tables/TN_360_4_ge9.tex b/tables/TN_360_4_ge17.tex similarity index 95% rename from tables/TN_360_4_ge9.tex rename to tables/TN_360_4_ge17.tex index 774e5b1..559679d 100644 --- a/tables/TN_360_4_ge9.tex +++ b/tables/TN_360_4_ge17.tex @@ -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 diff --git a/tables/appendix_benchmark_tables.tex b/tables/appendix_benchmark_tables.tex index 515d0c5..e756f83 100644 --- a/tables/appendix_benchmark_tables.tex +++ b/tables/appendix_benchmark_tables.tex @@ -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} diff --git a/tests/test_repository_paths.py b/tests/test_repository_paths.py index 93d99ae..0b467ec 100644 --- a/tests/test_repository_paths.py +++ b/tests/test_repository_paths.py @@ -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") @@ -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 /data.