{
  "schema_version": 1,
  "property": "request_grant_contract",
  "result": "proved",
  "backend": "ric3+pono",
  "engine": "IC3/PDR",
  "expected_result": "proved",
  "expectation_met": true,
  "depth": 20,
  "elapsed_ms": 30,
  "model": "/mnt/fileserver/prj/dmctp/EDA/emul/tests/formal_request_grant/work/formal/request_grant_contract/run-1788345659661/model/low_opt.btor2",
  "witness_steps": 0
}