Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:50:03 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/polling/polling.8.prism approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:50:06 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:50:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24049 loops (758/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
11 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](11)
Sep 13, 2024 10:50:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24050 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
12 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](12)
Sep 13, 2024 10:51:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24051 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
13 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](13)
Sep 13, 2024 10:51:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24052 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
14 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](14)
Sep 13, 2024 10:52:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24053 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
15 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](15)
Sep 13, 2024 10:52:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24054 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
16 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](16)
Sep 13, 2024 10:52:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24055 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
17 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](17)
Sep 13, 2024 10:53:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24056 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
18 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](18)
Sep 13, 2024 10:53:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24057 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
19 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](19)
Sep 13, 2024 10:54:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24058 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
20 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](20)
Sep 13, 2024 10:54:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24059 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
21 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](21)
Sep 13, 2024 10:55:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24060 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
22 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](22)
Sep 13, 2024 10:55:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24061 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
23 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](23)
Sep 13, 2024 10:55:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24062 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
24 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](24)
Sep 13, 2024 10:56:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24063 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
25 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](25)
Sep 13, 2024 10:56:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24064 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
26 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](26)
Sep 13, 2024 10:57:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24065 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
27 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](27)
Sep 13, 2024 10:57:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24066 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
28 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](28)
Sep 13, 2024 10:57:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24067 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
29 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](29)
Sep 13, 2024 10:58:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24068 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
30 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](30)
Sep 13, 2024 10:58:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24069 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
31 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](31)
Sep 13, 2024 10:59:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24070 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
32 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](32)
Sep 13, 2024 10:59:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24071 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
33 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](33)
Sep 13, 2024 10:59:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24072 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
34 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](34)
Sep 13, 2024 11:00:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24073 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
35 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](35)
Sep 13, 2024 11:00:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24074 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
36 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](36)
Sep 13, 2024 11:01:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24075 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
37 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](37)
Sep 13, 2024 11:01:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24076 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
38 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](38)
Sep 13, 2024 11:01:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24077 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
39 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](39)
Sep 13, 2024 11:02:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24078 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
40 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](40)
Sep 13, 2024 11:02:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24079 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
41 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](41)
Sep 13, 2024 11:03:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24080 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
42 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](42)
Sep 13, 2024 11:03:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24081 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
43 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](43)
Sep 13, 2024 11:03:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24082 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
44 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](44)
Sep 13, 2024 11:04:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24083 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
45 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](45)
Sep 13, 2024 11:04:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24084 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
46 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](46)
Sep 13, 2024 11:05:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24085 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
47 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](47)
Sep 13, 2024 11:05:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24086 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
48 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](48)
Sep 13, 2024 11:05:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24087 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
49 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](49)
Sep 13, 2024 11:06:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24088 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
50 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](50)
Sep 13, 2024 11:06:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24089 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
51 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](51)
Sep 13, 2024 11:07:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24090 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
52 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](52)
Sep 13, 2024 11:07:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24091 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
53 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](53)
Sep 13, 2024 11:07:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24092 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
54 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](54)
Sep 13, 2024 11:08:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24093 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
55 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](55)
Sep 13, 2024 11:08:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24094 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
56 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](56)
Sep 13, 2024 11:09:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24095 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
57 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](57)
Sep 13, 2024 11:09:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24096 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
58 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](58)
Sep 13, 2024 11:09:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24097 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
59 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](59)
Sep 13, 2024 11:10:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24098 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
60 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](60)
Sep 13, 2024 11:10:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24099 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
61 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](61)
Sep 13, 2024 11:11:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24100 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
62 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](62)
Sep 13, 2024 11:11:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24101 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
63 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](63)
Sep 13, 2024 11:11:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24102 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
64 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](64)
Sep 13, 2024 11:12:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24103 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
65 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](65)
Sep 13, 2024 11:12:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24104 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
66 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](66)
Sep 13, 2024 11:13:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24105 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
67 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](67)
Sep 13, 2024 11:13:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24106 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
68 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](68)
Sep 13, 2024 11:13:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24107 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
69 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](69)
Sep 13, 2024 11:14:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24108 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
70 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](70)
Sep 13, 2024 11:14:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24109 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
71 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](71)
Sep 13, 2024 11:15:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24110 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
72 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](72)
Sep 13, 2024 11:15:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24111 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
73 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](73)
Sep 13, 2024 11:15:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24112 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
74 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](74)
Sep 13, 2024 11:16:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24113 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
75 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](75)
Sep 13, 2024 11:16:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24114 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
76 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](76)
Sep 13, 2024 11:17:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24115 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
77 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](77)
Sep 13, 2024 11:17:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24116 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
78 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](78)
Sep 13, 2024 11:17:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24117 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
79 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](79)
Sep 13, 2024 11:18:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24118 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
80 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](80)
Sep 13, 2024 11:18:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24119 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
81 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](81)
Sep 13, 2024 11:19:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24120 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
82 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](82)
Sep 13, 2024 11:19:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24121 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
83 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](83)
Sep 13, 2024 11:19:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24122 loops (0/sec), 13275440 sampling steps, 23808 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
84 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](84)
----------
Computation aborted after 1800.0053853988647 seconds since the total time limit of 1800.0 seconds was exceeded.