[
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:45:30",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_bde3b2fe-8079-4b0a-9578-e7ae84a2676a/sv-benchmarks/c/recursive/Fibonacci04.c",
    "programhash": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/f8dfe3baa4f00dd8f60efe7544d6f6d2df5e81e09f7f1159e34bfb90bee367c1.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "f8dfe3baa4f00dd8f60efe7544d6f6d2df5e81e09f7f1159e34bfb90bee367c1",
    "witness-size": 6796,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T21:03:12+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "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/d82b661b0748a5a86b73dc9c709e4cf2adb8e69f7bdd04d5bdb1d6d4d798fb3f.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "d82b661b0748a5a86b73dc9c709e4cf2adb8e69f7bdd04d5bdb1d6d4d798fb3f",
    "witness-size": 2011,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 00:13:41 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "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/bb114602c92b0999d672f407ffa6c4bc5fac866a993906a46bcc0727b5e418e0.zip",
    "witness-number-of-tests": 15,
    "witness-sha256": "bb114602c92b0999d672f407ffa6c4bc5fac866a993906a46bcc0727b5e418e0",
    "witness-size": 40396,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T19:00:16Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "programfile": "Fibonacci04.c.c",
    "programhash": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/894b6a09d8d08c57c695a868883c58a38539ec87e864ce62a23b546e2c21d6e3.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "894b6a09d8d08c57c695a868883c58a38539ec87e864ce62a23b546e2c21d6e3",
    "witness-size": 30305,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:10:09Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-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/ab039f104054e0c38f446dc1561b0f91bd0e2f6f5530aa7ef38ae76d59117a2d.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "ab039f104054e0c38f446dc1561b0f91bd0e2f6f5530aa7ef38ae76d59117a2d",
    "witness-size": 89216,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T18:36:03Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "programfile": "Fibonacci04.c.c",
    "programhash": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/b1493247e3bd405690805aa773c4b899ad1bd3581895fc3d9bb9c9f5f15347f4.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "b1493247e3bd405690805aa773c4b899ad1bd3581895fc3d9bb9c9f5f15347f4",
    "witness-size": 31318,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:20:44Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-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/bade94e0a55d87f3638c1f4d9d302b0593b7c21aa5605072777dfd4a6cd48698.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "bade94e0a55d87f3638c1f4d9d302b0593b7c21aa5605072777dfd4a6cd48698",
    "witness-size": 4603,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T08:59:06+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "programfile": "../../sv-benchmarks/c/recursive/Fibonacci04.c",
    "programhash": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/3513efd3f2a95d2e9f042b73edbbf13d5bab67cf702ea93d697e08f7eba1bdd3.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "3513efd3f2a95d2e9f042b73edbbf13d5bab67cf702ea93d697e08f7eba1bdd3",
    "witness-size": 637,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 08:27:02.652414",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "programfile": "../../sv-benchmarks/c/recursive/Fibonacci04.c",
    "programhash": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/0c6db336d2b7e0059f03ce7e76e09af13caf2944b212ab3234e2f7e38957fb08.zip",
    "witness-number-of-tests": 190,
    "witness-sha256": "0c6db336d2b7e0059f03ce7e76e09af13caf2944b212ab3234e2f7e38957fb08",
    "witness-size": 78634,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 07:01:48.829888",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "programfile": "../../sv-benchmarks/c/recursive/Fibonacci04.c",
    "programhash": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/9a0d9eb389044be9ebfe7cd83d08d9a4e4c8ddbad341a2832e3ea9b39027e156.zip",
    "witness-number-of-tests": 179,
    "witness-sha256": "9a0d9eb389044be9ebfe7cd83d08d9a4e4c8ddbad341a2832e3ea9b39027e156",
    "witness-size": 74350,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T06:37:23+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "programfile": "../../sv-benchmarks/c/recursive/Fibonacci04.c",
    "programhash": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/3b56cd321c023fee3e7c787c86f3b193ee33a96d702d6298f50713124e019afc.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "3b56cd321c023fee3e7c787c86f3b193ee33a96d702d6298f50713124e019afc",
    "witness-size": 1693,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:45:34",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_18e90a27-7dca-4864-bfc8-e032264d4b45/sv-benchmarks/c/recursive/Fibonacci04.c",
    "programhash": "096d5f6a756a0beb96c5e3d1ef03309ca7fd94e559854024f151c3b1f05f0b00",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/6be668d198e5a4117182e11ad05446479fed8b6ae47c4ffa0f83c3994884cd36.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "6be668d198e5a4117182e11ad05446479fed8b6ae47c4ffa0f83c3994884cd36",
    "witness-size": 7332,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 08:15:45 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "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/66a04a23024fe4f712813b8e7d28cc03c97512a391c9f0bc9b4b90eef14193ba.zip",
    "witness-number-of-tests": 15,
    "witness-sha256": "66a04a23024fe4f712813b8e7d28cc03c97512a391c9f0bc9b4b90eef14193ba",
    "witness-size": 40389,
    "witness-type": "test-suite"
  }
]