{ "architecture": "32bit", "creationtime": "2019-02-06T00:48:22+01:00", "entryfunction": "main", "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19", "program-sha256": "fc1764c45114a362a557b1fa69f323c7811b1e4a831e4d6828a71f3d3172fcc8", "programfile": "../../sv-benchmarks/c/loop-acceleration/multivar_1-2.c", "programhash": "fc1764c45114a362a557b1fa69f323c7811b1e4a831e4d6828a71f3d3172fcc8", "sourcecodelang": "C", "specification": "COVER EDGES(@CALL(__VERIFIER_error))", "witness-file": "fileByHash/4a186f90d6b17cb6be9593c9e819ab9ba337191018c77ad5c743edc752e4aeea.zip", "witness-number-of-tests": 1, "witness-sha256": "4a186f90d6b17cb6be9593c9e819ab9ba337191018c77ad5c743edc752e4aeea", "witness-size": 1047, "witness-type": "test-suite" }