Progress Measures and Tangle Learning algorithm implementation and benchmarks



The pmtl.cpp and pmtl.hpp files implement the PMTL solver in the Oink framework. The benchmarks folder contains the 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/
Date made available23 Jan 2024

Cite this