Select a Modal Logic: K KD Coalition Logic Graded Modal Logic Probabilistic Modal Logic Hennesy-Milner Modal Logic Monotonic Modal Logic or

Give an input formula:

Tasks which take more than 120 seconds are killed.

Notes on the input format can be found here and some simple tests we used can be found here.