Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:49:32 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/fms/fms.prism --const n=7 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:49:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22404 loops (4480/sec), 8653648 sampling steps, 9 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
224000 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30791 loops (1677/sec), 20830074 sampling steps, 47 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
307701 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36320 loops (1105/sec), 34574994 sampling steps, 143 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362540 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40372 loops (810/sec), 48595751 sampling steps, 324 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
402370 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43553 loops (636/sec), 62479810 sampling steps, 583 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
433176 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46189 loops (526/sec), 76154902 sampling steps, 925 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
458082 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48612 loops (484/sec), 90089682 sampling steps, 1398 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
480357 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50763 loops (430/sec), 103717833 sampling steps, 1976 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
499321 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52813 loops (409/sec), 117637806 sampling steps, 2646 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
516805 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54724 loops (382/sec), 131548547 sampling steps, 3401 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
532430 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56556 loops (366/sec), 145460429 sampling steps, 4257 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
546584 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58298 loops (348/sec), 159311487 sampling steps, 5199 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
559283 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60002 loops (340/sec), 173205511 sampling steps, 6198 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
571151 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61644 loops (328/sec), 187050274 sampling steps, 7209 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
582018 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63259 loops (322/sec), 200909440 sampling steps, 8245 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
592402 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
64830 loops (313/sec), 214749656 sampling steps, 9329 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601816 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66352 loops (304/sec), 228583975 sampling steps, 10429 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
610664 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
67880 loops (305/sec), 242497901 sampling steps, 11582 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
619183 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69398 loops (303/sec), 256349725 sampling steps, 12768 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
626966 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
70896 loops (299/sec), 270132514 sampling steps, 13983 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
634452 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
72392 loops (299/sec), 283996974 sampling steps, 15215 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
641563 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73843 loops (290/sec), 297825852 sampling steps, 16422 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
648353 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
75295 loops (290/sec), 311671995 sampling steps, 17648 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
654883 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76762 loops (293/sec), 325536350 sampling steps, 18914 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
660951 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78223 loops (292/sec), 339433155 sampling steps, 20201 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
666638 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79694 loops (294/sec), 353402089 sampling steps, 21491 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
672414 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81162 loops (293/sec), 367380037 sampling steps, 22808 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
677667 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82598 loops (287/sec), 381322891 sampling steps, 24093 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
683029 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
84028 loops (285/sec), 395241998 sampling steps, 25391 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
688043 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85462 loops (286/sec), 409200283 sampling steps, 26698 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
693034 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86888 loops (284/sec), 423037211 sampling steps, 28016 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
697794 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88308 loops (283/sec), 436927812 sampling steps, 29349 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
701963 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
89735 loops (285/sec), 450877444 sampling steps, 30683 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
706382 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
91163 loops (285/sec), 464847626 sampling steps, 32034 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
710574 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92581 loops (283/sec), 478806657 sampling steps, 33368 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
714663 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94003 loops (284/sec), 492771410 sampling steps, 34714 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
718605 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95428 loops (285/sec), 506760878 sampling steps, 36075 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
722472 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96840 loops (282/sec), 520778670 sampling steps, 37415 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
726088 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98294 loops (290/sec), 534833934 sampling steps, 38799 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
729782 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
99701 loops (281/sec), 548815441 sampling steps, 40157 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
733106 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101105 loops (280/sec), 562753757 sampling steps, 41517 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
736612 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
102511 loops (281/sec), 576767492 sampling steps, 42883 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
739840 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103903 loops (278/sec), 590703658 sampling steps, 44231 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
743143 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
105311 loops (281/sec), 604628571 sampling steps, 45601 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
746350 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106740 loops (285/sec), 618659475 sampling steps, 46972 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
749419 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
108189 loops (289/sec), 632682789 sampling steps, 48377 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
752405 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109535 loops (269/sec), 646169135 sampling steps, 49679 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
755255 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110939 loops (280/sec), 659974003 sampling steps, 51048 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
758115 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
112346 loops (281/sec), 673848968 sampling steps, 52417 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
761142 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113750 loops (280/sec), 687758189 sampling steps, 53782 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
764023 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
115125 loops (275/sec), 701547276 sampling steps, 55117 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
766749 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116509 loops (276/sec), 715489505 sampling steps, 56475 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
769259 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117935 loops (284/sec), 729477549 sampling steps, 57876 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
771622 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:
119313 loops (275/sec), 743375707 sampling steps, 59224 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
774100 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:
120697 loops (276/sec), 757284784 sampling steps, 60592 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
776545 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:
122067 loops (273/sec), 771161283 sampling steps, 61939 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
778884 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:
123473 loops (281/sec), 785139151 sampling steps, 63320 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
781236 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:
124920 loops (289/sec), 799172209 sampling steps, 64751 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
783515 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:
126361 loops (288/sec), 813207426 sampling steps, 66171 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
785758 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:
127761 loops (279/sec), 827172017 sampling steps, 67555 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
788082 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:
129148 loops (277/sec), 841030234 sampling steps, 68919 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
790396 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:
130536 loops (277/sec), 854886815 sampling steps, 70291 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
792423 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:
131915 loops (275/sec), 868709629 sampling steps, 71649 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
794537 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:
133325 loops (281/sec), 882576263 sampling steps, 73043 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
796549 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:
134711 loops (276/sec), 896503801 sampling steps, 74404 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
798643 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:
136051 loops (267/sec), 910356704 sampling steps, 75734 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
800444 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:
137431 loops (275/sec), 924205286 sampling steps, 77092 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
802533 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:
138798 loops (273/sec), 938000938 sampling steps, 78446 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
804405 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:
140182 loops (276/sec), 951832250 sampling steps, 79823 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
806230 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:
141549 loops (273/sec), 965671954 sampling steps, 81168 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
808215 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:
142970 loops (284/sec), 979648333 sampling steps, 82571 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
810130 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:
144350 loops (275/sec), 993540999 sampling steps, 83933 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
812005 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:
145736 loops (277/sec), 1007417997 sampling steps, 85301 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
813837 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:
147116 loops (275/sec), 1021357058 sampling steps, 86669 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
815439 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:
148503 loops (277/sec), 1035239979 sampling steps, 88045 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
817114 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:
149903 loops (280/sec), 1049128513 sampling steps, 89436 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
818810 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:
151287 loops (276/sec), 1063040721 sampling steps, 90803 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
820547 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:
152665 loops (275/sec), 1076973308 sampling steps, 92171 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
822173 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:
154067 loops (280/sec), 1090891795 sampling steps, 93568 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
823783 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:
155460 loops (278/sec), 1104769303 sampling steps, 94949 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
825245 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:
156846 loops (277/sec), 1118649861 sampling steps, 96326 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
826805 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:
158228 loops (276/sec), 1132531558 sampling steps, 97690 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
828392 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:
159615 loops (277/sec), 1146433853 sampling steps, 99066 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
829886 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:
161024 loops (281/sec), 1160315047 sampling steps, 100462 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
831492 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:
162402 loops (275/sec), 1174232863 sampling steps, 101830 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
832918 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:
163807 loops (280/sec), 1188174416 sampling steps, 103221 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
834489 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:
165219 loops (282/sec), 1202103787 sampling steps, 104625 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
835959 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:
166580 loops (272/sec), 1215984516 sampling steps, 105978 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
837304 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:
167957 loops (275/sec), 1229873194 sampling steps, 107345 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
838783 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:
169335 loops (275/sec), 1243767638 sampling steps, 108716 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
840263 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:
170694 loops (271/sec), 1257530121 sampling steps, 110069 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
841646 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:
172062 loops (273/sec), 1271313839 sampling steps, 111432 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
842988 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:
173446 loops (276/sec), 1285216239 sampling steps, 112807 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
844347 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:
174823 loops (275/sec), 1299058722 sampling steps, 114174 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
845683 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:
176218 loops (278/sec), 1312943853 sampling steps, 115562 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
846919 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:
177587 loops (273/sec), 1326792667 sampling steps, 116923 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
848217 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:
178973 loops (277/sec), 1340653273 sampling steps, 118296 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
849565 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:
180374 loops (280/sec), 1354493327 sampling steps, 119690 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
850813 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:
181766 loops (278/sec), 1368533781 sampling steps, 121072 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
852205 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:
183148 loops (276/sec), 1382667463 sampling steps, 122453 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
853512 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:
184473 loops (264/sec), 1396107884 sampling steps, 123770 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
854777 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:
185811 loops (267/sec), 1409420277 sampling steps, 125096 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
855963 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:
187122 loops (261/sec), 1422371455 sampling steps, 126401 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
857023 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:
188415 loops (258/sec), 1435532317 sampling steps, 127688 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
858250 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:
189753 loops (267/sec), 1448984811 sampling steps, 129023 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
859399 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:
191088 loops (267/sec), 1462358077 sampling steps, 130355 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
860500 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:
192407 loops (263/sec), 1475738604 sampling steps, 131668 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
861599 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:
193780 loops (274/sec), 1489326262 sampling steps, 133036 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
862738 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:
195081 loops (260/sec), 1502546076 sampling steps, 134332 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
863857 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:
196432 loops (270/sec), 1516098969 sampling steps, 135679 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
864925 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:
197752 loops (263/sec), 1529419811 sampling steps, 136997 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
866028 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:
199088 loops (266/sec), 1542828749 sampling steps, 138328 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
867122 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:
200417 loops (265/sec), 1556298245 sampling steps, 139648 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
868239 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:
201725 loops (261/sec), 1569321903 sampling steps, 140951 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
869299 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:
203067 loops (268/sec), 1582755914 sampling steps, 142290 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
870336 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:
204412 loops (268/sec), 1596091386 sampling steps, 143634 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
871332 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:
205753 loops (268/sec), 1609425356 sampling steps, 144968 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
872449 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:
207041 loops (257/sec), 1622677450 sampling steps, 146252 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
873497 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:
208416 loops (275/sec), 1636099188 sampling steps, 147625 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
874451 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:
209745 loops (265/sec), 1649404501 sampling steps, 148950 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
875447 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:
211059 loops (262/sec), 1662529151 sampling steps, 150257 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
876461 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:
212369 loops (261/sec), 1675838246 sampling steps, 151560 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
877404 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:
213624 loops (250/sec), 1688706847 sampling steps, 152809 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
878347 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:
214920 loops (259/sec), 1701844959 sampling steps, 154101 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
879324 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:
216264 loops (268/sec), 1715121508 sampling steps, 155442 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
880318 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:
217581 loops (263/sec), 1728322898 sampling steps, 156757 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
881244 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:
218856 loops (254/sec), 1741439974 sampling steps, 158025 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
882230 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:
220139 loops (256/sec), 1754508907 sampling steps, 159304 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
883146 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:
221447 loops (261/sec), 1767665549 sampling steps, 160607 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
884047 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:
222749 loops (260/sec), 1780806262 sampling steps, 161905 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
884913 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:
224078 loops (265/sec), 1793957893 sampling steps, 163232 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
885704 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:
225395 loops (263/sec), 1807088537 sampling steps, 164544 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
886562 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:
226692 loops (259/sec), 1820216192 sampling steps, 165838 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
887453 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:
227999 loops (261/sec), 1833336181 sampling steps, 167143 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
888341 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:
229319 loops (263/sec), 1846513569 sampling steps, 168459 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
889299 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:
230605 loops (257/sec), 1859642766 sampling steps, 169742 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
890113 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:
231917 loops (262/sec), 1872823354 sampling steps, 171051 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
890976 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:
233212 loops (259/sec), 1885996507 sampling steps, 172343 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
891817 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:
234520 loops (261/sec), 1899122286 sampling steps, 173650 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
892670 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:
235851 loops (265/sec), 1912325439 sampling steps, 174979 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
893474 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:
237158 loops (261/sec), 1925554156 sampling steps, 176283 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
894282 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:
238494 loops (267/sec), 1938775652 sampling steps, 177618 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
895044 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:
239729 loops (246/sec), 1951243476 sampling steps, 178851 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
895754 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:
241046 loops (263/sec), 1964499412 sampling steps, 180165 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
896573 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:
242379 loops (266/sec), 1977710868 sampling steps, 181495 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
897457 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:
243702 loops (264/sec), 1990905302 sampling steps, 182810 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
898305 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:
245012 loops (261/sec), 2004081608 sampling steps, 184114 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
899082 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:
246315 loops (260/sec), 2017248289 sampling steps, 185414 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
899916 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:
247643 loops (265/sec), 2030495752 sampling steps, 186740 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
900675 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:
249048 loops (280/sec), 2044552898 sampling steps, 188143 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
901520 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:
250461 loops (282/sec), 2058759531 sampling steps, 189552 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
902381 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:
251910 loops (289/sec), 2073022413 sampling steps, 190996 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
903267 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:
253306 loops (279/sec), 2087245275 sampling steps, 192386 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
904133 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:
254710 loops (280/sec), 2101495377 sampling steps, 193788 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
904960 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:
256146 loops (287/sec), 2115803164 sampling steps, 195222 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
905778 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:
257587 loops (288/sec), 2130078371 sampling steps, 196659 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
906591 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:
259011 loops (284/sec), 2144365045 sampling steps, 198081 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
907308 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:
260450 loops (287/sec), 2158693217 sampling steps, 199517 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
908091 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:
261845 loops (278/sec), 2172985883 sampling steps, 200910 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
908846 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:
263268 loops (284/sec), 2187262212 sampling steps, 202332 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
909661 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:
264683 loops (282/sec), 2201502338 sampling steps, 203746 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
910461 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:
266106 loops (284/sec), 2215789714 sampling steps, 205166 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
911218 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:
267501 loops (279/sec), 2229962997 sampling steps, 206558 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
912048 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:
268923 loops (284/sec), 2244214982 sampling steps, 207979 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
912784 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:
270378 loops (290/sec), 2258512233 sampling steps, 209429 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
913613 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:
271808 loops (286/sec), 2272806246 sampling steps, 210858 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
914341 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:
273236 loops (285/sec), 2287082980 sampling steps, 212284 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
915046 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:
274657 loops (284/sec), 2301400877 sampling steps, 213703 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
915728 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:
276102 loops (289/sec), 2315725515 sampling steps, 215146 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
916482 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:
277528 loops (285/sec), 2330026044 sampling steps, 216571 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
917174 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:
278987 loops (291/sec), 2344378894 sampling steps, 218030 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
917883 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:
280412 loops (284/sec), 2358654855 sampling steps, 219452 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
918598 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:
281836 loops (284/sec), 2372952182 sampling steps, 220872 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
919309 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:
283256 loops (283/sec), 2387206081 sampling steps, 222289 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
920116 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:
284677 loops (284/sec), 2401499129 sampling steps, 223709 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
920750 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:
286125 loops (289/sec), 2415792795 sampling steps, 225153 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
921415 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:
287555 loops (285/sec), 2430080145 sampling steps, 226579 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
922149 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:
288988 loops (286/sec), 2444363185 sampling steps, 228009 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
922751 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:
290424 loops (286/sec), 2458681299 sampling steps, 229443 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
923440 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:
291848 loops (284/sec), 2472952158 sampling steps, 230865 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
924126 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:
293317 loops (293/sec), 2487262857 sampling steps, 232330 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
924901 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:
294735 loops (283/sec), 2501573010 sampling steps, 233746 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
925614 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:
296188 loops (290/sec), 2515969274 sampling steps, 235196 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
926283 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:
297186 loops (194/sec), 2525830461 sampling steps, 236192 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
926805 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:
298563 loops (275/sec), 2539768039 sampling steps, 237564 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
927501 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:
299976 loops (282/sec), 2554042695 sampling steps, 238976 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
928205 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:
301389 loops (282/sec), 2568300645 sampling steps, 240387 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
928901 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:
302814 loops (284/sec), 2582565900 sampling steps, 241811 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
929525 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:
304259 loops (288/sec), 2596920603 sampling steps, 243252 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
930204 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:
305689 loops (286/sec), 2611239880 sampling steps, 244679 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
930861 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:
307102 loops (282/sec), 2625520477 sampling steps, 246089 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
931499 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:
308524 loops (284/sec), 2639791202 sampling steps, 247509 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
932133 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:
309947 loops (284/sec), 2654093712 sampling steps, 248929 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
932824 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:
311377 loops (285/sec), 2668448279 sampling steps, 250356 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
933379 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:
312829 loops (290/sec), 2682775832 sampling steps, 251804 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
934061 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:
314254 loops (285/sec), 2697065831 sampling steps, 253225 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
934690 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:
315676 loops (284/sec), 2711405722 sampling steps, 254644 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
935281 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:
317134 loops (291/sec), 2725762317 sampling steps, 256101 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
935852 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:
318581 loops (289/sec), 2740071106 sampling steps, 257546 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
936536 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:
320026 loops (288/sec), 2754373741 sampling steps, 258990 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
937106 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:
321480 loops (290/sec), 2768747938 sampling steps, 260441 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
937756 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:
322917 loops (287/sec), 2783063950 sampling steps, 261877 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
938421 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:
324356 loops (287/sec), 2797356185 sampling steps, 263314 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
939045 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:
325769 loops (282/sec), 2811657833 sampling steps, 264725 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
939692 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:
327201 loops (286/sec), 2825956225 sampling steps, 266154 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
940314 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:
328634 loops (286/sec), 2840339007 sampling steps, 267586 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
940872 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:
330048 loops (282/sec), 2854634718 sampling steps, 268998 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
941405 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:
331459 loops (282/sec), 2868958407 sampling steps, 270409 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
941976 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:
332893 loops (286/sec), 2883309283 sampling steps, 271839 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
942605 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:
334319 loops (285/sec), 2897637651 sampling steps, 273264 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
943143 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:
335755 loops (287/sec), 2911938925 sampling steps, 274698 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
943730 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:
337185 loops (285/sec), 2926248949 sampling steps, 276127 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
944354 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:
338598 loops (282/sec), 2940557134 sampling steps, 277540 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
944928 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:
340021 loops (284/sec), 2954860452 sampling steps, 278961 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
945521 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:
341461 loops (287/sec), 2969202748 sampling steps, 280398 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
946061 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:
342899 loops (287/sec), 2983529264 sampling steps, 281835 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
946654 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:
344356 loops (291/sec), 2997882981 sampling steps, 283290 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
947250 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:
345781 loops (285/sec), 3012207583 sampling steps, 284712 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
947791 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:
347202 loops (283/sec), 3026524407 sampling steps, 286132 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
948376 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:
348641 loops (287/sec), 3040823167 sampling steps, 287571 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
948946 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:
350061 loops (283/sec), 3055115230 sampling steps, 288990 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
949531 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:
351461 loops (279/sec), 3069348599 sampling steps, 290387 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
950039 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:
352889 loops (285/sec), 3083599681 sampling steps, 291812 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
950575 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:
354299 loops (281/sec), 3097835994 sampling steps, 293221 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
951126 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:
355738 loops (287/sec), 3112158394 sampling steps, 294657 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
951637 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:
357141 loops (280/sec), 3126443979 sampling steps, 296056 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
952120 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:
358550 loops (281/sec), 3140721947 sampling steps, 297462 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
952699 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:
359972 loops (284/sec), 3155019532 sampling steps, 298882 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
953260 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:
361414 loops (288/sec), 3169389416 sampling steps, 300324 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
953790 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:
362837 loops (284/sec), 3183686198 sampling steps, 301747 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
954315 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:
364298 loops (292/sec), 3198031667 sampling steps, 303206 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
954848 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:
365710 loops (282/sec), 3212308819 sampling steps, 304617 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
955339 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:
367113 loops (280/sec), 3226602692 sampling steps, 306020 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
955823 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:
368519 loops (281/sec), 3240894943 sampling steps, 307426 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
956324 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:
369949 loops (286/sec), 3255189216 sampling steps, 308854 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
956819 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:
371352 loops (280/sec), 3269495415 sampling steps, 310255 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
957394 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:
372791 loops (287/sec), 3283856162 sampling steps, 311692 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
957909 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:
374231 loops (287/sec), 3298168506 sampling steps, 313130 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
958416 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:
375663 loops (286/sec), 3312461612 sampling steps, 314561 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
958926 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:
377082 loops (283/sec), 3326754430 sampling steps, 315980 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
959418 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:
378505 loops (284/sec), 3341067148 sampling steps, 317402 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
959957 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:
379944 loops (287/sec), 3355374444 sampling steps, 318841 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
960400 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:
381320 loops (275/sec), 3369273696 sampling steps, 320217 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
960901 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:
382708 loops (277/sec), 3383385350 sampling steps, 321603 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
961393 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:
384133 loops (284/sec), 3397676852 sampling steps, 323027 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
961885 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:
385510 loops (275/sec), 3411578630 sampling steps, 324403 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
962336 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:
386908 loops (279/sec), 3425614672 sampling steps, 325798 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
962773 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:
388308 loops (279/sec), 3439710243 sampling steps, 327197 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
963242 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:
389730 loops (284/sec), 3453978643 sampling steps, 328618 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
963663 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:
391170 loops (287/sec), 3468290049 sampling steps, 330057 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
964083 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:
392585 loops (282/sec), 3482559642 sampling steps, 331469 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
964639 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:
393994 loops (281/sec), 3496856563 sampling steps, 332876 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
965143 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:
395423 loops (285/sec), 3511164270 sampling steps, 334304 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
965594 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:
396818 loops (278/sec), 3525407823 sampling steps, 335697 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
966032 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:
398237 loops (283/sec), 3539710672 sampling steps, 337116 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
966383 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:
399634 loops (279/sec), 3553986800 sampling steps, 338511 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
966814 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
401097 loops (292/sec), 3568358803 sampling steps, 339974 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
967293 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
402506 loops (281/sec), 3582644747 sampling steps, 341382 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
967805 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
403951 loops (288/sec), 3596933702 sampling steps, 342826 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
968326 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
405388 loops (287/sec), 3611186205 sampling steps, 344263 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
968702 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
406807 loops (283/sec), 3625521924 sampling steps, 345682 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
969176 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
408200 loops (278/sec), 3639838154 sampling steps, 347074 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
969596 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
409628 loops (285/sec), 3654135190 sampling steps, 348500 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
970102 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:
411044 loops (283/sec), 3668496590 sampling steps, 349916 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
970504 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:
412453 loops (281/sec), 3682791966 sampling steps, 351322 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
971015 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:
413880 loops (285/sec), 3697094290 sampling steps, 352745 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
971508 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:
415294 loops (282/sec), 3711425708 sampling steps, 354158 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
971966 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:
416738 loops (288/sec), 3725788204 sampling steps, 355602 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
972288 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:
418193 loops (291/sec), 3740155147 sampling steps, 357056 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
972727 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:
419605 loops (282/sec), 3754471799 sampling steps, 358466 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
973168 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:
421034 loops (285/sec), 3768802201 sampling steps, 359893 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
973583 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:
422449 loops (283/sec), 3783057718 sampling steps, 361307 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
974015 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:
423873 loops (284/sec), 3797432168 sampling steps, 362731 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
974455 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:
425302 loops (285/sec), 3811748409 sampling steps, 364160 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
974831 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:
426729 loops (285/sec), 3826104513 sampling steps, 365587 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
975294 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:
428167 loops (287/sec), 3840492341 sampling steps, 367022 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
975754 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:
429591 loops (284/sec), 3854841522 sampling steps, 368443 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
976196 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:
430922 loops (266/sec), 3868450258 sampling steps, 369774 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
976575 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:
432223 loops (259/sec), 3881433070 sampling steps, 371073 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
976980 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:
433529 loops (261/sec), 3894410935 sampling steps, 372377 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
977361 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:
434828 loops (259/sec), 3907380873 sampling steps, 373676 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
977716 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:
436109 loops (256/sec), 3920326706 sampling steps, 374956 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
978180 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:
437521 loops (282/sec), 3934638727 sampling steps, 376367 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
978575 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:
438943 loops (284/sec), 3948982819 sampling steps, 377789 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
978944 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:
440394 loops (290/sec), 3963360506 sampling steps, 379240 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
979328 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:
441828 loops (286/sec), 3977743961 sampling steps, 380674 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
979667 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:
443253 loops (284/sec), 3992111363 sampling steps, 382099 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
980109 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:
444689 loops (287/sec), 4006495186 sampling steps, 383531 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
980606 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:
446137 loops (289/sec), 4020880281 sampling steps, 384976 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
981003 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:
447579 loops (288/sec), 4035272646 sampling steps, 386417 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
981419 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:
449034 loops (290/sec), 4049698927 sampling steps, 387869 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
981813 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:
450451 loops (283/sec), 4064070301 sampling steps, 389285 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
982234 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:
451895 loops (288/sec), 4078495322 sampling steps, 390728 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
982587 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:
453326 loops (286/sec), 4092842887 sampling steps, 392158 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
982986 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:
454773 loops (289/sec), 4107175652 sampling steps, 393604 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
983362 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:
456193 loops (283/sec), 4121497601 sampling steps, 395024 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
983756 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:
457617 loops (284/sec), 4135876802 sampling steps, 396445 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
984139 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:
459045 loops (285/sec), 4150274152 sampling steps, 397872 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
984540 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:
460486 loops (288/sec), 4164658267 sampling steps, 399312 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
984931 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:
461926 loops (287/sec), 4179065601 sampling steps, 400751 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
985308 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:
463359 loops (286/sec), 4193405536 sampling steps, 402182 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
985677 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:
464778 loops (283/sec), 4207747393 sampling steps, 403600 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
986058 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:
466209 loops (286/sec), 4222092145 sampling steps, 405029 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
986446 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:
467639 loops (285/sec), 4236439080 sampling steps, 406459 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
986779 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:
469070 loops (286/sec), 4250783810 sampling steps, 407889 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
987212 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:
470498 loops (285/sec), 4265131394 sampling steps, 409316 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
987583 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:
471900 loops (280/sec), 4279443801 sampling steps, 410717 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
987965 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:
473353 loops (290/sec), 4293785978 sampling steps, 412169 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
988375 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:
474792 loops (287/sec), 4308186651 sampling steps, 413608 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
988764 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:
476193 loops (280/sec), 4322526620 sampling steps, 415009 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
989128 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:
477644 loops (289/sec), 4336951971 sampling steps, 416460 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
989558 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:
479068 loops (284/sec), 4351367249 sampling steps, 417884 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
989865 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:
480518 loops (289/sec), 4365770425 sampling steps, 419334 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
990227 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:
481950 loops (286/sec), 4380163110 sampling steps, 420766 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
990608 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:
483392 loops (288/sec), 4394563001 sampling steps, 422206 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
991028 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:
484821 loops (285/sec), 4408934562 sampling steps, 423635 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
991457 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:
486255 loops (286/sec), 4423315974 sampling steps, 425068 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
991799 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:
487694 loops (287/sec), 4437572433 sampling steps, 426507 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
992097 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:
489073 loops (275/sec), 4451601708 sampling steps, 427886 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
992452 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:
490483 loops (281/sec), 4465829960 sampling steps, 429296 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
992808 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:
491905 loops (284/sec), 4480109772 sampling steps, 430717 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
993176 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:
493341 loops (287/sec), 4494419150 sampling steps, 432153 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
993602 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:
494732 loops (278/sec), 4508703297 sampling steps, 433544 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
993939 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:
496170 loops (287/sec), 4523055372 sampling steps, 434981 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
994270 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:
497577 loops (281/sec), 4537357204 sampling steps, 436388 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
994620 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:
498985 loops (281/sec), 4551665824 sampling steps, 437796 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
994941 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:
500405 loops (283/sec), 4565987587 sampling steps, 439213 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
995307 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:
501816 loops (282/sec), 4580296596 sampling steps, 440622 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
995656 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:
503257 loops (288/sec), 4594618052 sampling steps, 442062 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
996050 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:
504673 loops (283/sec), 4608880383 sampling steps, 443476 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
996431 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:
506088 loops (283/sec), 4623105616 sampling steps, 444890 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
996763 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:
507503 loops (282/sec), 4637358926 sampling steps, 446305 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
997145 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:
508922 loops (283/sec), 4651642976 sampling steps, 447723 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
997494 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:
510364 loops (288/sec), 4665973711 sampling steps, 449164 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
997801 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:
511807 loops (288/sec), 4680332843 sampling steps, 450606 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
998128 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:
513257 loops (289/sec), 4694691886 sampling steps, 452055 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
998469 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:
514692 loops (287/sec), 4709005845 sampling steps, 453489 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
998738 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:
516123 loops (286/sec), 4723338181 sampling steps, 454919 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
999129 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:
517541 loops (283/sec), 4737665959 sampling steps, 456337 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
999430 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:
518959 loops (283/sec), 4751996401 sampling steps, 457754 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
999748 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:
520344 loops (276/sec), 4766293686 sampling steps, 459139 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1000106 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:
521755 loops (282/sec), 4780544800 sampling steps, 460550 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1000439 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:
523159 loops (280/sec), 4794759146 sampling steps, 461953 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1000742 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:
524567 loops (281/sec), 4809014079 sampling steps, 463360 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1001078 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:
526000 loops (286/sec), 4823306309 sampling steps, 464790 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1001464 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:
527418 loops (283/sec), 4837620647 sampling steps, 466208 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1001800 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:
528828 loops (281/sec), 4851992363 sampling steps, 467617 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1002060 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:
530234 loops (280/sec), 4866346949 sampling steps, 469023 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1002387 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:
531652 loops (283/sec), 4880667495 sampling steps, 470440 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1002688 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:
533083 loops (286/sec), 4895057864 sampling steps, 471871 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1002980 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:
534516 loops (286/sec), 4909425353 sampling steps, 473303 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1003347 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:
535953 loops (287/sec), 4923804139 sampling steps, 474739 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1003704 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:
537391 loops (287/sec), 4938202808 sampling steps, 476177 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1004026 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:
538777 loops (276/sec), 4952459958 sampling steps, 477563 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1004314 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:
540205 loops (285/sec), 4966784009 sampling steps, 478989 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1004641 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:
541612 loops (281/sec), 4981110116 sampling steps, 480396 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1004961 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:
543054 loops (288/sec), 4995478124 sampling steps, 481838 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1005289 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:
544469 loops (283/sec), 5009837427 sampling steps, 483253 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1005558 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:
545877 loops (281/sec), 5024172406 sampling steps, 484660 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1005854 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0084874629974 seconds since the total time limit of 1800.0 seconds was exceeded.