[
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:47 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "243bad48d0f0dc066785e00be186963d948e6b8b3d32c98b1f6c6bef2a72270b",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_6c62d47f-2520-4df1-91e2-aea945c055a3/sv-benchmarks/c/recursive/EvenOdd01-1.c",
    "programhash": "243bad48d0f0dc066785e00be186963d948e6b8b3d32c98b1f6c6bef2a72270b",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/2e12b6bcb04810042b69618cb3890646b78bb2bdf6a3937ac994aba2aa556243.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "2e12b6bcb04810042b69618cb3890646b78bb2bdf6a3937ac994aba2aa556243",
    "witness-size": 2248,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T23:38:50Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-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/64fde7b7b8adba54a7ccb8d65e15ed4499b3a6df767e641783d921cda79ab67b.zip",
    "witness-number-of-tests": 12,
    "witness-sha256": "64fde7b7b8adba54a7ccb8d65e15ed4499b3a6df767e641783d921cda79ab67b",
    "witness-size": 54566,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T23:02:08+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "243bad48d0f0dc066785e00be186963d948e6b8b3d32c98b1f6c6bef2a72270b",
    "programfile": "../../sv-benchmarks/c/recursive/EvenOdd01-1.c",
    "programhash": "243bad48d0f0dc066785e00be186963d948e6b8b3d32c98b1f6c6bef2a72270b",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/0fd6ff05cae072a9ba2c91fb72af77401aaaa12b0b970090cc34be6ce92639f3.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "0fd6ff05cae072a9ba2c91fb72af77401aaaa12b0b970090cc34be6ce92639f3",
    "witness-size": 2158,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T23:07:56+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "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/7b74879880d14bd18bdf077fce7c212ca11cca90008d300d43362002ee14f655.zip",
    "witness-number-of-tests": 8,
    "witness-sha256": "7b74879880d14bd18bdf077fce7c212ca11cca90008d300d43362002ee14f655",
    "witness-size": 3386,
    "witness-type": "test-suite"
  }
]