prism.explicit-rel.default

Benchmark
Model: (polling)
Parameter(s)N = 12
Invocation (explicit-rel.default)
	$ARTIFACT_DIR/bin/prism $ARTIFACT_DIR/benchmarks/ctmc/polling/polling.12.prism -steadystate  -explicit -relative  -epsilon 0.001
Explicit engine and relative error criterion
Execution
Walltime (MC-Time):1.356224536895752s (NA)
Return code:1
Note(s):Tool does not support file export.
Log
PRISM
=====

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

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

Type:        CTMC
Modules:     server station1 station2 station3 station4 station5 station6 station7 station8 station9 station10 station11 station12
Variables:   s a s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12

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

Computing steady-state probabilities...

Building model...

Computing reachable states... 73728 states
Reachable states exploration and model construction done in 0.664 secs.
Sorting reachable states list...

Time for model construction: 0.777 seconds.

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

java.lang.StackOverflowError
    at explicit.SCCComputerTarjan.tarjan(SCCComputerTarjan.java:111)
    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)
    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