Storm 1.3.1 (dev)
Date: Thu Dec 13 02:53:45 2018
Command line arguments: --jani rectangle-tireworld.11.jani --janiproperty goal
Current working directory: /home/qcomp
Time for model input parsing: 19.099s.
Time for model construction: 2.662s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 242
Transitions: 16089
Choices: 15369
Reward Models: none
State Labels: 5 labels
* init -> 1 item(s)
* (var2 = 2) -> 22 item(s)
* (var0 = 1) -> 121 item(s)
* deadlock -> 0 item(s)
* (var1 = 2) -> 22 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "goal": Pmax=? [F (((var2 = 2) & (var1 = 2)) & (var0 = 1))] ...
Result (for initial states): 1
Time for model checking: 0.021s.