[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T10:44:05Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-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/a0971b0503a7e61d77cec487d636d03d6af1715bdfc656b6345ecdf85937ee2d.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "a0971b0503a7e61d77cec487d636d03d6af1715bdfc656b6345ecdf85937ee2d",
    "witness-size": 3914,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:24:15+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "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/b2d0d0bf50df97b447b5f401d8b50ddb2cfa95cda2aa7973fccef3bee88965e8.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "b2d0d0bf50df97b447b5f401d8b50ddb2cfa95cda2aa7973fccef3bee88965e8",
    "witness-size": 1011,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:00:41+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "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/7bac0ffb2827150c52951ed8948cfea0d73ca3176c08a9d4834c5cb53dbfaa27.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "7bac0ffb2827150c52951ed8948cfea0d73ca3176c08a9d4834c5cb53dbfaa27",
    "witness-size": 2796,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:21:51Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "programfile": "newton_2_7.i.c",
    "programhash": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/e070c837e64e9e4216f99ad2afb4be02c4ef1718d74388720010c38e713bdac5.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "e070c837e64e9e4216f99ad2afb4be02c4ef1718d74388720010c38e713bdac5",
    "witness-size": 17362,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 10:37:00",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_fe693fe8-cfff-4655-87c0-3f6d1764032a/sv-benchmarks/c/floats-cdfpl/newton_2_7.i",
    "programhash": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/507b2a74ec1aef04621367643e66d77f778d0efac0b66c771c339306ab413521.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "507b2a74ec1aef04621367643e66d77f778d0efac0b66c771c339306ab413521",
    "witness-size": 7184,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 07:15:17 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "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/9d7c05c288671f49c8b7652325b5586a0da3c71cafd5f642cc968053ac475f63.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "9d7c05c288671f49c8b7652325b5586a0da3c71cafd5f642cc968053ac475f63",
    "witness-size": 12951,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 00:41:42.636107",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_7.i",
    "programhash": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/37377f05f193982ac4f4a8b9affc678371ef35552aa9ad6ceb722cc7647d978c.zip",
    "witness-number-of-tests": 33,
    "witness-sha256": "37377f05f193982ac4f4a8b9affc678371ef35552aa9ad6ceb722cc7647d978c",
    "witness-size": 14910,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:38:02+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "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/c81ecd87d81e2d81cc2257ad1a57e8eb69d41fed442881e64d1395fa4e746eaa.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "c81ecd87d81e2d81cc2257ad1a57e8eb69d41fed442881e64d1395fa4e746eaa",
    "witness-size": 1019,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:53:26",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_792fb382-0cf9-43bb-8822-01024a2e9b45/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/4e88674cc10778c99d13aee29241b868b4e12ef32c493d6e3f53bae2d7d2e611.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "4e88674cc10778c99d13aee29241b868b4e12ef32c493d6e3f53bae2d7d2e611",
    "witness-size": 6906,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 01:33:46.796471",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_7.i",
    "programhash": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/fb9748e5b713d35bf8c4eb647a55ee9a01e3ef5ab7446e913a0930a1f5e3b14f.zip",
    "witness-number-of-tests": 1028,
    "witness-sha256": "fb9748e5b713d35bf8c4eb647a55ee9a01e3ef5ab7446e913a0930a1f5e3b14f",
    "witness-size": 444764,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 10:23:44 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "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/3d98a19a0a1e0a4186a45cb72e3d970b4cd0cc78c2b9b653d0d5e5f18fc7613b.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "3d98a19a0a1e0a4186a45cb72e3d970b4cd0cc78c2b9b653d0d5e5f18fc7613b",
    "witness-size": 12951,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:31:09+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_7.i",
    "programhash": "51f1724c2103d5a6077e3180d14687c74584512baf31cc857fe90610f8096946",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/ebf4648572ed2dc905349d07892be20dc501f6780a374e2151137cee3004035a.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "ebf4648572ed2dc905349d07892be20dc501f6780a374e2151137cee3004035a",
    "witness-size": 2144,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T16:51:45Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "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/4027e2cc0354d5d677a98247160b424c11c632d8951fd5766e8c30a0f16cf484.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "4027e2cc0354d5d677a98247160b424c11c632d8951fd5766e8c30a0f16cf484",
    "witness-size": 17405,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T01:47:13Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-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/58464e8a92fe5c3bfbfd327a6a5a4a275614af7958a943a3ecade6d13179d790.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "58464e8a92fe5c3bfbfd327a6a5a4a275614af7958a943a3ecade6d13179d790",
    "witness-size": 4268,
    "witness-type": "test-suite"
  }
]