sds.default-abs.ap-naive

Benchmark
Model: (embedded)
Parameter(s)MAX_COUNT = 5
Invocation (default-abs.ap-naive)
	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/ctmc/embedded/embedded.prism --const MAX_COUNT=5  approximate --sampling SAMPLE_NAIVE  --precision 0.001
default engine and absolute (default) error criterion
Execution
Walltime (MC-Time):31.931057691574097s (NA)
Return code:0
Note(s):Tool does not support file export.
Log
(1,2,0,2,0,6,false,false,false): 0.598949 (+ 0.0000)
(1,2,0,0,0,6,false,false,false): 0.131528 (+ 0.0000)
(1,2,0,2,0,6,false,true,true): 0.100216 (+ 0.0000)
(1,2,0,0,0,6,false,true,true): 0.0517459 (+ 0.0000)
(1,0,0,2,0,6,false,false,false): 0.0443875 (+ 0.0000)
(1,2,0,2,0,6,false,true,false): 0.0421149 (+ 0.0000)
(1,0,0,0,0,6,false,false,false): 0.0101180 (+ 0.0000)
(1,2,0,0,0,6,false,true,false): 0.00959292 (+ 0.0000)
(1,0,0,2,0,6,false,true,true): 0.00490959 (+ 0.0000)
(1,0,0,0,0,6,false,true,true): 0.00273898 (+ 0.0000)
(1,0,0,2,0,6,false,true,false): 0.00178387 (+ 0.0000)
(1,0,0,0,0,6,false,true,false): 0.000316996 (+ 0.0000)
(1,2,0,1,0,6,false,false,false): 0.000207960 (+ 0.0000)
(1,1,0,2,0,6,false,false,false): 0.000207911 (+ 0.0000)
(1,1,0,0,0,6,false,false,false): 4.56496e-05 (+ 0.0000)
(1,1,0,2,0,6,false,true,true): 3.48274e-05 (+ 0.0000)
(1,2,0,1,0,6,false,true,true): 3.48092e-05 (+ 0.0000)
(1,1,0,0,0,6,false,true,true): 1.79572e-05 (+ 0.0000)
(1,0,0,1,0,6,false,false,false): 1.54167e-05 (+ 0.0000)
(1,2,0,1,0,6,false,true,false): 1.46226e-05 (+ 0.0000)
(1,1,0,2,0,6,false,true,false): 1.42278e-05 (+ 0.0000)
(1,1,0,0,0,6,false,true,false): 3.32904e-06 (+ 0.0000)
(1,0,0,1,0,6,false,true,true): 1.71820e-06 (+ 0.0000)
(1,0,0,1,0,6,false,true,false): 6.27856e-07 (+ 0.0000)
(1,1,0,1,0,6,false,false,false): 7.22107e-08 (+ 0.0000)
(1,1,0,1,0,6,false,true,true): 1.20852e-08 (+ 0.0000)
(1,1,0,1,0,6,false,true,false): 5.07869e-09 (+ 0.0000)
(1,2,0,2,0,6,false,false,true): 1.29100e-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=5 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: 4, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:49:32 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:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    146135 loops (29227/sec), 9811396 sampling steps, 680 aborted
    loop condition 0.017231, exit probability 0.0030373 in initial state
    1920 explored states, 25 states in BSSCs (25 absorbing)
    145410 component updates, 9764337 transient state updates
    Bounds: [0.00020763+9.99792e-01]@[0.00000](28925), [0.13152+7.73018e-01]@[0.00000](6748), [0.00020796+9.04352e-01]@[0.00000](14245), [0.59531+4.04659e-01]@[0.00000](16390), [3.4636e-05+8.18988e-01]@[0.00000](3368), [1.5334e-05+8.16061e-01]@[0.00000](3151), [3.2493e-05+8.23446e-01]@[0.00000](2898), [7.2188e-08+8.22711e-01]@[0.00000](28043), [0.044014+7.78855e-01]@[0.00000](3405), [0.040640+7.82233e-01]@[0.00000](1319) ... (25)
Sep 13, 2024 10:49:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    298518 loops (30476/sec), 20044998 sampling steps, 1015 aborted
    loop condition 0.0053680, exit probability 0.0026134 in initial state
    2000 explored states, 25 states in BSSCs (25 absorbing)
    297458 component updates, 19978061 transient state updates
    Bounds: [0.00020790+9.99792e-01]@[0.00000](59479), [0.13153+7.73002e-01]@[0.00000](13812), [0.00020796+9.04352e-01]@[0.00000](29093), [0.59854+4.01423e-01]@[0.00000](33273), [3.4805e-05+8.18300e-01]@[0.00000](6809), [1.5410e-05+8.15890e-01]@[0.00000](6511), [3.4730e-05+8.22835e-01]@[0.00000](5924), [7.2188e-08+8.22711e-01]@[0.00000](57088), [0.044294+7.78573e-01]@[0.00000](6991), [0.041831+7.81015e-01]@[0.00000](2747) ... (25)
