[
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 08:54:58 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "2da4d9f9d77cbf5c8a30d91e14f7bbe56bfc2e283eea07ddaf3472624ba3c538",
    "programfile": "../../sv-benchmarks/c/array-examples/sanfoundry_10_ground.c",
    "programhash": "2da4d9f9d77cbf5c8a30d91e14f7bbe56bfc2e283eea07ddaf3472624ba3c538",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/2f1bd8441915cd8cfb7bb61c5b910e7bd1eb6d6cecc4ddbf61a4b10b877024bc.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "2f1bd8441915cd8cfb7bb61c5b910e7bd1eb6d6cecc4ddbf61a4b10b877024bc",
    "witness-size": 51757,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:31:10+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "2da4d9f9d77cbf5c8a30d91e14f7bbe56bfc2e283eea07ddaf3472624ba3c538",
    "programfile": "../../sv-benchmarks/c/array-examples/sanfoundry_10_ground.c",
    "programhash": "2da4d9f9d77cbf5c8a30d91e14f7bbe56bfc2e283eea07ddaf3472624ba3c538",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/e70ebcc9c27acfc54b33db80a15778752b61af4246070c4a7f03984763fbd1c5.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "e70ebcc9c27acfc54b33db80a15778752b61af4246070c4a7f03984763fbd1c5",
    "witness-size": 997,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 08:10:25.310445",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "2da4d9f9d77cbf5c8a30d91e14f7bbe56bfc2e283eea07ddaf3472624ba3c538",
    "programfile": "../../sv-benchmarks/c/array-examples/sanfoundry_10_ground.c",
    "programhash": "2da4d9f9d77cbf5c8a30d91e14f7bbe56bfc2e283eea07ddaf3472624ba3c538",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/1202902ad4d3372e63f85410b28cc13e4798e0d3354042a0a01b5088afd84ff2.zip",
    "witness-number-of-tests": 74,
    "witness-sha256": "1202902ad4d3372e63f85410b28cc13e4798e0d3354042a0a01b5088afd84ff2",
    "witness-size": 710803,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:50:46Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "2da4d9f9d77cbf5c8a30d91e14f7bbe56bfc2e283eea07ddaf3472624ba3c538",
    "programfile": "sanfoundry_10_ground.c.c",
    "programhash": "2da4d9f9d77cbf5c8a30d91e14f7bbe56bfc2e283eea07ddaf3472624ba3c538",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/992cf1fd8061066fc8ee47a013b1e57c40b70fdc55f5d6d3b48930950350c8b7.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "992cf1fd8061066fc8ee47a013b1e57c40b70fdc55f5d6d3b48930950350c8b7",
    "witness-size": 43822,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:52:04+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "2da4d9f9d77cbf5c8a30d91e14f7bbe56bfc2e283eea07ddaf3472624ba3c538",
    "programfile": "../../sv-benchmarks/c/array-examples/sanfoundry_10_ground.c",
    "programhash": "2da4d9f9d77cbf5c8a30d91e14f7bbe56bfc2e283eea07ddaf3472624ba3c538",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/777e70a0896120c2299e113e17a55f0e444b8ca1d3031f177bda4fb3af684878.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "777e70a0896120c2299e113e17a55f0e444b8ca1d3031f177bda4fb3af684878",
    "witness-size": 998,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T09:22:04Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "2da4d9f9d77cbf5c8a30d91e14f7bbe56bfc2e283eea07ddaf3472624ba3c538",
    "programfile": "sanfoundry_10_ground.c.c",
    "programhash": "2da4d9f9d77cbf5c8a30d91e14f7bbe56bfc2e283eea07ddaf3472624ba3c538",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f80e4e7b0b5a57f6e50eeb5c6f7cf69bdff0070d5e1258bd2805d109fec8a022.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "f80e4e7b0b5a57f6e50eeb5c6f7cf69bdff0070d5e1258bd2805d109fec8a022",
    "witness-size": 16494,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:23:58",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "2da4d9f9d77cbf5c8a30d91e14f7bbe56bfc2e283eea07ddaf3472624ba3c538",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_11621224-2b31-47e1-b4e3-0391ca48bb45/sv-benchmarks/c/array-examples/sanfoundry_10_ground.c",
    "programhash": "2da4d9f9d77cbf5c8a30d91e14f7bbe56bfc2e283eea07ddaf3472624ba3c538",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/57d6c1baff3cdffb86203fe8ff3f9ddf2e9b0f8612975799472e504d4966d575.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "57d6c1baff3cdffb86203fe8ff3f9ddf2e9b0f8612975799472e504d4966d575",
    "witness-size": 11165,
    "witness-type": "test-suite"
  }
]