prism.explicit-rel.default

Model:	(kanban)
Parameter(s)	t = 6

	$ARTIFACT_DIR/bin/prism $ARTIFACT_DIR/benchmarks/ctmc/kanban/kanban.prism -const t=6 -steadystate  -explicit -relative  -epsilon 0.001

Explicit engine and relative error criterion

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

PRISM
=====

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

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

Type:        CTMC
Modules:     k1 k2 k3 k4
Variables:   w1 x1 y1 z1 w2 x2 y2 z2 w3 x3 y3 z3 w4 x4 y4 z4

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

Computing steady-state probabilities...

Building model...
Model constants: t=6

Computing reachable states... 433407 791906 1013302 1041557 1046136 1047057	

Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
	at java.base/java.util.TreeMap.addEntry(TreeMap.java:765)
	at java.base/java.util.TreeMap.put(TreeMap.java:828)
	at java.base/java.util.TreeMap.put(TreeMap.java:534)
	at explicit.IndexedSet.add(IndexedSet.java:72)
	at explicit.ConstructModel.constructModel(ConstructModel.java:289)
	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)