← AMRAL · BSD Conjecture · Layer 2 · Recomputation · package
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 |
Loading…