sds.default-abs.ap-naive

Benchmark
Model: (egl)
Parameter(s)N = 5, L = 8
Invocation (default-abs.ap-naive)
	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/dtmc/egl/egl.prism --const N=5,L=8  approximate --sampling SAMPLE_NAIVE  --precision 0.001
default engine and absolute (default) error criterion
Execution
Walltime (MC-Time):2.6891775131225586s (NA)
Return code:0
Note(s):Tool does not support file export.
Log
(8,4,4,1,8,8,8,8,8,8,8,8,8,8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,8,8,8,8,8,8,8,8,8,8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.999023 (+ 0.0000)
STDERR
Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:47:26 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/egl/egl.prism --const N=5,L=8 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:47:27 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 1, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    30761 loops (13134/sec), 3985313 sampling steps, 11 aborted
    loop condition 0.00097656, exit probability 0.00097656 in initial state
    156629 explored states, 1 states in BSSCs (1 absorbing)
    15387 component updates, 2615790 transient state updates
    Bounds: [0.99902+9.76563e-04]@[0.00000](15387)