[
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T10:23 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "020e1fc807267a59cbd0f4c092a5bd1047eeabea73aa14c8785354cfe1bb92f0",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_a1e14613-c06b-4cf7-a7f2-1a83a87cab7c/sv-benchmarks/c/bitvector/s3_srvr_1.BV.c.cil.c",
    "programhash": "020e1fc807267a59cbd0f4c092a5bd1047eeabea73aa14c8785354cfe1bb92f0",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/3653dfd5361f1c4533a8378fb70c87fce17b72799d8111b1a3c791493cb1850d.zip",
    "witness-number-of-tests": 33,
    "witness-sha256": "3653dfd5361f1c4533a8378fb70c87fce17b72799d8111b1a3c791493cb1850d",
    "witness-size": 12830,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T21:27:52+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "020e1fc807267a59cbd0f4c092a5bd1047eeabea73aa14c8785354cfe1bb92f0",
    "programfile": "../../sv-benchmarks/c/bitvector/s3_srvr_1.BV.c.cil.c",
    "programhash": "020e1fc807267a59cbd0f4c092a5bd1047eeabea73aa14c8785354cfe1bb92f0",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/2f2f1c617ba42d5604cd40dc34df374f67184baf1b8320ae772b766521403445.zip",
    "witness-number-of-tests": 104,
    "witness-sha256": "2f2f1c617ba42d5604cd40dc34df374f67184baf1b8320ae772b766521403445",
    "witness-size": 42199,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T23:38:10+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "020e1fc807267a59cbd0f4c092a5bd1047eeabea73aa14c8785354cfe1bb92f0",
    "programfile": "../../sv-benchmarks/c/bitvector/s3_srvr_1.BV.c.cil.c",
    "programhash": "020e1fc807267a59cbd0f4c092a5bd1047eeabea73aa14c8785354cfe1bb92f0",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/c0db68d91eb360e00371a4d16aa4ec189703fafd49e243799dedc6216c956b8f.zip",
    "witness-number-of-tests": 55,
    "witness-sha256": "c0db68d91eb360e00371a4d16aa4ec189703fafd49e243799dedc6216c956b8f",
    "witness-size": 32528,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T03:31:21Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "020e1fc807267a59cbd0f4c092a5bd1047eeabea73aa14c8785354cfe1bb92f0",
    "programfile": "s3_srvr_1.BV.c.cil.c.c",
    "programhash": "020e1fc807267a59cbd0f4c092a5bd1047eeabea73aa14c8785354cfe1bb92f0",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f775080ea0f7565774e2fe6809405af7519f04c963e287599a8385c80c31b6b4.zip",
    "witness-number-of-tests": 101,
    "witness-sha256": "f775080ea0f7565774e2fe6809405af7519f04c963e287599a8385c80c31b6b4",
    "witness-size": 86966,
    "witness-type": "test-suite"
  }
]