Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:49:32 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/fms/fms.prism --const n=8 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:49:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27961 loops (5592/sec), 6656341 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
279611 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42233 loops (2854/sec), 16895140 sampling steps, 9 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
422276 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50679 loops (1689/sec), 27002286 sampling steps, 18 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
506691 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58224 loops (1509/sec), 39498931 sampling steps, 40 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
582058 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
64139 loops (1183/sec), 52255594 sampling steps, 77 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
641067 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
68888 loops (949/sec), 64893088 sampling steps, 132 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
688315 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73000 loops (822/sec), 77541252 sampling steps, 192 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
729204 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76670 loops (733/sec), 90627521 sampling steps, 265 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
765658 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79987 loops (663/sec), 103690363 sampling steps, 384 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
798419 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82817 loops (565/sec), 116167202 sampling steps, 509 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
826234 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85546 loops (545/sec), 129317475 sampling steps, 660 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
852921 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88117 loops (514/sec), 142375513 sampling steps, 825 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
878027 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90510 loops (478/sec), 155458390 sampling steps, 1049 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
901124 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92787 loops (455/sec), 168548687 sampling steps, 1290 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
922913 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94896 loops (419/sec), 181629182 sampling steps, 1533 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
943061 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96897 loops (400/sec), 194649874 sampling steps, 1828 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
961887 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98803 loops (381/sec), 207671525 sampling steps, 2147 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
979674 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100655 loops (370/sec), 220753423 sampling steps, 2477 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
996786 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
102417 loops (352/sec), 233744458 sampling steps, 2837 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1012825 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
104128 loops (342/sec), 246713152 sampling steps, 3233 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1028120 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
105807 loops (335/sec), 259617903 sampling steps, 3647 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1043120 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107408 loops (320/sec), 272585310 sampling steps, 4103 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1057194 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
108969 loops (312/sec), 285520821 sampling steps, 4594 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1070613 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110511 loops (308/sec), 298454860 sampling steps, 5107 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1083831 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
112016 loops (300/sec), 311368752 sampling steps, 5635 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1096350 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113466 loops (290/sec), 324301758 sampling steps, 6162 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1108540 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
114910 loops (288/sec), 337255024 sampling steps, 6735 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1120387 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116301 loops (277/sec), 350074473 sampling steps, 7285 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1131748 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117686 loops (277/sec), 362947634 sampling steps, 7880 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1142869 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119043 loops (271/sec), 375819886 sampling steps, 8523 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1153424 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120344 loops (260/sec), 388553548 sampling steps, 9118 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1163531 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
121665 loops (264/sec), 401430246 sampling steps, 9807 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1173234 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122976 loops (261/sec), 414288365 sampling steps, 10508 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1182858 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
124272 loops (259/sec), 427077294 sampling steps, 11183 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1192392 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125537 loops (252/sec), 440042657 sampling steps, 11878 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1201487 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126802 loops (253/sec), 452981407 sampling steps, 12575 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1210375 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
128043 loops (247/sec), 465778146 sampling steps, 13284 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1219155 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
129248 loops (240/sec), 478453721 sampling steps, 14035 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1227332 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130441 loops (238/sec), 491185528 sampling steps, 14739 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1235548 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
131658 loops (243/sec), 504109421 sampling steps, 15464 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1243833 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132845 loops (237/sec), 516999649 sampling steps, 16242 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1251513 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134036 loops (238/sec), 529883148 sampling steps, 17031 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1259071 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
135237 loops (240/sec), 542738961 sampling steps, 17821 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1266598 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
136376 loops (227/sec), 555474451 sampling steps, 18585 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1273831 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137553 loops (235/sec), 568343685 sampling steps, 19396 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1281066 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138719 loops (233/sec), 581243606 sampling steps, 20231 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1287790 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
139916 loops (239/sec), 594141694 sampling steps, 21086 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1294735 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141063 loops (229/sec), 606922373 sampling steps, 21892 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1301544 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
142193 loops (225/sec), 619556005 sampling steps, 22741 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1307995 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
143340 loops (229/sec), 632329284 sampling steps, 23585 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1314558 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144450 loops (221/sec), 644971483 sampling steps, 24429 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1320681 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145587 loops (227/sec), 657753186 sampling steps, 25267 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1326974 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
146725 loops (227/sec), 670547091 sampling steps, 26110 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1333347 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147827 loops (220/sec), 683287681 sampling steps, 26946 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1339295 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148935 loops (221/sec), 695960047 sampling steps, 27816 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1345186 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150058 loops (224/sec), 708785425 sampling steps, 28681 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1350965 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
151164 loops (221/sec), 721442341 sampling steps, 29551 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1356721 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
152282 loops (223/sec), 734246786 sampling steps, 30455 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1362193 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153382 loops (219/sec), 747144512 sampling steps, 31325 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1367816 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
154500 loops (223/sec), 760062921 sampling steps, 32234 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1373227 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
155590 loops (217/sec), 772904706 sampling steps, 33113 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1378572 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156685 loops (219/sec), 785559546 sampling steps, 34003 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1383800 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
157776 loops (218/sec), 798374652 sampling steps, 34893 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1388953 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
158872 loops (219/sec), 811287282 sampling steps, 35802 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1394123 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
159960 loops (217/sec), 824163491 sampling steps, 36708 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1399213 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
161058 loops (219/sec), 837021452 sampling steps, 37624 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1404269 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
162122 loops (212/sec), 849823268 sampling steps, 38518 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1409182 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
163222 loops (219/sec), 862690592 sampling steps, 39458 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1413938 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164290 loops (213/sec), 875541480 sampling steps, 40375 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1418608 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
165359 loops (213/sec), 888358568 sampling steps, 41296 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1423171 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
166448 loops (217/sec), 901233509 sampling steps, 42240 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1427768 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
167511 loops (212/sec), 914085509 sampling steps, 43139 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1432310 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
168594 loops (216/sec), 926972364 sampling steps, 44069 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1436610 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
169647 loops (210/sec), 939794741 sampling steps, 44991 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1440992 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
170731 loops (216/sec), 952683960 sampling steps, 45947 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1445206 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
171785 loops (210/sec), 965526566 sampling steps, 46868 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1449609 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
172861 loops (215/sec), 978402858 sampling steps, 47824 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1453674 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
173933 loops (214/sec), 991268299 sampling steps, 48772 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1457733 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
174986 loops (210/sec), 1004096224 sampling steps, 49707 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1461910 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
176045 loops (211/sec), 1016899168 sampling steps, 50648 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1466050 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
177116 loops (214/sec), 1029759987 sampling steps, 51600 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1469928 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
178153 loops (207/sec), 1042616278 sampling steps, 52531 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1473732 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
179216 loops (212/sec), 1055514818 sampling steps, 53477 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1477653 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
180282 loops (213/sec), 1068421595 sampling steps, 54450 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1481391 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
181349 loops (213/sec), 1081305395 sampling steps, 55420 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1485183 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
182396 loops (209/sec), 1093971477 sampling steps, 56377 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1488746 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
183467 loops (214/sec), 1106915091 sampling steps, 57357 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1492311 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
184529 loops (212/sec), 1119851086 sampling steps, 58329 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1495943 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
185586 loops (211/sec), 1132751445 sampling steps, 59294 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1499636 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
186620 loops (206/sec), 1145636438 sampling steps, 60251 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1503148 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
187686 loops (213/sec), 1158510071 sampling steps, 61239 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1506615 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
188728 loops (208/sec), 1171338070 sampling steps, 62197 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1510167 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
189778 loops (209/sec), 1184227123 sampling steps, 63162 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1513635 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
190853 loops (215/sec), 1197195936 sampling steps, 64156 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1517083 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
191908 loops (210/sec), 1210093939 sampling steps, 65120 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1520509 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
192964 loops (211/sec), 1222999207 sampling steps, 66107 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1523770 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
194047 loops (216/sec), 1235959557 sampling steps, 67113 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1527025 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
195111 loops (212/sec), 1248912115 sampling steps, 68114 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1530360 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
196166 loops (210/sec), 1261597495 sampling steps, 69094 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1533444 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
197195 loops (205/sec), 1274359423 sampling steps, 70048 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1536671 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
198252 loops (211/sec), 1287114128 sampling steps, 71044 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1539764 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
199314 loops (212/sec), 1300024465 sampling steps, 72030 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1542942 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
200370 loops (211/sec), 1312944363 sampling steps, 73018 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1546007 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
201424 loops (210/sec), 1325802649 sampling steps, 74009 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1549147 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
202487 loops (212/sec), 1338734210 sampling steps, 75005 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1552255 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
203546 loops (211/sec), 1351646131 sampling steps, 75992 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1555333 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
204599 loops (210/sec), 1364592444 sampling steps, 76983 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1558531 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
205655 loops (211/sec), 1377511625 sampling steps, 77991 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1561444 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
206691 loops (207/sec), 1390377993 sampling steps, 78957 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1564539 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
207734 loops (208/sec), 1403191403 sampling steps, 79938 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1567429 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
208783 loops (209/sec), 1416073298 sampling steps, 80924 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1570258 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
209822 loops (207/sec), 1428889069 sampling steps, 81912 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1573073 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
210868 loops (209/sec), 1441794171 sampling steps, 82912 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1575933 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
211886 loops (203/sec), 1454571445 sampling steps, 83884 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1578666 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
212917 loops (206/sec), 1467345672 sampling steps, 84861 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1581361 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
213939 loops (204/sec), 1480122073 sampling steps, 85836 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1584037 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
214999 loops (212/sec), 1492956495 sampling steps, 86847 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1586642 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
216051 loops (210/sec), 1505849518 sampling steps, 87843 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1589476 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
217124 loops (214/sec), 1518785973 sampling steps, 88858 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1592211 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
218157 loops (206/sec), 1531648791 sampling steps, 89841 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1594882 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
219183 loops (205/sec), 1544494165 sampling steps, 90812 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1597623 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
220225 loops (208/sec), 1557395312 sampling steps, 91802 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1600246 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
221242 loops (203/sec), 1570238055 sampling steps, 92783 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1602808 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
222299 loops (211/sec), 1583155789 sampling steps, 93794 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1605389 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
223327 loops (205/sec), 1596032960 sampling steps, 94775 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1608122 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
224374 loops (209/sec), 1608965685 sampling steps, 95771 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1610712 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
225413 loops (207/sec), 1621821299 sampling steps, 96775 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1613168 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
226463 loops (209/sec), 1634687043 sampling steps, 97778 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1615744 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
227500 loops (207/sec), 1647576249 sampling steps, 98781 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1618005 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
228542 loops (208/sec), 1660502465 sampling steps, 99777 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1620485 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
229579 loops (207/sec), 1673403497 sampling steps, 100777 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1622899 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
230630 loops (210/sec), 1686346544 sampling steps, 101782 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1625288 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
231659 loops (205/sec), 1699284864 sampling steps, 102777 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1627669 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
232706 loops (209/sec), 1712186896 sampling steps, 103786 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1630049 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
233752 loops (209/sec), 1725102477 sampling steps, 104795 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1632388 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
234783 loops (206/sec), 1738014175 sampling steps, 105792 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1634719 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
235813 loops (206/sec), 1750895260 sampling steps, 106786 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1637114 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
236849 loops (207/sec), 1763793154 sampling steps, 107779 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1639364 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
237889 loops (207/sec), 1776681254 sampling steps, 108795 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1641657 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
238937 loops (209/sec), 1789577353 sampling steps, 109807 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1643955 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
239981 loops (208/sec), 1802490047 sampling steps, 110814 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1646349 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
241049 loops (213/sec), 1815476668 sampling steps, 111847 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1648481 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
242085 loops (207/sec), 1828391113 sampling steps, 112849 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1650710 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
243107 loops (204/sec), 1841311889 sampling steps, 113847 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1652889 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
244179 loops (214/sec), 1854271784 sampling steps, 114888 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1655023 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
245225 loops (209/sec), 1867213669 sampling steps, 115901 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1657196 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
246268 loops (208/sec), 1880157206 sampling steps, 116914 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1659245 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
247287 loops (203/sec), 1893038804 sampling steps, 117901 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1661370 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
248317 loops (205/sec), 1905974946 sampling steps, 118904 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1663470 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
249336 loops (203/sec), 1918856950 sampling steps, 119883 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1665780 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
250370 loops (206/sec), 1931687896 sampling steps, 120887 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1667957 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
251415 loops (208/sec), 1944565256 sampling steps, 121910 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1669959 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
252476 loops (212/sec), 1957505092 sampling steps, 122946 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1671942 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
253519 loops (208/sec), 1970397097 sampling steps, 123953 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1673842 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
254563 loops (208/sec), 1983247766 sampling steps, 124961 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1676078 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
255606 loops (208/sec), 1996104023 sampling steps, 125967 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1678119 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
256656 loops (209/sec), 2009023054 sampling steps, 126980 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1680193 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
257702 loops (209/sec), 2021949659 sampling steps, 127997 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1682109 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
258759 loops (211/sec), 2034868361 sampling steps, 129020 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1684183 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
259787 loops (205/sec), 2047710274 sampling steps, 130031 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1686043 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
260802 loops (202/sec), 2060537492 sampling steps, 131018 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1688105 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261816 loops (202/sec), 2073357048 sampling steps, 132006 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1690079 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
262829 loops (202/sec), 2086182004 sampling steps, 132997 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1692033 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
263851 loops (204/sec), 2099026697 sampling steps, 134000 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1693948 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
264884 loops (206/sec), 2111959496 sampling steps, 135008 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1695864 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
265917 loops (206/sec), 2124866753 sampling steps, 136021 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1697605 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
266974 loops (211/sec), 2137750714 sampling steps, 137058 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1699495 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
268041 loops (213/sec), 2150730814 sampling steps, 138091 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1701494 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
269072 loops (206/sec), 2163616548 sampling steps, 139089 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1703403 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
270092 loops (203/sec), 2176462569 sampling steps, 140091 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1705075 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
271144 loops (210/sec), 2189361136 sampling steps, 141109 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1706966 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
272178 loops (206/sec), 2202223504 sampling steps, 142115 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1708834 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
273204 loops (205/sec), 2215126484 sampling steps, 143119 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1710602 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
274243 loops (207/sec), 2227973682 sampling steps, 144130 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1712506 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
275261 loops (203/sec), 2240774530 sampling steps, 145131 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1714402 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
276316 loops (210/sec), 2253728291 sampling steps, 146171 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1716105 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
277344 loops (205/sec), 2266654262 sampling steps, 147188 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1717765 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
278388 loops (208/sec), 2279569823 sampling steps, 148214 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1719503 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
279416 loops (205/sec), 2292506553 sampling steps, 149221 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1721185 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
280441 loops (205/sec), 2305397106 sampling steps, 150224 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1722959 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
281475 loops (206/sec), 2318334000 sampling steps, 151235 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1724703 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
282501 loops (205/sec), 2331266714 sampling steps, 152238 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1726423 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
283544 loops (208/sec), 2344202795 sampling steps, 153257 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1728104 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
284585 loops (208/sec), 2357135515 sampling steps, 154275 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1729834 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
285640 loops (210/sec), 2370082255 sampling steps, 155312 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1731488 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
286665 loops (204/sec), 2382944448 sampling steps, 156318 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1733246 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
287672 loops (201/sec), 2395804667 sampling steps, 157301 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1734930 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
288706 loops (206/sec), 2408719848 sampling steps, 158318 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1736635 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
289732 loops (205/sec), 2421620631 sampling steps, 159325 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1738334 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
290749 loops (203/sec), 2434478295 sampling steps, 160324 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1739953 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
291784 loops (206/sec), 2447405406 sampling steps, 161349 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1741558 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
292824 loops (207/sec), 2460336590 sampling steps, 162368 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1743168 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
293852 loops (205/sec), 2473218418 sampling steps, 163376 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1744773 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
294878 loops (205/sec), 2486116674 sampling steps, 164382 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1746422 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
295891 loops (202/sec), 2498945470 sampling steps, 165377 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1748105 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
296914 loops (204/sec), 2511795131 sampling steps, 166383 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1749602 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
297951 loops (207/sec), 2524718999 sampling steps, 167407 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1751150 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
298974 loops (204/sec), 2537601646 sampling steps, 168412 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1752709 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
299992 loops (203/sec), 2550472624 sampling steps, 169410 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1754347 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
301034 loops (208/sec), 2563351985 sampling steps, 170431 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1756065 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
302065 loops (206/sec), 2576284179 sampling steps, 171441 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1757708 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
303089 loops (204/sec), 2589145877 sampling steps, 172449 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1759293 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
304125 loops (207/sec), 2602059136 sampling steps, 173473 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1760875 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
305153 loops (205/sec), 2614928332 sampling steps, 174485 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1762362 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
306204 loops (210/sec), 2627891272 sampling steps, 175525 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1763808 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
307235 loops (206/sec), 2640750611 sampling steps, 176533 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1765389 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
308276 loops (208/sec), 2653646843 sampling steps, 177561 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1766891 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
309309 loops (206/sec), 2666572776 sampling steps, 178576 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1768432 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
310329 loops (203/sec), 2679405995 sampling steps, 179583 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1769947 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
311362 loops (206/sec), 2692271290 sampling steps, 180607 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1771335 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
312378 loops (203/sec), 2705143289 sampling steps, 181613 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1772724 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
313415 loops (207/sec), 2718030946 sampling steps, 182633 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1774217 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
314434 loops (203/sec), 2730925843 sampling steps, 183641 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1775721 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
315463 loops (205/sec), 2743810496 sampling steps, 184656 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1777079 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
316508 loops (209/sec), 2756707149 sampling steps, 185688 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1778448 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
317529 loops (204/sec), 2769563735 sampling steps, 186700 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1779827 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
318557 loops (205/sec), 2782446989 sampling steps, 187713 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1781239 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
319589 loops (206/sec), 2795341416 sampling steps, 188731 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1782694 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
320637 loops (209/sec), 2808201337 sampling steps, 189767 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1784117 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
321657 loops (204/sec), 2821108840 sampling steps, 190774 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1785524 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
322690 loops (206/sec), 2834000401 sampling steps, 191796 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1786853 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
323730 loops (207/sec), 2846860951 sampling steps, 192824 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1788276 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
324773 loops (208/sec), 2859782038 sampling steps, 193849 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1789677 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
325797 loops (204/sec), 2872641370 sampling steps, 194861 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1790984 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
326836 loops (207/sec), 2885532971 sampling steps, 195887 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1792417 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
327883 loops (209/sec), 2898454725 sampling steps, 196917 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1793745 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
328902 loops (203/sec), 2911349301 sampling steps, 197919 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1795090 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
329948 loops (209/sec), 2924277009 sampling steps, 198947 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1796461 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
330985 loops (207/sec), 2937212324 sampling steps, 199970 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1797781 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
332026 loops (208/sec), 2950129261 sampling steps, 200996 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1799087 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
333047 loops (203/sec), 2962995194 sampling steps, 202005 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1800412 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
334064 loops (203/sec), 2975884142 sampling steps, 203012 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1801673 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
335088 loops (204/sec), 2988843327 sampling steps, 204027 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1802960 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
336117 loops (205/sec), 3001760997 sampling steps, 205043 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1804359 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
337157 loops (207/sec), 3014723823 sampling steps, 206064 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1805666 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
338184 loops (205/sec), 3027656814 sampling steps, 207079 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1807032 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
339208 loops (204/sec), 3040590973 sampling steps, 208098 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1808217 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
340246 loops (207/sec), 3053556010 sampling steps, 209117 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1809609 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
341281 loops (206/sec), 3066489535 sampling steps, 210138 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1810951 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
342321 loops (207/sec), 3079476396 sampling steps, 211167 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1812352 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
343376 loops (210/sec), 3092446247 sampling steps, 212210 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1813706 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
344411 loops (206/sec), 3105429818 sampling steps, 213231 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1814951 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
345441 loops (206/sec), 3118383320 sampling steps, 214254 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1816186 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
346477 loops (207/sec), 3131369494 sampling steps, 215278 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1817519 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
347537 loops (211/sec), 3144358538 sampling steps, 216319 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1818861 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
348572 loops (206/sec), 3157296815 sampling steps, 217339 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1820172 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
349608 loops (207/sec), 3170245646 sampling steps, 218367 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1821371 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
350641 loops (206/sec), 3183168423 sampling steps, 219383 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1822616 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
351686 loops (208/sec), 3196133165 sampling steps, 220418 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1823956 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
352737 loops (210/sec), 3209139775 sampling steps, 221457 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1825144 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
353756 loops (203/sec), 3222108416 sampling steps, 222466 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1826443 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
354785 loops (205/sec), 3235070964 sampling steps, 223483 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1827743 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
355818 loops (206/sec), 3248049740 sampling steps, 224508 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1828990 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
356883 loops (213/sec), 3261086611 sampling steps, 225564 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1830252 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
357920 loops (207/sec), 3274091632 sampling steps, 226593 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1831428 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
358938 loops (203/sec), 3287060289 sampling steps, 227599 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1832626 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
359987 loops (209/sec), 3299993978 sampling steps, 228638 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1833809 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
361033 loops (209/sec), 3312923825 sampling steps, 229679 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1834941 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
362073 loops (207/sec), 3325858603 sampling steps, 230705 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1836161 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
363115 loops (208/sec), 3338798707 sampling steps, 231741 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1837444 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
364146 loops (206/sec), 3351757592 sampling steps, 232762 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1838693 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
365177 loops (206/sec), 3364727577 sampling steps, 233784 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1839824 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
366231 loops (210/sec), 3377740940 sampling steps, 234829 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1840967 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
367269 loops (207/sec), 3390704634 sampling steps, 235857 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1842192 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
368317 loops (209/sec), 3403678277 sampling steps, 236892 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1843342 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
369369 loops (210/sec), 3416678864 sampling steps, 237935 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1844500 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
370393 loops (204/sec), 3429667336 sampling steps, 238951 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1845547 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
371442 loops (209/sec), 3442654751 sampling steps, 239995 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1846576 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
372476 loops (206/sec), 3455638371 sampling steps, 241020 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1847775 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
373538 loops (212/sec), 3468635509 sampling steps, 242069 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1849077 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
374574 loops (206/sec), 3481592029 sampling steps, 243091 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1850289 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
375635 loops (211/sec), 3494613311 sampling steps, 244144 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1851434 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
376663 loops (205/sec), 3507587936 sampling steps, 245163 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1852566 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
377690 loops (205/sec), 3520600354 sampling steps, 246182 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1853666 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
378732 loops (208/sec), 3533591249 sampling steps, 247214 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1854724 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
379770 loops (207/sec), 3546596675 sampling steps, 248243 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1855857 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
380793 loops (204/sec), 3559524968 sampling steps, 249252 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1856951 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
381823 loops (206/sec), 3572504567 sampling steps, 250272 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1857939 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
382866 loops (208/sec), 3585494864 sampling steps, 251301 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1859054 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
383902 loops (207/sec), 3598458824 sampling steps, 252328 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1860219 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
384938 loops (207/sec), 3611442920 sampling steps, 253360 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1861192 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
385974 loops (206/sec), 3624429836 sampling steps, 254392 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1862221 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
387023 loops (209/sec), 3637403498 sampling steps, 255429 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1863385 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
388068 loops (208/sec), 3650346563 sampling steps, 256467 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1864404 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
389095 loops (205/sec), 3663339271 sampling steps, 257488 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1865496 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
390136 loops (208/sec), 3676314589 sampling steps, 258519 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1866587 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
391191 loops (210/sec), 3689318144 sampling steps, 259562 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1867661 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
392233 loops (208/sec), 3702312571 sampling steps, 260597 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1868734 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
393260 loops (205/sec), 3715251900 sampling steps, 261617 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1869797 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
394291 loops (206/sec), 3728228975 sampling steps, 262641 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1870838 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
395315 loops (204/sec), 3741166932 sampling steps, 263657 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1871888 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
396345 loops (205/sec), 3754139148 sampling steps, 264679 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1873027 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
397419 loops (214/sec), 3767145476 sampling steps, 265746 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1874076 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
398449 loops (206/sec), 3780109801 sampling steps, 266767 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1875097 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
399486 loops (207/sec), 3793051934 sampling steps, 267795 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1876178 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
400505 loops (203/sec), 3805985700 sampling steps, 268808 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1877160 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
401557 loops (210/sec), 3818983710 sampling steps, 269854 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1878211 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
402577 loops (203/sec), 3831960338 sampling steps, 270869 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1879265 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
403626 loops (209/sec), 3844956700 sampling steps, 271908 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1880385 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
404670 loops (208/sec), 3857964885 sampling steps, 272945 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1881297 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
405723 loops (210/sec), 3870969557 sampling steps, 273995 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1882224 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
406743 loops (204/sec), 3883944363 sampling steps, 275010 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1883211 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
407774 loops (206/sec), 3896908965 sampling steps, 276030 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1884276 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
408798 loops (204/sec), 3909881558 sampling steps, 277048 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1885151 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
409841 loops (208/sec), 3922889920 sampling steps, 278087 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1886117 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
410862 loops (204/sec), 3935854947 sampling steps, 279099 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1887116 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
411913 loops (209/sec), 3948821264 sampling steps, 280141 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1888189 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
412945 loops (206/sec), 3961791501 sampling steps, 281164 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1889205 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
413983 loops (207/sec), 3974769880 sampling steps, 282194 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1890159 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
415006 loops (204/sec), 3987748682 sampling steps, 283213 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1891117 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
416043 loops (207/sec), 4000747496 sampling steps, 284245 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1892121 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
417095 loops (210/sec), 4013750563 sampling steps, 285290 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1893066 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
418122 loops (205/sec), 4026731665 sampling steps, 286309 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1894075 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
419168 loops (209/sec), 4039724387 sampling steps, 287350 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1895014 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
420217 loops (209/sec), 4052575783 sampling steps, 288393 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1895980 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
421210 loops (198/sec), 4065471046 sampling steps, 289382 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1896882 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
422219 loops (201/sec), 4078404808 sampling steps, 290381 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1897867 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
423243 loops (204/sec), 4091353461 sampling steps, 291398 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1898784 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
424283 loops (207/sec), 4104267174 sampling steps, 292431 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1899718 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
425308 loops (204/sec), 4117199618 sampling steps, 293449 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1900702 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
426351 loops (208/sec), 4130193449 sampling steps, 294487 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1901629 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
427387 loops (207/sec), 4143177968 sampling steps, 295519 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1902516 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
428428 loops (208/sec), 4156187451 sampling steps, 296551 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1903396 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
429465 loops (207/sec), 4169172962 sampling steps, 297582 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1904414 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
430488 loops (204/sec), 4182154469 sampling steps, 298602 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1905331 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
431517 loops (205/sec), 4195141333 sampling steps, 299625 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1906290 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
432545 loops (205/sec), 4208106962 sampling steps, 300649 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1907193 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
433559 loops (202/sec), 4221081254 sampling steps, 301651 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1908191 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
434591 loops (206/sec), 4234045670 sampling steps, 302672 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1909132 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
435602 loops (202/sec), 4246981431 sampling steps, 303674 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1910052 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
436622 loops (204/sec), 4259871874 sampling steps, 304688 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1910995 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:
437673 loops (210/sec), 4272831790 sampling steps, 305729 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1911906 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:
438716 loops (208/sec), 4285811365 sampling steps, 306765 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1912827 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:
439743 loops (205/sec), 4298791856 sampling steps, 307784 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1913705 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:
440777 loops (206/sec), 4311783484 sampling steps, 308816 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1914609 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:
441810 loops (206/sec), 4324714935 sampling steps, 309839 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1915590 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:
442823 loops (202/sec), 4337645238 sampling steps, 310848 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1916377 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:
443864 loops (208/sec), 4350639284 sampling steps, 311883 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1917228 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:
444893 loops (205/sec), 4363588590 sampling steps, 312907 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1918092 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:
445927 loops (206/sec), 4376576225 sampling steps, 313937 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1919002 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:
446967 loops (207/sec), 4389564975 sampling steps, 314970 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1919923 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:
448006 loops (207/sec), 4402502920 sampling steps, 316002 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1920742 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:
449016 loops (202/sec), 4415398051 sampling steps, 317004 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1921663 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:
450052 loops (207/sec), 4428331649 sampling steps, 318034 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1922563 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:
451069 loops (203/sec), 4441271372 sampling steps, 319044 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1923536 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:
452082 loops (202/sec), 4454201803 sampling steps, 320052 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1924389 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:
453108 loops (205/sec), 4467144431 sampling steps, 321075 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1925254 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:
454153 loops (208/sec), 4480152677 sampling steps, 322114 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1926152 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:
455192 loops (207/sec), 4493150990 sampling steps, 323144 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1927096 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:
456229 loops (207/sec), 4506155285 sampling steps, 324174 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1927973 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:
457254 loops (204/sec), 4519117114 sampling steps, 325189 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1928945 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:
458288 loops (206/sec), 4532118541 sampling steps, 326215 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1929790 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:
459313 loops (204/sec), 4545084253 sampling steps, 327232 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1930553 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:
460386 loops (214/sec), 4558602093 sampling steps, 328303 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1931403 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:
461543 loops (231/sec), 4573157801 sampling steps, 329452 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1932450 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:
462703 loops (231/sec), 4587730611 sampling steps, 330601 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1933474 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:
463875 loops (234/sec), 4602343140 sampling steps, 331762 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1934438 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:
465045 loops (233/sec), 4616941550 sampling steps, 332923 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1935434 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:
466190 loops (228/sec), 4631498728 sampling steps, 334062 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1936344 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0128781795502 seconds since the total time limit of 1800.0 seconds was exceeded.