[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:06:45+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "8d4c43d3452ef4ff555412cff13394b423ffb9efab2dc24bc51ae06b416193fc",
    "programfile": "../../sv-benchmarks/c/float-benchs/filter1.c",
    "programhash": "8d4c43d3452ef4ff555412cff13394b423ffb9efab2dc24bc51ae06b416193fc",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/57ead90a9a9dfe44fe69c5e3ebcd3e146093f7cd01a093952c6dd26e4fd37106.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "57ead90a9a9dfe44fe69c5e3ebcd3e146093f7cd01a093952c6dd26e4fd37106",
    "witness-size": 3757,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:43:29",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "8d4c43d3452ef4ff555412cff13394b423ffb9efab2dc24bc51ae06b416193fc",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_cd1d0f5e-c41c-4be4-b27e-bf6341b332b0/sv-benchmarks/c/float-benchs/filter1.c",
    "programhash": "8d4c43d3452ef4ff555412cff13394b423ffb9efab2dc24bc51ae06b416193fc",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/3ac6e13e2e41477de4d463389975cbbd0cc301da8cdc83a4998d3de031be2b70.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "3ac6e13e2e41477de4d463389975cbbd0cc301da8cdc83a4998d3de031be2b70",
    "witness-size": 8895,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:05:39Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "8d4c43d3452ef4ff555412cff13394b423ffb9efab2dc24bc51ae06b416193fc",
    "programfile": "filter1.c.c",
    "programhash": "8d4c43d3452ef4ff555412cff13394b423ffb9efab2dc24bc51ae06b416193fc",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/10bf1edd5a27ec1df53fb5754a30ec90cb2d45cdbd3f56ba1230c8b3bf23c0ac.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "10bf1edd5a27ec1df53fb5754a30ec90cb2d45cdbd3f56ba1230c8b3bf23c0ac",
    "witness-size": 89311,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08 23:15:38.825765",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "8d4c43d3452ef4ff555412cff13394b423ffb9efab2dc24bc51ae06b416193fc",
    "programfile": "../../sv-benchmarks/c/float-benchs/filter1.c",
    "programhash": "8d4c43d3452ef4ff555412cff13394b423ffb9efab2dc24bc51ae06b416193fc",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/af5247f36c2acdaf6475c2990860b29ee71163d345597ef714dbd10b5d3b2b6d.zip",
    "witness-number-of-tests": 10,
    "witness-sha256": "af5247f36c2acdaf6475c2990860b29ee71163d345597ef714dbd10b5d3b2b6d",
    "witness-size": 1668951,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:56:09Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "8d4c43d3452ef4ff555412cff13394b423ffb9efab2dc24bc51ae06b416193fc",
    "programfile": "filter1.c.c",
    "programhash": "8d4c43d3452ef4ff555412cff13394b423ffb9efab2dc24bc51ae06b416193fc",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/c204ff5cf8e26adb99f4bce50f84526a5b4d650b7afe26fe72a2f55b5f15a8a6.zip",
    "witness-number-of-tests": 552,
    "witness-sha256": "c204ff5cf8e26adb99f4bce50f84526a5b4d650b7afe26fe72a2f55b5f15a8a6",
    "witness-size": 6844195,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:11:20+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "8d4c43d3452ef4ff555412cff13394b423ffb9efab2dc24bc51ae06b416193fc",
    "programfile": "../../sv-benchmarks/c/float-benchs/filter1.c",
    "programhash": "8d4c43d3452ef4ff555412cff13394b423ffb9efab2dc24bc51ae06b416193fc",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/5d2f352be6374f1fa6786c4bd5740404708bdce8ba3bf31cb81077ad4054a4db.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "5d2f352be6374f1fa6786c4bd5740404708bdce8ba3bf31cb81077ad4054a4db",
    "witness-size": 2126,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 05:59:26 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "8d4c43d3452ef4ff555412cff13394b423ffb9efab2dc24bc51ae06b416193fc",
    "programfile": "../../sv-benchmarks/c/float-benchs/filter1.c",
    "programhash": "8d4c43d3452ef4ff555412cff13394b423ffb9efab2dc24bc51ae06b416193fc",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/5ac6d2bbccc4369e0978f800075851188095ad36fc58d4986af6861242e9dc36.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "5ac6d2bbccc4369e0978f800075851188095ad36fc58d4986af6861242e9dc36",
    "witness-size": 144902,
    "witness-type": "test-suite"
  }
]