[
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:47:14",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "fd851f8f16eb396c840d27ee06f0ff2f8b07254aa5b2b425d5e83e2f5a9ac6af",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_64a5f520-c9ad-4ee7-bfeb-6ed84ad59a73/sv-benchmarks/c/recursive/McCarthy91-2.c",
    "programhash": "fd851f8f16eb396c840d27ee06f0ff2f8b07254aa5b2b425d5e83e2f5a9ac6af",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/e0e1a39b582266c1feb205c4e5d95eb435d87e0d28ae9f58202beeab78875387.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "e0e1a39b582266c1feb205c4e5d95eb435d87e0d28ae9f58202beeab78875387",
    "witness-size": 7298,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T10:29:55+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "fd851f8f16eb396c840d27ee06f0ff2f8b07254aa5b2b425d5e83e2f5a9ac6af",
    "programfile": "../../sv-benchmarks/c/recursive/McCarthy91-2.c",
    "programhash": "fd851f8f16eb396c840d27ee06f0ff2f8b07254aa5b2b425d5e83e2f5a9ac6af",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/92e68d572a9f6694d08e74e903b4fad48112ae922f41d6ef743b6d1b18285866.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "92e68d572a9f6694d08e74e903b4fad48112ae922f41d6ef743b6d1b18285866",
    "witness-size": 1339,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:25:24Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "fd851f8f16eb396c840d27ee06f0ff2f8b07254aa5b2b425d5e83e2f5a9ac6af",
    "programfile": "McCarthy91-2.c.c",
    "programhash": "fd851f8f16eb396c840d27ee06f0ff2f8b07254aa5b2b425d5e83e2f5a9ac6af",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/ee32a8fffa7432d28df51836ebb31e1fa53d2838719f40e62a14f3dd1a8122ce.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "ee32a8fffa7432d28df51836ebb31e1fa53d2838719f40e62a14f3dd1a8122ce",
    "witness-size": 48398,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 00:04:25 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "fd851f8f16eb396c840d27ee06f0ff2f8b07254aa5b2b425d5e83e2f5a9ac6af",
    "programfile": "../../sv-benchmarks/c/recursive/McCarthy91-2.c",
    "programhash": "fd851f8f16eb396c840d27ee06f0ff2f8b07254aa5b2b425d5e83e2f5a9ac6af",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/25d800a4047ebb70a929313fc7029641041c52da345921d904687b8bc72fece5.zip",
    "witness-number-of-tests": 15,
    "witness-sha256": "25d800a4047ebb70a929313fc7029641041c52da345921d904687b8bc72fece5",
    "witness-size": 22988,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:10:10+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "fd851f8f16eb396c840d27ee06f0ff2f8b07254aa5b2b425d5e83e2f5a9ac6af",
    "programfile": "../../sv-benchmarks/c/recursive/McCarthy91-2.c",
    "programhash": "fd851f8f16eb396c840d27ee06f0ff2f8b07254aa5b2b425d5e83e2f5a9ac6af",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/44a07c7086e0cd587e9ef1c4a520b695affe47afb71c8817298e3e9dfb3b8711.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "44a07c7086e0cd587e9ef1c4a520b695affe47afb71c8817298e3e9dfb3b8711",
    "witness-size": 2017,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T18:44:37Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "fd851f8f16eb396c840d27ee06f0ff2f8b07254aa5b2b425d5e83e2f5a9ac6af",
    "programfile": "McCarthy91-2.c.c",
    "programhash": "fd851f8f16eb396c840d27ee06f0ff2f8b07254aa5b2b425d5e83e2f5a9ac6af",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f8652e5336ecdde8b4b3a6c4a6dd0ab389447aca4995d1e34f43215daeb66bd5.zip",
    "witness-number-of-tests": 269,
    "witness-sha256": "f8652e5336ecdde8b4b3a6c4a6dd0ab389447aca4995d1e34f43215daeb66bd5",
    "witness-size": 404390,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 07:09:22.857372",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "fd851f8f16eb396c840d27ee06f0ff2f8b07254aa5b2b425d5e83e2f5a9ac6af",
    "programfile": "../../sv-benchmarks/c/recursive/McCarthy91-2.c",
    "programhash": "fd851f8f16eb396c840d27ee06f0ff2f8b07254aa5b2b425d5e83e2f5a9ac6af",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/b4cb84864ef1673a58946024a875985c88094b9f3fe64ca12ff138c0f9b72b3b.zip",
    "witness-number-of-tests": 197,
    "witness-sha256": "b4cb84864ef1673a58946024a875985c88094b9f3fe64ca12ff138c0f9b72b3b",
    "witness-size": 82310,
    "witness-type": "test-suite"
  }
]