Sep 13, 2024 10:49:46 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 3, 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:
    453157 loops (30927/sec), 30423089 sampling steps, 1327 aborted
    loop condition 0.0036188, exit probability 0.0021217 in initial state
    2052 explored states, 28 states in BSSCs (28 absorbing)
    451785 component updates, 30337362 transient state updates
    Bounds: [0.00020790+9.99792e-01]@[0.00000](90276), [0.13153+7.73002e-01]@[0.00000](21076), [0.00020796+9.04352e-01]@[0.00000](44249), [0.59890+4.01064e-01]@[0.00000](50631), [3.4820e-05+8.18294e-01]@[0.00000](10258), [1.5414e-05+8.15881e-01]@[0.00000](9871), [3.4777e-05+8.22835e-01]@[0.00000](9037), [7.2188e-08+8.22711e-01]@[0.00000](86596), [0.044366+7.78501e-01]@[0.00000](10632), [0.042071+7.80774e-01]@[0.00000](4138) ... (28)
Sep 13, 2024 10:49:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    612974 loops (31963/sec), 41172756 sampling steps, 1327 aborted
    loop condition 0.0028484, exit probability 0.00019523 in initial state
    2074 explored states, 28 states in BSSCs (28 absorbing)
    611602 component updates, 41087029 transient state updates
    Bounds: [0.00020790+9.99792e-01]@[0.00000](122027), [0.13153+7.73002e-01]@[0.00000](28350), [0.00020796+9.04352e-01]@[0.00000](59986), [0.59894+4.01030e-01]@[0.00000](68403), [3.4820e-05+8.18294e-01]@[0.00000](13866), [1.5415e-05+8.15880e-01]@[0.00000](13329), [3.4794e-05+8.22835e-01]@[0.00000](12177), [7.2191e-08+8.22711e-01]@[0.00000](117236), [0.044380+7.78488e-01]@[0.00000](14221), [0.042100+7.80745e-01]@[0.00000](5609) ... (28)
Sep 13, 2024 10:49:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    771301 loops (31665/sec), 51812148 sampling steps, 1327 aborted
    loop condition 0.0018726, exit probability 6.7953e-05 in initial state
    2096 explored states, 28 states in BSSCs (28 absorbing)
    769929 component updates, 51726421 transient state updates
    Bounds: [0.00020790+9.99792e-01]@[0.00000](153509), [0.13153+7.73000e-01]@[0.00000](35890), [0.00020796+9.04352e-01]@[0.00000](75389), [0.59895+4.01021e-01]@[0.00000](86028), [3.4820e-05+8.18294e-01]@[0.00000](17569), [1.5416e-05+8.15880e-01]@[0.00000](16738), [3.4803e-05+8.22835e-01]@[0.00000](15294), [7.2211e-08+8.22711e-01]@[0.00000](147567), [0.044384+7.78483e-01]@[0.00000](17769), [0.042109+7.80736e-01]@[0.00000](7114) ... (28)
Sep 13, 2024 10:50:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    929429 loops (31625/sec), 62418466 sampling steps, 1327 aborted
    loop condition 0.0011530, exit probability 3.9384e-05 in initial state
    2122 explored states, 28 states in BSSCs (28 absorbing)
    928056 component updates, 62332710 transient state updates
    Bounds: [0.00020791+9.99792e-01]@[0.00000](185074), [0.13153+7.73000e-01]@[0.00000](43220), [0.00020796+9.04352e-01]@[0.00000](90798), [0.59895+4.01018e-01]@[0.00000](103993), [3.4827e-05+8.18293e-01]@[0.00000](21238), [1.5416e-05+8.15880e-01]@[0.00000](20169), [3.4809e-05+8.22835e-01]@[0.00000](18514), [7.2211e-08+8.22711e-01]@[0.00000](177354), [0.044387+7.78481e-01]@[0.00000](21253), [0.042115+7.80730e-01]@[0.00000](8660) ... (28)
Sep 13, 2024 10:50:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    981911 loops (32040/sec), 65938858 sampling steps, 1327 aborted
    loop condition 0.00099999, exit probability 3.7584e-05 in initial state
    2123 explored states, 28 states in BSSCs (28 absorbing)
    980538 component updates, 65853102 transient state updates
    Bounds: [0.00020791+9.99792e-01]@[0.00000](195464), [0.13153+7.73000e-01]@[0.00000](45685), [0.00020796+9.04352e-01]@[0.00000](96005), [0.59895+4.01018e-01]@[0.00000](109799), [3.4827e-05+8.18293e-01]@[0.00000](22432), [1.5417e-05+8.15880e-01]@[0.00000](21307), [3.4809e-05+8.22835e-01]@[0.00000](19547), [7.2211e-08+8.22711e-01]@[0.00000](187451), [0.044388+7.78480e-01]@[0.00000](22490), [0.042115+7.80730e-01]@[0.00000](9170) ... (28)