The [wlan-large](https://qcomp.org/benchmarks/#wlan-large) benchmark is listed as a PTA model in QComp. One would expect MCSTA to identify it as such, however it's identified as a STA instead. See output: ``` wlan-large.jani:model: info: wlan-large is an STA model. wlan-large.jani: info: Need 16 bytes per state. ... ```