[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:52:40Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "556820d062e8866acb4e36cc99055b9f6f724805fc9e236983ae5050d7869b5b",
    "programfile": "recHanoi02-2.c.c",
    "programhash": "556820d062e8866acb4e36cc99055b9f6f724805fc9e236983ae5050d7869b5b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b38278279919183ee827b0540b85d18254ad4ed9042439dd20161890623bf7ea.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "b38278279919183ee827b0540b85d18254ad4ed9042439dd20161890623bf7ea",
    "witness-size": 4699,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T17:57:53Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "556820d062e8866acb4e36cc99055b9f6f724805fc9e236983ae5050d7869b5b",
    "programfile": "recHanoi02-2.c.c",
    "programhash": "556820d062e8866acb4e36cc99055b9f6f724805fc9e236983ae5050d7869b5b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/0289a903638810ba0c2a40ce27ef7e5e58a958454d34546fc386c23d8cc24faf.zip",
    "witness-number-of-tests": 32,
    "witness-sha256": "0289a903638810ba0c2a40ce27ef7e5e58a958454d34546fc386c23d8cc24faf",
    "witness-size": 27692,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T08:25:00+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "556820d062e8866acb4e36cc99055b9f6f724805fc9e236983ae5050d7869b5b",
    "programfile": "../../sv-benchmarks/c/recursive/recHanoi02-2.c",
    "programhash": "556820d062e8866acb4e36cc99055b9f6f724805fc9e236983ae5050d7869b5b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/24123379a81c034b5424cd3ef1cfc6586fa64932defa79bdb1dcf1749769c55c.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "24123379a81c034b5424cd3ef1cfc6586fa64932defa79bdb1dcf1749769c55c",
    "witness-size": 2700,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 06:05:49 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "556820d062e8866acb4e36cc99055b9f6f724805fc9e236983ae5050d7869b5b",
    "programfile": "../../sv-benchmarks/c/recursive/recHanoi02-2.c",
    "programhash": "556820d062e8866acb4e36cc99055b9f6f724805fc9e236983ae5050d7869b5b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/89c0907708b1c8b7ac83a3c476a07643396fee49ae618c97c76a58cedb6da783.zip",
    "witness-number-of-tests": 14,
    "witness-sha256": "89c0907708b1c8b7ac83a3c476a07643396fee49ae618c97c76a58cedb6da783",
    "witness-size": 14296,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:31:00+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "556820d062e8866acb4e36cc99055b9f6f724805fc9e236983ae5050d7869b5b",
    "programfile": "../../sv-benchmarks/c/recursive/recHanoi02-2.c",
    "programhash": "556820d062e8866acb4e36cc99055b9f6f724805fc9e236983ae5050d7869b5b",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/9d91962fc8a9ca0ab9fb62109cd71e6851f65670b403f668ff21029120fff9c2.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "9d91962fc8a9ca0ab9fb62109cd71e6851f65670b403f668ff21029120fff9c2",
    "witness-size": 2045,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 04:08:20.036894",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "556820d062e8866acb4e36cc99055b9f6f724805fc9e236983ae5050d7869b5b",
    "programfile": "../../sv-benchmarks/c/recursive/recHanoi02-2.c",
    "programhash": "556820d062e8866acb4e36cc99055b9f6f724805fc9e236983ae5050d7869b5b",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/10d83b5d1842e92aa035b1e5b9206ac405c6794a4305b974f8a6920d2286d2b5.zip",
    "witness-number-of-tests": 638,
    "witness-sha256": "10d83b5d1842e92aa035b1e5b9206ac405c6794a4305b974f8a6920d2286d2b5",
    "witness-size": 275038,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:55:16",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "556820d062e8866acb4e36cc99055b9f6f724805fc9e236983ae5050d7869b5b",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_8560b7eb-ff4c-4c9c-9ff8-af8ca8a9a6a0/sv-benchmarks/c/recursive/recHanoi02-2.c",
    "programhash": "556820d062e8866acb4e36cc99055b9f6f724805fc9e236983ae5050d7869b5b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b5d74c2ec4c8797b456233a56bae0166a4db9562abe281f5aef219d51f2b816f.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "b5d74c2ec4c8797b456233a56bae0166a4db9562abe281f5aef219d51f2b816f",
    "witness-size": 7289,
    "witness-type": "test-suite"
  }
]