[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:20:08+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "15a8c27f08a245fd5652d67f62f9c2b195f2b5c672f4d7240f8bb9d77e4ee4ab",
    "programfile": "../../sv-benchmarks/c/loops/linear_sea.ch.c",
    "programhash": "15a8c27f08a245fd5652d67f62f9c2b195f2b5c672f4d7240f8bb9d77e4ee4ab",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/61a4016adee7955e260d10785569019e77b70b7f53fa8357c14b30f8d91a4fd2.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "61a4016adee7955e260d10785569019e77b70b7f53fa8357c14b30f8d91a4fd2",
    "witness-size": 3054,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 02:00:04 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "15a8c27f08a245fd5652d67f62f9c2b195f2b5c672f4d7240f8bb9d77e4ee4ab",
    "programfile": "../../sv-benchmarks/c/loops/linear_sea.ch.c",
    "programhash": "15a8c27f08a245fd5652d67f62f9c2b195f2b5c672f4d7240f8bb9d77e4ee4ab",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/0f9c461cf6f21963896d5eca5d9f1d5146b5b895c55772724e33cd686009a089.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "0f9c461cf6f21963896d5eca5d9f1d5146b5b895c55772724e33cd686009a089",
    "witness-size": 12682,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:51:15+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "15a8c27f08a245fd5652d67f62f9c2b195f2b5c672f4d7240f8bb9d77e4ee4ab",
    "programfile": "../../sv-benchmarks/c/loops/linear_sea.ch.c",
    "programhash": "15a8c27f08a245fd5652d67f62f9c2b195f2b5c672f4d7240f8bb9d77e4ee4ab",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/1f574aad63d02cf0525549ad555a14504e58b28e1c25b4407a3b2c753e98bcea.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "1f574aad63d02cf0525549ad555a14504e58b28e1c25b4407a3b2c753e98bcea",
    "witness-size": 1759,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:30:33Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "15a8c27f08a245fd5652d67f62f9c2b195f2b5c672f4d7240f8bb9d77e4ee4ab",
    "programfile": "linear_sea.ch.c.c",
    "programhash": "15a8c27f08a245fd5652d67f62f9c2b195f2b5c672f4d7240f8bb9d77e4ee4ab",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/cf87e7839186aeb8534df15a2ad6bfc725e8b8c1821b66abf0c33d611aa14b3a.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "cf87e7839186aeb8534df15a2ad6bfc725e8b8c1821b66abf0c33d611aa14b3a",
    "witness-size": 4700,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:47:03",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "15a8c27f08a245fd5652d67f62f9c2b195f2b5c672f4d7240f8bb9d77e4ee4ab",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_7ed24fad-fb09-41ab-95ea-724b8064fb3e/sv-benchmarks/c/loops/linear_sea.ch.c",
    "programhash": "15a8c27f08a245fd5652d67f62f9c2b195f2b5c672f4d7240f8bb9d77e4ee4ab",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/5a75585e094917c1df7a96a97b684ab41e40ec9b9257ca8102424e0780fac1c3.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "5a75585e094917c1df7a96a97b684ab41e40ec9b9257ca8102424e0780fac1c3",
    "witness-size": 7503,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T16:49:32Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "15a8c27f08a245fd5652d67f62f9c2b195f2b5c672f4d7240f8bb9d77e4ee4ab",
    "programfile": "linear_sea.ch.c.c",
    "programhash": "15a8c27f08a245fd5652d67f62f9c2b195f2b5c672f4d7240f8bb9d77e4ee4ab",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/9210d1c6b15f5c9fd4777530c7e95ad4f9842736d0f590f8f9e1c9a6d9afeee3.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "9210d1c6b15f5c9fd4777530c7e95ad4f9842736d0f590f8f9e1c9a6d9afeee3",
    "witness-size": 19218,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08 22:44:05.602555",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "15a8c27f08a245fd5652d67f62f9c2b195f2b5c672f4d7240f8bb9d77e4ee4ab",
    "programfile": "../../sv-benchmarks/c/loops/linear_sea.ch.c",
    "programhash": "15a8c27f08a245fd5652d67f62f9c2b195f2b5c672f4d7240f8bb9d77e4ee4ab",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/fa60f90738f82929aa1f1b60c47fd61c2714fc620dfd99366d952eb2da906dcd.zip",
    "witness-number-of-tests": 514,
    "witness-sha256": "fa60f90738f82929aa1f1b60c47fd61c2714fc620dfd99366d952eb2da906dcd",
    "witness-size": 224257,
    "witness-type": "test-suite"
  }
]