[
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 01:48:21 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_8.i",
    "programhash": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/440bbd0b10dac9a80ef52be580b7f5d11fe0178d1d97e88742a39fb505414195.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "440bbd0b10dac9a80ef52be580b7f5d11fe0178d1d97e88742a39fb505414195",
    "witness-size": 12817,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 08:22:58.564587",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_8.i",
    "programhash": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/c90aa50560f030e80a50d289992ee8a58f307091b5b28249d80f4084d7c3653a.zip",
    "witness-number-of-tests": 944,
    "witness-sha256": "c90aa50560f030e80a50d289992ee8a58f307091b5b28249d80f4084d7c3653a",
    "witness-size": 412124,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T18:16:53Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "programfile": "newton_3_8.i.c",
    "programhash": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/baaa86a8a0f6b966eee7ee6afb7c17b94f547fe371aad2e61faf55ef521b2b98.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "baaa86a8a0f6b966eee7ee6afb7c17b94f547fe371aad2e61faf55ef521b2b98",
    "witness-size": 17515,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 07:43:01 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_8.i",
    "programhash": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/6e1ae99a4608e2ec1e3d7e3b0541beaa922bf24f6e676b56e5376aba59a1054f.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "6e1ae99a4608e2ec1e3d7e3b0541beaa922bf24f6e676b56e5376aba59a1054f",
    "witness-size": 12818,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T21:05:26+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_8.i",
    "programhash": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/1842aef3e362aba18767f6a72cd664d74f16e3acc0aae845138fe96cea4e4f1c.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "1842aef3e362aba18767f6a72cd664d74f16e3acc0aae845138fe96cea4e4f1c",
    "witness-size": 2781,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T01:42:42Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "programfile": "newton_3_8.i.c",
    "programhash": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/c30f4eafac8dcca6008777e0907ede78b066b770b7154ff9ebd1077dcb5065f0.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "c30f4eafac8dcca6008777e0907ede78b066b770b7154ff9ebd1077dcb5065f0",
    "witness-size": 4309,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:45:49",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_a4329ede-5d32-4f62-b6ea-bd0eff80aac3/sv-benchmarks/c/floats-cdfpl/newton_3_8.i",
    "programhash": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/34a6abd753f0bb59304135a88c427e305a7b08162d594e1ca38242e0636c0972.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "34a6abd753f0bb59304135a88c427e305a7b08162d594e1ca38242e0636c0972",
    "witness-size": 7070,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:32:11+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_8.i",
    "programhash": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/68d7913e6bf7d98a32416e3609054d6aef204b2504c6e777a6add57e05a7c4e0.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "68d7913e6bf7d98a32416e3609054d6aef204b2504c6e777a6add57e05a7c4e0",
    "witness-size": 1011,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:18:06+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_8.i",
    "programhash": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/6bb3ab64ef794167621884c9bd5e2757321a95aef63775ad4109a9c65ccc1831.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "6bb3ab64ef794167621884c9bd5e2757321a95aef63775ad4109a9c65ccc1831",
    "witness-size": 2141,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:32:34+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_8.i",
    "programhash": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/79e04c84e97b1d6550ec05ace79d1f225c22df517827b7c1099da7514af0a791.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "79e04c84e97b1d6550ec05ace79d1f225c22df517827b7c1099da7514af0a791",
    "witness-size": 1017,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:45:35",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_6ad70f41-7fc6-462a-be3b-8722a941b985/sv-benchmarks/c/floats-cdfpl/newton_3_8.i",
    "programhash": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/e1f8e35c0abc6c90f242a22b5fba7fcbfcc76ffda9f7c6a27d5c2f57fe714baf.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "e1f8e35c0abc6c90f242a22b5fba7fcbfcc76ffda9f7c6a27d5c2f57fe714baf",
    "witness-size": 7341,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 02:01:15.150145",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_8.i",
    "programhash": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/ffc15e42407f04ade4c658394896b1f2cf0e7f306cab6b29b450ab7808cf8d40.zip",
    "witness-number-of-tests": 939,
    "witness-sha256": "ffc15e42407f04ade4c658394896b1f2cf0e7f306cab6b29b450ab7808cf8d40",
    "witness-size": 409295,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:33:06Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "programfile": "newton_3_8.i.c",
    "programhash": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/7dcbc6e1e3fbd29330a2f937331c3adf7c25fffa2ea36ff880a600c927a0241f.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "7dcbc6e1e3fbd29330a2f937331c3adf7c25fffa2ea36ff880a600c927a0241f",
    "witness-size": 3948,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T18:52:11Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "programfile": "newton_3_8.i.c",
    "programhash": "23c0ef91c18c06da233693c0bdbfa425be3ad1771cc89400a259919206235bc2",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/32abdf7717fd956491e52ddbed20c557aa07b0f9344f3e3a280ed53a65251ba7.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "32abdf7717fd956491e52ddbed20c557aa07b0f9344f3e3a280ed53a65251ba7",
    "witness-size": 17558,
    "witness-type": "test-suite"
  }
]