[
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:42:16",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_54500dbe-f60a-4b42-ae8a-56c582ea6c6d/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/cbfc1732cb20ca3f4f8f70fa94a494e5da713c5109cc36eb4926b621a35883c8.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "cbfc1732cb20ca3f4f8f70fa94a494e5da713c5109cc36eb4926b621a35883c8",
    "witness-size": 6726,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T09:39:39+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "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/c3f86d718b069cc90a82b8ff434b03a5e9ed62ad2672c231aafeadf2f747e1a7.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "c3f86d718b069cc90a82b8ff434b03a5e9ed62ad2672c231aafeadf2f747e1a7",
    "witness-size": 2797,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 10:42:41",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_b004a91c-1b18-4626-a5ca-da4184773a8c/sv-benchmarks/c/floats-cdfpl/newton_1_4.i",
    "programhash": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/d8017214907996be337a2b4d86bd111ae872e26503d4ff8b3af12ff4a6712a38.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "d8017214907996be337a2b4d86bd111ae872e26503d4ff8b3af12ff4a6712a38",
    "witness-size": 7005,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:06:26Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-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/528d8118bed34cd261ba3995c217cc58535024dc1ed4129a357d852ad6129b64.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "528d8118bed34cd261ba3995c217cc58535024dc1ed4129a357d852ad6129b64",
    "witness-size": 4211,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Sun Dec  8 23:20:04 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "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/3f4bb0968b80310eaf1ba9dfe961d7feddb5defd4cc03e496ae5c32d829f0375.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "3f4bb0968b80310eaf1ba9dfe961d7feddb5defd4cc03e496ae5c32d829f0375",
    "witness-size": 12586,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:08:32+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "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/777b1f17f90cd74c04909f1722a00b61fe2d7491594718527e24f16abd0389cf.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "777b1f17f90cd74c04909f1722a00b61fe2d7491594718527e24f16abd0389cf",
    "witness-size": 1020,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:22:50+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_4.i",
    "programhash": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/1a0cec1053f9e2f783670342f0912fa4d618d619b6a117aa6c2982f208036c85.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "1a0cec1053f9e2f783670342f0912fa4d618d619b6a117aa6c2982f208036c85",
    "witness-size": 2145,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T16:26:23Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "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/24769554dea932d04d9075e0f18f4b1019190a6d94e991a05ade475686c0756d.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "24769554dea932d04d9075e0f18f4b1019190a6d94e991a05ade475686c0756d",
    "witness-size": 17271,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:21:05Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-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/b7a9c192c0f9cf83cd3cf63a7d0397bfa7bfaa9b7b61815a3e79035d5ee1d18b.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "b7a9c192c0f9cf83cd3cf63a7d0397bfa7bfaa9b7b61815a3e79035d5ee1d18b",
    "witness-size": 3850,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08 23:59:32.679170",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_4.i",
    "programhash": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/a0bd881d21703e5ca83f798c54bc271cdf8638272ca3eafb7b61a001dc083716.zip",
    "witness-number-of-tests": 971,
    "witness-sha256": "a0bd881d21703e5ca83f798c54bc271cdf8638272ca3eafb7b61a001dc083716",
    "witness-size": 423328,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 00:31:29 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "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/e540264080e7b85a1af39ceb8b73bf538a9a3ba99e663366295d54e0d1476ed1.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "e540264080e7b85a1af39ceb8b73bf538a9a3ba99e663366295d54e0d1476ed1",
    "witness-size": 12584,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:14:12+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "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/8ce244d840c4b972fce315e6688610b8c0065479e1f655bf9aba98194a8be500.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "8ce244d840c4b972fce315e6688610b8c0065479e1f655bf9aba98194a8be500",
    "witness-size": 1014,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T19:36:39Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "programfile": "newton_1_4.i.c",
    "programhash": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/52357f10f47485aa01e2aa20a01a1847b26afd73f97b33f6e722801e84ca2fb1.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "52357f10f47485aa01e2aa20a01a1847b26afd73f97b33f6e722801e84ca2fb1",
    "witness-size": 17245,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 05:11:42.721974",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_4.i",
    "programhash": "2ebbe834c7ff04b3d74c3d939955b9d9edc9b1878ddaac3261363bd0e686755d",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/ab506552bc0a98854827b84a4860c305bff364e1153f3e3c48d46edf91ef41e7.zip",
    "witness-number-of-tests": 899,
    "witness-sha256": "ab506552bc0a98854827b84a4860c305bff364e1153f3e3c48d46edf91ef41e7",
    "witness-size": 389795,
    "witness-type": "test-suite"
  }
]