[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T09:49:54Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "15f15e17a0fd8d34675c15b253b82e47617e53216c971422e69da5b23aa0cff1",
    "programfile": "MADWiFi-encode_ie_ok.i.c",
    "programhash": "15f15e17a0fd8d34675c15b253b82e47617e53216c971422e69da5b23aa0cff1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/de067c6d74f75ec5600e0d77e7fd9cfc4e9a3924fb6a304d0edbdcb7afbb6a88.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "de067c6d74f75ec5600e0d77e7fd9cfc4e9a3924fb6a304d0edbdcb7afbb6a88",
    "witness-size": 86715,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:46:51Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "15f15e17a0fd8d34675c15b253b82e47617e53216c971422e69da5b23aa0cff1",
    "programfile": "MADWiFi-encode_ie_ok.i.c",
    "programhash": "15f15e17a0fd8d34675c15b253b82e47617e53216c971422e69da5b23aa0cff1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/38630a57d600782ed6d03199605342e2b3c836bd03d0cd61a72991eea843002e.zip",
    "witness-number-of-tests": 1001,
    "witness-sha256": "38630a57d600782ed6d03199605342e2b3c836bd03d0cd61a72991eea843002e",
    "witness-size": 406087,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 04:32:47.402851",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "15f15e17a0fd8d34675c15b253b82e47617e53216c971422e69da5b23aa0cff1",
    "programfile": "../../sv-benchmarks/c/loop-invgen/MADWiFi-encode_ie_ok.i",
    "programhash": "15f15e17a0fd8d34675c15b253b82e47617e53216c971422e69da5b23aa0cff1",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/e3fb6882683b5cc4c094b31ab5b7d13a0428634377dc03c95fa251c60c86cb14.zip",
    "witness-number-of-tests": 433,
    "witness-sha256": "e3fb6882683b5cc4c094b31ab5b7d13a0428634377dc03c95fa251c60c86cb14",
    "witness-size": 195465,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T06:12:35+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "15f15e17a0fd8d34675c15b253b82e47617e53216c971422e69da5b23aa0cff1",
    "programfile": "../../sv-benchmarks/c/loop-invgen/MADWiFi-encode_ie_ok.i",
    "programhash": "15f15e17a0fd8d34675c15b253b82e47617e53216c971422e69da5b23aa0cff1",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/214d22820e37874226610d28681a8bcc38d00299b763c82c746ebc4290a5f0a4.zip",
    "witness-number-of-tests": 11,
    "witness-sha256": "214d22820e37874226610d28681a8bcc38d00299b763c82c746ebc4290a5f0a4",
    "witness-size": 4872,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:16:57",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "15f15e17a0fd8d34675c15b253b82e47617e53216c971422e69da5b23aa0cff1",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_d435f73c-4be2-4c20-acc4-46438f4fc811/sv-benchmarks/c/loop-invgen/MADWiFi-encode_ie_ok.i",
    "programhash": "15f15e17a0fd8d34675c15b253b82e47617e53216c971422e69da5b23aa0cff1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/d6194a9441d525ff0521b644e5f5191eb786bde328d2d97a10a1a9d311383aed.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "d6194a9441d525ff0521b644e5f5191eb786bde328d2d97a10a1a9d311383aed",
    "witness-size": 7944,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:44:18+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "15f15e17a0fd8d34675c15b253b82e47617e53216c971422e69da5b23aa0cff1",
    "programfile": "../../sv-benchmarks/c/loop-invgen/MADWiFi-encode_ie_ok.i",
    "programhash": "15f15e17a0fd8d34675c15b253b82e47617e53216c971422e69da5b23aa0cff1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/7d9192c9cf068a4c35cd05430c782c448e1fd61e8145b1d86c767cf8ceeb5981.zip",
    "witness-number-of-tests": 17,
    "witness-sha256": "7d9192c9cf068a4c35cd05430c782c448e1fd61e8145b1d86c767cf8ceeb5981",
    "witness-size": 6604,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 05:32:19 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "15f15e17a0fd8d34675c15b253b82e47617e53216c971422e69da5b23aa0cff1",
    "programfile": "../../sv-benchmarks/c/loop-invgen/MADWiFi-encode_ie_ok.i",
    "programhash": "15f15e17a0fd8d34675c15b253b82e47617e53216c971422e69da5b23aa0cff1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/15cef4a7a910f31291a80ce16c1da3401e68e7357c2c08bd3f690698f0361477.zip",
    "witness-number-of-tests": 21,
    "witness-sha256": "15cef4a7a910f31291a80ce16c1da3401e68e7357c2c08bd3f690698f0361477",
    "witness-size": 19332,
    "witness-type": "test-suite"
  }
]