[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 06:29:22.663736",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "d3158c51860a632c9a99327eb7cbd0348f4b09b069e85e86512c5135c6f5c941",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.6.ufo.BOUNDED-12.pals.c",
    "programhash": "d3158c51860a632c9a99327eb7cbd0348f4b09b069e85e86512c5135c6f5c941",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/810ac99630232289109fd0dc04d560ec065b18ea03ffb352c623e613aedf2461.zip",
    "witness-number-of-tests": 679,
    "witness-sha256": "810ac99630232289109fd0dc04d560ec065b18ea03ffb352c623e613aedf2461",
    "witness-size": 337780,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 06:39:05 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "d3158c51860a632c9a99327eb7cbd0348f4b09b069e85e86512c5135c6f5c941",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.6.ufo.BOUNDED-12.pals.c",
    "programhash": "d3158c51860a632c9a99327eb7cbd0348f4b09b069e85e86512c5135c6f5c941",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/1e6104a0063419a453e8af83fa8b5bec63a90ec4317fd8a5fc787cda00fc48eb.zip",
    "witness-number-of-tests": 92,
    "witness-sha256": "1e6104a0063419a453e8af83fa8b5bec63a90ec4317fd8a5fc787cda00fc48eb",
    "witness-size": 83120,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:24:47+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "d3158c51860a632c9a99327eb7cbd0348f4b09b069e85e86512c5135c6f5c941",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.6.ufo.BOUNDED-12.pals.c",
    "programhash": "d3158c51860a632c9a99327eb7cbd0348f4b09b069e85e86512c5135c6f5c941",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/e1534a0a5bcc477bf18a6419d5eef486b31fa53cb4d48e9b5c345b2c3f6252e8.zip",
    "witness-number-of-tests": 12,
    "witness-sha256": "e1534a0a5bcc477bf18a6419d5eef486b31fa53cb4d48e9b5c345b2c3f6252e8",
    "witness-size": 6450,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:00:27",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "d3158c51860a632c9a99327eb7cbd0348f4b09b069e85e86512c5135c6f5c941",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_13879fb0-324c-4866-89a9-e1869150a830/sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.6.ufo.BOUNDED-12.pals.c",
    "programhash": "d3158c51860a632c9a99327eb7cbd0348f4b09b069e85e86512c5135c6f5c941",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/bf0216b7712064f9b6efc9cb39000adcd4b5393b8afc16d597fe5b8cbc192880.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "bf0216b7712064f9b6efc9cb39000adcd4b5393b8afc16d597fe5b8cbc192880",
    "witness-size": 33880,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T13:51:34Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "d3158c51860a632c9a99327eb7cbd0348f4b09b069e85e86512c5135c6f5c941",
    "programfile": "pals_lcr-var-start-time.6.ufo.BOUNDED-12.pals.c.c",
    "programhash": "d3158c51860a632c9a99327eb7cbd0348f4b09b069e85e86512c5135c6f5c941",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/2ca186f2e5b2df62e6c9d451d76831191d62e5c63bb6a27d2bf6945f156b39a4.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "2ca186f2e5b2df62e6c9d451d76831191d62e5c63bb6a27d2bf6945f156b39a4",
    "witness-size": 38542,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:19:12+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "d3158c51860a632c9a99327eb7cbd0348f4b09b069e85e86512c5135c6f5c941",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.6.ufo.BOUNDED-12.pals.c",
    "programhash": "d3158c51860a632c9a99327eb7cbd0348f4b09b069e85e86512c5135c6f5c941",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/875fe5a2db7772cf50b7ed160f0ef81f604aa41a4739e6f9c93eed80268620a4.zip",
    "witness-number-of-tests": 106,
    "witness-sha256": "875fe5a2db7772cf50b7ed160f0ef81f604aa41a4739e6f9c93eed80268620a4",
    "witness-size": 41529,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:03:52Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "d3158c51860a632c9a99327eb7cbd0348f4b09b069e85e86512c5135c6f5c941",
    "programfile": "pals_lcr-var-start-time.6.ufo.BOUNDED-12.pals.c.c",
    "programhash": "d3158c51860a632c9a99327eb7cbd0348f4b09b069e85e86512c5135c6f5c941",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/e5205a0c60f7fe11bcb3a9d8756c31dddc7ba04b49b5804fc394360fcd3825ab.zip",
    "witness-number-of-tests": 42,
    "witness-sha256": "e5205a0c60f7fe11bcb3a9d8756c31dddc7ba04b49b5804fc394360fcd3825ab",
    "witness-size": 27150,
    "witness-type": "test-suite"
  }
]