[
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 02:16:55 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "e86801eb59e6145a220698e02fdd058ab0ca51742b28849ceb0e0151b0ca38c1",
    "programfile": "../../sv-benchmarks/c/bitvector/parity.i",
    "programhash": "e86801eb59e6145a220698e02fdd058ab0ca51742b28849ceb0e0151b0ca38c1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/f57c0cb2c88608417c7016650263f6769bae2accf9351fee61b7728e7abc28b8.zip",
    "witness-number-of-tests": 18,
    "witness-sha256": "f57c0cb2c88608417c7016650263f6769bae2accf9351fee61b7728e7abc28b8",
    "witness-size": 17079,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:01:26+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "e86801eb59e6145a220698e02fdd058ab0ca51742b28849ceb0e0151b0ca38c1",
    "programfile": "../../sv-benchmarks/c/bitvector/parity.i",
    "programhash": "e86801eb59e6145a220698e02fdd058ab0ca51742b28849ceb0e0151b0ca38c1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/84d81b31ec1cc0e65178a498220633565abed2eb8f62e1fd9657a715e8b0eeef.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "84d81b31ec1cc0e65178a498220633565abed2eb8f62e1fd9657a715e8b0eeef",
    "witness-size": 2692,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:46:05",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "e86801eb59e6145a220698e02fdd058ab0ca51742b28849ceb0e0151b0ca38c1",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_cf7ace82-bdab-4162-8a93-71dad78347c1/sv-benchmarks/c/bitvector/parity.i",
    "programhash": "e86801eb59e6145a220698e02fdd058ab0ca51742b28849ceb0e0151b0ca38c1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/02c8a5d149551a1f0e82ad0cd74fc491f19d1b1598184568db4ffae490e995d8.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "02c8a5d149551a1f0e82ad0cd74fc491f19d1b1598184568db4ffae490e995d8",
    "witness-size": 7370,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 08:28:02.679476",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "e86801eb59e6145a220698e02fdd058ab0ca51742b28849ceb0e0151b0ca38c1",
    "programfile": "../../sv-benchmarks/c/bitvector/parity.i",
    "programhash": "e86801eb59e6145a220698e02fdd058ab0ca51742b28849ceb0e0151b0ca38c1",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/ae3ae1e6a0f64a7004629ed6ccca51b9a563c4cb3e97a3572ac6a4d5fc11b7f0.zip",
    "witness-number-of-tests": 671,
    "witness-sha256": "ae3ae1e6a0f64a7004629ed6ccca51b9a563c4cb3e97a3572ac6a4d5fc11b7f0",
    "witness-size": 294446,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:09:06Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "e86801eb59e6145a220698e02fdd058ab0ca51742b28849ceb0e0151b0ca38c1",
    "programfile": "parity.i.c",
    "programhash": "e86801eb59e6145a220698e02fdd058ab0ca51742b28849ceb0e0151b0ca38c1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/effbd78bb38df3c33e4cae65172991541603b22ef24fbb1b29ba12cf0d757e74.zip",
    "witness-number-of-tests": 25,
    "witness-sha256": "effbd78bb38df3c33e4cae65172991541603b22ef24fbb1b29ba12cf0d757e74",
    "witness-size": 26405,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:37:41+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "e86801eb59e6145a220698e02fdd058ab0ca51742b28849ceb0e0151b0ca38c1",
    "programfile": "../../sv-benchmarks/c/bitvector/parity.i",
    "programhash": "e86801eb59e6145a220698e02fdd058ab0ca51742b28849ceb0e0151b0ca38c1",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/a4e7b173b73dc5ec88a0d3f43183e54cd5fe630b1384e11d031b99c0351b62e0.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "a4e7b173b73dc5ec88a0d3f43183e54cd5fe630b1384e11d031b99c0351b62e0",
    "witness-size": 1689,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:22:07Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "e86801eb59e6145a220698e02fdd058ab0ca51742b28849ceb0e0151b0ca38c1",
    "programfile": "parity.i.c",
    "programhash": "e86801eb59e6145a220698e02fdd058ab0ca51742b28849ceb0e0151b0ca38c1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/6f79776a3e2575df4e082c26f41f6b3ee7256037a5c790c73d087c6a5fbf6eca.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "6f79776a3e2575df4e082c26f41f6b3ee7256037a5c790c73d087c6a5fbf6eca",
    "witness-size": 5218,
    "witness-type": "test-suite"
  }
]