[
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T05:56:39Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "633a59f81289edeb7b76e95713454db29bb7aae4c5531abb1722425aa218d62f",
    "programfile": "s3_srvr_3_alt.BV.c.cil.c.c",
    "programhash": "633a59f81289edeb7b76e95713454db29bb7aae4c5531abb1722425aa218d62f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/1288d3db4e3fa311e5de5f00b76e7e1225e18ca8403bc02c99009aa21f861d38.zip",
    "witness-number-of-tests": 95,
    "witness-sha256": "1288d3db4e3fa311e5de5f00b76e7e1225e18ca8403bc02c99009aa21f861d38",
    "witness-size": 91997,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T03:18:37+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "633a59f81289edeb7b76e95713454db29bb7aae4c5531abb1722425aa218d62f",
    "programfile": "../../sv-benchmarks/c/bitvector/s3_srvr_3_alt.BV.c.cil.c",
    "programhash": "633a59f81289edeb7b76e95713454db29bb7aae4c5531abb1722425aa218d62f",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/dbe405227060d383b21c95ab0c63b023c7fc5192cc523aabb968f010c851625e.zip",
    "witness-number-of-tests": 28,
    "witness-sha256": "dbe405227060d383b21c95ab0c63b023c7fc5192cc523aabb968f010c851625e",
    "witness-size": 17622,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:22:36+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "633a59f81289edeb7b76e95713454db29bb7aae4c5531abb1722425aa218d62f",
    "programfile": "../../sv-benchmarks/c/bitvector/s3_srvr_3_alt.BV.c.cil.c",
    "programhash": "633a59f81289edeb7b76e95713454db29bb7aae4c5531abb1722425aa218d62f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/a051e8bad396767c018af756e6a36200348e923642117357238e0e9b8a241880.zip",
    "witness-number-of-tests": 103,
    "witness-sha256": "a051e8bad396767c018af756e6a36200348e923642117357238e0e9b8a241880",
    "witness-size": 43030,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T13:35 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "633a59f81289edeb7b76e95713454db29bb7aae4c5531abb1722425aa218d62f",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_1547c0d8-2574-4dcf-9c1f-7ed206e902e0/sv-benchmarks/c/bitvector/s3_srvr_3_alt.BV.c.cil.c",
    "programhash": "633a59f81289edeb7b76e95713454db29bb7aae4c5531abb1722425aa218d62f",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/bf517057e4607ea95950d9f5217c19453515f185dcdc61d4f70a0726a1b963bb.zip",
    "witness-number-of-tests": 36,
    "witness-sha256": "bf517057e4607ea95950d9f5217c19453515f185dcdc61d4f70a0726a1b963bb",
    "witness-size": 14047,
    "witness-type": "test-suite"
  }
]