[
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:42 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "4b0a75245edbe1ea819d25ca5c6c86bf9b2f94c49ae41b5ddc3a77f6cb5a178f",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_a71f06bf-940f-4988-b923-4246322e8a12/sv-benchmarks/c/loop-invgen/up.i",
    "programhash": "4b0a75245edbe1ea819d25ca5c6c86bf9b2f94c49ae41b5ddc3a77f6cb5a178f",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/1a581f104e73ccf0112b141c9827bdfa360c6558aaae8452a142a9d7ce9b94eb.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "1a581f104e73ccf0112b141c9827bdfa360c6558aaae8452a142a9d7ce9b94eb",
    "witness-size": 1237,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T21:59:54+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "4b0a75245edbe1ea819d25ca5c6c86bf9b2f94c49ae41b5ddc3a77f6cb5a178f",
    "programfile": "../../sv-benchmarks/c/loop-invgen/up.i",
    "programhash": "4b0a75245edbe1ea819d25ca5c6c86bf9b2f94c49ae41b5ddc3a77f6cb5a178f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/3b79848cc0daf3ade179a91512e3f32cdc5b3ed6768fa67a2dd6bd3af1a1a990.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "3b79848cc0daf3ade179a91512e3f32cdc5b3ed6768fa67a2dd6bd3af1a1a990",
    "witness-size": 2343,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T02:18:47+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "4b0a75245edbe1ea819d25ca5c6c86bf9b2f94c49ae41b5ddc3a77f6cb5a178f",
    "programfile": "../../sv-benchmarks/c/loop-invgen/up.i",
    "programhash": "4b0a75245edbe1ea819d25ca5c6c86bf9b2f94c49ae41b5ddc3a77f6cb5a178f",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/4c7c51e9aeba1070578f56bf7bcee84263c856e5b4c641a6706747f5b63b82bb.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "4c7c51e9aeba1070578f56bf7bcee84263c856e5b4c641a6706747f5b63b82bb",
    "witness-size": 1399,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T21:35:35Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "4b0a75245edbe1ea819d25ca5c6c86bf9b2f94c49ae41b5ddc3a77f6cb5a178f",
    "programfile": "up.i.c",
    "programhash": "4b0a75245edbe1ea819d25ca5c6c86bf9b2f94c49ae41b5ddc3a77f6cb5a178f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/710485abf47c641c7c95e382976fbf4279751b3fafa25ea0e45661c7918fc494.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "710485abf47c641c7c95e382976fbf4279751b3fafa25ea0e45661c7918fc494",
    "witness-size": 52314,
    "witness-type": "test-suite"
  }
]