[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:23:11+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "003de5a8b48b2967284b4054104ad1321f680e861a446c495fa99f5a3799e058",
    "programfile": "../../sv-benchmarks/c/recursive/gcd02.c",
    "programhash": "003de5a8b48b2967284b4054104ad1321f680e861a446c495fa99f5a3799e058",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/611e6ef3ac442cbb1637f3cf91b66182d4c1948d20aba0a96911c72b5f960f44.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "611e6ef3ac442cbb1637f3cf91b66182d4c1948d20aba0a96911c72b5f960f44",
    "witness-size": 2420,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T08:35:28Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "003de5a8b48b2967284b4054104ad1321f680e861a446c495fa99f5a3799e058",
    "programfile": "gcd02.c.c",
    "programhash": "003de5a8b48b2967284b4054104ad1321f680e861a446c495fa99f5a3799e058",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/3ab2b97139bf90ba8a36e25849c39ada0ecd1630290474fd4c4374235fb098e2.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "3ab2b97139bf90ba8a36e25849c39ada0ecd1630290474fd4c4374235fb098e2",
    "witness-size": 13999,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:40:24",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "003de5a8b48b2967284b4054104ad1321f680e861a446c495fa99f5a3799e058",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_60e7c1f3-ccbe-42da-ad5a-169871370a28/sv-benchmarks/c/recursive/gcd02.c",
    "programhash": "003de5a8b48b2967284b4054104ad1321f680e861a446c495fa99f5a3799e058",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/8fbc68b6ec698eea832fac38d67bb3ccc60217e0cd46938a6683ea6faef6f002.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "8fbc68b6ec698eea832fac38d67bb3ccc60217e0cd46938a6683ea6faef6f002",
    "witness-size": 7951,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 10:31:38 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "003de5a8b48b2967284b4054104ad1321f680e861a446c495fa99f5a3799e058",
    "programfile": "../../sv-benchmarks/c/recursive/gcd02.c",
    "programhash": "003de5a8b48b2967284b4054104ad1321f680e861a446c495fa99f5a3799e058",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/b4f2b7709c42d3a4c6d1845d3ef9efa43ccb7c69bf57cac50ef53372ecd228d7.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "b4f2b7709c42d3a4c6d1845d3ef9efa43ccb7c69bf57cac50ef53372ecd228d7",
    "witness-size": 13152,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:29:03Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "003de5a8b48b2967284b4054104ad1321f680e861a446c495fa99f5a3799e058",
    "programfile": "gcd02.c.c",
    "programhash": "003de5a8b48b2967284b4054104ad1321f680e861a446c495fa99f5a3799e058",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/54dbdf7e4b099850f8fba62d0bc49baec42be7f704ae0c0cbcdeb7f5f6847306.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "54dbdf7e4b099850f8fba62d0bc49baec42be7f704ae0c0cbcdeb7f5f6847306",
    "witness-size": 17556,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 09:10:04.598139",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "003de5a8b48b2967284b4054104ad1321f680e861a446c495fa99f5a3799e058",
    "programfile": "../../sv-benchmarks/c/recursive/gcd02.c",
    "programhash": "003de5a8b48b2967284b4054104ad1321f680e861a446c495fa99f5a3799e058",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/316364c5b85a017580c587527d8f0a447eb4eac9ab46195d02692987d0f4e52b.zip",
    "witness-number-of-tests": 32,
    "witness-sha256": "316364c5b85a017580c587527d8f0a447eb4eac9ab46195d02692987d0f4e52b",
    "witness-size": 14365,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T21:03:12+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "003de5a8b48b2967284b4054104ad1321f680e861a446c495fa99f5a3799e058",
    "programfile": "../../sv-benchmarks/c/recursive/gcd02.c",
    "programhash": "003de5a8b48b2967284b4054104ad1321f680e861a446c495fa99f5a3799e058",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b97f6722906e150afe965f6f58ea299404b3cff7c67e8f479cafeb58e7ae5013.zip",
    "witness-number-of-tests": 8,
    "witness-sha256": "b97f6722906e150afe965f6f58ea299404b3cff7c67e8f479cafeb58e7ae5013",
    "witness-size": 3429,
    "witness-type": "test-suite"
  }
]