sds.default-abs.ap-naive

Benchmark
Model: (embedded)
Parameter(s)MAX_COUNT = 8
Invocation (default-abs.ap-naive)
	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/ctmc/embedded/embedded.prism --const MAX_COUNT=8  approximate --sampling SAMPLE_NAIVE  --precision 0.001
default engine and absolute (default) error criterion
Execution
Walltime (MC-Time):30.636566162109375s (NA)
Return code:0
Note(s):Tool does not support file export.
Log
(1,2,0,2,0,9,false,false,false): 0.598947 (+ 0.0000)
(1,2,0,0,0,9,false,false,false): 0.131529 (+ 0.0000)
(1,2,0,2,0,9,false,true,true): 0.100214 (+ 0.0000)
(1,2,0,0,0,9,false,true,true): 0.0517439 (+ 0.0000)
(1,0,0,2,0,9,false,false,false): 0.0443957 (+ 0.0000)
(1,2,0,2,0,9,false,true,false): 0.0420664 (+ 0.0000)
(1,0,0,0,0,9,false,false,false): 0.0101139 (+ 0.0000)
(1,2,0,0,0,9,false,true,false): 0.00956344 (+ 0.0000)
(1,0,0,2,0,9,false,true,true): 0.00480212 (+ 0.0000)
(1,0,0,0,0,9,false,true,true): 0.00271949 (+ 0.0000)
(1,0,0,2,0,9,false,true,false): 0.00208044 (+ 0.0000)
(1,0,0,0,0,9,false,true,false): 0.000226574 (+ 0.0000)
(1,2,0,1,0,9,false,false,false): 0.000207955 (+ 0.0000)
(1,1,0,2,0,9,false,false,false): 0.000207834 (+ 0.0000)
(1,1,0,0,0,9,false,false,false): 4.56583e-05 (+ 0.0000)
(1,1,0,2,0,9,false,true,true): 3.48020e-05 (+ 0.0000)
(1,2,0,1,0,9,false,true,true): 3.47976e-05 (+ 0.0000)
(1,1,0,0,0,9,false,true,true): 1.79564e-05 (+ 0.0000)
(1,0,0,1,0,9,false,false,false): 1.54139e-05 (+ 0.0000)
(1,2,0,1,0,9,false,true,false): 1.45761e-05 (+ 0.0000)
(1,1,0,2,0,9,false,true,false): 1.43616e-05 (+ 0.0000)
(1,1,0,0,0,9,false,true,false): 3.32417e-06 (+ 0.0000)
(1,0,0,1,0,9,false,true,true): 1.68803e-06 (+ 0.0000)
(1,0,0,1,0,9,false,true,false): 7.09420e-07 (+ 0.0000)
(1,1,0,1,0,9,false,false,false): 7.22097e-08 (+ 0.0000)
(1,1,0,1,0,9,false,true,true): 1.20874e-08 (+ 0.0000)
(1,1,0,1,0,9,false,true,false): 5.07240e-09 (+ 0.0000)
STDERR
Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:49:32 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/embedded/embedded.prism --const MAX_COUNT=8 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:49:32 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 5, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:49:33 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 20, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:49:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    125270 loops (25054/sec), 8791275 sampling steps, 1008 aborted
    loop condition 0.025979, exit probability 0.0061216 in initial state
    2426 explored states, 25 states in BSSCs (25 absorbing)
    124204 component updates, 8711478 transient state updates
    Bounds: [0.59394+4.06026e-01]@[0.00000](14190), [0.00020795+9.04359e-01]@[0.00000](12258), [4.5656e-05+9.99921e-01]@[0.00000](10722), [0.00020745+9.99793e-01]@[0.00000](24911), [7.2159e-08+9.99967e-01]@[0.00000](24020), [1.7785e-05+5.41088e-01]@[0.00000](3523), [0.0093008+5.36877e-01]@[0.00000](1260), [1.1075e-05+5.88751e-01]@[0.00000](924), [1.1577e-05+6.77042e-01]@[0.00000](1376), [0.13151+2.69307e-01]@[0.00000](5782) ... (25)
Sep 13, 2024 10:49:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    260808 loops (27107/sec), 18316509 sampling steps, 1665 aborted
    loop condition 0.010187, exit probability 0.0051773 in initial state
    2569 explored states, 25 states in BSSCs (25 absorbing)
    259085 component updates, 18187240 transient state updates
    Bounds: [0.59839+4.01579e-01]@[0.00000](29550), [0.00020795+9.04357e-01]@[0.00000](25689), [4.5656e-05+9.99921e-01]@[0.00000](22193), [0.00020781+9.99792e-01]@[0.00000](51654), [7.2160e-08+9.99967e-01]@[0.00000](49798), [1.7920e-05+5.40962e-01]@[0.00000](7435), [0.0099129+5.25848e-01]@[0.00000](2548), [1.3552e-05+5.30298e-01]@[0.00000](2051), [1.2622e-05+6.24325e-01]@[0.00000](2916), [0.13152+2.69246e-01]@[0.00000](12015) ... (25)
