{ "architecture": "32bit", "creationtime": "2019-02-05T23:37:39+01:00", "entryfunction": "main", "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19", "program-sha256": "71694ae9a454cae533ffd828882dcff283006b532fd076a89e3d0680ca3747c9", "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.3.2.ufo.BOUNDED-6.pals.c", "programhash": "71694ae9a454cae533ffd828882dcff283006b532fd076a89e3d0680ca3747c9", "sourcecodelang": "C", "specification": "COVER EDGES(@DECISIONEDGE)", "witness-file": "fileByHash/3556fb5eebbe0cc37ca7b377825d504f0d8438877527f2130ea03d020189e580.zip", "witness-number-of-tests": 39, "witness-sha256": "3556fb5eebbe0cc37ca7b377825d504f0d8438877527f2130ea03d020189e580", "witness-size": 18278, "witness-type": "test-suite" }