{
  "checks": [
    {
      "name": "all_positive_recursive_certificate",
      "passed": true
    },
    {
      "name": "all_positive_recursive_labels_or_explicit_unknown",
      "passed": true
    },
    {
      "name": "all_positive_recursive_branch_exercised",
      "passed": true
    },
    {
      "name": "all_positive_recursive_expected_completion_boundary",
      "passed": true
    },
    {
      "name": "all_negative_recursive_certificate",
      "passed": true
    },
    {
      "name": "all_negative_recursive_labels_or_explicit_unknown",
      "passed": true
    },
    {
      "name": "all_negative_recursive_branch_exercised",
      "passed": true
    },
    {
      "name": "all_negative_recursive_expected_completion_boundary",
      "passed": true
    },
    {
      "name": "mixed_recursive_certificate",
      "passed": true
    },
    {
      "name": "mixed_recursive_labels_or_explicit_unknown",
      "passed": true
    },
    {
      "name": "mixed_recursive_branch_exercised",
      "passed": true
    },
    {
      "name": "mixed_recursive_expected_completion_boundary",
      "passed": true
    },
    {
      "name": "first_recursive_width_certificate",
      "passed": true
    },
    {
      "name": "first_recursive_width_labels_or_explicit_unknown",
      "passed": true
    },
    {
      "name": "first_recursive_width_branch_exercised",
      "passed": true
    },
    {
      "name": "first_recursive_width_expected_completion_boundary",
      "passed": true
    },
    {
      "name": "max_region_opponent_escape_detected",
      "passed": true
    },
    {
      "name": "min_region_opponent_escape_detected",
      "passed": true
    },
    {
      "name": "threshold_certificate_does_not_imply_value_optimal",
      "passed": true
    },
    {
      "name": "stochastic_width_schedule_contracts",
      "passed": true
    }
  ],
  "passed": 20
}