[
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T08:07 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_737923f7-684f-4214-a2ae-d342192b4334/sv-benchmarks/c/recursive/Fibonacci04.c",
    "programhash": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/c967f715a2f2c1928c9d11a7fac763f60468f9ddedb29c232da2c10a426d611d.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "c967f715a2f2c1928c9d11a7fac763f60468f9ddedb29c232da2c10a426d611d",
    "witness-size": 1918,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T10:28 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_980610d6-1da8-4c7d-b724-622037139edd/sv-benchmarks/c/recursive/Fibonacci04.c",
    "programhash": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/ce8285c313b06593f2eb3a016777658a6fdb2e59662fc79f43c7b3f9a6c5d668.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "ce8285c313b06593f2eb3a016777658a6fdb2e59662fc79f43c7b3f9a6c5d668",
    "witness-size": 915,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:54 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_980610d6-1da8-4c7d-b724-622037139edd/sv-benchmarks/c/recursive/Fibonacci04.c",
    "programhash": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/bc2926619203e017b2c041beea3b6987f1b8d20c3e91f3181c969cd0da5f64c9.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "bc2926619203e017b2c041beea3b6987f1b8d20c3e91f3181c969cd0da5f64c9",
    "witness-size": 2759,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T22:48:06Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "programfile": "Fibonacci04.c.c",
    "programhash": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/afa7d344bd59511ac498b0bcb8ded48e0599b5060bf7eb5466ff505ebb5bee42.zip",
    "witness-number-of-tests": 8,
    "witness-sha256": "afa7d344bd59511ac498b0bcb8ded48e0599b5060bf7eb5466ff505ebb5bee42",
    "witness-size": 51014,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T22:48:06Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "programfile": "Fibonacci04.c.c",
    "programhash": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/65cda0d76720637b58fff87103a214d388a2c59edea36097cf3dbf9987ad609b.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "65cda0d76720637b58fff87103a214d388a2c59edea36097cf3dbf9987ad609b",
    "witness-size": 2803,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T00:13:08+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "programfile": "../../sv-benchmarks/c/recursive/Fibonacci04.c",
    "programhash": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/4990b1e2bfacadb652f03fea3a149b6cffa5842399ed22ad943c7258e43b3aad.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "4990b1e2bfacadb652f03fea3a149b6cffa5842399ed22ad943c7258e43b3aad",
    "witness-size": 2003,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T03:39:38+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "programfile": "../../sv-benchmarks/c/recursive/Fibonacci04.c",
    "programhash": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/fdf4921c8863bd6050083df4cef7b37fd2e648c4e7c70da7e95c167065f8ced6.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "fdf4921c8863bd6050083df4cef7b37fd2e648c4e7c70da7e95c167065f8ced6",
    "witness-size": 660,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:55 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_737923f7-684f-4214-a2ae-d342192b4334/sv-benchmarks/c/recursive/Fibonacci04.c",
    "programhash": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/857dd84b0898fd58540a804a06d83aceccb70f11c8811a26e7c45b6ffac1e8c0.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "857dd84b0898fd58540a804a06d83aceccb70f11c8811a26e7c45b6ffac1e8c0",
    "witness-size": 2766,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T03:20:25+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "programfile": "../../sv-benchmarks/c/recursive/Fibonacci04.c",
    "programhash": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/170a1962ceef12decd6c317fd990c2a0bc2e95606fd44b185030fedc4d614a3f.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "170a1962ceef12decd6c317fd990c2a0bc2e95606fd44b185030fedc4d614a3f",
    "witness-size": 650,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T21:22:55Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "programfile": "Fibonacci04.c.c",
    "programhash": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/cb2a7573b0388f02b324ce8178739692ed9f874e27854c88784a904591ac33cb.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "cb2a7573b0388f02b324ce8178739692ed9f874e27854c88784a904591ac33cb",
    "witness-size": 2821,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T21:22:55Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "programfile": "Fibonacci04.c.c",
    "programhash": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/5f1789d3d612fbf434823aa8b064c655f6dd111136dab4f83ba386d9865782f3.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "5f1789d3d612fbf434823aa8b064c655f6dd111136dab4f83ba386d9865782f3",
    "witness-size": 4456,
    "witness-type": "test-suite"
  }
]