{
  "nonconservative": {
    "is_conservative": false,
    "new": {
      "cross_source_pairs": 1,
      "quotient_classes": 1,
      "shared_classes": 1
    },
    "old": {
      "cross_source_pairs": 0,
      "quotient_classes": 2,
      "shared_classes": 0
    }
  },
  "randomized": {
    "certificate_rejections_or_mismatches": 0,
    "cross_state_pairs_considered": 1067,
    "input_states": 830,
    "models_checked": 160,
    "new_cross_pairs": 3,
    "old_cross_pairs": 9,
    "seed": 85,
    "split_witnesses_checked": 31
  },
  "symbolic_tail": {
    "adjacent_bonds_valid": true,
    "levels_tested": 13
  },
  "tail_last": 9,
  "tower": [
    {
      "cross_source_pairs": 4,
      "quotient_classes": 1,
      "shared_classes": 1
    },
    {
      "cross_source_pairs": 2,
      "quotient_classes": 2,
      "shared_classes": 2
    },
    {
      "cross_source_pairs": 0,
      "quotient_classes": 4,
      "shared_classes": 0
    }
  ]
}
