[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T21:03:12+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_7.i",
    "programhash": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/d189492aa46979b06343fa1a51b651ccb2ffb5a54cc36a6b2d3202c33eb5b1e3.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "d189492aa46979b06343fa1a51b651ccb2ffb5a54cc36a6b2d3202c33eb5b1e3",
    "witness-size": 2795,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 00:06:42.666362",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_7.i",
    "programhash": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/760aa7f79af40fee0da3779ecb80eb8c1ceed9253ef529f590ec7d5c17fddc79.zip",
    "witness-number-of-tests": 1020,
    "witness-sha256": "760aa7f79af40fee0da3779ecb80eb8c1ceed9253ef529f590ec7d5c17fddc79",
    "witness-size": 441400,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 02:11:10 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_7.i",
    "programhash": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/9333f59f88cfc805620bec610010c48b0748f17256b6d9274751153e6eab3222.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "9333f59f88cfc805620bec610010c48b0748f17256b6d9274751153e6eab3222",
    "witness-size": 13078,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:44:02+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_7.i",
    "programhash": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/fc7222a4c4efa5e12d197e3ab81bf64b2aedf4bb1f974c304ff1ffe663ba67d4.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "fc7222a4c4efa5e12d197e3ab81bf64b2aedf4bb1f974c304ff1ffe663ba67d4",
    "witness-size": 1020,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:31:54Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "programfile": "newton_3_7.i.c",
    "programhash": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/424fa35b758858a93d2323b5ba960924668c5128938046f990cb96a45a4d9e95.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "424fa35b758858a93d2323b5ba960924668c5128938046f990cb96a45a4d9e95",
    "witness-size": 4316,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T19:32:24Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "programfile": "newton_3_7.i.c",
    "programhash": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/698e594a820a9ffc92e7bfba1a65cc615d85cecc8766f39d0b3d4f6382906365.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "698e594a820a9ffc92e7bfba1a65cc615d85cecc8766f39d0b3d4f6382906365",
    "witness-size": 17545,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T19:35:17Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "programfile": "newton_3_7.i.c",
    "programhash": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/a6ea53ab3d78d79e8fe036b10b4dfe8464fca7d02a16368f3dfaa0e63e6f2ef5.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "a6ea53ab3d78d79e8fe036b10b4dfe8464fca7d02a16368f3dfaa0e63e6f2ef5",
    "witness-size": 17557,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:41:54",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_eb938a4d-acd8-42fd-be19-6573835f26b4/sv-benchmarks/c/floats-cdfpl/newton_3_7.i",
    "programhash": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/66868f7cd91ba9e1a31b4ca4748f629129a5b663b82fa4aaf79007d5e32e2b99.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "66868f7cd91ba9e1a31b4ca4748f629129a5b663b82fa4aaf79007d5e32e2b99",
    "witness-size": 7076,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:19:45+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_7.i",
    "programhash": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/969a340afb9191ac04a9182d823dafba083aba77bd67b9581d5ef1df75d0cc25.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "969a340afb9191ac04a9182d823dafba083aba77bd67b9581d5ef1df75d0cc25",
    "witness-size": 2145,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 08:26:21 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_7.i",
    "programhash": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/bc9434a49d420c943ba1241aeb3f3c17a670eb4b6267d9dfed8cdbe090d1f255.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "bc9434a49d420c943ba1241aeb3f3c17a670eb4b6267d9dfed8cdbe090d1f255",
    "witness-size": 12837,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:30:16Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "programfile": "newton_3_7.i.c",
    "programhash": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/1c043746040310d7aa90eaa6faa2620483076d2112a93b7b97faea94724201c9.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "1c043746040310d7aa90eaa6faa2620483076d2112a93b7b97faea94724201c9",
    "witness-size": 3959,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:41:57",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_b9c6a7e2-83a0-4529-9e07-c1d13293e442/sv-benchmarks/c/floats-cdfpl/newton_3_7.i",
    "programhash": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/dbd2b0540501906477b5e11e6e17c5afeff88d4e2562b979878c8189817fb372.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "dbd2b0540501906477b5e11e6e17c5afeff88d4e2562b979878c8189817fb372",
    "witness-size": 7347,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:39:21+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_7.i",
    "programhash": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/fc5c2c444386890a54edbac573b6a95cb0aa75d20e10d3e944871e402fb517c1.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "fc5c2c444386890a54edbac573b6a95cb0aa75d20e10d3e944871e402fb517c1",
    "witness-size": 1013,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 06:06:39.306816",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_7.i",
    "programhash": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/3b6bd9463472a3c8c037a3caa9a90878ffbfb684d73a5a97c07d8f043f692115.zip",
    "witness-number-of-tests": 1014,
    "witness-sha256": "3b6bd9463472a3c8c037a3caa9a90878ffbfb684d73a5a97c07d8f043f692115",
    "witness-size": 440540,
    "witness-type": "test-suite"
  }
]