[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:53:55+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "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/a22fa71b6a7adcfe3abdf81aa38d50e6a72af867cd4985de280cd45b365480d4.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "a22fa71b6a7adcfe3abdf81aa38d50e6a72af867cd4985de280cd45b365480d4",
    "witness-size": 1009,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:06:25+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "programfile": "../../sv-benchmarks/c/loops/sum_array-1.c",
    "programhash": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/b4d2cf15e220a6f56e5d5d925139f932be050f886f2e9f785ef763a29e49ea88.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "b4d2cf15e220a6f56e5d5d925139f932be050f886f2e9f785ef763a29e49ea88",
    "witness-size": 2858,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:35:05",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_6ce11438-9447-4cc7-9e58-a734bd0d2fe2/sv-benchmarks/c/loops/sum_array-1.c",
    "programhash": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/67bc5c3491c299cad49cb84f4a31751b9a38b83847a2638ea5f482fbf51ee014.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "67bc5c3491c299cad49cb84f4a31751b9a38b83847a2638ea5f482fbf51ee014",
    "witness-size": 8267,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 00:16:02 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "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/829840b3df19fe90c0e2c1595e3988f949536f5520f5de78a698deda86a9736d.zip",
    "witness-number-of-tests": 23,
    "witness-sha256": "829840b3df19fe90c0e2c1595e3988f949536f5520f5de78a698deda86a9736d",
    "witness-size": 21807,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T13:38:19Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "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/49d3de5fd9d935bd8bc6f5d475580a958b0af336bdc54ee39f11cd72c493df4f.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "49d3de5fd9d935bd8bc6f5d475580a958b0af336bdc54ee39f11cd72c493df4f",
    "witness-size": 18703,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:49:01",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_413745c1-4a7f-427f-ab1c-0bf5ee291bb8/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/019db6fdbb99a5ac2c3087444647ca9d1fb03bfbdffd71f2f6bc01f9c5df0d8e.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "019db6fdbb99a5ac2c3087444647ca9d1fb03bfbdffd71f2f6bc01f9c5df0d8e",
    "witness-size": 8732,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T10:41:28Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-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/fb44d93077307eaa59ec0937e6c6dc3cafc2532381e9aaa692810a46ea9451bf.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "fb44d93077307eaa59ec0937e6c6dc3cafc2532381e9aaa692810a46ea9451bf",
    "witness-size": 5279,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 05:46:40.017867",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "programfile": "../../sv-benchmarks/c/loops/sum_array-1.c",
    "programhash": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/5af422a768c364b088e44621f38a76d592534e7d8ad729ff6e38d2d917ed5700.zip",
    "witness-number-of-tests": 462,
    "witness-sha256": "5af422a768c364b088e44621f38a76d592534e7d8ad729ff6e38d2d917ed5700",
    "witness-size": 195131,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:46:23Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-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/abdc05d914d3b86d2b752c90da885fa7ace8d80d8fe1d83108d155ab393c2ac7.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "abdc05d914d3b86d2b752c90da885fa7ace8d80d8fe1d83108d155ab393c2ac7",
    "witness-size": 7939,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 00:19:42.996081",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "programfile": "../../sv-benchmarks/c/loops/sum_array-1.c",
    "programhash": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/5664bd29fceaa265b65f99ef88e83724a596f5d209d39e9cfa5bd2376952165c.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "5664bd29fceaa265b65f99ef88e83724a596f5d209d39e9cfa5bd2376952165c",
    "witness-size": 2742,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:24:17+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "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/3bfd726e262b45001eccd2a05b1e59a4269e2edaba8771d8ced3565a9b2297f6.zip",
    "witness-number-of-tests": 10,
    "witness-sha256": "3bfd726e262b45001eccd2a05b1e59a4269e2edaba8771d8ced3565a9b2297f6",
    "witness-size": 4115,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T17:53:55Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "programfile": "sum_array-1.c.c",
    "programhash": "bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/49d6efd44fca008960624d87258d2b363626c3bb95c6851c17a251a69fb5b4b3.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "49d6efd44fca008960624d87258d2b363626c3bb95c6851c17a251a69fb5b4b3",
    "witness-size": 18720,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 06:14:19 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "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/90c5b235c6ddfcf4fa6a45827a7efd27d17a4d15d8616e8eb5404504d8c9cbfd.zip",
    "witness-number-of-tests": 23,
    "witness-sha256": "90c5b235c6ddfcf4fa6a45827a7efd27d17a4d15d8616e8eb5404504d8c9cbfd",
    "witness-size": 21743,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:06:37+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "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/5846170d9a793e17a58cb0c32ff57ce3dab42ec9a4e2c55617077341bb30e61e.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "5846170d9a793e17a58cb0c32ff57ce3dab42ec9a4e2c55617077341bb30e61e",
    "witness-size": 1024,
    "witness-type": "test-suite"
  }
]