[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:44:17+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "99492927908798d3e14cc1ece43ee640cce0524d6db2f84250cbb9ddf9a8d31d",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_1.i",
    "programhash": "99492927908798d3e14cc1ece43ee640cce0524d6db2f84250cbb9ddf9a8d31d",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/4a620e5adedb1ef274e238c81c65a1eba4e2f13e73279b2f52e4c21f96aec688.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "4a620e5adedb1ef274e238c81c65a1eba4e2f13e73279b2f52e4c21f96aec688",
    "witness-size": 1765,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:02:03Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "99492927908798d3e14cc1ece43ee640cce0524d6db2f84250cbb9ddf9a8d31d",
    "programfile": "newton_3_1.i.c",
    "programhash": "99492927908798d3e14cc1ece43ee640cce0524d6db2f84250cbb9ddf9a8d31d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/11a9bb5921e119cdc80dc123b9350c4540588731de99532c65f91ebbdbcddf91.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "11a9bb5921e119cdc80dc123b9350c4540588731de99532c65f91ebbdbcddf91",
    "witness-size": 4311,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:06:15+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "99492927908798d3e14cc1ece43ee640cce0524d6db2f84250cbb9ddf9a8d31d",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_1.i",
    "programhash": "99492927908798d3e14cc1ece43ee640cce0524d6db2f84250cbb9ddf9a8d31d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/2f196f2a82f7c16b6b8898bde5d0c6cbf8c1f92ad8723aceae761f7d7f84d08c.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "2f196f2a82f7c16b6b8898bde5d0c6cbf8c1f92ad8723aceae761f7d7f84d08c",
    "witness-size": 2439,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 01:24:45 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "99492927908798d3e14cc1ece43ee640cce0524d6db2f84250cbb9ddf9a8d31d",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_1.i",
    "programhash": "99492927908798d3e14cc1ece43ee640cce0524d6db2f84250cbb9ddf9a8d31d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/7487dcf464b99438b2f3f35b49debf176336996729f572a543a0fdf6b6e820c5.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "7487dcf464b99438b2f3f35b49debf176336996729f572a543a0fdf6b6e820c5",
    "witness-size": 11266,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 10:51:01",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "99492927908798d3e14cc1ece43ee640cce0524d6db2f84250cbb9ddf9a8d31d",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_4e967963-1011-4821-8931-59ab88c3d1d2/sv-benchmarks/c/floats-cdfpl/newton_3_1.i",
    "programhash": "99492927908798d3e14cc1ece43ee640cce0524d6db2f84250cbb9ddf9a8d31d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/8324a8a3bc74e773d9df128cf7be22969269316a9c0a8f33bea92038408f8070.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "8324a8a3bc74e773d9df128cf7be22969269316a9c0a8f33bea92038408f8070",
    "witness-size": 7347,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 05:36:28.368714",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "99492927908798d3e14cc1ece43ee640cce0524d6db2f84250cbb9ddf9a8d31d",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_1.i",
    "programhash": "99492927908798d3e14cc1ece43ee640cce0524d6db2f84250cbb9ddf9a8d31d",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/e8c827032b006512338dff661e7fd58739bb3ad22558e1a06e4ee287aa004ee0.zip",
    "witness-number-of-tests": 1019,
    "witness-sha256": "e8c827032b006512338dff661e7fd58739bb3ad22558e1a06e4ee287aa004ee0",
    "witness-size": 446534,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T16:24:20Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "99492927908798d3e14cc1ece43ee640cce0524d6db2f84250cbb9ddf9a8d31d",
    "programfile": "newton_3_1.i.c",
    "programhash": "99492927908798d3e14cc1ece43ee640cce0524d6db2f84250cbb9ddf9a8d31d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/1b80496ff79ac836c28bd5575312ae16bb7fb2e124965d47a4cffb5576cc1b65.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "1b80496ff79ac836c28bd5575312ae16bb7fb2e124965d47a4cffb5576cc1b65",
    "witness-size": 17540,
    "witness-type": "test-suite"
  }
]