← AMRAL · BSD Conjecture · Layer 2 · Recomputation · package

DAG-C-REGULATOR-BRIDGE

RUN-106

Status fields

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

Files

Report

Loading…