Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:49:34 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/kanban/kanban.prism --const t=5 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:49:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33609 loops (6721/sec), 4433921 sampling steps, 489 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
332117 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56806 loops (4639/sec), 10585295 sampling steps, 1236 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
558738 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76369 loops (3912/sec), 18155948 sampling steps, 2195 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
747631 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92504 loops (3227/sec), 26362999 sampling steps, 3365 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
901181 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
105696 loops (2638/sec), 34760666 sampling steps, 4738 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1024165 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117996 loops (2460/sec), 44206178 sampling steps, 6371 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1136644 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
128505 loops (2101/sec), 53822951 sampling steps, 8186 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1230124 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137708 loops (1840/sec), 63559757 sampling steps, 10183 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1309866 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
146343 loops (1727/sec), 73926727 sampling steps, 12461 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1382164 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
154001 loops (1531/sec), 84196983 sampling steps, 14905 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1443893 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156264 loops (452/sec), 87451151 sampling steps, 15657 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1461798 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
162997 loops (1346/sec), 97721655 sampling steps, 18257 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1513322 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
169150 loops (1230/sec), 107820475 sampling steps, 20893 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1558206 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
175176 loops (1205/sec), 118491078 sampling steps, 23808 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1600436 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
181064 loops (1177/sec), 129475878 sampling steps, 26899 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1639696 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
186710 loops (1129/sec), 140350742 sampling steps, 30046 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1675929 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
192125 loops (1083/sec), 151432376 sampling steps, 33293 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1709108 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
197254 loops (1025/sec), 162310227 sampling steps, 36564 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1739118 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
202207 loops (990/sec), 173198329 sampling steps, 39964 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1765946 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
207107 loops (980/sec), 184208387 sampling steps, 43461 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1791482 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
212033 loops (985/sec), 195495239 sampling steps, 47097 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1815553 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
216876 loops (968/sec), 206687286 sampling steps, 50832 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1837990 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
221582 loops (941/sec), 217888176 sampling steps, 54587 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1858168 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
226262 loops (936/sec), 229245597 sampling steps, 58372 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1877800 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
230967 loops (941/sec), 240657609 sampling steps, 62312 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1896146 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
235347 loops (875/sec), 251819236 sampling steps, 65984 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1913146 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
239784 loops (887/sec), 262977032 sampling steps, 69780 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1929387 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
244155 loops (874/sec), 274152132 sampling steps, 73594 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1944369 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
248562 loops (881/sec), 285583406 sampling steps, 77507 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1958535 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
252941 loops (875/sec), 296976723 sampling steps, 81441 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1971917 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
257225 loops (856/sec), 308235998 sampling steps, 85302 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1984721 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261514 loops (857/sec), 319580310 sampling steps, 89205 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1996932 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
265797 loops (856/sec), 330856769 sampling steps, 93154 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2008282 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
270073 loops (855/sec), 342208611 sampling steps, 97093 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2019425 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
274304 loops (846/sec), 353619846 sampling steps, 101054 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2029869 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
278674 loops (874/sec), 365265752 sampling steps, 105187 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2039670 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
282982 loops (861/sec), 376755888 sampling steps, 109268 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2049212 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
287270 loops (857/sec), 388168844 sampling steps, 113320 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2058556 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
291548 loops (855/sec), 399646468 sampling steps, 117396 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2067340 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
295766 loops (843/sec), 411038450 sampling steps, 121432 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2075932 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
300001 loops (846/sec), 422560380 sampling steps, 125492 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2084050 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
304324 loops (864/sec), 434245503 sampling steps, 129658 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2091702 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
308614 loops (858/sec), 445823908 sampling steps, 133802 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2099396 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
312880 loops (853/sec), 457492949 sampling steps, 137940 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2106814 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
317171 loops (858/sec), 469236777 sampling steps, 142102 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2114085 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
321451 loops (856/sec), 480986449 sampling steps, 146286 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2120685 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
325823 loops (874/sec), 492679929 sampling steps, 150566 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2127047 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
330134 loops (862/sec), 504379862 sampling steps, 154793 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2133156 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
334448 loops (862/sec), 516254174 sampling steps, 159004 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2139394 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
338735 loops (857/sec), 527821196 sampling steps, 163218 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2145045 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
343019 loops (856/sec), 539609525 sampling steps, 167427 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2150816 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
347307 loops (857/sec), 551259304 sampling steps, 171649 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2156171 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
351555 loops (849/sec), 562795106 sampling steps, 175835 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2161532 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
355854 loops (859/sec), 574414353 sampling steps, 180080 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2166664 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
360252 loops (879/sec), 586412398 sampling steps, 184413 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2171759 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
364532 loops (855/sec), 598118294 sampling steps, 188635 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2176598 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
368701 loops (833/sec), 609613722 sampling steps, 192766 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2180722 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
372914 loops (842/sec), 621334950 sampling steps, 196927 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2185284 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
377202 loops (857/sec), 633093553 sampling steps, 201158 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2189871 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
381396 loops (838/sec), 644672452 sampling steps, 205307 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2193952 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
385721 loops (864/sec), 656499648 sampling steps, 209591 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2198196 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
390047 loops (865/sec), 668242991 sampling steps, 213880 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2202111 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
394413 loops (873/sec), 680234389 sampling steps, 218206 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2206325 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
398604 loops (838/sec), 691749492 sampling steps, 222372 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2210016 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
403005 loops (880/sec), 703743875 sampling steps, 226732 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2213971 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
407157 loops (830/sec), 715291448 sampling steps, 230853 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2217551 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
411309 loops (830/sec), 726735333 sampling steps, 234971 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2221140 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
415536 loops (845/sec), 738319140 sampling steps, 239170 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2224432 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
419782 loops (849/sec), 749976350 sampling steps, 243394 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2227883 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
423972 loops (838/sec), 761593322 sampling steps, 247553 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2231202 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
428263 loops (858/sec), 773398899 sampling steps, 251820 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2234366 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
432470 loops (841/sec), 785025992 sampling steps, 256006 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2237391 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
436674 loops (840/sec), 796463737 sampling steps, 260191 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2240197 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
440920 loops (849/sec), 808096173 sampling steps, 264415 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2242962 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
445203 loops (856/sec), 819806249 sampling steps, 268678 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2245757 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
449535 loops (866/sec), 831746355 sampling steps, 272989 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2248486 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
453946 loops (882/sec), 843743302 sampling steps, 277376 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2251199 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
458248 loops (860/sec), 855523239 sampling steps, 281652 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2254016 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
462425 loops (835/sec), 867094746 sampling steps, 285806 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2256687 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
466688 loops (852/sec), 878766418 sampling steps, 290051 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2259396 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
471048 loops (872/sec), 890736547 sampling steps, 294391 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2262091 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
475313 loops (853/sec), 902530015 sampling steps, 298633 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2264736 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
479586 loops (854/sec), 914371154 sampling steps, 302889 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2267269 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
483844 loops (851/sec), 926056982 sampling steps, 307135 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2269550 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
488183 loops (867/sec), 938014022 sampling steps, 311452 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2271981 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
492449 loops (853/sec), 949799986 sampling steps, 315693 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2274275 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
496736 loops (857/sec), 961591478 sampling steps, 319964 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2276681 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
501171 loops (887/sec), 973726400 sampling steps, 324386 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2278826 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
505490 loops (863/sec), 985618007 sampling steps, 328694 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2280974 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
509808 loops (863/sec), 997527411 sampling steps, 333000 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2283064 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
514025 loops (843/sec), 1009035108 sampling steps, 337197 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2285151 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
518232 loops (841/sec), 1020561562 sampling steps, 341391 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2287010 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
522498 loops (853/sec), 1032200227 sampling steps, 345649 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2288911 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
526723 loops (844/sec), 1043869697 sampling steps, 349858 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2290839 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
531058 loops (866/sec), 1055729763 sampling steps, 354180 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2292674 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
535361 loops (860/sec), 1067572689 sampling steps, 358471 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2294688 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
539707 loops (869/sec), 1079555095 sampling steps, 362808 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2296519 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
544010 loops (860/sec), 1091449629 sampling steps, 367103 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2298465 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
548286 loops (855/sec), 1103408306 sampling steps, 371372 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2300338 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
552653 loops (873/sec), 1115397420 sampling steps, 375724 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2302162 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
556992 loops (867/sec), 1127313182 sampling steps, 380057 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2303926 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
561216 loops (844/sec), 1138971050 sampling steps, 384277 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2305567 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
565474 loops (851/sec), 1150701179 sampling steps, 388523 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2307457 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
569732 loops (851/sec), 1162632250 sampling steps, 392774 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2309101 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
574127 loops (879/sec), 1174803137 sampling steps, 397160 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2310876 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
578399 loops (854/sec), 1186624209 sampling steps, 401425 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2312478 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
582770 loops (874/sec), 1198719831 sampling steps, 405787 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2314071 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
587138 loops (873/sec), 1210637529 sampling steps, 410149 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2315547 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
591458 loops (864/sec), 1222501123 sampling steps, 414456 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2317162 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
595881 loops (884/sec), 1234508891 sampling steps, 418875 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2318679 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
600262 loops (876/sec), 1246418420 sampling steps, 423245 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2320173 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
604529 loops (853/sec), 1258235699 sampling steps, 427503 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2321536 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
608779 loops (849/sec), 1269987626 sampling steps, 431749 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2322853 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
613130 loops (870/sec), 1281881514 sampling steps, 436093 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2324288 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
617462 loops (866/sec), 1293572992 sampling steps, 440421 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2325657 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
621740 loops (855/sec), 1305416393 sampling steps, 444690 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2327092 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
625986 loops (849/sec), 1317080093 sampling steps, 448930 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2328499 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
630383 loops (879/sec), 1329147405 sampling steps, 453321 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2329920 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
634782 loops (879/sec), 1341068230 sampling steps, 457717 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2331184 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
639053 loops (854/sec), 1352860156 sampling steps, 461981 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2332677 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
643351 loops (859/sec), 1364653097 sampling steps, 466276 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2333862 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
647656 loops (861/sec), 1376460519 sampling steps, 470577 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2335117 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
651929 loops (854/sec), 1388303709 sampling steps, 474846 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2336390 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
656329 loops (880/sec), 1400283904 sampling steps, 479237 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2337590 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
660698 loops (873/sec), 1412304778 sampling steps, 483601 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2338888 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
665109 loops (882/sec), 1424264995 sampling steps, 488006 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2340192 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
669376 loops (853/sec), 1436091834 sampling steps, 492266 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2341367 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
673545 loops (833/sec), 1447711750 sampling steps, 496434 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2342548 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
677827 loops (856/sec), 1459488408 sampling steps, 500710 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2343665 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
682029 loops (840/sec), 1471112392 sampling steps, 504909 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2344802 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
686342 loops (862/sec), 1482889576 sampling steps, 509216 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2345988 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
690614 loops (854/sec), 1494723361 sampling steps, 513485 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2347052 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
694927 loops (862/sec), 1506613721 sampling steps, 517794 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2348106 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
699292 loops (872/sec), 1518611832 sampling steps, 522158 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2349193 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
703565 loops (854/sec), 1530414395 sampling steps, 526429 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2350242 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
707878 loops (862/sec), 1542413573 sampling steps, 530738 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2351332 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
712281 loops (880/sec), 1554439329 sampling steps, 535138 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2352306 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
716525 loops (848/sec), 1566125107 sampling steps, 539380 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2353271 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
720854 loops (865/sec), 1577927368 sampling steps, 543707 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2354378 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
725272 loops (883/sec), 1590124811 sampling steps, 548122 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2355364 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
729629 loops (871/sec), 1602208228 sampling steps, 552476 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2356307 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
734007 loops (875/sec), 1614206405 sampling steps, 556849 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2357211 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
738228 loops (844/sec), 1625965356 sampling steps, 561067 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2358098 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
742570 loops (868/sec), 1637795499 sampling steps, 565404 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2359022 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
746811 loops (848/sec), 1649662082 sampling steps, 569644 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2359922 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
751204 loops (878/sec), 1661745893 sampling steps, 574032 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2360824 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
755562 loops (871/sec), 1673782323 sampling steps, 578388 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2361750 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
759861 loops (859/sec), 1685695474 sampling steps, 582685 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2362730 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
764242 loops (876/sec), 1697711426 sampling steps, 587063 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2363614 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
768513 loops (854/sec), 1709529360 sampling steps, 591329 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2364611 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
772892 loops (875/sec), 1721655846 sampling steps, 595701 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2365541 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
777268 loops (875/sec), 1733735400 sampling steps, 600072 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2366370 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
781636 loops (873/sec), 1745789080 sampling steps, 604440 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2367231 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
786030 loops (878/sec), 1757832138 sampling steps, 608831 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2368053 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
790236 loops (841/sec), 1769450894 sampling steps, 613034 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2368930 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
794442 loops (841/sec), 1781085924 sampling steps, 617239 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2369777 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
798720 loops (855/sec), 1792807467 sampling steps, 621514 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2370570 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
802888 loops (833/sec), 1804396885 sampling steps, 625680 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2371374 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
807094 loops (841/sec), 1816078887 sampling steps, 629885 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2372194 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
811345 loops (850/sec), 1827731632 sampling steps, 634134 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2372948 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
815642 loops (859/sec), 1839403264 sampling steps, 638431 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2373737 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
819896 loops (850/sec), 1851083530 sampling steps, 642683 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2374504 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
824117 loops (844/sec), 1862594251 sampling steps, 646901 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2375336 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
828362 loops (848/sec), 1874213840 sampling steps, 651140 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2376129 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
832620 loops (851/sec), 1885957114 sampling steps, 655397 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2376842 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
836703 loops (816/sec), 1897488839 sampling steps, 659479 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2377562 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
840903 loops (840/sec), 1909133493 sampling steps, 663676 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2378341 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
845217 loops (862/sec), 1921009952 sampling steps, 667988 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2379094 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
849594 loops (875/sec), 1932908878 sampling steps, 672365 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2379793 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
853896 loops (860/sec), 1944741198 sampling steps, 676664 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2380520 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
858227 loops (866/sec), 1956809867 sampling steps, 680993 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2381162 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
862583 loops (871/sec), 1968830150 sampling steps, 685349 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2381849 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
866887 loops (860/sec), 1980853340 sampling steps, 689653 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2382479 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
871077 loops (838/sec), 1992531975 sampling steps, 693843 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2383103 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
875398 loops (864/sec), 2004415784 sampling steps, 698162 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2383761 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
879779 loops (876/sec), 2016432839 sampling steps, 702542 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2384515 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
883993 loops (842/sec), 2028329884 sampling steps, 706754 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2385213 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
888409 loops (883/sec), 2040514917 sampling steps, 711170 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2385867 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
892657 loops (849/sec), 2052266783 sampling steps, 715415 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2386539 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
897033 loops (875/sec), 2064080187 sampling steps, 719790 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2387187 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
901251 loops (843/sec), 2075958890 sampling steps, 724006 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2387851 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
905594 loops (868/sec), 2087758728 sampling steps, 728347 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2388498 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
909956 loops (872/sec), 2099732747 sampling steps, 732708 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2389160 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
914229 loops (854/sec), 2111579573 sampling steps, 736979 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2389785 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
918505 loops (855/sec), 2123381196 sampling steps, 741254 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2390348 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
922799 loops (858/sec), 2135046893 sampling steps, 745546 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2390979 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
927033 loops (846/sec), 2146645778 sampling steps, 749779 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2391551 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
931259 loops (845/sec), 2158233206 sampling steps, 754003 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2392180 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
935489 loops (846/sec), 2169901443 sampling steps, 758232 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2392746 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
939792 loops (860/sec), 2181802145 sampling steps, 762535 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2393364 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
943975 loops (836/sec), 2193437935 sampling steps, 766715 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2393993 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
948245 loops (854/sec), 2205349154 sampling steps, 770984 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2394540 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
952555 loops (861/sec), 2217193537 sampling steps, 775292 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2395115 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
956863 loops (861/sec), 2229103111 sampling steps, 779600 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2395680 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
961126 loops (852/sec), 2240914867 sampling steps, 783862 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2396252 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
965317 loops (838/sec), 2252468231 sampling steps, 788053 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2396777 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
969492 loops (835/sec), 2264190890 sampling steps, 792226 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2397316 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
973635 loops (828/sec), 2275799091 sampling steps, 796369 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2397852 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
977866 loops (846/sec), 2287346126 sampling steps, 800596 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2398452 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
982151 loops (857/sec), 2299023683 sampling steps, 804881 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2398936 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
986326 loops (835/sec), 2310631111 sampling steps, 809055 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2399397 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
990559 loops (846/sec), 2322278450 sampling steps, 813288 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2399951 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
994782 loops (844/sec), 2334008478 sampling steps, 817510 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2400509 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
999005 loops (844/sec), 2345617151 sampling steps, 821733 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2401046 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1003267 loops (852/sec), 2357221937 sampling steps, 825994 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2401571 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1007482 loops (843/sec), 2368851872 sampling steps, 830209 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2402098 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1011697 loops (842/sec), 2380400090 sampling steps, 834424 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2402600 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1015947 loops (850/sec), 2392112688 sampling steps, 838673 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2403125 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1020249 loops (860/sec), 2404044992 sampling steps, 842975 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2403650 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1024481 loops (846/sec), 2415746549 sampling steps, 847207 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2404119 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1028691 loops (841/sec), 2427360488 sampling steps, 851416 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2404569 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1032976 loops (857/sec), 2439151941 sampling steps, 855701 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2405066 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1037338 loops (872/sec), 2451110376 sampling steps, 860063 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2405524 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1041670 loops (866/sec), 2463084564 sampling steps, 864391 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2406089 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1045862 loops (838/sec), 2474839847 sampling steps, 868582 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2406566 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1050185 loops (864/sec), 2486824531 sampling steps, 872904 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2407083 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1054393 loops (841/sec), 2498509189 sampling steps, 877110 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2407562 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1058715 loops (864/sec), 2510316930 sampling steps, 881432 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2408019 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1063109 loops (878/sec), 2522392394 sampling steps, 885826 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2408454 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1067573 loops (892/sec), 2534543462 sampling steps, 890289 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2408870 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1071869 loops (859/sec), 2546304340 sampling steps, 894583 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2409363 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1076215 loops (869/sec), 2558272273 sampling steps, 898929 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2409814 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1080569 loops (870/sec), 2570168891 sampling steps, 903283 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2410288 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1084872 loops (860/sec), 2582100796 sampling steps, 907586 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2410753 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1089181 loops (861/sec), 2593928498 sampling steps, 911894 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2411267 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1093457 loops (855/sec), 2605744034 sampling steps, 916168 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2411688 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1097879 loops (884/sec), 2617969457 sampling steps, 920589 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2412136 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1102211 loops (866/sec), 2629697298 sampling steps, 924921 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2412536 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1106570 loops (871/sec), 2641645080 sampling steps, 929280 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2412954 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1110872 loops (860/sec), 2653474289 sampling steps, 933582 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2413398 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1115300 loops (885/sec), 2665539443 sampling steps, 938010 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2413816 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1119695 loops (879/sec), 2677593253 sampling steps, 942403 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2414292 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1123970 loops (855/sec), 2689541209 sampling steps, 946678 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2414706 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1128326 loops (871/sec), 2701456607 sampling steps, 951034 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2415127 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1132669 loops (868/sec), 2713261104 sampling steps, 955377 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2415520 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1137042 loops (874/sec), 2725415991 sampling steps, 959748 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2415968 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1141340 loops (859/sec), 2737293117 sampling steps, 964045 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2416342 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1145630 loops (858/sec), 2749263418 sampling steps, 968335 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2416727 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1150103 loops (894/sec), 2761297508 sampling steps, 972808 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2417162 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1154382 loops (855/sec), 2773245847 sampling steps, 977087 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2417586 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1158691 loops (861/sec), 2785212270 sampling steps, 981395 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2417945 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1162978 loops (857/sec), 2797039121 sampling steps, 985682 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2418333 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1167299 loops (864/sec), 2808863782 sampling steps, 990002 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2418734 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1171553 loops (850/sec), 2820634907 sampling steps, 994255 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2419093 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1175793 loops (848/sec), 2832328692 sampling steps, 998495 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2419478 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1180014 loops (844/sec), 2843992951 sampling steps, 1002716 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2419832 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1184132 loops (823/sec), 2855313044 sampling steps, 1006833 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2420176 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1188151 loops (803/sec), 2866503086 sampling steps, 1010852 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2420562 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1192360 loops (841/sec), 2878155491 sampling steps, 1015061 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2420934 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1196600 loops (848/sec), 2889863970 sampling steps, 1019300 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2421279 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1200859 loops (851/sec), 2901420411 sampling steps, 1023559 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2421662 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1205077 loops (843/sec), 2913100739 sampling steps, 1027777 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2422048 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1209329 loops (850/sec), 2924730611 sampling steps, 1032029 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2422399 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1213557 loops (845/sec), 2936537322 sampling steps, 1036257 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2422756 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1217876 loops (863/sec), 2948433312 sampling steps, 1040576 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2423096 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1222082 loops (841/sec), 2959994626 sampling steps, 1044781 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2423441 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1226258 loops (835/sec), 2971658383 sampling steps, 1048957 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2423772 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1230499 loops (848/sec), 2983346943 sampling steps, 1053198 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2424166 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1234710 loops (842/sec), 2994881480 sampling steps, 1057408 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2424607 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1238910 loops (840/sec), 3006581796 sampling steps, 1061608 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2424974 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1243179 loops (853/sec), 3018333525 sampling steps, 1065877 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2425286 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1247427 loops (849/sec), 3030026798 sampling steps, 1070124 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2425645 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1251759 loops (866/sec), 3042010806 sampling steps, 1074455 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2425981 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1256021 loops (852/sec), 3053685149 sampling steps, 1078717 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2426338 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1260401 loops (875/sec), 3065627656 sampling steps, 1083097 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2426739 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1264780 loops (875/sec), 3077629638 sampling steps, 1087475 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2427071 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1269047 loops (853/sec), 3089351483 sampling steps, 1091742 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2427411 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1273319 loops (854/sec), 3101062499 sampling steps, 1096014 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2427752 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1277592 loops (854/sec), 3112795595 sampling steps, 1100287 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2428021 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1281744 loops (830/sec), 3124386049 sampling steps, 1104438 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2428374 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1285920 loops (835/sec), 3136031414 sampling steps, 1108613 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2428678 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1290087 loops (833/sec), 3147721139 sampling steps, 1112780 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2429029 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1294324 loops (847/sec), 3159366634 sampling steps, 1117017 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2429343 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1298559 loops (847/sec), 3171107550 sampling steps, 1121252 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2429653 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1302809 loops (850/sec), 3182752736 sampling steps, 1125501 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2429950 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1307099 loops (857/sec), 3194497659 sampling steps, 1129791 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2430230 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1311184 loops (816/sec), 3205864490 sampling steps, 1133876 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2430486 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1315153 loops (793/sec), 3216857578 sampling steps, 1137845 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2430820 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1319215 loops (812/sec), 3227963295 sampling steps, 1141907 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2431090 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1323193 loops (795/sec), 3238973681 sampling steps, 1145884 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2431329 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1327077 loops (776/sec), 3249584507 sampling steps, 1149766 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2431571 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1330844 loops (753/sec), 3259950407 sampling steps, 1153533 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2431840 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1334865 loops (804/sec), 3270907375 sampling steps, 1157554 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2432100 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1338937 loops (814/sec), 3282155973 sampling steps, 1161626 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2432405 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1342735 loops (759/sec), 3292663066 sampling steps, 1165424 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2432636 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1346401 loops (733/sec), 3303080953 sampling steps, 1169090 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2432909 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1349985 loops (716/sec), 3313104389 sampling steps, 1172674 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2433125 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1353614 loops (725/sec), 3323199986 sampling steps, 1176302 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2433363 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1357346 loops (746/sec), 3333473249 sampling steps, 1180034 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2433621 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1361113 loops (753/sec), 3343825331 sampling steps, 1183801 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2433889 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1364831 loops (743/sec), 3354091358 sampling steps, 1187518 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2434130 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1368530 loops (739/sec), 3364351967 sampling steps, 1191216 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2434392 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1372220 loops (737/sec), 3374537660 sampling steps, 1194905 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2434653 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1376028 loops (761/sec), 3384776764 sampling steps, 1198712 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2434905 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1379750 loops (744/sec), 3394993780 sampling steps, 1202434 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2435140 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1383502 loops (750/sec), 3405221317 sampling steps, 1206186 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2435368 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1387153 loops (729/sec), 3415393550 sampling steps, 1209835 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2435589 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1390876 loops (744/sec), 3425655825 sampling steps, 1213558 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2435795 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1394611 loops (747/sec), 3435966536 sampling steps, 1217293 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2436018 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1398286 loops (735/sec), 3446185459 sampling steps, 1220968 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2436246 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1402067 loops (756/sec), 3456547638 sampling steps, 1224748 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2436504 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1405875 loops (761/sec), 3467010315 sampling steps, 1228556 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2436702 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1409573 loops (739/sec), 3477374031 sampling steps, 1232254 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2436899 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1413361 loops (757/sec), 3487791964 sampling steps, 1236042 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2437150 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1417092 loops (746/sec), 3498145579 sampling steps, 1239772 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2437391 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1420736 loops (728/sec), 3508278575 sampling steps, 1243416 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2437636 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1424440 loops (740/sec), 3518502849 sampling steps, 1247120 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2437868 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1428118 loops (735/sec), 3528805724 sampling steps, 1250797 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2438127 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1431790 loops (734/sec), 3539097826 sampling steps, 1254468 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2438333 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1435571 loops (756/sec), 3549591254 sampling steps, 1258249 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2438565 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1439310 loops (747/sec), 3559931433 sampling steps, 1261985 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2438846 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1443006 loops (739/sec), 3570186663 sampling steps, 1265681 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2439060 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1446865 loops (771/sec), 3580680556 sampling steps, 1269540 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2439272 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1450630 loops (753/sec), 3591018881 sampling steps, 1273304 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2439514 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1454395 loops (753/sec), 3601303953 sampling steps, 1277068 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2439752 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1458165 loops (754/sec), 3611544315 sampling steps, 1280838 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2440013 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1461862 loops (739/sec), 3621785090 sampling steps, 1284535 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2440247 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1465454 loops (718/sec), 3632046643 sampling steps, 1288127 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2440450 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1469189 loops (746/sec), 3642327006 sampling steps, 1291862 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2440676 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1472943 loops (750/sec), 3652630737 sampling steps, 1295616 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2440866 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1476637 loops (738/sec), 3662893930 sampling steps, 1299309 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2441084 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1480436 loops (759/sec), 3673119904 sampling steps, 1303108 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2441293 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1484204 loops (753/sec), 3683362213 sampling steps, 1306876 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2441522 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1488027 loops (764/sec), 3693884455 sampling steps, 1310698 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2441750 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1491773 loops (749/sec), 3704320551 sampling steps, 1314443 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2442025 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1495557 loops (756/sec), 3714787291 sampling steps, 1318226 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2442221 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1499339 loops (756/sec), 3725265138 sampling steps, 1322007 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2442426 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1503091 loops (750/sec), 3735630334 sampling steps, 1325759 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2442678 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1506857 loops (753/sec), 3745929448 sampling steps, 1329523 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2442861 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1510637 loops (755/sec), 3756287461 sampling steps, 1333303 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2443024 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1514363 loops (745/sec), 3766570292 sampling steps, 1337029 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2443232 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1518057 loops (738/sec), 3776862069 sampling steps, 1340723 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2443444 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1521799 loops (748/sec), 3787092221 sampling steps, 1344465 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2443655 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1525582 loops (756/sec), 3797383559 sampling steps, 1348247 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2443892 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1529367 loops (757/sec), 3807631285 sampling steps, 1352032 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2444099 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1533054 loops (737/sec), 3817864327 sampling steps, 1355719 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2444306 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1536784 loops (745/sec), 3828093421 sampling steps, 1359449 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2444481 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1540487 loops (740/sec), 3838322209 sampling steps, 1363151 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2444706 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1544205 loops (743/sec), 3848627723 sampling steps, 1366868 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2444933 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1547934 loops (745/sec), 3858928407 sampling steps, 1370597 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2445138 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1551633 loops (739/sec), 3869209176 sampling steps, 1374296 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2445285 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1555386 loops (750/sec), 3879507288 sampling steps, 1378049 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2445501 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1559050 loops (732/sec), 3889699570 sampling steps, 1381712 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2445691 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1562783 loops (746/sec), 3899924577 sampling steps, 1385445 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2445879 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1566577 loops (758/sec), 3910267185 sampling steps, 1389238 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2446070 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1570347 loops (753/sec), 3920597759 sampling steps, 1393006 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2446312 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1574123 loops (755/sec), 3931066076 sampling steps, 1396782 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2446504 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1577903 loops (755/sec), 3941420232 sampling steps, 1400562 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2446696 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1581759 loops (771/sec), 3951929512 sampling steps, 1404418 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2446901 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1585582 loops (764/sec), 3962484838 sampling steps, 1408241 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2447069 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1589384 loops (760/sec), 3972934715 sampling steps, 1412043 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2447257 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1592997 loops (722/sec), 3983142790 sampling steps, 1415656 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2447427 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1596748 loops (750/sec), 3993591243 sampling steps, 1419407 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2447583 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1600579 loops (766/sec), 4004064359 sampling steps, 1423238 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2447801 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1604254 loops (735/sec), 4014259637 sampling steps, 1426913 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2447988 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1607994 loops (748/sec), 4024522870 sampling steps, 1430652 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2448140 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1611799 loops (760/sec), 4035001092 sampling steps, 1434457 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2448315 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1615603 loops (760/sec), 4045480207 sampling steps, 1438260 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2448511 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1619475 loops (774/sec), 4056044867 sampling steps, 1442131 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2448718 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0241446495056 seconds since the total time limit of 1800.0 seconds was exceeded.