stored-checks.json

back to table · edit · history · where entries came from · files · download

1464 bytes, as of the version from 2026-10-25 19:33 (current). Recorded here, not run.

{
  "table": "T500",
  "sage": "10.9",
  "numberdb": "0.1.10",
  "range": {
    "n": [
      2,
      20
    ],
    "k": "1..n-1"
  },
  "working_bits": 397,
  "guard_bits": 64,
  "measurement": {
    "entries": 190,
    "longest": 136,
    "longest_at": [
      2,
      1
    ],
    "block_kb": 33.681640625
  },
  "largest_ball_radius": "4.2349018e-119",
  "exact_rational_rows": [],
  "independent_spline_comparisons": 190,
  "corpus_euler_polynomial_comparisons": 21,
  "favard_norm_comparisons": 20,
  "published_small_case_checks": 8,
  "oeis_displayed_digits_check": true,
  "finite_and_narrow_controls": true,
  "sturm_and_interval_negative_controls": true,
  "exact_in_disguise_remarks": [],
  "serialized_measurement": {
    "entries": 190,
    "longest": 101,
    "longest_at": [
      "2",
      "1"
    ],
    "block_kb": 26.9228515625
  },
  "local_serialized_intervals": {
    "entries": 190,
    "ordered_complete_triangle": true,
    "exact_endpoint_power_checks": 190,
    "largest_interval_width": "1/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
  },
  "stored": {
    "entries": 190,
    "ordered_complete_triangle": true,
    "exact_endpoint_power_checks": 190,
    "largest_interval_width": "1/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
  },
  "verify": "<VerifyReport T500: 190/190 matched, 0 differing, 0 missing, 0 extra>"
}