{
    "architecture": "32bit",
    "creationtime": "2019-02-06 12:36:12.649491",
    "entryfunction": "main",
    "error-program-sha256": "Key 'programhash' is not an SHA-256 hash.",
    "producer": "prtest",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_1355c3d2-f225-446b-934f-89a6af596dd7/sv-benchmarks/c/eca-rers2012/Problem03_label30.c",
    "programhash": "a6cbe3293b85565129a3e8511797ba8de37ca63e",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@BASICBLOCKENTRY)) )",
    "witness-file": "fileByHash/e3d6a3e84e0acb377576b7fcc193a0ed9179873105580c413b994c5c4953052f.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "e3d6a3e84e0acb377576b7fcc193a0ed9179873105580c413b994c5c4953052f",
    "witness-size": 1768,
    "witness-type": "test-suite"
}