Description
The pmtl.cpp and pmtl.hpp files implement the PMTL solver in the Oink framework. The benchmarks folder contains the run_benchmarks.sh shell script which performs all the benchmarks automatically using hyperfine. The games in the benchmarks/real_world_games folder are a selection from the SYNTCOMP 2023 HOA files which were converted to parity games using Knor. The games in the folders benchmarks/rngames{25,50,100,200,2000} are sparse games generated using Oink with 25, 50, 100, 200, and 2000 vertices respectively. These games can also be regenerated with a random seed using the benchmarks/prepare_games.sh.
Date made available | 23 Jan 2024 |
---|---|
Publisher | Zenodo |