Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:49:01 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/cluster/cluster.prism --const N=256 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:49:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9980 loops (1996/sec), 16708303 sampling steps, 1 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
99791 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14608 loops (925/sec), 33299504 sampling steps, 1 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
146071 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18094 loops (697/sec), 49590752 sampling steps, 1 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
180931 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20925 loops (566/sec), 65324044 sampling steps, 1 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209241 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23345 loops (483/sec), 80574880 sampling steps, 3 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
233425 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25546 loops (440/sec), 96021739 sampling steps, 3 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
255435 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27572 loops (405/sec), 111340165 sampling steps, 4 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
275685 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29430 loops (371/sec), 126612293 sampling steps, 4 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
294265 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31162 loops (346/sec), 141848642 sampling steps, 5 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
311575 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32794 loops (326/sec), 156987367 sampling steps, 5 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
327895 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34312 loops (303/sec), 171998456 sampling steps, 6 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
343072 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35700 loops (277/sec), 186534634 sampling steps, 6 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356952 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37081 loops (276/sec), 201413573 sampling steps, 7 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
370756 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38382 loops (259/sec), 216100314 sampling steps, 7 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
383766 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39630 loops (249/sec), 230762239 sampling steps, 9 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
396229 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40809 loops (235/sec), 245302297 sampling steps, 10 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408009 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41969 loops (231/sec), 259952411 sampling steps, 10 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
419609 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43059 loops (217/sec), 274187343 sampling steps, 10 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
430509 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44121 loops (212/sec), 288703412 sampling steps, 10 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
441129 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45159 loops (207/sec), 303255466 sampling steps, 10 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451509 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46084 loops (184/sec), 316318216 sampling steps, 12 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
460753 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47081 loops (199/sec), 331083752 sampling steps, 14 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
470711 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48042 loops (192/sec), 345726676 sampling steps, 16 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
480301 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48972 loops (185/sec), 360328382 sampling steps, 16 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
489601 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49884 loops (182/sec), 374946669 sampling steps, 17 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
498715 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50764 loops (176/sec), 389461126 sampling steps, 18 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
507505 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51642 loops (175/sec), 404005757 sampling steps, 18 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
516285 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52467 loops (164/sec), 418266101 sampling steps, 19 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
524534 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53302 loops (166/sec), 432911157 sampling steps, 21 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
532876 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54116 loops (162/sec), 447572711 sampling steps, 24 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
540991 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54902 loops (157/sec), 462045803 sampling steps, 24 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
548851 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55675 loops (154/sec), 476533896 sampling steps, 25 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
556571 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56425 loops (149/sec), 491010608 sampling steps, 27 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
564055 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57165 loops (147/sec), 505423965 sampling steps, 30 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
571426 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57894 loops (145/sec), 519905544 sampling steps, 32 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
578696 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58596 loops (140/sec), 534188414 sampling steps, 34 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
585702 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59296 loops (139/sec), 548544485 sampling steps, 35 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
592695 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59972 loops (135/sec), 562757419 sampling steps, 35 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
599455 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60652 loops (135/sec), 577047489 sampling steps, 36 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
606245 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61304 loops (130/sec), 591276894 sampling steps, 37 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
612761 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61951 loops (129/sec), 605513077 sampling steps, 38 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
619228 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62582 loops (126/sec), 619648395 sampling steps, 39 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
625528 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63209 loops (125/sec), 633800548 sampling steps, 39 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
631798 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63827 loops (123/sec), 647834288 sampling steps, 40 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
637971 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
64428 loops (120/sec), 661863706 sampling steps, 42 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
643961 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
65009 loops (116/sec), 675783246 sampling steps, 43 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
649762 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
65585 loops (115/sec), 689723984 sampling steps, 44 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
655513 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66160 loops (114/sec), 703582691 sampling steps, 46 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
661243 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66734 loops (114/sec), 717412542 sampling steps, 48 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
666963 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
67283 loops (109/sec), 731159364 sampling steps, 50 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
672434 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
67835 loops (110/sec), 744934646 sampling steps, 53 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
677936 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
68380 loops (108/sec), 758754683 sampling steps, 53 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
683386 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
68923 loops (108/sec), 772565988 sampling steps, 54 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
688806 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69447 loops (104/sec), 786168443 sampling steps, 58 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
694020 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69933 loops (97/sec), 799096515 sampling steps, 58 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
698880 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
70453 loops (103/sec), 812832653 sampling steps, 58 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
704080 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
70954 loops (100/sec), 826324612 sampling steps, 60 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
709088 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71439 loops (96/sec), 839464109 sampling steps, 62 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
713927 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71935 loops (98/sec), 853088464 sampling steps, 64 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
718867 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
72432 loops (99/sec), 866623768 sampling steps, 68 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
723801 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
72908 loops (95/sec), 880138177 sampling steps, 69 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
728556 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73379 loops (94/sec), 893703269 sampling steps, 70 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
733256 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73845 loops (93/sec), 907224879 sampling steps, 71 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
737915 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
74307 loops (92/sec), 920728766 sampling steps, 72 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
742525 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
74762 loops (90/sec), 934215724 sampling steps, 72 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
747075 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
75214 loops (90/sec), 947620151 sampling steps, 74 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
751586 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
75658 loops (88/sec), 960910535 sampling steps, 76 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
756013 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76104 loops (88/sec), 974224600 sampling steps, 76 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
760473 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76541 loops (87/sec), 987639557 sampling steps, 77 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
764834 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76973 loops (86/sec), 1001062816 sampling steps, 79 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
769138 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77401 loops (85/sec), 1014475855 sampling steps, 81 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
773398 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77830 loops (85/sec), 1027849048 sampling steps, 81 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
777688 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78250 loops (83/sec), 1041250977 sampling steps, 83 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
781876 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78674 loops (84/sec), 1054522343 sampling steps, 86 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
786086 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79100 loops (85/sec), 1068016970 sampling steps, 87 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
790337 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79512 loops (82/sec), 1081426712 sampling steps, 91 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
794429 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79920 loops (81/sec), 1094775201 sampling steps, 95 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
798485 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80325 loops (80/sec), 1108179059 sampling steps, 96 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
802525 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80730 loops (80/sec), 1121638454 sampling steps, 98 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
806556 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81136 loops (81/sec), 1135399117 sampling steps, 100 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
810596 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81546 loops (81/sec), 1149174966 sampling steps, 103 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
814666 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81946 loops (79/sec), 1162926987 sampling steps, 104 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
818658 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82350 loops (80/sec), 1176676345 sampling steps, 110 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
822651 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82748 loops (79/sec), 1190359296 sampling steps, 111 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
826621 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
83141 loops (78/sec), 1204067918 sampling steps, 111 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
830551 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
83527 loops (77/sec), 1217667876 sampling steps, 112 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
834401 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
83918 loops (78/sec), 1231616229 sampling steps, 176 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
838096 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
84312 loops (78/sec), 1245575671 sampling steps, 368 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
841241 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
84708 loops (79/sec), 1259507038 sampling steps, 599 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
843963 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85099 loops (78/sec), 1273501839 sampling steps, 846 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
846420 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85487 loops (77/sec), 1287540934 sampling steps, 1115 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
848693 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85876 loops (77/sec), 1301455912 sampling steps, 1391 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
850800 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86262 loops (77/sec), 1315378767 sampling steps, 1682 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
852820 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86653 loops (78/sec), 1329316971 sampling steps, 1972 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
854727 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
87034 loops (76/sec), 1343259663 sampling steps, 2268 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
856504 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
87418 loops (76/sec), 1357221711 sampling steps, 2573 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
858173 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
87806 loops (77/sec), 1371230555 sampling steps, 2869 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
859899 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88184 loops (75/sec), 1385247620 sampling steps, 3179 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
861443 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88565 loops (76/sec), 1399189922 sampling steps, 3493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
862873 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88950 loops (76/sec), 1413211265 sampling steps, 3800 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
864379 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
89335 loops (76/sec), 1427287695 sampling steps, 4124 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
865862 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
89721 loops (77/sec), 1441262404 sampling steps, 4432 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
867371 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90105 loops (76/sec), 1455307657 sampling steps, 4751 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
868723 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90488 loops (76/sec), 1469299990 sampling steps, 5066 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
870155 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90872 loops (76/sec), 1483223705 sampling steps, 5381 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
871552 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
91248 loops (75/sec), 1497056579 sampling steps, 5703 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
872817 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
91617 loops (73/sec), 1510589004 sampling steps, 6022 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
874029 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
91997 loops (75/sec), 1524521560 sampling steps, 6347 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
875324 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92359 loops (72/sec), 1538040381 sampling steps, 6658 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
876454 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92731 loops (74/sec), 1551904697 sampling steps, 6974 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
877717 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
93116 loops (76/sec), 1565916535 sampling steps, 7314 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
878838 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
93491 loops (74/sec), 1579833187 sampling steps, 7636 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
879972 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
93863 loops (74/sec), 1593736016 sampling steps, 7958 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
881114 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94240 loops (75/sec), 1607641406 sampling steps, 8278 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
882271 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94619 loops (75/sec), 1621511169 sampling steps, 8602 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
883441 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94988 loops (73/sec), 1635379627 sampling steps, 8922 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
884718 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95362 loops (74/sec), 1649206114 sampling steps, 9247 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
885856 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95741 loops (75/sec), 1663223496 sampling steps, 9580 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
886868 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96120 loops (75/sec), 1677205923 sampling steps, 9911 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
887907 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96492 loops (74/sec), 1690847837 sampling steps, 10239 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
888906 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96849 loops (71/sec), 1704267586 sampling steps, 10568 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
889775 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
97211 loops (72/sec), 1717534741 sampling steps, 10881 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
890828 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
97566 loops (70/sec), 1730620316 sampling steps, 11185 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
891838 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
97903 loops (67/sec), 1743333364 sampling steps, 11486 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
892728 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98238 loops (66/sec), 1755837449 sampling steps, 11791 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
893586 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98574 loops (67/sec), 1768463021 sampling steps, 12094 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
894410 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98920 loops (69/sec), 1781247490 sampling steps, 12403 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
895316 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
99265 loops (68/sec), 1794103113 sampling steps, 12706 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
896211 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
99606 loops (68/sec), 1806735470 sampling steps, 13011 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
897078 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
99945 loops (67/sec), 1819434541 sampling steps, 13322 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
897873 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100283 loops (67/sec), 1832079803 sampling steps, 13627 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
898688 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100616 loops (66/sec), 1844721215 sampling steps, 13938 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
899350 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100953 loops (67/sec), 1857326150 sampling steps, 14248 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
900098 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:
101292 loops (67/sec), 1869842981 sampling steps, 14552 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
900861 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:
101632 loops (67/sec), 1882496772 sampling steps, 14861 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
901620 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:
101970 loops (67/sec), 1895187649 sampling steps, 15165 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
902432 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:
102303 loops (66/sec), 1907840349 sampling steps, 15472 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
903162 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:
102636 loops (66/sec), 1920482216 sampling steps, 15775 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
903834 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:
102971 loops (66/sec), 1933145644 sampling steps, 16087 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
904478 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:
103309 loops (67/sec), 1945824442 sampling steps, 16405 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
905161 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:
103645 loops (67/sec), 1958408681 sampling steps, 16714 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
905862 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:
103982 loops (67/sec), 1971085307 sampling steps, 17030 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
906525 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:
104322 loops (67/sec), 1983710067 sampling steps, 17343 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
907191 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:
104656 loops (66/sec), 1996275775 sampling steps, 17654 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
907843 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:
104991 loops (66/sec), 2008883037 sampling steps, 17964 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
908539 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:
105324 loops (66/sec), 2021468867 sampling steps, 18277 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
909112 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:
105654 loops (65/sec), 2034057345 sampling steps, 18587 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
909698 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:
105989 loops (66/sec), 2046663612 sampling steps, 18895 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
910419 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:
106325 loops (67/sec), 2059292459 sampling steps, 19203 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
911114 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:
106660 loops (66/sec), 2071918556 sampling steps, 19511 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
911731 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:
107000 loops (67/sec), 2084553009 sampling steps, 19814 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
912402 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:
107337 loops (67/sec), 2097159528 sampling steps, 20119 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
913136 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:
107673 loops (67/sec), 2109787642 sampling steps, 20435 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
913727 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:
108009 loops (67/sec), 2122449351 sampling steps, 20743 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
914431 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:
108346 loops (67/sec), 2135089014 sampling steps, 21058 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
915001 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:
108682 loops (67/sec), 2147695856 sampling steps, 21368 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
915613 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:
109019 loops (67/sec), 2160319348 sampling steps, 21678 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
916217 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:
109353 loops (66/sec), 2172914334 sampling steps, 21990 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
916792 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:
109688 loops (66/sec), 2185568821 sampling steps, 22305 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
917416 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:
110022 loops (66/sec), 2198167704 sampling steps, 22619 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
918004 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:
110351 loops (65/sec), 2210763993 sampling steps, 22931 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
918581 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:
110683 loops (66/sec), 2223374722 sampling steps, 23248 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
919147 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:
111020 loops (67/sec), 2235997104 sampling steps, 23563 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
919695 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:
111353 loops (66/sec), 2248592361 sampling steps, 23873 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
920221 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:
111694 loops (68/sec), 2261180847 sampling steps, 24188 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
920843 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:
112023 loops (65/sec), 2273748774 sampling steps, 24502 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
921321 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:
112356 loops (66/sec), 2286370325 sampling steps, 24808 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
922007 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:
112690 loops (66/sec), 2298947979 sampling steps, 25123 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
922559 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:
113024 loops (66/sec), 2311497731 sampling steps, 25440 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
923094 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:
113356 loops (66/sec), 2324100912 sampling steps, 25752 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
923635 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:
113689 loops (66/sec), 2336737988 sampling steps, 26061 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
924257 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:
114019 loops (65/sec), 2349367455 sampling steps, 26373 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
924801 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:
114350 loops (66/sec), 2361989832 sampling steps, 26686 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
925295 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:
114686 loops (67/sec), 2374592412 sampling steps, 27004 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
925842 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:
115017 loops (66/sec), 2387223812 sampling steps, 27322 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
926311 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:
115351 loops (66/sec), 2399900291 sampling steps, 27637 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
926799 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:
115689 loops (67/sec), 2412585682 sampling steps, 27951 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
927380 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:
116023 loops (66/sec), 2425250872 sampling steps, 28262 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
927976 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:
116358 loops (66/sec), 2437897627 sampling steps, 28572 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
928556 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:
116690 loops (66/sec), 2450571325 sampling steps, 28886 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
929091 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:
117028 loops (67/sec), 2463170411 sampling steps, 29197 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
929692 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:
117363 loops (66/sec), 2475797576 sampling steps, 29515 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
930130 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:
117696 loops (66/sec), 2488409993 sampling steps, 29827 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
930654 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:
118030 loops (66/sec), 2501042128 sampling steps, 30144 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
931146 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:
118366 loops (67/sec), 2513686866 sampling steps, 30455 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
931702 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:
118701 loops (66/sec), 2526337866 sampling steps, 30775 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
932169 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:
119034 loops (66/sec), 2538948185 sampling steps, 31087 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
932708 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:
119366 loops (66/sec), 2551570258 sampling steps, 31403 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
933172 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:
119701 loops (66/sec), 2564197732 sampling steps, 31717 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
933698 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:
120030 loops (65/sec), 2576781983 sampling steps, 32030 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
934192 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:
120361 loops (66/sec), 2589416068 sampling steps, 32347 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
934623 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:
120692 loops (66/sec), 2602000831 sampling steps, 32656 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
935110 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:
121021 loops (65/sec), 2614577154 sampling steps, 32974 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
935509 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:
121351 loops (65/sec), 2627094433 sampling steps, 33285 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
935996 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:
121680 loops (65/sec), 2639636370 sampling steps, 33601 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
936412 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:
122010 loops (65/sec), 2652210302 sampling steps, 33912 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
936891 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:
122348 loops (67/sec), 2664810089 sampling steps, 34227 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
937383 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:
122678 loops (65/sec), 2677400497 sampling steps, 34538 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
937877 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:
123009 loops (66/sec), 2690041418 sampling steps, 34856 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
938346 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:
123340 loops (66/sec), 2702658358 sampling steps, 35173 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
938771 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:
123671 loops (66/sec), 2715274040 sampling steps, 35490 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
939191 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:
124002 loops (66/sec), 2727900155 sampling steps, 35806 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
939598 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:
124334 loops (66/sec), 2740499300 sampling steps, 36123 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
940061 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:
124660 loops (65/sec), 2753110916 sampling steps, 36438 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
940461 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:
124994 loops (66/sec), 2765683549 sampling steps, 36750 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
940932 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:
125323 loops (65/sec), 2778257707 sampling steps, 37068 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
941254 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:
125657 loops (66/sec), 2790908470 sampling steps, 37384 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
941685 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:
125986 loops (65/sec), 2803525437 sampling steps, 37702 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
942058 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:
126318 loops (66/sec), 2816134855 sampling steps, 38015 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
942517 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:
126647 loops (65/sec), 2828675436 sampling steps, 38325 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
942954 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:
126979 loops (66/sec), 2841259291 sampling steps, 38647 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
943312 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:
127306 loops (65/sec), 2853813257 sampling steps, 38956 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
943739 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:
127633 loops (65/sec), 2866336251 sampling steps, 39269 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
944160 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:
127963 loops (65/sec), 2878905424 sampling steps, 39585 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
944525 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:
128288 loops (64/sec), 2891493285 sampling steps, 39900 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
944970 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:
128614 loops (65/sec), 2904079378 sampling steps, 40216 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
945373 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:
128948 loops (66/sec), 2916651984 sampling steps, 40526 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
945883 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:
129285 loops (67/sec), 2929277486 sampling steps, 40841 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
946373 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:
129618 loops (66/sec), 2941913238 sampling steps, 41158 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
946772 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:
129950 loops (66/sec), 2954505582 sampling steps, 41475 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
947237 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:
130282 loops (66/sec), 2967075224 sampling steps, 41788 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
947641 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:
130614 loops (66/sec), 2979692702 sampling steps, 42114 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
947985 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:
130947 loops (66/sec), 2992313703 sampling steps, 42431 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
948388 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:
131280 loops (66/sec), 3004924595 sampling steps, 42754 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
948737 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:
131613 loops (66/sec), 3017584647 sampling steps, 43072 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
949142 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:
131945 loops (66/sec), 3030269347 sampling steps, 43391 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
949564 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:
132278 loops (66/sec), 3042954225 sampling steps, 43712 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
949936 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:
132610 loops (66/sec), 3055614013 sampling steps, 44034 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
950292 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:
132940 loops (65/sec), 3068233177 sampling steps, 44351 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
950692 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:
133270 loops (65/sec), 3080836235 sampling steps, 44667 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
951107 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:
133601 loops (66/sec), 3093473005 sampling steps, 44986 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
951525 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:
133931 loops (65/sec), 3106099043 sampling steps, 45301 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
951918 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:
134264 loops (66/sec), 3118721560 sampling steps, 45616 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
952347 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:
134596 loops (66/sec), 3131382729 sampling steps, 45936 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
952709 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:
134926 loops (65/sec), 3144023180 sampling steps, 46256 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
953095 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:
135254 loops (65/sec), 3156690966 sampling steps, 46576 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
953441 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:
135587 loops (66/sec), 3169350853 sampling steps, 46894 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
953832 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:
135924 loops (67/sec), 3182047447 sampling steps, 47214 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
954234 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:
136254 loops (65/sec), 3194694580 sampling steps, 47533 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
954572 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:
136586 loops (66/sec), 3207337632 sampling steps, 47857 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
954838 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:
136916 loops (65/sec), 3219994609 sampling steps, 48176 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
955199 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:
137250 loops (66/sec), 3232648040 sampling steps, 48497 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
955531 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:
137583 loops (66/sec), 3245340413 sampling steps, 48818 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
955905 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:
137913 loops (65/sec), 3258036825 sampling steps, 49134 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
956236 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:
138249 loops (67/sec), 3270751037 sampling steps, 49460 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
956624 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:
138582 loops (66/sec), 3283497993 sampling steps, 49782 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
956966 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:
138915 loops (66/sec), 3296241744 sampling steps, 50103 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
957317 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:
139252 loops (67/sec), 3309012664 sampling steps, 50430 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
957627 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:
139583 loops (66/sec), 3321696327 sampling steps, 50747 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
958032 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:
139912 loops (65/sec), 3334284259 sampling steps, 51069 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
958331 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:
140251 loops (67/sec), 3347071968 sampling steps, 51398 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
958634 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:
140582 loops (66/sec), 3359778848 sampling steps, 51719 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
958976 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:
140921 loops (67/sec), 3372507038 sampling steps, 52044 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
959350 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:
141255 loops (66/sec), 3385304538 sampling steps, 52373 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
959608 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:
141596 loops (67/sec), 3398344925 sampling steps, 52701 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
959998 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:
141933 loops (67/sec), 3411219451 sampling steps, 53026 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
960355 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:
142293 loops (71/sec), 3425032886 sampling steps, 53371 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
960741 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:
142661 loops (73/sec), 3439188613 sampling steps, 53728 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
961050 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:
143028 loops (73/sec), 3453250346 sampling steps, 54076 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
961505 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:
143400 loops (74/sec), 3467423641 sampling steps, 54437 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
961843 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:
143769 loops (73/sec), 3481614823 sampling steps, 54797 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
962173 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:
144137 loops (73/sec), 3495734818 sampling steps, 55155 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
962518 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144510 loops (74/sec), 3509873465 sampling steps, 55514 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
962867 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144877 loops (73/sec), 3523989308 sampling steps, 55867 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
963286 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145247 loops (73/sec), 3538105251 sampling steps, 56226 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
963654 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145613 loops (73/sec), 3552209137 sampling steps, 56582 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
964019 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145982 loops (73/sec), 3566352650 sampling steps, 56942 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
964382 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
146352 loops (73/sec), 3580479777 sampling steps, 57302 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
964692 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
146720 loops (73/sec), 3594634211 sampling steps, 57666 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
964998 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147085 loops (72/sec), 3608732300 sampling steps, 58020 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
965304 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147457 loops (74/sec), 3622801960 sampling steps, 58377 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
965700 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147828 loops (74/sec), 3636937922 sampling steps, 58736 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
966042 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148199 loops (74/sec), 3651075770 sampling steps, 59098 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
966386 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148566 loops (73/sec), 3665211729 sampling steps, 59455 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
966725 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148940 loops (74/sec), 3679302548 sampling steps, 59807 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
967202 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149312 loops (74/sec), 3693388181 sampling steps, 60161 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
967605 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149679 loops (73/sec), 3707454076 sampling steps, 60520 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
967951 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150047 loops (73/sec), 3721516052 sampling steps, 60877 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
968321 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150417 loops (73/sec), 3735665943 sampling steps, 61236 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
968606 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150786 loops (73/sec), 3749794318 sampling steps, 61592 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
968978 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
151153 loops (73/sec), 3763875040 sampling steps, 61947 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
969318 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:
151520 loops (73/sec), 3778002016 sampling steps, 62301 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
969684 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:
151889 loops (73/sec), 3792120221 sampling steps, 62657 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
970031 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:
152259 loops (73/sec), 3806232929 sampling steps, 63019 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
970375 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:
152628 loops (73/sec), 3820366015 sampling steps, 63376 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
970719 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:
153000 loops (74/sec), 3834468043 sampling steps, 63725 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
971181 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:
153369 loops (73/sec), 3848590225 sampling steps, 64085 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
971530 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:
153736 loops (73/sec), 3862683968 sampling steps, 64440 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
971864 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:
154107 loops (74/sec), 3876810885 sampling steps, 64803 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
972165 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:
154478 loops (74/sec), 3890922103 sampling steps, 65156 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
972612 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:
154843 loops (72/sec), 3905036821 sampling steps, 65511 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
972914 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:
155212 loops (73/sec), 3919085342 sampling steps, 65862 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
973299 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:
155581 loops (73/sec), 3933194008 sampling steps, 66212 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
973676 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:
155949 loops (73/sec), 3947326783 sampling steps, 66571 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
973969 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:
156317 loops (73/sec), 3961466353 sampling steps, 66931 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
974310 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:
156688 loops (74/sec), 3975645951 sampling steps, 67289 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
974642 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:
157059 loops (74/sec), 3989811224 sampling steps, 67646 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
975026 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:
157429 loops (73/sec), 4004001402 sampling steps, 68006 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
975337 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:
157803 loops (74/sec), 4018162211 sampling steps, 68369 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
975679 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:
158176 loops (74/sec), 4032324522 sampling steps, 68731 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
976003 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:
158542 loops (73/sec), 4046446664 sampling steps, 69088 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
976329 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:
158914 loops (74/sec), 4060550133 sampling steps, 69444 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
976671 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:
159282 loops (73/sec), 4074726941 sampling steps, 69795 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
977180 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:
159650 loops (73/sec), 4088887901 sampling steps, 70152 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
977504 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:
160011 loops (72/sec), 4103011536 sampling steps, 70503 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
977819 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:
160378 loops (73/sec), 4117165965 sampling steps, 70862 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
978091 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:
160750 loops (74/sec), 4131306251 sampling steps, 71226 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
978406 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:
161119 loops (73/sec), 4145452128 sampling steps, 71581 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
978769 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:
161490 loops (74/sec), 4159573980 sampling steps, 71935 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
979150 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:
161863 loops (74/sec), 4173737932 sampling steps, 72297 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
979481 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:
162234 loops (74/sec), 4187894955 sampling steps, 72657 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
979783 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:
162603 loops (73/sec), 4202020419 sampling steps, 73013 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
980134 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:
162970 loops (73/sec), 4216130886 sampling steps, 73369 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
980450 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:
163339 loops (73/sec), 4230222059 sampling steps, 73721 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
980785 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:
163712 loops (74/sec), 4244391075 sampling steps, 74079 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
981124 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:
164078 loops (73/sec), 4258545209 sampling steps, 74438 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
981372 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:
164444 loops (73/sec), 4272694786 sampling steps, 74799 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
981669 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:
164814 loops (73/sec), 4286838836 sampling steps, 75162 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
981951 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:
165179 loops (72/sec), 4300933355 sampling steps, 75516 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
982291 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:
165550 loops (74/sec), 4315091479 sampling steps, 75878 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
982565 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:
165920 loops (73/sec), 4329275266 sampling steps, 76243 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
982818 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:
166286 loops (73/sec), 4343389741 sampling steps, 76601 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
983143 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:
166652 loops (73/sec), 4357494624 sampling steps, 76958 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
983446 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:
167019 loops (73/sec), 4371554493 sampling steps, 77317 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
983736 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:
167386 loops (73/sec), 4385613184 sampling steps, 77672 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
984039 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:
167755 loops (73/sec), 4399666741 sampling steps, 78029 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
984361 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:
168122 loops (73/sec), 4413630755 sampling steps, 78390 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
984658 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:
168490 loops (73/sec), 4427616991 sampling steps, 78742 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
985000 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:
168849 loops (71/sec), 4441549913 sampling steps, 79091 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
985298 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:
169206 loops (71/sec), 4455373701 sampling steps, 79440 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
985539 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:
169566 loops (71/sec), 4469256817 sampling steps, 79793 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
985778 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:
169929 loops (72/sec), 4483244502 sampling steps, 80149 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
986028 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:
170292 loops (72/sec), 4497174377 sampling steps, 80507 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
986296 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:
170653 loops (72/sec), 4511061612 sampling steps, 80861 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
986538 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:
171014 loops (72/sec), 4525024276 sampling steps, 81216 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
986765 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:
171380 loops (73/sec), 4539042729 sampling steps, 81572 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
987037 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:
171739 loops (71/sec), 4552840422 sampling steps, 81922 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
987284 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:
172102 loops (72/sec), 4566788580 sampling steps, 82276 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
987571 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:
172467 loops (72/sec), 4580794737 sampling steps, 82634 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
987806 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:
172832 loops (72/sec), 4594775062 sampling steps, 82989 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
988065 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:
173198 loops (73/sec), 4608848885 sampling steps, 83352 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
988264 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:
173561 loops (72/sec), 4622737244 sampling steps, 83701 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
988579 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:
173926 loops (72/sec), 4636653449 sampling steps, 84057 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
988856 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:
174293 loops (73/sec), 4650656087 sampling steps, 84413 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
989140 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:
174650 loops (71/sec), 4664445836 sampling steps, 84761 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
989442 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:
175009 loops (71/sec), 4678153122 sampling steps, 85113 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
989716 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:
175372 loops (72/sec), 4692105058 sampling steps, 85466 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
989967 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:
175726 loops (70/sec), 4705907944 sampling steps, 85812 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
990268 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:
176088 loops (72/sec), 4719761056 sampling steps, 86166 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
990542 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:
176449 loops (71/sec), 4733609345 sampling steps, 86518 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
990816 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:
176808 loops (71/sec), 4747512609 sampling steps, 86870 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
991086 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:
177166 loops (71/sec), 4761344124 sampling steps, 87219 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
991347 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:
177525 loops (71/sec), 4775157694 sampling steps, 87572 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
991554 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:
177883 loops (71/sec), 4788903453 sampling steps, 87922 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
991808 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:
178246 loops (72/sec), 4802778478 sampling steps, 88276 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
992098 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:
178604 loops (71/sec), 4816649097 sampling steps, 88627 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
992371 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:
178960 loops (71/sec), 4830433133 sampling steps, 88976 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
992611 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:
179324 loops (72/sec), 4844329363 sampling steps, 89331 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
992877 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:
179686 loops (72/sec), 4858229758 sampling steps, 89684 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
993174 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0084199905396 seconds since the total time limit of 1800.0 seconds was exceeded.