[
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T00:18:08+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "94fc07d942de2045fc50eeb5e9f59ce815f9383f3a8ad51171f30bfda90eda58",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem04_label03.c",
    "programhash": "94fc07d942de2045fc50eeb5e9f59ce815f9383f3a8ad51171f30bfda90eda58",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b8d784812a267027954bf058f4d8122bffb6ae431332b3c5ee539cb88d37b1e2.zip",
    "witness-number-of-tests": 287,
    "witness-sha256": "b8d784812a267027954bf058f4d8122bffb6ae431332b3c5ee539cb88d37b1e2",
    "witness-size": 102507,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T02:29:44+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "94fc07d942de2045fc50eeb5e9f59ce815f9383f3a8ad51171f30bfda90eda58",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem04_label03.c",
    "programhash": "94fc07d942de2045fc50eeb5e9f59ce815f9383f3a8ad51171f30bfda90eda58",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/bd6233b35040b6ed9703f48db4a0de08f5728250c0f0ac263890c3afc4732784.zip",
    "witness-number-of-tests": 482,
    "witness-sha256": "bd6233b35040b6ed9703f48db4a0de08f5728250c0f0ac263890c3afc4732784",
    "witness-size": 186017,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T04:02:53Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "94fc07d942de2045fc50eeb5e9f59ce815f9383f3a8ad51171f30bfda90eda58",
    "programfile": "Problem04_label03.c.c",
    "programhash": "94fc07d942de2045fc50eeb5e9f59ce815f9383f3a8ad51171f30bfda90eda58",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/a8b419b1117cc2bb69c2ae3c69ef8ec8b4f5fc233d8308a390b0695ddab7a5b1.zip",
    "witness-number-of-tests": 1792,
    "witness-sha256": "a8b419b1117cc2bb69c2ae3c69ef8ec8b4f5fc233d8308a390b0695ddab7a5b1",
    "witness-size": 893247,
    "witness-type": "test-suite"
  }
]