[
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 10:48:24",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "e10b87afb74590edd7d6e1da6689b5c2bea11dbb27bd6ccafabc56e728a89b6f",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_759d4b85-7782-484d-b9dd-1122961f593a/sv-benchmarks/c/array-examples/sanfoundry_24-1.i",
    "programhash": "e10b87afb74590edd7d6e1da6689b5c2bea11dbb27bd6ccafabc56e728a89b6f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/cc3616ed6597e68e8bfb77cc99f06c4ab8e8f9cf5ecfe3354e02cef28f13d561.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "cc3616ed6597e68e8bfb77cc99f06c4ab8e8f9cf5ecfe3354e02cef28f13d561",
    "witness-size": 7900,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Sun Dec  8 22:15:41 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "e10b87afb74590edd7d6e1da6689b5c2bea11dbb27bd6ccafabc56e728a89b6f",
    "programfile": "../../sv-benchmarks/c/array-examples/sanfoundry_24-1.i",
    "programhash": "e10b87afb74590edd7d6e1da6689b5c2bea11dbb27bd6ccafabc56e728a89b6f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/67bcc2f587694d7f8ca03b2eccbb46fcc091eee0580116965ba800894a33c885.zip",
    "witness-number-of-tests": 31,
    "witness-sha256": "67bcc2f587694d7f8ca03b2eccbb46fcc091eee0580116965ba800894a33c885",
    "witness-size": 29489,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:08:33Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "e10b87afb74590edd7d6e1da6689b5c2bea11dbb27bd6ccafabc56e728a89b6f",
    "programfile": "sanfoundry_24-1.i.c",
    "programhash": "e10b87afb74590edd7d6e1da6689b5c2bea11dbb27bd6ccafabc56e728a89b6f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/2d7e268bd41f7b7e5707259e35daf955568d90f74f0aff221b87c91f58a5d258.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "2d7e268bd41f7b7e5707259e35daf955568d90f74f0aff221b87c91f58a5d258",
    "witness-size": 89545,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:52:42+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "e10b87afb74590edd7d6e1da6689b5c2bea11dbb27bd6ccafabc56e728a89b6f",
    "programfile": "../../sv-benchmarks/c/array-examples/sanfoundry_24-1.i",
    "programhash": "e10b87afb74590edd7d6e1da6689b5c2bea11dbb27bd6ccafabc56e728a89b6f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/60b6461eebc0704d37fba090309a85d7c7ab37d5b9a1c6b7fae5bd54e3785864.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "60b6461eebc0704d37fba090309a85d7c7ab37d5b9a1c6b7fae5bd54e3785864",
    "witness-size": 3767,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 01:13:41.325582",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "e10b87afb74590edd7d6e1da6689b5c2bea11dbb27bd6ccafabc56e728a89b6f",
    "programfile": "../../sv-benchmarks/c/array-examples/sanfoundry_24-1.i",
    "programhash": "e10b87afb74590edd7d6e1da6689b5c2bea11dbb27bd6ccafabc56e728a89b6f",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/c24415e48b9c346e28fe616ba6b4c16e220ff460fd152c16aa220c7c1be12081.zip",
    "witness-number-of-tests": 355,
    "witness-sha256": "c24415e48b9c346e28fe616ba6b4c16e220ff460fd152c16aa220c7c1be12081",
    "witness-size": 2018981,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T17:56:54Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "e10b87afb74590edd7d6e1da6689b5c2bea11dbb27bd6ccafabc56e728a89b6f",
    "programfile": "sanfoundry_24-1.i.c",
    "programhash": "e10b87afb74590edd7d6e1da6689b5c2bea11dbb27bd6ccafabc56e728a89b6f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/a132a513ebad2a068cbc4aba8e5072da0a14c61f17d5fe6686bfdc0a19eaaa71.zip",
    "witness-number-of-tests": 25284,
    "witness-sha256": "a132a513ebad2a068cbc4aba8e5072da0a14c61f17d5fe6686bfdc0a19eaaa71",
    "witness-size": 9517676,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:24:10+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "e10b87afb74590edd7d6e1da6689b5c2bea11dbb27bd6ccafabc56e728a89b6f",
    "programfile": "../../sv-benchmarks/c/array-examples/sanfoundry_24-1.i",
    "programhash": "e10b87afb74590edd7d6e1da6689b5c2bea11dbb27bd6ccafabc56e728a89b6f",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/b2d129e48b2cec8b4f577dd0fbf2d27745d0c9640c912ea55183ee2ca22c715b.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "b2d129e48b2cec8b4f577dd0fbf2d27745d0c9640c912ea55183ee2ca22c715b",
    "witness-size": 2828,
    "witness-type": "test-suite"
  }
]