{
  "utf8_readback": true,
  "display_delimiters_even": true,
  "inline_delimiters_even": true,
  "contains_backslash_paren_delimiters": false,
  "contains_backslash_bracket_delimiters": false,
  "cases": 8000,
  "greedy_uniform_unit_cost": "2000/2000 exact-DP matches",
  "query_neutral_resolution_eig_zero_cases": 4000,
  "runtime_replay_match": true,
  "eig_stress_exact_replay_match": true,
  "eig_stress_replayed": {
    "QDU_PATTERN": {
      "n": 100000,
      "greedy_suboptimal": 8196,
      "suboptimal_rate": 0.08196,
      "avg_relative_regret_when_suboptimal": 0.14529424714734357,
      "max_relative_regret": 1.311015936140403
    },
    "THREE_UNIQUE": {
      "n": 100000,
      "greedy_suboptimal": 11685,
      "suboptimal_rate": 0.11685,
      "avg_relative_regret_when_suboptimal": 0.09239126242904892,
      "max_relative_regret": 0.8038866550313561
    }
  },
  "report_sha256": "a2dd4cc2a4f981d9a448bf7788fc73b7b0dfce66d6b8afff37e617cb5057620f",
  "patch_sha256": "ef732e09f2f03c9ab45dac69e128a16b93b5ce05095434750f1d2e1d5b212fee",
  "protocol_sha256": "ae9d2097d2ea7579956e4fde89a36f493943ed3874bbf31873aa15c0ab57df3c",
  "optimizer_sha256": "877f7551bc5c1ecea03bba89640fafa699f7f4cf6eb5c1fb1d6d24c72b2e703b",
  "stress_sha256": "82f2ee77255af50e57602d493e7427d9302af0329563fa8f90c746a8619caa95",
  "results_sha256": "3104921dc1cf7ab5852925d071de6afeeba11ad5038a308b457ac8946fa8d867"
}