{
    "architecture": "64bit",
    "creationtime": "2019-02-06T07:37 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "87eedf0a6fbed007ab1a80c07141d1f6679e462f5d54673bf0954f831cfb10e2",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_c57f5d4c-627f-4d0d-9782-6aea195ff313/sv-benchmarks/c/bitvector/sum02-1.c",
    "programhash": "87eedf0a6fbed007ab1a80c07141d1f6679e462f5d54673bf0954f831cfb10e2",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/fa10a44f64f83bdbbe36deb3a10cffeb8a2bd71029279f17fa11f01e6c2e8da6.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "fa10a44f64f83bdbbe36deb3a10cffeb8a2bd71029279f17fa11f01e6c2e8da6",
    "witness-size": 898,
    "witness-type": "test-suite"
}