Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:50:03 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/majority/majority.prism approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:50:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8325 loops (1665/sec), 15247084 sampling steps, 3146 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
60468 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13582 loops (1051/sec), 31870301 sampling steps, 7703 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
75577 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18788 loops (1040/sec), 49121862 sampling steps, 12637 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
83931 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24035 loops (1049/sec), 66360551 sampling steps, 17737 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
89355 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29135 loops (1019/sec), 83488199 sampling steps, 22752 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
93587 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34460 loops (1064/sec), 101115200 sampling steps, 28003 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
97173 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39719 loops (1051/sec), 118928009 sampling steps, 33214 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
100074 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44984 loops (1053/sec), 136776547 sampling steps, 38437 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
102614 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50233 loops (1049/sec), 154625290 sampling steps, 43648 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
104861 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55606 loops (1074/sec), 172578449 sampling steps, 48998 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
106627 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60911 loops (1061/sec), 190492909 sampling steps, 54268 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
108425 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66241 loops (1065/sec), 208192982 sampling steps, 59580 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
109881 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71522 loops (1056/sec), 226034503 sampling steps, 64842 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
111248 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76853 loops (1066/sec), 243911359 sampling steps, 70151 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
112591 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82230 loops (1075/sec), 261875979 sampling steps, 75510 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113772 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
87477 loops (1049/sec), 279409028 sampling steps, 80742 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114823 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92836 loops (1071/sec), 297362848 sampling steps, 86087 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115881 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98135 loops (1059/sec), 315158586 sampling steps, 91372 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116753 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103314 loops (1035/sec), 332761288 sampling steps, 96539 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117533 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
108616 loops (1060/sec), 350432007 sampling steps, 101838 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118341 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113807 loops (1038/sec), 368190160 sampling steps, 107022 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119125 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119211 loops (1080/sec), 386248847 sampling steps, 112418 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119876 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
124628 loops (1083/sec), 404316426 sampling steps, 117831 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120547 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
129901 loops (1054/sec), 422225695 sampling steps, 123093 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121344 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
135079 loops (1035/sec), 439621780 sampling steps, 128264 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121946 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140224 loops (1029/sec), 457001514 sampling steps, 133400 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122581 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145406 loops (1036/sec), 474477223 sampling steps, 138577 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123096 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150598 loops (1038/sec), 492078063 sampling steps, 143764 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123618 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
155774 loops (1035/sec), 509744226 sampling steps, 148932 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124204 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
161017 loops (1048/sec), 527396420 sampling steps, 154173 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124765 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
166332 loops (1062/sec), 545118884 sampling steps, 159486 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125237 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
171609 loops (1055/sec), 563194609 sampling steps, 164760 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125736 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
177060 loops (1089/sec), 581310539 sampling steps, 170209 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
126178 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
182419 loops (1071/sec), 599395495 sampling steps, 175564 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
126589 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
187727 loops (1061/sec), 617466718 sampling steps, 180865 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
127083 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
193110 loops (1076/sec), 635534861 sampling steps, 186246 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
127505 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
198451 loops (1068/sec), 653589435 sampling steps, 191586 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
127922 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
203622 loops (1034/sec), 671089201 sampling steps, 196754 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
128378 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
209048 loops (1085/sec), 689139253 sampling steps, 202175 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
128799 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
214409 loops (1072/sec), 707179894 sampling steps, 207533 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
129206 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
219684 loops (1054/sec), 724982748 sampling steps, 212800 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
129656 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
225005 loops (1064/sec), 742864170 sampling steps, 218120 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
129922 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
230324 loops (1063/sec), 760881173 sampling steps, 223437 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
130257 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
235660 loops (1066/sec), 778926232 sampling steps, 228772 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
130645 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
241003 loops (1068/sec), 796902426 sampling steps, 234110 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
130974 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
246394 loops (1078/sec), 814950048 sampling steps, 239495 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
131326 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
251774 loops (1076/sec), 833030488 sampling steps, 244874 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
131613 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
257202 loops (1085/sec), 851078623 sampling steps, 250297 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
131954 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
262505 loops (1060/sec), 869053224 sampling steps, 255595 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
132255 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
267930 loops (1085/sec), 887056788 sampling steps, 261015 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
132570 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
273324 loops (1078/sec), 905138306 sampling steps, 266406 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
132834 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
278699 loops (1075/sec), 923229739 sampling steps, 271781 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
133142 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
284141 loops (1088/sec), 941359957 sampling steps, 277222 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
133420 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
289604 loops (1092/sec), 959497514 sampling steps, 282684 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
133643 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
294956 loops (1070/sec), 977609454 sampling steps, 288035 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
133878 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
300366 loops (1081/sec), 995733682 sampling steps, 293445 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
134136 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
305654 loops (1057/sec), 1013823776 sampling steps, 298731 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
134399 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
311043 loops (1077/sec), 1031932985 sampling steps, 304119 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
134592 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
316426 loops (1076/sec), 1050067692 sampling steps, 309501 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
134833 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
321892 loops (1093/sec), 1068171340 sampling steps, 314965 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
135070 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
327156 loops (1052/sec), 1085688957 sampling steps, 320228 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
135268 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
332468 loops (1062/sec), 1103682736 sampling steps, 325538 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
135518 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
337852 loops (1076/sec), 1121743441 sampling steps, 330921 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
135735 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
343262 loops (1082/sec), 1139826827 sampling steps, 336330 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
135973 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
348649 loops (1077/sec), 1157954801 sampling steps, 341715 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
136237 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
354040 loops (1078/sec), 1176065479 sampling steps, 347100 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
136491 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
359434 loops (1078/sec), 1194192891 sampling steps, 352493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
136720 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
364827 loops (1078/sec), 1212317790 sampling steps, 357885 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
136918 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
370252 loops (1085/sec), 1230472339 sampling steps, 363309 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
137139 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
375722 loops (1094/sec), 1248531062 sampling steps, 368777 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
137362 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
381047 loops (1065/sec), 1266551015 sampling steps, 374101 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
137591 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
386505 loops (1091/sec), 1284604051 sampling steps, 379559 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
137761 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
391829 loops (1064/sec), 1302565377 sampling steps, 384882 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
138012 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
397273 loops (1088/sec), 1320608838 sampling steps, 390325 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
138136 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
402663 loops (1078/sec), 1338728798 sampling steps, 395713 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
138343 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
407992 loops (1065/sec), 1356741944 sampling steps, 401041 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
138555 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
413409 loops (1083/sec), 1374782255 sampling steps, 406458 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
138731 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
418752 loops (1068/sec), 1392830224 sampling steps, 411800 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
138893 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
424202 loops (1090/sec), 1410931274 sampling steps, 417249 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
139046 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
429547 loops (1069/sec), 1428988978 sampling steps, 422594 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
139218 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
434936 loops (1077/sec), 1447057808 sampling steps, 427982 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
139466 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
440401 loops (1093/sec), 1465151252 sampling steps, 433447 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
139573 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
445786 loops (1077/sec), 1483228971 sampling steps, 438831 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
139751 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
451179 loops (1078/sec), 1501303106 sampling steps, 444222 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
139947 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
456665 loops (1097/sec), 1519337654 sampling steps, 449707 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
140122 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
461997 loops (1066/sec), 1537371440 sampling steps, 455038 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
140277 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
467167 loops (1034/sec), 1554833020 sampling steps, 460207 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
140405 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
472516 loops (1069/sec), 1572855807 sampling steps, 465554 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
140581 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
477864 loops (1069/sec), 1590893295 sampling steps, 470901 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
140695 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
483243 loops (1075/sec), 1608956595 sampling steps, 476275 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
140864 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
488662 loops (1083/sec), 1627012425 sampling steps, 481693 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
141003 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
494040 loops (1075/sec), 1645065291 sampling steps, 487069 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
141183 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
499358 loops (1063/sec), 1663126032 sampling steps, 492385 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
141338 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
504754 loops (1078/sec), 1681168432 sampling steps, 497781 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
141488 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
510082 loops (1065/sec), 1699217400 sampling steps, 503109 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
141624 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
515461 loops (1075/sec), 1717240043 sampling steps, 508487 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
141826 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
520785 loops (1064/sec), 1735191392 sampling steps, 513810 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
141967 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
526132 loops (1069/sec), 1753181761 sampling steps, 519157 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
142095 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
531457 loops (1065/sec), 1771233258 sampling steps, 524481 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
142236 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
536751 loops (1058/sec), 1789285922 sampling steps, 529775 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
142367 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
542049 loops (1059/sec), 1807378237 sampling steps, 535073 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
142504 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
547557 loops (1101/sec), 1825478774 sampling steps, 540580 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
142648 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
552916 loops (1071/sec), 1843579364 sampling steps, 545937 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
142777 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
558376 loops (1092/sec), 1861688972 sampling steps, 551395 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
142950 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
563767 loops (1078/sec), 1879844079 sampling steps, 556786 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
143041 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
569137 loops (1074/sec), 1897942599 sampling steps, 562156 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
143172 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
574540 loops (1080/sec), 1916097879 sampling steps, 567557 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
143314 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
579920 loops (1076/sec), 1934180671 sampling steps, 572936 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
143461 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
585283 loops (1072/sec), 1952221449 sampling steps, 578298 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
143582 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
590659 loops (1075/sec), 1970247498 sampling steps, 583673 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
143723 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
596007 loops (1069/sec), 1988362683 sampling steps, 589021 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
143816 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
601381 loops (1074/sec), 2006502780 sampling steps, 594395 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
143949 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
606710 loops (1065/sec), 2023985215 sampling steps, 599723 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
144086 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
612095 loops (1077/sec), 2041941639 sampling steps, 605108 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
144172 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
617452 loops (1071/sec), 2059902230 sampling steps, 610464 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
144288 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
622721 loops (1053/sec), 2077854764 sampling steps, 615732 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
144400 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
628000 loops (1055/sec), 2095827608 sampling steps, 621010 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
144503 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
633453 loops (1090/sec), 2113888288 sampling steps, 626463 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
144626 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
638887 loops (1086/sec), 2131950973 sampling steps, 631897 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
144707 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
644198 loops (1062/sec), 2149987811 sampling steps, 637207 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
144813 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
649530 loops (1066/sec), 2167955465 sampling steps, 642539 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
144929 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
654878 loops (1069/sec), 2185950971 sampling steps, 647885 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
145030 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
660187 loops (1061/sec), 2204025578 sampling steps, 653193 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
145147 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
665511 loops (1064/sec), 2222084504 sampling steps, 658515 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
145260 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
670932 loops (1084/sec), 2240175033 sampling steps, 663936 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
145346 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
676298 loops (1073/sec), 2258260182 sampling steps, 669302 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
145439 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
681666 loops (1073/sec), 2276341365 sampling steps, 674670 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
145544 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
687089 loops (1084/sec), 2294420401 sampling steps, 680093 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
145689 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
692537 loops (1089/sec), 2312541034 sampling steps, 685541 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
145774 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
697977 loops (1088/sec), 2330658171 sampling steps, 690981 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
145858 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
703304 loops (1065/sec), 2348756763 sampling steps, 696307 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
145960 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
708644 loops (1068/sec), 2366826335 sampling steps, 701647 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
146068 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
714036 loops (1078/sec), 2384861639 sampling steps, 707038 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
146181 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
719366 loops (1066/sec), 2402911399 sampling steps, 712367 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
146284 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
724766 loops (1080/sec), 2421043724 sampling steps, 717767 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
146409 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
730144 loops (1075/sec), 2439197887 sampling steps, 723144 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
146532 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
735491 loops (1069/sec), 2457325220 sampling steps, 728490 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
146621 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
740851 loops (1072/sec), 2475449267 sampling steps, 733850 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
146706 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
746239 loops (1077/sec), 2493602578 sampling steps, 739238 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
146834 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
751415 loops (1035/sec), 2511042700 sampling steps, 744413 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
146927 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
756775 loops (1072/sec), 2529080406 sampling steps, 749773 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
147020 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
762194 loops (1083/sec), 2547126524 sampling steps, 755191 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
147143 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
767569 loops (1075/sec), 2565188264 sampling steps, 760566 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
147199 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
772910 loops (1068/sec), 2583238647 sampling steps, 765907 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
147285 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
778338 loops (1085/sec), 2601248871 sampling steps, 771334 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
147368 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
783710 loops (1074/sec), 2619284158 sampling steps, 776706 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
147433 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
789144 loops (1086/sec), 2637369893 sampling steps, 782140 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
147519 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
794512 loops (1073/sec), 2655479531 sampling steps, 787507 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
147631 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
799908 loops (1079/sec), 2673644767 sampling steps, 792903 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
147683 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
805353 loops (1089/sec), 2691802646 sampling steps, 798348 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
147770 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
810768 loops (1083/sec), 2709965691 sampling steps, 803763 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
147830 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
816174 loops (1081/sec), 2728116713 sampling steps, 809169 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
147915 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
821571 loops (1079/sec), 2746270166 sampling steps, 814566 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
147976 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
826932 loops (1072/sec), 2764400279 sampling steps, 819927 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148065 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
832300 loops (1073/sec), 2782540534 sampling steps, 825295 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148144 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
837777 loops (1095/sec), 2800682870 sampling steps, 830772 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148219 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
843138 loops (1072/sec), 2818755462 sampling steps, 836132 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148286 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
848459 loops (1064/sec), 2836849311 sampling steps, 841453 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148345 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
853850 loops (1078/sec), 2855045380 sampling steps, 846844 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148415 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
859226 loops (1075/sec), 2873191497 sampling steps, 852220 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148481 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
864661 loops (1087/sec), 2891366467 sampling steps, 857655 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148566 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
870017 loops (1071/sec), 2909527441 sampling steps, 863011 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148646 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
875391 loops (1074/sec), 2927707194 sampling steps, 868385 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148716 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
880795 loops (1080/sec), 2945886684 sampling steps, 873789 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148781 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
886139 loops (1068/sec), 2964053260 sampling steps, 879132 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148857 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
891500 loops (1071/sec), 2982210542 sampling steps, 884493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148922 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
896676 loops (1035/sec), 2999685737 sampling steps, 889668 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148994 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
902018 loops (1068/sec), 3017667987 sampling steps, 895010 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149073 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
907386 loops (1073/sec), 3035638088 sampling steps, 900377 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149151 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
912744 loops (1071/sec), 3053576464 sampling steps, 905735 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149219 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
918199 loops (1091/sec), 3071663111 sampling steps, 911190 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149300 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
923595 loops (1078/sec), 3089743153 sampling steps, 916585 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149375 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
928956 loops (1071/sec), 3107842124 sampling steps, 921946 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149436 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
934390 loops (1086/sec), 3125951706 sampling steps, 927380 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149493 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
939760 loops (1073/sec), 3144090352 sampling steps, 932750 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149562 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
945123 loops (1072/sec), 3162208921 sampling steps, 938113 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149633 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
950527 loops (1080/sec), 3180342236 sampling steps, 943517 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149718 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
955944 loops (1083/sec), 3198474934 sampling steps, 948934 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149781 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
961342 loops (1079/sec), 3216596475 sampling steps, 954331 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149822 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
966659 loops (1063/sec), 3234679036 sampling steps, 959647 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149912 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
972120 loops (1091/sec), 3252755203 sampling steps, 965108 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149970 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
977350 loops (1046/sec), 3270797728 sampling steps, 970338 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150028 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
982756 loops (1081/sec), 3288981280 sampling steps, 975744 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150110 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
988070 loops (1062/sec), 3307156318 sampling steps, 981056 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150200 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
993458 loops (1077/sec), 3325333250 sampling steps, 986443 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150268 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
998778 loops (1064/sec), 3343478283 sampling steps, 991763 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150346 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1004118 loops (1068/sec), 3361642890 sampling steps, 997103 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150407 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1009510 loops (1078/sec), 3379788182 sampling steps, 1002495 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150464 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1015012 loops (1100/sec), 3397967048 sampling steps, 1007997 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150522 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1020482 loops (1094/sec), 3416143210 sampling steps, 1013467 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150561 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1025817 loops (1066/sec), 3434297694 sampling steps, 1018801 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150622 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1031193 loops (1075/sec), 3452444335 sampling steps, 1024177 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150695 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1036542 loops (1069/sec), 3470523682 sampling steps, 1029526 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150755 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1041952 loops (1082/sec), 3488635761 sampling steps, 1034936 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150807 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1047139 loops (1036/sec), 3506066862 sampling steps, 1040122 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150875 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1052542 loops (1080/sec), 3524089510 sampling steps, 1045525 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150904 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1057911 loops (1073/sec), 3542061006 sampling steps, 1050893 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150957 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1063248 loops (1067/sec), 3560062723 sampling steps, 1056229 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151005 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1068615 loops (1073/sec), 3578093579 sampling steps, 1061596 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151061 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1073962 loops (1069/sec), 3596118261 sampling steps, 1066943 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151099 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1079408 loops (1088/sec), 3614163684 sampling steps, 1072389 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151165 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1084734 loops (1064/sec), 3632196470 sampling steps, 1077715 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151228 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1090096 loops (1072/sec), 3650232307 sampling steps, 1083077 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151288 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1095442 loops (1069/sec), 3668247548 sampling steps, 1088423 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151359 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1100852 loops (1082/sec), 3686259190 sampling steps, 1093833 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151414 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1106267 loops (1083/sec), 3704309309 sampling steps, 1099248 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151477 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1111730 loops (1092/sec), 3722454254 sampling steps, 1104710 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151552 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1117184 loops (1090/sec), 3740612222 sampling steps, 1110164 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151620 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1122619 loops (1086/sec), 3758761198 sampling steps, 1115599 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151672 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1128034 loops (1083/sec), 3776880073 sampling steps, 1121014 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151722 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1133532 loops (1099/sec), 3795018133 sampling steps, 1126512 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151792 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1138884 loops (1070/sec), 3813135899 sampling steps, 1131864 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151868 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1144312 loops (1085/sec), 3831300626 sampling steps, 1137292 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151913 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1149719 loops (1081/sec), 3849487925 sampling steps, 1142699 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151959 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1155170 loops (1090/sec), 3867664132 sampling steps, 1148150 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152011 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1160555 loops (1076/sec), 3885799995 sampling steps, 1153535 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152080 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1165892 loops (1067/sec), 3903870644 sampling steps, 1158872 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152144 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1171295 loops (1080/sec), 3921980570 sampling steps, 1164275 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152211 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1176801 loops (1101/sec), 3940186977 sampling steps, 1169781 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152256 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1182211 loops (1082/sec), 3958372960 sampling steps, 1175191 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152289 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1187595 loops (1076/sec), 3976548209 sampling steps, 1180575 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152353 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1192927 loops (1054/sec), 3994389085 sampling steps, 1185907 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152406 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1198285 loops (1071/sec), 4012387546 sampling steps, 1191264 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152457 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1203679 loops (1078/sec), 4030392201 sampling steps, 1196658 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152490 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1209053 loops (1074/sec), 4048420068 sampling steps, 1202032 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152541 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1214456 loops (1080/sec), 4066428405 sampling steps, 1207435 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152579 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1219743 loops (1057/sec), 4084452556 sampling steps, 1212722 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152633 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1225050 loops (1061/sec), 4102462161 sampling steps, 1218029 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152679 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1230441 loops (1078/sec), 4120404735 sampling steps, 1223420 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152746 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1235783 loops (1067/sec), 4138386094 sampling steps, 1228762 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152794 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1241150 loops (1073/sec), 4156434874 sampling steps, 1234129 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152844 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1246595 loops (1089/sec), 4174506910 sampling steps, 1239573 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152902 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1252001 loops (1081/sec), 4192550657 sampling steps, 1244979 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152970 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1257397 loops (1079/sec), 4210614935 sampling steps, 1250375 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153029 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1262766 loops (1073/sec), 4228707071 sampling steps, 1255744 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153072 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1268165 loops (1079/sec), 4246802731 sampling steps, 1261143 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153114 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1273563 loops (1079/sec), 4264876958 sampling steps, 1266541 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153187 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1278988 loops (1085/sec), 4283009091 sampling steps, 1271966 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153227 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1284446 loops (1091/sec), 4301155236 sampling steps, 1277424 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153272 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1289796 loops (1070/sec), 4319268781 sampling steps, 1282774 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153329 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1295188 loops (1077/sec), 4337290151 sampling steps, 1288166 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153373 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1300553 loops (1073/sec), 4355399109 sampling steps, 1293531 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153422 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1305938 loops (1077/sec), 4373568710 sampling steps, 1298916 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153461 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1311284 loops (1069/sec), 4391716839 sampling steps, 1304262 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153494 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1316705 loops (1084/sec), 4409909402 sampling steps, 1309683 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153530 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1322102 loops (1079/sec), 4428107513 sampling steps, 1315080 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153575 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1327513 loops (1082/sec), 4446298681 sampling steps, 1320491 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153619 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1332925 loops (1082/sec), 4464499527 sampling steps, 1325902 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153681 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1338305 loops (1076/sec), 4482708154 sampling steps, 1331282 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153729 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1343666 loops (1071/sec), 4500915639 sampling steps, 1336642 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153787 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1348831 loops (1033/sec), 4518377791 sampling steps, 1341807 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153839 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1354111 loops (1055/sec), 4536328487 sampling steps, 1347087 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153880 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1359363 loops (1050/sec), 4554221430 sampling steps, 1352339 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153935 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1364677 loops (1062/sec), 4572173943 sampling steps, 1357653 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153970 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1370002 loops (1065/sec), 4590238948 sampling steps, 1362978 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154012 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1375339 loops (1067/sec), 4608286827 sampling steps, 1368314 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154078 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1380729 loops (1078/sec), 4626351148 sampling steps, 1373704 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154129 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1386125 loops (1079/sec), 4644405395 sampling steps, 1379100 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154153 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1391520 loops (1079/sec), 4662506235 sampling steps, 1384494 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154211 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1396950 loops (1086/sec), 4680611265 sampling steps, 1389924 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154262 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1402273 loops (1064/sec), 4698686678 sampling steps, 1395246 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154338 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1407733 loops (1092/sec), 4716791931 sampling steps, 1400706 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154382 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1413089 loops (1070/sec), 4734906539 sampling steps, 1406062 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154436 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1418541 loops (1090/sec), 4752969023 sampling steps, 1411513 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154475 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1423910 loops (1073/sec), 4771074557 sampling steps, 1416882 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154514 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1429282 loops (1074/sec), 4789164275 sampling steps, 1422254 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154551 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1434643 loops (1071/sec), 4807277038 sampling steps, 1427615 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154598 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1440061 loops (1083/sec), 4825386291 sampling steps, 1433032 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154649 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1445392 loops (1066/sec), 4843465853 sampling steps, 1438363 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154690 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1450793 loops (1080/sec), 4861585836 sampling steps, 1443764 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154734 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1456156 loops (1072/sec), 4879742217 sampling steps, 1449127 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154784 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1461657 loops (1100/sec), 4897897733 sampling steps, 1454628 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154806 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1467047 loops (1078/sec), 4916038750 sampling steps, 1460018 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154867 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1472422 loops (1075/sec), 4934213593 sampling steps, 1465392 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154933 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1477858 loops (1087/sec), 4952402565 sampling steps, 1470828 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154973 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1483310 loops (1090/sec), 4970552910 sampling steps, 1476280 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155012 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1488787 loops (1095/sec), 4988642807 sampling steps, 1481757 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155053 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1494163 loops (1075/sec), 5006779481 sampling steps, 1487133 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155107 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1499384 loops (1043/sec), 5024392331 sampling steps, 1492354 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155155 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1504760 loops (1075/sec), 5042393900 sampling steps, 1497730 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155193 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1510220 loops (1092/sec), 5060457076 sampling steps, 1503190 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155232 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1515655 loops (1087/sec), 5078519005 sampling steps, 1508625 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155262 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1521082 loops (1085/sec), 5096571224 sampling steps, 1514052 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155323 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1526392 loops (1062/sec), 5114584311 sampling steps, 1519361 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155378 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1531780 loops (1077/sec), 5132681654 sampling steps, 1524748 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155431 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1537291 loops (1101/sec), 5150821420 sampling steps, 1530259 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155462 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1542664 loops (1074/sec), 5168954770 sampling steps, 1535631 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155513 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1548007 loops (1068/sec), 5187047731 sampling steps, 1540974 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155540 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1553405 loops (1079/sec), 5205096034 sampling steps, 1546370 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155613 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1558814 loops (1081/sec), 5223218052 sampling steps, 1551779 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155651 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1564246 loops (1086/sec), 5241367622 sampling steps, 1557210 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155707 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1569681 loops (1087/sec), 5259529612 sampling steps, 1562645 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155742 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1575102 loops (1084/sec), 5277718803 sampling steps, 1568066 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155775 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1580567 loops (1092/sec), 5295912303 sampling steps, 1573531 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155808 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1585983 loops (1083/sec), 5314105115 sampling steps, 1578947 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155853 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1591450 loops (1093/sec), 5332322768 sampling steps, 1584414 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155893 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1596879 loops (1085/sec), 5350518329 sampling steps, 1589843 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155919 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1602348 loops (1093/sec), 5368702560 sampling steps, 1595312 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155949 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1607746 loops (1079/sec), 5386880203 sampling steps, 1600710 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156009 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1613258 loops (1102/sec), 5405044575 sampling steps, 1606221 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156062 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1618627 loops (1073/sec), 5423141703 sampling steps, 1611590 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156094 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1624124 loops (1099/sec), 5441309200 sampling steps, 1617087 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156120 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1629574 loops (1090/sec), 5459525968 sampling steps, 1622537 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156148 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1634987 loops (1082/sec), 5477723126 sampling steps, 1627950 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156174 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1640408 loops (1084/sec), 5495912337 sampling steps, 1633371 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156210 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1645811 loops (1080/sec), 5514091748 sampling steps, 1638772 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156266 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1651218 loops (1081/sec), 5532291693 sampling steps, 1644178 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156312 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1656414 loops (1039/sec), 5549803399 sampling steps, 1649374 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156346 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1661766 loops (1070/sec), 5567813223 sampling steps, 1654726 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156380 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1667104 loops (1067/sec), 5585822207 sampling steps, 1660064 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156406 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1672527 loops (1084/sec), 5603859306 sampling steps, 1665487 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156432 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1677869 loops (1068/sec), 5621824868 sampling steps, 1670829 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156463 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1683207 loops (1067/sec), 5639744771 sampling steps, 1676166 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156505 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1688582 loops (1075/sec), 5657732673 sampling steps, 1681541 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156531 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1693943 loops (1072/sec), 5675755981 sampling steps, 1686902 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156564 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1699308 loops (1073/sec), 5693814181 sampling steps, 1692267 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156591 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1704674 loops (1073/sec), 5711851537 sampling steps, 1697633 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156635 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1710123 loops (1089/sec), 5729889049 sampling steps, 1703082 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156662 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1715514 loops (1078/sec), 5747942045 sampling steps, 1708473 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156702 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1720942 loops (1085/sec), 5766029881 sampling steps, 1713900 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156734 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1726316 loops (1074/sec), 5784113628 sampling steps, 1719274 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156768 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1731688 loops (1074/sec), 5802198153 sampling steps, 1724644 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156818 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1737077 loops (1077/sec), 5820303715 sampling steps, 1730033 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156829 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1742463 loops (1077/sec), 5838414240 sampling steps, 1735419 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156864 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1747832 loops (1073/sec), 5856421617 sampling steps, 1740788 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156905 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1753185 loops (1070/sec), 5874487298 sampling steps, 1746141 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156936 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1758594 loops (1081/sec), 5892632417 sampling steps, 1751550 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156949 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1764019 loops (1085/sec), 5910803687 sampling steps, 1756975 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157007 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1769480 loops (1092/sec), 5928972949 sampling steps, 1762436 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157019 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1774840 loops (1071/sec), 5947134982 sampling steps, 1767794 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157095 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1780207 loops (1073/sec), 5965305820 sampling steps, 1773161 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157123 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1785619 loops (1082/sec), 5983492753 sampling steps, 1778573 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157157 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1791079 loops (1092/sec), 6001702834 sampling steps, 1784033 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157224 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1796505 loops (1085/sec), 6019907691 sampling steps, 1789459 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157252 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1801954 loops (1089/sec), 6038109133 sampling steps, 1794908 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157294 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1807380 loops (1085/sec), 6056284720 sampling steps, 1800334 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157315 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1812567 loops (1037/sec), 6073717720 sampling steps, 1805521 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157341 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1817890 loops (1064/sec), 6091656044 sampling steps, 1810844 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157365 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1823268 loops (1075/sec), 6109638980 sampling steps, 1816222 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157412 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1828646 loops (1075/sec), 6127637983 sampling steps, 1821600 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157435 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1834024 loops (1075/sec), 6145673411 sampling steps, 1826978 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157457 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1839305 loops (1056/sec), 6163679913 sampling steps, 1832259 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157474 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1844709 loops (1080/sec), 6181702648 sampling steps, 1837663 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157499 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1850011 loops (1060/sec), 6199731305 sampling steps, 1842965 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157518 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1855394 loops (1076/sec), 6217818272 sampling steps, 1848348 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157548 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1860760 loops (1073/sec), 6235902299 sampling steps, 1853714 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157567 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1866225 loops (1093/sec), 6254033606 sampling steps, 1859179 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157589 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1871627 loops (1080/sec), 6272115414 sampling steps, 1864581 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157603 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1877002 loops (1075/sec), 6290111043 sampling steps, 1869956 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157637 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1882434 loops (1086/sec), 6308182178 sampling steps, 1875388 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157667 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1887830 loops (1078/sec), 6326326933 sampling steps, 1880784 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157704 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1893183 loops (1070/sec), 6344475477 sampling steps, 1886137 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157738 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1898641 loops (1091/sec), 6362657420 sampling steps, 1891595 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157756 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1904034 loops (1078/sec), 6380817688 sampling steps, 1896988 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157777 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1909507 loops (1094/sec), 6398988547 sampling steps, 1902461 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157801 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1914981 loops (1094/sec), 6417185651 sampling steps, 1907935 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157841 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1920437 loops (1091/sec), 6435356140 sampling steps, 1913391 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157883 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1925856 loops (1083/sec), 6453528515 sampling steps, 1918810 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157898 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1931296 loops (1088/sec), 6471711250 sampling steps, 1924250 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157915 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0067965984344 seconds since the total time limit of 1800.0 seconds was exceeded.