[
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:53:18",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_3685c425-e786-4a60-b422-5f6aa14508c1/sv-benchmarks/c/array-industry-pattern/array_single_elem_init.i",
    "programhash": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/11a9d47dff66121e4fef04e3fb45ab994876175a7dce1a30e40b08a01ddcfc42.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "11a9d47dff66121e4fef04e3fb45ab994876175a7dce1a30e40b08a01ddcfc42",
    "witness-size": 5517,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:38:32Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "programfile": "array_single_elem_init.i.c",
    "programhash": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b6705334f5d9e3551582116b7fd85ad35b889f999e2b381a097da5fff5e5b8cd.zip",
    "witness-number-of-tests": 2928,
    "witness-sha256": "b6705334f5d9e3551582116b7fd85ad35b889f999e2b381a097da5fff5e5b8cd",
    "witness-size": 18968858,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:41:58",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_0255f03e-a10f-4d90-abef-88f7a222ce70/sv-benchmarks/c/array-industry-pattern/array_single_elem_init.i",
    "programhash": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/76d97aa5e792eee3af01071d7996783d262c1393440f64f11785ab0580f32ebf.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "76d97aa5e792eee3af01071d7996783d262c1393440f64f11785ab0580f32ebf",
    "witness-size": 4929,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T10:35:39+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "programfile": "../../sv-benchmarks/c/array-industry-pattern/array_single_elem_init.i",
    "programhash": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/37b72850ecaf842d6f71324f7d3bf0928bd8ac076aed053888c64144e8dc09df.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "37b72850ecaf842d6f71324f7d3bf0928bd8ac076aed053888c64144e8dc09df",
    "witness-size": 1711,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T01:35:02Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "programfile": "array_single_elem_init.i.c",
    "programhash": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/4304fcd57fcfb9fbb1db1a5ae5295f90f8746375e6e522b7ff57aa8f246cf788.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "4304fcd57fcfb9fbb1db1a5ae5295f90f8746375e6e522b7ff57aa8f246cf788",
    "witness-size": 42548,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 08:49:43 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "programfile": "../../sv-benchmarks/c/array-industry-pattern/array_single_elem_init.i",
    "programhash": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/1d9add2fdd59a09d5e381b7ad2c27e5c8288949fbe1405de8a09be76814c71c3.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "1d9add2fdd59a09d5e381b7ad2c27e5c8288949fbe1405de8a09be76814c71c3",
    "witness-size": 31270,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T01:41:49Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "programfile": "array_single_elem_init.i.c",
    "programhash": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/66923a0e5621302d2c2f237d9828f3e14ce3df8f6134aacf7da7db169dafb44b.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "66923a0e5621302d2c2f237d9828f3e14ce3df8f6134aacf7da7db169dafb44b",
    "witness-size": 89347,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T06:30:28+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "programfile": "../../sv-benchmarks/c/array-industry-pattern/array_single_elem_init.i",
    "programhash": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/0a8356dc3920ae104b75b2298230b5c699613228b29d48eab21eb4348d572c97.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "0a8356dc3920ae104b75b2298230b5c699613228b29d48eab21eb4348d572c97",
    "witness-size": 653,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 08:29:32.805557",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "programfile": "../../sv-benchmarks/c/array-industry-pattern/array_single_elem_init.i",
    "programhash": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/3079659ea73a372a3ef0f50bf8275744c76fdba5bda20fbafb65870ea8381189.zip",
    "witness-number-of-tests": 43,
    "witness-sha256": "3079659ea73a372a3ef0f50bf8275744c76fdba5bda20fbafb65870ea8381189",
    "witness-size": 374035,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 00:01:25 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "programfile": "../../sv-benchmarks/c/array-industry-pattern/array_single_elem_init.i",
    "programhash": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/14649192946529530e60617abc7708bbe4967b1d52410463b4db55c0459b2cc7.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "14649192946529530e60617abc7708bbe4967b1d52410463b4db55c0459b2cc7",
    "witness-size": 31716,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 01:03:13.999266",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "programfile": "../../sv-benchmarks/c/array-industry-pattern/array_single_elem_init.i",
    "programhash": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/c121b6b3053cb2e6317de43ccbfd0dbed12545b749a0cffb3bd2b38abdf07014.zip",
    "witness-number-of-tests": 43,
    "witness-sha256": "c121b6b3053cb2e6317de43ccbfd0dbed12545b749a0cffb3bd2b38abdf07014",
    "witness-size": 374000,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T18:08:31Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "programfile": "array_single_elem_init.i.c",
    "programhash": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/eacb6c1edccd43d593a6d846e5a7c15ce997ea5386d4afd1b906e5f44815b336.zip",
    "witness-number-of-tests": 2842,
    "witness-sha256": "eacb6c1edccd43d593a6d846e5a7c15ce997ea5386d4afd1b906e5f44815b336",
    "witness-size": 18864541,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T06:16:53+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "programfile": "../../sv-benchmarks/c/array-industry-pattern/array_single_elem_init.i",
    "programhash": "1107226e0b75f1f943f4f1d8376f0b2145be4a53e6e066e0f8b002393cbe6b29",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/5e7717f5f954423fbedad4e0954ec7865186b539a50ea203cc9a67e111452b66.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "5e7717f5f954423fbedad4e0954ec7865186b539a50ea203cc9a67e111452b66",
    "witness-size": 2702,
    "witness-type": "test-suite"
  }
]