collatz/Research/KorecLogWindowProbe.json at main · Chessing234/collatz · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
{
  "all_checks_passed": true,
  "scan_semantics_checks": 24696,
  "finite_success_counts": [
    {
      "numerator": 3,
      "denominator": 4,
      "in_recorded_korec_range": false,
      "maximum_observed_success_time": 16,
      "counts": [
        {
          "cutoff_exclusive": 1000,
          "successes": 548
        },
        {
          "cutoff_exclusive": 10000,
          "successes": 5247
        },
        {
          "cutoff_exclusive": 100000,
          "successes": 50326
        }
      ]
    },
    {
      "numerator": 4,
      "denominator": 5,
      "in_recorded_korec_range": true,
      "maximum_observed_success_time": 16,
      "counts": [
        {
          "cutoff_exclusive": 1000,
          "successes": 622
        },
        {
          "cutoff_exclusive": 10000,
          "successes": 6183
        },
        {
          "cutoff_exclusive": 100000,
          "successes": 62662
        }
      ]
    },
    {
      "numerator": 23,
      "denominator": 29,
      "in_recorded_korec_range": true,
      "maximum_observed_success_time": 16,
      "counts": [
        {
          "cutoff_exclusive": 1000,
          "successes": 602
        },
        {
          "cutoff_exclusive": 10000,
          "successes": 5946
        },
        {
          "cutoff_exclusive": 100000,
          "successes": 59308
        }
      ]
    },
    {
      "numerator": 1,
      "denominator": 1,
      "in_recorded_korec_range": true,
      "maximum_observed_success_time": 16,
      "counts": [
        {
          "cutoff_exclusive": 1000,
          "successes": 912
        },
        {
          "cutoff_exclusive": 10000,
          "successes": 9410
        },
        {
          "cutoff_exclusive": 100000,
          "successes": 95979
        }
      ]
    }
  ],
  "failed_window_with_later_success": {
    "start": 3,
    "log_window": 1,
    "later_hit": 4
  },
  "proves_universal_success": false
}