prism.explicit-rel.default

Benchmark
Model: (crafted-loop)
Parameter(s)size = 10000
Invocation (explicit-rel.default)
	$ARTIFACT_DIR/bin/prism $ARTIFACT_DIR/benchmarks/dtmc/crafted-loop/crafted-loop.pm -const size=10000 -steadystate  -explicit -relative  -epsilon 0.001
Explicit engine and relative error criterion
Execution
Walltime (MC-Time):1.966270923614502s (NA)
Return code:0
Note(s):Unable to obtain tool result.
Tool does not support file export.
Log
PRISM
=====

Version: 4.8.1
Date: Fri Sep 13 10:50:32 GMT+01:00 2024
Hostname: r23m0213.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=1g
Command line: prism /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/crafted-loop/crafted-loop.pm -const size=10000 -steadystate -explicit -relative -epsilon 0.001

Parsing model file "/rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/crafted-loop/crafted-loop.pm"...

Type:        DTMC
Modules:     x
Variables:   x

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

Computing steady-state probabilities...

Building model...
Model constants: size=10000

Computing reachable states... 10000 states
Reachable states exploration and model construction done in 0.053 secs.
Sorting reachable states list...

Time for model construction: 0.077 seconds.

Type:        DTMC
States:      10000 (1 initial)
Transitions: 19999

Initial states are all in one BSCC (so no reachability probabilities computed)
Starting value iteration...
Power method: 10000 iterations in 1.436 seconds.

Error: Iterative method did not converge within 10000 iterations.
Consider using a different numerical method or increasing the maximum number of iterations.
STDERR
Picked up JAVA_TOOL_OPTIONS: -Xmx16g