[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:12:37Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "programfile": "pals_lcr.7.1.ufo.BOUNDED-14.pals.c.c",
    "programhash": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/8ed4660c93af9d88f77857afdb6df8c853343d2dcecd62241e41d8d52f6bb61f.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "8ed4660c93af9d88f77857afdb6df8c853343d2dcecd62241e41d8d52f6bb61f",
    "witness-size": 8509,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T16:56:00Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "programfile": "pals_lcr.7.1.ufo.BOUNDED-14.pals.c.c",
    "programhash": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/96823fa9a1dfef3b6af33e5c24ec0f51be066963880f2813c357a3837c9cca0d.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "96823fa9a1dfef3b6af33e5c24ec0f51be066963880f2813c357a3837c9cca0d",
    "witness-size": 39149,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Sun Dec  8 21:46:29 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.7.1.ufo.BOUNDED-14.pals.c",
    "programhash": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/e3ed9679c31813cd010344d39da56f48998d8749df1633f99b7010551a270bda.zip",
    "witness-number-of-tests": 95,
    "witness-sha256": "e3ed9679c31813cd010344d39da56f48998d8749df1633f99b7010551a270bda",
    "witness-size": 82654,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:54:41+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.7.1.ufo.BOUNDED-14.pals.c",
    "programhash": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/c19c643db5a6e2b96f72f30b76d3c0c235dab79e238d249b65866372521937e8.zip",
    "witness-number-of-tests": 91,
    "witness-sha256": "c19c643db5a6e2b96f72f30b76d3c0c235dab79e238d249b65866372521937e8",
    "witness-size": 35092,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 07:46:35.444269",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.7.1.ufo.BOUNDED-14.pals.c",
    "programhash": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/689fc0c3173e66932eaf15c3ce2bc076f9d10d387b7d0636b25d4bcae39a925a.zip",
    "witness-number-of-tests": 675,
    "witness-sha256": "689fc0c3173e66932eaf15c3ce2bc076f9d10d387b7d0636b25d4bcae39a925a",
    "witness-size": 331342,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:56:57Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "programfile": "pals_lcr.7.1.ufo.BOUNDED-14.pals.c.c",
    "programhash": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/ef23cc2759cf4d0b2491000cd652ebf8507d53221b0835c977ec8593be48c897.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "ef23cc2759cf4d0b2491000cd652ebf8507d53221b0835c977ec8593be48c897",
    "witness-size": 39187,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:27:04+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.7.1.ufo.BOUNDED-14.pals.c",
    "programhash": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/b4807faea9bc3f20fa669ddde006f1169dd58ec71ab501c5bcb778c984f81636.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "b4807faea9bc3f20fa669ddde006f1169dd58ec71ab501c5bcb778c984f81636",
    "witness-size": 659,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 04:27:49 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.7.1.ufo.BOUNDED-14.pals.c",
    "programhash": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/7e4842c40641157e65d8357f6f0f60b1229df47117b7b1f120109001520825f8.zip",
    "witness-number-of-tests": 95,
    "witness-sha256": "7e4842c40641157e65d8357f6f0f60b1229df47117b7b1f120109001520825f8",
    "witness-size": 83223,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 10:41:21",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_4a1b0943-401f-4147-a752-0368d4b4d7a5/sv-benchmarks/c/seq-mthreaded/pals_lcr.7.1.ufo.BOUNDED-14.pals.c",
    "programhash": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/91fb8385dc247bad2da5aa1a57cd00b50789325722e5fc283b772c342bea5b59.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "91fb8385dc247bad2da5aa1a57cd00b50789325722e5fc283b772c342bea5b59",
    "witness-size": 675,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T08:38:50+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.7.1.ufo.BOUNDED-14.pals.c",
    "programhash": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/da6429e558bfc82ca2ceb8b412004fc536e885ae09ad7bf129948f50bd1b9c02.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "da6429e558bfc82ca2ceb8b412004fc536e885ae09ad7bf129948f50bd1b9c02",
    "witness-size": 1595,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:29:18",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_b2e4b2b8-9ebe-4429-b45e-325fc698f036/sv-benchmarks/c/seq-mthreaded/pals_lcr.7.1.ufo.BOUNDED-14.pals.c",
    "programhash": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/cd84123d081c6b493cb363ed7198be232159d920d41d493450bdcaec0026b0a3.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "cd84123d081c6b493cb363ed7198be232159d920d41d493450bdcaec0026b0a3",
    "witness-size": 33983,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T06:22:30Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "programfile": "pals_lcr.7.1.ufo.BOUNDED-14.pals.c.c",
    "programhash": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/a9c4cadcad957f6da64caac6c2e26a2d853823b258402027e86d34762d4783f4.zip",
    "witness-number-of-tests": 20,
    "witness-sha256": "a9c4cadcad957f6da64caac6c2e26a2d853823b258402027e86d34762d4783f4",
    "witness-size": 20785,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 02:34:20.340108",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.7.1.ufo.BOUNDED-14.pals.c",
    "programhash": "4454df418fc13b43f6140dd992878eac8a62aa8e7054ecd99b9bc9efe094fb8b",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/1f891ea21b005af6120543acd9322c1bfca48ba3281d58e5470efe065d7fb4a2.zip",
    "witness-number-of-tests": 678,
    "witness-sha256": "1f891ea21b005af6120543acd9322c1bfca48ba3281d58e5470efe065d7fb4a2",
    "witness-size": 331333,
    "witness-type": "test-suite"
  }
]