Sep 13, 2024 10:49:43 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:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    388962 loops (25630/sec), 27317705 sampling steps, 1700 aborted
    loop condition 0.0047162, exit probability 0.00016575 in initial state
    2636 explored states, 27 states in BSSCs (27 absorbing)
    387204 component updates, 27185709 transient state updates
    Bounds: [0.59886+4.01111e-01]@[0.00000](43709), [0.00020795+9.04357e-01]@[0.00000](38143), [4.5656e-05+9.99921e-01]@[0.00000](33157), [0.00020783+9.99792e-01]@[0.00000](76913), [7.2160e-08+9.99967e-01]@[0.00000](74577), [1.7938e-05+5.40944e-01]@[0.00000](11097), [0.010041+5.24950e-01]@[0.00000](3828), [1.4232e-05+5.14503e-01]@[0.00000](3088), [1.3581e-05+5.80647e-01]@[0.00000](4345), [0.13152+2.69242e-01]@[0.00000](18140) ... (27)
Sep 13, 2024 10:49:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    511343 loops (24476/sec), 35898096 sampling steps, 1700 aborted
    loop condition 0.0022910, exit probability 8.3703e-05 in initial state
    2706 explored states, 27 states in BSSCs (27 absorbing)
    509585 component updates, 35766100 transient state updates
    Bounds: [0.59893+4.01038e-01]@[0.00000](57333), [0.00020795+9.04357e-01]@[0.00000](50407), [4.5657e-05+9.99921e-01]@[0.00000](43650), [0.00020783+9.99792e-01]@[0.00000](101207), [7.2206e-08+9.99967e-01]@[0.00000](97895), [1.7951e-05+5.40931e-01]@[0.00000](14571), [0.010089+5.24649e-01]@[0.00000](5019), [1.4443e-05+5.09400e-01]@[0.00000](4071), [1.3984e-05+5.62459e-01]@[0.00000](5739), [0.13153+2.69237e-01]@[0.00000](23863) ... (27)
Sep 13, 2024 10:49:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    633005 loops (24332/sec), 44436765 sampling steps, 1701 aborted
    loop condition 0.0014037, exit probability 5.8113e-05 in initial state
    2763 explored states, 27 states in BSSCs (27 absorbing)
    631245 component updates, 44304632 transient state updates
    Bounds: [0.59894+4.01023e-01]@[0.00000](71092), [0.00020795+9.04357e-01]@[0.00000](62398), [4.5658e-05+9.99921e-01]@[0.00000](54037), [0.00020783+9.99792e-01]@[0.00000](125136), [7.2210e-08+9.99967e-01]@[0.00000](121032), [1.7954e-05+5.40925e-01]@[0.00000](18135), [0.010107+5.24547e-01]@[0.00000](6258), [1.4544e-05+5.07264e-01]@[0.00000](5081), [1.4217e-05+5.52251e-01]@[0.00000](7167), [0.13153+2.69236e-01]@[0.00000](29340) ... (27)
Sep 13, 2024 10:50:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    754433 loops (24285/sec), 52971172 sampling steps, 1701 aborted
    loop condition 0.0010167, exit probability 4.9534e-05 in initial state
    2806 explored states, 27 states in BSSCs (27 absorbing)
    752673 component updates, 52839039 transient state updates
    Bounds: [0.59895+4.01020e-01]@[0.00000](84733), [0.00020795+9.04357e-01]@[0.00000](74392), [4.5658e-05+9.99921e-01]@[0.00000](64358), [0.00020783+9.99792e-01]@[0.00000](149334), [7.2210e-08+9.99967e-01]@[0.00000](144255), [1.7956e-05+5.40923e-01]@[0.00000](21467), [0.010113+5.24509e-01]@[0.00000](7458), [1.4574e-05+5.06648e-01]@[0.00000](6064), [1.4357e-05+5.45939e-01]@[0.00000](8492), [0.13153+2.69233e-01]@[0.00000](35014) ... (27)
Sep 13, 2024 10:50:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    760286 loops (23600/sec), 53385833 sampling steps, 1701 aborted
    loop condition 0.00099913, exit probability 4.9467e-05 in initial state
    2807 explored states, 27 states in BSSCs (27 absorbing)
    758526 component updates, 53253700 transient state updates
    Bounds: [0.59895+4.01020e-01]@[0.00000](85359), [0.00020795+9.04357e-01]@[0.00000](74981), [4.5658e-05+9.99921e-01]@[0.00000](64833), [0.00020783+9.99792e-01]@[0.00000](150519), [7.2210e-08+9.99967e-01]@[0.00000](145412), [1.7956e-05+5.40923e-01]@[0.00000](21645), [0.010114+5.24506e-01]@[0.00000](7525), [1.4576e-05+5.06626e-01]@[0.00000](6098), [1.4362e-05+5.45752e-01]@[0.00000](8557), [0.13153+2.69233e-01]@[0.00000](35279) ... (27)