[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:38:21Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "6daf227d18f8454c81d48995baa7c5d2c7a25055617a1d23ecf02feb1c50232a",
    "programfile": "sum02-2.c.c",
    "programhash": "6daf227d18f8454c81d48995baa7c5d2c7a25055617a1d23ecf02feb1c50232a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/85023ce73cd115fa81205dacf750fdf4a640a105fab875cfab96d5899b2663d7.zip",
    "witness-number-of-tests": 1001,
    "witness-sha256": "85023ce73cd115fa81205dacf750fdf4a640a105fab875cfab96d5899b2663d7",
    "witness-size": 394376,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:39:32+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "6daf227d18f8454c81d48995baa7c5d2c7a25055617a1d23ecf02feb1c50232a",
    "programfile": "../../sv-benchmarks/c/bitvector/sum02-2.c",
    "programhash": "6daf227d18f8454c81d48995baa7c5d2c7a25055617a1d23ecf02feb1c50232a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/e676af710d9d1aa4a48707100d35f7bdea820be4ba5a7fa5dc36b5d4c762939e.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "e676af710d9d1aa4a48707100d35f7bdea820be4ba5a7fa5dc36b5d4c762939e",
    "witness-size": 2351,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T01:50:51+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "6daf227d18f8454c81d48995baa7c5d2c7a25055617a1d23ecf02feb1c50232a",
    "programfile": "../../sv-benchmarks/c/bitvector/sum02-2.c",
    "programhash": "6daf227d18f8454c81d48995baa7c5d2c7a25055617a1d23ecf02feb1c50232a",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/f838e6dbd9932ec6430c37c4977910bf7ba052e0863dbd702245584e87251ff7.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "f838e6dbd9932ec6430c37c4977910bf7ba052e0863dbd702245584e87251ff7",
    "witness-size": 979,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T06:07:53Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "6daf227d18f8454c81d48995baa7c5d2c7a25055617a1d23ecf02feb1c50232a",
    "programfile": "sum02-2.c.c",
    "programhash": "6daf227d18f8454c81d48995baa7c5d2c7a25055617a1d23ecf02feb1c50232a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/5382834067647605397d664f3768f54da186349bcc3cd569619a9a92f21f244d.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "5382834067647605397d664f3768f54da186349bcc3cd569619a9a92f21f244d",
    "witness-size": 83079,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:46:29",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "6daf227d18f8454c81d48995baa7c5d2c7a25055617a1d23ecf02feb1c50232a",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_054831a1-42ed-40cf-88e1-039102004923/sv-benchmarks/c/bitvector/sum02-2.c",
    "programhash": "6daf227d18f8454c81d48995baa7c5d2c7a25055617a1d23ecf02feb1c50232a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b8532d2e89c8b14c75a709fbab2e37d75c7b8ad848a2e42e8a1859ec3eb7d044.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "b8532d2e89c8b14c75a709fbab2e37d75c7b8ad848a2e42e8a1859ec3eb7d044",
    "witness-size": 7255,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 07:48:11.377916",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "6daf227d18f8454c81d48995baa7c5d2c7a25055617a1d23ecf02feb1c50232a",
    "programfile": "../../sv-benchmarks/c/bitvector/sum02-2.c",
    "programhash": "6daf227d18f8454c81d48995baa7c5d2c7a25055617a1d23ecf02feb1c50232a",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/715652a33af18234029acd0042fabf392fa1979c9e49c1c61f14725f2a898aa1.zip",
    "witness-number-of-tests": 11,
    "witness-sha256": "715652a33af18234029acd0042fabf392fa1979c9e49c1c61f14725f2a898aa1",
    "witness-size": 5410,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 05:40:11 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "6daf227d18f8454c81d48995baa7c5d2c7a25055617a1d23ecf02feb1c50232a",
    "programfile": "../../sv-benchmarks/c/bitvector/sum02-2.c",
    "programhash": "6daf227d18f8454c81d48995baa7c5d2c7a25055617a1d23ecf02feb1c50232a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/91f6342e47a7dfc125f4f50f027dbe814c9482f77c596e40044275e97e26bccf.zip",
    "witness-number-of-tests": 13,
    "witness-sha256": "91f6342e47a7dfc125f4f50f027dbe814c9482f77c596e40044275e97e26bccf",
    "witness-size": 14028,
    "witness-type": "test-suite"
  }
]