PRISM
=====
Version: 4.8.1
Date: Fri Sep 13 10:51:03 GMT+01:00 2024
Hostname: n23m0141.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=1g
Command line: prism /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/herman/herman.11.prism -steadystate -explicit -relative -epsilon 0.001
Parsing model file "/rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/herman/herman.11.prism"...
Type: DTMC
Modules: process1 process2 process3 process4 process5 process6 process7 process8 process9 process10 process11
Variables: x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11
---------------------------------------------------------------------
Computing steady-state probabilities...
Building model...
Computing reachable states... 2048 states
Reachable states exploration and model construction done in 0.192 secs.
Sorting reachable states list...
Time for model construction: 0.234 seconds.
Type: DTMC
States: 2048 (2048 initial)
Transitions: 177148
Computing probability of reaching BSCC 1
Starting probabilistic reachability...
Calculating predecessor relation for discrete-time Markov chain... done (0.009 seconds)
Starting Prob0...
Prob0 took 0.016 seconds.
Starting Prob1...
Prob1 took 0.008 seconds.
target=22, yes=2048, no=0, maybe=0
Probabilistic reachability took 0.039 seconds.
Probability of reaching BSCC 1: 1.0
Computing steady-state probabilities for BSCC 1
Starting value iteration...
Power method: 1 iterations in 0.001 seconds.
Printing steady-state probabilities in plain text format below:
341:(0,0,1,0,1,0,1,0,1,0,1)=0.04545454545454547
597:(0,1,0,0,1,0,1,0,1,0,1)=0.04545454545454547
661:(0,1,0,1,0,0,1,0,1,0,1)=0.04545454545454547
677:(0,1,0,1,0,1,0,0,1,0,1)=0.04545454545454547
681:(0,1,0,1,0,1,0,1,0,0,1)=0.04545454545454547
682:(0,1,0,1,0,1,0,1,0,1,0)=0.04545454545454547
683:(0,1,0,1,0,1,0,1,0,1,1)=0.04545454545454547
685:(0,1,0,1,0,1,0,1,1,0,1)=0.04545454545454547
693:(0,1,0,1,0,1,1,0,1,0,1)=0.04545454545454547
725:(0,1,0,1,1,0,1,0,1,0,1)=0.04545454545454547
853:(0,1,1,0,1,0,1,0,1,0,1)=0.04545454545454547
1194:(1,0,0,1,0,1,0,1,0,1,0)=0.04545454545454547
1322:(1,0,1,0,0,1,0,1,0,1,0)=0.04545454545454547
1354:(1,0,1,0,1,0,0,1,0,1,0)=0.04545454545454547
1362:(1,0,1,0,1,0,1,0,0,1,0)=0.04545454545454547
1364:(1,0,1,0,1,0,1,0,1,0,0)=0.04545454545454547
1365:(1,0,1,0,1,0,1,0,1,0,1)=0.04545454545454547
1366:(1,0,1,0,1,0,1,0,1,1,0)=0.04545454545454547
1370:(1,0,1,0,1,0,1,1,0,1,0)=0.04545454545454547
1386:(1,0,1,0,1,1,0,1,0,1,0)=0.04545454545454547
1450:(1,0,1,1,0,1,0,1,0,1,0)=0.04545454545454547
1706:(1,1,0,1,0,1,0,1,0,1,0)=0.04545454545454547
Time for steady-state probability computation: 0.078 seconds.