{
    "architecture": "64bit",
    "creationtime": "2019-02-06T08:41 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "fdc3b8697fd2442424b952da96c606b14b86fe11ba193d1ce419e982bef259fe",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_c326577c-f8da-44e3-aee9-41a23e293b48/sv-benchmarks/c/ldv-regression/rule60_list2.i",
    "programhash": "fdc3b8697fd2442424b952da96c606b14b86fe11ba193d1ce419e982bef259fe",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/0abd535758615db3f8e03521e66f70a9dd3aca383bf1bf835d33cbb60845e16e.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "0abd535758615db3f8e03521e66f70a9dd3aca383bf1bf835d33cbb60845e16e",
    "witness-size": 1946,
    "witness-type": "test-suite"
}