[
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:40:34",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "24b3541bcb80949e952ccce03e9772fa749a993565d72b9bea565df3c9bf4ea9",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_d91f28ab-ba7c-4244-a2d8-96c59c5a4e20/sv-benchmarks/c/array-industry-pattern/array_of_struct_single_elem_init.i",
    "programhash": "24b3541bcb80949e952ccce03e9772fa749a993565d72b9bea565df3c9bf4ea9",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b4c23ddbd8b638fa871c825e40f4eeaed8881a2f0e8db5b67bd3e1581f56290e.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "b4c23ddbd8b638fa871c825e40f4eeaed8881a2f0e8db5b67bd3e1581f56290e",
    "witness-size": 7278,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:05:21Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "24b3541bcb80949e952ccce03e9772fa749a993565d72b9bea565df3c9bf4ea9",
    "programfile": "array_of_struct_single_elem_init.i.c",
    "programhash": "24b3541bcb80949e952ccce03e9772fa749a993565d72b9bea565df3c9bf4ea9",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/c84194a8790c2b0cb158bdb3b4be3cf584b40e7420593cefff2746aac7c80af8.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "c84194a8790c2b0cb158bdb3b4be3cf584b40e7420593cefff2746aac7c80af8",
    "witness-size": 29697,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 05:14:10.904012",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "24b3541bcb80949e952ccce03e9772fa749a993565d72b9bea565df3c9bf4ea9",
    "programfile": "../../sv-benchmarks/c/array-industry-pattern/array_of_struct_single_elem_init.i",
    "programhash": "24b3541bcb80949e952ccce03e9772fa749a993565d72b9bea565df3c9bf4ea9",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/984d12f5c0cade606373711e0d4f1d5df895c6310b4782eb8f7336c1ed659056.zip",
    "witness-number-of-tests": 38,
    "witness-sha256": "984d12f5c0cade606373711e0d4f1d5df895c6310b4782eb8f7336c1ed659056",
    "witness-size": 600525,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 06:43:15 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "24b3541bcb80949e952ccce03e9772fa749a993565d72b9bea565df3c9bf4ea9",
    "programfile": "../../sv-benchmarks/c/array-industry-pattern/array_of_struct_single_elem_init.i",
    "programhash": "24b3541bcb80949e952ccce03e9772fa749a993565d72b9bea565df3c9bf4ea9",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/cbd6122cea4bdf645ec73c5424d376c6ee95622cdfadb5b079526b2b6b4bb4de.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "cbd6122cea4bdf645ec73c5424d376c6ee95622cdfadb5b079526b2b6b4bb4de",
    "witness-size": 43550,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:35:51+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "24b3541bcb80949e952ccce03e9772fa749a993565d72b9bea565df3c9bf4ea9",
    "programfile": "../../sv-benchmarks/c/array-industry-pattern/array_of_struct_single_elem_init.i",
    "programhash": "24b3541bcb80949e952ccce03e9772fa749a993565d72b9bea565df3c9bf4ea9",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/ed2deb582d7a4da967d5261d963f63dc1e942dd6b6eb55090845d4eea4124c1e.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "ed2deb582d7a4da967d5261d963f63dc1e942dd6b6eb55090845d4eea4124c1e",
    "witness-size": 650,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:08:53Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "24b3541bcb80949e952ccce03e9772fa749a993565d72b9bea565df3c9bf4ea9",
    "programfile": "array_of_struct_single_elem_init.i.c",
    "programhash": "24b3541bcb80949e952ccce03e9772fa749a993565d72b9bea565df3c9bf4ea9",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/d2e358c1b884e71c3a2f1037a35c74ee6e150f876c726ebf648f060234939f0d.zip",
    "witness-number-of-tests": 384,
    "witness-sha256": "d2e358c1b884e71c3a2f1037a35c74ee6e150f876c726ebf648f060234939f0d",
    "witness-size": 937823,
    "witness-type": "test-suite"
  }
]