[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:02:35+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "13e06838d3810c8c8097ed313b9b8b744669757fc6cbd24675d296c6a57d83ed",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_5.i",
    "programhash": "13e06838d3810c8c8097ed313b9b8b744669757fc6cbd24675d296c6a57d83ed",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/874efaf075f5328b58295efc40e14f3091a6185e5fff240ab5d2ce78120c532e.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "874efaf075f5328b58295efc40e14f3091a6185e5fff240ab5d2ce78120c532e",
    "witness-size": 1765,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08 22:18:40.393987",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "13e06838d3810c8c8097ed313b9b8b744669757fc6cbd24675d296c6a57d83ed",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_5.i",
    "programhash": "13e06838d3810c8c8097ed313b9b8b744669757fc6cbd24675d296c6a57d83ed",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/c77e54def0c381f77b79160c1462c648a2717ff7ebe6fc38374de7fd7f97fdbd.zip",
    "witness-number-of-tests": 1026,
    "witness-sha256": "c77e54def0c381f77b79160c1462c648a2717ff7ebe6fc38374de7fd7f97fdbd",
    "witness-size": 445883,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:41:54",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "13e06838d3810c8c8097ed313b9b8b744669757fc6cbd24675d296c6a57d83ed",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_8ce188cd-8a79-4d35-a454-3293c56041b7/sv-benchmarks/c/floats-cdfpl/newton_2_5.i",
    "programhash": "13e06838d3810c8c8097ed313b9b8b744669757fc6cbd24675d296c6a57d83ed",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/666abecd49b192438765bc7d3b7d4187603512adfcf379a938ff3569c2e174a3.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "666abecd49b192438765bc7d3b7d4187603512adfcf379a938ff3569c2e174a3",
    "witness-size": 7176,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:33:28Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "13e06838d3810c8c8097ed313b9b8b744669757fc6cbd24675d296c6a57d83ed",
    "programfile": "newton_2_5.i.c",
    "programhash": "13e06838d3810c8c8097ed313b9b8b744669757fc6cbd24675d296c6a57d83ed",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/07940b88515ae719074d45911fa199268e5a6484684dc9f306bc793753499397.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "07940b88515ae719074d45911fa199268e5a6484684dc9f306bc793753499397",
    "witness-size": 4272,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T06:57:18+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "13e06838d3810c8c8097ed313b9b8b744669757fc6cbd24675d296c6a57d83ed",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_5.i",
    "programhash": "13e06838d3810c8c8097ed313b9b8b744669757fc6cbd24675d296c6a57d83ed",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/163f065586cfb88cc5eb398ae7a500c469a11c13e6dde78a26078e478a0276e8.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "163f065586cfb88cc5eb398ae7a500c469a11c13e6dde78a26078e478a0276e8",
    "witness-size": 2440,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:14:46Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "13e06838d3810c8c8097ed313b9b8b744669757fc6cbd24675d296c6a57d83ed",
    "programfile": "newton_2_5.i.c",
    "programhash": "13e06838d3810c8c8097ed313b9b8b744669757fc6cbd24675d296c6a57d83ed",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/31270bd53e20ae664a6fd3f1ca080a3619123369f8af546c3c36f23b60eb5198.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "31270bd53e20ae664a6fd3f1ca080a3619123369f8af546c3c36f23b60eb5198",
    "witness-size": 17349,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 05:17:11 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "13e06838d3810c8c8097ed313b9b8b744669757fc6cbd24675d296c6a57d83ed",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_5.i",
    "programhash": "13e06838d3810c8c8097ed313b9b8b744669757fc6cbd24675d296c6a57d83ed",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/aa40d31a88e532f33b94c8ff6700a7e64dc07c12d37cd5b3681bde31867ad646.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "aa40d31a88e532f33b94c8ff6700a7e64dc07c12d37cd5b3681bde31867ad646",
    "witness-size": 11123,
    "witness-type": "test-suite"
  }
]