sds.default-abs.ap-naive - oscillators 6-10-0.1-1-0.1-1.0

Benchmark

Model:	(oscillators)
Parameter(s)	N = 6, T = 10, epsilon = 0.1, R = 1, mu = 0.1, lambda = 1.0

Invocation (default-abs.ap-naive)

	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/dtmc/oscillators/oscillators.6-10-0.1-1.prism --const mu=0.1,lambda=1.0  approximate --sampling SAMPLE_NAIVE  --precision 0.001

default engine and absolute (default) error criterion

Execution

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

Log

(6,0,0,0,0,0,0,0,0,0): 0.499508 (+ 0.0000)
(0,0,0,0,0,0,0,0,0,6): 0.499508 (+ 0.0000)

STDERR

Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:49:01 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/oscillators/oscillators.6-10-0.1-1.prism --const mu=0.1,lambda=1.0 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:49:02 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:49:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    27636 loops (5527/sec), 452854 sampling steps, 249 aborted
    loop condition 0.010058, exit probability 0.0099252 in initial state
    4753 explored states, 2 states in BSSCs (0 absorbing)
    27338 component updates, 450061 transient state updates
    Bounds: [0.98994+1.00583e-02]@[0.00000](27338)
Sep 13, 2024 10:49:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    87355 loops (13615/sec), 1435932 sampling steps, 730 aborted
    loop condition 0.00098437, exit probability 0.00073636 in initial state
    4936 explored states, 2 states in BSSCs (0 absorbing)
    86576 component updates, 1429077 transient state updates
    Bounds: [0.99902+9.84367e-04]@[0.00000](86576)