prism.explicit-rel.default

Model:	(herman)
Parameter(s)	N = 13

	$ARTIFACT_DIR/bin/prism $ARTIFACT_DIR/benchmarks/dtmc/herman/herman.13.prism -steadystate  -explicit -relative  -epsilon 0.001

Explicit engine and relative error criterion

Walltime (MC-Time):	1.8362548351287842s (0.232s)
Return code:	0
Note(s):	Tool does not support file export.

PRISM
=====

Version: 4.8.1
Date: Fri Sep 13 10:51:03 GMT+01:00 2024
Hostname: n23m0144.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=1g
Command line: prism /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/herman/herman.13.prism -steadystate -explicit -relative -epsilon 0.001

Parsing model file "/rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/herman/herman.13.prism"...

Type:        DTMC
Modules:     process1 process2 process3 process4 process5 process6 process7 process8 process9 process10 process11 process12 process13
Variables:   x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13

---------------------------------------------------------------------

Computing steady-state probabilities...

Building model...

Computing reachable states... 8192 states
Reachable states exploration and model construction done in 1.0 secs.
Sorting reachable states list...

Time for model construction: 1.087 seconds.

Type:        DTMC
States:      8192 (8192 initial)
Transitions: 1594324

Computing probability of reaching BSCC 1

Starting probabilistic reachability...
Calculating predecessor relation for discrete-time Markov chain...  done (0.067 seconds)
Starting Prob0...
Prob0 took 0.044 seconds.
Starting Prob1...
Prob1 took 0.033 seconds.
target=26, yes=8192, no=0, maybe=0
Probabilistic reachability took 0.149 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:
1365:(0,0,1,0,1,0,1,0,1,0,1,0,1)=0.03846153846153848
2389:(0,1,0,0,1,0,1,0,1,0,1,0,1)=0.03846153846153848
2645:(0,1,0,1,0,0,1,0,1,0,1,0,1)=0.03846153846153848
2709:(0,1,0,1,0,1,0,0,1,0,1,0,1)=0.03846153846153848
2725:(0,1,0,1,0,1,0,1,0,0,1,0,1)=0.03846153846153848
2729:(0,1,0,1,0,1,0,1,0,1,0,0,1)=0.03846153846153848
2730:(0,1,0,1,0,1,0,1,0,1,0,1,0)=0.03846153846153848
2731:(0,1,0,1,0,1,0,1,0,1,0,1,1)=0.03846153846153848
2733:(0,1,0,1,0,1,0,1,0,1,1,0,1)=0.03846153846153848
2741:(0,1,0,1,0,1,0,1,1,0,1,0,1)=0.03846153846153848
2773:(0,1,0,1,0,1,1,0,1,0,1,0,1)=0.03846153846153848
2901:(0,1,0,1,1,0,1,0,1,0,1,0,1)=0.03846153846153848
3413:(0,1,1,0,1,0,1,0,1,0,1,0,1)=0.03846153846153848
4778:(1,0,0,1,0,1,0,1,0,1,0,1,0)=0.03846153846153848
5290:(1,0,1,0,0,1,0,1,0,1,0,1,0)=0.03846153846153848
5418:(1,0,1,0,1,0,0,1,0,1,0,1,0)=0.03846153846153848
5450:(1,0,1,0,1,0,1,0,0,1,0,1,0)=0.03846153846153848
5458:(1,0,1,0,1,0,1,0,1,0,0,1,0)=0.03846153846153848
5460:(1,0,1,0,1,0,1,0,1,0,1,0,0)=0.03846153846153848
5461:(1,0,1,0,1,0,1,0,1,0,1,0,1)=0.03846153846153848
5462:(1,0,1,0,1,0,1,0,1,0,1,1,0)=0.03846153846153848
5466:(1,0,1,0,1,0,1,0,1,1,0,1,0)=0.03846153846153848
5482:(1,0,1,0,1,0,1,1,0,1,0,1,0)=0.03846153846153848
5546:(1,0,1,0,1,1,0,1,0,1,0,1,0)=0.03846153846153848
5802:(1,0,1,1,0,1,0,1,0,1,0,1,0)=0.03846153846153848
6826:(1,1,0,1,0,1,0,1,0,1,0,1,0)=0.03846153846153848

Time for steady-state probability computation: 0.232 seconds.	

Picked up JAVA_TOOL_OPTIONS: -Xmx16g