Storm 1.4.1 (dev)
Date: Fri Dec 6 09:42:22 2019
Command line arguments: --jani qcomp/benchmarks/dtmc/coupon/coupon.9-4.jani --janiproperty collect_all_bounded --constants B=5 --timemem
Current working directory:
Time for model input parsing: 0.005s.
Time for model construction: 75.159s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 27642923
Transitions: 55677355
Reward Models: numberDraws
State Labels: 3 labels
* deadlock -> 0 item(s)
* _ret0_ -> 6561 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "collect_all_bounded": Pmin=? [true Urew{"numberDraws"}<=5 "_ret0_"] ...