[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 10:13:31.390265",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "programfile": "../../sv-benchmarks/c/bitvector-regression/recHanoi03-1.c",
    "programhash": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/491e603f36626acd68473fa38b0d2f2dae772e52800b7160d690ea4df0790a4f.zip",
    "witness-number-of-tests": 236,
    "witness-sha256": "491e603f36626acd68473fa38b0d2f2dae772e52800b7160d690ea4df0790a4f",
    "witness-size": 97183,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:07:56+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "programfile": "../../sv-benchmarks/c/bitvector-regression/recHanoi03-1.c",
    "programhash": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/ba0b3b776152e516e14d2999274937c62eb8541107fbf5e046443f296830bed0.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "ba0b3b776152e516e14d2999274937c62eb8541107fbf5e046443f296830bed0",
    "witness-size": 648,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 06:37:00 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "programfile": "../../sv-benchmarks/c/bitvector-regression/recHanoi03-1.c",
    "programhash": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/1b6163e61de129a4903edf3e75b2da683a17a0cd767fd7d6713a9da81ca1a94d.zip",
    "witness-number-of-tests": 21,
    "witness-sha256": "1b6163e61de129a4903edf3e75b2da683a17a0cd767fd7d6713a9da81ca1a94d",
    "witness-size": 25726,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T06:21:03Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "programfile": "recHanoi03-1.c.c",
    "programhash": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/35369a10f437f3bdb83b67798099714e6e4ca1d9756d208dcd811031428530b6.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "35369a10f437f3bdb83b67798099714e6e4ca1d9756d208dcd811031428530b6",
    "witness-size": 4709,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T19:13:58Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "programfile": "recHanoi03-1.c.c",
    "programhash": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/6d3d48f7783b3ddfba3c792052077352be9df6fefe26adb7cad1bbff7adb2931.zip",
    "witness-number-of-tests": 35,
    "witness-sha256": "6d3d48f7783b3ddfba3c792052077352be9df6fefe26adb7cad1bbff7adb2931",
    "witness-size": 37624,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:42:14",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_06f43720-66d9-4d3e-baeb-ede4cced53b0/sv-benchmarks/c/bitvector-regression/recHanoi03-1.c",
    "programhash": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/9b65d27fdc5023a0be3194abc0ba013c570ed18a6098421568c60d0b83a20990.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "9b65d27fdc5023a0be3194abc0ba013c570ed18a6098421568c60d0b83a20990",
    "witness-size": 7226,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:55:57+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "programfile": "../../sv-benchmarks/c/bitvector-regression/recHanoi03-1.c",
    "programhash": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/4da41ba6674922d2772be59e3a6ae9ee79f743b65529273d186eb5deac05f366.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "4da41ba6674922d2772be59e3a6ae9ee79f743b65529273d186eb5deac05f366",
    "witness-size": 1698,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:38:01",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_695d6454-4b3e-4cf5-95d2-efd206d89bfb/sv-benchmarks/c/bitvector-regression/recHanoi03-1.c",
    "programhash": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/2444c16162c1d19dcdd93525883281a668ed5a33b3d981516f508d97347ef3a0.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "2444c16162c1d19dcdd93525883281a668ed5a33b3d981516f508d97347ef3a0",
    "witness-size": 6847,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 09:51:27 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "programfile": "../../sv-benchmarks/c/bitvector-regression/recHanoi03-1.c",
    "programhash": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/aaedefb8a4354d6b78de318df89490129fc66a67451987b42ec15c5e24520971.zip",
    "witness-number-of-tests": 21,
    "witness-sha256": "aaedefb8a4354d6b78de318df89490129fc66a67451987b42ec15c5e24520971",
    "witness-size": 25880,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:15:49Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "programfile": "recHanoi03-1.c.c",
    "programhash": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/91ce8384c5b4827c282257ebb64afb961eff911abb269012e3a7cc33ba2acfff.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "91ce8384c5b4827c282257ebb64afb961eff911abb269012e3a7cc33ba2acfff",
    "witness-size": 93307,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 02:18:28.268555",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "programfile": "../../sv-benchmarks/c/bitvector-regression/recHanoi03-1.c",
    "programhash": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/24da092a6a548c25f4245e4e9c9a713ada082cc301629638499f0fae6d1d9852.zip",
    "witness-number-of-tests": 238,
    "witness-sha256": "24da092a6a548c25f4245e4e9c9a713ada082cc301629638499f0fae6d1d9852",
    "witness-size": 98655,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T18:33:50Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "programfile": "recHanoi03-1.c.c",
    "programhash": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/c48beaefabde4c24473759b16e46a65ff1f867ef86e68b7142f592b3f09e978e.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "c48beaefabde4c24473759b16e46a65ff1f867ef86e68b7142f592b3f09e978e",
    "witness-size": 23309,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:25:12+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "programfile": "../../sv-benchmarks/c/bitvector-regression/recHanoi03-1.c",
    "programhash": "8e2c21ca6297fe4a71918b18ff12790ca9294604ce5c399f49c9cbd272336ddb",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/1455d63f3e96ae36a8bba48051d83263d4f3b8f8e4817fb1f9f8e703508eced1.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "1455d63f3e96ae36a8bba48051d83263d4f3b8f8e4817fb1f9f8e703508eced1",
    "witness-size": 2362,
    "witness-type": "test-suite"
  }
]