(7,0,0,0,0,0,0,0,0,0): 0.499506 (+ 0.0000)
(0,0,0,0,0,0,0,0,0,7): 0.499506 (+ 0.0000)
Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:49:01 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/oscillators/oscillators.7-10-0.1-1.prism --const mu=0.1,lambda=1.0 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:49:03 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:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
872 loops (174/sec), 13461 sampling steps, 20 aborted
loop condition 0.83972, exit probability 0.83460 in initial state
3556 explored states, 2 states in BSSCs (0 absorbing)
775 component updates, 12269 transient state updates
Bounds: [0.16028+8.39717e-01]@[0.00000](775)
Sep 13, 2024 10:49:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3182 loops (461/sec), 50300 sampling steps, 37 aborted
loop condition 0.50680, exit probability 0.50317 in initial state
6342 explored states, 2 states in BSSCs (0 absorbing)
3065 component updates, 48907 transient state updates
Bounds: [0.49320+5.06799e-01]@[0.00000](3065)
Sep 13, 2024 10:49:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9289 loops (1221/sec), 149630 sampling steps, 69 aborted
loop condition 0.19107, exit probability 0.18934 in initial state
8506 explored states, 2 states in BSSCs (0 absorbing)
9140 component updates, 147892 transient state updates
Bounds: [0.80893+1.91071e-01]@[0.00000](9140)
Sep 13, 2024 10:49:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19001 loops (1942/sec), 306655 sampling steps, 130 aborted
loop condition 0.074885, exit probability 0.073966 in initial state
9574 explored states, 2 states in BSSCs (0 absorbing)
18791 component updates, 304332 transient state updates
Bounds: [0.92512+7.48849e-02]@[0.00000](18791)
Sep 13, 2024 10:49:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30502 loops (2300/sec), 492874 sampling steps, 181 aborted
loop condition 0.033867, exit probability 0.033458 in initial state
10140 explored states, 2 states in BSSCs (0 absorbing)
30241 component updates, 489927 transient state updates
Bounds: [0.96613+3.38665e-02]@[0.00000](30241)
Sep 13, 2024 10:49:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44417 loops (2783/sec), 718189 sampling steps, 268 aborted
loop condition 0.019280, exit probability 0.019152 in initial state
10452 explored states, 2 states in BSSCs (0 absorbing)
44069 component updates, 714369 transient state updates
Bounds: [0.98072+1.92796e-02]@[0.00000](44069)
Sep 13, 2024 10:49:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60069 loops (3130/sec), 971863 sampling steps, 359 aborted
loop condition 0.011557, exit probability 0.011410 in initial state
10673 explored states, 2 states in BSSCs (0 absorbing)
59630 component updates, 967148 transient state updates
Bounds: [0.98844+1.15567e-02]@[0.00000](59630)
Sep 13, 2024 10:49:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76986 loops (3383/sec), 1244759 sampling steps, 458 aborted
loop condition 0.0080083, exit probability 0.0078583 in initial state
10808 explored states, 2 states in BSSCs (0 absorbing)
76448 component updates, 1238958 transient state updates
Bounds: [0.99199+8.00830e-03]@[0.00000](76448)
Sep 13, 2024 10:49:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94649 loops (3532/sec), 1530952 sampling steps, 560 aborted
loop condition 0.0054395, exit probability 0.0053123 in initial state
10914 explored states, 2 states in BSSCs (0 absorbing)
94009 component updates, 1524050 transient state updates
Bounds: [0.99456+5.43946e-03]@[0.00000](94009)
Sep 13, 2024 10:49:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
112641 loops (3598/sec), 1821593 sampling steps, 668 aborted
loop condition 0.0039142, exit probability 0.0038405 in initial state
11002 explored states, 2 states in BSSCs (0 absorbing)
111893 component updates, 1813528 transient state updates
Bounds: [0.99609+3.91416e-03]@[0.00000](111893)
Sep 13, 2024 10:49:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
131072 loops (3686/sec), 2120733 sampling steps, 805 aborted
loop condition 0.0030176, exit probability 0.0029496 in initial state
11053 explored states, 2 states in BSSCs (0 absorbing)
130187 component updates, 2111299 transient state updates
Bounds: [0.99698+3.01761e-03]@[0.00000](130187)
Sep 13, 2024 10:50:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149709 loops (3727/sec), 2422717 sampling steps, 920 aborted
loop condition 0.0025596, exit probability 0.0024734 in initial state
11086 explored states, 2 states in BSSCs (0 absorbing)
148709 component updates, 2412072 transient state updates
Bounds: [0.99744+2.55962e-03]@[0.00000](148709)
Sep 13, 2024 10:50:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
168433 loops (3744/sec), 2724128 sampling steps, 1028 aborted
loop condition 0.0021546, exit probability 0.0020621 in initial state
11121 explored states, 2 states in BSSCs (0 absorbing)
167325 component updates, 2712310 transient state updates
Bounds: [0.99785+2.15459e-03]@[0.00000](167325)
Sep 13, 2024 10:50:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
187560 loops (3825/sec), 3032212 sampling steps, 1160 aborted
loop condition 0.0016597, exit probability 0.0015753 in initial state
11160 explored states, 2 states in BSSCs (0 absorbing)
186320 component updates, 3019134 transient state updates
Bounds: [0.99834+1.65967e-03]@[0.00000](186320)
Sep 13, 2024 10:50:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
206588 loops (3805/sec), 3338833 sampling steps, 1280 aborted
loop condition 0.0013856, exit probability 0.0012971 in initial state
11190 explored states, 2 states in BSSCs (0 absorbing)
205228 component updates, 3324518 transient state updates
Bounds: [0.99861+1.38560e-03]@[0.00000](205228)
Sep 13, 2024 10:50:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
225991 loops (3880/sec), 3654669 sampling steps, 1394 aborted
loop condition 0.0012217, exit probability 0.0011286 in initial state
11206 explored states, 2 states in BSSCs (0 absorbing)
224517 component updates, 3639210 transient state updates
Bounds: [0.99878+1.22173e-03]@[0.00000](224517)
Sep 13, 2024 10:50:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
245026 loops (3807/sec), 3962282 sampling steps, 1516 aborted
loop condition 0.0010675, exit probability 0.0010087 in initial state
11222 explored states, 2 states in BSSCs (0 absorbing)
243430 component updates, 3945580 transient state updates
Bounds: [0.99893+1.06748e-03]@[0.00000](243430)
Sep 13, 2024 10:50:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
254875 loops (3709/sec), 4120441 sampling steps, 1589 aborted
loop condition 0.00098811, exit probability 0.00092509 in initial state
11234 explored states, 2 states in BSSCs (0 absorbing)
253206 component updates, 4102959 transient state updates
Bounds: [0.99901+9.88107e-04]@[0.00000](253206)