[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:55:23Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "e7db6cf5e093ab60c413d79508acf4ee8ddab8da4d373549766f8aa38b71187f",
    "programfile": "gcd_3.c.c",
    "programhash": "e7db6cf5e093ab60c413d79508acf4ee8ddab8da4d373549766f8aa38b71187f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/544b8b481e6950f2df53ef72b952693d1a95d99de175ff940da81d5db745fdca.zip",
    "witness-number-of-tests": 34,
    "witness-sha256": "544b8b481e6950f2df53ef72b952693d1a95d99de175ff940da81d5db745fdca",
    "witness-size": 31895,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:40:07",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "e7db6cf5e093ab60c413d79508acf4ee8ddab8da4d373549766f8aa38b71187f",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_e12e38c0-7b80-4178-b84b-291d1ff3e2f9/sv-benchmarks/c/bitvector/gcd_3.c",
    "programhash": "e7db6cf5e093ab60c413d79508acf4ee8ddab8da4d373549766f8aa38b71187f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/323056c2266a8f7660a9ef6c1273d87ddef5729b6fe09e80cd34f353181f536d.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "323056c2266a8f7660a9ef6c1273d87ddef5729b6fe09e80cd34f353181f536d",
    "witness-size": 10327,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:30:33+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "e7db6cf5e093ab60c413d79508acf4ee8ddab8da4d373549766f8aa38b71187f",
    "programfile": "../../sv-benchmarks/c/bitvector/gcd_3.c",
    "programhash": "e7db6cf5e093ab60c413d79508acf4ee8ddab8da4d373549766f8aa38b71187f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f7b67ef6f4596ec2a75cc21aca679fc2daa51e29cccf1c9f4a5c85f61b4bfa8c.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "f7b67ef6f4596ec2a75cc21aca679fc2daa51e29cccf1c9f4a5c85f61b4bfa8c",
    "witness-size": 3754,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 09:52:49 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "e7db6cf5e093ab60c413d79508acf4ee8ddab8da4d373549766f8aa38b71187f",
    "programfile": "../../sv-benchmarks/c/bitvector/gcd_3.c",
    "programhash": "e7db6cf5e093ab60c413d79508acf4ee8ddab8da4d373549766f8aa38b71187f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/7e0936140abc58f96a1bd9c211ca66d1452c597f27afee4d52abf63dbab06978.zip",
    "witness-number-of-tests": 12,
    "witness-sha256": "7e0936140abc58f96a1bd9c211ca66d1452c597f27afee4d52abf63dbab06978",
    "witness-size": 14167,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T09:28:13Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "e7db6cf5e093ab60c413d79508acf4ee8ddab8da4d373549766f8aa38b71187f",
    "programfile": "gcd_3.c.c",
    "programhash": "e7db6cf5e093ab60c413d79508acf4ee8ddab8da4d373549766f8aa38b71187f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/4cb81130f31ad7a34d71042e6b44ddd74abdafb669d28e0ccc8e0672c9099e91.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "4cb81130f31ad7a34d71042e6b44ddd74abdafb669d28e0ccc8e0672c9099e91",
    "witness-size": 5777,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 00:04:26.767673",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "e7db6cf5e093ab60c413d79508acf4ee8ddab8da4d373549766f8aa38b71187f",
    "programfile": "../../sv-benchmarks/c/bitvector/gcd_3.c",
    "programhash": "e7db6cf5e093ab60c413d79508acf4ee8ddab8da4d373549766f8aa38b71187f",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/9cc0c0853d1b0e66b7347605f9157059018a1038e1ed631051e73cb1e7fd25bf.zip",
    "witness-number-of-tests": 330,
    "witness-sha256": "9cc0c0853d1b0e66b7347605f9157059018a1038e1ed631051e73cb1e7fd25bf",
    "witness-size": 143237,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:33:32+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "e7db6cf5e093ab60c413d79508acf4ee8ddab8da4d373549766f8aa38b71187f",
    "programfile": "../../sv-benchmarks/c/bitvector/gcd_3.c",
    "programhash": "e7db6cf5e093ab60c413d79508acf4ee8ddab8da4d373549766f8aa38b71187f",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/e6b2f04850005a980d30734843f7e151d25d3841074930dac3bd19af284d66e0.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "e6b2f04850005a980d30734843f7e151d25d3841074930dac3bd19af284d66e0",
    "witness-size": 2441,
    "witness-type": "test-suite"
  }
]