← AMRAL · BSD 猜想 · 二 · 計算與重現 · 證據包

DAG-C-REGULATOR-BRIDGE

RUN-106

狀態欄位

roundRUN-106
gatesrc108
DAG_CPASS
C_NTPASS
C_pPARTIAL
status · normalization_certificateCLOSED (architecture), frozen
status · DAG{'A': 'PASS (cited-theorem route)', 'B': 'PASS', 'C': 'PASS (C_NT PASS, C_p PARTIAL)', 'D-G': 'untouched'}
status · BSDOPEN

檔案

報告

載入中…