[
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 00:23:49 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_8.i",
    "programhash": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/9ef2752fe131693aa5c800b08a52c0f5f1c1b1056d26b1c74f2d4dbe2935cf8d.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "9ef2752fe131693aa5c800b08a52c0f5f1c1b1056d26b1c74f2d4dbe2935cf8d",
    "witness-size": 12691,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 04:02:02.471363",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_8.i",
    "programhash": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/61d71eecf46a749e42ab71778af83e3fcdc84a4f680fd40a31f6c35180ff9576.zip",
    "witness-number-of-tests": 934,
    "witness-sha256": "61d71eecf46a749e42ab71778af83e3fcdc84a4f680fd40a31f6c35180ff9576",
    "witness-size": 407520,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T21:04:25+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_8.i",
    "programhash": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/4e2af49f8ccd195ddb1780c8c9025ff88367941b8912db05080c88e1e0397ea1.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "4e2af49f8ccd195ddb1780c8c9025ff88367941b8912db05080c88e1e0397ea1",
    "witness-size": 1010,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T09:47:12Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "programfile": "newton_2_8.i.c",
    "programhash": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/b5e1cf5afba46fb8b22a87867fb13905c5c8be4d63cd7573a7cf9547773cce0d.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "b5e1cf5afba46fb8b22a87867fb13905c5c8be4d63cd7573a7cf9547773cce0d",
    "witness-size": 3912,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:22:30+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_8.i",
    "programhash": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/892aa048e2133984ad9acbba60ce61f2e057133ff0686c58215556a4fd2613e3.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "892aa048e2133984ad9acbba60ce61f2e057133ff0686c58215556a4fd2613e3",
    "witness-size": 2795,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 10:17:46 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_8.i",
    "programhash": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/a16cc6eef6ea0f7fd623cf2f58efc36625feab9a66c50de424c647a1a8d0848f.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "a16cc6eef6ea0f7fd623cf2f58efc36625feab9a66c50de424c647a1a8d0848f",
    "witness-size": 12686,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T19:30:50Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "programfile": "newton_2_8.i.c",
    "programhash": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/9c0470ead57dcae3e20efb50041d85d44e155a69ae08ba93d68ec5f5b6cb9ec6.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "9c0470ead57dcae3e20efb50041d85d44e155a69ae08ba93d68ec5f5b6cb9ec6",
    "witness-size": 17380,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 10:47:51",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_0fb54704-7789-47ef-ac72-4e807b13e4c6/sv-benchmarks/c/floats-cdfpl/newton_2_8.i",
    "programhash": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/8f6986decbca8d18bbabbd9cb368f02a5cee7829af1799d129356b9a1486daf9.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "8f6986decbca8d18bbabbd9cb368f02a5cee7829af1799d129356b9a1486daf9",
    "witness-size": 6896,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T11:08:35+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_8.i",
    "programhash": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/f5d03b457ea628ed92c7efe911a32c5fc2c43276073aaf06c3aee7384e11b6b2.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "f5d03b457ea628ed92c7efe911a32c5fc2c43276073aaf06c3aee7384e11b6b2",
    "witness-size": 2141,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:45:34",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_ac80f4d3-2ac7-4595-b746-eb7f3d0823af/sv-benchmarks/c/floats-cdfpl/newton_2_8.i",
    "programhash": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/e65af90cc5e415e481f845cfeda0e153e3ac1a6cd71a9618023214eb213d5f67.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "e65af90cc5e415e481f845cfeda0e153e3ac1a6cd71a9618023214eb213d5f67",
    "witness-size": 7175,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:52:29Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "programfile": "newton_2_8.i.c",
    "programhash": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/fdd2128f294fd69e5a65b840bfbc40e91d959ca4afdd017b158d91a521efac63.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "fdd2128f294fd69e5a65b840bfbc40e91d959ca4afdd017b158d91a521efac63",
    "witness-size": 4264,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:38:13Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "programfile": "newton_2_8.i.c",
    "programhash": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/06a995ab23f45191eed8c16c7e1bbc4728a4d69134dce96d8bb1a6d59303b85f.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "06a995ab23f45191eed8c16c7e1bbc4728a4d69134dce96d8bb1a6d59303b85f",
    "witness-size": 17354,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T01:54:29+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_8.i",
    "programhash": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/faa90eb7d973e27aa820ad2699305768389d6a5214301d831638f9e45181ba1a.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "faa90eb7d973e27aa820ad2699305768389d6a5214301d831638f9e45181ba1a",
    "witness-size": 1017,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 04:53:12.621544",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_8.i",
    "programhash": "3b2d2cf2875c43cc813d8bdd0bfb82864e79ab8d7db276f34207cc91d5ecc640",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/ab98e5af5985fa199051aaa983c897d533cdb3ba884d2c9d42622599a8179516.zip",
    "witness-number-of-tests": 947,
    "witness-sha256": "ab98e5af5985fa199051aaa983c897d533cdb3ba884d2c9d42622599a8179516",
    "witness-size": 413128,
    "witness-type": "test-suite"
  }
]