{
  "matrix_lrs": {
    "bounded_quantifier_separations": 41,
    "cayley_hamilton_entry_checks": 3564,
    "interleaved_value_checks": 4212,
    "signed_cycle_primes": [
      3,
      5,
      7,
      11
    ],
    "small_integer_matrices": 81
  },
  "reversible_rewriting": {
    "degree_preserving_reversible_systems": 72,
    "directed_hostile_example": {
      "ideal_membership": true,
      "reverse_reachable": false
    },
    "reachability_ideal_comparisons": 7120
  },
  "signed_permutations": {
    "maximum_group_period": 12,
    "signed_permutation_matrices": 4282,
    "with_positive_nonnegative_power": 634
  },
  "status": "pass"
}