prism.explicit-rel.default

Benchmark
Model: (mapk_cascade)
Parameter(s)N = 6
Invocation (explicit-rel.default)
	$ARTIFACT_DIR/bin/prism $ARTIFACT_DIR/benchmarks/ctmc/mapk_cascade/mapk_cascade.prism -const N=6 -steadystate  -explicit -relative  -epsilon 0.001
Explicit engine and relative error criterion
Execution
Walltime (MC-Time):43.57495093345642s (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: n23m0113.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=1g
Command line: prism /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/mapk_cascade/mapk_cascade.prism -const N=6 -steadystate -explicit -relative -epsilon 0.001

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

Type:        CTMC
Modules:     E1 E2 KPTASE KKPTASE MAPK MAPKK MAPKKK
Variables:   e1 e2 kptase kkptase k k_kkpp kp kp_kkpp kp_ptase kpp kpp_ptase kk kk_kkkp kkp kkp_kkkp kkp_ptase kkpp kkpp_ptase kkk kkk_e1 kkkp kkkp_e2

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

Computing steady-state probabilities...

Building model...
Model constants: N=6

Computing reachable states... 255101 446605 626990 794185 925529 934750 935856 936316 936872 937604 938398 938894
STDERR
Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
	at parser.ast.Update.update(Update.java:215)
	at simulator.ChoiceListFlexi.computeTarget(ChoiceListFlexi.java:259)
	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)