checks-evidence.json

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

5132 bytes, as of the version from 2026-10-27 01:02 (current). Recorded here, not run.

{
  "tid": "T176",
  "entries": 13,
  "python_flint": "0.6.0",
  "mpmath": "1.3.0",
  "working_bits": 493,
  "minimum_certified_accuracy_bits": 463,
  "identity_checks": 7,
  "exact_rows": 0,
  "nonzero_control_passed": true,
  "records": [
    {
      "parameters": {
        "s": "2",
        "x": "1"
      },
      "number": "1.644934066848226436472415166646025189218949901206798437735558229370007470403200873833628900619758705",
      "certified_accuracy_bits": 493,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "2",
        "x": "-1"
      },
      "number": "-0.8224670334241132182362075833230125946094749506033992188677791146850037352016004369168144503098793527",
      "certified_accuracy_bits": 491,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "2",
        "x": "1/2"
      },
      "number": "0.5822405264650125059026563201596801087441984748061264254343470478731710440716832008168403185879158572",
      "certified_accuracy_bits": 491,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "2",
        "x": "1/4"
      },
      "number": "0.2676526390827326069191838284878115758198570669138545938652013531126933436319257768539503068025250930",
      "certified_accuracy_bits": 491,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "2",
        "x": "-1/2"
      },
      "number": "-0.4484142069236462024430644059157743208342699413491991285017463713168243722557203123898651651866533107",
      "certified_accuracy_bits": 491,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "2",
        "x": "1/3"
      },
      "number": "0.3662132299770634876167462976642627638020634155896782205109153133448785067521492485652493476090744827",
      "certified_accuracy_bits": 490,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "2",
        "x": "1/9"
      },
      "number": "0.1143602069785100305994265765428921179929440377536944324111022613874716145144789981827825861863388190",
      "certified_accuracy_bits": 490,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "3",
        "x": "1"
      },
      "number": "1.202056903159594285399738161511449990764986292340498881792271555341838205786313090186455873609335258",
      "certified_accuracy_bits": 491,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "3",
        "x": "-1"
      },
      "number": "-0.9015426773696957140498036211335874930737397192553741613442036665063786543397348176398419052070014436",
      "certified_accuracy_bits": 478,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "3",
        "x": "1/2"
      },
      "number": "0.5372131936080402009406232255949658266704024993403781706897619307183240809201383973304123599754396700",
      "certified_accuracy_bits": 470,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "4",
        "x": "1"
      },
      "number": "1.082323233711138191516003696541167902774750951918726907682976215444120616186968846556909635941699917",
      "certified_accuracy_bits": 494,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "4",
        "x": "-1"
      },
      "number": "-0.9470328294972459175765032344735219149279070829288860442226041885136055391635977407372959314489874276",
      "certified_accuracy_bits": 474,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "4",
        "x": "1/2"
      },
      "number": "0.5174790616738993863307581618988629456223774751413792582443193479770082815818649769364857778265609006",
      "certified_accuracy_bits": 463,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    }
  ]
}