[
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T02:03:57Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-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/2907a7e99f087f667775a20d3a62ddbb014321e2073d8f5c9ed0a6da81cd71a7.zip",
    "witness-number-of-tests": 8,
    "witness-sha256": "2907a7e99f087f667775a20d3a62ddbb014321e2073d8f5c9ed0a6da81cd71a7",
    "witness-size": 50824,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T10:16 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_0ee2d805-0719-4f3d-a12a-f3d18438dcd8/sv-benchmarks/c/recursive/Fibonacci05.c",
    "programhash": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/015921c6e28a482a94716d3afa1136ed24d5e2c0ac50a4636a5e27213270a23c.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "015921c6e28a482a94716d3afa1136ed24d5e2c0ac50a4636a5e27213270a23c",
    "witness-size": 1915,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T05:12:25+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "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/7bdd316ef274630c9f93a2519510a4766ce69e1f7ad2ed5d8faa52fe282763b9.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "7bdd316ef274630c9f93a2519510a4766ce69e1f7ad2ed5d8faa52fe282763b9",
    "witness-size": 2005,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T02:00:44Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-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/337b73af0fbf7b3787b849a688a6b7a9e3359da86bcd7d87288dfd91ccc2175d.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "337b73af0fbf7b3787b849a688a6b7a9e3359da86bcd7d87288dfd91ccc2175d",
    "witness-size": 2815,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:11 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_a0266838-c10b-43ad-b8a9-0882cf344b29/sv-benchmarks/c/recursive/Fibonacci05.c",
    "programhash": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/d75a70b222f542b80d054318943f81a9afc9b884fc650e7eb1dedcb556fd56a6.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "d75a70b222f542b80d054318943f81a9afc9b884fc650e7eb1dedcb556fd56a6",
    "witness-size": 914,
    "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": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_a0266838-c10b-43ad-b8a9-0882cf344b29/sv-benchmarks/c/recursive/Fibonacci05.c",
    "programhash": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/76a8900631338ddf01dd9796e986690931556fbf4c7670e95da7bf1db771d9db.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "76a8900631338ddf01dd9796e986690931556fbf4c7670e95da7bf1db771d9db",
    "witness-size": 2753,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T02:00:44Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-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/c306539ae2061f82427ad0a1726d8c077276a37d882878e5b54194eb78f0d1ba.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "c306539ae2061f82427ad0a1726d8c077276a37d882878e5b54194eb78f0d1ba",
    "witness-size": 4504,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T02:46:52+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "programfile": "../../sv-benchmarks/c/recursive/Fibonacci05.c",
    "programhash": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/9e5a928112b52c386f5b14f261462b7cd94ce6fc9b81ccda5e2001ab5467814c.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "9e5a928112b52c386f5b14f261462b7cd94ce6fc9b81ccda5e2001ab5467814c",
    "witness-size": 651,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T02:03:57Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-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/2466a21f936c94dc14502f838a3dc76b967500c0b42a77a997f542d7229ea7b2.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "2466a21f936c94dc14502f838a3dc76b967500c0b42a77a997f542d7229ea7b2",
    "witness-size": 2818,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T23:59:15+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "programfile": "../../sv-benchmarks/c/recursive/Fibonacci05.c",
    "programhash": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/b2d58076679b374e057b7f8a1205bc64bbba531e54ec4320da72779eefb31a80.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "b2d58076679b374e057b7f8a1205bc64bbba531e54ec4320da72779eefb31a80",
    "witness-size": 662,
    "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": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_0ee2d805-0719-4f3d-a12a-f3d18438dcd8/sv-benchmarks/c/recursive/Fibonacci05.c",
    "programhash": "86bf64f04dea513c3be5297a09b39b2d7dc94098d608618cee271627b6fa1559",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/5edc3ba4ae8c41cee3ee52f6840241c3d1041c5aca7b3bbd0538a2d5fba18dda.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "5edc3ba4ae8c41cee3ee52f6840241c3d1041c5aca7b3bbd0538a2d5fba18dda",
    "witness-size": 2753,
    "witness-type": "test-suite"
  }
]