[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:12:48+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "8b358c669595b17c1b7679ba80e4607d853df728039ac2c239e315ef03e2c28a",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_2.i",
    "programhash": "8b358c669595b17c1b7679ba80e4607d853df728039ac2c239e315ef03e2c28a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/9e50d79ff0b2f57cf5e1b2f5c3d3e10bc1cc70ce26e0c3edb6292dc779db49b6.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "9e50d79ff0b2f57cf5e1b2f5c3d3e10bc1cc70ce26e0c3edb6292dc779db49b6",
    "witness-size": 2440,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:53:05",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "8b358c669595b17c1b7679ba80e4607d853df728039ac2c239e315ef03e2c28a",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_7c2c359b-baf0-4bdd-a3aa-44e7c1a7a300/sv-benchmarks/c/floats-cdfpl/newton_1_2.i",
    "programhash": "8b358c669595b17c1b7679ba80e4607d853df728039ac2c239e315ef03e2c28a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/d78db8e9125a7803c47999c9e85c0c6de29c59ffd1e6e0f65745748d7f341c03.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "d78db8e9125a7803c47999c9e85c0c6de29c59ffd1e6e0f65745748d7f341c03",
    "witness-size": 7001,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08 22:52:24.692051",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "8b358c669595b17c1b7679ba80e4607d853df728039ac2c239e315ef03e2c28a",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_2.i",
    "programhash": "8b358c669595b17c1b7679ba80e4607d853df728039ac2c239e315ef03e2c28a",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/3a4881736fbf39d7e7c17f861a685de9367b61e84d15538097d052ca57b88447.zip",
    "witness-number-of-tests": 949,
    "witness-sha256": "3a4881736fbf39d7e7c17f861a685de9367b61e84d15538097d052ca57b88447",
    "witness-size": 418482,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:38:26+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "8b358c669595b17c1b7679ba80e4607d853df728039ac2c239e315ef03e2c28a",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_2.i",
    "programhash": "8b358c669595b17c1b7679ba80e4607d853df728039ac2c239e315ef03e2c28a",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/caafd091123beb93f7032d1bf8a1badb3e2cf6706cdbd33fffcfec0dfb30e231.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "caafd091123beb93f7032d1bf8a1badb3e2cf6706cdbd33fffcfec0dfb30e231",
    "witness-size": 1766,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T18:37:25Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "8b358c669595b17c1b7679ba80e4607d853df728039ac2c239e315ef03e2c28a",
    "programfile": "newton_1_2.i.c",
    "programhash": "8b358c669595b17c1b7679ba80e4607d853df728039ac2c239e315ef03e2c28a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/86c4d6b0c8d4b1d7d54d46715ecd52ec33b04607d32fa50d86cd7de4720cb352.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "86c4d6b0c8d4b1d7d54d46715ecd52ec33b04607d32fa50d86cd7de4720cb352",
    "witness-size": 17241,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 04:24:50 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "8b358c669595b17c1b7679ba80e4607d853df728039ac2c239e315ef03e2c28a",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_2.i",
    "programhash": "8b358c669595b17c1b7679ba80e4607d853df728039ac2c239e315ef03e2c28a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/958a8521473173327f0b3994fd6b745dc8f4d3e8a484aa3a9d155d80e2f6bb96.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "958a8521473173327f0b3994fd6b745dc8f4d3e8a484aa3a9d155d80e2f6bb96",
    "witness-size": 11011,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T10:33:41Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "8b358c669595b17c1b7679ba80e4607d853df728039ac2c239e315ef03e2c28a",
    "programfile": "newton_1_2.i.c",
    "programhash": "8b358c669595b17c1b7679ba80e4607d853df728039ac2c239e315ef03e2c28a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/01a27b51a666062ed735f2e4c60386c71761e23432925f4cb0b90c2a720d7eee.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "01a27b51a666062ed735f2e4c60386c71761e23432925f4cb0b90c2a720d7eee",
    "witness-size": 4208,
    "witness-type": "test-suite"
  }
]