[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-11T20:45:49+01:00",
    "inputwitnesshash": "ff7aa3837427a1584f29c21463931c7b9d1a94c2c0b3303c82339ffbc258fb2f",
    "producer": "CPAchecker 1.9 / witnessValidation",
    "program-sha256": "bcdd5698932565e436a6da5f0be10ef35b571574a667126f81b41642e8c7f383",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.5_overflow.ufo.UNBOUNDED.pals.c",
    "programhash": "bcdd5698932565e436a6da5f0be10ef35b571574a667126f81b41642e8c7f383",
    "sourcecodelang": "C",
    "specification": "CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/8a2b7a1fdc907c5d61d2ad6a2f615dd2c26d9e80c0a0c3704613d629a159f92a.graphml",
    "witness-sha256": "8a2b7a1fdc907c5d61d2ad6a2f615dd2c26d9e80c0a0c3704613d629a159f92a",
    "witness-size": 42480,
    "witness-type": "correctness_witness"
  }
]