[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 08:33:46.461882",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "6b73c20c48b2d03f023274d03db6af85302968fe4474c173fe1e0b59911c2c5b",
    "programfile": "../../sv-benchmarks/c/recursive/recHanoi03-2.c",
    "programhash": "6b73c20c48b2d03f023274d03db6af85302968fe4474c173fe1e0b59911c2c5b",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/9ecbfdc3bafeb2658dcb32751f77e386eec9cd11e83a9a0fe8ae4256442e55b6.zip",
    "witness-number-of-tests": 631,
    "witness-sha256": "9ecbfdc3bafeb2658dcb32751f77e386eec9cd11e83a9a0fe8ae4256442e55b6",
    "witness-size": 270710,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:37:39Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "6b73c20c48b2d03f023274d03db6af85302968fe4474c173fe1e0b59911c2c5b",
    "programfile": "recHanoi03-2.c.c",
    "programhash": "6b73c20c48b2d03f023274d03db6af85302968fe4474c173fe1e0b59911c2c5b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/1918b730ba3d7702cd97bd207f32455440d8534356da1e43f89958f6c3221acb.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "1918b730ba3d7702cd97bd207f32455440d8534356da1e43f89958f6c3221acb",
    "witness-size": 4699,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T11:18:13+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "6b73c20c48b2d03f023274d03db6af85302968fe4474c173fe1e0b59911c2c5b",
    "programfile": "../../sv-benchmarks/c/recursive/recHanoi03-2.c",
    "programhash": "6b73c20c48b2d03f023274d03db6af85302968fe4474c173fe1e0b59911c2c5b",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/6a1a2fd6a88703136224c17accfcfc7347ce4d70ab0f63575c1064dee8047c55.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "6a1a2fd6a88703136224c17accfcfc7347ce4d70ab0f63575c1064dee8047c55",
    "witness-size": 2046,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:50:44",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "6b73c20c48b2d03f023274d03db6af85302968fe4474c173fe1e0b59911c2c5b",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_75ad665b-ad76-4b19-bab7-8f6d8cf717a9/sv-benchmarks/c/recursive/recHanoi03-2.c",
    "programhash": "6b73c20c48b2d03f023274d03db6af85302968fe4474c173fe1e0b59911c2c5b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/096fad445123cfea03cd6333f6cdc654bf7fb67c9177b869525cc46da64a1628.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "096fad445123cfea03cd6333f6cdc654bf7fb67c9177b869525cc46da64a1628",
    "witness-size": 7304,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 08:20:26 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "6b73c20c48b2d03f023274d03db6af85302968fe4474c173fe1e0b59911c2c5b",
    "programfile": "../../sv-benchmarks/c/recursive/recHanoi03-2.c",
    "programhash": "6b73c20c48b2d03f023274d03db6af85302968fe4474c173fe1e0b59911c2c5b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/e41d96549314e6a54a6cfe90142e3ad914ad9c800ee44afb391e6913a2078b34.zip",
    "witness-number-of-tests": 14,
    "witness-sha256": "e41d96549314e6a54a6cfe90142e3ad914ad9c800ee44afb391e6913a2078b34",
    "witness-size": 14314,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:44:52Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "6b73c20c48b2d03f023274d03db6af85302968fe4474c173fe1e0b59911c2c5b",
    "programfile": "recHanoi03-2.c.c",
    "programhash": "6b73c20c48b2d03f023274d03db6af85302968fe4474c173fe1e0b59911c2c5b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/2d903c7f49095f4b85bfed37fd22ce6e2850e18b6f83ce692153651f2afb4dc7.zip",
    "witness-number-of-tests": 32,
    "witness-sha256": "2d903c7f49095f4b85bfed37fd22ce6e2850e18b6f83ce692153651f2afb4dc7",
    "witness-size": 27701,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T21:05:52+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "6b73c20c48b2d03f023274d03db6af85302968fe4474c173fe1e0b59911c2c5b",
    "programfile": "../../sv-benchmarks/c/recursive/recHanoi03-2.c",
    "programhash": "6b73c20c48b2d03f023274d03db6af85302968fe4474c173fe1e0b59911c2c5b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/aa3a2bf9720e7149244eec30608aedcb77f3a3fcee2681c8d030bd14ed921c70.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "aa3a2bf9720e7149244eec30608aedcb77f3a3fcee2681c8d030bd14ed921c70",
    "witness-size": 2699,
    "witness-type": "test-suite"
  }
]