{
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:23:18+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "e7db6cf5e093ab60c413d79508acf4ee8ddab8da4d373549766f8aa38b71187f",
    "programfile": "../../sv-benchmarks/c/bitvector/gcd_3.c",
    "programhash": "e7db6cf5e093ab60c413d79508acf4ee8ddab8da4d373549766f8aa38b71187f",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/bbcdc8038626485d80e380aa8b8106f6a70f0d7f956b43e98c9918384ec77728.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "bbcdc8038626485d80e380aa8b8106f6a70f0d7f956b43e98c9918384ec77728",
    "witness-size": 2973,
    "witness-type": "test-suite"
}