[
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T00:03:29Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "87eedf0a6fbed007ab1a80c07141d1f6679e462f5d54673bf0954f831cfb10e2",
    "programfile": "sum02-1.c.c",
    "programhash": "87eedf0a6fbed007ab1a80c07141d1f6679e462f5d54673bf0954f831cfb10e2",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/8bdda3a8700af45dc677c9512b797eeb893bb6db92799980058540fa1556e77e.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "8bdda3a8700af45dc677c9512b797eeb893bb6db92799980058540fa1556e77e",
    "witness-size": 47406,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T03:22:01+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "87eedf0a6fbed007ab1a80c07141d1f6679e462f5d54673bf0954f831cfb10e2",
    "programfile": "../../sv-benchmarks/c/bitvector/sum02-1.c",
    "programhash": "87eedf0a6fbed007ab1a80c07141d1f6679e462f5d54673bf0954f831cfb10e2",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/f997fc93b67c42cd33350985db5c2403eaf6d4cfcda80453b1b7acba9a8f017a.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "f997fc93b67c42cd33350985db5c2403eaf6d4cfcda80453b1b7acba9a8f017a",
    "witness-size": 1402,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T23:58:05+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "87eedf0a6fbed007ab1a80c07141d1f6679e462f5d54673bf0954f831cfb10e2",
    "programfile": "../../sv-benchmarks/c/bitvector/sum02-1.c",
    "programhash": "87eedf0a6fbed007ab1a80c07141d1f6679e462f5d54673bf0954f831cfb10e2",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/abda5fa24c3f4e6480140bb190b08d7e063a4bdae28eba314c4811be62dc4451.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "abda5fa24c3f4e6480140bb190b08d7e063a4bdae28eba314c4811be62dc4451",
    "witness-size": 2001,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T07:37 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "87eedf0a6fbed007ab1a80c07141d1f6679e462f5d54673bf0954f831cfb10e2",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_c57f5d4c-627f-4d0d-9782-6aea195ff313/sv-benchmarks/c/bitvector/sum02-1.c",
    "programhash": "87eedf0a6fbed007ab1a80c07141d1f6679e462f5d54673bf0954f831cfb10e2",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/fa10a44f64f83bdbbe36deb3a10cffeb8a2bd71029279f17fa11f01e6c2e8da6.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "fa10a44f64f83bdbbe36deb3a10cffeb8a2bd71029279f17fa11f01e6c2e8da6",
    "witness-size": 898,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T02:33:17+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "87eedf0a6fbed007ab1a80c07141d1f6679e462f5d54673bf0954f831cfb10e2",
    "programfile": "../../sv-benchmarks/c/bitvector/sum02-1.c",
    "programhash": "87eedf0a6fbed007ab1a80c07141d1f6679e462f5d54673bf0954f831cfb10e2",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/f7995abf8bda19802c7f393f922da5c18493798d5453344993aec1016564e635.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "f7995abf8bda19802c7f393f922da5c18493798d5453344993aec1016564e635",
    "witness-size": 657,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T03:45:43Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "87eedf0a6fbed007ab1a80c07141d1f6679e462f5d54673bf0954f831cfb10e2",
    "programfile": "sum02-1.c.c",
    "programhash": "87eedf0a6fbed007ab1a80c07141d1f6679e462f5d54673bf0954f831cfb10e2",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/e45ca6471209b6740eb2eb4bba3a14e82c947dabb3eeb0539226e77e367e562f.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "e45ca6471209b6740eb2eb4bba3a14e82c947dabb3eeb0539226e77e367e562f",
    "witness-size": 47895,
    "witness-type": "test-suite"
  }
]