Time-bounded analysis on Erlang stages takes forever
The tool runs for at least 2000secs
Model: erlang.v2.jani taken from http://qcomp.org/benchmarks/index.html#erlang
Parameters: K=5000,R=10,TIME_BOUND=5
Property: PmaxReachBound
Width: 0.1
The tool runs for at least 2000secs
Model: erlang.v2.jani taken from http://qcomp.org/benchmarks/index.html#erlang
Parameters: K=5000,R=10,TIME_BOUND=5
Property: PmaxReachBound
Width: 0.1