[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T17:40:37Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "6781d85575972fa81a64ce58706ae6fbc716f19d10f5f1c34209f6579c0e56fd",
    "programfile": "cos_polynomial.c.c",
    "programhash": "6781d85575972fa81a64ce58706ae6fbc716f19d10f5f1c34209f6579c0e56fd",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/0b2c0bc6397a70928dafd61c53aa8827db1ac56e0f1fee416d5c72f344520525.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "0b2c0bc6397a70928dafd61c53aa8827db1ac56e0f1fee416d5c72f344520525",
    "witness-size": 18273,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 04:47:50.504096",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "6781d85575972fa81a64ce58706ae6fbc716f19d10f5f1c34209f6579c0e56fd",
    "programfile": "../../sv-benchmarks/c/float-benchs/cos_polynomial.c",
    "programhash": "6781d85575972fa81a64ce58706ae6fbc716f19d10f5f1c34209f6579c0e56fd",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/046aeda5ee6e559b7c3c551ce8d63e1967a5bdc3b6a717b6df1c2fecc65b42da.zip",
    "witness-number-of-tests": 84,
    "witness-sha256": "046aeda5ee6e559b7c3c551ce8d63e1967a5bdc3b6a717b6df1c2fecc65b42da",
    "witness-size": 38673,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T21:56:46+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "6781d85575972fa81a64ce58706ae6fbc716f19d10f5f1c34209f6579c0e56fd",
    "programfile": "../../sv-benchmarks/c/float-benchs/cos_polynomial.c",
    "programhash": "6781d85575972fa81a64ce58706ae6fbc716f19d10f5f1c34209f6579c0e56fd",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/72a38b15e8588668f8d9a7589c68b65d54444dcdc9e47038c2881a46ce25c86d.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "72a38b15e8588668f8d9a7589c68b65d54444dcdc9e47038c2881a46ce25c86d",
    "witness-size": 3776,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:33:55Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "6781d85575972fa81a64ce58706ae6fbc716f19d10f5f1c34209f6579c0e56fd",
    "programfile": "cos_polynomial.c.c",
    "programhash": "6781d85575972fa81a64ce58706ae6fbc716f19d10f5f1c34209f6579c0e56fd",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/dce2cb82a92b599cdbc254e94574782a1a2db5fba0556f406ff59df694c406ee.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "dce2cb82a92b599cdbc254e94574782a1a2db5fba0556f406ff59df694c406ee",
    "witness-size": 4106,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 10:29:43",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "6781d85575972fa81a64ce58706ae6fbc716f19d10f5f1c34209f6579c0e56fd",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_98aa444c-f5f1-481c-8989-a0d6beced567/sv-benchmarks/c/float-benchs/cos_polynomial.c",
    "programhash": "6781d85575972fa81a64ce58706ae6fbc716f19d10f5f1c34209f6579c0e56fd",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/4406f8b137ad4b600a5360967ef51fe8633bb37da9c5a94bc0c22c3562feee74.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "4406f8b137ad4b600a5360967ef51fe8633bb37da9c5a94bc0c22c3562feee74",
    "witness-size": 8286,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 01:10:17 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "6781d85575972fa81a64ce58706ae6fbc716f19d10f5f1c34209f6579c0e56fd",
    "programfile": "../../sv-benchmarks/c/float-benchs/cos_polynomial.c",
    "programhash": "6781d85575972fa81a64ce58706ae6fbc716f19d10f5f1c34209f6579c0e56fd",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/6f88f4cc17f1cf961b53922ab7f7666b6ad897a5c88bcd4961d9a3ab10c2586a.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "6f88f4cc17f1cf961b53922ab7f7666b6ad897a5c88bcd4961d9a3ab10c2586a",
    "witness-size": 12920,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T11:10:56+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "6781d85575972fa81a64ce58706ae6fbc716f19d10f5f1c34209f6579c0e56fd",
    "programfile": "../../sv-benchmarks/c/float-benchs/cos_polynomial.c",
    "programhash": "6781d85575972fa81a64ce58706ae6fbc716f19d10f5f1c34209f6579c0e56fd",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/4121ff3473a69105b62117826915d76e7ab4a8a05c5b991e0e60b5b33eb134cb.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "4121ff3473a69105b62117826915d76e7ab4a8a05c5b991e0e60b5b33eb134cb",
    "witness-size": 2801,
    "witness-type": "test-suite"
  }
]