sds.default-abs.ap-sample - leader

Invocation (default-abs.ap-sample)

	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/dtmc/leader_sync/leader_sync.5-4.prism  approximate --sampling SAMPLE_TARGET  --precision 0.001

default engine and absolute (default) error criterion

Execution

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

Log

(4,3,false,0,0,3,false,0,0,3,false,0,0,3,false,0,0,3,false,0,0): 0.999451 (+ 0.0000)

STDERR

Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:48:26 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/leader_sync/leader_sync.5-4.prism approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:48:26 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:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    3331 loops (17624/sec), 18138 sampling steps, 1321 aborted
    loop condition 0.00054913, exit probability 3.4920e-05 in initial state
    4244 explored states, 1 states in BSSCs (1 absorbing)
    2010 component updates, 19102 transient state updates
    Bounds: [0.99945+5.49126e-04]@[0.00000](2010)

Model:	(leader_sync)
Parameter(s)	N = 5, K = 4