prism.explicit-rel.default

Benchmark
Model: (crafted-branch)
Parameter(s)p = 0.001, steps = 20, levels = 1000, loops = 10000
Invocation (explicit-rel.default)
	$ARTIFACT_DIR/bin/prism $ARTIFACT_DIR/benchmarks/dtmc/crafted-branch/crafted-branch.pm -const p=0.001,steps=20,levels=1000,loops=10000 -steadystate  -explicit -relative  -epsilon 0.001
Explicit engine and relative error criterion
Execution
Walltime (MC-Time):24.252891063690186s (NA)
Return code:1
Note(s):Tool does not support file export.
Log
PRISM
=====

Version: 4.8.1
Date: Fri Sep 13 10:50:34 GMT+01:00 2024
Hostname: r23m0212.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=1g
Command line: prism /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/crafted-branch/crafted-branch.pm -const 'p=0.001,steps=20,levels=1000,loops=10000' -steadystate -explicit -relative -epsilon 0.001

Parsing model file "/rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/crafted-branch/crafted-branch.pm"...

Type:        DTMC
Modules:     level step loop
Variables:   level step loop

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

Computing steady-state probabilities...

Building model...
Model constants: p=0.001,steps=20,levels=1000,loops=10000

Computing reachable states... 834681 1816492 2430074 2516651 2530917 2534360
STDERR
Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
	at java.base/java.lang.Double.valueOf(Double.java:632)
	at prism.Evaluator$EvaluatorDouble.add(Evaluator.java:287)
	at prism.Evaluator$EvaluatorDouble.add(Evaluator.java:247)
	at simulator.Updater.processUpdatesAndCreateNewChoice(Updater.java:377)
	at simulator.Updater.processUpdatesAndAddToProduct(Updater.java:416)
	at simulator.Updater.calculateTransitions(Updater.java:224)
	at simulator.ModulesFileModelGenerator.getTransitionListScalars(ModulesFileModelGenerator.java:759)
	at simulator.ModulesFileModelGenerator.getTransitionList(ModulesFileModelGenerator.java:746)
	at simulator.ModulesFileModelGenerator.getNumChoices(ModulesFileModelGenerator.java:451)
	at explicit.ConstructModel.constructModel(ConstructModel.java:265)
	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)