Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:47:59 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/leader_sync/leader_sync.4-4.prism approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:47:59 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:48:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1557429 loops (311485/sec), 7543762 sampling steps, 243393 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
1314036 component updates, 6570180 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](1314036)
Sep 13, 2024 10:48:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3185004 loops (325515/sec), 15427842 sampling steps, 497188 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
2687816 component updates, 13439080 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](2687816)
Sep 13, 2024 10:48:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4808614 loops (324722/sec), 23293041 sampling steps, 750039 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
4058575 component updates, 20292875 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](4058575)
Sep 13, 2024 10:48:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6442062 loops (326689/sec), 31205433 sampling steps, 1004887 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
5437175 component updates, 27185875 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](5437175)
Sep 13, 2024 10:48:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8025238 loops (316635/sec), 38873970 sampling steps, 1252230 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
6773008 component updates, 33865040 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](6773008)
Sep 13, 2024 10:48:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9617641 loops (318480/sec), 46586907 sampling steps, 1501308 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
8116333 component updates, 40581665 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](8116333)
Sep 13, 2024 10:48:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11212982 loops (319068/sec), 54313820 sampling steps, 1751100 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
9461882 component updates, 47309410 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](9461882)
Sep 13, 2024 10:48:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12829003 loops (323204/sec), 62141823 sampling steps, 2003202 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
10825801 component updates, 54129005 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](10825801)
Sep 13, 2024 10:48:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14446639 loops (323527/sec), 69977680 sampling steps, 2255525 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
12191114 component updates, 60955570 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](12191114)
Sep 13, 2024 10:48:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16059673 loops (322606/sec), 77790861 sampling steps, 2507514 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
13552159 component updates, 67760795 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](13552159)
Sep 13, 2024 10:48:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17678675 loops (323800/sec), 85632252 sampling steps, 2761133 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
14917542 component updates, 74587710 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](14917542)
Sep 13, 2024 10:48:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19294158 loops (323096/sec), 93457363 sampling steps, 3013437 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
16280721 component updates, 81403605 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](16280721)
Sep 13, 2024 10:49:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20884774 loops (318123/sec), 101160934 sampling steps, 3262946 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
17621828 component updates, 88109140 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](17621828)
Sep 13, 2024 10:49:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22496742 loops (322393/sec), 108968447 sampling steps, 3515273 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
18981469 component updates, 94907345 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](18981469)
Sep 13, 2024 10:49:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24116353 loops (323922/sec), 116814075 sampling steps, 3767700 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
20348653 component updates, 101743265 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](20348653)
Sep 13, 2024 10:49:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25742713 loops (325272/sec), 124691438 sampling steps, 4022137 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
21720576 component updates, 108602880 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](21720576)
Sep 13, 2024 10:49:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27364924 loops (324442/sec), 132549228 sampling steps, 4275402 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
23089522 component updates, 115447610 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](23089522)
Sep 13, 2024 10:49:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28990238 loops (325062/sec), 140421567 sampling steps, 4529633 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
24460605 component updates, 122303025 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](24460605)
Sep 13, 2024 10:49:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30624444 loops (326841/sec), 148337279 sampling steps, 4784951 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
25839493 component updates, 129197465 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](25839493)
Sep 13, 2024 10:49:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32251498 loops (325410/sec), 156218438 sampling steps, 5039062 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
27212436 component updates, 136062180 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](27212436)
Sep 13, 2024 10:49:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33873550 loops (324410/sec), 164074605 sampling steps, 5293155 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
28580395 component updates, 142901975 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](28580395)
Sep 13, 2024 10:49:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35516204 loops (328530/sec), 172031640 sampling steps, 5549390 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
29966814 component updates, 149834070 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](29966814)
Sep 13, 2024 10:49:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37153470 loops (327453/sec), 179962554 sampling steps, 5804806 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
31348664 component updates, 156743320 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](31348664)
Sep 13, 2024 10:49:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38778688 loops (325043/sec), 187833792 sampling steps, 6059658 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
32719030 component updates, 163595150 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](32719030)
Sep 13, 2024 10:50:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40389931 loops (322248/sec), 195637905 sampling steps, 6311760 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
34078171 component updates, 170390855 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](34078171)
Sep 13, 2024 10:50:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42002333 loops (322480/sec), 203448169 sampling steps, 6563506 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
35438827 component updates, 177194135 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](35438827)
Sep 13, 2024 10:50:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43626039 loops (324741/sec), 211313086 sampling steps, 6817119 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
36808920 component updates, 184044600 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](36808920)
Sep 13, 2024 10:50:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45250017 loops (324795/sec), 219179162 sampling steps, 7070933 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
38179084 component updates, 190895420 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](38179084)
Sep 13, 2024 10:50:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46893943 loops (328785/sec), 227141517 sampling steps, 7328208 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
39565735 component updates, 197828675 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](39565735)
Sep 13, 2024 10:50:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48483692 loops (317949/sec), 234842424 sampling steps, 7576046 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
40907646 component updates, 204538230 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](40907646)
Sep 13, 2024 10:50:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50081635 loops (319588/sec), 242582233 sampling steps, 7825952 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
42255683 component updates, 211278415 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](42255683)
Sep 13, 2024 10:50:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51703681 loops (324409/sec), 250438505 sampling steps, 8079910 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
43623771 component updates, 218118855 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](43623771)
Sep 13, 2024 10:50:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53329878 loops (325239/sec), 258315316 sampling steps, 8334084 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
44995794 component updates, 224978970 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](44995794)
Sep 13, 2024 10:50:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54953857 loops (324795/sec), 266181610 sampling steps, 8587685 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
46366172 component updates, 231830860 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](46366172)
Sep 13, 2024 10:50:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56583488 loops (325926/sec), 274075459 sampling steps, 8841991 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
47741497 component updates, 238707485 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](47741497)
Sep 13, 2024 10:50:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58210946 loops (325491/sec), 281958308 sampling steps, 9096432 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
49114514 component updates, 245572570 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](49114514)
Sep 13, 2024 10:51:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59788344 loops (315479/sec), 289599040 sampling steps, 9342690 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
50445654 component updates, 252228270 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](50445654)
Sep 13, 2024 10:51:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61374010 loops (317133/sec), 297279030 sampling steps, 9591030 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
51782980 component updates, 258914900 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](51782980)
Sep 13, 2024 10:51:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62967311 loops (318660/sec), 304996923 sampling steps, 9839642 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
53127669 component updates, 265638345 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](53127669)
Sep 13, 2024 10:51:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
64555391 loops (317616/sec), 312689186 sampling steps, 10087779 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
54467612 component updates, 272338060 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](54467612)
Sep 13, 2024 10:51:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66144300 loops (317781/sec), 320384813 sampling steps, 10336697 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
55807603 component updates, 279038015 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](55807603)
Sep 13, 2024 10:51:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
67723244 loops (315788/sec), 328032677 sampling steps, 10583553 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
57139691 component updates, 285698455 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](57139691)
Sep 13, 2024 10:51:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69298202 loops (314991/sec), 335661168 sampling steps, 10829852 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
58468350 component updates, 292341750 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](58468350)
Sep 13, 2024 10:51:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
70904765 loops (321312/sec), 343442514 sampling steps, 11081321 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
59823444 component updates, 299117220 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](59823444)
Sep 13, 2024 10:51:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
72522019 loops (323450/sec), 351276308 sampling steps, 11333797 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
61188222 component updates, 305941110 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](61188222)
Sep 13, 2024 10:51:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
74152176 loops (326031/sec), 359172894 sampling steps, 11587996 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
62564180 component updates, 312820900 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](62564180)
Sep 13, 2024 10:51:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
75789289 loops (327422/sec), 367102050 sampling steps, 11844405 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
63944884 component updates, 319724420 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](63944884)
Sep 13, 2024 10:51:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77433210 loops (328784/sec), 375065165 sampling steps, 12100895 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
65332315 component updates, 326661575 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](65332315)
Sep 13, 2024 10:52:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79007022 loops (314762/sec), 382688035 sampling steps, 12347085 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
66659937 component updates, 333299685 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](66659937)
Sep 13, 2024 10:52:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80631561 loops (324907/sec), 390557711 sampling steps, 12600104 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
68031457 component updates, 340157285 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](68031457)
Sep 13, 2024 10:52:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82269702 loops (327628/sec), 398493383 sampling steps, 12855137 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
69414565 component updates, 347072825 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](69414565)
Sep 13, 2024 10:52:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
83913173 loops (328694/sec), 406453848 sampling steps, 13112027 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
70801146 component updates, 354005730 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](70801146)
Sep 13, 2024 10:52:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85543507 loops (326066/sec), 414350299 sampling steps, 13367246 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
72176261 component updates, 360881305 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](72176261)
Sep 13, 2024 10:52:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
87170676 loops (325433/sec), 422231453 sampling steps, 13621937 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
73548739 component updates, 367743695 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](73548739)
Sep 13, 2024 10:52:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88809717 loops (327808/sec), 430170571 sampling steps, 13878024 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
74931693 component updates, 374658465 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](74931693)
Sep 13, 2024 10:52:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90457056 loops (329467/sec), 438149723 sampling steps, 14135567 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
76321489 component updates, 381607445 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](76321489)
Sep 13, 2024 10:52:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92099888 loops (328566/sec), 446107293 sampling steps, 14392157 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
77707731 component updates, 388538655 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](77707731)
Sep 13, 2024 10:52:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
93731465 loops (326315/sec), 454010575 sampling steps, 14646760 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
79084705 component updates, 395423525 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](79084705)
Sep 13, 2024 10:52:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95361385 loops (325984/sec), 461905165 sampling steps, 14901770 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
80459615 component updates, 402298075 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](80459615)
Sep 13, 2024 10:52:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
97002307 loops (328184/sec), 469853252 sampling steps, 15158293 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
81844014 component updates, 409220070 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](81844014)
Sep 13, 2024 10:53:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98593722 loops (318283/sec), 477561780 sampling steps, 15406840 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
83186882 component updates, 415934410 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](83186882)
Sep 13, 2024 10:53:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100189718 loops (319199/sec), 485292871 sampling steps, 15655729 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
84533989 component updates, 422669945 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](84533989)
Sep 13, 2024 10:53:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101812114 loops (324479/sec), 493150592 sampling steps, 15909988 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
85902126 component updates, 429510630 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](85902126)
Sep 13, 2024 10:53:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103445251 loops (326627/sec), 501061197 sampling steps, 16165068 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
87280183 component updates, 436400915 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](87280183)
Sep 13, 2024 10:53:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
105059390 loops (322827/sec), 508879398 sampling steps, 16417562 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
88641828 component updates, 443209140 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](88641828)
Sep 13, 2024 10:53:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106666627 loops (321447/sec), 516664291 sampling steps, 16668854 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
89997773 component updates, 449988865 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](89997773)
Sep 13, 2024 10:53:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
108248913 loops (316457/sec), 524328163 sampling steps, 16916412 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
91332501 component updates, 456662505 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](91332501)
Sep 13, 2024 10:53:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109877120 loops (325641/sec), 532214770 sampling steps, 17170840 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
92706280 component updates, 463531400 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](92706280)
Sep 13, 2024 10:53:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111457927 loops (316161/sec), 539871493 sampling steps, 17418152 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
94039775 component updates, 470198875 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](94039775)
Sep 13, 2024 10:53:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113060423 loops (320499/sec), 547633588 sampling steps, 17668537 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
95391886 component updates, 476959430 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](95391886)
Sep 13, 2024 10:53:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
114690462 loops (326007/sec), 555528745 sampling steps, 17923575 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
96766887 component updates, 483834435 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](96766887)
Sep 13, 2024 10:53:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116324493 loops (326806/sec), 563443375 sampling steps, 18179100 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
98145393 component updates, 490726965 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](98145393)
Sep 13, 2024 10:54:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117951702 loops (325441/sec), 571325343 sampling steps, 18433177 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
99518525 component updates, 497592625 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](99518525)
Sep 13, 2024 10:54:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119581175 loops (325894/sec), 579217904 sampling steps, 18687981 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
100893194 component updates, 504465970 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](100893194)
Sep 13, 2024 10:54:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
121215807 loops (326926/sec), 587134988 sampling steps, 18944057 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
102271750 component updates, 511358750 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](102271750)
Sep 13, 2024 10:54:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122852126 loops (327263/sec), 595060583 sampling steps, 19200057 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
103652069 component updates, 518260345 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](103652069)
Sep 13, 2024 10:54:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
124484032 loops (326381/sec), 602965832 sampling steps, 19454338 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
105029694 component updates, 525148470 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](105029694)
Sep 13, 2024 10:54:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126117728 loops (326739/sec), 610878243 sampling steps, 19710407 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
106407321 component updates, 532036605 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](106407321)
Sep 13, 2024 10:54:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
127746378 loops (325730/sec), 618766981 sampling steps, 19964919 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
107781459 component updates, 538907295 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](107781459)
Sep 13, 2024 10:54:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
129367116 loops (324147/sec), 626617713 sampling steps, 20217877 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
109149239 component updates, 545746195 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](109149239)
Sep 13, 2024 10:54:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
131004510 loops (327478/sec), 634548507 sampling steps, 20474053 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
110530457 component updates, 552652285 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](110530457)
Sep 13, 2024 10:54:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132644880 loops (328074/sec), 642493497 sampling steps, 20730913 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
111913967 component updates, 559569835 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](111913967)
Sep 13, 2024 10:54:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134286767 loops (328377/sec), 650446776 sampling steps, 20987069 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
113299698 component updates, 566498490 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](113299698)
Sep 13, 2024 10:54:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
135919009 loops (326448/sec), 658353736 sampling steps, 21241319 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
114677690 component updates, 573388450 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](114677690)
Sep 13, 2024 10:55:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137541906 loops (324579/sec), 666214340 sampling steps, 21495200 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
116046706 component updates, 580233530 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](116046706)
Sep 13, 2024 10:55:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
139165057 loops (324630/sec), 674076274 sampling steps, 21749021 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
117416036 component updates, 587080180 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](117416036)
Sep 13, 2024 10:55:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140799476 loops (326883/sec), 681992714 sampling steps, 22004676 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
118794800 component updates, 593974000 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](118794800)
Sep 13, 2024 10:55:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
142429978 loops (326100/sec), 689889432 sampling steps, 22260468 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
120169510 component updates, 600847550 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](120169510)
Sep 13, 2024 10:55:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144061531 loops (326310/sec), 697791806 sampling steps, 22515859 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
121545672 component updates, 607728360 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](121545672)
Sep 13, 2024 10:55:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145706785 loops (329050/sec), 705761039 sampling steps, 22772896 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
122933889 component updates, 614669445 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](122933889)
Sep 13, 2024 10:55:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147340687 loops (326780/sec), 713675790 sampling steps, 23027655 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
124313032 component updates, 621565160 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](124313032)
Sep 13, 2024 10:55:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148980181 loops (327898/sec), 721616758 sampling steps, 23284157 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
125696024 component updates, 628480120 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](125696024)
Sep 13, 2024 10:55:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150621745 loops (328312/sec), 729567884 sampling steps, 23540851 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
127080894 component updates, 635404470 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](127080894)
Sep 13, 2024 10:55:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
152272196 loops (330090/sec), 737562613 sampling steps, 23798377 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
128473819 component updates, 642369095 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](128473819)
Sep 13, 2024 10:55:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153922708 loops (330102/sec), 745556930 sampling steps, 24056620 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
129866088 component updates, 649330440 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](129866088)
Sep 13, 2024 10:55:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
155573344 loops (330127/sec), 753551480 sampling steps, 24315250 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
131258094 component updates, 656290470 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](131258094)
Sep 13, 2024 10:56:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
157198587 loops (325048/sec), 761423011 sampling steps, 24569934 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
132628653 component updates, 663143265 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](132628653)
Sep 13, 2024 10:56:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
158831796 loops (326641/sec), 769335006 sampling steps, 24823984 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
134007812 component updates, 670039060 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](134007812)
Sep 13, 2024 10:56:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
160458533 loops (325347/sec), 777214633 sampling steps, 25078042 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
135380491 component updates, 676902455 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](135380491)
Sep 13, 2024 10:56:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
162098096 loops (327912/sec), 785156678 sampling steps, 25333812 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
136764284 component updates, 683821420 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](136764284)
Sep 13, 2024 10:56:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
163733752 loops (327131/sec), 793079323 sampling steps, 25589447 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
138144305 component updates, 690721525 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](138144305)
Sep 13, 2024 10:56:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
165375241 loops (328297/sec), 801029919 sampling steps, 25846296 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
139528945 component updates, 697644725 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](139528945)
Sep 13, 2024 10:56:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
167021886 loops (329329/sec), 809006707 sampling steps, 26102733 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
140919153 component updates, 704595765 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](140919153)
Sep 13, 2024 10:56:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
168652267 loops (326076/sec), 816903848 sampling steps, 26357497 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
142294770 component updates, 711473850 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](142294770)
Sep 13, 2024 10:56:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
170293720 loops (328290/sec), 824854491 sampling steps, 26614119 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
143679601 component updates, 718398005 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](143679601)
Sep 13, 2024 10:56:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
171933664 loops (327988/sec), 832798212 sampling steps, 26870118 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
145063546 component updates, 725317730 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](145063546)
Sep 13, 2024 10:56:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
173575951 loops (328457/sec), 840752976 sampling steps, 27126789 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
146449162 component updates, 732245810 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](146449162)
Sep 13, 2024 10:56:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
175210189 loops (326847/sec), 848668665 sampling steps, 27382290 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
147827899 component updates, 739139495 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](147827899)
Sep 13, 2024 10:57:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
176820055 loops (321973/sec), 856466395 sampling steps, 27633890 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
149186165 component updates, 745930825 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](149186165)
Sep 13, 2024 10:57:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
178441379 loops (324264/sec), 864319406 sampling steps, 27887499 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
150553880 component updates, 752769400 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](150553880)
Sep 13, 2024 10:57:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
180081013 loops (327926/sec), 872260968 sampling steps, 28144107 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
151936906 component updates, 759684530 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](151936906)
Sep 13, 2024 10:57:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
181716304 loops (327058/sec), 880182908 sampling steps, 28398622 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
153317682 component updates, 766588410 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](153317682)
Sep 13, 2024 10:57:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
183344751 loops (325689/sec), 888071069 sampling steps, 28652696 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
154692055 component updates, 773460275 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](154692055)
Sep 13, 2024 10:57:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
184985641 loops (328178/sec), 896018772 sampling steps, 28909443 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
156076198 component updates, 780380990 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](156076198)
Sep 13, 2024 10:57:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
186619700 loops (326811/sec), 903934282 sampling steps, 29164228 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
157455472 component updates, 787277360 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](157455472)
Sep 13, 2024 10:57:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
188253528 loops (326765/sec), 911848217 sampling steps, 29419433 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
158834095 component updates, 794170475 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](158834095)
Sep 13, 2024 10:57:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
189899922 loops (329278/sec), 919822625 sampling steps, 29676995 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
160222927 component updates, 801114635 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](160222927)
Sep 13, 2024 10:57:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
191586404 loops (337296/sec), 927991755 sampling steps, 29940275 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
161646129 component updates, 808230645 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](161646129)
Sep 13, 2024 10:57:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
193237108 loops (330140/sec), 935988094 sampling steps, 30197456 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
163039652 component updates, 815198260 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](163039652)
Sep 13, 2024 10:57:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
194932248 loops (339028/sec), 944199795 sampling steps, 30461455 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
164470793 component updates, 822353965 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](164470793)
Sep 13, 2024 10:58:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
196593896 loops (332329/sec), 952248126 sampling steps, 30721364 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
165872532 component updates, 829362660 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](165872532)
Sep 13, 2024 10:58:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
198266169 loops (334454/sec), 960348054 sampling steps, 30982801 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
167283368 component updates, 836416840 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](167283368)
Sep 13, 2024 10:58:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
199940136 loops (334793/sec), 968456231 sampling steps, 31244459 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
168695677 component updates, 843478385 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](168695677)
Sep 13, 2024 10:58:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
201615762 loops (335125/sec), 976571740 sampling steps, 31507080 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
170108682 component updates, 850543410 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](170108682)
Sep 13, 2024 10:58:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
203270476 loops (330942/sec), 984585805 sampling steps, 31766585 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
171503891 component updates, 857519455 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](171503891)
Sep 13, 2024 10:58:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
204941593 loops (334223/sec), 992680554 sampling steps, 32027421 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
172914172 component updates, 864570860 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](172914172)
Sep 13, 2024 10:58:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
206615627 loops (334806/sec), 1000788047 sampling steps, 32290098 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
174325529 component updates, 871627645 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](174325529)
Sep 13, 2024 10:58:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
208294097 loops (335694/sec), 1008918866 sampling steps, 32551629 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
175742468 component updates, 878712340 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](175742468)
Sep 13, 2024 10:58:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
209968448 loops (334870/sec), 1017028758 sampling steps, 32813492 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
177154956 component updates, 885774780 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](177154956)
Sep 13, 2024 10:58:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
211637410 loops (333792/sec), 1025112341 sampling steps, 33074719 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
178562691 component updates, 892813455 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](178562691)
Sep 13, 2024 10:58:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
213305135 loops (333545/sec), 1033190593 sampling steps, 33335092 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
179970043 component updates, 899850215 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](179970043)
Sep 13, 2024 10:58:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
214967869 loops (332546/sec), 1041244045 sampling steps, 33595310 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
181372559 component updates, 906862795 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](181372559)
Sep 13, 2024 10:59:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
216617070 loops (329840/sec), 1049232419 sampling steps, 33852941 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
182764129 component updates, 913820645 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](182764129)
Sep 13, 2024 10:59:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
218295639 loops (335713/sec), 1057363627 sampling steps, 34114578 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
184181061 component updates, 920905305 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](184181061)
Sep 13, 2024 10:59:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
219981385 loops (337149/sec), 1065529163 sampling steps, 34377772 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
185603613 component updates, 928018065 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](185603613)
Sep 13, 2024 10:59:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
221654989 loops (334720/sec), 1073635163 sampling steps, 34639792 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
187015197 component updates, 935075985 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](187015197)
Sep 13, 2024 10:59:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
223343413 loops (337684/sec), 1081814290 sampling steps, 34902785 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
188440628 component updates, 942203140 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](188440628)
Sep 13, 2024 10:59:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
225025139 loops (336345/sec), 1089958865 sampling steps, 35166840 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
189858299 component updates, 949291495 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](189858299)
Sep 13, 2024 10:59:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
226705391 loops (336050/sec), 1098097315 sampling steps, 35429650 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
191275741 component updates, 956378705 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](191275741)
Sep 13, 2024 10:59:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
228390164 loops (336954/sec), 1106257312 sampling steps, 35693518 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
192696646 component updates, 963483230 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](192696646)
Sep 13, 2024 10:59:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
230075280 loops (337023/sec), 1114419343 sampling steps, 35957067 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
194118213 component updates, 970591065 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](194118213)
Sep 13, 2024 10:59:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
231748251 loops (334594/sec), 1122522937 sampling steps, 36218328 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
195529923 component updates, 977649615 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](195529923)
Sep 13, 2024 10:59:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
233431448 loops (336639/sec), 1130676697 sampling steps, 36480553 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
196950895 component updates, 984754475 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](196950895)
Sep 13, 2024 10:59:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
235110047 loops (335719/sec), 1138807329 sampling steps, 36742916 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
198367131 component updates, 991835655 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](198367131)
Sep 13, 2024 11:00:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
236777648 loops (333520/sec), 1146884840 sampling steps, 37003410 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
199774238 component updates, 998871190 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](199774238)
Sep 13, 2024 11:00:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
238439637 loops (332397/sec), 1154935210 sampling steps, 37262985 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
201176652 component updates, 1005883260 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](201176652)
Sep 13, 2024 11:00:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
240107436 loops (333559/sec), 1163013110 sampling steps, 37524080 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
202583356 component updates, 1012916780 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](202583356)
Sep 13, 2024 11:00:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
241777711 loops (334055/sec), 1171103301 sampling steps, 37785264 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
203992447 component updates, 1019962235 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](203992447)
Sep 13, 2024 11:00:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
243449886 loops (334435/sec), 1179202925 sampling steps, 38046515 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
205403371 component updates, 1027016855 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](205403371)
Sep 13, 2024 11:00:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
245119166 loops (333856/sec), 1187288935 sampling steps, 38306905 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
206812261 component updates, 1034061305 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](206812261)
Sep 13, 2024 11:00:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
246786075 loops (333381/sec), 1195363156 sampling steps, 38567229 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
208218846 component updates, 1041094230 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](208218846)
Sep 13, 2024 11:00:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
248454303 loops (333645/sec), 1203442902 sampling steps, 38828623 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
209625680 component updates, 1048128400 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](209625680)
Sep 13, 2024 11:00:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
250134269 loops (335993/sec), 1211579993 sampling steps, 39091362 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
211042907 component updates, 1055214535 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](211042907)
Sep 13, 2024 11:00:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
251805844 loops (334315/sec), 1219676634 sampling steps, 39352596 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
212453248 component updates, 1062266240 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](212453248)
Sep 13, 2024 11:00:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
253473348 loops (333500/sec), 1227753176 sampling steps, 39613574 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
213859774 component updates, 1069298870 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](213859774)
Sep 13, 2024 11:00:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
255148985 loops (335127/sec), 1235869471 sampling steps, 39875464 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
215273521 component updates, 1076367605 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](215273521)
Sep 13, 2024 11:01:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
256793034 loops (328809/sec), 1243834057 sampling steps, 40131123 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
216661911 component updates, 1083309555 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](216661911)
Sep 13, 2024 11:01:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
258456264 loops (332646/sec), 1251890235 sampling steps, 40391095 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
218065169 component updates, 1090325845 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](218065169)
Sep 13, 2024 11:01:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
260115197 loops (331786/sec), 1259925399 sampling steps, 40650596 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
219464601 component updates, 1097323005 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](219464601)
Sep 13, 2024 11:01:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261784582 loops (333877/sec), 1268011743 sampling steps, 40911177 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
220873405 component updates, 1104367025 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](220873405)
Sep 13, 2024 11:01:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
263456713 loops (334426/sec), 1276110541 sampling steps, 41173034 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
222283679 component updates, 1111418395 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](222283679)
Sep 13, 2024 11:01:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
265134317 loops (335520/sec), 1284236836 sampling steps, 41434759 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
223699558 component updates, 1118497790 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](223699558)
Sep 13, 2024 11:01:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
266817327 loops (336602/sec), 1292389020 sampling steps, 41697625 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
225119702 component updates, 1125598510 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](225119702)
Sep 13, 2024 11:01:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
268501154 loops (336765/sec), 1300544088 sampling steps, 41961692 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
226539462 component updates, 1132697310 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](226539462)
Sep 13, 2024 11:01:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
270182398 loops (336248/sec), 1308687154 sampling steps, 42224846 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
227957552 component updates, 1139787760 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](227957552)
Sep 13, 2024 11:01:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
271859801 loops (335480/sec), 1316812061 sampling steps, 42486954 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
229372847 component updates, 1146864235 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](229372847)
Sep 13, 2024 11:01:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
273532174 loops (334474/sec), 1324912499 sampling steps, 42748381 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
230783793 component updates, 1153918965 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](230783793)
Sep 13, 2024 11:01:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
275200503 loops (333665/sec), 1332993612 sampling steps, 43008913 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
232191590 component updates, 1160957950 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](232191590)
Sep 13, 2024 11:02:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
276857599 loops (331419/sec), 1341020483 sampling steps, 43267522 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
233590077 component updates, 1167950385 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](233590077)
Sep 13, 2024 11:02:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
278532296 loops (334939/sec), 1349132275 sampling steps, 43529215 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
235003081 component updates, 1175015405 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](235003081)
Sep 13, 2024 11:02:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
280205177 loops (334576/sec), 1357234682 sampling steps, 43791213 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
236413964 component updates, 1182069820 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](236413964)
Sep 13, 2024 11:02:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
281880853 loops (335135/sec), 1365350366 sampling steps, 44053909 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
237826944 component updates, 1189134720 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](237826944)
Sep 13, 2024 11:02:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
283546997 loops (333228/sec), 1373420263 sampling steps, 44314732 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
239232265 component updates, 1196161325 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](239232265)
Sep 13, 2024 11:02:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
285230025 loops (336605/sec), 1381571482 sampling steps, 44578653 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
240651372 component updates, 1203256860 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](240651372)
Sep 13, 2024 11:02:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
286906518 loops (335298/sec), 1389692837 sampling steps, 44839763 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
242066755 component updates, 1210333775 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](242066755)
Sep 13, 2024 11:02:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
288579756 loops (334647/sec), 1397797751 sampling steps, 45101039 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
243478717 component updates, 1217393585 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](243478717)
Sep 13, 2024 11:02:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
290266901 loops (337429/sec), 1405969984 sampling steps, 45364531 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
244902370 component updates, 1224511850 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](244902370)
Sep 13, 2024 11:02:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
291956502 loops (337920/sec), 1414153851 sampling steps, 45628669 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
246327833 component updates, 1231639165 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](246327833)
Sep 13, 2024 11:02:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
293632694 loops (335238/sec), 1422273138 sampling steps, 45890342 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
247742352 component updates, 1238711760 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](247742352)
Sep 13, 2024 11:02:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
295297951 loops (333051/sec), 1430339517 sampling steps, 46150248 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
249147703 component updates, 1245738515 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](249147703)
Sep 13, 2024 11:03:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
296943496 loops (329109/sec), 1438310190 sampling steps, 46407300 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
250536196 component updates, 1252680980 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](250536196)
Sep 13, 2024 11:03:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
298611412 loops (333583/sec), 1446389946 sampling steps, 46667124 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
251944288 component updates, 1259721440 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](251944288)
Sep 13, 2024 11:03:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
300280300 loops (333777/sec), 1454474039 sampling steps, 46927471 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
253352829 component updates, 1266764145 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](253352829)
Sep 13, 2024 11:03:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
301949788 loops (333897/sec), 1462558997 sampling steps, 47189953 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
254759835 component updates, 1273799175 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](254759835)
Sep 13, 2024 11:03:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
303619448 loops (333932/sec), 1470646654 sampling steps, 47450596 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
256168852 component updates, 1280844260 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](256168852)
Sep 13, 2024 11:03:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
305290474 loops (334205/sec), 1478740693 sampling steps, 47711687 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
257578787 component updates, 1287893935 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](257578787)
Sep 13, 2024 11:03:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
306982642 loops (338433/sec), 1486937631 sampling steps, 47975589 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
259007053 component updates, 1295035265 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](259007053)
Sep 13, 2024 11:03:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
308661333 loops (335738/sec), 1495068219 sampling steps, 48238456 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
260422877 component updates, 1302114385 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](260422877)
Sep 13, 2024 11:03:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
310339373 loops (335608/sec), 1503195870 sampling steps, 48501005 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
261838368 component updates, 1309191840 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](261838368)
Sep 13, 2024 11:03:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
312017535 loops (335632/sec), 1511325191 sampling steps, 48762494 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
263255041 component updates, 1316275205 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](263255041)
Sep 13, 2024 11:03:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
313702814 loops (337055/sec), 1519488218 sampling steps, 49025862 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
264676952 component updates, 1323384760 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](264676952)
Sep 13, 2024 11:03:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
315373724 loops (334182/sec), 1527581742 sampling steps, 49286888 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
266086836 component updates, 1330434180 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](266086836)
Sep 13, 2024 11:04:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
317015694 loops (328394/sec), 1535534837 sampling steps, 49543643 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
267472051 component updates, 1337360255 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](267472051)
Sep 13, 2024 11:04:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
318690496 loops (334960/sec), 1543646341 sampling steps, 49806149 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
268884347 component updates, 1344421735 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](268884347)
Sep 13, 2024 11:04:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
320367138 loops (335328/sec), 1551768016 sampling steps, 50067684 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
270299454 component updates, 1351497270 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](270299454)
Sep 13, 2024 11:04:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
322055715 loops (337715/sec), 1559947082 sampling steps, 50331503 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
271724212 component updates, 1358621060 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](271724212)
Sep 13, 2024 11:04:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
323753873 loops (339631/sec), 1568172539 sampling steps, 50596836 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
273157037 component updates, 1365785185 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](273157037)
Sep 13, 2024 11:04:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
325444942 loops (338213/sec), 1576363970 sampling steps, 50860750 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
274584192 component updates, 1372920960 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](274584192)
Sep 13, 2024 11:04:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
327131837 loops (337379/sec), 1584535112 sampling steps, 51124083 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
276007754 component updates, 1380038770 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](276007754)
Sep 13, 2024 11:04:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
328814107 loops (336454/sec), 1592683670 sampling steps, 51386875 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
277427232 component updates, 1387136160 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](277427232)
Sep 13, 2024 11:04:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
330494464 loops (336071/sec), 1600823292 sampling steps, 51649038 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
278845426 component updates, 1394227130 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](278845426)
Sep 13, 2024 11:04:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
332177690 loops (336645/sec), 1608976491 sampling steps, 51911969 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
280265721 component updates, 1401328605 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](280265721)
Sep 13, 2024 11:04:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
333869444 loops (338350/sec), 1617170931 sampling steps, 52176299 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
281693145 component updates, 1408465725 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](281693145)
Sep 13, 2024 11:04:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
335551828 loops (336476/sec), 1625320346 sampling steps, 52438804 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
283113024 component updates, 1415565120 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](283113024)
Sep 13, 2024 11:05:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
337201028 loops (329840/sec), 1633308609 sampling steps, 52696541 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
284504487 component updates, 1422522435 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](284504487)
Sep 13, 2024 11:05:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
338880123 loops (335819/sec), 1641441307 sampling steps, 52959318 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
285920805 component updates, 1429604025 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](285920805)
Sep 13, 2024 11:05:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
340553612 loops (334697/sec), 1649547433 sampling steps, 53220637 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
287332975 component updates, 1436664875 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](287332975)
Sep 13, 2024 11:05:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
342244525 loops (338182/sec), 1657738132 sampling steps, 53484503 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
288760022 component updates, 1443800110 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](288760022)
Sep 13, 2024 11:05:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
343931971 loops (337489/sec), 1665912183 sampling steps, 53747682 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
290184289 component updates, 1450921445 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](290184289)
Sep 13, 2024 11:05:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
345612838 loops (336173/sec), 1674054669 sampling steps, 54009531 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
291603307 component updates, 1458016535 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](291603307)
Sep 13, 2024 11:05:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
347305516 loops (338535/sec), 1682252446 sampling steps, 54275144 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
293030372 component updates, 1465151860 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](293030372)
Sep 13, 2024 11:05:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
348997129 loops (338322/sec), 1690446370 sampling steps, 54539285 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
294457844 component updates, 1472289220 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](294457844)
Sep 13, 2024 11:05:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
350692835 loops (339141/sec), 1698659632 sampling steps, 54804553 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
295888282 component updates, 1479441410 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](295888282)
Sep 13, 2024 11:05:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
352380506 loops (337534/sec), 1706834864 sampling steps, 55067676 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
297312830 component updates, 1486564150 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](297312830)
Sep 13, 2024 11:05:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
354059619 loops (335822/sec), 1714967370 sampling steps, 55330735 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
298728884 component updates, 1493644420 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](298728884)
Sep 13, 2024 11:05:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
355733347 loops (334745/sec), 1723073691 sampling steps, 55593054 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
300140293 component updates, 1500701465 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](300140293)
Sep 13, 2024 11:06:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
357384010 loops (330132/sec), 1731068630 sampling steps, 55851430 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
301532580 component updates, 1507662900 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](301532580)
Sep 13, 2024 11:06:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
359052615 loops (333721/sec), 1739150616 sampling steps, 56112469 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
302940146 component updates, 1514700730 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](302940146)
Sep 13, 2024 11:06:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
360712320 loops (331941/sec), 1747190553 sampling steps, 56371057 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
304341263 component updates, 1521706315 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](304341263)
Sep 13, 2024 11:06:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
362384332 loops (334402/sec), 1755289400 sampling steps, 56632270 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
305752062 component updates, 1528760310 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](305752062)
Sep 13, 2024 11:06:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
364067215 loops (336576/sec), 1763441310 sampling steps, 56894775 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
307172440 component updates, 1535862200 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](307172440)
Sep 13, 2024 11:06:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
365750602 loops (336677/sec), 1771594735 sampling steps, 57158285 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
308592317 component updates, 1542961585 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](308592317)
Sep 13, 2024 11:06:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
367436478 loops (337175/sec), 1779761533 sampling steps, 57420867 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
310015611 component updates, 1550078055 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](310015611)
Sep 13, 2024 11:06:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
369126333 loops (337971/sec), 1787946973 sampling steps, 57684702 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
311441631 component updates, 1557208155 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](311441631)
Sep 13, 2024 11:06:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
370807713 loops (336276/sec), 1796091118 sampling steps, 57947457 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
312860256 component updates, 1564301280 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](312860256)
Sep 13, 2024 11:06:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
372492745 loops (337006/sec), 1804253215 sampling steps, 58210520 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
314282225 component updates, 1571411125 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](314282225)
Sep 13, 2024 11:06:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
374169833 loops (335417/sec), 1812376406 sampling steps, 58472769 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
315697064 component updates, 1578485320 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](315697064)
Sep 13, 2024 11:06:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
375845049 loops (335043/sec), 1820491408 sampling steps, 58733847 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
317111202 component updates, 1585556010 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](317111202)
Sep 13, 2024 11:07:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
377519803 loops (334950/sec), 1828603493 sampling steps, 58995532 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
318524271 component updates, 1592621355 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](318524271)
Sep 13, 2024 11:07:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
379204655 loops (336970/sec), 1836764423 sampling steps, 59258862 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
319945793 component updates, 1599728965 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](319945793)
Sep 13, 2024 11:07:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
380883669 loops (335802/sec), 1844897388 sampling steps, 59520967 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
321362702 component updates, 1606813510 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](321362702)
Sep 13, 2024 11:07:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
382563745 loops (336015/sec), 1853035490 sampling steps, 59783245 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
322780500 component updates, 1613902500 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](322780500)
Sep 13, 2024 11:07:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
384244210 loops (336093/sec), 1861175784 sampling steps, 60045276 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
324198934 component updates, 1620994670 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](324198934)
Sep 13, 2024 11:07:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
385914266 loops (334011/sec), 1869265055 sampling steps, 60306285 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
325607981 component updates, 1628039905 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](325607981)
Sep 13, 2024 11:07:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
387592941 loops (335735/sec), 1877396288 sampling steps, 60568427 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
327024514 component updates, 1635122570 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](327024514)
Sep 13, 2024 11:07:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
389279986 loops (337409/sec), 1885568319 sampling steps, 60831621 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
328448365 component updates, 1642241825 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](328448365)
Sep 13, 2024 11:07:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
390976449 loops (339292/sec), 1893786219 sampling steps, 61096036 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
329880413 component updates, 1649402065 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](329880413)
Sep 13, 2024 11:07:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
392662561 loops (337222/sec), 1901954611 sampling steps, 61358204 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
331304357 component updates, 1656521785 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](331304357)
Sep 13, 2024 11:07:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
394343333 loops (336154/sec), 1910095862 sampling steps, 61620813 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
332722520 component updates, 1663612600 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](332722520)
Sep 13, 2024 11:07:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
396019292 loops (335191/sec), 1918213555 sampling steps, 61882915 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
334136377 component updates, 1670681885 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](334136377)
Sep 13, 2024 11:08:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
397676521 loops (331445/sec), 1926240607 sampling steps, 62142008 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
335534513 component updates, 1677672565 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](335534513)
Sep 13, 2024 11:08:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
399339909 loops (332677/sec), 1934297190 sampling steps, 62402365 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
336937544 component updates, 1684687720 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](336937544)
Sep 13, 2024 11:08:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
401019806 loops (335979/sec), 1942433733 sampling steps, 62665307 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
338354499 component updates, 1691772495 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](338354499)
Sep 13, 2024 11:08:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
402698364 loops (335711/sec), 1950563435 sampling steps, 62928395 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
339769969 component updates, 1698849845 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](339769969)
Sep 13, 2024 11:08:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
404375768 loops (335480/sec), 1958688025 sampling steps, 63190825 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
341184943 component updates, 1705924715 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](341184943)
Sep 13, 2024 11:08:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
406062628 loops (337372/sec), 1966859396 sampling steps, 63453754 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
342608874 component updates, 1713044370 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](342608874)
Sep 13, 2024 11:08:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
407744651 loops (336404/sec), 1975006686 sampling steps, 63716579 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
344028072 component updates, 1720140360 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](344028072)
Sep 13, 2024 11:08:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
409410995 loops (333268/sec), 1983078431 sampling steps, 63976554 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
345434441 component updates, 1727172205 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](345434441)
Sep 13, 2024 11:08:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
411098268 loops (337454/sec), 1991250767 sampling steps, 64240583 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
346857685 component updates, 1734288425 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](346857685)
Sep 13, 2024 11:08:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
412772657 loops (334877/sec), 1999361303 sampling steps, 64501992 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
348270665 component updates, 1741353325 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](348270665)
Sep 13, 2024 11:08:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
414444570 loops (334382/sec), 2007459393 sampling steps, 64763467 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
349681103 component updates, 1748405515 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](349681103)
Sep 13, 2024 11:08:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
416121499 loops (335385/sec), 2015582532 sampling steps, 65024973 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
351096526 component updates, 1755482630 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](351096526)
Sep 13, 2024 11:09:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
417796156 loops (334931/sec), 2023694325 sampling steps, 65286465 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
352509691 component updates, 1762548455 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](352509691)
Sep 13, 2024 11:09:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
419465583 loops (333885/sec), 2031780136 sampling steps, 65547789 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
353917794 component updates, 1769588970 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](353917794)
Sep 13, 2024 11:09:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
421151091 loops (337101/sec), 2039944276 sampling steps, 65811189 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
355339902 component updates, 1776699510 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](355339902)
Sep 13, 2024 11:09:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
422831607 loops (336103/sec), 2048084063 sampling steps, 66073982 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
356757625 component updates, 1783788125 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](356757625)
Sep 13, 2024 11:09:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
424519401 loops (337558/sec), 2056259678 sampling steps, 66337337 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
358182064 component updates, 1790910320 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](358182064)
Sep 13, 2024 11:09:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
426203382 loops (336796/sec), 2064417089 sampling steps, 66599831 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
359603551 component updates, 1798017755 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](359603551)
Sep 13, 2024 11:09:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
427881487 loops (335621/sec), 2072545292 sampling steps, 66862153 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
361019334 component updates, 1805096670 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](361019334)
Sep 13, 2024 11:09:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
429560884 loops (335879/sec), 2080679465 sampling steps, 67124965 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
362435919 component updates, 1812179595 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](362435919)
Sep 13, 2024 11:09:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
431224550 loops (332733/sec), 2088738680 sampling steps, 67384080 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
363840470 component updates, 1819202350 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](363840470)
Sep 13, 2024 11:09:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
432856208 loops (326331/sec), 2096642049 sampling steps, 67639001 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
365217207 component updates, 1826086035 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](365217207)
Sep 13, 2024 11:09:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
434523365 loops (333431/sec), 2104717806 sampling steps, 67899029 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
366624336 component updates, 1833121680 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](366624336)
Sep 13, 2024 11:09:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
436174110 loops (330149/sec), 2112712851 sampling steps, 68157709 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
368016401 component updates, 1840082005 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](368016401)
Sep 13, 2024 11:10:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
437821310 loops (329440/sec), 2120690555 sampling steps, 68416005 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
369405305 component updates, 1847026525 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](369405305)
Sep 13, 2024 11:10:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
439477078 loops (331153/sec), 2128711129 sampling steps, 68674271 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
370802807 component updates, 1854014035 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](370802807)
Sep 13, 2024 11:10:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
441165460 loops (337676/sec), 2136889270 sampling steps, 68938040 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
372227420 component updates, 1861137100 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](372227420)
Sep 13, 2024 11:10:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
442852553 loops (337418/sec), 2145061660 sampling steps, 69201115 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
373651438 component updates, 1868257190 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](373651438)
Sep 13, 2024 11:10:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
444536553 loops (336800/sec), 2153218328 sampling steps, 69464447 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
375072106 component updates, 1875360530 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](375072106)
Sep 13, 2024 11:10:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
446208624 loops (334414/sec), 2161318027 sampling steps, 69725103 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
376483521 component updates, 1882417605 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](376483521)
Sep 13, 2024 11:10:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
447904700 loops (339215/sec), 2169532917 sampling steps, 69990593 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
377914107 component updates, 1889570535 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](377914107)
Sep 13, 2024 11:10:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
449582533 loops (335566/sec), 2177660276 sampling steps, 70252399 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
379330134 component updates, 1896650670 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](379330134)
Sep 13, 2024 11:10:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
451247289 loops (332951/sec), 2185724284 sampling steps, 70512171 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
380735118 component updates, 1903675590 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](380735118)
Sep 13, 2024 11:10:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
452911994 loops (332941/sec), 2193788840 sampling steps, 70771140 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
382140854 component updates, 1910704270 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](382140854)
Sep 13, 2024 11:10:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
454589676 loops (335536/sec), 2201915500 sampling steps, 71032890 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
383556786 component updates, 1917783930 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](383556786)
Sep 13, 2024 11:10:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
456259533 loops (333971/sec), 2210003595 sampling steps, 71294080 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
384965453 component updates, 1924827265 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](384965453)
Sep 13, 2024 11:11:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
457911011 loops (330295/sec), 2218002206 sampling steps, 71552859 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
386358152 component updates, 1931790760 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](386358152)
Sep 13, 2024 11:11:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
459576984 loops (333194/sec), 2226071545 sampling steps, 71813385 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
387763599 component updates, 1938817995 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](387763599)
Sep 13, 2024 11:11:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
461257624 loops (336128/sec), 2234212171 sampling steps, 72075959 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
389181665 component updates, 1945908325 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](389181665)
Sep 13, 2024 11:11:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
462934289 loops (335333/sec), 2242333484 sampling steps, 72337971 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
390596318 component updates, 1952981590 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](390596318)
Sep 13, 2024 11:11:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
464611308 loops (335403/sec), 2250456620 sampling steps, 72599930 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
392011378 component updates, 1960056890 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](392011378)
Sep 13, 2024 11:11:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
466291174 loops (335973/sec), 2258592928 sampling steps, 72862952 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
393428222 component updates, 1967141110 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](393428222)
Sep 13, 2024 11:11:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
467966992 loops (335163/sec), 2266709848 sampling steps, 73125122 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
394841870 component updates, 1974209350 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](394841870)
Sep 13, 2024 11:11:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
469646453 loops (335892/sec), 2274845263 sampling steps, 73387012 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
396259441 component updates, 1981297205 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](396259441)
Sep 13, 2024 11:11:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
471329273 loops (336564/sec), 2282995694 sampling steps, 73650681 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
397678592 component updates, 1988392960 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](397678592)
Sep 13, 2024 11:11:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
473009355 loops (336016/sec), 2291133895 sampling steps, 73912890 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
399096465 component updates, 1995482325 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](399096465)
Sep 13, 2024 11:11:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
474694151 loops (336959/sec), 2299295372 sampling steps, 74175393 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
400518758 component updates, 2002593790 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](400518758)
Sep 13, 2024 11:11:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
476367219 loops (334613/sec), 2307399525 sampling steps, 74436580 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
401930639 component updates, 2009653195 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](401930639)
Sep 13, 2024 11:12:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
478026401 loops (331836/sec), 2315436626 sampling steps, 74695389 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
403331012 component updates, 2016655060 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](403331012)
Sep 13, 2024 11:12:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
479693280 loops (333375/sec), 2323510373 sampling steps, 74956037 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
404737243 component updates, 2023686215 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](404737243)
Sep 13, 2024 11:12:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
481364882 loops (334320/sec), 2331606228 sampling steps, 75218192 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
406146690 component updates, 2030733450 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](406146690)
Sep 13, 2024 11:12:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
483031746 loops (333372/sec), 2339680703 sampling steps, 75478037 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
407553709 component updates, 2037768545 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](407553709)
Sep 13, 2024 11:12:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
484704050 loops (334460/sec), 2347780918 sampling steps, 75739342 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
408964708 component updates, 2044823540 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](408964708)
Sep 13, 2024 11:12:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
486381409 loops (335471/sec), 2355906154 sampling steps, 76000901 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
410380508 component updates, 2051902540 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](410380508)
Sep 13, 2024 11:12:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
488057689 loops (335256/sec), 2364026033 sampling steps, 76262422 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
411795267 component updates, 2058976335 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](411795267)
Sep 13, 2024 11:12:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
489731183 loops (334698/sec), 2372131771 sampling steps, 76524154 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
413207029 component updates, 2066035145 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](413207029)
Sep 13, 2024 11:12:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
491411505 loops (336064/sec), 2380270565 sampling steps, 76786970 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
414624535 component updates, 2073122675 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](414624535)
Sep 13, 2024 11:12:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
493088066 loops (335312/sec), 2388391932 sampling steps, 77048408 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
416039658 component updates, 2080198290 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](416039658)
Sep 13, 2024 11:12:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
494741999 loops (330786/sec), 2396403311 sampling steps, 77306694 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
417435305 component updates, 2087176525 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](417435305)
Sep 13, 2024 11:12:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
496391229 loops (329846/sec), 2404390720 sampling steps, 77565435 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
418825794 component updates, 2094128970 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](418825794)
Sep 13, 2024 11:13:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
498017898 loops (325333/sec), 2412269726 sampling steps, 77819774 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
420198124 component updates, 2100990620 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](420198124)
Sep 13, 2024 11:13:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
499672525 loops (330925/sec), 2420283922 sampling steps, 78078713 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
421593812 component updates, 2107969060 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](421593812)
Sep 13, 2024 11:13:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
501340239 loops (333542/sec), 2428362415 sampling steps, 78338790 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
423001449 component updates, 2115007245 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](423001449)
Sep 13, 2024 11:13:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
503014404 loops (334833/sec), 2436471781 sampling steps, 78600249 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
424414155 component updates, 2122070775 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](424414155)
Sep 13, 2024 11:13:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
504699444 loops (337008/sec), 2444634156 sampling steps, 78863074 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
425836370 component updates, 2129181850 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](425836370)
Sep 13, 2024 11:13:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
506368639 loops (333839/sec), 2452719360 sampling steps, 79123845 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
427244794 component updates, 2136223970 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](427244794)
Sep 13, 2024 11:13:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
508043631 loops (334998/sec), 2460833322 sampling steps, 79384843 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
428658788 component updates, 2143293940 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](428658788)
Sep 13, 2024 11:13:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
509722182 loops (335710/sec), 2468963853 sampling steps, 79647067 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
430075115 component updates, 2150375575 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](430075115)
Sep 13, 2024 11:13:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
511395434 loops (334650/sec), 2477068577 sampling steps, 79908603 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
431486831 component updates, 2157434155 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](431486831)
Sep 13, 2024 11:13:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
513072897 loops (335492/sec), 2485193080 sampling steps, 80171415 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
432901482 component updates, 2164507410 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](432901482)
Sep 13, 2024 11:13:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
514753829 loops (336186/sec), 2493334903 sampling steps, 80434252 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
434319577 component updates, 2171597885 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](434319577)
Sep 13, 2024 11:13:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
516433191 loops (335872/sec), 2501469670 sampling steps, 80696295 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
435736896 component updates, 2178684480 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](435736896)
Sep 13, 2024 11:14:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
518069175 loops (327196/sec), 2509393693 sampling steps, 80952192 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
437116983 component updates, 2185584915 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](437116983)
Sep 13, 2024 11:14:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
519716036 loops (329372/sec), 2517370414 sampling steps, 81209776 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
438506260 component updates, 2192531300 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](438506260)
Sep 13, 2024 11:14:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
521363632 loops (329519/sec), 2525351306 sampling steps, 81466864 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
439896768 component updates, 2199483840 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](439896768)
Sep 13, 2024 11:14:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
523025738 loops (332421/sec), 2533402325 sampling steps, 81726375 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
441299363 component updates, 2206496815 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](441299363)
Sep 13, 2024 11:14:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
524696604 loops (334173/sec), 2541495201 sampling steps, 81987829 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
442708775 component updates, 2213543875 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](442708775)
Sep 13, 2024 11:14:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
526354809 loops (331641/sec), 2549527375 sampling steps, 82246680 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
444108129 component updates, 2220540645 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](444108129)
Sep 13, 2024 11:14:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
528001029 loops (329244/sec), 2557501560 sampling steps, 82503595 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
445497434 component updates, 2227487170 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](445497434)
Sep 13, 2024 11:14:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
529654420 loops (330678/sec), 2565510131 sampling steps, 82761979 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
446892441 component updates, 2234462205 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](446892441)
Sep 13, 2024 11:14:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
531324890 loops (334094/sec), 2573601276 sampling steps, 83023184 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
448301706 component updates, 2241508530 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](448301706)
Sep 13, 2024 11:14:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
532991399 loops (333301/sec), 2581673771 sampling steps, 83283234 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
449708165 component updates, 2248540825 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](449708165)
Sep 13, 2024 11:14:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
534652528 loops (332225/sec), 2589719176 sampling steps, 83543474 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
451109054 component updates, 2255545270 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](451109054)
Sep 13, 2024 11:14:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
536323527 loops (334199/sec), 2597812705 sampling steps, 83804940 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
452518587 component updates, 2262592935 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](452518587)
Sep 13, 2024 11:15:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
537957663 loops (326827/sec), 2605728582 sampling steps, 84059743 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
453897920 component updates, 2269489600 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](453897920)
Sep 13, 2024 11:15:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
539615618 loops (331591/sec), 2613760056 sampling steps, 84318044 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
455297574 component updates, 2276487870 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](455297574)
Sep 13, 2024 11:15:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
541266657 loops (330207/sec), 2621758090 sampling steps, 84575205 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
456691452 component updates, 2283457260 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](456691452)
Sep 13, 2024 11:15:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
542937911 loops (334250/sec), 2629853140 sampling steps, 84836425 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
458101486 component updates, 2290507430 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](458101486)
Sep 13, 2024 11:15:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
544601144 loops (332646/sec), 2637909757 sampling steps, 85095973 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
459505171 component updates, 2297525855 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](459505171)
Sep 13, 2024 11:15:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
546275718 loops (334914/sec), 2646020987 sampling steps, 85357613 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
460918105 component updates, 2304590525 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](460918105)
Sep 13, 2024 11:15:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
547937646 loops (332385/sec), 2654070110 sampling steps, 85618130 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
462319516 component updates, 2311597580 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](462319516)
Sep 13, 2024 11:15:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
549594491 loops (331369/sec), 2662095754 sampling steps, 85876711 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
463717780 component updates, 2318588900 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](463717780)
Sep 13, 2024 11:15:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
551267909 loops (334683/sec), 2670201350 sampling steps, 86138205 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
465129704 component updates, 2325648520 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](465129704)
Sep 13, 2024 11:15:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
552923571 loops (331132/sec), 2678221039 sampling steps, 86396826 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
466526745 component updates, 2332633725 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](466526745)
Sep 13, 2024 11:15:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
554581421 loops (331570/sec), 2686250942 sampling steps, 86656173 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
467925248 component updates, 2339626240 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](467925248)
Sep 13, 2024 11:15:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
556236836 loops (331083/sec), 2694268882 sampling steps, 86915308 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
469321528 component updates, 2346607640 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](469321528)
Sep 13, 2024 11:16:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
557874757 loops (327584/sec), 2702202238 sampling steps, 87171557 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
470703200 component updates, 2353516000 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](470703200)
Sep 13, 2024 11:16:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
559540171 loops (333082/sec), 2710268896 sampling steps, 87431969 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
472108202 component updates, 2360541010 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](472108202)
Sep 13, 2024 11:16:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
561199680 loops (331901/sec), 2718307376 sampling steps, 87691034 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
473508646 component updates, 2367543230 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](473508646)
Sep 13, 2024 11:16:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
562856762 loops (331416/sec), 2726334400 sampling steps, 87949420 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
474907342 component updates, 2374536710 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](474907342)
Sep 13, 2024 11:16:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
564509988 loops (330645/sec), 2734343260 sampling steps, 88206690 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
476303298 component updates, 2381516490 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](476303298)
Sep 13, 2024 11:16:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
566175487 loops (333099/sec), 2742410531 sampling steps, 88466914 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
477708573 component updates, 2388542865 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](477708573)
Sep 13, 2024 11:16:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
567835434 loops (331989/sec), 2750450056 sampling steps, 88727124 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
479108310 component updates, 2395541550 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](479108310)
Sep 13, 2024 11:16:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
569495403 loops (331993/sec), 2758490756 sampling steps, 88986269 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
480509134 component updates, 2402545670 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](480509134)
Sep 13, 2024 11:16:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
571170178 loops (334955/sec), 2766601577 sampling steps, 89249323 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
481920855 component updates, 2409604275 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](481920855)
Sep 13, 2024 11:16:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
572845766 loops (335117/sec), 2774718308 sampling steps, 89510532 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
483335234 component updates, 2416676170 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](483335234)
Sep 13, 2024 11:16:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
574511056 loops (333058/sec), 2782784699 sampling steps, 89770591 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
484740465 component updates, 2423702325 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](484740465)
Sep 13, 2024 11:16:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
576186130 loops (335014/sec), 2790898538 sampling steps, 90032122 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
486154008 component updates, 2430770040 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](486154008)
Sep 13, 2024 11:17:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
577845091 loops (331792/sec), 2798933440 sampling steps, 90292025 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
487553066 component updates, 2437765330 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](487553066)
Sep 13, 2024 11:17:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
579520876 loops (335157/sec), 2807050969 sampling steps, 90553421 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
488967455 component updates, 2444837275 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](488967455)
Sep 13, 2024 11:17:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
581183006 loops (332426/sec), 2815101839 sampling steps, 90813201 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
490369805 component updates, 2451849025 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](490369805)
Sep 13, 2024 11:17:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
582848736 loops (333146/sec), 2823170129 sampling steps, 91073561 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
491775175 component updates, 2458875875 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](491775175)
Sep 13, 2024 11:17:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
584512573 loops (332767/sec), 2831228559 sampling steps, 91334316 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
493178257 component updates, 2465891285 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](493178257)
Sep 13, 2024 11:17:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
586183939 loops (334273/sec), 2839324490 sampling steps, 91595215 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
494588724 component updates, 2472943620 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](494588724)
Sep 13, 2024 11:17:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
587868698 loops (336951/sec), 2847485431 sampling steps, 91858069 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
496010629 component updates, 2480053145 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](496010629)
Sep 13, 2024 11:17:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
589542254 loops (334711/sec), 2855591267 sampling steps, 92120013 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
497422241 component updates, 2487111205 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](497422241)
Sep 13, 2024 11:17:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
591217068 loops (334962/sec), 2863703568 sampling steps, 92381782 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
498835286 component updates, 2494176430 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](498835286)
Sep 13, 2024 11:17:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
592905853 loops (337757/sec), 2871882879 sampling steps, 92646396 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
500259457 component updates, 2501297285 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](500259457)
Sep 13, 2024 11:17:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
594587821 loops (336393/sec), 2880029627 sampling steps, 92909488 aborted
loop condition 0.15625, exit probability 0.0000 in initial state
812 explored states, 1 states in BSSCs (1 absorbing)
501678333 component updates, 2508391665 transient state updates
Bounds: [0.84375+1.56250e-01]@[0.00000](501678333)
----------
Computation aborted after 1800.0054860115051 seconds since the total time limit of 1800.0 seconds was exceeded.