[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T01:28:24Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "programfile": "newton_1_8.i.c",
    "programhash": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/e7f1e591751127e5eee37e50826740ba725225f0400ebca6e8a3768e46629cde.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "e7f1e591751127e5eee37e50826740ba725225f0400ebca6e8a3768e46629cde",
    "witness-size": 4204,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:58:28+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_8.i",
    "programhash": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/12b343e4b884df5c737b3f385a70ca1c1bae6140f7cc8494fc9014a2eda9a5e0.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "12b343e4b884df5c737b3f385a70ca1c1bae6140f7cc8494fc9014a2eda9a5e0",
    "witness-size": 1013,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:38:26",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_fe887d83-582b-4abe-8557-f2664d75c5d0/sv-benchmarks/c/floats-cdfpl/newton_1_8.i",
    "programhash": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/0c92e1e009c9524ebcb47ca4f9596dab025c68abf68ed35a1b599dac7190d01c.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "0c92e1e009c9524ebcb47ca4f9596dab025c68abf68ed35a1b599dac7190d01c",
    "witness-size": 6998,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:02:35Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "programfile": "newton_1_8.i.c",
    "programhash": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/6cb59bb4999502cdc500a85c269a770617493c968d1505481e148eafadf8a02c.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "6cb59bb4999502cdc500a85c269a770617493c968d1505481e148eafadf8a02c",
    "witness-size": 3850,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 09:20:36.957234",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_8.i",
    "programhash": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/e4001b7f0ced8296b2918b03c25c649e99650c1c9b2e5f61c1b0635a467d0afc.zip",
    "witness-number-of-tests": 383,
    "witness-sha256": "e4001b7f0ced8296b2918b03c25c649e99650c1c9b2e5f61c1b0635a467d0afc",
    "witness-size": 167191,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T08:35:25+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_8.i",
    "programhash": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/910690a2920ddaaac94bb06fd09011de5352b3f60419b5a8369180006406fcac.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "910690a2920ddaaac94bb06fd09011de5352b3f60419b5a8369180006406fcac",
    "witness-size": 2144,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 00:14:46 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_8.i",
    "programhash": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/21b782c34028614adfbb49f7b3265f95cbcd55eeeb88d7a637cf78a8d0eb5b5e.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "21b782c34028614adfbb49f7b3265f95cbcd55eeeb88d7a637cf78a8d0eb5b5e",
    "witness-size": 12810,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T06:57:40+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_8.i",
    "programhash": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/db3f4579757f84bfc7a972f85dd5ef6842e32bb251a9e915ed217aba449448a1.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "db3f4579757f84bfc7a972f85dd5ef6842e32bb251a9e915ed217aba449448a1",
    "witness-size": 2796,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T16:05:58Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "programfile": "newton_1_8.i.c",
    "programhash": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b4d6c2fc4de68a70870121ed2006a21c5d828f8aac8449f26a190db2826ab52a.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "b4d6c2fc4de68a70870121ed2006a21c5d828f8aac8449f26a190db2826ab52a",
    "witness-size": 17226,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T11:08:18+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_8.i",
    "programhash": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/faf36caf0c4b1a785620595700a0e2270261ec28e867dd1de820523a413eccb6.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "faf36caf0c4b1a785620595700a0e2270261ec28e867dd1de820523a413eccb6",
    "witness-size": 1020,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08 23:33:14.209543",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_8.i",
    "programhash": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/18f933fd8136e4bcf8e65d4dba70b160034fed6f95f8e876fa1c680cac092d12.zip",
    "witness-number-of-tests": 44,
    "witness-sha256": "18f933fd8136e4bcf8e65d4dba70b160034fed6f95f8e876fa1c680cac092d12",
    "witness-size": 19692,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:12:49Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "programfile": "newton_1_8.i.c",
    "programhash": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/7ec89b3271e98257d917148f52a2540ce0a0dab7b50378492602a11d3479c0f9.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "7ec89b3271e98257d917148f52a2540ce0a0dab7b50378492602a11d3479c0f9",
    "witness-size": 17259,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 10:08:17 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_8.i",
    "programhash": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/e1eb2f169e46a5f4206ea4f6316ca4adbd5e256cfd0e4c0ca22c56ced9a99d9a.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "e1eb2f169e46a5f4206ea4f6316ca4adbd5e256cfd0e4c0ca22c56ced9a99d9a",
    "witness-size": 12569,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:34:05",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_bc1ebc39-58c5-48cd-8901-8b755cf6e5f8/sv-benchmarks/c/floats-cdfpl/newton_1_8.i",
    "programhash": "866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/349b6cef171889122aa3d8c0c1d4faa1ae70d7b27780f9c8921a0826d6df87ab.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "349b6cef171889122aa3d8c0c1d4faa1ae70d7b27780f9c8921a0826d6df87ab",
    "witness-size": 6721,
    "witness-type": "test-suite"
  }
]