prism.explicit-rel.default

Benchmark

Model:	(brp)
Parameter(s)	N = 2048, MAX = 4

Invocation (explicit-rel.default)

	$ARTIFACT_DIR/bin/prism $ARTIFACT_DIR/benchmarks/dtmc/brp/brp.prism -const N=2048,MAX=4 -steadystate  -explicit -relative  -epsilon 0.001

Explicit engine and relative error criterion

Execution

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

Log

PRISM
=====

Version: 4.8.1
Date: Fri Sep 13 10:50:31 GMT+01:00 2024
Hostname: r23m0195.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=1g
Command line: prism /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/brp/brp.prism -const 'N=2048,MAX=4' -steadystate -explicit -relative -epsilon 0.001

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

Type:        DTMC
Modules:     sender receiver checker channelK channelL
Variables:   s srep nrtr i bs s_ab fs ls r rrep fr lr br r_ab recv T k l

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

Computing steady-state probabilities...

Building model...
Model constants: N=2048,MAX=4

Computing reachable states... 139271 states
Reachable states exploration and model construction done in 0.473 secs.
Sorting reachable states list...

Time for model construction: 0.571 seconds.

Warning: Deadlocks detected and fixed in 4101 states

Type:        DTMC
States:      139271 (1 initial)
Transitions: 184323

java.lang.StackOverflowError
    at java.base/java.util.Arrays.spliterator(Arrays.java:5335)
    at java.base/java.util.Arrays.stream(Arrays.java:5477)
    at explicit.DTMCSparse.getSuccessorsIterator(DTMCSparse.java:156)
    at explicit.DTMCSparse.getSuccessors(DTMCSparse.java:163)
    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)
    ....

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