[
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T03:20:34+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "1813acec740f4005f6f188f26ab4e175c2154840352f5730863b6b7d0fcd83a1",
    "programfile": "../../sv-benchmarks/c/float-newlib/float_req_bl_0870a.c",
    "programhash": "1813acec740f4005f6f188f26ab4e175c2154840352f5730863b6b7d0fcd83a1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/0206755ff93e5362c4a2542dc78ddb80ef126a81a83421a6132cbfb4763446c5.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "0206755ff93e5362c4a2542dc78ddb80ef126a81a83421a6132cbfb4763446c5",
    "witness-size": 5912,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T05:36:11+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "1813acec740f4005f6f188f26ab4e175c2154840352f5730863b6b7d0fcd83a1",
    "programfile": "../../sv-benchmarks/c/float-newlib/float_req_bl_0870a.c",
    "programhash": "1813acec740f4005f6f188f26ab4e175c2154840352f5730863b6b7d0fcd83a1",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/9cee209f27542a84d7f3ed1807860ee23d84900f34d2a60716e9b93379949b16.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "9cee209f27542a84d7f3ed1807860ee23d84900f34d2a60716e9b93379949b16",
    "witness-size": 667,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T00:37:13+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "1813acec740f4005f6f188f26ab4e175c2154840352f5730863b6b7d0fcd83a1",
    "programfile": "../../sv-benchmarks/c/float-newlib/float_req_bl_0870a.c",
    "programhash": "1813acec740f4005f6f188f26ab4e175c2154840352f5730863b6b7d0fcd83a1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/0f200113cac856b77526f286fe7ec2c10824d063492d5a77d3e5bc352f64ae7c.zip",
    "witness-number-of-tests": 8,
    "witness-sha256": "0f200113cac856b77526f286fe7ec2c10824d063492d5a77d3e5bc352f64ae7c",
    "witness-size": 3406,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T00:37:13+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "1813acec740f4005f6f188f26ab4e175c2154840352f5730863b6b7d0fcd83a1",
    "programfile": "../../sv-benchmarks/c/float-newlib/float_req_bl_0870a.c",
    "programhash": "1813acec740f4005f6f188f26ab4e175c2154840352f5730863b6b7d0fcd83a1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/1724e94f7c7d008e931785124c8fdafe3fa889364985baa8fb6d42ddc09da6a3.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "1724e94f7c7d008e931785124c8fdafe3fa889364985baa8fb6d42ddc09da6a3",
    "witness-size": 5918,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T23:55:08Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "1813acec740f4005f6f188f26ab4e175c2154840352f5730863b6b7d0fcd83a1",
    "programfile": "float_req_bl_0870a.c.c",
    "programhash": "1813acec740f4005f6f188f26ab4e175c2154840352f5730863b6b7d0fcd83a1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/d74fd1588aa3f441d93f73b18052094d44b5a18f7ac10d465b62e997ae2e2ab8.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "d74fd1588aa3f441d93f73b18052094d44b5a18f7ac10d465b62e997ae2e2ab8",
    "witness-size": 10300,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T03:20:34+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "1813acec740f4005f6f188f26ab4e175c2154840352f5730863b6b7d0fcd83a1",
    "programfile": "../../sv-benchmarks/c/float-newlib/float_req_bl_0870a.c",
    "programhash": "1813acec740f4005f6f188f26ab4e175c2154840352f5730863b6b7d0fcd83a1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/d7b664f514bf93fdd48172b85c2997937e0c655af5d43573d45dc50d32d81edf.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "d7b664f514bf93fdd48172b85c2997937e0c655af5d43573d45dc50d32d81edf",
    "witness-size": 994,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T02:13:51+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "1813acec740f4005f6f188f26ab4e175c2154840352f5730863b6b7d0fcd83a1",
    "programfile": "../../sv-benchmarks/c/float-newlib/float_req_bl_0870a.c",
    "programhash": "1813acec740f4005f6f188f26ab4e175c2154840352f5730863b6b7d0fcd83a1",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/b38e684f2ba38b5e67e97ab27703d018c980041067089c0f660b8bdda0bb9496.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "b38e684f2ba38b5e67e97ab27703d018c980041067089c0f660b8bdda0bb9496",
    "witness-size": 5966,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T23:50:02Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "1813acec740f4005f6f188f26ab4e175c2154840352f5730863b6b7d0fcd83a1",
    "programfile": "float_req_bl_0870a.c.c",
    "programhash": "1813acec740f4005f6f188f26ab4e175c2154840352f5730863b6b7d0fcd83a1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/2b9dda460ebc6ae79cdd3668ed23af4ebd0fccdd1e06a0241a4066481c736d49.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "2b9dda460ebc6ae79cdd3668ed23af4ebd0fccdd1e06a0241a4066481c736d49",
    "witness-size": 8933,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T02:13:51+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "1813acec740f4005f6f188f26ab4e175c2154840352f5730863b6b7d0fcd83a1",
    "programfile": "../../sv-benchmarks/c/float-newlib/float_req_bl_0870a.c",
    "programhash": "1813acec740f4005f6f188f26ab4e175c2154840352f5730863b6b7d0fcd83a1",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/9a38b9fa8f15437fd69cb2df356c31f078e5104aa7e51e82d4fa1b8a4914e4b5.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "9a38b9fa8f15437fd69cb2df356c31f078e5104aa7e51e82d4fa1b8a4914e4b5",
    "witness-size": 2949,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T09:54 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "1813acec740f4005f6f188f26ab4e175c2154840352f5730863b6b7d0fcd83a1",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_719fbd22-7f1e-45fd-8939-a64d3b5216fe/sv-benchmarks/c/float-newlib/float_req_bl_0870a.c",
    "programhash": "1813acec740f4005f6f188f26ab4e175c2154840352f5730863b6b7d0fcd83a1",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/65f7788801f24e492144775b87de5bcd960acb6709d60de01fd7903f01a1a67d.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "65f7788801f24e492144775b87de5bcd960acb6709d60de01fd7903f01a1a67d",
    "witness-size": 906,
    "witness-type": "test-suite"
  }
]