Published January 23, 2024 | Version v1
Software Open

Progress Measures and Tangle Learning algorithm implementation and benchmarks

  • 1. ROR icon University of Twente



  • 1. Universiteit Twente


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/


Files (25.6 MB)

Name Size Download all
25.6 MB Preview Download

Additional details

Related works

Is source of
Thesis: (URL)