[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:39:02Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "ce60d8a38cf9528a0da8ef18c43330f5ce1a062d355413c44069b8d23ab88ec7",
    "programfile": "newton_2_1.i.c",
    "programhash": "ce60d8a38cf9528a0da8ef18c43330f5ce1a062d355413c44069b8d23ab88ec7",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/79e2b097cfca256ca6a2e92d5eef3ff5243c4f3f5cbaf56d7fb2813c63299339.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "79e2b097cfca256ca6a2e92d5eef3ff5243c4f3f5cbaf56d7fb2813c63299339",
    "witness-size": 4272,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 05:52:55.978359",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "ce60d8a38cf9528a0da8ef18c43330f5ce1a062d355413c44069b8d23ab88ec7",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_1.i",
    "programhash": "ce60d8a38cf9528a0da8ef18c43330f5ce1a062d355413c44069b8d23ab88ec7",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/3b9c5d4edf52f574b93bbe49014bc43b149cdc287b9bb9af2ed38ceb883d899d.zip",
    "witness-number-of-tests": 939,
    "witness-sha256": "3b9c5d4edf52f574b93bbe49014bc43b149cdc287b9bb9af2ed38ceb883d899d",
    "witness-size": 417353,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:46:15",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "ce60d8a38cf9528a0da8ef18c43330f5ce1a062d355413c44069b8d23ab88ec7",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_33eec919-ff93-48c0-8508-a9820271950e/sv-benchmarks/c/floats-cdfpl/newton_2_1.i",
    "programhash": "ce60d8a38cf9528a0da8ef18c43330f5ce1a062d355413c44069b8d23ab88ec7",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/35e2851416abef3bd2440e4c7d139e34a26524a9ed66d06d547c17c1995f478f.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "35e2851416abef3bd2440e4c7d139e34a26524a9ed66d06d547c17c1995f478f",
    "witness-size": 7178,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 05:06:19 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "ce60d8a38cf9528a0da8ef18c43330f5ce1a062d355413c44069b8d23ab88ec7",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_1.i",
    "programhash": "ce60d8a38cf9528a0da8ef18c43330f5ce1a062d355413c44069b8d23ab88ec7",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/84c49262b09522e7d659a455bf090835e854771f0709618022dbbda18ce46e2f.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "84c49262b09522e7d659a455bf090835e854771f0709618022dbbda18ce46e2f",
    "witness-size": 11135,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:09:39Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "ce60d8a38cf9528a0da8ef18c43330f5ce1a062d355413c44069b8d23ab88ec7",
    "programfile": "newton_2_1.i.c",
    "programhash": "ce60d8a38cf9528a0da8ef18c43330f5ce1a062d355413c44069b8d23ab88ec7",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/3a76aa4d8e606510f739657321e29fbdd853a01d209499df5784a71cab926319.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "3a76aa4d8e606510f739657321e29fbdd853a01d209499df5784a71cab926319",
    "witness-size": 17358,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T10:31:02+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "ce60d8a38cf9528a0da8ef18c43330f5ce1a062d355413c44069b8d23ab88ec7",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_1.i",
    "programhash": "ce60d8a38cf9528a0da8ef18c43330f5ce1a062d355413c44069b8d23ab88ec7",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/33ff543075ace584d187d83c408eba8c516f67aad51ee8850e96ccd0bbab5a33.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "33ff543075ace584d187d83c408eba8c516f67aad51ee8850e96ccd0bbab5a33",
    "witness-size": 1765,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T06:41:40+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "ce60d8a38cf9528a0da8ef18c43330f5ce1a062d355413c44069b8d23ab88ec7",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_1.i",
    "programhash": "ce60d8a38cf9528a0da8ef18c43330f5ce1a062d355413c44069b8d23ab88ec7",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f310ce788f36da8fba8b73d8fd8d6b3a8a923c555851da12080c271bd3fe5e22.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "f310ce788f36da8fba8b73d8fd8d6b3a8a923c555851da12080c271bd3fe5e22",
    "witness-size": 2440,
    "witness-type": "test-suite"
  }
]