[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:16:28+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "45e3deddc87556836cbc96733ed004ee97a4800e87e6f78f399e0e571b55a25c",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy5_ground-1.i",
    "programhash": "45e3deddc87556836cbc96733ed004ee97a4800e87e6f78f399e0e571b55a25c",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/8b0e5a5c8b00f0199857c64ea83f37757a10101a7256cbac3fb8aec41886f389.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "8b0e5a5c8b00f0199857c64ea83f37757a10101a7256cbac3fb8aec41886f389",
    "witness-size": 974,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T21:47:49+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "45e3deddc87556836cbc96733ed004ee97a4800e87e6f78f399e0e571b55a25c",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy5_ground-1.i",
    "programhash": "45e3deddc87556836cbc96733ed004ee97a4800e87e6f78f399e0e571b55a25c",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/3fb9e04e724ce536930d774c8a5384e4c1378b1a524d58f75b906c9149be3f28.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "3fb9e04e724ce536930d774c8a5384e4c1378b1a524d58f75b906c9149be3f28",
    "witness-size": 987,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 03:03:33.447915",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "45e3deddc87556836cbc96733ed004ee97a4800e87e6f78f399e0e571b55a25c",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy5_ground-1.i",
    "programhash": "45e3deddc87556836cbc96733ed004ee97a4800e87e6f78f399e0e571b55a25c",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/1d4a0024267d1b6827448084e180f2a124c7cda28b32d50b958e64853b20127c.zip",
    "witness-number-of-tests": 60,
    "witness-sha256": "1d4a0024267d1b6827448084e180f2a124c7cda28b32d50b958e64853b20127c",
    "witness-size": 575301,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:55:41Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "45e3deddc87556836cbc96733ed004ee97a4800e87e6f78f399e0e571b55a25c",
    "programfile": "standard_copy5_ground-1.i.c",
    "programhash": "45e3deddc87556836cbc96733ed004ee97a4800e87e6f78f399e0e571b55a25c",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/5933777cfc524397d7c98af5f7c15a1c51854ed284a7b1a88df353a5dd597e25.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "5933777cfc524397d7c98af5f7c15a1c51854ed284a7b1a88df353a5dd597e25",
    "witness-size": 16693,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:32:18Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "45e3deddc87556836cbc96733ed004ee97a4800e87e6f78f399e0e571b55a25c",
    "programfile": "standard_copy5_ground-1.i.c",
    "programhash": "45e3deddc87556836cbc96733ed004ee97a4800e87e6f78f399e0e571b55a25c",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/15a36e04c5ad427a8573ad73f934d88b79f9cc0109964a1efef8e433a2197e76.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "15a36e04c5ad427a8573ad73f934d88b79f9cc0109964a1efef8e433a2197e76",
    "witness-size": 43829,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 09:11:45 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "45e3deddc87556836cbc96733ed004ee97a4800e87e6f78f399e0e571b55a25c",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy5_ground-1.i",
    "programhash": "45e3deddc87556836cbc96733ed004ee97a4800e87e6f78f399e0e571b55a25c",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/0fd179a9f4f088a05e56a720c8c7dbec69f0218a90e44067649b3a4be2b0620c.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "0fd179a9f4f088a05e56a720c8c7dbec69f0218a90e44067649b3a4be2b0620c",
    "witness-size": 29950,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:41:38",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "45e3deddc87556836cbc96733ed004ee97a4800e87e6f78f399e0e571b55a25c",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_61f09e89-52a8-421f-b72f-acca1176b598/sv-benchmarks/c/array-examples/standard_copy5_ground-1.i",
    "programhash": "45e3deddc87556836cbc96733ed004ee97a4800e87e6f78f399e0e571b55a25c",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/d5e1e1a5de4d7776c704de8454b3a47172f790820b352bd227ec91555000f1b7.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "d5e1e1a5de4d7776c704de8454b3a47172f790820b352bd227ec91555000f1b7",
    "witness-size": 11505,
    "witness-type": "test-suite"
  }
]