[
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T00:51:36+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_7.i",
    "programhash": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/2004e453f6a6e438a95e4990d747b16eed45f682a57d2d960b74c7d9c105d032.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "2004e453f6a6e438a95e4990d747b16eed45f682a57d2d960b74c7d9c105d032",
    "witness-size": 1059,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T05:01:47+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_7.i",
    "programhash": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/2e0790e1e9f9d5e7530e1b4d511ea58adb6d4bebfdb3e161def2bd7bd0eafaeb.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "2e0790e1e9f9d5e7530e1b4d511ea58adb6d4bebfdb3e161def2bd7bd0eafaeb",
    "witness-size": 2800,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T23:06:25+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_7.i",
    "programhash": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/4828d3aa9f5ae2b5758b39ef6d5c910c587e40b498b7c590dabf8567b0cf4dc9.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "4828d3aa9f5ae2b5758b39ef6d5c910c587e40b498b7c590dabf8567b0cf4dc9",
    "witness-size": 2865,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T03:27:35+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_7.i",
    "programhash": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f7b3f8dde88d98a7765d4c62b18404681c2357e8a98e17af6ea84127d9cea6c6.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "f7b3f8dde88d98a7765d4c62b18404681c2357e8a98e17af6ea84127d9cea6c6",
    "witness-size": 2811,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:29 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_4fb11791-3072-4aaf-ae2c-118cfe83ec77/sv-benchmarks/c/floats-cdfpl/newton_2_7.i",
    "programhash": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/ca24a2de3eab55ddbb7ed6b8b5196ffdccf79981f1278d0d1456f70223f42097.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "ca24a2de3eab55ddbb7ed6b8b5196ffdccf79981f1278d0d1456f70223f42097",
    "witness-size": 904,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T00:51:36+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_7.i",
    "programhash": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/2a468cedd44d2fa48cd3882036f43e7c60d16fbaa276dcc77fcf291f77a5d33a.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "2a468cedd44d2fa48cd3882036f43e7c60d16fbaa276dcc77fcf291f77a5d33a",
    "witness-size": 2858,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T03:27:35+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_7.i",
    "programhash": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/dc2bd1337eeb2349f8330cc282187e07219651b97e1a02ca95ba863db7887bc1.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "dc2bd1337eeb2349f8330cc282187e07219651b97e1a02ca95ba863db7887bc1",
    "witness-size": 2790,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T05:01:47+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_7.i",
    "programhash": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/88184f4b577dfdd3c53b38b1cc74d7d19628772b1c935b817a9d34f1cc4b21a7.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "88184f4b577dfdd3c53b38b1cc74d7d19628772b1c935b817a9d34f1cc4b21a7",
    "witness-size": 1003,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T22:35:54Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "programfile": "newton_2_7.i.c",
    "programhash": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/f2010941c4a29d20df726f1f086176381348f6902a0ff6b8ea961986133e0497.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "f2010941c4a29d20df726f1f086176381348f6902a0ff6b8ea961986133e0497",
    "witness-size": 4001,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T23:06:25+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_7.i",
    "programhash": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/81dc2e7a0e9e283180a39a294763e8174eb4c4c1daa2e79dfc0d7f1c7b9ef068.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "81dc2e7a0e9e283180a39a294763e8174eb4c4c1daa2e79dfc0d7f1c7b9ef068",
    "witness-size": 3034,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T05:41:38Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "programfile": "newton_2_7.i.c",
    "programhash": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/64e2a5e079040500aecc34bda36b5de1e2c0714d660a981582a89f43ff5eb6f4.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "64e2a5e079040500aecc34bda36b5de1e2c0714d660a981582a89f43ff5eb6f4",
    "witness-size": 4681,
    "witness-type": "test-suite"
  }
]