← Lebesgue 萬有覆蓋問題 / 二 · 計算與重現 / Round 34 · RHCert 起源
格式、兩份證書、大小(§11–12 的「約 8.1 MiB」「約 7.6 MiB」實為 8.02 與 7.54)、cell 68 的下界、標記 68 的上界、階段計數,以及 cell 47、48 的晉升 PASS;標記 68 的 MPFR 重播與晉升的 MPFR 條件 UNMEASURED。
判定:格式、兩份證書、大小(§11–12 的「約 8.1 MiB」「約 7.6 MiB」實為 8.02 與 7.54)、cell 68 的下界、標記 68 的上界、階段計數,以及 cell 47、48 的晉升 PASS;標記 68 的 MPFR 重播與晉升的 MPFR 條件 UNMEASURED。
展開後載入…