Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:49:32 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/kanban/kanban.prism --const t=6 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:49:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33462 loops (6692/sec), 3229021 sampling steps, 209 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
332880 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61694 loops (5646/sec), 7688246 sampling steps, 489 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
612939 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86464 loops (4954/sec), 12757062 sampling steps, 770 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
858406 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109352 loops (4577/sec), 18354271 sampling steps, 1074 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1084909 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130372 loops (4204/sec), 24252855 sampling steps, 1434 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1292317 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149835 loops (3892/sec), 30438262 sampling steps, 1802 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1484063 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
166363 loops (3305/sec), 36186817 sampling steps, 2168 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1646521 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
184361 loops (3599/sec), 43098322 sampling steps, 2596 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1823337 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
201266 loops (3381/sec), 50143520 sampling steps, 3068 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1988954 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
217594 loops (3265/sec), 57481399 sampling steps, 3579 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2148414 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
233196 loops (3120/sec), 64978491 sampling steps, 4103 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2300666 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
247578 loops (2876/sec), 72384773 sampling steps, 4629 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2440702 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261995 loops (2883/sec), 80287534 sampling steps, 5201 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2580717 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
275194 loops (2639/sec), 87834820 sampling steps, 5746 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2708813 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
287901 loops (2541/sec), 95615540 sampling steps, 6287 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2832084 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
300217 loops (2463/sec), 103476666 sampling steps, 6919 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2950777 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
312143 loops (2385/sec), 111492319 sampling steps, 7566 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3065527 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
323502 loops (2271/sec), 119490155 sampling steps, 8278 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3174312 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
334615 loops (2222/sec), 127555861 sampling steps, 8952 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3280913 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
345541 loops (2155/sec), 135823625 sampling steps, 9611 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3385625 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
356045 loops (2075/sec), 144120485 sampling steps, 10337 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3485719 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
366318 loops (2054/sec), 152610352 sampling steps, 11088 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3583275 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
373596 loops (1455/sec), 158776802 sampling steps, 11612 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3652496 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
382910 loops (1862/sec), 166991047 sampling steps, 12345 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3740735 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
392523 loops (1906/sec), 175752066 sampling steps, 13159 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3831482 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
401940 loops (1883/sec), 184630300 sampling steps, 13950 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3920308 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
410888 loops (1789/sec), 193349289 sampling steps, 14736 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4004519 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
419566 loops (1735/sec), 202086203 sampling steps, 15556 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4085813 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
427984 loops (1683/sec), 210839390 sampling steps, 16356 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4164553 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
436212 loops (1645/sec), 219613481 sampling steps, 17163 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4241407 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
444427 loops (1643/sec), 228774708 sampling steps, 18074 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4317777 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
452079 loops (1530/sec), 237424094 sampling steps, 18996 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4388293 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
459456 loops (1475/sec), 245971136 sampling steps, 19912 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4455925 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
467026 loops (1514/sec), 254976743 sampling steps, 20798 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4525749 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
474051 loops (1405/sec), 263600953 sampling steps, 21731 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4590128 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
481336 loops (1457/sec), 272799293 sampling steps, 22727 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4656579 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
488223 loops (1377/sec), 281831165 sampling steps, 23687 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4719138 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
495249 loops (1405/sec), 291116474 sampling steps, 24670 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4783063 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
501977 loops (1345/sec), 300267641 sampling steps, 25658 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4843894 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
508424 loops (1289/sec), 309321209 sampling steps, 26701 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4901738 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
514990 loops (1313/sec), 318751825 sampling steps, 27789 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4960272 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
521215 loops (1245/sec), 327859242 sampling steps, 28797 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5016101 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
527353 loops (1227/sec), 337002622 sampling steps, 29896 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5070497 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
533602 loops (1249/sec), 346426507 sampling steps, 30980 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5126049 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
539590 loops (1182/sec), 355786735 sampling steps, 32050 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5179097 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
545544 loops (1190/sec), 365302253 sampling steps, 33195 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5231524 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
551398 loops (1170/sec), 374847480 sampling steps, 34336 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5282909 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
556958 loops (1112/sec), 384101847 sampling steps, 35499 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5330969 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
562457 loops (1099/sec), 393348340 sampling steps, 36642 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5378613 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
567934 loops (1095/sec), 402899336 sampling steps, 37830 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5426009 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
571073 loops (162/sec), 408371156 sampling steps, 38466 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5453438 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
576262 loops (1037/sec), 417472667 sampling steps, 39590 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5498297 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
581179 loops (983/sec), 426254722 sampling steps, 40724 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5540194 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
585919 loops (947/sec), 434916305 sampling steps, 41866 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5580327 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
591043 loops (1024/sec), 444387248 sampling steps, 43072 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5623942 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
596082 loops (1007/sec), 453983164 sampling steps, 44266 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5666829 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
601093 loops (1002/sec), 463543973 sampling steps, 45499 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5709156 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
606002 loops (981/sec), 473096654 sampling steps, 46750 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5750472 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
610919 loops (983/sec), 482762946 sampling steps, 48041 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5791398 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
615566 loops (929/sec), 492222657 sampling steps, 49277 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5830190 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
620280 loops (942/sec), 501907768 sampling steps, 50549 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5869299 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
624850 loops (914/sec), 511350079 sampling steps, 51879 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5906678 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
629383 loops (906/sec), 520776081 sampling steps, 53216 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5943516 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
633800 loops (883/sec), 530377879 sampling steps, 54529 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5979534 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
638180 loops (876/sec), 539761660 sampling steps, 55822 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6015245 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
642628 loops (889/sec), 549412932 sampling steps, 57138 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6051407 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
646861 loops (846/sec), 558777188 sampling steps, 58477 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6085311 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
651191 loops (865/sec), 568329502 sampling steps, 59894 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6119865 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
655327 loops (827/sec), 577819614 sampling steps, 61274 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6152624 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
659487 loops (832/sec), 587329751 sampling steps, 62638 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6185456 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
663616 loops (825/sec), 597039027 sampling steps, 64067 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6217790 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
667607 loops (798/sec), 606432730 sampling steps, 65450 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6249010 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
671684 loops (815/sec), 616123615 sampling steps, 66862 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6280748 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
675547 loops (772/sec), 625380447 sampling steps, 68278 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6310402 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
679446 loops (779/sec), 634858941 sampling steps, 69639 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6340747 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
683409 loops (792/sec), 644563215 sampling steps, 71160 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6370570 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
687253 loops (768/sec), 654060335 sampling steps, 72605 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6399903 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
691145 loops (778/sec), 663795159 sampling steps, 74112 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6429328 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
694836 loops (738/sec), 673171593 sampling steps, 75575 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6456976 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
698485 loops (729/sec), 682493891 sampling steps, 76981 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6484560 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
702233 loops (749/sec), 692134079 sampling steps, 78479 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6512499 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
705801 loops (713/sec), 701521270 sampling steps, 79944 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6539036 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
709398 loops (719/sec), 711195866 sampling steps, 81397 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6565824 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
713011 loops (722/sec), 720734679 sampling steps, 82925 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6592356 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
716572 loops (712/sec), 730331653 sampling steps, 84413 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6618406 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
720191 loops (723/sec), 740203269 sampling steps, 85901 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6645084 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
723700 loops (701/sec), 749862674 sampling steps, 87440 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6670316 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
727177 loops (695/sec), 759379445 sampling steps, 88998 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6694731 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
730567 loops (677/sec), 769054840 sampling steps, 90540 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6718840 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
733969 loops (680/sec), 778522349 sampling steps, 92100 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6742714 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
737317 loops (669/sec), 788044552 sampling steps, 93658 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6766276 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
740802 loops (697/sec), 797866405 sampling steps, 95260 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6790748 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
744132 loops (665/sec), 807480479 sampling steps, 96826 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6813636 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
747417 loops (656/sec), 816973104 sampling steps, 98383 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6836616 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
750737 loops (664/sec), 826695756 sampling steps, 99980 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6859459 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
754006 loops (653/sec), 836237555 sampling steps, 101574 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6881670 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
757276 loops (654/sec), 845899311 sampling steps, 103137 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6904311 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
760534 loops (651/sec), 855506427 sampling steps, 104800 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6926182 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
763685 loops (630/sec), 864971382 sampling steps, 106387 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6947177 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
766834 loops (629/sec), 874492837 sampling steps, 108023 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6968062 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
770022 loops (637/sec), 884157518 sampling steps, 109644 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6989274 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
773154 loops (626/sec), 893632162 sampling steps, 111275 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7010123 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
776186 loops (606/sec), 902967430 sampling steps, 112848 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7030309 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
779266 loops (615/sec), 912482356 sampling steps, 114536 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7050186 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
782250 loops (596/sec), 921710814 sampling steps, 116155 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7069448 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
785267 loops (603/sec), 930988185 sampling steps, 117798 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7089071 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
788265 loops (599/sec), 940481822 sampling steps, 119414 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7108550 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
791197 loops (586/sec), 949778796 sampling steps, 121044 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7127223 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
794202 loops (601/sec), 959197075 sampling steps, 122719 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7146342 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
797228 loops (605/sec), 968809706 sampling steps, 124386 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7165416 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
800136 loops (581/sec), 978169048 sampling steps, 126004 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7183768 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
803017 loops (576/sec), 987469404 sampling steps, 127607 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7201964 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
805881 loops (572/sec), 996966546 sampling steps, 129225 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7220249 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
808705 loops (564/sec), 1006219619 sampling steps, 130890 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7237451 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
811557 loops (570/sec), 1015492557 sampling steps, 132531 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7255067 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
814390 loops (566/sec), 1024924834 sampling steps, 134219 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7272396 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
817177 loops (557/sec), 1034154885 sampling steps, 135862 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7289461 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
819979 loops (560/sec), 1043374127 sampling steps, 137545 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7306072 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
822681 loops (540/sec), 1052573632 sampling steps, 139178 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7322123 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
825399 loops (543/sec), 1061979052 sampling steps, 140840 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7338265 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
828048 loops (529/sec), 1071100526 sampling steps, 142467 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7353671 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
830729 loops (536/sec), 1080197121 sampling steps, 144093 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7369388 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
833473 loops (548/sec), 1089494488 sampling steps, 145832 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7385142 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
836142 loops (533/sec), 1098696552 sampling steps, 147468 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7400859 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
838808 loops (532/sec), 1107877702 sampling steps, 149179 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7415855 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
841523 loops (543/sec), 1117029424 sampling steps, 150977 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7430611 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
844240 loops (543/sec), 1126481027 sampling steps, 152726 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7445871 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
846838 loops (519/sec), 1135691703 sampling steps, 154412 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7460527 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
849505 loops (533/sec), 1144951834 sampling steps, 156152 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7475471 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
852196 loops (538/sec), 1154341783 sampling steps, 157887 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7490404 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
854786 loops (517/sec), 1163487820 sampling steps, 159557 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7504837 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
857367 loops (515/sec), 1172600224 sampling steps, 161237 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7519166 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
859923 loops (510/sec), 1181683686 sampling steps, 162941 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7533272 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
862524 loops (520/sec), 1191036766 sampling steps, 164658 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7547572 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
865138 loops (522/sec), 1200254582 sampling steps, 166389 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7561850 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
867708 loops (514/sec), 1209541218 sampling steps, 168092 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7576006 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
870343 loops (527/sec), 1218931389 sampling steps, 169881 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7589860 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
873029 loops (536/sec), 1228618114 sampling steps, 171715 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7604241 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
875700 loops (534/sec), 1238072524 sampling steps, 173509 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7618492 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
878338 loops (527/sec), 1247675018 sampling steps, 175325 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7632403 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
880967 loops (525/sec), 1257294913 sampling steps, 177148 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7646255 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
883636 loops (533/sec), 1267020195 sampling steps, 178977 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7660352 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
886304 loops (533/sec), 1276781285 sampling steps, 180820 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7674362 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
888830 loops (505/sec), 1286350912 sampling steps, 182611 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7687536 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
891496 loops (533/sec), 1296002880 sampling steps, 184508 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7700875 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
894131 loops (527/sec), 1305649211 sampling steps, 186344 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7714268 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
896784 loops (530/sec), 1315359922 sampling steps, 188203 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7727907 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
899505 loops (543/sec), 1325332400 sampling steps, 190170 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7741298 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
902112 loops (521/sec), 1335161232 sampling steps, 192042 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7754510 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
904714 loops (520/sec), 1345013354 sampling steps, 193940 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7767456 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
907350 loops (526/sec), 1354932294 sampling steps, 195849 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7780286 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
909939 loops (517/sec), 1364832599 sampling steps, 197720 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7793031 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
912535 loops (519/sec), 1374695781 sampling steps, 199633 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7805732 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
915191 loops (530/sec), 1384726751 sampling steps, 201550 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7818716 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
917806 loops (522/sec), 1394606125 sampling steps, 203448 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7831579 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
920459 loops (530/sec), 1404484019 sampling steps, 205409 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7843981 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
923069 loops (522/sec), 1414385078 sampling steps, 207400 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7855772 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
925677 loops (521/sec), 1424268403 sampling steps, 209316 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7868217 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
928278 loops (519/sec), 1434140246 sampling steps, 211226 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7880612 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
930907 loops (525/sec), 1444088923 sampling steps, 213157 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7893024 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
933494 loops (517/sec), 1453999741 sampling steps, 215106 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7904974 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
936074 loops (515/sec), 1464034450 sampling steps, 217076 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7916572 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
938656 loops (516/sec), 1473960290 sampling steps, 219017 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7928261 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
941250 loops (518/sec), 1483899705 sampling steps, 221007 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7939834 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
943793 loops (508/sec), 1493767499 sampling steps, 222925 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7951367 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
946384 loops (518/sec), 1503700849 sampling steps, 224913 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7962842 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
948862 loops (495/sec), 1513649113 sampling steps, 226812 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7974126 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
951386 loops (504/sec), 1523621039 sampling steps, 228774 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7985214 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
953823 loops (487/sec), 1533528569 sampling steps, 230650 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7996219 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
956377 loops (507/sec), 1543596956 sampling steps, 232646 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8007255 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
958929 loops (510/sec), 1553739905 sampling steps, 234623 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8018395 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
961407 loops (495/sec), 1563577442 sampling steps, 236549 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8029182 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
963927 loops (503/sec), 1573572316 sampling steps, 238507 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8040059 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
966408 loops (496/sec), 1583542568 sampling steps, 240462 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8050703 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
968899 loops (498/sec), 1593490204 sampling steps, 242441 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8061073 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
971430 loops (506/sec), 1603489021 sampling steps, 244444 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8071934 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
973887 loops (491/sec), 1613574960 sampling steps, 246367 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8082811 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
976401 loops (502/sec), 1623570198 sampling steps, 248374 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8093395 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
978887 loops (497/sec), 1633488930 sampling steps, 250356 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8103625 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
981376 loops (497/sec), 1643443727 sampling steps, 252381 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8113486 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
983894 loops (503/sec), 1653416254 sampling steps, 254433 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8123517 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
986355 loops (492/sec), 1663472497 sampling steps, 256404 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8133648 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
988872 loops (503/sec), 1673598913 sampling steps, 258464 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8143773 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
991345 loops (494/sec), 1683544850 sampling steps, 260438 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8153985 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
993843 loops (499/sec), 1693528238 sampling steps, 262485 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8163596 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
996331 loops (497/sec), 1703539992 sampling steps, 264529 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8173127 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
998755 loops (484/sec), 1713474468 sampling steps, 266467 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8182993 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1001218 loops (492/sec), 1723424856 sampling steps, 268502 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8192423 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1003641 loops (484/sec), 1733384548 sampling steps, 270521 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8201817 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1006062 loops (484/sec), 1743366825 sampling steps, 272520 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8211393 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1008513 loops (490/sec), 1753358521 sampling steps, 274495 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8221375 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1010965 loops (490/sec), 1763419095 sampling steps, 276540 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8230603 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1013386 loops (484/sec), 1773474206 sampling steps, 278535 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8239930 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1015857 loops (494/sec), 1783545077 sampling steps, 280596 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8249060 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1018270 loops (482/sec), 1793597266 sampling steps, 282617 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8258122 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1020690 loops (483/sec), 1803652051 sampling steps, 284641 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8267143 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1023139 loops (489/sec), 1813705898 sampling steps, 286670 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8276299 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1025589 loops (490/sec), 1823877819 sampling steps, 288747 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8285199 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1028121 loops (506/sec), 1834057126 sampling steps, 290867 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8294517 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1030534 loops (482/sec), 1844168725 sampling steps, 292897 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8303374 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1032937 loops (480/sec), 1854239774 sampling steps, 294921 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8312253 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1035347 loops (481/sec), 1864322822 sampling steps, 296970 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8320797 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1037807 loops (491/sec), 1874425546 sampling steps, 299042 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8329661 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1040253 loops (489/sec), 1884524481 sampling steps, 301112 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8338570 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1042718 loops (493/sec), 1894622531 sampling steps, 303229 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8347285 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1045155 loops (487/sec), 1904684145 sampling steps, 305308 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8355827 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1047541 loops (477/sec), 1914735145 sampling steps, 307299 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8364756 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1049949 loops (481/sec), 1924772961 sampling steps, 309350 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8372980 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1052399 loops (489/sec), 1934842891 sampling steps, 311460 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8381275 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1054771 loops (474/sec), 1944903446 sampling steps, 313495 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8389538 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1057203 loops (486/sec), 1955012127 sampling steps, 315599 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8397608 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1059594 loops (478/sec), 1965159702 sampling steps, 317660 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8405744 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1061992 loops (479/sec), 1975259650 sampling steps, 319696 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8413839 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1064386 loops (478/sec), 1985371674 sampling steps, 321738 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8422220 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1066787 loops (479/sec), 1995438554 sampling steps, 323787 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8430688 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1069215 loops (485/sec), 2005580152 sampling steps, 325930 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8438567 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1071556 loops (468/sec), 2015694242 sampling steps, 327965 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8446382 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1073981 loops (484/sec), 2025779305 sampling steps, 330059 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8454295 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1076370 loops (477/sec), 2035859142 sampling steps, 332157 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8461957 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1078821 loops (490/sec), 2045972103 sampling steps, 334285 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8469813 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1081274 loops (490/sec), 2056105000 sampling steps, 336417 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8477619 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1083675 loops (480/sec), 2066196988 sampling steps, 338525 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8485182 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1086081 loops (481/sec), 2076301595 sampling steps, 340628 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8492940 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1088443 loops (472/sec), 2086430733 sampling steps, 342716 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8500169 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1090845 loops (480/sec), 2096643987 sampling steps, 344797 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8507944 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1093199 loops (470/sec), 2106781893 sampling steps, 346874 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8515219 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1095617 loops (483/sec), 2116973037 sampling steps, 348973 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8522838 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1098057 loops (487/sec), 2127056479 sampling steps, 351108 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8530479 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1100454 loops (479/sec), 2137155398 sampling steps, 353250 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8537593 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1102790 loops (467/sec), 2147260424 sampling steps, 355303 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8544952 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1105217 loops (485/sec), 2157339136 sampling steps, 357470 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8552106 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1107603 loops (477/sec), 2167485249 sampling steps, 359608 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8558857 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1109939 loops (467/sec), 2177635349 sampling steps, 361666 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8565965 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1112269 loops (466/sec), 2187730859 sampling steps, 363715 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8572794 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1114620 loops (470/sec), 2197812039 sampling steps, 365776 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8579978 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1116974 loops (470/sec), 2207897640 sampling steps, 367891 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8586898 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1119319 loops (468/sec), 2218093350 sampling steps, 369983 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8593873 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1121698 loops (475/sec), 2228256792 sampling steps, 372132 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8600388 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1124073 loops (475/sec), 2238367344 sampling steps, 374291 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8607018 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1126416 loops (468/sec), 2248472396 sampling steps, 376394 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8613622 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1128751 loops (466/sec), 2258611283 sampling steps, 378486 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8620307 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1131094 loops (468/sec), 2268750707 sampling steps, 380583 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8626966 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1133503 loops (481/sec), 2278915279 sampling steps, 382750 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8633600 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1135831 loops (465/sec), 2289040564 sampling steps, 384852 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8640250 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1138177 loops (469/sec), 2299181188 sampling steps, 386950 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8646982 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1140507 loops (465/sec), 2309308574 sampling steps, 389063 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8653592 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1142845 loops (467/sec), 2319468048 sampling steps, 391182 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8660131 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1145207 loops (472/sec), 2329574940 sampling steps, 393338 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8666320 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1147590 loops (476/sec), 2339710601 sampling steps, 395503 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8672864 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1149952 loops (472/sec), 2349857937 sampling steps, 397649 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8679363 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1152280 loops (465/sec), 2360025945 sampling steps, 399742 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8685830 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1154629 loops (469/sec), 2370221859 sampling steps, 401839 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8692469 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1157018 loops (477/sec), 2380416769 sampling steps, 404007 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8698789 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1159307 loops (457/sec), 2390554341 sampling steps, 406091 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8704975 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1161695 loops (477/sec), 2400691044 sampling steps, 408271 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8711305 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1164013 loops (463/sec), 2410751009 sampling steps, 410406 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8717074 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1166372 loops (471/sec), 2420872998 sampling steps, 412566 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8723219 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1168656 loops (456/sec), 2431068042 sampling steps, 414648 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8729339 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1171021 loops (472/sec), 2441357133 sampling steps, 416812 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8735531 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1173448 loops (485/sec), 2451644040 sampling steps, 419030 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8741805 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1175831 loops (476/sec), 2461919956 sampling steps, 421218 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8747970 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1178137 loops (461/sec), 2472132545 sampling steps, 423347 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8753729 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1180512 loops (474/sec), 2482401777 sampling steps, 425535 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8759686 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1182836 loops (464/sec), 2492674042 sampling steps, 427685 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8765289 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1185213 loops (475/sec), 2502881390 sampling steps, 429837 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8771693 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1187549 loops (467/sec), 2513141008 sampling steps, 431976 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8777658 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1189864 loops (463/sec), 2523320214 sampling steps, 434128 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8783361 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1192125 loops (452/sec), 2533392458 sampling steps, 436213 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8788938 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1194438 loops (462/sec), 2543550734 sampling steps, 438355 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8794709 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1196739 loops (460/sec), 2553708500 sampling steps, 440475 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8800492 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1199002 loops (452/sec), 2563888582 sampling steps, 442556 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8806248 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1201310 loops (461/sec), 2574083577 sampling steps, 444685 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8811832 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1203657 loops (469/sec), 2584197015 sampling steps, 446889 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8817149 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1206007 loops (470/sec), 2594365655 sampling steps, 449069 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8822664 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1208302 loops (458/sec), 2604567916 sampling steps, 451195 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8828146 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1210683 loops (476/sec), 2614775947 sampling steps, 453423 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8833531 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1213008 loops (464/sec), 2624977661 sampling steps, 455590 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8838851 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1215319 loops (462/sec), 2635251999 sampling steps, 457736 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8844314 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1217574 loops (451/sec), 2645272074 sampling steps, 459845 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8849399 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1219876 loops (460/sec), 2655409356 sampling steps, 461980 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8854965 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1222186 loops (462/sec), 2665585086 sampling steps, 464126 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8860426 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1224517 loops (466/sec), 2675783738 sampling steps, 466313 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8865826 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1226878 loops (471/sec), 2685976961 sampling steps, 468503 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8871271 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1229235 loops (471/sec), 2696240302 sampling steps, 470700 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8876693 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1231559 loops (464/sec), 2706459063 sampling steps, 472869 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8882130 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1233889 loops (465/sec), 2716550317 sampling steps, 475057 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8887263 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1236190 loops (460/sec), 2726740529 sampling steps, 477210 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8892476 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1238463 loops (454/sec), 2736993822 sampling steps, 479335 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8897601 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1240788 loops (461/sec), 2747293081 sampling steps, 481508 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8902846 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1243131 loops (468/sec), 2757586925 sampling steps, 483704 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8908001 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1245475 loops (468/sec), 2767893357 sampling steps, 485914 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8912883 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1247779 loops (460/sec), 2778115247 sampling steps, 488068 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8918136 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1250037 loops (451/sec), 2788262961 sampling steps, 490174 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8923343 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1252358 loops (464/sec), 2798521767 sampling steps, 492332 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8928518 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1254645 loops (457/sec), 2808687675 sampling steps, 494490 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8933321 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1256978 loops (466/sec), 2818949974 sampling steps, 496704 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8938128 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1259332 loops (470/sec), 2829269685 sampling steps, 498916 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8943169 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1261678 loops (468/sec), 2839609213 sampling steps, 501116 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8948259 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1264047 loops (473/sec), 2849788840 sampling steps, 503360 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8953068 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1266343 loops (459/sec), 2860066750 sampling steps, 505536 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8957842 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1268679 loops (467/sec), 2870346111 sampling steps, 507744 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8962754 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1271004 loops (465/sec), 2880610502 sampling steps, 509938 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8967485 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1273336 loops (466/sec), 2890899992 sampling steps, 512131 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8972432 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1275667 loops (466/sec), 2901194207 sampling steps, 514345 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8977182 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1277981 loops (462/sec), 2911341265 sampling steps, 516551 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8981713 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1280301 loops (463/sec), 2921539348 sampling steps, 518742 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8986395 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1282604 loops (460/sec), 2931735725 sampling steps, 520927 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8990983 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1284883 loops (455/sec), 2941969199 sampling steps, 523087 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8995681 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1287201 loops (463/sec), 2952235533 sampling steps, 525289 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9000265 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1289566 loops (472/sec), 2962596494 sampling steps, 527551 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9004692 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1291887 loops (464/sec), 2972878942 sampling steps, 529777 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9008989 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1294251 loops (472/sec), 2983184308 sampling steps, 532028 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9013566 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1296566 loops (463/sec), 2993391128 sampling steps, 534219 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9018080 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1298889 loops (464/sec), 3003716784 sampling steps, 536428 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9022684 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1301243 loops (470/sec), 3014023421 sampling steps, 538669 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9027128 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1303561 loops (463/sec), 3024261992 sampling steps, 540879 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9031554 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1305817 loops (451/sec), 3034478198 sampling steps, 543016 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9036118 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1308106 loops (457/sec), 3044695957 sampling steps, 545186 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9040672 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1310378 loops (454/sec), 3054799734 sampling steps, 547337 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9045036 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1312654 loops (455/sec), 3064924725 sampling steps, 549499 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9049392 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1314915 loops (452/sec), 3075039210 sampling steps, 551654 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9053715 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1317197 loops (456/sec), 3085204467 sampling steps, 553816 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9057983 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1319511 loops (462/sec), 3095366445 sampling steps, 556028 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9062069 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1321815 loops (460/sec), 3105481384 sampling steps, 558226 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9066464 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1324081 loops (453/sec), 3115641564 sampling steps, 560381 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9070677 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1326339 loops (451/sec), 3125785359 sampling steps, 562545 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9074712 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1328602 loops (452/sec), 3135875195 sampling steps, 564704 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9078807 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1330875 loops (454/sec), 3146085436 sampling steps, 566875 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9082945 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1333146 loops (454/sec), 3156257514 sampling steps, 569062 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9087019 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1335401 loops (450/sec), 3166378437 sampling steps, 571216 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9091161 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1337674 loops (454/sec), 3176599399 sampling steps, 573380 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9095359 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1339929 loops (450/sec), 3186743617 sampling steps, 575531 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9099548 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1342340 loops (482/sec), 3197054401 sampling steps, 577853 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9103640 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1344594 loops (450/sec), 3207205141 sampling steps, 580005 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9107703 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1346839 loops (448/sec), 3217391574 sampling steps, 582150 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9111801 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1349138 loops (459/sec), 3227564353 sampling steps, 584365 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9115772 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1351404 loops (453/sec), 3237699302 sampling steps, 586534 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9119841 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1353677 loops (454/sec), 3247911927 sampling steps, 588701 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9123846 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1355997 loops (463/sec), 3258051819 sampling steps, 590922 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9127684 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1358270 loops (454/sec), 3268222961 sampling steps, 593100 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9131811 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1360542 loops (454/sec), 3278328803 sampling steps, 595260 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9136016 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1362863 loops (464/sec), 3288627314 sampling steps, 597487 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9139887 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1365188 loops (465/sec), 3298818465 sampling steps, 599724 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9143852 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1367520 loops (466/sec), 3308960866 sampling steps, 601969 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9147755 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1369776 loops (451/sec), 3319125415 sampling steps, 604148 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9151545 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1372011 loops (446/sec), 3329276326 sampling steps, 606301 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9155314 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1374337 loops (465/sec), 3339585825 sampling steps, 608533 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9159109 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1376600 loops (452/sec), 3349750573 sampling steps, 610714 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9162894 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1378866 loops (452/sec), 3359975371 sampling steps, 612906 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9166702 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1381174 loops (461/sec), 3370161894 sampling steps, 615133 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9170637 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1383382 loops (441/sec), 3380359310 sampling steps, 617249 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9174553 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1385575 loops (438/sec), 3390479727 sampling steps, 619361 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9178214 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1387830 loops (450/sec), 3400651332 sampling steps, 621533 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9182140 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1390160 loops (466/sec), 3410898099 sampling steps, 623772 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9185841 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1392462 loops (460/sec), 3421133363 sampling steps, 626000 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9189557 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1394722 loops (452/sec), 3431265201 sampling steps, 628164 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9193551 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0398890972137 seconds since the total time limit of 1800.0 seconds was exceeded.