sds.default-abs.ap-sample

Benchmark
Model: (oscillators)
Parameter(s)N = 6, T = 8, epsilon = 0.1, R = 1, mu = 0.1, lambda = 1.0
Invocation (default-abs.ap-sample)
	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/dtmc/oscillators/oscillators.6-8-0.1-1.prism --const mu=0.1,lambda=1.0  approximate --sampling SAMPLE_TARGET  --precision 0.001
default engine and absolute (default) error criterion
Execution
Walltime (MC-Time):1.4671216011047363s (NA)
Return code:0
Note(s):Tool does not support file export.
Log
(6,0,0,0,0,0,0,0): 0.499525 (+ 0.0000)
(0,0,0,0,0,0,0,6): 0.499525 (+ 0.0000)
STDERR
Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:48:58 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/oscillators/oscillators.6-8-0.1-1.prism --const mu=0.1,lambda=1.0 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:48:59 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:48:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    3870 loops (5935/sec), 55845 sampling steps, 1103 aborted
    loop condition 0.00094968, exit probability 1.2020e-05 in initial state
    1717 explored states, 2 states in BSSCs (0 absorbing)
    2745 component updates, 54687 transient state updates
    Bounds: [0.99905+9.49683e-04]@[0.00000](2745)