{
  "all_pass": true,
  "trajectory_cases": 40,
  "guards": 11,
  "zero_probability": true,
  "connected_and_disconnected_unit_probability": true,
  "horizon": true,
  "reset_reproducibility": true,
  "no_retries": true
}