Dataset with experiments for 'Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems'

This archive contains the experiments that were performed as part of the publications <em>Thomas Neele, Tim A.C. Willemse, Wieger Wesselink</em><br> Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems. <em>TACAS 2020.</em> LNCS, volume 12079 pages 307-324. Springer. 10.1007/978-3-030-45237-7_19 and <em>Thomas Neele, Tim A. C. Willemse, Wieger Wesselink and Antti Valmari</em><br> Partial-Order Reduction for Parity Games and Parameterised Boolean Equation Systems. <em>Software Tools for Technology Transfer.</em> volume 24 (5) pages 735-756. Springer. (TACAS2020 special issue) 10.1007/s10009-022-00672-0