[
  {
    "architecture": "32bit",
    "creationtime": "Sun Dec  8 23:24:40 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "b6a4ff24d6e6e56f0c92c7240e7850ea087c434cbde199b7a0e0fc9cad7c59af",
    "programfile": "../../sv-benchmarks/c/float-benchs/image_filter.c",
    "programhash": "b6a4ff24d6e6e56f0c92c7240e7850ea087c434cbde199b7a0e0fc9cad7c59af",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/305e35ee663792ec5cf7849f81f9812e6fd5703d2df2f303ae136332b760a2c5.zip",
    "witness-number-of-tests": 8,
    "witness-sha256": "305e35ee663792ec5cf7849f81f9812e6fd5703d2df2f303ae136332b760a2c5",
    "witness-size": 27102,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:39:44+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "b6a4ff24d6e6e56f0c92c7240e7850ea087c434cbde199b7a0e0fc9cad7c59af",
    "programfile": "../../sv-benchmarks/c/float-benchs/image_filter.c",
    "programhash": "b6a4ff24d6e6e56f0c92c7240e7850ea087c434cbde199b7a0e0fc9cad7c59af",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/a71e35167139b6e6f1a9a2a9b98223b85c36fd06533b8d720151e106209daa1f.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "a71e35167139b6e6f1a9a2a9b98223b85c36fd06533b8d720151e106209daa1f",
    "witness-size": 628,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T18:32:43Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "b6a4ff24d6e6e56f0c92c7240e7850ea087c434cbde199b7a0e0fc9cad7c59af",
    "programfile": "image_filter.c.c",
    "programhash": "b6a4ff24d6e6e56f0c92c7240e7850ea087c434cbde199b7a0e0fc9cad7c59af",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/6c9534fd4738a390798752d115ce7fc51d93eafa879aa597bfff58e18d070a0f.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "6c9534fd4738a390798752d115ce7fc51d93eafa879aa597bfff58e18d070a0f",
    "witness-size": 29435,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:31:07Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "b6a4ff24d6e6e56f0c92c7240e7850ea087c434cbde199b7a0e0fc9cad7c59af",
    "programfile": "image_filter.c.c",
    "programhash": "b6a4ff24d6e6e56f0c92c7240e7850ea087c434cbde199b7a0e0fc9cad7c59af",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/a84a18f56af88639d919040871dc1309fd13446de60920ea9354877a5b8d3264.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "a84a18f56af88639d919040871dc1309fd13446de60920ea9354877a5b8d3264",
    "witness-size": 9016,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:51:16",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "b6a4ff24d6e6e56f0c92c7240e7850ea087c434cbde199b7a0e0fc9cad7c59af",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_37fc4e17-f89f-4697-9097-dd216aef3b28/sv-benchmarks/c/float-benchs/image_filter.c",
    "programhash": "b6a4ff24d6e6e56f0c92c7240e7850ea087c434cbde199b7a0e0fc9cad7c59af",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/4369cf1add438bd24d0eae11b125d304450fbe6f19f1c83d0a375c28a26c5a9f.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "4369cf1add438bd24d0eae11b125d304450fbe6f19f1c83d0a375c28a26c5a9f",
    "witness-size": 29047,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 04:17:03.861452",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "b6a4ff24d6e6e56f0c92c7240e7850ea087c434cbde199b7a0e0fc9cad7c59af",
    "programfile": "../../sv-benchmarks/c/float-benchs/image_filter.c",
    "programhash": "b6a4ff24d6e6e56f0c92c7240e7850ea087c434cbde199b7a0e0fc9cad7c59af",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/413048938de8856998e4c0bed576b101d93747c8fd6ba3775bbbfba8d35353df.zip",
    "witness-number-of-tests": 607,
    "witness-sha256": "413048938de8856998e4c0bed576b101d93747c8fd6ba3775bbbfba8d35353df",
    "witness-size": 305384,
    "witness-type": "test-suite"
  }
]