{ "architecture": "32bit", "creationtime": "2019-02-06T04:31:12+01:00", "entryfunction": "main", "producer": "CPAchecker 1.8-svn 30375", "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( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )", "witness-file": "fileByHash/41791b82a712f94a3e88d2c391e81f478c1d1a6ae7432e4ec5da8b4094e6ce64.zip", "witness-number-of-tests": 53, "witness-sha256": "41791b82a712f94a3e88d2c391e81f478c1d1a6ae7432e4ec5da8b4094e6ce64", "witness-size": 20221, "witness-type": "test-suite" }