[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T01:46:31Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "df8bc5fd1b26711d046ba490c3a94fcedaef481a7b120efcba9241702ec49eac",
    "programfile": "pals_lcr.6.ufo.BOUNDED-12.pals.c.c",
    "programhash": "df8bc5fd1b26711d046ba490c3a94fcedaef481a7b120efcba9241702ec49eac",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/27a341b6d86609563272684e88ba1467b58e9e62cc511a285a08ec5f45386e6b.zip",
    "witness-number-of-tests": 15,
    "witness-sha256": "27a341b6d86609563272684e88ba1467b58e9e62cc511a285a08ec5f45386e6b",
    "witness-size": 13542,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:14:00Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "df8bc5fd1b26711d046ba490c3a94fcedaef481a7b120efcba9241702ec49eac",
    "programfile": "pals_lcr.6.ufo.BOUNDED-12.pals.c.c",
    "programhash": "df8bc5fd1b26711d046ba490c3a94fcedaef481a7b120efcba9241702ec49eac",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b39771e8481a1deac90fc8b9c2f3edeb649d1295fef20b962a4e762c3352aa6d.zip",
    "witness-number-of-tests": 89,
    "witness-sha256": "b39771e8481a1deac90fc8b9c2f3edeb649d1295fef20b962a4e762c3352aa6d",
    "witness-size": 81600,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 07:39:28.665123",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "df8bc5fd1b26711d046ba490c3a94fcedaef481a7b120efcba9241702ec49eac",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.6.ufo.BOUNDED-12.pals.c",
    "programhash": "df8bc5fd1b26711d046ba490c3a94fcedaef481a7b120efcba9241702ec49eac",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/8c8de217aa921e410db35a3e1eaf9d53c3458add5bb38c6b9629efb60cd631b3.zip",
    "witness-number-of-tests": 680,
    "witness-sha256": "8c8de217aa921e410db35a3e1eaf9d53c3458add5bb38c6b9629efb60cd631b3",
    "witness-size": 329467,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:24:42+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "df8bc5fd1b26711d046ba490c3a94fcedaef481a7b120efcba9241702ec49eac",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.6.ufo.BOUNDED-12.pals.c",
    "programhash": "df8bc5fd1b26711d046ba490c3a94fcedaef481a7b120efcba9241702ec49eac",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/3d952fe9033d193de0f7e2291b59e035264525d708c94b4ab4fbc432072aefaa.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "3d952fe9033d193de0f7e2291b59e035264525d708c94b4ab4fbc432072aefaa",
    "witness-size": 2941,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:10:13",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "df8bc5fd1b26711d046ba490c3a94fcedaef481a7b120efcba9241702ec49eac",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_460a736e-160f-4b86-b0f7-a174cfb9febc/sv-benchmarks/c/seq-mthreaded/pals_lcr.6.ufo.BOUNDED-12.pals.c",
    "programhash": "df8bc5fd1b26711d046ba490c3a94fcedaef481a7b120efcba9241702ec49eac",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/0e0ad0e7d0c04a19979ba2fb92f88352d8385356380767328ea494bdb42f5080.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "0e0ad0e7d0c04a19979ba2fb92f88352d8385356380767328ea494bdb42f5080",
    "witness-size": 29901,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:18:31+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "df8bc5fd1b26711d046ba490c3a94fcedaef481a7b120efcba9241702ec49eac",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.6.ufo.BOUNDED-12.pals.c",
    "programhash": "df8bc5fd1b26711d046ba490c3a94fcedaef481a7b120efcba9241702ec49eac",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/514f2b6d2a382d61ad94e20f8a369d9b665eec2ba504e55e9705f56c450f9714.zip",
    "witness-number-of-tests": 76,
    "witness-sha256": "514f2b6d2a382d61ad94e20f8a369d9b665eec2ba504e55e9705f56c450f9714",
    "witness-size": 29154,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 08:36:14 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "df8bc5fd1b26711d046ba490c3a94fcedaef481a7b120efcba9241702ec49eac",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.6.ufo.BOUNDED-12.pals.c",
    "programhash": "df8bc5fd1b26711d046ba490c3a94fcedaef481a7b120efcba9241702ec49eac",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/e7506a496b5e6e59d623a95ce75f39801e04ec5d412fde72b699ca95fac11a6f.zip",
    "witness-number-of-tests": 69,
    "witness-sha256": "e7506a496b5e6e59d623a95ce75f39801e04ec5d412fde72b699ca95fac11a6f",
    "witness-size": 64355,
    "witness-type": "test-suite"
  }
]