{ "architecture": "32bit", "creationtime": "2019-02-05T23:54:32+01:00", "entryfunction": "main", "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19", "program-sha256": "73c46a3f89411959188ac7ee26077027a0eeca3e2f382125e516f68989a4d768", "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.6.2.ufo.BOUNDED-12.pals.c", "programhash": "73c46a3f89411959188ac7ee26077027a0eeca3e2f382125e516f68989a4d768", "sourcecodelang": "C", "specification": "COVER EDGES(@DECISIONEDGE)", "witness-file": "fileByHash/127f38c97dd40d0683e75c21c40dabf4004b0387251fee26e1640333db1dd2e1.zip", "witness-number-of-tests": 32, "witness-sha256": "127f38c97dd40d0683e75c21c40dabf4004b0387251fee26e1640333db1dd2e1", "witness-size": 16779, "witness-type": "test-suite" }