|Model:||consensus v.1 (MDP)|
|Parameter(s)||N = 4, K = 4|
./modest-fret-pi-lrtdp-master/FretLrtdp.exe consensus.4.jani -E K=4 --props disagreeDefault settings.
|Walltime:||> 1800s (Timeout)|
consensus.4.jani:model: info: consensus.4 is an MDP model. consensus.4.jani: info: Need 13 bytes per state. ---------- Computation aborted after 1800.004447221756 seconds since the total time limit of 1800 seconds was exceeded.