[
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:19:03+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_4.i",
    "programhash": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/d876bb7b6855b7f7ac251d3fef5a5ae0ec645e3cfe09e3d3c87ca194f7c18add.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "d876bb7b6855b7f7ac251d3fef5a5ae0ec645e3cfe09e3d3c87ca194f7c18add",
    "witness-size": 2852,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T23:27:41+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_4.i",
    "programhash": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/cf932f6c3479881c009b913a28f7cbec309d9b4bcea20fe2bdbcd8baab3ab949.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "cf932f6c3479881c009b913a28f7cbec309d9b4bcea20fe2bdbcd8baab3ab949",
    "witness-size": 2791,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T01:24:34Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "programfile": "newton_1_4.i.c",
    "programhash": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/347177f21e36961d89d60ef0f6d1eefab18dae653a4d5123a9639f9f0ca2e99c.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "347177f21e36961d89d60ef0f6d1eefab18dae653a4d5123a9639f9f0ca2e99c",
    "witness-size": 4602,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T11:53 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_5db94610-abb7-4c7c-a3ae-dc3f93583867/sv-benchmarks/c/floats-cdfpl/newton_1_4.i",
    "programhash": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/6d08fd7fce74dfca71954b5e2a449d545ada77b6b09c831add009bfee51d7082.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "6d08fd7fce74dfca71954b5e2a449d545ada77b6b09c831add009bfee51d7082",
    "witness-size": 903,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T03:56:25+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_4.i",
    "programhash": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/ab78c53dc84993c12305c8daa48c5ac6fe295b57864f0cebf353815f54675fc8.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "ab78c53dc84993c12305c8daa48c5ac6fe295b57864f0cebf353815f54675fc8",
    "witness-size": 2637,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T23:27:41+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_4.i",
    "programhash": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/934a341bed3fd2f7c7f22a690877fa4d350ff78b8d9a9dc85e57f53b5439e5df.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "934a341bed3fd2f7c7f22a690877fa4d350ff78b8d9a9dc85e57f53b5439e5df",
    "witness-size": 2804,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:19:03+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_4.i",
    "programhash": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/837f3a13332433683b649e4a31d0564a3c4fb36cfb6d721cee5761373b90feda.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "837f3a13332433683b649e4a31d0564a3c4fb36cfb6d721cee5761373b90feda",
    "witness-size": 1060,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T01:35:11+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_4.i",
    "programhash": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/ec765b6577721211d84c4da9dba36b7d12fae28f36311770248d91a38dbfaeba.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "ec765b6577721211d84c4da9dba36b7d12fae28f36311770248d91a38dbfaeba",
    "witness-size": 1006,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T03:56:25+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_4.i",
    "programhash": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/7d78928a35a457b28ebc7af1661ac32bd93056f72ca289b360cdb46ad678f592.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "7d78928a35a457b28ebc7af1661ac32bd93056f72ca289b360cdb46ad678f592",
    "witness-size": 2859,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T02:00:58Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "programfile": "newton_1_4.i.c",
    "programhash": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/ee98603ae4a0dae1fbea0c0b9bcfc81ac9bd7f45d4724a3ecab30532a9b210c9.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "ee98603ae4a0dae1fbea0c0b9bcfc81ac9bd7f45d4724a3ecab30532a9b210c9",
    "witness-size": 3922,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T01:35:11+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_4.i",
    "programhash": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/fc52b235ab3600a2e3d93539ef7f96a10e9c2226c7a29a2f5d5ddf0323c19481.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "fc52b235ab3600a2e3d93539ef7f96a10e9c2226c7a29a2f5d5ddf0323c19481",
    "witness-size": 2796,
    "witness-type": "test-suite"
  }
]