[
  {
    "name": "hash3_0",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "max",
        "max",
        "min"
      ],
      "edges": [
        [
          0,
          0,
          -1
        ],
        [
          0,
          1,
          -1
        ],
        [
          0,
          2,
          -2
        ],
        [
          1,
          0,
          1
        ],
        [
          1,
          1,
          -2
        ],
        [
          1,
          2,
          2
        ],
        [
          2,
          0,
          0
        ],
        [
          2,
          1,
          -1
        ],
        [
          2,
          2,
          -1
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "4096",
      "transformed_max_weight": "9",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "unknown",
      "reason": "work_limit",
      "winning_vertices": null,
      "counts": {
        "work": 199992,
        "calls": 531,
        "nonbase_calls": 1,
        "mass_base_calls": 0,
        "width_base_calls": 530,
        "operator_evaluations": 16401,
        "edge_scans": 147609,
        "pivot_updates": 529,
        "max_depth": 1
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "0",
        "0",
        "-1"
      ],
      "winning_vertices": [
        0,
        1
      ],
      "max_edges": {
        "0": 1,
        "1": 3
      },
      "min_edges": {
        "2": 8
      },
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [
        0,
        1
      ],
      "checks": [
        {
          "player": "max",
          "vertices": [
            0,
            1
          ],
          "distance_potential": {
            "0": "0",
            "1": "-1"
          },
          "retained_edges": 2
        },
        {
          "player": "min",
          "vertices": [
            2
          ],
          "distance_potential": {
            "2": "0"
          },
          "retained_edges": 1
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 27059167,
      "exhaustive_oracle": 134792
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_1",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "max",
        "min",
        "min"
      ],
      "edges": [
        [
          0,
          0,
          -2
        ],
        [
          0,
          1,
          -1
        ],
        [
          0,
          2,
          0
        ],
        [
          1,
          0,
          0
        ],
        [
          1,
          1,
          -2
        ],
        [
          1,
          2,
          -2
        ],
        [
          2,
          0,
          2
        ],
        [
          2,
          1,
          0
        ],
        [
          2,
          2,
          0
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "4096",
      "transformed_max_weight": "9",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "complete_labels_source_conditional",
      "winning_vertices": [],
      "counts": {
        "work": 176169,
        "calls": 4645,
        "nonbase_calls": 9,
        "mass_base_calls": 515,
        "width_base_calls": 4121,
        "operator_evaluations": 12363,
        "edge_scans": 111267,
        "pivot_updates": 4626,
        "max_depth": 9
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "-2",
        "-2",
        "-2"
      ],
      "winning_vertices": [],
      "max_edges": {},
      "min_edges": {
        "1": 4,
        "2": 7
      },
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [],
      "checks": [
        {
          "player": "max",
          "vertices": [],
          "distance_potential": {},
          "retained_edges": 0
        },
        {
          "player": "min",
          "vertices": [
            0,
            1,
            2
          ],
          "distance_potential": {
            "0": "0",
            "1": "-2",
            "2": "-1"
          },
          "retained_edges": 5
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 33707709,
      "exhaustive_oracle": 132625
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_2",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "max",
        "max",
        "max"
      ],
      "edges": [
        [
          0,
          0,
          0
        ],
        [
          0,
          1,
          0
        ],
        [
          0,
          2,
          2
        ],
        [
          1,
          0,
          -2
        ],
        [
          1,
          1,
          2
        ],
        [
          1,
          2,
          2
        ],
        [
          2,
          0,
          1
        ],
        [
          2,
          1,
          0
        ],
        [
          2,
          2,
          1
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "4096",
      "transformed_max_weight": "9",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "unknown",
      "reason": "work_limit",
      "winning_vertices": null,
      "counts": {
        "work": 199998,
        "calls": 2432,
        "nonbase_calls": 5,
        "mass_base_calls": 0,
        "width_base_calls": 2427,
        "operator_evaluations": 15453,
        "edge_scans": 139077,
        "pivot_updates": 2422,
        "max_depth": 5
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "2",
        "2",
        "2"
      ],
      "winning_vertices": [
        0,
        1,
        2
      ],
      "max_edges": {
        "0": 1,
        "1": 4,
        "2": 6
      },
      "min_edges": {},
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [
        0,
        1,
        2
      ],
      "checks": [
        {
          "player": "max",
          "vertices": [
            0,
            1,
            2
          ],
          "distance_potential": {
            "0": "0",
            "1": "0",
            "2": "0"
          },
          "retained_edges": 3
        },
        {
          "player": "min",
          "vertices": [],
          "distance_potential": {},
          "retained_edges": 0
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 30527334,
      "exhaustive_oracle": 131292
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_3",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "max",
        "max",
        "max"
      ],
      "edges": [
        [
          0,
          0,
          0
        ],
        [
          0,
          1,
          -1
        ],
        [
          0,
          2,
          -1
        ],
        [
          1,
          0,
          0
        ],
        [
          1,
          1,
          -1
        ],
        [
          1,
          2,
          0
        ],
        [
          2,
          0,
          -1
        ],
        [
          2,
          1,
          -2
        ],
        [
          2,
          2,
          -1
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "2048",
      "transformed_max_weight": "7",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "complete_labels_source_conditional",
      "winning_vertices": [
        0,
        1,
        2
      ],
      "counts": {
        "work": 24603,
        "calls": 1,
        "nonbase_calls": 0,
        "mass_base_calls": 0,
        "width_base_calls": 1,
        "operator_evaluations": 2050,
        "edge_scans": 18450,
        "pivot_updates": 0,
        "max_depth": 0
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "0",
        "0",
        "0"
      ],
      "winning_vertices": [
        0,
        1,
        2
      ],
      "max_edges": {
        "0": 0,
        "1": 3,
        "2": 6
      },
      "min_edges": {},
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [
        0,
        1,
        2
      ],
      "checks": [
        {
          "player": "max",
          "vertices": [
            0,
            1,
            2
          ],
          "distance_potential": {
            "0": "-1",
            "1": "0",
            "2": "0"
          },
          "retained_edges": 3
        },
        {
          "player": "min",
          "vertices": [],
          "distance_potential": {},
          "retained_edges": 0
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 3041250,
      "exhaustive_oracle": 124834
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_4",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "max",
        "max",
        "min"
      ],
      "edges": [
        [
          0,
          0,
          2
        ],
        [
          0,
          1,
          1
        ],
        [
          0,
          2,
          2
        ],
        [
          1,
          0,
          2
        ],
        [
          1,
          1,
          2
        ],
        [
          1,
          2,
          1
        ],
        [
          2,
          0,
          0
        ],
        [
          2,
          1,
          1
        ],
        [
          2,
          2,
          1
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "4096",
      "transformed_max_weight": "9",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "unknown",
      "reason": "work_limit",
      "winning_vertices": null,
      "counts": {
        "work": 199992,
        "calls": 1632,
        "nonbase_calls": 4,
        "mass_base_calls": 0,
        "width_base_calls": 1628,
        "operator_evaluations": 15852,
        "edge_scans": 142668,
        "pivot_updates": 1624,
        "max_depth": 4
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "2",
        "2",
        "1"
      ],
      "winning_vertices": [
        0,
        1,
        2
      ],
      "max_edges": {
        "0": 0,
        "1": 3
      },
      "min_edges": {},
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [
        0,
        1,
        2
      ],
      "checks": [
        {
          "player": "max",
          "vertices": [
            0,
            1,
            2
          ],
          "distance_potential": {
            "0": "0",
            "1": "0",
            "2": "0"
          },
          "retained_edges": 5
        },
        {
          "player": "min",
          "vertices": [],
          "distance_potential": {},
          "retained_edges": 0
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 29468833,
      "exhaustive_oracle": 119459
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_5",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "max",
        "min",
        "max"
      ],
      "edges": [
        [
          0,
          0,
          1
        ],
        [
          0,
          1,
          -2
        ],
        [
          0,
          2,
          0
        ],
        [
          1,
          0,
          -2
        ],
        [
          1,
          1,
          -1
        ],
        [
          1,
          2,
          -1
        ],
        [
          2,
          0,
          -2
        ],
        [
          2,
          1,
          1
        ],
        [
          2,
          2,
          1
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "2048",
      "transformed_max_weight": "7",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "complete_labels_source_conditional",
      "winning_vertices": [
        0,
        2
      ],
      "counts": {
        "work": 4935,
        "calls": 1,
        "nonbase_calls": 0,
        "mass_base_calls": 0,
        "width_base_calls": 1,
        "operator_evaluations": 411,
        "edge_scans": 3699,
        "pivot_updates": 0,
        "max_depth": 0
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "1",
        "-1",
        "1"
      ],
      "winning_vertices": [
        0,
        2
      ],
      "max_edges": {
        "0": 0,
        "2": 6
      },
      "min_edges": {
        "1": 4
      },
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [
        0,
        2
      ],
      "checks": [
        {
          "player": "max",
          "vertices": [
            0,
            2
          ],
          "distance_potential": {
            "0": "-2",
            "2": "0"
          },
          "retained_edges": 2
        },
        {
          "player": "min",
          "vertices": [
            1
          ],
          "distance_potential": {
            "1": "0"
          },
          "retained_edges": 1
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 626417,
      "exhaustive_oracle": 131292
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_6",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "max",
        "max",
        "min"
      ],
      "edges": [
        [
          0,
          0,
          2
        ],
        [
          0,
          1,
          2
        ],
        [
          0,
          2,
          -1
        ],
        [
          1,
          0,
          0
        ],
        [
          1,
          1,
          0
        ],
        [
          1,
          2,
          0
        ],
        [
          2,
          0,
          0
        ],
        [
          2,
          1,
          0
        ],
        [
          2,
          2,
          0
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "4096",
      "transformed_max_weight": "9",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "unknown",
      "reason": "work_limit",
      "winning_vertices": null,
      "counts": {
        "work": 199992,
        "calls": 499,
        "nonbase_calls": 1,
        "mass_base_calls": 0,
        "width_base_calls": 498,
        "operator_evaluations": 16417,
        "edge_scans": 147753,
        "pivot_updates": 497,
        "max_depth": 1
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "2",
        "2",
        "0"
      ],
      "winning_vertices": [
        0,
        1,
        2
      ],
      "max_edges": {
        "0": 0,
        "1": 3
      },
      "min_edges": {},
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [
        0,
        1,
        2
      ],
      "checks": [
        {
          "player": "max",
          "vertices": [
            0,
            1,
            2
          ],
          "distance_potential": {
            "0": "0",
            "1": "0",
            "2": "0"
          },
          "retained_edges": 5
        },
        {
          "player": "min",
          "vertices": [],
          "distance_potential": {},
          "retained_edges": 0
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 25710125,
      "exhaustive_oracle": 142333
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_7",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "max",
        "min",
        "max"
      ],
      "edges": [
        [
          0,
          0,
          1
        ],
        [
          0,
          1,
          2
        ],
        [
          0,
          2,
          2
        ],
        [
          1,
          0,
          2
        ],
        [
          1,
          1,
          -1
        ],
        [
          1,
          2,
          1
        ],
        [
          2,
          0,
          -1
        ],
        [
          2,
          1,
          2
        ],
        [
          2,
          2,
          -2
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "4096",
      "transformed_max_weight": "9",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "unknown",
      "reason": "work_limit",
      "winning_vertices": null,
      "counts": {
        "work": 199992,
        "calls": 1916,
        "nonbase_calls": 2,
        "mass_base_calls": 0,
        "width_base_calls": 1914,
        "operator_evaluations": 15709,
        "edge_scans": 141381,
        "pivot_updates": 1912,
        "max_depth": 2
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "1",
        "-1",
        "1"
      ],
      "winning_vertices": [
        0,
        2
      ],
      "max_edges": {
        "0": 0,
        "2": 6
      },
      "min_edges": {
        "1": 4
      },
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [
        0,
        2
      ],
      "checks": [
        {
          "player": "max",
          "vertices": [
            0,
            2
          ],
          "distance_potential": {
            "0": "-1",
            "2": "0"
          },
          "retained_edges": 2
        },
        {
          "player": "min",
          "vertices": [
            1
          ],
          "distance_potential": {
            "1": "0"
          },
          "retained_edges": 1
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 29026500,
      "exhaustive_oracle": 134542
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_8",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "min",
        "max",
        "max"
      ],
      "edges": [
        [
          0,
          0,
          0
        ],
        [
          0,
          1,
          0
        ],
        [
          0,
          2,
          -1
        ],
        [
          1,
          0,
          1
        ],
        [
          1,
          1,
          -1
        ],
        [
          1,
          2,
          -2
        ],
        [
          2,
          0,
          0
        ],
        [
          2,
          1,
          1
        ],
        [
          2,
          2,
          0
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "2048",
      "transformed_max_weight": "7",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "complete_labels_source_conditional",
      "winning_vertices": [
        0,
        1,
        2
      ],
      "counts": {
        "work": 24567,
        "calls": 1,
        "nonbase_calls": 0,
        "mass_base_calls": 0,
        "width_base_calls": 1,
        "operator_evaluations": 2047,
        "edge_scans": 18423,
        "pivot_updates": 0,
        "max_depth": 0
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "0",
        "0",
        "0"
      ],
      "winning_vertices": [
        0,
        1,
        2
      ],
      "max_edges": {
        "1": 3,
        "2": 7
      },
      "min_edges": {},
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [
        0,
        1,
        2
      ],
      "checks": [
        {
          "player": "max",
          "vertices": [
            0,
            1,
            2
          ],
          "distance_potential": {
            "0": "0",
            "1": "0",
            "2": "-1"
          },
          "retained_edges": 5
        },
        {
          "player": "min",
          "vertices": [],
          "distance_potential": {},
          "retained_edges": 0
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 3140750,
      "exhaustive_oracle": 129292
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_9",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "max",
        "max",
        "min"
      ],
      "edges": [
        [
          0,
          0,
          -2
        ],
        [
          0,
          1,
          0
        ],
        [
          0,
          2,
          -2
        ],
        [
          1,
          0,
          0
        ],
        [
          1,
          1,
          0
        ],
        [
          1,
          2,
          0
        ],
        [
          2,
          0,
          -2
        ],
        [
          2,
          1,
          2
        ],
        [
          2,
          2,
          1
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "4096",
      "transformed_max_weight": "9",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "unknown",
      "reason": "work_limit",
      "winning_vertices": null,
      "counts": {
        "work": 199992,
        "calls": 485,
        "nonbase_calls": 1,
        "mass_base_calls": 0,
        "width_base_calls": 484,
        "operator_evaluations": 16424,
        "edge_scans": 147816,
        "pivot_updates": 483,
        "max_depth": 1
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "0",
        "0",
        "0"
      ],
      "winning_vertices": [
        0,
        1,
        2
      ],
      "max_edges": {
        "0": 1,
        "1": 3
      },
      "min_edges": {},
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [
        0,
        1,
        2
      ],
      "checks": [
        {
          "player": "max",
          "vertices": [
            0,
            1,
            2
          ],
          "distance_potential": {
            "0": "-2",
            "1": "-2",
            "2": "0"
          },
          "retained_edges": 5
        },
        {
          "player": "min",
          "vertices": [],
          "distance_potential": {},
          "retained_edges": 0
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 26158458,
      "exhaustive_oracle": 128250
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_10",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "max",
        "min",
        "min"
      ],
      "edges": [
        [
          0,
          0,
          2
        ],
        [
          0,
          1,
          1
        ],
        [
          0,
          2,
          1
        ],
        [
          1,
          0,
          2
        ],
        [
          1,
          1,
          0
        ],
        [
          1,
          2,
          2
        ],
        [
          2,
          0,
          -2
        ],
        [
          2,
          1,
          1
        ],
        [
          2,
          2,
          2
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "4096",
      "transformed_max_weight": "9",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "unknown",
      "reason": "work_limit",
      "winning_vertices": null,
      "counts": {
        "work": 199992,
        "calls": 499,
        "nonbase_calls": 1,
        "mass_base_calls": 0,
        "width_base_calls": 498,
        "operator_evaluations": 16417,
        "edge_scans": 147753,
        "pivot_updates": 497,
        "max_depth": 1
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "2",
        "0",
        "0"
      ],
      "winning_vertices": [
        0,
        1,
        2
      ],
      "max_edges": {
        "0": 0
      },
      "min_edges": {},
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [
        0,
        1,
        2
      ],
      "checks": [
        {
          "player": "max",
          "vertices": [
            0,
            1,
            2
          ],
          "distance_potential": {
            "0": "-2",
            "1": "0",
            "2": "0"
          },
          "retained_edges": 7
        },
        {
          "player": "min",
          "vertices": [],
          "distance_potential": {},
          "retained_edges": 0
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 26760917,
      "exhaustive_oracle": 119500
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_11",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "max",
        "min",
        "min"
      ],
      "edges": [
        [
          0,
          0,
          2
        ],
        [
          0,
          1,
          -2
        ],
        [
          0,
          2,
          -2
        ],
        [
          1,
          0,
          2
        ],
        [
          1,
          1,
          1
        ],
        [
          1,
          2,
          -2
        ],
        [
          2,
          0,
          -1
        ],
        [
          2,
          1,
          -2
        ],
        [
          2,
          2,
          1
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "4096",
      "transformed_max_weight": "9",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "unknown",
      "reason": "work_limit",
      "winning_vertices": null,
      "counts": {
        "work": 199998,
        "calls": 2952,
        "nonbase_calls": 3,
        "mass_base_calls": 0,
        "width_base_calls": 2949,
        "operator_evaluations": 15192,
        "edge_scans": 136728,
        "pivot_updates": 2946,
        "max_depth": 3
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "2",
        "-2",
        "-2"
      ],
      "winning_vertices": [
        0
      ],
      "max_edges": {
        "0": 0
      },
      "min_edges": {
        "1": 5,
        "2": 7
      },
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [
        0
      ],
      "checks": [
        {
          "player": "max",
          "vertices": [
            0
          ],
          "distance_potential": {
            "0": "0"
          },
          "retained_edges": 1
        },
        {
          "player": "min",
          "vertices": [
            1,
            2
          ],
          "distance_potential": {
            "1": "0",
            "2": "0"
          },
          "retained_edges": 2
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 32687708,
      "exhaustive_oracle": 153667
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_12",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "max",
        "min",
        "min"
      ],
      "edges": [
        [
          0,
          0,
          -2
        ],
        [
          0,
          1,
          0
        ],
        [
          0,
          2,
          -2
        ],
        [
          1,
          0,
          0
        ],
        [
          1,
          1,
          -2
        ],
        [
          1,
          2,
          2
        ],
        [
          2,
          0,
          2
        ],
        [
          2,
          1,
          2
        ],
        [
          2,
          2,
          0
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "4096",
      "transformed_max_weight": "9",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "unknown",
      "reason": "work_limit",
      "winning_vertices": null,
      "counts": {
        "work": 199992,
        "calls": 1453,
        "nonbase_calls": 3,
        "mass_base_calls": 0,
        "width_base_calls": 1450,
        "operator_evaluations": 15941,
        "edge_scans": 143469,
        "pivot_updates": 1447,
        "max_depth": 3
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "-2",
        "-2",
        "-2"
      ],
      "winning_vertices": [],
      "max_edges": {},
      "min_edges": {
        "1": 4,
        "2": 7
      },
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [],
      "checks": [
        {
          "player": "max",
          "vertices": [],
          "distance_potential": {},
          "retained_edges": 0
        },
        {
          "player": "min",
          "vertices": [
            0,
            1,
            2
          ],
          "distance_potential": {
            "0": "0",
            "1": "-9",
            "2": "0"
          },
          "retained_edges": 5
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 31214875,
      "exhaustive_oracle": 138584
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_13",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "min",
        "min",
        "min"
      ],
      "edges": [
        [
          0,
          0,
          -2
        ],
        [
          0,
          1,
          -2
        ],
        [
          0,
          2,
          0
        ],
        [
          1,
          0,
          0
        ],
        [
          1,
          1,
          0
        ],
        [
          1,
          2,
          2
        ],
        [
          2,
          0,
          2
        ],
        [
          2,
          1,
          -2
        ],
        [
          2,
          2,
          -2
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "4096",
      "transformed_max_weight": "9",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "complete_labels_source_conditional",
      "winning_vertices": [],
      "counts": {
        "work": 126717,
        "calls": 4645,
        "nonbase_calls": 9,
        "mass_base_calls": 515,
        "width_base_calls": 4121,
        "operator_evaluations": 8242,
        "edge_scans": 74178,
        "pivot_updates": 4626,
        "max_depth": 9
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "-2",
        "-2",
        "-2"
      ],
      "winning_vertices": [],
      "max_edges": {},
      "min_edges": {
        "0": 0,
        "1": 3,
        "2": 6
      },
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [],
      "checks": [
        {
          "player": "max",
          "vertices": [],
          "distance_potential": {},
          "retained_edges": 0
        },
        {
          "player": "min",
          "vertices": [
            0,
            1,
            2
          ],
          "distance_potential": {
            "0": "-9",
            "1": "0",
            "2": "0"
          },
          "retained_edges": 3
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 28651333,
      "exhaustive_oracle": 148375
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_14",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "min",
        "min",
        "min"
      ],
      "edges": [
        [
          0,
          0,
          -1
        ],
        [
          0,
          1,
          -2
        ],
        [
          0,
          2,
          -2
        ],
        [
          1,
          0,
          0
        ],
        [
          1,
          1,
          0
        ],
        [
          1,
          2,
          1
        ],
        [
          2,
          0,
          1
        ],
        [
          2,
          1,
          -2
        ],
        [
          2,
          2,
          -2
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "2048",
      "transformed_max_weight": "7",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "complete_labels_source_conditional",
      "winning_vertices": [],
      "counts": {
        "work": 27,
        "calls": 1,
        "nonbase_calls": 0,
        "mass_base_calls": 0,
        "width_base_calls": 1,
        "operator_evaluations": 2,
        "edge_scans": 18,
        "pivot_updates": 0,
        "max_depth": 0
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "-2",
        "-2",
        "-2"
      ],
      "winning_vertices": [],
      "max_edges": {},
      "min_edges": {
        "0": 1,
        "1": 5,
        "2": 8
      },
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [],
      "checks": [
        {
          "player": "max",
          "vertices": [],
          "distance_potential": {},
          "retained_edges": 0
        },
        {
          "player": "min",
          "vertices": [
            0,
            1,
            2
          ],
          "distance_potential": {
            "0": "0",
            "1": "0",
            "2": "-5"
          },
          "retained_edges": 3
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 26166,
      "exhaustive_oracle": 141666
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_15",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "min",
        "min",
        "max"
      ],
      "edges": [
        [
          0,
          0,
          -2
        ],
        [
          0,
          1,
          -2
        ],
        [
          0,
          2,
          2
        ],
        [
          1,
          0,
          -2
        ],
        [
          1,
          1,
          2
        ],
        [
          1,
          2,
          0
        ],
        [
          2,
          0,
          -2
        ],
        [
          2,
          1,
          -1
        ],
        [
          2,
          2,
          0
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "4096",
      "transformed_max_weight": "9",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "unknown",
      "reason": "work_limit",
      "winning_vertices": null,
      "counts": {
        "work": 199992,
        "calls": 499,
        "nonbase_calls": 1,
        "mass_base_calls": 0,
        "width_base_calls": 498,
        "operator_evaluations": 16417,
        "edge_scans": 147753,
        "pivot_updates": 497,
        "max_depth": 1
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "-2",
        "-2",
        "0"
      ],
      "winning_vertices": [
        2
      ],
      "max_edges": {
        "2": 8
      },
      "min_edges": {
        "0": 0,
        "1": 3
      },
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [
        2
      ],
      "checks": [
        {
          "player": "max",
          "vertices": [
            2
          ],
          "distance_potential": {
            "2": "0"
          },
          "retained_edges": 1
        },
        {
          "player": "min",
          "vertices": [
            0,
            1
          ],
          "distance_potential": {
            "0": "0",
            "1": "0"
          },
          "retained_edges": 2
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 26662250,
      "exhaustive_oracle": 126292
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_16",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "min",
        "min",
        "max"
      ],
      "edges": [
        [
          0,
          0,
          0
        ],
        [
          0,
          1,
          0
        ],
        [
          0,
          2,
          1
        ],
        [
          1,
          0,
          1
        ],
        [
          1,
          1,
          2
        ],
        [
          1,
          2,
          2
        ],
        [
          2,
          0,
          2
        ],
        [
          2,
          1,
          0
        ],
        [
          2,
          2,
          1
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "4096",
      "transformed_max_weight": "9",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "unknown",
      "reason": "work_limit",
      "winning_vertices": null,
      "counts": {
        "work": 199992,
        "calls": 499,
        "nonbase_calls": 1,
        "mass_base_calls": 0,
        "width_base_calls": 498,
        "operator_evaluations": 16417,
        "edge_scans": 147753,
        "pivot_updates": 497,
        "max_depth": 1
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "0",
        "0",
        "1"
      ],
      "winning_vertices": [
        0,
        1,
        2
      ],
      "max_edges": {
        "2": 8
      },
      "min_edges": {},
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [
        0,
        1,
        2
      ],
      "checks": [
        {
          "player": "max",
          "vertices": [
            0,
            1,
            2
          ],
          "distance_potential": {
            "0": "0",
            "1": "0",
            "2": "0"
          },
          "retained_edges": 7
        },
        {
          "player": "min",
          "vertices": [],
          "distance_potential": {},
          "retained_edges": 0
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 26465458,
      "exhaustive_oracle": 129292
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_17",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "max",
        "min",
        "max"
      ],
      "edges": [
        [
          0,
          0,
          0
        ],
        [
          0,
          1,
          0
        ],
        [
          0,
          2,
          -1
        ],
        [
          1,
          0,
          -2
        ],
        [
          1,
          1,
          -1
        ],
        [
          1,
          2,
          -2
        ],
        [
          2,
          0,
          0
        ],
        [
          2,
          1,
          2
        ],
        [
          2,
          2,
          2
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "4096",
      "transformed_max_weight": "9",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "unknown",
      "reason": "work_limit",
      "winning_vertices": null,
      "counts": {
        "work": 199998,
        "calls": 1733,
        "nonbase_calls": 2,
        "mass_base_calls": 0,
        "width_base_calls": 1731,
        "operator_evaluations": 15801,
        "edge_scans": 142209,
        "pivot_updates": 1729,
        "max_depth": 2
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "2",
        "-1",
        "2"
      ],
      "winning_vertices": [
        0,
        2
      ],
      "max_edges": {
        "0": 2,
        "2": 8
      },
      "min_edges": {
        "1": 4
      },
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [
        0,
        2
      ],
      "checks": [
        {
          "player": "max",
          "vertices": [
            0,
            2
          ],
          "distance_potential": {
            "0": "0",
            "2": "-1"
          },
          "retained_edges": 2
        },
        {
          "player": "min",
          "vertices": [
            1
          ],
          "distance_potential": {
            "1": "0"
          },
          "retained_edges": 1
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 28779125,
      "exhaustive_oracle": 121417
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_18",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "max",
        "min",
        "min"
      ],
      "edges": [
        [
          0,
          0,
          1
        ],
        [
          0,
          1,
          -2
        ],
        [
          0,
          2,
          2
        ],
        [
          1,
          0,
          -2
        ],
        [
          1,
          1,
          -2
        ],
        [
          1,
          2,
          -1
        ],
        [
          2,
          0,
          -2
        ],
        [
          2,
          1,
          2
        ],
        [
          2,
          2,
          0
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "4096",
      "transformed_max_weight": "9",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "unknown",
      "reason": "work_limit",
      "winning_vertices": null,
      "counts": {
        "work": 199992,
        "calls": 1550,
        "nonbase_calls": 2,
        "mass_base_calls": 0,
        "width_base_calls": 1548,
        "operator_evaluations": 15892,
        "edge_scans": 143028,
        "pivot_updates": 1546,
        "max_depth": 2
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "1",
        "-2",
        "-2"
      ],
      "winning_vertices": [
        0
      ],
      "max_edges": {
        "0": 0
      },
      "min_edges": {
        "1": 4,
        "2": 7
      },
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [
        0
      ],
      "checks": [
        {
          "player": "max",
          "vertices": [
            0
          ],
          "distance_potential": {
            "0": "0"
          },
          "retained_edges": 1
        },
        {
          "player": "min",
          "vertices": [
            1,
            2
          ],
          "distance_potential": {
            "1": "-9",
            "2": "0"
          },
          "retained_edges": 2
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 28859209,
      "exhaustive_oracle": 136042
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_19",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "max",
        "max",
        "min"
      ],
      "edges": [
        [
          0,
          0,
          2
        ],
        [
          0,
          1,
          -1
        ],
        [
          0,
          2,
          -1
        ],
        [
          1,
          0,
          -2
        ],
        [
          1,
          1,
          -2
        ],
        [
          1,
          2,
          -2
        ],
        [
          2,
          0,
          -1
        ],
        [
          2,
          1,
          0
        ],
        [
          2,
          2,
          -2
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "4096",
      "transformed_max_weight": "9",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "unknown",
      "reason": "work_limit",
      "winning_vertices": null,
      "counts": {
        "work": 199992,
        "calls": 2499,
        "nonbase_calls": 3,
        "mass_base_calls": 0,
        "width_base_calls": 2496,
        "operator_evaluations": 15418,
        "edge_scans": 138762,
        "pivot_updates": 2493,
        "max_depth": 3
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "2",
        "2",
        "-2"
      ],
      "winning_vertices": [
        0,
        1
      ],
      "max_edges": {
        "0": 0,
        "1": 3
      },
      "min_edges": {
        "2": 8
      },
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [
        0,
        1
      ],
      "checks": [
        {
          "player": "max",
          "vertices": [
            0,
            1
          ],
          "distance_potential": {
            "0": "-2",
            "1": "0"
          },
          "retained_edges": 2
        },
        {
          "player": "min",
          "vertices": [
            2
          ],
          "distance_potential": {
            "2": "0"
          },
          "retained_edges": 1
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 30844458,
      "exhaustive_oracle": 122959
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_20",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "max",
        "max",
        "min"
      ],
      "edges": [
        [
          0,
          0,
          0
        ],
        [
          0,
          1,
          -1
        ],
        [
          0,
          2,
          -1
        ],
        [
          1,
          0,
          -1
        ],
        [
          1,
          1,
          -2
        ],
        [
          1,
          2,
          -2
        ],
        [
          2,
          0,
          1
        ],
        [
          2,
          1,
          -2
        ],
        [
          2,
          2,
          -2
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "2048",
      "transformed_max_weight": "7",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "complete_labels_source_conditional",
      "winning_vertices": [
        0,
        1
      ],
      "counts": {
        "work": 24603,
        "calls": 1,
        "nonbase_calls": 0,
        "mass_base_calls": 0,
        "width_base_calls": 1,
        "operator_evaluations": 2050,
        "edge_scans": 18450,
        "pivot_updates": 0,
        "max_depth": 0
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "0",
        "0",
        "-2"
      ],
      "winning_vertices": [
        0,
        1
      ],
      "max_edges": {
        "0": 0,
        "1": 3
      },
      "min_edges": {
        "2": 8
      },
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [
        0,
        1
      ],
      "checks": [
        {
          "player": "max",
          "vertices": [
            0,
            1
          ],
          "distance_potential": {
            "0": "-1",
            "1": "0"
          },
          "retained_edges": 2
        },
        {
          "player": "min",
          "vertices": [
            2
          ],
          "distance_potential": {
            "2": "0"
          },
          "retained_edges": 1
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 2973375,
      "exhaustive_oracle": 128125
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_21",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "max",
        "min",
        "max"
      ],
      "edges": [
        [
          0,
          0,
          -1
        ],
        [
          0,
          1,
          -1
        ],
        [
          0,
          2,
          -1
        ],
        [
          1,
          0,
          -2
        ],
        [
          1,
          1,
          0
        ],
        [
          1,
          2,
          0
        ],
        [
          2,
          0,
          -1
        ],
        [
          2,
          1,
          0
        ],
        [
          2,
          2,
          2
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "4096",
      "transformed_max_weight": "9",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "unknown",
      "reason": "work_limit",
      "winning_vertices": null,
      "counts": {
        "work": 199998,
        "calls": 555,
        "nonbase_calls": 2,
        "mass_base_calls": 0,
        "width_base_calls": 553,
        "operator_evaluations": 16390,
        "edge_scans": 147510,
        "pivot_updates": 551,
        "max_depth": 2
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "2",
        "0",
        "2"
      ],
      "winning_vertices": [
        0,
        1,
        2
      ],
      "max_edges": {
        "0": 2,
        "2": 8
      },
      "min_edges": {},
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [
        0,
        1,
        2
      ],
      "checks": [
        {
          "player": "max",
          "vertices": [
            0,
            1,
            2
          ],
          "distance_potential": {
            "0": "-2",
            "1": "0",
            "2": "-3"
          },
          "retained_edges": 5
        },
        {
          "player": "min",
          "vertices": [],
          "distance_potential": {},
          "retained_edges": 0
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 26021625,
      "exhaustive_oracle": 138125
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_22",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "min",
        "min",
        "max"
      ],
      "edges": [
        [
          0,
          0,
          2
        ],
        [
          0,
          1,
          0
        ],
        [
          0,
          2,
          -2
        ],
        [
          1,
          0,
          1
        ],
        [
          1,
          1,
          -2
        ],
        [
          1,
          2,
          -1
        ],
        [
          2,
          0,
          1
        ],
        [
          2,
          1,
          1
        ],
        [
          2,
          2,
          -1
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "4096",
      "transformed_max_weight": "9",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "complete_labels_source_conditional",
      "winning_vertices": [],
      "counts": {
        "work": 126717,
        "calls": 4645,
        "nonbase_calls": 9,
        "mass_base_calls": 515,
        "width_base_calls": 4121,
        "operator_evaluations": 8242,
        "edge_scans": 74178,
        "pivot_updates": 4626,
        "max_depth": 9
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "-2",
        "-2",
        "-1"
      ],
      "winning_vertices": [],
      "max_edges": {},
      "min_edges": {
        "0": 1,
        "1": 4
      },
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [],
      "checks": [
        {
          "player": "max",
          "vertices": [],
          "distance_potential": {},
          "retained_edges": 0
        },
        {
          "player": "min",
          "vertices": [
            0,
            1,
            2
          ],
          "distance_potential": {
            "0": "-5",
            "1": "-6",
            "2": "0"
          },
          "retained_edges": 5
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 28281417,
      "exhaustive_oracle": 120709
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_23",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "max",
        "min",
        "min"
      ],
      "edges": [
        [
          0,
          0,
          -1
        ],
        [
          0,
          1,
          -1
        ],
        [
          0,
          2,
          2
        ],
        [
          1,
          0,
          1
        ],
        [
          1,
          1,
          1
        ],
        [
          1,
          2,
          -2
        ],
        [
          2,
          0,
          2
        ],
        [
          2,
          1,
          1
        ],
        [
          2,
          2,
          -1
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "4096",
      "transformed_max_weight": "9",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "complete_labels_source_conditional",
      "winning_vertices": [],
      "counts": {
        "work": 126717,
        "calls": 4645,
        "nonbase_calls": 9,
        "mass_base_calls": 515,
        "width_base_calls": 4121,
        "operator_evaluations": 8242,
        "edge_scans": 74178,
        "pivot_updates": 4626,
        "max_depth": 9
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "-1",
        "-1",
        "-1"
      ],
      "winning_vertices": [],
      "max_edges": {},
      "min_edges": {
        "1": 5,
        "2": 8
      },
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [],
      "checks": [
        {
          "player": "max",
          "vertices": [],
          "distance_potential": {},
          "retained_edges": 0
        },
        {
          "player": "min",
          "vertices": [
            0,
            1,
            2
          ],
          "distance_potential": {
            "0": "0",
            "1": "0",
            "2": "-9"
          },
          "retained_edges": 5
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 28213167,
      "exhaustive_oracle": 126750
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_24",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "max",
        "min",
        "max"
      ],
      "edges": [
        [
          0,
          0,
          0
        ],
        [
          0,
          1,
          2
        ],
        [
          0,
          2,
          1
        ],
        [
          1,
          0,
          0
        ],
        [
          1,
          1,
          -1
        ],
        [
          1,
          2,
          -2
        ],
        [
          2,
          0,
          2
        ],
        [
          2,
          1,
          -2
        ],
        [
          2,
          2,
          -1
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "4096",
      "transformed_max_weight": "9",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "unknown",
      "reason": "work_limit",
      "winning_vertices": null,
      "counts": {
        "work": 199992,
        "calls": 2479,
        "nonbase_calls": 3,
        "mass_base_calls": 0,
        "width_base_calls": 2476,
        "operator_evaluations": 15428,
        "edge_scans": 138852,
        "pivot_updates": 2473,
        "max_depth": 3
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "3/2",
        "-1",
        "3/2"
      ],
      "winning_vertices": [
        0,
        2
      ],
      "max_edges": {
        "0": 2,
        "2": 6
      },
      "min_edges": {
        "1": 4
      },
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [
        0,
        2
      ],
      "checks": [
        {
          "player": "max",
          "vertices": [
            0,
            2
          ],
          "distance_potential": {
            "0": "0",
            "2": "0"
          },
          "retained_edges": 2
        },
        {
          "player": "min",
          "vertices": [
            1
          ],
          "distance_potential": {
            "1": "0"
          },
          "retained_edges": 1
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 30938292,
      "exhaustive_oracle": 136584
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_25",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "max",
        "min",
        "min"
      ],
      "edges": [
        [
          0,
          0,
          -1
        ],
        [
          0,
          1,
          -1
        ],
        [
          0,
          2,
          1
        ],
        [
          1,
          0,
          -1
        ],
        [
          1,
          1,
          1
        ],
        [
          1,
          2,
          2
        ],
        [
          2,
          0,
          2
        ],
        [
          2,
          1,
          0
        ],
        [
          2,
          2,
          -1
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "4096",
      "transformed_max_weight": "9",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "complete_labels_source_conditional",
      "winning_vertices": [],
      "counts": {
        "work": 176169,
        "calls": 4645,
        "nonbase_calls": 9,
        "mass_base_calls": 515,
        "width_base_calls": 4121,
        "operator_evaluations": 12363,
        "edge_scans": 111267,
        "pivot_updates": 4626,
        "max_depth": 9
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "-1",
        "-1",
        "-1"
      ],
      "winning_vertices": [],
      "max_edges": {},
      "min_edges": {
        "1": 3,
        "2": 8
      },
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [],
      "checks": [
        {
          "player": "max",
          "vertices": [],
          "distance_potential": {},
          "retained_edges": 0
        },
        {
          "player": "min",
          "vertices": [
            0,
            1,
            2
          ],
          "distance_potential": {
            "0": "0",
            "1": "0",
            "2": "-5"
          },
          "retained_edges": 5
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 34185167,
      "exhaustive_oracle": 124834
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_26",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "max",
        "max",
        "min"
      ],
      "edges": [
        [
          0,
          0,
          2
        ],
        [
          0,
          1,
          0
        ],
        [
          0,
          2,
          2
        ],
        [
          1,
          0,
          2
        ],
        [
          1,
          1,
          -1
        ],
        [
          1,
          2,
          -1
        ],
        [
          2,
          0,
          2
        ],
        [
          2,
          1,
          0
        ],
        [
          2,
          2,
          -1
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "4096",
      "transformed_max_weight": "9",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "unknown",
      "reason": "work_limit",
      "winning_vertices": null,
      "counts": {
        "work": 199998,
        "calls": 2952,
        "nonbase_calls": 3,
        "mass_base_calls": 0,
        "width_base_calls": 2949,
        "operator_evaluations": 15192,
        "edge_scans": 136728,
        "pivot_updates": 2946,
        "max_depth": 3
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "2",
        "2",
        "-1"
      ],
      "winning_vertices": [
        0,
        1
      ],
      "max_edges": {
        "0": 0,
        "1": 3
      },
      "min_edges": {
        "2": 8
      },
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [
        0,
        1
      ],
      "checks": [
        {
          "player": "max",
          "vertices": [
            0,
            1
          ],
          "distance_potential": {
            "0": "0",
            "1": "0"
          },
          "retained_edges": 2
        },
        {
          "player": "min",
          "vertices": [
            2
          ],
          "distance_potential": {
            "2": "0"
          },
          "retained_edges": 1
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 32564125,
      "exhaustive_oracle": 125750
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_27",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "max",
        "min",
        "max"
      ],
      "edges": [
        [
          0,
          0,
          0
        ],
        [
          0,
          1,
          -1
        ],
        [
          0,
          2,
          2
        ],
        [
          1,
          0,
          1
        ],
        [
          1,
          1,
          -1
        ],
        [
          1,
          2,
          -1
        ],
        [
          2,
          0,
          -2
        ],
        [
          2,
          1,
          -1
        ],
        [
          2,
          2,
          1
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "4096",
      "transformed_max_weight": "9",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "unknown",
      "reason": "work_limit",
      "winning_vertices": null,
      "counts": {
        "work": 199992,
        "calls": 1916,
        "nonbase_calls": 2,
        "mass_base_calls": 0,
        "width_base_calls": 1914,
        "operator_evaluations": 15709,
        "edge_scans": 141381,
        "pivot_updates": 1912,
        "max_depth": 2
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "1",
        "-1",
        "1"
      ],
      "winning_vertices": [
        0,
        2
      ],
      "max_edges": {
        "0": 2,
        "2": 8
      },
      "min_edges": {
        "1": 4
      },
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [
        0,
        2
      ],
      "checks": [
        {
          "player": "max",
          "vertices": [
            0,
            2
          ],
          "distance_potential": {
            "0": "0",
            "2": "0"
          },
          "retained_edges": 2
        },
        {
          "player": "min",
          "vertices": [
            1
          ],
          "distance_potential": {
            "1": "0"
          },
          "retained_edges": 1
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 29408167,
      "exhaustive_oracle": 121125
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_28",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "max",
        "min",
        "min"
      ],
      "edges": [
        [
          0,
          0,
          -2
        ],
        [
          0,
          1,
          2
        ],
        [
          0,
          2,
          -2
        ],
        [
          1,
          0,
          0
        ],
        [
          1,
          1,
          1
        ],
        [
          1,
          2,
          -1
        ],
        [
          2,
          0,
          1
        ],
        [
          2,
          1,
          2
        ],
        [
          2,
          2,
          -2
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "4096",
      "transformed_max_weight": "9",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "complete_labels_source_conditional",
      "winning_vertices": [],
      "counts": {
        "work": 126717,
        "calls": 4645,
        "nonbase_calls": 9,
        "mass_base_calls": 515,
        "width_base_calls": 4121,
        "operator_evaluations": 8242,
        "edge_scans": 74178,
        "pivot_updates": 4626,
        "max_depth": 9
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "-2",
        "-2",
        "-2"
      ],
      "winning_vertices": [],
      "max_edges": {},
      "min_edges": {
        "1": 5,
        "2": 8
      },
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [],
      "checks": [
        {
          "player": "max",
          "vertices": [],
          "distance_potential": {},
          "retained_edges": 0
        },
        {
          "player": "min",
          "vertices": [
            0,
            1,
            2
          ],
          "distance_potential": {
            "0": "0",
            "1": "-9",
            "2": "-6"
          },
          "retained_edges": 5
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 27197500,
      "exhaustive_oracle": 129875
    },
    "work_limit": 200000
  },
  {
    "name": "hash3_29",
    "input": {
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "owners": [
        "min",
        "max",
        "max"
      ],
      "edges": [
        [
          0,
          0,
          2
        ],
        [
          0,
          1,
          -1
        ],
        [
          0,
          2,
          2
        ],
        [
          1,
          0,
          1
        ],
        [
          1,
          1,
          -2
        ],
        [
          1,
          2,
          -2
        ],
        [
          2,
          0,
          2
        ],
        [
          2,
          1,
          -2
        ],
        [
          2,
          2,
          1
        ]
      ]
    },
    "reference": {
      "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
      "model": {
        "arena": "turn_based_deterministic",
        "reward": "signed_integer_edge",
        "objective": "liminf_mean_at_least_zero",
        "opponents": "full_history"
      },
      "vertices": 3,
      "initial_width": "4096",
      "transformed_max_weight": "9",
      "limits": {
        "work": 200000,
        "depth": 128
      },
      "source_proof_accepted": false,
      "outputs_values_or_strategies": false,
      "status": "unknown",
      "reason": "work_limit",
      "winning_vertices": null,
      "counts": {
        "work": 199992,
        "calls": 932,
        "nonbase_calls": 2,
        "mass_base_calls": 0,
        "width_base_calls": 930,
        "operator_evaluations": 16201,
        "edge_scans": 145809,
        "pivot_updates": 928,
        "max_depth": 2
      },
      "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
    },
    "oracle": {
      "values": [
        "1",
        "1",
        "1"
      ],
      "winning_vertices": [
        0,
        1,
        2
      ],
      "max_edges": {
        "1": 5,
        "2": 8
      },
      "min_edges": {},
      "positional_pairs": 27
    },
    "certificate": {
      "accepted": true,
      "status": "threshold_regions_finitely_certified",
      "winning_vertices": [
        0,
        1,
        2
      ],
      "checks": [
        {
          "player": "max",
          "vertices": [
            0,
            1,
            2
          ],
          "distance_potential": {
            "0": "0",
            "1": "-1",
            "2": "-3"
          },
          "retained_edges": 5
        },
        {
          "player": "min",
          "vertices": [],
          "distance_potential": {},
          "retained_edges": 0
        }
      ],
      "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
    },
    "timings_ns": {
      "source_reference": 27164417,
      "exhaustive_oracle": 121250
    },
    "work_limit": 200000
  }
]