{
  "distinguishable_pairs": 2404,
  "failures": 0,
  "longest_shortest_witness": 3,
  "quotient_prefix_word_checks": 15340,
  "random_models": 120,
  "same_future_pairs": 56,
  "state_pair_comparisons": 2460,
  "total_action_symbols_by_model": 240,
  "total_defined_transitions": 1267,
  "total_states": 780,
  "total_strict_refinement_rounds": 151
}
