[
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T21:18:00+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "9f9da9907db0bda02d76b6ddfc60c45d951d2cc48dba7bbb712db8fa4ad41dc2",
    "programfile": "../../sv-benchmarks/c/float-newlib/double_req_bl_0870a.c",
    "programhash": "9f9da9907db0bda02d76b6ddfc60c45d951d2cc48dba7bbb712db8fa4ad41dc2",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/e99751e80b796b5e59fc39ce6ab9e72e4d04e36962742acf8920f7d026ec33e9.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "e99751e80b796b5e59fc39ce6ab9e72e4d04e36962742acf8920f7d026ec33e9",
    "witness-size": 6231,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T03:33:26Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "9f9da9907db0bda02d76b6ddfc60c45d951d2cc48dba7bbb712db8fa4ad41dc2",
    "programfile": "double_req_bl_0870a.c.c",
    "programhash": "9f9da9907db0bda02d76b6ddfc60c45d951d2cc48dba7bbb712db8fa4ad41dc2",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b4c2cea8001ea79c07035d9eb5e968575e6c9c637a4d1ed69c62ecaccbe7087b.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "b4c2cea8001ea79c07035d9eb5e968575e6c9c637a4d1ed69c62ecaccbe7087b",
    "witness-size": 11232,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T21:18:00+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "9f9da9907db0bda02d76b6ddfc60c45d951d2cc48dba7bbb712db8fa4ad41dc2",
    "programfile": "../../sv-benchmarks/c/float-newlib/double_req_bl_0870a.c",
    "programhash": "9f9da9907db0bda02d76b6ddfc60c45d951d2cc48dba7bbb712db8fa4ad41dc2",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/25ea961e836b23f12db2a689d54ae43d9f5fcbceb199ff5e3c45499bce21d402.zip",
    "witness-number-of-tests": 10,
    "witness-sha256": "25ea961e836b23f12db2a689d54ae43d9f5fcbceb199ff5e3c45499bce21d402",
    "witness-size": 4081,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T02:22:54+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "9f9da9907db0bda02d76b6ddfc60c45d951d2cc48dba7bbb712db8fa4ad41dc2",
    "programfile": "../../sv-benchmarks/c/float-newlib/double_req_bl_0870a.c",
    "programhash": "9f9da9907db0bda02d76b6ddfc60c45d951d2cc48dba7bbb712db8fa4ad41dc2",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/65a2862e65fcb5691460b205925c2ccce271418a539eabbc688458d36af87f14.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "65a2862e65fcb5691460b205925c2ccce271418a539eabbc688458d36af87f14",
    "witness-size": 669,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T05:20:57+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "9f9da9907db0bda02d76b6ddfc60c45d951d2cc48dba7bbb712db8fa4ad41dc2",
    "programfile": "../../sv-benchmarks/c/float-newlib/double_req_bl_0870a.c",
    "programhash": "9f9da9907db0bda02d76b6ddfc60c45d951d2cc48dba7bbb712db8fa4ad41dc2",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/a8541858a85b44eaa3f4ee230275f258e86880f0b68a8209d2e7e0795b15ee36.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "a8541858a85b44eaa3f4ee230275f258e86880f0b68a8209d2e7e0795b15ee36",
    "witness-size": 6273,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T13:51 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "9f9da9907db0bda02d76b6ddfc60c45d951d2cc48dba7bbb712db8fa4ad41dc2",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_ea006a7e-e927-47f5-b480-738fd007d427/sv-benchmarks/c/float-newlib/double_req_bl_0870a.c",
    "programhash": "9f9da9907db0bda02d76b6ddfc60c45d951d2cc48dba7bbb712db8fa4ad41dc2",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/aa4ae55229696106d7136d677f91f48fdc90fbc089d153ed61a5f9c0b0d82cf2.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "aa4ae55229696106d7136d677f91f48fdc90fbc089d153ed61a5f9c0b0d82cf2",
    "witness-size": 908,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T03:46:22Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "9f9da9907db0bda02d76b6ddfc60c45d951d2cc48dba7bbb712db8fa4ad41dc2",
    "programfile": "double_req_bl_0870a.c.c",
    "programhash": "9f9da9907db0bda02d76b6ddfc60c45d951d2cc48dba7bbb712db8fa4ad41dc2",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/17e9e1fc2ef7a20680626f2141a21f6b07519125a89023e8690334041183e573.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "17e9e1fc2ef7a20680626f2141a21f6b07519125a89023e8690334041183e573",
    "witness-size": 9871,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T05:20:57+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "9f9da9907db0bda02d76b6ddfc60c45d951d2cc48dba7bbb712db8fa4ad41dc2",
    "programfile": "../../sv-benchmarks/c/float-newlib/double_req_bl_0870a.c",
    "programhash": "9f9da9907db0bda02d76b6ddfc60c45d951d2cc48dba7bbb712db8fa4ad41dc2",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/ca5e6cb2ca1c2dc47285a84a76c0575a75895c9ba382d8ebf4b41a42d71ec034.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "ca5e6cb2ca1c2dc47285a84a76c0575a75895c9ba382d8ebf4b41a42d71ec034",
    "witness-size": 2180,
    "witness-type": "test-suite"
  }
]