Randomly Generated Parity Games

This dataset contains 3000 small parity games (<code>games-small</code>) and 3000 large parity games (<code>games-large</code>), all of which were randomly generated using [PGSolver]. For the small and large parity game, the numbers of vertices were uniformly sampled from {10,…,200} and {200,…,3000}, respectively. Moreover, for each game with n vertices, the colors as well as the relative outdegrees of its vertices as well as its outdegree were uniformly sampled from {0,…,n} and {n/100,…n/2}, respectively. <strong>Structure of the Dataset</strong> This dataset contains two zip-archives, namely <code>games-small.zip</code> and <code>games-large.zip</code>, each containing the respective dataset. Each zip-file contains the directories <code>games</code> and <code>solutions</code>. Each directory <code>games</code> contains files <code>game_0000.txt</code> through <code>game_2999.txt</code>, where each file contains one parity game in the input format understood by PGSolver. Moreover, each directory <code>solutions</code> contains files <code>solution_game_0000.txt</code> through <code>solution_game_2999.txt</code>, where <code>solutions/solution_game_XXXX.txt</code> contains the solution for <code>games/game_XXXX.txt</code>, generated as follows: <pre><code>pgsolver -global recursive games/game_XXXX.txt &gt; solutions/solution_game_XXXX.txt</code></pre>