[
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:43:45",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "46494a16220c969ffc3313ad23629b3cdd1d83c18f731eb68207e7c197b55d85",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_c4f715d9-6755-4b59-9b0a-ff68abeb6164/sv-benchmarks/c/array-examples/standard_copy2_ground-2.i",
    "programhash": "46494a16220c969ffc3313ad23629b3cdd1d83c18f731eb68207e7c197b55d85",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b3ec0dd6e1a48fac9be9a81d5fcda3ba02331349ef28a2278bb2ecc679bd34fd.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "b3ec0dd6e1a48fac9be9a81d5fcda3ba02331349ef28a2278bb2ecc679bd34fd",
    "witness-size": 10201,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:33:28+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "46494a16220c969ffc3313ad23629b3cdd1d83c18f731eb68207e7c197b55d85",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy2_ground-2.i",
    "programhash": "46494a16220c969ffc3313ad23629b3cdd1d83c18f731eb68207e7c197b55d85",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/02ce9fac3d1ca200a7165cda619cc058b54d50f5eab2e70cc7be1ed41ebfaead.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "02ce9fac3d1ca200a7165cda619cc058b54d50f5eab2e70cc7be1ed41ebfaead",
    "witness-size": 975,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 03:59:41.411225",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "46494a16220c969ffc3313ad23629b3cdd1d83c18f731eb68207e7c197b55d85",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy2_ground-2.i",
    "programhash": "46494a16220c969ffc3313ad23629b3cdd1d83c18f731eb68207e7c197b55d85",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/9942b51018233a7e0b6d58b013f99c1434860c6973eab7d3c24e4f6d816e6f87.zip",
    "witness-number-of-tests": 72,
    "witness-sha256": "9942b51018233a7e0b6d58b013f99c1434860c6973eab7d3c24e4f6d816e6f87",
    "witness-size": 691251,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:24:32+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "46494a16220c969ffc3313ad23629b3cdd1d83c18f731eb68207e7c197b55d85",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy2_ground-2.i",
    "programhash": "46494a16220c969ffc3313ad23629b3cdd1d83c18f731eb68207e7c197b55d85",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/c03ef13e08153e803041b299f384407e9012067f447b52b5a66740264d932946.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "c03ef13e08153e803041b299f384407e9012067f447b52b5a66740264d932946",
    "witness-size": 987,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 00:05:09 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "46494a16220c969ffc3313ad23629b3cdd1d83c18f731eb68207e7c197b55d85",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy2_ground-2.i",
    "programhash": "46494a16220c969ffc3313ad23629b3cdd1d83c18f731eb68207e7c197b55d85",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/5d51fbda467eb40a30fc2866705b4235fe5966804326422a7e3b1e67166816d1.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "5d51fbda467eb40a30fc2866705b4235fe5966804326422a7e3b1e67166816d1",
    "witness-size": 28899,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:15:12Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "46494a16220c969ffc3313ad23629b3cdd1d83c18f731eb68207e7c197b55d85",
    "programfile": "standard_copy2_ground-2.i.c",
    "programhash": "46494a16220c969ffc3313ad23629b3cdd1d83c18f731eb68207e7c197b55d85",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/3810c8f1726de285b1128cc902996710c4d9a572a11e6f91f33f84d896db3d25.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "3810c8f1726de285b1128cc902996710c4d9a572a11e6f91f33f84d896db3d25",
    "witness-size": 16637,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T18:41:38Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "46494a16220c969ffc3313ad23629b3cdd1d83c18f731eb68207e7c197b55d85",
    "programfile": "standard_copy2_ground-2.i.c",
    "programhash": "46494a16220c969ffc3313ad23629b3cdd1d83c18f731eb68207e7c197b55d85",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b0329b0e2e5ad847e814edc0d15169936e95de60258f4e7ebf0d63d14130a47a.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "b0329b0e2e5ad847e814edc0d15169936e95de60258f4e7ebf0d63d14130a47a",
    "witness-size": 42988,
    "witness-type": "test-suite"
  }
]