[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:49:53Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "a62094de24e50d85666053ada386969f6fd05020dcdcecce6a2ff937cd9ac853",
    "programfile": "Fibonacci01-1.c.c",
    "programhash": "a62094de24e50d85666053ada386969f6fd05020dcdcecce6a2ff937cd9ac853",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/3c05713dbf59003e94c1902fa727bb9678c4a721eafb73fe4b2ab0505957ea95.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "3c05713dbf59003e94c1902fa727bb9678c4a721eafb73fe4b2ab0505957ea95",
    "witness-size": 30402,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:41:06",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "a62094de24e50d85666053ada386969f6fd05020dcdcecce6a2ff937cd9ac853",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_51d410c2-c902-4de7-b758-a5a943fa24c3/sv-benchmarks/c/recursive/Fibonacci01-1.c",
    "programhash": "a62094de24e50d85666053ada386969f6fd05020dcdcecce6a2ff937cd9ac853",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/7696d49ac272849f03915327c6fa673fb6091205c62a0dfbcd6c7b0909b95592.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "7696d49ac272849f03915327c6fa673fb6091205c62a0dfbcd6c7b0909b95592",
    "witness-size": 7524,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:38:10+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "a62094de24e50d85666053ada386969f6fd05020dcdcecce6a2ff937cd9ac853",
    "programfile": "../../sv-benchmarks/c/recursive/Fibonacci01-1.c",
    "programhash": "a62094de24e50d85666053ada386969f6fd05020dcdcecce6a2ff937cd9ac853",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/057179472292f655d3eac8e3b25d75996c023cd6ddbf0395dff1571dc8e0b85c.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "057179472292f655d3eac8e3b25d75996c023cd6ddbf0395dff1571dc8e0b85c",
    "witness-size": 2418,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 10:53:00.763260",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "a62094de24e50d85666053ada386969f6fd05020dcdcecce6a2ff937cd9ac853",
    "programfile": "../../sv-benchmarks/c/recursive/Fibonacci01-1.c",
    "programhash": "a62094de24e50d85666053ada386969f6fd05020dcdcecce6a2ff937cd9ac853",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/1a7a7642b3087eee4e2a974732a73ca7184c1da5ffddc77e477f966c6c92da74.zip",
    "witness-number-of-tests": 33,
    "witness-sha256": "1a7a7642b3087eee4e2a974732a73ca7184c1da5ffddc77e477f966c6c92da74",
    "witness-size": 14695,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:42:44Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "a62094de24e50d85666053ada386969f6fd05020dcdcecce6a2ff937cd9ac853",
    "programfile": "Fibonacci01-1.c.c",
    "programhash": "a62094de24e50d85666053ada386969f6fd05020dcdcecce6a2ff937cd9ac853",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/135ac1ae373eafe790825c877e0240a1e910466cac0edb7261147930fcb0fba3.zip",
    "witness-number-of-tests": 49,
    "witness-sha256": "135ac1ae373eafe790825c877e0240a1e910466cac0edb7261147930fcb0fba3",
    "witness-size": 78830,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 00:56:35 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "a62094de24e50d85666053ada386969f6fd05020dcdcecce6a2ff937cd9ac853",
    "programfile": "../../sv-benchmarks/c/recursive/Fibonacci01-1.c",
    "programhash": "a62094de24e50d85666053ada386969f6fd05020dcdcecce6a2ff937cd9ac853",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/4d00941033a69e39464826732c366a74e43a8828ba7e9013d39b3c86262177e4.zip",
    "witness-number-of-tests": 19,
    "witness-sha256": "4d00941033a69e39464826732c366a74e43a8828ba7e9013d39b3c86262177e4",
    "witness-size": 32320,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:44:29+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "a62094de24e50d85666053ada386969f6fd05020dcdcecce6a2ff937cd9ac853",
    "programfile": "../../sv-benchmarks/c/recursive/Fibonacci01-1.c",
    "programhash": "a62094de24e50d85666053ada386969f6fd05020dcdcecce6a2ff937cd9ac853",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/0c8d200fcc2cbc9f0dba3c44a5af6453101d43c2966b33baf2cbd412bbdca3c4.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "0c8d200fcc2cbc9f0dba3c44a5af6453101d43c2966b33baf2cbd412bbdca3c4",
    "witness-size": 3052,
    "witness-type": "test-suite"
  }
]