[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T19:12:06Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "f89c0269d70253696d5d265b29e4d13734f5941022888f70158ba5176897fb96",
    "programfile": "array_3-1.i.c",
    "programhash": "f89c0269d70253696d5d265b29e4d13734f5941022888f70158ba5176897fb96",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/e83ea51900807caa08b201f868513d7c4b444de2a87e0e059643939ab8fe28d1.zip",
    "witness-number-of-tests": 1001,
    "witness-sha256": "e83ea51900807caa08b201f868513d7c4b444de2a87e0e059643939ab8fe28d1",
    "witness-size": 583437,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 02:58:19 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "f89c0269d70253696d5d265b29e4d13734f5941022888f70158ba5176897fb96",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/array_3-1.i",
    "programhash": "f89c0269d70253696d5d265b29e4d13734f5941022888f70158ba5176897fb96",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/e5e4e83216e40c61be204e0681f2a360501b6eb5d431685b5557b4e9b3d6ed1b.zip",
    "witness-number-of-tests": 12,
    "witness-sha256": "e5e4e83216e40c61be204e0681f2a360501b6eb5d431685b5557b4e9b3d6ed1b",
    "witness-size": 14042,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:52:21",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "f89c0269d70253696d5d265b29e4d13734f5941022888f70158ba5176897fb96",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_413ee8ed-c238-4f00-ab30-c3687620e61c/sv-benchmarks/c/loop-acceleration/array_3-1.i",
    "programhash": "f89c0269d70253696d5d265b29e4d13734f5941022888f70158ba5176897fb96",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/6ae542f1176f96af26ba30efd6d9199ad388afd5a208fe0e8243a448758e01a3.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "6ae542f1176f96af26ba30efd6d9199ad388afd5a208fe0e8243a448758e01a3",
    "witness-size": 7041,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:27:54+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "f89c0269d70253696d5d265b29e4d13734f5941022888f70158ba5176897fb96",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/array_3-1.i",
    "programhash": "f89c0269d70253696d5d265b29e4d13734f5941022888f70158ba5176897fb96",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/ca2918f72b3a2e9e2cadca344436bda7116def3eff4177ecdbfcc95f194a8f20.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "ca2918f72b3a2e9e2cadca344436bda7116def3eff4177ecdbfcc95f194a8f20",
    "witness-size": 980,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T01:28:17+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "f89c0269d70253696d5d265b29e4d13734f5941022888f70158ba5176897fb96",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/array_3-1.i",
    "programhash": "f89c0269d70253696d5d265b29e4d13734f5941022888f70158ba5176897fb96",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/a48715a690ab0bebdfadd0723bc5fdd45129a942578a7580d8f0a95e0da29c12.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "a48715a690ab0bebdfadd0723bc5fdd45129a942578a7580d8f0a95e0da29c12",
    "witness-size": 967,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 09:54:42.697752",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "f89c0269d70253696d5d265b29e4d13734f5941022888f70158ba5176897fb96",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/array_3-1.i",
    "programhash": "f89c0269d70253696d5d265b29e4d13734f5941022888f70158ba5176897fb96",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/fb4c9607d6ea03f4204ed9b50fa8f9ee93dd119e20fa16d40a46b4af8be5b9fa.zip",
    "witness-number-of-tests": 40,
    "witness-sha256": "fb4c9607d6ea03f4204ed9b50fa8f9ee93dd119e20fa16d40a46b4af8be5b9fa",
    "witness-size": 89178,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:27:40Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "f89c0269d70253696d5d265b29e4d13734f5941022888f70158ba5176897fb96",
    "programfile": "array_3-1.i.c",
    "programhash": "f89c0269d70253696d5d265b29e4d13734f5941022888f70158ba5176897fb96",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b52f87947b8de4767817dba5a93ceeea01560354cbf62dbce76fb59c143fa7a9.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "b52f87947b8de4767817dba5a93ceeea01560354cbf62dbce76fb59c143fa7a9",
    "witness-size": 4888,
    "witness-type": "test-suite"
  }
]