{
 "depth": 4,
 "errors": 0,
 "events": [
  "admit",
  "exec_ok",
  "exec_lost_ack",
  "exec_no_send",
  "crash",
  "restart",
  "observe",
  "compensate",
  "revoke",
  "cancel",
  "finalize"
 ],
 "first_errors": [],
 "first_violations": [],
 "invariants": [
  "I1",
  "I2",
  "I3",
  "I4",
  "I5",
  "I6",
  "I7"
 ],
 "not_covered": [
  "sequences longer than the depth",
  "concurrent callers",
  "a dishonest or mistaken observer",
  "actions other than one compensatable write",
  "contract succession during a dispatch",
  "a target that does not behave like the simulator"
 ],
 "schema": "CAIN42/EVOLUTION16/BOUNDED-EXPLORATION/v1",
 "seconds": 544.2,
 "sequences_executed": 16104,
 "sequences_possible": 16104,
 "violations": 0
}