[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:13:04+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.3.2.ufo.UNBOUNDED.pals.c",
    "programhash": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/be85201f413ca6e02331595147a07a49e79ae9d6e454bc7e918d9655853b333f.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "be85201f413ca6e02331595147a07a49e79ae9d6e454bc7e918d9655853b333f",
    "witness-size": 1047,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T01:09:39Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "programfile": "pals_lcr-var-start-time.3.2.ufo.UNBOUNDED.pals.c.c",
    "programhash": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/38bfa346b1386c0f1dd1f36d9cb314e24cbd36a2a793950aac15ad0b247e4608.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "38bfa346b1386c0f1dd1f36d9cb314e24cbd36a2a793950aac15ad0b247e4608",
    "witness-size": 6839,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T11:15:28+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.3.2.ufo.UNBOUNDED.pals.c",
    "programhash": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/4c56d5e7dbcb03b47d9c644aff4a0722a756ebb5ddf9ecab256cce902ddb0600.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "4c56d5e7dbcb03b47d9c644aff4a0722a756ebb5ddf9ecab256cce902ddb0600",
    "witness-size": 1097,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:53:19",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_dd06e694-ede1-4686-a145-b7183afba1de/sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.3.2.ufo.UNBOUNDED.pals.c",
    "programhash": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/31a3f36768d87f71593340d13660ffee19e06fecbf294cd5d54ad4796affd16e.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "31a3f36768d87f71593340d13660ffee19e06fecbf294cd5d54ad4796affd16e",
    "witness-size": 19542,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Sun Dec  8 23:56:08 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.3.2.ufo.UNBOUNDED.pals.c",
    "programhash": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/9849360555f37e190f76a594ad19a1030ce783dbf1516cae863caa05fe59d6f4.zip",
    "witness-number-of-tests": 37,
    "witness-sha256": "9849360555f37e190f76a594ad19a1030ce783dbf1516cae863caa05fe59d6f4",
    "witness-size": 42969,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 02:38:21.184941",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.3.2.ufo.UNBOUNDED.pals.c",
    "programhash": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/9576e1916c260f79bb9cef2dfec16818927c3137fb5ceb569c06b489cdf0912a.zip",
    "witness-number-of-tests": 779,
    "witness-sha256": "9576e1916c260f79bb9cef2dfec16818927c3137fb5ceb569c06b489cdf0912a",
    "witness-size": 374965,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T18:30:46Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "programfile": "pals_lcr-var-start-time.3.2.ufo.UNBOUNDED.pals.c.c",
    "programhash": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/d1929c1f42377e051fc3717254246ad833521f6e62aa6ff5d59c43776b7c13cd.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "d1929c1f42377e051fc3717254246ad833521f6e62aa6ff5d59c43776b7c13cd",
    "witness-size": 35824,
    "witness-type": "test-suite"
  }
]