sds.default-abs.ap-naive - oscillators 8-8-0.1-1-0.1-1.0

Benchmark

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

Log

(8,0,0,0,0,0,0,0): 0.499507 (+ 0.0000)
(0,0,0,0,0,0,0,8): 0.499507 (+ 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.8-8-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:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    6002 loops (1199/sec), 75696 sampling steps, 54 aborted
    loop condition 0.15986, exit probability 0.15809 in initial state
    4905 explored states, 2 states in BSSCs (0 absorbing)
    5915 component updates, 74779 transient state updates
    Bounds: [0.84014+1.59857e-01]@[0.00000](5915)
Sep 13, 2024 10:49:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    47856 loops (8370/sec), 605256 sampling steps, 395 aborted
    loop condition 0.0064016, exit probability 0.0062814 in initial state
    6043 explored states, 2 states in BSSCs (0 absorbing)
    47428 component updates, 601073 transient state updates
    Bounds: [0.99360+6.40156e-03]@[0.00000](47428)
Sep 13, 2024 10:49:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    104718 loops (11372/sec), 1325681 sampling steps, 834 aborted
    loop condition 0.0016515, exit probability 0.0016017 in initial state
    6219 explored states, 2 states in BSSCs (0 absorbing)
    103851 component updates, 1317458 transient state updates
    Bounds: [0.99835+1.65145e-03]@[0.00000](103851)
Sep 13, 2024 10:49:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    133537 loops (11801/sec), 1689350 sampling steps, 1061 aborted
    loop condition 0.00098697, exit probability 0.00095727 in initial state
    6260 explored states, 2 states in BSSCs (0 absorbing)
    132443 component updates, 1678866 transient state updates
    Bounds: [0.99901+9.86973e-04]@[0.00000](132443)