[
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T10:05 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_d501777d-2fc4-4908-ac26-bb214ba2ace0/sv-benchmarks/c/floats-cdfpl/newton_3_7.i",
    "programhash": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/7bd3cabef1d6fd8f950b1d5af9338039b3dd9ddee763ba8b81b6c756cde00080.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "7bd3cabef1d6fd8f950b1d5af9338039b3dd9ddee763ba8b81b6c756cde00080",
    "witness-size": 903,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:49:58+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_7.i",
    "programhash": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/68c2c6e7d40f08b853b4e13ac52c7243a31a7c5bd8f0b97b0ad496b0163d34d2.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "68c2c6e7d40f08b853b4e13ac52c7243a31a7c5bd8f0b97b0ad496b0163d34d2",
    "witness-size": 2791,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T22:50:07Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "programfile": "newton_3_7.i.c",
    "programhash": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/62e567be0fe014f3fd98d967024efdf2ab69005f29db7b1b7af1e3d080f08ce9.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "62e567be0fe014f3fd98d967024efdf2ab69005f29db7b1b7af1e3d080f08ce9",
    "witness-size": 4737,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T05:23:52+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_7.i",
    "programhash": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/79d17a7b5b1b3243f53cad518dee426b9d556536000f57b9814ba38f1ac324b6.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "79d17a7b5b1b3243f53cad518dee426b9d556536000f57b9814ba38f1ac324b6",
    "witness-size": 2237,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T02:57:40+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_7.i",
    "programhash": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/5158b1d68a0622526451d86ec8bb60ca603600dec047107604047a44c058c01e.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "5158b1d68a0622526451d86ec8bb60ca603600dec047107604047a44c058c01e",
    "witness-size": 2861,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:49:58+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_7.i",
    "programhash": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/21383c7fc85a255dd99413df527572af092301df26858cec9795328785264df2.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "21383c7fc85a255dd99413df527572af092301df26858cec9795328785264df2",
    "witness-size": 2813,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T03:58:31+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_7.i",
    "programhash": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/7727780e475b8beb8f5ec48f67c9953572a783bb3fa0b7afc7ac89d87cd88eef.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "7727780e475b8beb8f5ec48f67c9953572a783bb3fa0b7afc7ac89d87cd88eef",
    "witness-size": 1005,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T03:53:59Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "programfile": "newton_3_7.i.c",
    "programhash": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/e4de6e3e22396461d8d681362983377df2375134377cbb7601d3c0ceec9ad10b.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "e4de6e3e22396461d8d681362983377df2375134377cbb7601d3c0ceec9ad10b",
    "witness-size": 4053,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T05:23:52+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_7.i",
    "programhash": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/932b611dbf8bb710fab0abaec44f3fa37324eef5e0e37e4ccc8d1176320267cd.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "932b611dbf8bb710fab0abaec44f3fa37324eef5e0e37e4ccc8d1176320267cd",
    "witness-size": 2864,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T03:58:31+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_7.i",
    "programhash": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/2ef15d3ab7d3b2d50c25329c0fbf70f7f0ba4e7363c3dfd0e32487c535355b18.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "2ef15d3ab7d3b2d50c25329c0fbf70f7f0ba4e7363c3dfd0e32487c535355b18",
    "witness-size": 2804,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T02:57:40+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_7.i",
    "programhash": "ae323711f216b8f1c636890a33eb125057da0b0114f659a19d85c06acac9ed92",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/b7881017c49fe58d137f846733ba8e1af259f50a57cf6cc33516149ca94b2e9e.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "b7881017c49fe58d137f846733ba8e1af259f50a57cf6cc33516149ca94b2e9e",
    "witness-size": 1060,
    "witness-type": "test-suite"
  }
]