prism.explicit-rel.default

Benchmark

Model:	(mapk_cascade)
Parameter(s)	N = 5

Invocation (explicit-rel.default)

	$ARTIFACT_DIR/bin/prism $ARTIFACT_DIR/benchmarks/ctmc/mapk_cascade/mapk_cascade.prism -const N=5 -steadystate  -explicit -relative  -epsilon 0.001

Explicit engine and relative error criterion

Execution

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

Log

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/mapk_cascade/mapk_cascade.prism -const N=5 -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=5

Computing reachable states... 252768 408366 states
Reachable states exploration and model construction done in 5.247 secs.
Sorting reachable states list...

Time for model construction: 5.82 seconds.

Type:        CTMC
States:      408366 (1 initial)
Transitions: 4138848
Building embedded DTMC...
Doing steady-state computation in embedded DTMC (with exit-rate weighting for BSCC probabilities)...

java.lang.StackOverflowError
    at explicit.DTMCEmbeddedSimple.getSuccessors(DTMCEmbeddedSimple.java:136)
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:115)
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:130)
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:130)
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:130)
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:130)
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:130)
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:130)
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:130)
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:130)
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:130)
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:130)
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:130)
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:130)
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:130)
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:130)
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:130)
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:130)
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:130)
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:130)
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:130)
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:130)
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:130)
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:130)
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:130)
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:130)
    ....

Try increasing the value of the Java stack size (via the -javastack argument).

Error: Caught unhandled exception, aborting....

STDERR

Picked up JAVA_TOOL_OPTIONS: -Xmx16g