[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:00:21Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "programfile": "pals_lcr.4.1.ufo.BOUNDED-8.pals.c.c",
    "programhash": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/98e7851f0e4d066dd7fac0fb417f09d5c6371f77ddac7cee0e1c5f2d0bb73794.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "98e7851f0e4d066dd7fac0fb417f09d5c6371f77ddac7cee0e1c5f2d0bb73794",
    "witness-size": 6870,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 10:45:40 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.4.1.ufo.BOUNDED-8.pals.c",
    "programhash": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/3c43ecc1efd9fa1d991733723a5037fa3c9eedf3558cd6d94f1ce329b913591e.zip",
    "witness-number-of-tests": 42,
    "witness-sha256": "3c43ecc1efd9fa1d991733723a5037fa3c9eedf3558cd6d94f1ce329b913591e",
    "witness-size": 42976,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 09:31:47 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.4.1.ufo.BOUNDED-8.pals.c",
    "programhash": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/4c03d39e9df7d303edbaccecb52845edbbfa439444ddf3ec407ed140ac8b43d6.zip",
    "witness-number-of-tests": 42,
    "witness-sha256": "4c03d39e9df7d303edbaccecb52845edbbfa439444ddf3ec407ed140ac8b43d6",
    "witness-size": 43207,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:29:16+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.4.1.ufo.BOUNDED-8.pals.c",
    "programhash": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/693ebc1147e221f311d1e0bb270d32787471b40718d5b159b8a4979fab982c76.zip",
    "witness-number-of-tests": 49,
    "witness-sha256": "693ebc1147e221f311d1e0bb270d32787471b40718d5b159b8a4979fab982c76",
    "witness-size": 18624,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:26:09",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_5deb8386-c99c-4b1d-8b00-b0cf3f34d204/sv-benchmarks/c/seq-mthreaded/pals_lcr.4.1.ufo.BOUNDED-8.pals.c",
    "programhash": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/4344ef49a7b75d64309eb9e05424f19e74709336312f7ac1df31dd713463b4ae.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "4344ef49a7b75d64309eb9e05424f19e74709336312f7ac1df31dd713463b4ae",
    "witness-size": 22739,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:10:18Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "programfile": "pals_lcr.4.1.ufo.BOUNDED-8.pals.c.c",
    "programhash": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/91a8135f46cb0ae4889e22e615fd221547ffccbaadf16a79eeaa874f8e459a23.zip",
    "witness-number-of-tests": 13,
    "witness-sha256": "91a8135f46cb0ae4889e22e615fd221547ffccbaadf16a79eeaa874f8e459a23",
    "witness-size": 13244,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:21:33+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.4.1.ufo.BOUNDED-8.pals.c",
    "programhash": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/be09f17125c4c414933468f4bfc1c5f0e09e11f8cb0afcd492b88754887d595c.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "be09f17125c4c414933468f4bfc1c5f0e09e11f8cb0afcd492b88754887d595c",
    "witness-size": 657,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:10:04Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "programfile": "pals_lcr.4.1.ufo.BOUNDED-8.pals.c.c",
    "programhash": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/b982afa9145940909ee1a85fcc822316ca038e36f7e48aea9a8f55615cbd4a39.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "b982afa9145940909ee1a85fcc822316ca038e36f7e48aea9a8f55615cbd4a39",
    "witness-size": 33760,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 00:26:40.617710",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.4.1.ufo.BOUNDED-8.pals.c",
    "programhash": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/7ae2c428fc30254273886b3be24d8815deb44efa7786553b2394f3fc07a0484b.zip",
    "witness-number-of-tests": 675,
    "witness-sha256": "7ae2c428fc30254273886b3be24d8815deb44efa7786553b2394f3fc07a0484b",
    "witness-size": 319333,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:51:07Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "programfile": "pals_lcr.4.1.ufo.BOUNDED-8.pals.c.c",
    "programhash": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/3fb32ee3eeaf9adebeb7eb99bc4b2ca2422eb1a2e85dde8e59638ab2e8e98ceb.zip",
    "witness-number-of-tests": 17,
    "witness-sha256": "3fb32ee3eeaf9adebeb7eb99bc4b2ca2422eb1a2e85dde8e59638ab2e8e98ceb",
    "witness-size": 39622,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:03:17+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.4.1.ufo.BOUNDED-8.pals.c",
    "programhash": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/8b85960f4103f6be9f3e5cc3babdc743d626e6e32b19468b3c7caf91dc81e818.zip",
    "witness-number-of-tests": 38,
    "witness-sha256": "8b85960f4103f6be9f3e5cc3babdc743d626e6e32b19468b3c7caf91dc81e818",
    "witness-size": 16992,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 03:02:39.126842",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.4.1.ufo.BOUNDED-8.pals.c",
    "programhash": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/53341a794339098eae64d1da4b61e7f8173d82eb69f7ffa4f39ddce78a2bf28b.zip",
    "witness-number-of-tests": 650,
    "witness-sha256": "53341a794339098eae64d1da4b61e7f8173d82eb69f7ffa4f39ddce78a2bf28b",
    "witness-size": 308026,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:52:09",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_c9a91137-56cd-4d56-9dbb-47c162a92781/sv-benchmarks/c/seq-mthreaded/pals_lcr.4.1.ufo.BOUNDED-8.pals.c",
    "programhash": "04efddf0cae4be5e012cc7685ae2c9cfce7c723fc704805faaac5ab6c836b23f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/380553698211e60ee94775b72ecf57f851f11e3bf6777146864f9ca41f1ddd9a.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "380553698211e60ee94775b72ecf57f851f11e3bf6777146864f9ca41f1ddd9a",
    "witness-size": 22602,
    "witness-type": "test-suite"
  }
]