[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:18:34Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "ea3005db7831fcf42fa8ce65b58793c8d700b236e67a2426b44a70f99c2fb990",
    "programfile": "newton_3_4.i.c",
    "programhash": "ea3005db7831fcf42fa8ce65b58793c8d700b236e67a2426b44a70f99c2fb990",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/61b074a5bc76998ecdb4bdf3a60b7222a927412c55b125e20331d3cc156279cd.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "61b074a5bc76998ecdb4bdf3a60b7222a927412c55b125e20331d3cc156279cd",
    "witness-size": 4320,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:14:33Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "ea3005db7831fcf42fa8ce65b58793c8d700b236e67a2426b44a70f99c2fb990",
    "programfile": "newton_3_4.i.c",
    "programhash": "ea3005db7831fcf42fa8ce65b58793c8d700b236e67a2426b44a70f99c2fb990",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/20c4d13ed21555f7233ebca1ddd7d5b80afc457598eff7e5174fc2081deb0952.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "20c4d13ed21555f7233ebca1ddd7d5b80afc457598eff7e5174fc2081deb0952",
    "witness-size": 17536,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:47:03+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "ea3005db7831fcf42fa8ce65b58793c8d700b236e67a2426b44a70f99c2fb990",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_4.i",
    "programhash": "ea3005db7831fcf42fa8ce65b58793c8d700b236e67a2426b44a70f99c2fb990",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/ca1034b1ddbc68a51c7e932905a0ff10d9d88844caa3ce6f50e1db672ef2314a.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "ca1034b1ddbc68a51c7e932905a0ff10d9d88844caa3ce6f50e1db672ef2314a",
    "witness-size": 2440,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 08:12:57 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "ea3005db7831fcf42fa8ce65b58793c8d700b236e67a2426b44a70f99c2fb990",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_4.i",
    "programhash": "ea3005db7831fcf42fa8ce65b58793c8d700b236e67a2426b44a70f99c2fb990",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/33adcf608b03be3efabb3260f7d0ae462cff7105add26911b57fabf642eb8f3b.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "33adcf608b03be3efabb3260f7d0ae462cff7105add26911b57fabf642eb8f3b",
    "witness-size": 11266,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:47:07",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "ea3005db7831fcf42fa8ce65b58793c8d700b236e67a2426b44a70f99c2fb990",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_52464f0a-9d9b-4c65-b4f9-009cc71428f1/sv-benchmarks/c/floats-cdfpl/newton_3_4.i",
    "programhash": "ea3005db7831fcf42fa8ce65b58793c8d700b236e67a2426b44a70f99c2fb990",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f89137483821c13a644ca4481bd4cf6c68ff09006aabffaddb99407fd3e687a0.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "f89137483821c13a644ca4481bd4cf6c68ff09006aabffaddb99407fd3e687a0",
    "witness-size": 7352,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 00:51:54.572205",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "ea3005db7831fcf42fa8ce65b58793c8d700b236e67a2426b44a70f99c2fb990",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_4.i",
    "programhash": "ea3005db7831fcf42fa8ce65b58793c8d700b236e67a2426b44a70f99c2fb990",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/367c928ef5d964418e065834389818ebecd3131cf5611932480b90feac3bb95a.zip",
    "witness-number-of-tests": 1006,
    "witness-sha256": "367c928ef5d964418e065834389818ebecd3131cf5611932480b90feac3bb95a",
    "witness-size": 437147,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:09:22+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "ea3005db7831fcf42fa8ce65b58793c8d700b236e67a2426b44a70f99c2fb990",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_4.i",
    "programhash": "ea3005db7831fcf42fa8ce65b58793c8d700b236e67a2426b44a70f99c2fb990",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/28dc7b919f5982430ac7d79b393f5da8691685a3cd6aa31ee0600ad17fe83c75.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "28dc7b919f5982430ac7d79b393f5da8691685a3cd6aa31ee0600ad17fe83c75",
    "witness-size": 1765,
    "witness-type": "test-suite"
  }
]