Parity games

A set of parity games for benchmarking purposes. See https://github.com/jkeiren/paritygame-generator Model checking: Parity games encoding model checking problems.Equivalence checking: Parity games encoding equivalence checking problems.PGSolver: Parity games generated using PGSolver. These include: random games, and games that are hard for certain algorithms.MLSolver Parity games generated using MLSolver. These are games that encode satisfiability and validity problems for modal logics.Data (YAML) This is a file in YAML format that includes high-level information about all parity games described before. Detailed (structural) information about the games can be found as separate YAML files in the respectipe ZIP archives.Data (SQLite) This contains a database in SQLite format that was derived from the YAML files provided in the archives, and the previous data file. The sole purpose of this derived data is to enable efficient plotting of results. The plots in the paper have been based on this file.