{
    "architecture": "64bit",
    "creationtime": "2019-02-06T08:34 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "ffd8cf6bad12875b15ba42d835e510e4110e0de61969363a3b97a28034fa604e",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_9a5e4c1c-7b72-4310-834d-451b241b9e4e/sv-benchmarks/c/ntdrivers-simplified/floppy_simpl4.cil-2.c",
    "programhash": "ffd8cf6bad12875b15ba42d835e510e4110e0de61969363a3b97a28034fa604e",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/f78192e14553f2fe5f62c1f357624bca780861239b96891c4cb4c3a191e10af4.zip",
    "witness-number-of-tests": 45,
    "witness-sha256": "f78192e14553f2fe5f62c1f357624bca780861239b96891c4cb4c3a191e10af4",
    "witness-size": 16926,
    "witness-type": "test-suite"
}