{
  "attacks": 30,
  "blocking_ok": true,
  "invariants": 23,
  "races": 16
}