[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:44:42Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "programfile": "newton_1_5.i.c",
    "programhash": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/bb666dac18e096c2193bfd62ac2a8c0d29ce01d79ffed565f061295ca363f399.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "bb666dac18e096c2193bfd62ac2a8c0d29ce01d79ffed565f061295ca363f399",
    "witness-size": 4207,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 00:21:01.321423",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_5.i",
    "programhash": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/a04a336e8bfca513685f9d6f78da2790c36d70355b53277fad778d3b5ecfb285.zip",
    "witness-number-of-tests": 36,
    "witness-sha256": "a04a336e8bfca513685f9d6f78da2790c36d70355b53277fad778d3b5ecfb285",
    "witness-size": 16195,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 06:52:33 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_5.i",
    "programhash": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/20dc27a8a467b9542c416dcac2a8b67da4691de951813a9d3d15f44984960e12.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "20dc27a8a467b9542c416dcac2a8b67da4691de951813a9d3d15f44984960e12",
    "witness-size": 12574,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T16:07:07Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "programfile": "newton_1_5.i.c",
    "programhash": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/17dbaa55ebc2aede12de0ddbf8e5a802d4d38bd4759b0472f9422e0fcd41504e.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "17dbaa55ebc2aede12de0ddbf8e5a802d4d38bd4759b0472f9422e0fcd41504e",
    "witness-size": 17266,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:50:47+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_5.i",
    "programhash": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/5f2101b79b6782406083fc0590a0d73b2dc594fcd55159c6d2024d6dbd139fcc.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "5f2101b79b6782406083fc0590a0d73b2dc594fcd55159c6d2024d6dbd139fcc",
    "witness-size": 2142,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:54:11",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_3b5deb0b-6f6f-4f19-a8fa-07e88f8c6e95/sv-benchmarks/c/floats-cdfpl/newton_1_5.i",
    "programhash": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/d2bb94df5eb743e19ce7a7c8d124e29112522be2e6ec90e37763644199d2def6.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "d2bb94df5eb743e19ce7a7c8d124e29112522be2e6ec90e37763644199d2def6",
    "witness-size": 6994,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:06:41+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_5.i",
    "programhash": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/c043350252d2a8228c3bcb34b2171f5db5470749d8442bb713ce58ea131b6c45.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "c043350252d2a8228c3bcb34b2171f5db5470749d8442bb713ce58ea131b6c45",
    "witness-size": 2796,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:43:04Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "programfile": "newton_1_5.i.c",
    "programhash": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/253870e42450fd6df970852fc52124cb1df1af4b4e93633987abda5ef7d0c205.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "253870e42450fd6df970852fc52124cb1df1af4b4e93633987abda5ef7d0c205",
    "witness-size": 3845,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 00:10:37.293697",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_5.i",
    "programhash": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/f091be1272b46926bec89e0b95563f659f62229a69f9d0a9257f9effe3c3220c.zip",
    "witness-number-of-tests": 975,
    "witness-sha256": "f091be1272b46926bec89e0b95563f659f62229a69f9d0a9257f9effe3c3220c",
    "witness-size": 424258,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:07:22+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_5.i",
    "programhash": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/9831869b833c3661311780640f4fb94362055e082b4fbd618b4385b038c35bd1.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "9831869b833c3661311780640f4fb94362055e082b4fbd618b4385b038c35bd1",
    "witness-size": 1019,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:37:58+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_5.i",
    "programhash": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/64bbd8485493b9471a9d4691204380cc020c709cedd5f883dae8d899c000e146.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "64bbd8485493b9471a9d4691204380cc020c709cedd5f883dae8d899c000e146",
    "witness-size": 1013,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:40:30",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_effb0ee6-64b8-4c99-bb1e-226a652dfabc/sv-benchmarks/c/floats-cdfpl/newton_1_5.i",
    "programhash": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/54a65dcd95bdedb69d795c32e583d7c17c2ab2a721f81957c1e4fbf4a16a7c12.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "54a65dcd95bdedb69d795c32e583d7c17c2ab2a721f81957c1e4fbf4a16a7c12",
    "witness-size": 6716,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:31:27Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "programfile": "newton_1_5.i.c",
    "programhash": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/6bfc4a5a7959a6e0798f22574af4dcdd1a3275d13513687ca07b585138472243.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "6bfc4a5a7959a6e0798f22574af4dcdd1a3275d13513687ca07b585138472243",
    "witness-size": 17232,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 00:27:26 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_5.i",
    "programhash": "5fe3f54f34f5155da87e27d79a5a2b03fa0cbae9f8bcf9ad7f258a15fa706c85",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/7c60cd47690753ced920fa31ea4c34f7960fe32f5b356c10a75f5081dde4e688.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "7c60cd47690753ced920fa31ea4c34f7960fe32f5b356c10a75f5081dde4e688",
    "witness-size": 12572,
    "witness-type": "test-suite"
  }
]