Reduction and Solving of Parity Games
datasetposted on 16.07.2013 by Jeroen Keiren
Datasets usually provide raw data for analysis. This raw data often comes in spreadsheet form, but can be any collection of data, on which analysis can be performed.
Data created for investigating whether several reductions speed up the solving of parity games. Parity games were generated, reduced and solved. Reduction and solving times, as well as structural characteristics of the parity games were collected.