prism.explicit-rel.default

Model:	(oscillators)
Parameter(s)	N = 8, T = 10, epsilon = 0.1, R = 1, mu = 0.1, lambda = 1.0

	$ARTIFACT_DIR/bin/prism $ARTIFACT_DIR/benchmarks/dtmc/oscillators/oscillators.8-10-0.1-1.prism -const mu=0.1,lambda=1.0 -steadystate  -explicit -relative  -epsilon 0.001

Explicit engine and relative error criterion

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

PRISM
=====

Version: 4.8.1
Date: Fri Sep 13 10:51:37 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/oscillators/oscillators.8-10-0.1-1.prism -const 'mu=0.1,lambda=1.0' -steadystate -explicit -relative -epsilon 0.001

Parsing model file "/rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/oscillators/oscillators.8-10-0.1-1.prism"...

Type:        DTMC
Modules:     oscillator_population
Variables:   k_1 k_2 k_3 k_4 k_5 k_6 k_7 k_8 k_9 k_10

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

Computing steady-state probabilities...

Building model...
Model constants: mu=0.1,lambda=1

Computing reachable states... 420 847 1310 1733 2153 2580 3009 3448 3952 4501 5195 5742 6296 6942 7556 8113 8680 9358 9906 10455 11115 11691 12246 12810 13475 14027 14622 15244 15897 16453 17009 17602 18253 18799 19356 20001 20626 21161 21725 22400 22951 23494 24032 24311 states
Reachable states exploration and model construction done in 130.607 secs.
Sorting reachable states list...

Time for model construction: 131.575 seconds.

Type:        DTMC
States:      24311 (1 initial)
Transitions: 76623

Computing probability of reaching BSCC 1

Starting probabilistic reachability...
Calculating predecessor relation for discrete-time Markov chain...  done (0.014 seconds)
Starting Prob0...
Prob0 took 0.021 seconds.
Starting Prob1...
Prob1 took 0.005 seconds.
target=2, yes=24311, no=0, maybe=0
Probabilistic reachability took 0.049 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:
1:(0,0,0,0,0,0,0,0,0,8)=0.5
24310:(8,0,0,0,0,0,0,0,0,0)=0.5

Time for steady-state probability computation: 0.104 seconds.	

Picked up JAVA_TOOL_OPTIONS: -Xmx16g