[
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 09:10:09 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_7.i",
    "programhash": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/bc1db5a5e72e34c51b13bd391ec5cb9e86d7f0ab6d626462a1244101b9dc023d.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "bc1db5a5e72e34c51b13bd391ec5cb9e86d7f0ab6d626462a1244101b9dc023d",
    "witness-size": 12578,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:25:24Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "programfile": "newton_1_7.i.c",
    "programhash": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/187c4da3e8dc4831f035150df0030d53ddd1ac2853142d9927cd1398b783a648.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "187c4da3e8dc4831f035150df0030d53ddd1ac2853142d9927cd1398b783a648",
    "witness-size": 4205,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:18:00+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_7.i",
    "programhash": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/90e95a93a066f518f12c5b29d4390ccf252bb40ee7b6c2b73e003d2ffcbdd038.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "90e95a93a066f518f12c5b29d4390ccf252bb40ee7b6c2b73e003d2ffcbdd038",
    "witness-size": 2797,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08 22:54:30.942291",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_7.i",
    "programhash": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/ec79340651190709d2bc41d1b7ff09b299ed7b5ca5cc85b90932ff1f473ecb6c.zip",
    "witness-number-of-tests": 44,
    "witness-sha256": "ec79340651190709d2bc41d1b7ff09b299ed7b5ca5cc85b90932ff1f473ecb6c",
    "witness-size": 19638,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:32:00+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_7.i",
    "programhash": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/909acbf109158b0e62b18a1d877aac167009b65e21ebb8744d43be001a765c65.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "909acbf109158b0e62b18a1d877aac167009b65e21ebb8744d43be001a765c65",
    "witness-size": 2145,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 05:18:03.251508",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_7.i",
    "programhash": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/60d975ea1dfe3c19f9dbeefa5e257a7a761885c67536ec85a029153f40c4e573.zip",
    "witness-number-of-tests": 43,
    "witness-sha256": "60d975ea1dfe3c19f9dbeefa5e257a7a761885c67536ec85a029153f40c4e573",
    "witness-size": 19267,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:59:44Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "programfile": "newton_1_7.i.c",
    "programhash": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/9185096a7a8b9cc30151f2b4ba2b854792c36ce819389bc4bf14196df8b1e8f2.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "9185096a7a8b9cc30151f2b4ba2b854792c36ce819389bc4bf14196df8b1e8f2",
    "witness-size": 17263,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T08:22:33+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_7.i",
    "programhash": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/af1e8103dd8eeadaf8f3a64c2341fa8095d8da10eaed660c3b26a95d8aaeff91.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "af1e8103dd8eeadaf8f3a64c2341fa8095d8da10eaed660c3b26a95d8aaeff91",
    "witness-size": 1013,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:09:05Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "programfile": "newton_1_7.i.c",
    "programhash": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/01d30e865914773a4fe85f1344ce4504282ac486b877e3415d345b3344f628b8.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "01d30e865914773a4fe85f1344ce4504282ac486b877e3415d345b3344f628b8",
    "witness-size": 3849,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 05:52:34 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_7.i",
    "programhash": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/7c5a3edb0616fd498a0347ea8ef990ed13a5e0279baa8af1f54e1348c2ecb6ce.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "7c5a3edb0616fd498a0347ea8ef990ed13a5e0279baa8af1f54e1348c2ecb6ce",
    "witness-size": 12583,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T16:58:16Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "programfile": "newton_1_7.i.c",
    "programhash": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/0e958749726dff0e454a644ac234bf544b747e7dc4ca7a31c9aac914fbe296c6.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "0e958749726dff0e454a644ac234bf544b747e7dc4ca7a31c9aac914fbe296c6",
    "witness-size": 17234,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:17:50+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_7.i",
    "programhash": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/3191b131a7ce0fb2323f23e2686ce1d0ff5397ec609059f931558a37544ad0d5.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "3191b131a7ce0fb2323f23e2686ce1d0ff5397ec609059f931558a37544ad0d5",
    "witness-size": 1021,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 10:00:19",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_03b57c85-9432-4108-89a7-d63c2faafbac/sv-benchmarks/c/floats-cdfpl/newton_1_7.i",
    "programhash": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/885e9b3383f4f139b9349a7da47f73f0780f8aea061b0b53a75cbad6925acdf1.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "885e9b3383f4f139b9349a7da47f73f0780f8aea061b0b53a75cbad6925acdf1",
    "witness-size": 7004,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:43:09",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_6ce47c2b-f907-4802-8c74-038cf6428b3d/sv-benchmarks/c/floats-cdfpl/newton_1_7.i",
    "programhash": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/e077a8db1260df0eed15e79efa3c94389552a625a1597e412fc3cdf70f1eed6a.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "e077a8db1260df0eed15e79efa3c94389552a625a1597e412fc3cdf70f1eed6a",
    "witness-size": 6729,
    "witness-type": "test-suite"
  }
]