← AMRAL · BSD 猜想 · 二 · 計算與重現 · 證據包
RUN-107
| round | RUN-107 |
|---|---|
| gate | src109 |
| DAG_D | PASS |
| D_rational | ISOMORPHISM |
| D_integral | INDEX_11 |
| schneider_dependency | NONE |
| status · normalization_certificate | CLOSED (architecture), frozen |
| status · DAG | {'A': 'PASS (cited-theorem route)', 'B': 'PASS', 'C': 'PASS (C_NT PASS, C_p PARTIAL)', 'D': 'PASS', 'E-G': 'untouched'} |
| status · BSD | OPEN |
載入中…