{
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:55 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "41f3ae880f1c5fccef1a5a43afa9a07d5a1500604f4f27daf5f9a587bf3226b6",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_ca5fcf9d-fffc-46db-912e-9c9947136c19/sv-benchmarks/c/ntdrivers-simplified/floppy_simpl4.cil-1.c",
    "programhash": "41f3ae880f1c5fccef1a5a43afa9a07d5a1500604f4f27daf5f9a587bf3226b6",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/06ee5baa1590a2c61616f2663909e949bc6a47a142d65ebdc776e01a80082960.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "06ee5baa1590a2c61616f2663909e949bc6a47a142d65ebdc776e01a80082960",
    "witness-size": 9321,
    "witness-type": "test-suite"
}