{
  "schema_version": 1,
  "property": "request_grant_contract",
  "result": "counterexample",
  "backend": "btormc",
  "engine": "BMC",
  "expected_result": "counterexample",
  "expectation_met": true,
  "depth": 1,
  "elapsed_ms": 10,
  "model": "/mnt/fileserver/prj/dmctp/EDA/emul/tests/formal_request_grant/work/fault/request_grant_contract/run-1788345390272/model/low_opt.btor2",
  "witness_steps": 2
}