[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T21:55:35+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "ddd008a3b56bd5864d85b70a2ccb2ce5437f64f12fca3bc47dccadcfafd19448",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.5.ufo.BOUNDED-10.pals.c",
    "programhash": "ddd008a3b56bd5864d85b70a2ccb2ce5437f64f12fca3bc47dccadcfafd19448",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/056c12e6a1c4ff693ba25890b707a7771725f88a53b5d91e320ffdfd4ec1adca.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "056c12e6a1c4ff693ba25890b707a7771725f88a53b5d91e320ffdfd4ec1adca",
    "witness-size": 3314,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 02:12:06.314881",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "ddd008a3b56bd5864d85b70a2ccb2ce5437f64f12fca3bc47dccadcfafd19448",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.5.ufo.BOUNDED-10.pals.c",
    "programhash": "ddd008a3b56bd5864d85b70a2ccb2ce5437f64f12fca3bc47dccadcfafd19448",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/adb4303328571cf146e00e35cbf2a0e62f0adf72ac9bf881a794c1665cf1d059.zip",
    "witness-number-of-tests": 674,
    "witness-sha256": "adb4303328571cf146e00e35cbf2a0e62f0adf72ac9bf881a794c1665cf1d059",
    "witness-size": 323583,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:09:30Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "ddd008a3b56bd5864d85b70a2ccb2ce5437f64f12fca3bc47dccadcfafd19448",
    "programfile": "pals_lcr.5.ufo.BOUNDED-10.pals.c.c",
    "programhash": "ddd008a3b56bd5864d85b70a2ccb2ce5437f64f12fca3bc47dccadcfafd19448",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/32b2799850464a17822e2e1660d6be3298b99e7a70d1a7f500783902f3e15c2b.zip",
    "witness-number-of-tests": 13,
    "witness-sha256": "32b2799850464a17822e2e1660d6be3298b99e7a70d1a7f500783902f3e15c2b",
    "witness-size": 11728,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:08:14Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "ddd008a3b56bd5864d85b70a2ccb2ce5437f64f12fca3bc47dccadcfafd19448",
    "programfile": "pals_lcr.5.ufo.BOUNDED-10.pals.c.c",
    "programhash": "ddd008a3b56bd5864d85b70a2ccb2ce5437f64f12fca3bc47dccadcfafd19448",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/07d18e09531dc738b01b3d1797968074d60d8b141d73d66d09f22eb4a9fb0ee1.zip",
    "witness-number-of-tests": 64,
    "witness-sha256": "07d18e09531dc738b01b3d1797968074d60d8b141d73d66d09f22eb4a9fb0ee1",
    "witness-size": 62839,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:56:33+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "ddd008a3b56bd5864d85b70a2ccb2ce5437f64f12fca3bc47dccadcfafd19448",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.5.ufo.BOUNDED-10.pals.c",
    "programhash": "ddd008a3b56bd5864d85b70a2ccb2ce5437f64f12fca3bc47dccadcfafd19448",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/2467727a740a3675d3de1fe8b0a67a157db080f78fe666e0a6330c61ec8fd2a8.zip",
    "witness-number-of-tests": 62,
    "witness-sha256": "2467727a740a3675d3de1fe8b0a67a157db080f78fe666e0a6330c61ec8fd2a8",
    "witness-size": 23667,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:54:44",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "ddd008a3b56bd5864d85b70a2ccb2ce5437f64f12fca3bc47dccadcfafd19448",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_d537f59a-523c-4b75-9931-d0fcff1551f2/sv-benchmarks/c/seq-mthreaded/pals_lcr.5.ufo.BOUNDED-10.pals.c",
    "programhash": "ddd008a3b56bd5864d85b70a2ccb2ce5437f64f12fca3bc47dccadcfafd19448",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/4cb62860627dd8fecc09a203168a5c0e438e510167250667f0e2eff9e34aaca2.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "4cb62860627dd8fecc09a203168a5c0e438e510167250667f0e2eff9e34aaca2",
    "witness-size": 26215,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 08:39:34 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "ddd008a3b56bd5864d85b70a2ccb2ce5437f64f12fca3bc47dccadcfafd19448",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.5.ufo.BOUNDED-10.pals.c",
    "programhash": "ddd008a3b56bd5864d85b70a2ccb2ce5437f64f12fca3bc47dccadcfafd19448",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/c6f7a65dc848a75a969da076356dfaff87a6b75887899fc67e47d4c1af8a324b.zip",
    "witness-number-of-tests": 53,
    "witness-sha256": "c6f7a65dc848a75a969da076356dfaff87a6b75887899fc67e47d4c1af8a324b",
    "witness-size": 51977,
    "witness-type": "test-suite"
  }
]