sds.default-abs.ap-sample

Benchmark
Model: (embedded)
Parameter(s)MAX_COUNT = 5
Invocation (default-abs.ap-sample)
	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/ctmc/embedded/embedded.prism --const MAX_COUNT=5  approximate --sampling SAMPLE_TARGET  --precision 0.001
default engine and absolute (default) error criterion
Execution
Walltime (MC-Time):1.4883694648742676s (NA)
Return code:0
Note(s):Tool does not support file export.
Log
(1,2,0,2,0,6,false,false,false): 0.598698 (+ 0.0000)
(1,2,0,0,0,6,false,false,false): 0.131473 (+ 0.0000)
(1,2,0,2,0,6,false,true,true): 0.100303 (+ 0.0000)
(1,2,0,0,0,6,false,true,true): 0.0516966 (+ 0.0000)
(1,0,0,2,0,6,false,false,false): 0.0443061 (+ 0.0000)
(1,2,0,2,0,6,false,true,false): 0.0418519 (+ 0.0000)
(1,0,0,0,0,6,false,false,false): 0.0101148 (+ 0.0000)
(1,2,0,0,0,6,false,true,false): 0.00954144 (+ 0.0000)
(1,0,0,2,0,6,false,true,true): 0.00495490 (+ 0.0000)
(1,0,0,0,0,6,false,true,true): 0.00277773 (+ 0.0000)
(1,0,0,2,0,6,false,true,false): 0.00218073 (+ 0.0000)
(1,0,0,0,0,6,false,true,false): 0.000502406 (+ 0.0000)
(1,1,0,2,0,6,false,false,false): 0.000207908 (+ 0.0000)
(1,2,0,1,0,6,false,false,false): 0.000207866 (+ 0.0000)
(1,1,0,0,0,6,false,false,false): 4.56425e-05 (+ 0.0000)
(1,1,0,2,0,6,false,true,true): 3.48181e-05 (+ 0.0000)
(1,2,0,1,0,6,false,true,true): 3.47605e-05 (+ 0.0000)
(1,1,0,0,0,6,false,true,true): 1.79505e-05 (+ 0.0000)
(1,0,0,1,0,6,false,false,false): 1.53818e-05 (+ 0.0000)
(1,1,0,2,0,6,false,true,false): 1.45806e-05 (+ 0.0000)
(1,2,0,1,0,6,false,true,false): 1.45486e-05 (+ 0.0000)
(1,1,0,0,0,6,false,true,false): 3.32152e-06 (+ 0.0000)
(1,0,0,1,0,6,false,true,true): 1.71903e-06 (+ 0.0000)
(1,0,0,1,0,6,false,true,false): 7.62391e-07 (+ 0.0000)
(1,1,0,1,0,6,false,false,false): 7.21828e-08 (+ 0.0000)
(1,1,0,1,0,6,false,true,true): 1.20693e-08 (+ 0.0000)
(1,1,0,1,0,6,false,true,false): 5.06822e-09 (+ 0.0000)
(1,1,0,2,0,6,false,false,true): 0.00000 (+ 0.0000)
STDERR
Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:49:28 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/embedded/embedded.prism --const MAX_COUNT=5 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:49:28 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 4, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:49:29 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 21, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:49:29 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 2, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:49:30 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:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    7900 loops (6475/sec), 488610 sampling steps, 5818 aborted
    loop condition 0.00099991, exit probability 0.00017887 in initial state
    2484 explored states, 28 states in BSSCs (28 absorbing)
    2033 component updates, 9467060 transient state updates
    Bounds: [0.00020791+1.12800e-03]@[0.00000](153), [0.044306+1.08891e-03]@[0.00000](166), [7.2183e-08+1.12412e-03]@[0.00000](71), [4.5642e-05+1.14956e-03]@[0.00000](129), [0.0027777+1.15207e-03]@[0.00000](75), [0.00020787+1.09601e-03]@[0.00000](34), [0.010115+1.09996e-03]@[0.00000](154), [0.0095414+1.14623e-03]@[0.00000](120), [3.4818e-05+1.03368e-03]@[0.00000](15), [1.7190e-06+1.09910e-03]@[0.00000](28) ... (28)