prism.explicit-rel.default

Invocation (explicit-rel.default)

	$ARTIFACT_DIR/bin/prism $ARTIFACT_DIR/benchmarks/ctmc/speed-ind/speed-ind.prism -steadystate  -explicit -relative  -epsilon 0.001

Explicit engine and relative error criterion

Execution

Walltime (MC-Time):	18.822787761688232s (NA)
Return code:	1
Note(s):	Tool does not support file export.

Log

PRISM
=====

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

Parsing model file "/rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/speed-ind/speed-ind.prism"...

Type:        CTMC
Modules:     S1_def S2_def S3_def S4_def Y_def Z_def CC_def XX_def
Variables:   S1 S2 S3 S4 Y Z CC XX

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

Computing steady-state probabilities...

Building model...

Computing reachable states... 404573 743424 states
Reachable states exploration and model construction done in 5.642 secs.
Sorting reachable states list...

STDERR

Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space: failed reallocation of scalar replaced objects

Model:	(speed-ind)
Parameter(s)