[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:47:02+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "243bad48d0f0dc066785e00be186963d948e6b8b3d32c98b1f6c6bef2a72270b",
    "programfile": "../../sv-benchmarks/c/recursive/EvenOdd01-1.c",
    "programhash": "243bad48d0f0dc066785e00be186963d948e6b8b3d32c98b1f6c6bef2a72270b",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/465810985cdaa248e67234e7034638de56befdc9d85e1511711cbad554d4b594.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "465810985cdaa248e67234e7034638de56befdc9d85e1511711cbad554d4b594",
    "witness-size": 2411,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:04:41+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "243bad48d0f0dc066785e00be186963d948e6b8b3d32c98b1f6c6bef2a72270b",
    "programfile": "../../sv-benchmarks/c/recursive/EvenOdd01-1.c",
    "programhash": "243bad48d0f0dc066785e00be186963d948e6b8b3d32c98b1f6c6bef2a72270b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/1d9cd6ded928477dd2ef60b9a73ffdd85f1874377be47948c89fcc162e011013.zip",
    "witness-number-of-tests": 8,
    "witness-sha256": "1d9cd6ded928477dd2ef60b9a73ffdd85f1874377be47948c89fcc162e011013",
    "witness-size": 3392,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:18:30Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "243bad48d0f0dc066785e00be186963d948e6b8b3d32c98b1f6c6bef2a72270b",
    "programfile": "EvenOdd01-1.c.c",
    "programhash": "243bad48d0f0dc066785e00be186963d948e6b8b3d32c98b1f6c6bef2a72270b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/77464126f8221a5e8e9e98937930c131676ffbee22c23b69e275bb8dfa8e7412.zip",
    "witness-number-of-tests": 1001,
    "witness-sha256": "77464126f8221a5e8e9e98937930c131676ffbee22c23b69e275bb8dfa8e7412",
    "witness-size": 379294,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 04:31:15.086071",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "243bad48d0f0dc066785e00be186963d948e6b8b3d32c98b1f6c6bef2a72270b",
    "programfile": "../../sv-benchmarks/c/recursive/EvenOdd01-1.c",
    "programhash": "243bad48d0f0dc066785e00be186963d948e6b8b3d32c98b1f6c6bef2a72270b",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/d51eb1cb22bb8cdb7be5eda7549685e32b9bb9c27271352e551aaba0d155f63c.zip",
    "witness-number-of-tests": 127,
    "witness-sha256": "d51eb1cb22bb8cdb7be5eda7549685e32b9bb9c27271352e551aaba0d155f63c",
    "witness-size": 53020,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 05:37:48 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "243bad48d0f0dc066785e00be186963d948e6b8b3d32c98b1f6c6bef2a72270b",
    "programfile": "../../sv-benchmarks/c/recursive/EvenOdd01-1.c",
    "programhash": "243bad48d0f0dc066785e00be186963d948e6b8b3d32c98b1f6c6bef2a72270b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/0a7ca6b56e93dae5afe864a5f4b0895dea0c3bb08fe043caddccfe8b60b44d95.zip",
    "witness-number-of-tests": 26,
    "witness-sha256": "0a7ca6b56e93dae5afe864a5f4b0895dea0c3bb08fe043caddccfe8b60b44d95",
    "witness-size": 28194,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:37:33Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "243bad48d0f0dc066785e00be186963d948e6b8b3d32c98b1f6c6bef2a72270b",
    "programfile": "EvenOdd01-1.c.c",
    "programhash": "243bad48d0f0dc066785e00be186963d948e6b8b3d32c98b1f6c6bef2a72270b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/2f9d45d4be3a48f771463bce754eeeb1747af94aa4b1af232cddb9d34203d2a2.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "2f9d45d4be3a48f771463bce754eeeb1747af94aa4b1af232cddb9d34203d2a2",
    "witness-size": 47067,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:41:18",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "243bad48d0f0dc066785e00be186963d948e6b8b3d32c98b1f6c6bef2a72270b",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_cc6549ab-efc2-4faa-9b53-33ff4f23f2a7/sv-benchmarks/c/recursive/EvenOdd01-1.c",
    "programhash": "243bad48d0f0dc066785e00be186963d948e6b8b3d32c98b1f6c6bef2a72270b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/0d586af05428ad8af92c9771884c5d695ac86a6d9be250ec8dbb9551e7fa5d1f.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "0d586af05428ad8af92c9771884c5d695ac86a6d9be250ec8dbb9551e7fa5d1f",
    "witness-size": 7021,
    "witness-type": "test-suite"
  }
]