[
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 10:17:11 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "f41d53c9be4d97be3880490f39e6c92904ef9ed03d71988624fa0190edf186a6",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy3_ground-1.i",
    "programhash": "f41d53c9be4d97be3880490f39e6c92904ef9ed03d71988624fa0190edf186a6",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/5dd9ee5945d8b49116ad33f21cec378117ebdaf4124998cfb4438c28f309f3f3.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "5dd9ee5945d8b49116ad33f21cec378117ebdaf4124998cfb4438c28f309f3f3",
    "witness-size": 29021,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:44:38+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "f41d53c9be4d97be3880490f39e6c92904ef9ed03d71988624fa0190edf186a6",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy3_ground-1.i",
    "programhash": "f41d53c9be4d97be3880490f39e6c92904ef9ed03d71988624fa0190edf186a6",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f5fe690213b532943cfa3b458d65c77db47c8c28f0c064d5b9a309c1e79933ec.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "f5fe690213b532943cfa3b458d65c77db47c8c28f0c064d5b9a309c1e79933ec",
    "witness-size": 986,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 06:04:44.730081",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "f41d53c9be4d97be3880490f39e6c92904ef9ed03d71988624fa0190edf186a6",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy3_ground-1.i",
    "programhash": "f41d53c9be4d97be3880490f39e6c92904ef9ed03d71988624fa0190edf186a6",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/4ab20767ed39411dbdabe907c731deb55514e970b2bfee86351822b5706f5568.zip",
    "witness-number-of-tests": 69,
    "witness-sha256": "4ab20767ed39411dbdabe907c731deb55514e970b2bfee86351822b5706f5568",
    "witness-size": 662514,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:38:54Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "f41d53c9be4d97be3880490f39e6c92904ef9ed03d71988624fa0190edf186a6",
    "programfile": "standard_copy3_ground-1.i.c",
    "programhash": "f41d53c9be4d97be3880490f39e6c92904ef9ed03d71988624fa0190edf186a6",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/2837503ac9d03a3f28089e2a000414a28b4f08ee7380ae37b5abebf4e410b1ac.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "2837503ac9d03a3f28089e2a000414a28b4f08ee7380ae37b5abebf4e410b1ac",
    "witness-size": 43310,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T06:46:47+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "f41d53c9be4d97be3880490f39e6c92904ef9ed03d71988624fa0190edf186a6",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy3_ground-1.i",
    "programhash": "f41d53c9be4d97be3880490f39e6c92904ef9ed03d71988624fa0190edf186a6",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/da7a49d8597641559cbe92792589020586e59d3b31baccc976b4d873e2bede56.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "da7a49d8597641559cbe92792589020586e59d3b31baccc976b4d873e2bede56",
    "witness-size": 973,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:16:00Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "f41d53c9be4d97be3880490f39e6c92904ef9ed03d71988624fa0190edf186a6",
    "programfile": "standard_copy3_ground-1.i.c",
    "programhash": "f41d53c9be4d97be3880490f39e6c92904ef9ed03d71988624fa0190edf186a6",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/a885494b6d40833ba785c4e5cff30670102b266a07bbca50c521999ad8282e0c.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "a885494b6d40833ba785c4e5cff30670102b266a07bbca50c521999ad8282e0c",
    "witness-size": 16624,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:44:15",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "f41d53c9be4d97be3880490f39e6c92904ef9ed03d71988624fa0190edf186a6",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_f4df9e86-46fc-4e17-bf30-6e474b84ac39/sv-benchmarks/c/array-examples/standard_copy3_ground-1.i",
    "programhash": "f41d53c9be4d97be3880490f39e6c92904ef9ed03d71988624fa0190edf186a6",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/be989642d0fb6ce1e719df60759fa4c49fee6caf58b4afd249f62102db1e655b.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "be989642d0fb6ce1e719df60759fa4c49fee6caf58b4afd249f62102db1e655b",
    "witness-size": 10624,
    "witness-type": "test-suite"
  }
]