sds.default-abs.ap-sample - oscillators 7-10-0.1-1-0.1-1.0

Benchmark

Model:	(oscillators)
Parameter(s)	N = 7, T = 10, 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.7-10-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):	30.596248149871826s (NA)
Return code:	0
Note(s):	Tool does not support file export.

Log

(7,0,0,0,0,0,0,0,0,0): 0.499506 (+ 0.0000)
(0,0,0,0,0,0,0,0,0,7): 0.499506 (+ 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.7-10-0.1-1.prism --const mu=0.1,lambda=1.0 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:49:03 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:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    666 loops (132/sec), 12288 sampling steps, 219 aborted
    loop condition 0.83968, exit probability 0.83932 in initial state
    3744 explored states, 2 states in BSSCs (0 absorbing)
    301 component updates, 10888 transient state updates
    Bounds: [0.16032+8.39685e-01]@[0.00000](301)
Sep 13, 2024 10:49:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1811 loops (229/sec), 40325 sampling steps, 687 aborted
    loop condition 0.42380, exit probability 0.42360 in initial state
    7362 explored states, 2 states in BSSCs (0 absorbing)
    880 component updates, 38183 transient state updates
    Bounds: [0.57620+4.23800e-01]@[0.00000](880)
Sep 13, 2024 10:49:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    5789 loops (795/sec), 143689 sampling steps, 2624 aborted
    loop condition 0.030373, exit probability 0.029178 in initial state
    10200 explored states, 2 states in BSSCs (0 absorbing)
    2910 component updates, 142730 transient state updates
    Bounds: [0.96963+3.03730e-02]@[0.00000](2910)
Sep 13, 2024 10:49:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    17486 loops (2339/sec), 347412 sampling steps, 4056 aborted
    loop condition 0.0023149, exit probability 7.1330e-06 in initial state
    11429 explored states, 2 states in BSSCs (0 absorbing)
    13175 component updates, 342509 transient state updates
    Bounds: [0.99769+2.31488e-03]@[0.00000](13175)
Sep 13, 2024 10:49:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    36126 loops (3728/sec), 649979 sampling steps, 4176 aborted
    loop condition 0.0013017, exit probability 4.1077e-07 in initial state
    11441 explored states, 2 states in BSSCs (0 absorbing)
    31695 component updates, 644798 transient state updates
    Bounds: [0.99870+1.30167e-03]@[0.00000](31695)
Sep 13, 2024 10:49:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    52336 loops (4155/sec), 913009 sampling steps, 4292 aborted
    loop condition 0.00098777, exit probability 5.0275e-08 in initial state
    11441 explored states, 2 states in BSSCs (0 absorbing)
    47789 component updates, 907863 transient state updates
    Bounds: [0.99901+9.87774e-04]@[0.00000](47789)