← AMRAL · BSD 猜想 · 二 · 計算與重現 · 證據包
RUN-104
| round | RUN-104 |
|---|---|
| gate | src106 |
| A | PASS |
| route | CITED_THEOREM |
| status · normalization_certificate | CLOSED (architecture), frozen |
| status · DAG | {'A': 'PASS (cited-theorem route; A-mod11-compat UNMEASURED)', 'B-G': 'untouched'} |
| status · BSD | OPEN |
載入中…