(1,2,0,2,0,7,false,false,false): 0.598940 (+ 0.0000)
(1,2,0,0,0,7,false,false,false): 0.131524 (+ 0.0000)
(1,2,0,2,0,7,false,true,true): 0.100207 (+ 0.0000)
(1,2,0,0,0,7,false,true,true): 0.0517452 (+ 0.0000)
(1,0,0,2,0,7,false,false,false): 0.0443857 (+ 0.0000)
(1,2,0,2,0,7,false,true,false): 0.0421007 (+ 0.0000)
(1,0,0,0,0,7,false,false,false): 0.0101146 (+ 0.0000)
(1,2,0,0,0,7,false,true,false): 0.00957829 (+ 0.0000)
(1,0,0,2,0,7,false,true,true): 0.00486944 (+ 0.0000)
(1,0,0,0,0,7,false,true,true): 0.00271921 (+ 0.0000)
(1,0,0,2,0,7,false,true,false): 0.00199966 (+ 0.0000)
(1,0,0,0,0,7,false,true,false): 0.000219035 (+ 0.0000)
(1,2,0,1,0,7,false,false,false): 0.000207958 (+ 0.0000)
(1,1,0,2,0,7,false,false,false): 0.000207833 (+ 0.0000)
(1,1,0,0,0,7,false,false,false): 4.56605e-05 (+ 0.0000)
(1,1,0,2,0,7,false,true,true): 3.48190e-05 (+ 0.0000)
(1,2,0,1,0,7,false,true,true): 3.48081e-05 (+ 0.0000)
(1,1,0,0,0,7,false,true,true): 1.79536e-05 (+ 0.0000)
(1,0,0,1,0,7,false,false,false): 1.54133e-05 (+ 0.0000)
(1,2,0,1,0,7,false,true,false): 1.45870e-05 (+ 0.0000)
(1,1,0,2,0,7,false,true,false): 1.41794e-05 (+ 0.0000)
(1,1,0,0,0,7,false,true,false): 3.32285e-06 (+ 0.0000)
(1,0,0,1,0,7,false,true,true): 1.70106e-06 (+ 0.0000)
(1,0,0,1,0,7,false,true,false): 7.11388e-07 (+ 0.0000)
(1,1,0,1,0,7,false,false,false): 7.21809e-08 (+ 0.0000)
(1,1,0,1,0,7,false,true,true): 1.20900e-08 (+ 0.0000)
(1,1,0,1,0,7,false,true,false): 5.07344e-09 (+ 0.0000)
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=6 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: 6, 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:
141223 loops (28244/sec), 9645526 sampling steps, 347 aborted
loop condition 0.018204, exit probability 0.00071552 in initial state
2108 explored states, 27 states in BSSCs (27 absorbing)
140826 component updates, 9619024 transient state updates
Bounds: [0.00020744+9.99793e-01]@[0.00000](27936), [0.0020218+9.97971e-01]@[0.00000](413), [1.7872e-05+9.99497e-01]@[0.00000](4062), [0.13148+7.73108e-01]@[0.00000](6580), [4.5658e-05+9.99921e-01]@[0.00000](11987), [7.2161e-08+9.99967e-01]@[0.00000](27165), [0.096667+8.84823e-01]@[0.00000](1675), [1.5322e-05+9.74305e-01]@[0.00000](3011), [0.0032063+9.81739e-01]@[0.00000](235), [0.0072735+9.48132e-01]@[0.00000](568) ... (27)
Sep 13, 2024 10:49:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
297205 loops (31196/sec), 20278561 sampling steps, 347 aborted
loop condition 0.0044155, exit probability 0.00016502 in initial state
2188 explored states, 27 states in BSSCs (27 absorbing)
296807 component updates, 20251977 transient state updates
Bounds: [0.00020782+9.99792e-01]@[0.00000](58801), [0.0025087+9.97460e-01]@[0.00000](831), [1.7936e-05+9.99417e-01]@[0.00000](8526), [0.13149+7.73063e-01]@[0.00000](13945), [4.5659e-05+9.99921e-01]@[0.00000](25171), [7.2161e-08+9.99967e-01]@[0.00000](57055), [0.099823+8.81281e-01]@[0.00000](3634), [1.5407e-05+9.74124e-01]@[0.00000](6404), [0.0045771+9.75751e-01]@[0.00000](517), [0.0092432+9.37589e-01]@[0.00000](1204) ... (27)
Sep 13, 2024 10:49:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
452394 loops (31037/sec), 30855280 sampling steps, 348 aborted
loop condition 0.0021500, exit probability 0.00010152 in initial state
2255 explored states, 27 states in BSSCs (27 absorbing)
451995 component updates, 30828595 transient state updates
Bounds: [0.00020783+9.99792e-01]@[0.00000](89604), [0.0026437+9.97283e-01]@[0.00000](1263), [1.7946e-05+9.99406e-01]@[0.00000](13043), [0.13149+7.73060e-01]@[0.00000](21261), [4.5659e-05+9.99921e-01]@[0.00000](38126), [7.2161e-08+9.99967e-01]@[0.00000](86474), [0.10011+8.80991e-01]@[0.00000](5562), [1.5412e-05+9.74115e-01]@[0.00000](9700), [0.0047868+9.74374e-01]@[0.00000](793), [0.0095239+9.36349e-01]@[0.00000](1837) ... (27)
Sep 13, 2024 10:49:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
609251 loops (31371/sec), 41555462 sampling steps, 348 aborted
loop condition 0.0012254, exit probability 7.3994e-05 in initial state
2307 explored states, 27 states in BSSCs (27 absorbing)
608852 component updates, 41528777 transient state updates
Bounds: [0.00020783+9.99792e-01]@[0.00000](120935), [0.0027064+9.97139e-01]@[0.00000](1699), [1.7952e-05+9.99392e-01]@[0.00000](17557), [0.13152+7.73009e-01]@[0.00000](28591), [4.5660e-05+9.99921e-01]@[0.00000](51276), [7.2161e-08+9.99967e-01]@[0.00000](116618), [0.10019+8.80910e-01]@[0.00000](7455), [1.5413e-05+9.74113e-01]@[0.00000](13009), [0.0048521+9.73487e-01]@[0.00000](1048), [0.0095746+9.36161e-01]@[0.00000](2465) ... (27)
Sep 13, 2024 10:49:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
684464 loops (31417/sec), 46685355 sampling steps, 348 aborted
loop condition 0.00099860, exit probability 5.2858e-05 in initial state
2316 explored states, 27 states in BSSCs (27 absorbing)
684065 component updates, 46658670 transient state updates
Bounds: [0.00020783+9.99792e-01]@[0.00000](136019), [0.0027192+9.97096e-01]@[0.00000](1905), [1.7954e-05+9.99389e-01]@[0.00000](19643), [0.13152+7.73007e-01]@[0.00000](32172), [4.5660e-05+9.99921e-01]@[0.00000](57677), [7.2181e-08+9.99967e-01]@[0.00000](130912), [0.10021+8.80893e-01]@[0.00000](8434), [1.5413e-05+9.74113e-01]@[0.00000](14650), [0.0048694+9.73206e-01]@[0.00000](1185), [0.0095783+9.36150e-01]@[0.00000](2733) ... (27)