Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:49:31 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/fms/fms.prism --const n=8 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:49:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27815 loops (5563/sec), 6634003 sampling steps, 2 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
278141 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42160 loops (2869/sec), 16925457 sampling steps, 7 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
421562 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50520 loops (1672/sec), 26924895 sampling steps, 19 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
505096 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58138 loops (1523/sec), 39671124 sampling steps, 48 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
581174 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
64195 loops (1211/sec), 52667677 sampling steps, 77 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
641610 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69114 loops (981/sec), 65758801 sampling steps, 120 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
690609 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73329 loops (843/sec), 78952413 sampling steps, 185 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
732579 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77062 loops (746/sec), 92207199 sampling steps, 263 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
769643 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80385 loops (664/sec), 105459941 sampling steps, 374 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
802484 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
83258 loops (574/sec), 118174422 sampling steps, 524 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
830632 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86071 loops (562/sec), 131562396 sampling steps, 687 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
858142 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88644 loops (514/sec), 144772151 sampling steps, 865 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
883125 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
91035 loops (478/sec), 158145878 sampling steps, 1091 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
906129 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
93308 loops (454/sec), 171501532 sampling steps, 1346 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
927857 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95446 loops (427/sec), 184791502 sampling steps, 1643 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
948146 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
97482 loops (406/sec), 198155950 sampling steps, 1922 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
967460 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
99416 loops (386/sec), 211349572 sampling steps, 2229 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
985488 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101306 loops (377/sec), 224671232 sampling steps, 2599 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1002915 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103086 loops (356/sec), 237946982 sampling steps, 2974 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1019146 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
104801 loops (342/sec), 251099635 sampling steps, 3401 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1034444 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106480 loops (335/sec), 264357347 sampling steps, 3880 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1049250 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
108113 loops (326/sec), 277493712 sampling steps, 4356 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1063479 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109675 loops (312/sec), 290670425 sampling steps, 4813 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1077118 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111246 loops (314/sec), 303951661 sampling steps, 5344 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1090357 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
112727 loops (296/sec), 317135606 sampling steps, 5896 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1102635 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
114206 loops (295/sec), 330395593 sampling steps, 6481 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1114736 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
115666 loops (291/sec), 343537029 sampling steps, 7078 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1126584 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117107 loops (288/sec), 356765641 sampling steps, 7704 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1137892 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
118485 loops (275/sec), 369918362 sampling steps, 8332 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1148761 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119867 loops (276/sec), 383108425 sampling steps, 8997 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1159302 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
121231 loops (272/sec), 396229952 sampling steps, 9687 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1169508 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122534 loops (260/sec), 409170667 sampling steps, 10308 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1179562 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
123816 loops (256/sec), 422164904 sampling steps, 10979 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1189089 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125101 loops (256/sec), 435320641 sampling steps, 11670 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1198543 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126383 loops (256/sec), 448507264 sampling steps, 12380 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1207723 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
127664 loops (256/sec), 461651678 sampling steps, 13115 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1216678 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
128922 loops (251/sec), 474831681 sampling steps, 13833 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1225425 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130179 loops (251/sec), 487920586 sampling steps, 14614 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1233635 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
131387 loops (241/sec), 500963737 sampling steps, 15374 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1241906 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132617 loops (245/sec), 514028520 sampling steps, 16124 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1250055 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
133831 loops (242/sec), 527121184 sampling steps, 16931 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1257741 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
135012 loops (236/sec), 540170055 sampling steps, 17699 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1265399 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
136205 loops (238/sec), 553219640 sampling steps, 18485 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1273057 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137410 loops (241/sec), 566300681 sampling steps, 19276 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1280627 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138602 loops (238/sec), 579318821 sampling steps, 20087 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1287976 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
139779 loops (235/sec), 592418694 sampling steps, 20910 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1294928 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140905 loops (225/sec), 605149589 sampling steps, 21700 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1301626 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
142037 loops (226/sec), 617862149 sampling steps, 22521 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1308157 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
143183 loops (229/sec), 630874052 sampling steps, 23368 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1314761 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144340 loops (231/sec), 643927763 sampling steps, 24235 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1321221 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145476 loops (227/sec), 656882932 sampling steps, 25094 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1327529 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
146615 loops (227/sec), 669877701 sampling steps, 25966 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1333606 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147744 loops (225/sec), 682853380 sampling steps, 26803 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1339715 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148850 loops (221/sec), 695752230 sampling steps, 27655 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1345659 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149942 loops (218/sec), 708568938 sampling steps, 28483 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1351618 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
151043 loops (220/sec), 721485046 sampling steps, 29374 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1357039 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
152177 loops (226/sec), 734429858 sampling steps, 30261 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1362946 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153302 loops (224/sec), 747346201 sampling steps, 31183 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1368482 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
154424 loops (224/sec), 760256961 sampling steps, 32090 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1373995 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
155513 loops (217/sec), 773184106 sampling steps, 32963 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1379362 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156604 loops (218/sec), 786084262 sampling steps, 33865 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1384524 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
157708 loops (220/sec), 799081150 sampling steps, 34768 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1389768 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
158826 loops (223/sec), 812062998 sampling steps, 35696 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1394927 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
159932 loops (221/sec), 825061787 sampling steps, 36627 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1399920 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
161032 loops (220/sec), 838061787 sampling steps, 37546 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1404970 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
162133 loops (220/sec), 851015364 sampling steps, 38490 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1409700 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
163236 loops (220/sec), 864002114 sampling steps, 39424 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1414527 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164318 loops (216/sec), 876919495 sampling steps, 40346 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1419313 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
165425 loops (221/sec), 889947344 sampling steps, 41293 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1423994 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
166519 loops (218/sec), 902851519 sampling steps, 42236 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1428644 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
167604 loops (216/sec), 915855198 sampling steps, 43183 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1433148 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
168704 loops (219/sec), 928797819 sampling steps, 44143 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1437586 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
169787 loops (216/sec), 941792655 sampling steps, 45090 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1442019 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
170868 loops (216/sec), 954781368 sampling steps, 46045 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1446303 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
171921 loops (210/sec), 967711379 sampling steps, 46989 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1450516 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
172947 loops (205/sec), 980419073 sampling steps, 47903 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1454487 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
174007 loops (212/sec), 993415863 sampling steps, 48852 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1458548 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
175085 loops (215/sec), 1006437252 sampling steps, 49812 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1462809 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
176153 loops (213/sec), 1019464601 sampling steps, 50763 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1466888 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
177228 loops (214/sec), 1032428930 sampling steps, 51731 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1470810 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
178297 loops (213/sec), 1045373357 sampling steps, 52695 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1474797 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
179368 loops (214/sec), 1058331408 sampling steps, 53640 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1478788 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
180447 loops (215/sec), 1071296968 sampling steps, 54623 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1482630 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
181517 loops (213/sec), 1084344443 sampling steps, 55593 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1486577 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
182591 loops (214/sec), 1097366791 sampling steps, 56569 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1490175 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
183670 loops (215/sec), 1110398261 sampling steps, 57571 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1493949 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
184739 loops (213/sec), 1123377223 sampling steps, 58542 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1497681 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
185802 loops (212/sec), 1136271450 sampling steps, 59515 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1501215 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
186853 loops (210/sec), 1149209934 sampling steps, 60490 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1504649 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
187913 loops (211/sec), 1162113248 sampling steps, 61467 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1508074 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
188991 loops (215/sec), 1175084472 sampling steps, 62463 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1511529 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
190057 loops (213/sec), 1188011636 sampling steps, 63449 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1514983 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
191092 loops (206/sec), 1200894589 sampling steps, 64396 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1518479 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
192171 loops (215/sec), 1213909360 sampling steps, 65395 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1521780 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
193217 loops (209/sec), 1226832763 sampling steps, 66366 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1525135 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
194271 loops (210/sec), 1239763642 sampling steps, 67356 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1528302 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
195335 loops (212/sec), 1252730037 sampling steps, 68346 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1531672 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
196391 loops (211/sec), 1265654788 sampling steps, 69345 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1534809 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
197451 loops (212/sec), 1278731090 sampling steps, 70332 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1538172 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
198531 loops (215/sec), 1292074527 sampling steps, 71353 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1541431 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
199571 loops (208/sec), 1304954665 sampling steps, 72337 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1544455 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
200598 loops (205/sec), 1317448889 sampling steps, 73299 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1547443 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
201598 loops (199/sec), 1329625433 sampling steps, 74248 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1550162 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
202614 loops (202/sec), 1341922201 sampling steps, 75198 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1553256 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
203612 loops (199/sec), 1354356181 sampling steps, 76141 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1556218 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
204625 loops (202/sec), 1366796083 sampling steps, 77089 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1559164 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
205643 loops (203/sec), 1379315853 sampling steps, 78040 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1562138 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
206676 loops (206/sec), 1391960501 sampling steps, 79030 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1564788 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
207674 loops (199/sec), 1404347902 sampling steps, 79973 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1567579 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
208699 loops (204/sec), 1416966661 sampling steps, 80936 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1570333 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
209713 loops (202/sec), 1429425527 sampling steps, 81896 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1573122 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
210718 loops (200/sec), 1441971649 sampling steps, 82858 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1575721 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
211747 loops (205/sec), 1454577612 sampling steps, 83816 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1578537 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
212716 loops (193/sec), 1466693867 sampling steps, 84741 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1581035 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
213719 loops (200/sec), 1479116492 sampling steps, 85692 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1583725 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
214737 loops (203/sec), 1491593380 sampling steps, 86669 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1586321 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215737 loops (199/sec), 1504019575 sampling steps, 87627 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1588867 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
216736 loops (199/sec), 1516512755 sampling steps, 88565 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1591568 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
217751 loops (202/sec), 1529009159 sampling steps, 89530 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1594211 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
218782 loops (206/sec), 1541502368 sampling steps, 90508 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1596790 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
219788 loops (201/sec), 1553746455 sampling steps, 91468 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1599179 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
220801 loops (202/sec), 1566218311 sampling steps, 92439 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1601615 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
221816 loops (202/sec), 1578582010 sampling steps, 93403 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1604024 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
222785 loops (193/sec), 1590597199 sampling steps, 94334 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1606337 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
223817 loops (206/sec), 1603140001 sampling steps, 95323 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1608788 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
224835 loops (203/sec), 1615627898 sampling steps, 96297 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1611233 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
225830 loops (198/sec), 1628033001 sampling steps, 97247 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1613766 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
226831 loops (200/sec), 1640405476 sampling steps, 98210 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1616034 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
227834 loops (200/sec), 1652829860 sampling steps, 99178 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1618288 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
228834 loops (199/sec), 1665236847 sampling steps, 100133 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1620740 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
229841 loops (201/sec), 1677635777 sampling steps, 101094 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1623072 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
230859 loops (203/sec), 1690116067 sampling steps, 102067 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1625443 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
231859 loops (199/sec), 1702544123 sampling steps, 103044 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1627589 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
232858 loops (199/sec), 1714934942 sampling steps, 104004 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1629914 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
233865 loops (201/sec), 1727367553 sampling steps, 104972 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1632184 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
234857 loops (198/sec), 1739758313 sampling steps, 105928 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1634343 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
235864 loops (201/sec), 1752167187 sampling steps, 106890 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1636581 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
236864 loops (199/sec), 1764558649 sampling steps, 107863 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1638814 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
237865 loops (200/sec), 1776930091 sampling steps, 108827 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1641108 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
238853 loops (197/sec), 1789245901 sampling steps, 109780 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1643341 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
239863 loops (201/sec), 1801691054 sampling steps, 110759 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1645428 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
240861 loops (199/sec), 1814145350 sampling steps, 111719 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1647635 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
241823 loops (192/sec), 1825985336 sampling steps, 112647 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1649729 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
242792 loops (193/sec), 1838127213 sampling steps, 113588 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1651784 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
243800 loops (201/sec), 1850586190 sampling steps, 114574 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1653754 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
244811 loops (202/sec), 1863043225 sampling steps, 115544 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1656019 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
245797 loops (197/sec), 1875434361 sampling steps, 116505 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1658149 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
246830 loops (206/sec), 1887892647 sampling steps, 117510 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1660170 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
247823 loops (198/sec), 1900318306 sampling steps, 118478 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1662236 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
248853 loops (205/sec), 1913230817 sampling steps, 119478 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1664355 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
249942 loops (217/sec), 1926571538 sampling steps, 120536 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1666582 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
250995 loops (210/sec), 1939870237 sampling steps, 121567 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1668603 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
252066 loops (213/sec), 1953247033 sampling steps, 122604 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1670739 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
253147 loops (216/sec), 1966623739 sampling steps, 123657 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1672793 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
254229 loops (216/sec), 1979982004 sampling steps, 124714 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1674945 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
255307 loops (215/sec), 1993352480 sampling steps, 125762 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1677048 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
256387 loops (215/sec), 2006741254 sampling steps, 126814 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1679166 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
257456 loops (213/sec), 2020104567 sampling steps, 127844 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1681322 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
258536 loops (216/sec), 2033407977 sampling steps, 128900 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1683502 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
259607 loops (214/sec), 2046728423 sampling steps, 129943 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1685567 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
260678 loops (214/sec), 2060068190 sampling steps, 130982 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1687854 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261754 loops (215/sec), 2073429539 sampling steps, 132034 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1689720 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
262828 loops (214/sec), 2086729094 sampling steps, 133086 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1691664 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
263875 loops (209/sec), 2099982155 sampling steps, 134104 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1693588 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
264949 loops (214/sec), 2113294765 sampling steps, 135149 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1695596 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
266028 loops (215/sec), 2126624467 sampling steps, 136192 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1697656 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
267099 loops (214/sec), 2139910970 sampling steps, 137238 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1699524 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
268175 loops (215/sec), 2153240514 sampling steps, 138290 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1701446 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
269235 loops (211/sec), 2166584938 sampling steps, 139319 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1703488 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
270306 loops (214/sec), 2179953003 sampling steps, 140364 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1705389 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
271370 loops (212/sec), 2193325185 sampling steps, 141402 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1707286 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
272443 loops (214/sec), 2206717548 sampling steps, 142458 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1709019 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
273520 loops (215/sec), 2220131068 sampling steps, 143517 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1710797 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
274594 loops (214/sec), 2233519400 sampling steps, 144570 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1712595 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
275672 loops (215/sec), 2246867735 sampling steps, 145628 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1714426 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
276743 loops (213/sec), 2260146012 sampling steps, 146676 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1716235 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
277816 loops (214/sec), 2273481600 sampling steps, 147732 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1717936 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
278890 loops (214/sec), 2286788055 sampling steps, 148777 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1719827 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
279983 loops (218/sec), 2300157660 sampling steps, 149851 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1721703 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
281070 loops (217/sec), 2313575218 sampling steps, 150919 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1723422 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
282148 loops (215/sec), 2326986092 sampling steps, 151974 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1725317 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
283230 loops (216/sec), 2340403830 sampling steps, 153042 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1727034 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
284305 loops (214/sec), 2353810198 sampling steps, 154097 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1728798 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
285397 loops (218/sec), 2367249500 sampling steps, 155172 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1730493 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
286506 loops (221/sec), 2380802020 sampling steps, 156261 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1732271 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
287558 loops (210/sec), 2394204737 sampling steps, 157291 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1734045 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
288640 loops (216/sec), 2407546455 sampling steps, 158352 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1735773 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
289675 loops (206/sec), 2420851215 sampling steps, 159372 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1737487 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
290747 loops (214/sec), 2434275208 sampling steps, 160426 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1739085 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
291837 loops (217/sec), 2447703713 sampling steps, 161498 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1740661 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
292915 loops (215/sec), 2461130477 sampling steps, 162560 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1742325 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
294005 loops (217/sec), 2474565494 sampling steps, 163636 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1744012 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
295085 loops (216/sec), 2487950750 sampling steps, 164699 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1745797 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
296150 loops (213/sec), 2501323925 sampling steps, 165746 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1747417 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
297220 loops (213/sec), 2514717740 sampling steps, 166802 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1749072 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
298284 loops (212/sec), 2528104799 sampling steps, 167855 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1750764 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
299372 loops (217/sec), 2541520559 sampling steps, 168927 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1752415 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
300439 loops (213/sec), 2554923570 sampling steps, 169977 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1754008 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
301532 loops (218/sec), 2568324503 sampling steps, 171048 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1755720 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
302589 loops (211/sec), 2581642936 sampling steps, 172083 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1757346 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
303662 loops (214/sec), 2594995307 sampling steps, 173141 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1758925 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
304723 loops (211/sec), 2608399884 sampling steps, 174183 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1760523 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
305800 loops (215/sec), 2621831918 sampling steps, 175243 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1762064 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
306884 loops (216/sec), 2635252608 sampling steps, 176311 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1763518 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
307955 loops (213/sec), 2648685826 sampling steps, 177367 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1765117 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
309021 loops (213/sec), 2662062558 sampling steps, 178420 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1766635 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
310096 loops (214/sec), 2675420380 sampling steps, 179482 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1768084 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
311142 loops (208/sec), 2688767348 sampling steps, 180510 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1769818 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
312202 loops (211/sec), 2702152392 sampling steps, 181557 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1771316 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
313301 loops (219/sec), 2715580571 sampling steps, 182635 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1772842 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
314370 loops (213/sec), 2728934147 sampling steps, 183686 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1774374 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
315439 loops (213/sec), 2742283023 sampling steps, 184734 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1775927 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
316492 loops (210/sec), 2755644830 sampling steps, 185774 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1777368 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
317583 loops (218/sec), 2769096573 sampling steps, 186847 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1778937 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
318666 loops (216/sec), 2782518530 sampling steps, 187913 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1780433 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
319758 loops (218/sec), 2795953825 sampling steps, 188995 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1782010 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
320829 loops (214/sec), 2809362893 sampling steps, 190050 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1783422 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
321912 loops (216/sec), 2822777765 sampling steps, 191116 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1784813 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
323007 loops (219/sec), 2836225962 sampling steps, 192201 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1786231 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
324061 loops (210/sec), 2849614018 sampling steps, 193241 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1787644 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
325122 loops (212/sec), 2863003729 sampling steps, 194288 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1789162 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
326211 loops (217/sec), 2876447348 sampling steps, 195361 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1790596 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
327284 loops (214/sec), 2889811291 sampling steps, 196421 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1792065 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
328332 loops (209/sec), 2903160573 sampling steps, 197453 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1793386 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
329413 loops (216/sec), 2916586723 sampling steps, 198521 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1794816 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
330484 loops (214/sec), 2929999495 sampling steps, 199579 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1796234 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
331570 loops (217/sec), 2943434826 sampling steps, 200656 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1797608 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
332663 loops (218/sec), 2956889389 sampling steps, 201732 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1799043 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
333717 loops (210/sec), 2970288945 sampling steps, 202778 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1800460 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
334787 loops (214/sec), 2983708866 sampling steps, 203837 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1801778 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
335864 loops (215/sec), 2997143745 sampling steps, 204903 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1803230 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
336937 loops (214/sec), 3010575491 sampling steps, 205957 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1804649 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
338006 loops (213/sec), 3024012099 sampling steps, 207016 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1805895 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
339096 loops (217/sec), 3037452318 sampling steps, 208095 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1807235 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
340147 loops (210/sec), 3050790916 sampling steps, 209127 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1808580 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
341229 loops (216/sec), 3064187447 sampling steps, 210195 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1810023 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
342326 loops (219/sec), 3077612800 sampling steps, 211277 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1811398 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
343428 loops (220/sec), 3091080480 sampling steps, 212363 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1812794 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
344507 loops (215/sec), 3104509839 sampling steps, 213434 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1814150 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
345583 loops (215/sec), 3117952595 sampling steps, 214497 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1815576 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
346638 loops (210/sec), 3131357526 sampling steps, 215541 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1816850 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
347720 loops (216/sec), 3144773183 sampling steps, 216610 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1818141 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
348753 loops (206/sec), 3158000781 sampling steps, 217624 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1819479 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
349809 loops (211/sec), 3171109606 sampling steps, 218669 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1820687 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
350931 loops (223/sec), 3184600775 sampling steps, 219783 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1821936 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
351978 loops (209/sec), 3197707866 sampling steps, 220818 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1823155 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
353027 loops (209/sec), 3210879788 sampling steps, 221856 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1824421 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
354082 loops (210/sec), 3224060654 sampling steps, 222900 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1825723 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
355132 loops (209/sec), 3237462469 sampling steps, 223937 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1827074 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
356207 loops (215/sec), 3250886380 sampling steps, 225001 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1828319 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
357295 loops (217/sec), 3264301733 sampling steps, 226081 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1829431 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
358368 loops (214/sec), 3277723709 sampling steps, 227142 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1830855 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
359426 loops (211/sec), 3291128195 sampling steps, 228190 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1832165 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
360482 loops (211/sec), 3304488908 sampling steps, 229238 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1833457 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
361566 loops (216/sec), 3317882742 sampling steps, 230305 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1834740 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
362637 loops (214/sec), 3331274686 sampling steps, 231364 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1836013 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
363701 loops (212/sec), 3344635334 sampling steps, 232414 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1837263 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
364761 loops (211/sec), 3357962346 sampling steps, 233459 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1838627 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
365797 loops (206/sec), 3371220505 sampling steps, 234481 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1839868 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
366847 loops (209/sec), 3384523516 sampling steps, 235519 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1841069 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
367910 loops (212/sec), 3397922441 sampling steps, 236574 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1842280 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
368960 loops (210/sec), 3411218304 sampling steps, 237614 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1843470 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
370039 loops (215/sec), 3424606813 sampling steps, 238683 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1844679 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
371119 loops (215/sec), 3438012235 sampling steps, 239751 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1845883 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
372208 loops (217/sec), 3451450914 sampling steps, 240831 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1846991 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
373285 loops (215/sec), 3464843856 sampling steps, 241896 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1848163 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
374355 loops (214/sec), 3478221979 sampling steps, 242956 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1849317 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
375419 loops (212/sec), 3491607319 sampling steps, 244014 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1850579 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
376464 loops (208/sec), 3504957750 sampling steps, 245049 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1851767 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
377532 loops (213/sec), 3518356213 sampling steps, 246111 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1852852 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
378600 loops (213/sec), 3531709911 sampling steps, 247169 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1854070 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
379680 loops (215/sec), 3545093870 sampling steps, 248243 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1855272 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
380731 loops (210/sec), 3558466274 sampling steps, 249288 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1856447 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
381803 loops (214/sec), 3571890804 sampling steps, 250354 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1857593 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
382875 loops (214/sec), 3585288211 sampling steps, 251417 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1858802 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
383966 loops (218/sec), 3598731538 sampling steps, 252497 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1859894 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
385032 loops (213/sec), 3612126043 sampling steps, 253553 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1861092 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
386064 loops (206/sec), 3625050764 sampling steps, 254572 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1862276 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
387007 loops (188/sec), 3636853957 sampling steps, 255509 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1863247 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
387950 loops (188/sec), 3648675615 sampling steps, 256446 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1864249 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
388876 loops (185/sec), 3660488372 sampling steps, 257361 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1865361 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
389808 loops (186/sec), 3672303881 sampling steps, 258287 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1866339 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
390832 loops (204/sec), 3685316364 sampling steps, 259304 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1867458 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
391907 loops (215/sec), 3698664297 sampling steps, 260370 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1868518 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
392983 loops (214/sec), 3712044778 sampling steps, 261434 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1869681 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
394078 loops (218/sec), 3725457768 sampling steps, 262523 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1870708 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
395134 loops (211/sec), 3738814674 sampling steps, 263576 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1871811 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
396219 loops (216/sec), 3752242844 sampling steps, 264654 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1872936 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
397275 loops (211/sec), 3765625364 sampling steps, 265701 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1874031 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
398343 loops (213/sec), 3778985422 sampling steps, 266757 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1875137 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
399382 loops (207/sec), 3792293755 sampling steps, 267786 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1876240 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
400465 loops (216/sec), 3805668741 sampling steps, 268866 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1877267 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
401532 loops (213/sec), 3819008917 sampling steps, 269927 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1878300 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
402586 loops (210/sec), 3832372217 sampling steps, 270971 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1879375 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
403655 loops (213/sec), 3845761048 sampling steps, 272030 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1880442 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
404716 loops (212/sec), 3859107633 sampling steps, 273084 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1881414 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
405808 loops (218/sec), 3872557364 sampling steps, 274169 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1882445 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
406857 loops (209/sec), 3885967552 sampling steps, 275207 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1883620 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
407933 loops (215/sec), 3899406203 sampling steps, 276272 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1884694 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
409015 loops (216/sec), 3912841143 sampling steps, 277350 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1885733 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
410098 loops (216/sec), 3926314517 sampling steps, 278426 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1886687 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
411165 loops (213/sec), 3939694023 sampling steps, 279486 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1887750 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
412235 loops (214/sec), 3953095979 sampling steps, 280545 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1888854 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
413304 loops (213/sec), 3966494226 sampling steps, 281608 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1889855 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
414339 loops (206/sec), 3979782222 sampling steps, 282628 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1890949 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
415415 loops (214/sec), 3993157739 sampling steps, 283700 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1891979 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
416493 loops (215/sec), 4006567278 sampling steps, 284771 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1892974 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
417561 loops (213/sec), 4019891315 sampling steps, 285831 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1893860 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
418625 loops (212/sec), 4033263447 sampling steps, 286891 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1894777 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
419694 loops (213/sec), 4046643157 sampling steps, 287955 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1895827 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
420762 loops (213/sec), 4060018747 sampling steps, 289015 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1896785 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
421818 loops (211/sec), 4073379502 sampling steps, 290063 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1897724 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
422889 loops (214/sec), 4086764512 sampling steps, 291127 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1898687 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
423960 loops (214/sec), 4100150390 sampling steps, 292193 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1899647 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
425031 loops (213/sec), 4113541332 sampling steps, 293258 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1900657 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
426101 loops (213/sec), 4126933593 sampling steps, 294320 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1901692 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
427188 loops (217/sec), 4140353895 sampling steps, 295402 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1902700 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
428237 loops (209/sec), 4153679728 sampling steps, 296446 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1903644 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
429295 loops (211/sec), 4166623754 sampling steps, 297494 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1904656 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
430343 loops (209/sec), 4179934698 sampling steps, 298536 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1905541 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
431421 loops (215/sec), 4193289345 sampling steps, 299607 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1906473 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
432492 loops (213/sec), 4206637652 sampling steps, 300669 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1907500 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
433560 loops (213/sec), 4220044740 sampling steps, 301735 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1908385 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
434631 loops (214/sec), 4233436555 sampling steps, 302801 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1909366 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
435678 loops (209/sec), 4246803962 sampling steps, 303846 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1910287 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
436755 loops (215/sec), 4260174201 sampling steps, 304915 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1911288 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
437802 loops (209/sec), 4273491406 sampling steps, 305955 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1912336 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
438878 loops (215/sec), 4286894956 sampling steps, 307027 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1913257 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
439952 loops (214/sec), 4300316385 sampling steps, 308096 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1914240 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
441016 loops (212/sec), 4313693372 sampling steps, 309153 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1915187 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
442078 loops (212/sec), 4327049661 sampling steps, 310207 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1916145 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
443146 loops (213/sec), 4340424505 sampling steps, 311271 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1917035 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
444215 loops (213/sec), 4353829146 sampling steps, 312335 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1917865 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
445300 loops (216/sec), 4367267883 sampling steps, 313412 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1918775 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
446384 loops (216/sec), 4380700120 sampling steps, 314490 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1919731 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
447430 loops (209/sec), 4394061255 sampling steps, 315529 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1920603 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
448514 loops (216/sec), 4407477606 sampling steps, 316608 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1921626 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
449579 loops (212/sec), 4420825071 sampling steps, 317669 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1922386 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
450660 loops (216/sec), 4434274062 sampling steps, 318741 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1923332 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
451713 loops (210/sec), 4447639606 sampling steps, 319788 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1924114 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
452781 loops (213/sec), 4461012245 sampling steps, 320852 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1925014 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
453846 loops (212/sec), 4474444819 sampling steps, 321913 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1925906 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
454909 loops (212/sec), 4487836730 sampling steps, 322970 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1926772 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
455991 loops (216/sec), 4501241974 sampling steps, 324043 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1927643 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
457078 loops (217/sec), 4514693173 sampling steps, 325124 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1928519 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
458146 loops (213/sec), 4528091347 sampling steps, 326186 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1929478 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
459242 loops (219/sec), 4541567192 sampling steps, 327275 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1930439 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
460331 loops (217/sec), 4555034343 sampling steps, 328359 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1931384 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
461387 loops (211/sec), 4568466579 sampling steps, 329411 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1932240 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
462450 loops (212/sec), 4581862902 sampling steps, 330470 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1933142 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
463509 loops (211/sec), 4595264208 sampling steps, 331524 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1934076 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
464568 loops (211/sec), 4608616205 sampling steps, 332578 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1934966 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
465639 loops (214/sec), 4621998224 sampling steps, 333643 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1935780 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
466726 loops (217/sec), 4635349033 sampling steps, 334725 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1936587 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
467803 loops (215/sec), 4648720458 sampling steps, 335795 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1937482 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
468885 loops (216/sec), 4662118638 sampling steps, 336874 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1938235 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
469943 loops (211/sec), 4675533131 sampling steps, 337926 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1939114 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
471012 loops (213/sec), 4688887285 sampling steps, 338991 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1940017 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
472073 loops (212/sec), 4702273418 sampling steps, 340044 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1940859 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0112812519073 seconds since the total time limit of 1800.0 seconds was exceeded.