{
    "architecture": "32bit",
    "creationtime": "2019-02-06T00:09:50+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "77b30ed71d367a9eda341b05049d8050b9ab8f07e937028b34ed6cfd2c61cf44",
    "programfile": "../../sv-benchmarks/c/recursive/Ackermann01-2.c",
    "programhash": "77b30ed71d367a9eda341b05049d8050b9ab8f07e937028b34ed6cfd2c61cf44",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/98b6f269d7805f8942219d11d50dfc937e4a78574334c52fb4fbb7610a4f89cb.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "98b6f269d7805f8942219d11d50dfc937e4a78574334c52fb4fbb7610a4f89cb",
    "witness-size": 3755,
    "witness-type": "test-suite"
}