checks-evidence.json

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

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

{
  "table": "T514",
  "entries": 34,
  "digits": 100,
  "live": false,
  "records": [
    {
      "argument": "0",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 498,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "ai-zero-1",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 505,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "ai-zero-2",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 508,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "ai-zero-3",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 511,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "ai-zero-4",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 514,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "ai-zero-5",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 516,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "ai-zero-6",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 518,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "ai-zero-7",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 499,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "ai-zero-8",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 505,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "ai-zero-9",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 511,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "ai-zero-10",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 517,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "ai-zero-11",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 523,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "ai-zero-12",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 528,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "ai-zero-13",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 532,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "ai-zero-14",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 534,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "ai-zero-15",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 500,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "ai-zero-16",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 510,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "ai-zero-17",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 520,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "ai-zero-18",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 529,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "ai-zero-19",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 538,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "ai-zero-20",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 542,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "gi-critical-0",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 598,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "gi-critical-1",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 505,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "gi-critical-2",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 508,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "gi-critical-3",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 511,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "gi-critical-4",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 514,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "gi-critical-5",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 516,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "gi-critical-6",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 518,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "gi-critical-7",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 499,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "gi-critical-8",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 505,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "gi-critical-9",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 511,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "gi-critical-10",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 517,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "gi-critical-11",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 523,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    },
    {
      "argument": "gi-critical-12",
      "generator_interval_contained": true,
      "quadrature_interval_contained": true,
      "quadrature_accuracy_bits": 528,
      "mpmath_decimal_precisions": [
        150,
        200
      ]
    }
  ],
  "versions": {
    "python-flint": "0.6.0",
    "mpmath": "1.3.0"
  },
  "source_sha256": {
    "scorer.py": "645af7bd3e3f206105946773bba40da3f841c4135dee11e188a23043ab1ed773",
    "scorer_checks.py": "091d77d7536cd5787e62930e4a49aaaf80dc8e5435fd8489aaafa6cb95645a4d"
  }
}