prism.explicit-rel.default

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

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

Explicit engine and relative error criterion

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

PRISM
=====

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

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

Type:        DTMC
Modules:     process1 process2 process3 process4 process5 process6 process7 process8 process9 process10 process11 process12 process13 process14 process15 process16 process17
Variables:   x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17

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

Computing steady-state probabilities...

Building model...

Computing reachable states... 285 1081 2435 3502 3524 3536	

Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
	at parser.State.(State.java:50)
	at parser.State.(State.java:59)
	at simulator.ChoiceListFlexi.computeTarget(ChoiceListFlexi.java:257)
	at simulator.ModulesFileModelGenerator.computeTransitionTarget(ModulesFileModelGenerator.java:602)
	at explicit.ConstructModel.constructModel(ConstructModel.java:287)
	at explicit.ConstructModel.constructModel(ConstructModel.java:150)
	at prism.Prism.doBuildModel(Prism.java:2069)
	at prism.Prism.buildModelIfRequired(Prism.java:1963)
	at prism.Prism.doSteadyState(Prism.java:3664)
	at prism.PrismCL.doSteadyState(PrismCL.java:1043)
	at prism.PrismCL.run(PrismCL.java:387)
	at prism.PrismCL.go(PrismCL.java:228)
	at prism.PrismCL.main(PrismCL.java:2981)