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

DAG-D-RECIPROCITY

RUN-107

Status fields

roundRUN-107
gatesrc109
DAG_DPASS
D_rationalISOMORPHISM
D_integralINDEX_11
schneider_dependencyNONE
status · normalization_certificateCLOSED (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 · BSDOPEN

Files

Report

Loading…