{
    "architecture": "64bit",
    "creationtime": "2019-02-06T11:45 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "df8bc5fd1b26711d046ba490c3a94fcedaef481a7b120efcba9241702ec49eac",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_1e373843-48ec-4446-9e30-853050a8b908/sv-benchmarks/c/seq-mthreaded/pals_lcr.6.ufo.BOUNDED-12.pals.c",
    "programhash": "df8bc5fd1b26711d046ba490c3a94fcedaef481a7b120efcba9241702ec49eac",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/e2a9905c2b772a31d4a787a1376bb7ad2f4ad5c27504e2f315f199292e59e6c8.zip",
    "witness-number-of-tests": 12,
    "witness-sha256": "e2a9905c2b772a31d4a787a1376bb7ad2f4ad5c27504e2f315f199292e59e6c8",
    "witness-size": 4863,
    "witness-type": "test-suite"
}