[
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T08:12 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_ec166c8f-b43f-4554-b1dc-e3e8f601c456/sv-benchmarks/c/loops/sum_array-1.c",
    "programhash": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/9387c90736f847d38d7e75fb0c25657abe32ea1aaff4fc8940d6fd5737866352.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "9387c90736f847d38d7e75fb0c25657abe32ea1aaff4fc8940d6fd5737866352",
    "witness-size": 924,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T01:16:48Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "programfile": "sum_array-1.c.c",
    "programhash": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/0da6d0bd51e18b3b874d2073c300691d3713ee79c1a0195dd77cc4318165bba5.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "0da6d0bd51e18b3b874d2073c300691d3713ee79c1a0195dd77cc4318165bba5",
    "witness-size": 3040,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:28:31+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "programfile": "../../sv-benchmarks/c/loops/sum_array-1.c",
    "programhash": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/c65f65958581fdba3248b781a18fa9c5e6741db745b48e391ec63c0392b0b7c0.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "c65f65958581fdba3248b781a18fa9c5e6741db745b48e391ec63c0392b0b7c0",
    "witness-size": 2785,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T00:13:08+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "programfile": "../../sv-benchmarks/c/loops/sum_array-1.c",
    "programhash": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/c47eb507d46022b22660e3a199eb24237344fefe7615a083d9d981b196d23a18.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "c47eb507d46022b22660e3a199eb24237344fefe7615a083d9d981b196d23a18",
    "witness-size": 2848,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:51:50+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "programfile": "../../sv-benchmarks/c/loops/sum_array-1.c",
    "programhash": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/e500983863455189bc894c5cbc92399d966cb961330ebd8cd497d4f33be78397.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "e500983863455189bc894c5cbc92399d966cb961330ebd8cd497d4f33be78397",
    "witness-size": 1002,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T22:04:47Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "programfile": "sum_array-1.c.c",
    "programhash": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/95cf1f65c369818975e889680c935334655f4030cff59443b4f27e795be90a96.zip",
    "witness-number-of-tests": 11,
    "witness-sha256": "95cf1f65c369818975e889680c935334655f4030cff59443b4f27e795be90a96",
    "witness-size": 9050,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:28:31+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "programfile": "../../sv-benchmarks/c/loops/sum_array-1.c",
    "programhash": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/ba054106a20506f1e9c64e33b423c1aa9ead3d2691128af3423fa55f44c80e21.zip",
    "witness-number-of-tests": 10,
    "witness-sha256": "ba054106a20506f1e9c64e33b423c1aa9ead3d2691128af3423fa55f44c80e21",
    "witness-size": 4106,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T01:16:48Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "programfile": "sum_array-1.c.c",
    "programhash": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/70f7e09a06740aefaded7e270614ea81487b035185b2d818721da42212394598.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "70f7e09a06740aefaded7e270614ea81487b035185b2d818721da42212394598",
    "witness-size": 5244,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T22:04:47Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "programfile": "sum_array-1.c.c",
    "programhash": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/76fe7b3833d13379de33cf64302aed6f1cfb65a35612803e79ade32c7a453d4f.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "76fe7b3833d13379de33cf64302aed6f1cfb65a35612803e79ade32c7a453d4f",
    "witness-size": 3026,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:55 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_9959b586-433c-48cf-91f9-6520cfb5abac/sv-benchmarks/c/loops/sum_array-1.c",
    "programhash": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/e1015b5f0f702c31e2398a95b08bf9753df1955aa776cce4e3b04abb0a9dc315.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "e1015b5f0f702c31e2398a95b08bf9753df1955aa776cce4e3b04abb0a9dc315",
    "witness-size": 2737,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T00:13:08+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "programfile": "../../sv-benchmarks/c/loops/sum_array-1.c",
    "programhash": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/ba6072169c87ce974712719366b4900d8cec959fc22b9a506813e6197524f0b4.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "ba6072169c87ce974712719366b4900d8cec959fc22b9a506813e6197524f0b4",
    "witness-size": 2607,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:54 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_ec166c8f-b43f-4554-b1dc-e3e8f601c456/sv-benchmarks/c/loops/sum_array-1.c",
    "programhash": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/25c9219e25d3fe7e5222f7873fb9859e13171f09d95f06ff382eceee062979ba.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "25c9219e25d3fe7e5222f7873fb9859e13171f09d95f06ff382eceee062979ba",
    "witness-size": 2733,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:51:50+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "programfile": "../../sv-benchmarks/c/loops/sum_array-1.c",
    "programhash": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/c8c5318e384fb10022a813fba8566b8006d64841a37f378f4a0954ed4eedbe4f.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "c8c5318e384fb10022a813fba8566b8006d64841a37f378f4a0954ed4eedbe4f",
    "witness-size": 2783,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T03:59:25+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "programfile": "../../sv-benchmarks/c/loops/sum_array-1.c",
    "programhash": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/a6452c4a6f99fe27780700089841c49fd1f33e5193121b4606d434eb5abaf6e9.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "a6452c4a6f99fe27780700089841c49fd1f33e5193121b4606d434eb5abaf6e9",
    "witness-size": 1069,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T11:42 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_9959b586-433c-48cf-91f9-6520cfb5abac/sv-benchmarks/c/loops/sum_array-1.c",
    "programhash": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/ebd21e66481fe26f0da63dae06026cc1873e0b0e77079e8656d2a5b2389b466e.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "ebd21e66481fe26f0da63dae06026cc1873e0b0e77079e8656d2a5b2389b466e",
    "witness-size": 1597,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T03:59:25+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "programfile": "../../sv-benchmarks/c/loops/sum_array-1.c",
    "programhash": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/bec27a01b071e01553a5ec96d044a23a073b53140583a092880b5f6689668fe0.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "bec27a01b071e01553a5ec96d044a23a073b53140583a092880b5f6689668fe0",
    "witness-size": 2852,
    "witness-type": "test-suite"
  }
]