[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T21:24:23Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "8b26945fbf41b2a5aee7527add1f04dfa77de80e9173a27b0af3b01807c77b00",
    "programfile": "standard_copyInitSum_ground.i.c",
    "programhash": "8b26945fbf41b2a5aee7527add1f04dfa77de80e9173a27b0af3b01807c77b00",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/48121b094164b248f2be226571ebf831712c1dad975f11c3b3dce43669d0ca17.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "48121b094164b248f2be226571ebf831712c1dad975f11c3b3dce43669d0ca17",
    "witness-size": 4083,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T18:41:44Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "8b26945fbf41b2a5aee7527add1f04dfa77de80e9173a27b0af3b01807c77b00",
    "programfile": "standard_copyInitSum_ground.i.c",
    "programhash": "8b26945fbf41b2a5aee7527add1f04dfa77de80e9173a27b0af3b01807c77b00",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/35d1ce6f5a6e01809898cccdb81f83542f7169599847fc74a9a4bc5441ee0320.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "35d1ce6f5a6e01809898cccdb81f83542f7169599847fc74a9a4bc5441ee0320",
    "witness-size": 18448,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:11:19+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "8b26945fbf41b2a5aee7527add1f04dfa77de80e9173a27b0af3b01807c77b00",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copyInitSum_ground.i",
    "programhash": "8b26945fbf41b2a5aee7527add1f04dfa77de80e9173a27b0af3b01807c77b00",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/3ac0f28d0334352edc69ba8c0d3e196a7d9902a3313f6e88bcbcf6fc5026803c.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "3ac0f28d0334352edc69ba8c0d3e196a7d9902a3313f6e88bcbcf6fc5026803c",
    "witness-size": 1001,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:31:10+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "8b26945fbf41b2a5aee7527add1f04dfa77de80e9173a27b0af3b01807c77b00",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copyInitSum_ground.i",
    "programhash": "8b26945fbf41b2a5aee7527add1f04dfa77de80e9173a27b0af3b01807c77b00",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/f75448f977301a1f5a220f5963c0dfb33659263c8e5ceaf1e984a4dec24b92fb.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "f75448f977301a1f5a220f5963c0dfb33659263c8e5ceaf1e984a4dec24b92fb",
    "witness-size": 998,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:34:23",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "8b26945fbf41b2a5aee7527add1f04dfa77de80e9173a27b0af3b01807c77b00",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_a98ba927-a649-45bc-96a8-33407dd2b018/sv-benchmarks/c/array-examples/standard_copyInitSum_ground.i",
    "programhash": "8b26945fbf41b2a5aee7527add1f04dfa77de80e9173a27b0af3b01807c77b00",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/8d4fda10900dc824729fb5c25a4ac77aa963d9a8280f02326244bd721a3bca40.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "8d4fda10900dc824729fb5c25a4ac77aa963d9a8280f02326244bd721a3bca40",
    "witness-size": 6766,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 00:33:08.190347",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "8b26945fbf41b2a5aee7527add1f04dfa77de80e9173a27b0af3b01807c77b00",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copyInitSum_ground.i",
    "programhash": "8b26945fbf41b2a5aee7527add1f04dfa77de80e9173a27b0af3b01807c77b00",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/6a4d93f53371495019889d2afcf304d41d6a2b750862b0ee84d8653677176894.zip",
    "witness-number-of-tests": 80,
    "witness-sha256": "6a4d93f53371495019889d2afcf304d41d6a2b750862b0ee84d8653677176894",
    "witness-size": 35213,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Sun Dec  8 22:11:23 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "8b26945fbf41b2a5aee7527add1f04dfa77de80e9173a27b0af3b01807c77b00",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copyInitSum_ground.i",
    "programhash": "8b26945fbf41b2a5aee7527add1f04dfa77de80e9173a27b0af3b01807c77b00",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/7483fe479054d398bf61a5a45f8278b56f20d962a8efd85444a4f0c135243ca3.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "7483fe479054d398bf61a5a45f8278b56f20d962a8efd85444a4f0c135243ca3",
    "witness-size": 12333,
    "witness-type": "test-suite"
  }
]