[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:55:18+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "d457ffd07a9baf23bca8a6a5b6138d8414e56ed102297df8ac63921c77b04e7f",
    "programfile": "../../sv-benchmarks/c/array-industry-pattern/array_of_struct_ptr_mul_init.i",
    "programhash": "d457ffd07a9baf23bca8a6a5b6138d8414e56ed102297df8ac63921c77b04e7f",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/b8253f4e683bd28514dd97b658883070a7204c581a408cc8e70363c740e02509.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "b8253f4e683bd28514dd97b658883070a7204c581a408cc8e70363c740e02509",
    "witness-size": 649,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T16:47:00Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "d457ffd07a9baf23bca8a6a5b6138d8414e56ed102297df8ac63921c77b04e7f",
    "programfile": "array_of_struct_ptr_mul_init.i.c",
    "programhash": "d457ffd07a9baf23bca8a6a5b6138d8414e56ed102297df8ac63921c77b04e7f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/7f017d007b5e84e5563b3fb7989e3c99028d47b42af32c3f2bf0aa440d8a088b.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "7f017d007b5e84e5563b3fb7989e3c99028d47b42af32c3f2bf0aa440d8a088b",
    "witness-size": 18575,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:36:26Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "d457ffd07a9baf23bca8a6a5b6138d8414e56ed102297df8ac63921c77b04e7f",
    "programfile": "array_of_struct_ptr_mul_init.i.c",
    "programhash": "d457ffd07a9baf23bca8a6a5b6138d8414e56ed102297df8ac63921c77b04e7f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/ddc7cc994a9c8bda9d4ef339c2c193cfa6fc68e40c3b73d49058b09421463b41.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "ddc7cc994a9c8bda9d4ef339c2c193cfa6fc68e40c3b73d49058b09421463b41",
    "witness-size": 90494,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08 23:45:52.726557",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "d457ffd07a9baf23bca8a6a5b6138d8414e56ed102297df8ac63921c77b04e7f",
    "programfile": "../../sv-benchmarks/c/array-industry-pattern/array_of_struct_ptr_mul_init.i",
    "programhash": "d457ffd07a9baf23bca8a6a5b6138d8414e56ed102297df8ac63921c77b04e7f",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/ec848f30648e78770affe6ea7b5db4faa94067bca8aba47e0bf52f4a58789ba6.zip",
    "witness-number-of-tests": 21,
    "witness-sha256": "ec848f30648e78770affe6ea7b5db4faa94067bca8aba47e0bf52f4a58789ba6",
    "witness-size": 221281,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 01:14:36 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "d457ffd07a9baf23bca8a6a5b6138d8414e56ed102297df8ac63921c77b04e7f",
    "programfile": "../../sv-benchmarks/c/array-industry-pattern/array_of_struct_ptr_mul_init.i",
    "programhash": "d457ffd07a9baf23bca8a6a5b6138d8414e56ed102297df8ac63921c77b04e7f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/163044803f4288b5c9e03ce279d174a1aeb485b9e332f061d11376fd4ec07a90.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "163044803f4288b5c9e03ce279d174a1aeb485b9e332f061d11376fd4ec07a90",
    "witness-size": 31203,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 10:59:16",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "d457ffd07a9baf23bca8a6a5b6138d8414e56ed102297df8ac63921c77b04e7f",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_5528f33e-9da6-479b-8b86-7aa7e8c662e2/sv-benchmarks/c/array-industry-pattern/array_of_struct_ptr_mul_init.i",
    "programhash": "d457ffd07a9baf23bca8a6a5b6138d8414e56ed102297df8ac63921c77b04e7f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/669e0d75cd2a752f0ff8414653e313b260839307ff40eb56fd2aa25f7ef70b2e.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "669e0d75cd2a752f0ff8414653e313b260839307ff40eb56fd2aa25f7ef70b2e",
    "witness-size": 6053,
    "witness-type": "test-suite"
  }
]