[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T10:23:23Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "8912d92357bf15e31917bb0f65bf5ee1ee6c6901231796f268956ccf019743d7",
    "programfile": "pals_STARTPALS_Triplicated.ufo.BOUNDED-10.pals.c.c",
    "programhash": "8912d92357bf15e31917bb0f65bf5ee1ee6c6901231796f268956ccf019743d7",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/fd2ac89d2f0442c03a27dd9303b64f0ac94baeaa03aee85130b0b3e538ccfc55.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "fd2ac89d2f0442c03a27dd9303b64f0ac94baeaa03aee85130b0b3e538ccfc55",
    "witness-size": 95868,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:49:15+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "8912d92357bf15e31917bb0f65bf5ee1ee6c6901231796f268956ccf019743d7",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_Triplicated.ufo.BOUNDED-10.pals.c",
    "programhash": "8912d92357bf15e31917bb0f65bf5ee1ee6c6901231796f268956ccf019743d7",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/fdfed48430b4f41bd0f724f86d95034546ebd3d80bdb2c009958bb4fb971a8a4.zip",
    "witness-number-of-tests": 13,
    "witness-sha256": "fdfed48430b4f41bd0f724f86d95034546ebd3d80bdb2c009958bb4fb971a8a4",
    "witness-size": 6762,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 10:00:00",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "8912d92357bf15e31917bb0f65bf5ee1ee6c6901231796f268956ccf019743d7",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_26c72804-8698-4a97-bde1-79e069ad0ef6/sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_Triplicated.ufo.BOUNDED-10.pals.c",
    "programhash": "8912d92357bf15e31917bb0f65bf5ee1ee6c6901231796f268956ccf019743d7",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/a1797021109bde01dfcc2b1d88d3d523f999d55e083a7ff7b3346783b2fbda3c.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "a1797021109bde01dfcc2b1d88d3d523f999d55e083a7ff7b3346783b2fbda3c",
    "witness-size": 30573,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:50:21Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "8912d92357bf15e31917bb0f65bf5ee1ee6c6901231796f268956ccf019743d7",
    "programfile": "pals_STARTPALS_Triplicated.ufo.BOUNDED-10.pals.c.c",
    "programhash": "8912d92357bf15e31917bb0f65bf5ee1ee6c6901231796f268956ccf019743d7",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f11d7a51aa926fef03392ebe74df56a9992c9aa8f82e82a84b886f5d73f5a757.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "f11d7a51aa926fef03392ebe74df56a9992c9aa8f82e82a84b886f5d73f5a757",
    "witness-size": 35301,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T08:03:51+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "8912d92357bf15e31917bb0f65bf5ee1ee6c6901231796f268956ccf019743d7",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_Triplicated.ufo.BOUNDED-10.pals.c",
    "programhash": "8912d92357bf15e31917bb0f65bf5ee1ee6c6901231796f268956ccf019743d7",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/1a3fb95e635cd701e0da38f36a60df7f77f5706b3ee7db0d560addeb81ba62e7.zip",
    "witness-number-of-tests": 68,
    "witness-sha256": "1a3fb95e635cd701e0da38f36a60df7f77f5706b3ee7db0d560addeb81ba62e7",
    "witness-size": 26082,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 03:56:57 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "8912d92357bf15e31917bb0f65bf5ee1ee6c6901231796f268956ccf019743d7",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_Triplicated.ufo.BOUNDED-10.pals.c",
    "programhash": "8912d92357bf15e31917bb0f65bf5ee1ee6c6901231796f268956ccf019743d7",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/675a2b623fa53a438021959e785a631472731fce792ca8634da52acae864b242.zip",
    "witness-number-of-tests": 86,
    "witness-sha256": "675a2b623fa53a438021959e785a631472731fce792ca8634da52acae864b242",
    "witness-size": 74362,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08 23:44:36.052764",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "8912d92357bf15e31917bb0f65bf5ee1ee6c6901231796f268956ccf019743d7",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_Triplicated.ufo.BOUNDED-10.pals.c",
    "programhash": "8912d92357bf15e31917bb0f65bf5ee1ee6c6901231796f268956ccf019743d7",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/62a8c3bd49b16bf6eff2ef103b7f8fb73715352929924b4049688a486187d3b7.zip",
    "witness-number-of-tests": 623,
    "witness-sha256": "62a8c3bd49b16bf6eff2ef103b7f8fb73715352929924b4049688a486187d3b7",
    "witness-size": 298957,
    "witness-type": "test-suite"
  }
]