[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T17:41:56Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "programfile": "newton_3_6.i.c",
    "programhash": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/1243531050c54a61939cabc45de8e291bf76057c5d12b8f6dbdd0ef79f92eacd.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "1243531050c54a61939cabc45de8e291bf76057c5d12b8f6dbdd0ef79f92eacd",
    "witness-size": 17573,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T10:51:35+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_6.i",
    "programhash": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/ab1831ef5cdcd334158a3b6c532466d75ed99e7e59f28b8b651e133f463892c4.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "ab1831ef5cdcd334158a3b6c532466d75ed99e7e59f28b8b651e133f463892c4",
    "witness-size": 2144,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:34:06",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_9018ec14-854c-41c9-af44-d14e57c2ba23/sv-benchmarks/c/floats-cdfpl/newton_3_6.i",
    "programhash": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/661ef20f13d8756f656a364cd0bfc8b0863ce18e88abc78f61182a78f1cc7331.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "661ef20f13d8756f656a364cd0bfc8b0863ce18e88abc78f61182a78f1cc7331",
    "witness-size": 7081,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08 22:32:51.917077",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_6.i",
    "programhash": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/3f87d4cf39e1d02ffc074857672dd7f031d59f32d48c5e79784c81ff3135c453.zip",
    "witness-number-of-tests": 1021,
    "witness-sha256": "3f87d4cf39e1d02ffc074857672dd7f031d59f32d48c5e79784c81ff3135c453",
    "witness-size": 443592,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T09:08:24+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_6.i",
    "programhash": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/af68c56fe5987f16b2396a8f86376931e89fa3a9f17c1f49f24f2a468bb6abf0.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "af68c56fe5987f16b2396a8f86376931e89fa3a9f17c1f49f24f2a468bb6abf0",
    "witness-size": 2797,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:28:17Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "programfile": "newton_3_6.i.c",
    "programhash": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/66666ebd640651c4b29fc588d0f356768941406fa337f82645299091a9f98b2c.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "66666ebd640651c4b29fc588d0f356768941406fa337f82645299091a9f98b2c",
    "witness-size": 3961,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:16:49",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_e844181b-6652-45ba-a2e9-60d45833e0b1/sv-benchmarks/c/floats-cdfpl/newton_3_6.i",
    "programhash": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/d0b9a44aedd1a73157f71ba5c2631d63c33753b7736db419e96a5cfbd006c3a6.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "d0b9a44aedd1a73157f71ba5c2631d63c33753b7736db419e96a5cfbd006c3a6",
    "witness-size": 7349,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:25:00Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "programfile": "newton_3_6.i.c",
    "programhash": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/c2bd71e5f1fad7e8077d83781f310846eb7d035bff87f07350b4da53a7f4fe69.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "c2bd71e5f1fad7e8077d83781f310846eb7d035bff87f07350b4da53a7f4fe69",
    "witness-size": 17545,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Sun Dec  8 22:46:21 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_6.i",
    "programhash": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/35b31921efc02f41108f7f0d5985ecaa415105e9f167520251128451d6227f5b.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "35b31921efc02f41108f7f0d5985ecaa415105e9f167520251128451d6227f5b",
    "witness-size": 12296,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 02:55:10 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_6.i",
    "programhash": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/bd5345a055243a9f59f096dcec03d330f4f273b59a42ebe5f115bb85b90f48b0.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "bd5345a055243a9f59f096dcec03d330f4f273b59a42ebe5f115bb85b90f48b0",
    "witness-size": 12836,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T01:35:54Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "programfile": "newton_3_6.i.c",
    "programhash": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/4f074ce7e8900c671c17ab237b3d63b2012f62fcd0262d1ad8c08c2d2f48f736.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "4f074ce7e8900c671c17ab237b3d63b2012f62fcd0262d1ad8c08c2d2f48f736",
    "witness-size": 4318,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:13:49+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_6.i",
    "programhash": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/7513cecd752131e1b6ec26d9383168f35edffdafe917a8d69898c3265ef701eb.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "7513cecd752131e1b6ec26d9383168f35edffdafe917a8d69898c3265ef701eb",
    "witness-size": 1013,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:58:18+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_6.i",
    "programhash": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/01e0b7c195712c9f823e246ce9ee398a122a1443f8758d5353e5e4eb3bb30892.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "01e0b7c195712c9f823e246ce9ee398a122a1443f8758d5353e5e4eb3bb30892",
    "witness-size": 1020,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 05:09:50.535104",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_6.i",
    "programhash": "7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/4da1278f3992682324c42a6b7d276c4be96a3a9098c5815e8e66ff27ac3d8d49.zip",
    "witness-number-of-tests": 1018,
    "witness-sha256": "4da1278f3992682324c42a6b7d276c4be96a3a9098c5815e8e66ff27ac3d8d49",
    "witness-size": 442115,
    "witness-type": "test-suite"
  }
]