[
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 10:38:59 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "programfile": "../../sv-benchmarks/c/recursive/Fibonacci05.c",
    "programhash": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/ef2ff14ba723ee44a95ac124270c97f17b6148918a84c5ddce44d90dd2ab7144.zip",
    "witness-number-of-tests": 15,
    "witness-sha256": "ef2ff14ba723ee44a95ac124270c97f17b6148918a84c5ddce44d90dd2ab7144",
    "witness-size": 40390,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T08:30:10+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "programfile": "../../sv-benchmarks/c/recursive/Fibonacci05.c",
    "programhash": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/a4e426995748031875d2f33f7cc72dc48961661f1d033e617595d77033c42b89.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "a4e426995748031875d2f33f7cc72dc48961661f1d033e617595d77033c42b89",
    "witness-size": 2012,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:06:33",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_4942332b-bf4b-42c2-bd8c-8efcf49107fa/sv-benchmarks/c/recursive/Fibonacci05.c",
    "programhash": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/7009197417674d8b542f32005c6c4ecaee3fc61bf5d6e5e3709500a2afec9ba0.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "7009197417674d8b542f32005c6c4ecaee3fc61bf5d6e5e3709500a2afec9ba0",
    "witness-size": 7333,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:51:38+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "programfile": "../../sv-benchmarks/c/recursive/Fibonacci05.c",
    "programhash": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/ecdc93cbc3f30b4455f6b49cb0636b65dc8aafac72885ee8cb69ebaadb78825e.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "ecdc93cbc3f30b4455f6b49cb0636b65dc8aafac72885ee8cb69ebaadb78825e",
    "witness-size": 639,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 07:22:02.290906",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "programfile": "../../sv-benchmarks/c/recursive/Fibonacci05.c",
    "programhash": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/f6f7c438fc9e35ac46f3c41ef2e46343f0cca07a06164f552b726df0cd86de30.zip",
    "witness-number-of-tests": 172,
    "witness-sha256": "f6f7c438fc9e35ac46f3c41ef2e46343f0cca07a06164f552b726df0cd86de30",
    "witness-size": 71750,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 06:46:21.304129",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "programfile": "../../sv-benchmarks/c/recursive/Fibonacci05.c",
    "programhash": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/4544328a75a7cda19b2aea00940425a45b29db22b67fe9dd01a7db2b3c0b4cee.zip",
    "witness-number-of-tests": 172,
    "witness-sha256": "4544328a75a7cda19b2aea00940425a45b29db22b67fe9dd01a7db2b3c0b4cee",
    "witness-size": 71359,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:26:58+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "programfile": "../../sv-benchmarks/c/recursive/Fibonacci05.c",
    "programhash": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/57a2b9cf85626aa6725b35ee02de27cd56bb9e209c3a3db5cb8d69e3f364f75c.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "57a2b9cf85626aa6725b35ee02de27cd56bb9e209c3a3db5cb8d69e3f364f75c",
    "witness-size": 1694,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T17:45:52Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "programfile": "Fibonacci05.c.c",
    "programhash": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/8334d7f4a523d56a7a04429cb7b78df5d20c744cc410fb4d955fe262b0bf09da.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "8334d7f4a523d56a7a04429cb7b78df5d20c744cc410fb4d955fe262b0bf09da",
    "witness-size": 30394,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T16:15:50Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "programfile": "Fibonacci05.c.c",
    "programhash": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/4bf2564db1e22af65ba6129fa60dfe404b02d227ee05b4687e8df686c82f92c5.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "4bf2564db1e22af65ba6129fa60dfe404b02d227ee05b4687e8df686c82f92c5",
    "witness-size": 30305,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T10:51:02Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "programfile": "Fibonacci05.c.c",
    "programhash": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/2ab1a2f7e4608326a0836a9d7f40a70da400c315d243488adfb15bc4e8e48208.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "2ab1a2f7e4608326a0836a9d7f40a70da400c315d243488adfb15bc4e8e48208",
    "witness-size": 4647,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:33:12Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "programfile": "Fibonacci05.c.c",
    "programhash": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/1e620cea09dec0f7f98a9408008764282dec7e65085f8517a5a09fbeb6232d78.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "1e620cea09dec0f7f98a9408008764282dec7e65085f8517a5a09fbeb6232d78",
    "witness-size": 88808,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 03:46:22 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "programfile": "../../sv-benchmarks/c/recursive/Fibonacci05.c",
    "programhash": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/61277d085319d3c03cacd7697ce1641ef82ea2c66b7875c2b412c8f3862abe00.zip",
    "witness-number-of-tests": 15,
    "witness-sha256": "61277d085319d3c03cacd7697ce1641ef82ea2c66b7875c2b412c8f3862abe00",
    "witness-size": 40379,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:47:33",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_3f411681-4edb-4fde-bf01-815d6527646b/sv-benchmarks/c/recursive/Fibonacci05.c",
    "programhash": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/211d10d2d1efc40cd0bd287df03c0e1fcaf978b1de0bda98ea6fb1dffef7109a.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "211d10d2d1efc40cd0bd287df03c0e1fcaf978b1de0bda98ea6fb1dffef7109a",
    "witness-size": 6798,
    "witness-type": "test-suite"
  }
]