checks-results.json

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

6464 bytes, as of the version from 2026-10-28 22:35 (current). Recorded here, not run.

{
  "rectangles": [
    {
      "m": 2,
      "n": 2,
      "degree": 4,
      "distinct_roots": 4,
      "multiplicities": [
        1,
        1,
        1,
        1
      ],
      "brute_force": true,
      "even_subgraph_check": true,
      "reconstruction": true
    },
    {
      "m": 2,
      "n": 3,
      "degree": 6,
      "distinct_roots": 6,
      "multiplicities": [
        1,
        1,
        1,
        1,
        1,
        1
      ],
      "brute_force": true,
      "even_subgraph_check": true,
      "reconstruction": true
    },
    {
      "m": 2,
      "n": 4,
      "degree": 8,
      "distinct_roots": 8,
      "multiplicities": [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1
      ],
      "brute_force": true,
      "even_subgraph_check": true,
      "reconstruction": true
    },
    {
      "m": 2,
      "n": 5,
      "degree": 10,
      "distinct_roots": 10,
      "multiplicities": [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1
      ],
      "brute_force": true,
      "even_subgraph_check": true,
      "reconstruction": true
    },
    {
      "m": 2,
      "n": 6,
      "degree": 12,
      "distinct_roots": 12,
      "multiplicities": [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1
      ],
      "brute_force": true,
      "even_subgraph_check": true,
      "reconstruction": true
    },
    {
      "m": 3,
      "n": 3,
      "degree": 9,
      "distinct_roots": 9,
      "multiplicities": [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1
      ],
      "brute_force": true,
      "even_subgraph_check": true,
      "reconstruction": true
    },
    {
      "m": 3,
      "n": 4,
      "degree": 12,
      "distinct_roots": 12,
      "multiplicities": [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1
      ],
      "brute_force": true,
      "even_subgraph_check": true,
      "reconstruction": true
    },
    {
      "m": 3,
      "n": 5,
      "degree": 15,
      "distinct_roots": 15,
      "multiplicities": [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1
      ],
      "brute_force": true,
      "even_subgraph_check": true,
      "reconstruction": true
    },
    {
      "m": 3,
      "n": 6,
      "degree": 18,
      "distinct_roots": 18,
      "multiplicities": [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1
      ],
      "brute_force": false,
      "even_subgraph_check": true,
      "reconstruction": true
    },
    {
      "m": 4,
      "n": 4,
      "degree": 16,
      "distinct_roots": 16,
      "multiplicities": [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1
      ],
      "brute_force": true,
      "even_subgraph_check": true,
      "reconstruction": true
    },
    {
      "m": 4,
      "n": 5,
      "degree": 20,
      "distinct_roots": 20,
      "multiplicities": [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1
      ],
      "brute_force": false,
      "even_subgraph_check": true,
      "reconstruction": true
    },
    {
      "m": 4,
      "n": 6,
      "degree": 24,
      "distinct_roots": 24,
      "multiplicities": [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1
      ],
      "brute_force": false,
      "even_subgraph_check": true,
      "reconstruction": true
    },
    {
      "m": 5,
      "n": 5,
      "degree": 25,
      "distinct_roots": 25,
      "multiplicities": [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1
      ],
      "brute_force": false,
      "even_subgraph_check": true,
      "reconstruction": true
    },
    {
      "m": 5,
      "n": 6,
      "degree": 30,
      "distinct_roots": 30,
      "multiplicities": [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1
      ],
      "brute_force": false,
      "even_subgraph_check": true,
      "reconstruction": true
    },
    {
      "m": 6,
      "n": 6,
      "degree": 36,
      "distinct_roots": 36,
      "multiplicities": [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1
      ],
      "brute_force": false,
      "even_subgraph_check": true,
      "reconstruction": true
    }
  ],
  "minimum_relative_accuracy_bits": 442,
  "minimum_relative_decimal_digits": 133,
  "measure_raw_balls": {
    "entries": 245,
    "longest": 311,
    "longest_at": "4,6,13",
    "block_kb": 90.7626953125
  },
  "measure_serialized": {
    "entries": 245,
    "longest": 214,
    "longest_at": "3,5,8",
    "block_kb": 66.5810546875
  },
  "seconds": 7.132605314254761,
  "skill_manifest": "agents/runs/20261028T215936Z-build-skills/manifest.json",
  "skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
}