Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:49:32 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/fms/fms.prism --const n=7 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:49:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15747 loops (3149/sec), 3728903 sampling steps, 3 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157457 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24642 loops (1779/sec), 11148529 sampling steps, 9 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
246386 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28335 loops (738/sec), 16420798 sampling steps, 28 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
283235 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31735 loops (679/sec), 22941718 sampling steps, 52 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
317129 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34420 loops (537/sec), 29440331 sampling steps, 87 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
343820 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36665 loops (449/sec), 35796930 sampling steps, 133 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366065 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38613 loops (389/sec), 42331498 sampling steps, 201 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
385330 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40314 loops (340/sec), 48743131 sampling steps, 302 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
401982 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41824 loops (301/sec), 55055624 sampling steps, 415 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
416670 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43233 loops (281/sec), 61396532 sampling steps, 572 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
430145 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44783 loops (310/sec), 68996704 sampling steps, 775 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
444875 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46296 loops (302/sec), 76963357 sampling steps, 1024 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
459081 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47463 loops (233/sec), 83656495 sampling steps, 1252 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
469772 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48817 loops (270/sec), 91774296 sampling steps, 1546 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
482031 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49813 loops (198/sec), 97913253 sampling steps, 1809 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
490859 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50780 loops (193/sec), 104071557 sampling steps, 2085 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
499293 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51694 loops (182/sec), 110183105 sampling steps, 2366 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
507157 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52575 loops (176/sec), 116293268 sampling steps, 2671 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
514604 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53400 loops (164/sec), 122345651 sampling steps, 2979 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
521506 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54229 loops (165/sec), 128404040 sampling steps, 3311 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
528153 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55032 loops (160/sec), 134429938 sampling steps, 3634 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
534561 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55824 loops (158/sec), 140430409 sampling steps, 4005 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
540627 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56814 loops (197/sec), 148115241 sampling steps, 4466 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
548239 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57689 loops (174/sec), 155036470 sampling steps, 4916 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
554663 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58605 loops (183/sec), 162268676 sampling steps, 5421 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
561244 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59598 loops (198/sec), 170464134 sampling steps, 5990 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
568269 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60314 loops (143/sec), 176482951 sampling steps, 6421 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
573103 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61041 loops (145/sec), 182519057 sampling steps, 6869 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
577914 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61734 loops (138/sec), 188517233 sampling steps, 7299 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
582540 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62432 loops (139/sec), 194538250 sampling steps, 7754 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
587065 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63114 loops (136/sec), 200513927 sampling steps, 8212 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
591381 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63794 loops (136/sec), 206513034 sampling steps, 8654 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
595726 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
64481 loops (137/sec), 212514782 sampling steps, 9127 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
599804 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
65151 loops (133/sec), 218514899 sampling steps, 9620 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
603602 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
65977 loops (165/sec), 225977363 sampling steps, 10228 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
608213 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66687 loops (141/sec), 232419810 sampling steps, 10731 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
612453 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
67562 loops (174/sec), 240401975 sampling steps, 11388 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
617391 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
68429 loops (173/sec), 248348778 sampling steps, 12059 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
621975 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69090 loops (131/sec), 254366045 sampling steps, 12558 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
625506 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69745 loops (130/sec), 260425458 sampling steps, 13080 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
628952 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
70397 loops (130/sec), 266463636 sampling steps, 13576 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
632491 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71064 loops (133/sec), 272574750 sampling steps, 14117 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
635634 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71708 loops (128/sec), 278619950 sampling steps, 14649 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
638828 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
72347 loops (127/sec), 284615495 sampling steps, 15181 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
641780 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
72968 loops (124/sec), 290660364 sampling steps, 15699 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
644702 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73602 loops (126/sec), 296619696 sampling steps, 16225 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
647531 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
74387 loops (157/sec), 304129667 sampling steps, 16893 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
651112 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
75195 loops (161/sec), 311801604 sampling steps, 17584 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
654666 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
75868 loops (134/sec), 318250772 sampling steps, 18176 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
657494 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76736 loops (173/sec), 326541925 sampling steps, 18932 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
661052 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77362 loops (125/sec), 332552962 sampling steps, 19474 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
663652 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78001 loops (127/sec), 338474391 sampling steps, 20034 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
666137 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78616 loops (122/sec), 344500939 sampling steps, 20579 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
668626 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79234 loops (123/sec), 350460907 sampling steps, 21116 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
671036 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79836 loops (120/sec), 356421117 sampling steps, 21657 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
673228 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80456 loops (123/sec), 362450705 sampling steps, 22217 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
675553 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81056 loops (119/sec), 368351803 sampling steps, 22757 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
677811 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81644 loops (117/sec), 374297748 sampling steps, 23274 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
680135 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82435 loops (158/sec), 381985146 sampling steps, 23982 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
682980 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
83265 loops (165/sec), 390053989 sampling steps, 24726 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
685888 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
83974 loops (141/sec), 396992197 sampling steps, 25383 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
688217 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
84770 loops (159/sec), 404724098 sampling steps, 26098 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
691036 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85400 loops (125/sec), 410829529 sampling steps, 26675 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
693199 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86012 loops (122/sec), 416845728 sampling steps, 27244 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
695184 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86638 loops (125/sec), 422841515 sampling steps, 27838 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
697069 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
87263 loops (124/sec), 428859182 sampling steps, 28420 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
698986 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
87890 loops (125/sec), 434853260 sampling steps, 29003 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
700892 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88516 loops (125/sec), 440887133 sampling steps, 29582 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
702824 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
89143 loops (125/sec), 446885528 sampling steps, 30163 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
704732 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
89745 loops (120/sec), 452852400 sampling steps, 30735 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
706549 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90522 loops (155/sec), 460662520 sampling steps, 31457 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
708958 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
91336 loops (162/sec), 468550283 sampling steps, 32219 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
711383 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92123 loops (157/sec), 476518019 sampling steps, 32957 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
713822 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92812 loops (137/sec), 483226726 sampling steps, 33610 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
715778 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
93417 loops (120/sec), 489238050 sampling steps, 34185 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
717445 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94026 loops (121/sec), 495230683 sampling steps, 34770 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
719030 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94648 loops (124/sec), 501297793 sampling steps, 35360 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
720763 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95252 loops (120/sec), 507247398 sampling steps, 35943 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
722356 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95862 loops (121/sec), 513289611 sampling steps, 36519 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
724030 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96483 loops (124/sec), 519279757 sampling steps, 37112 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
725554 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
97073 loops (117/sec), 525199609 sampling steps, 37673 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
727225 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
97688 loops (123/sec), 531232615 sampling steps, 38263 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
728834 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98481 loops (158/sec), 539084589 sampling steps, 39026 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
730846 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
99271 loops (157/sec), 546911004 sampling steps, 39781 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
732894 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100123 loops (170/sec), 555324161 sampling steps, 40594 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
735029 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100742 loops (123/sec), 561386285 sampling steps, 41193 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
736390 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101325 loops (116/sec), 567337955 sampling steps, 41750 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
737786 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101933 loops (121/sec), 573350104 sampling steps, 42336 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
739218 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
102549 loops (123/sec), 579333920 sampling steps, 42927 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
740673 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103160 loops (122/sec), 585354113 sampling steps, 43512 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
742103 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103756 loops (118/sec), 591352895 sampling steps, 44074 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
743599 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
104363 loops (121/sec), 597387952 sampling steps, 44655 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
745064 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
104948 loops (116/sec), 603310494 sampling steps, 45223 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
746420 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
105553 loops (120/sec), 609295057 sampling steps, 45805 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
747869 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106327 loops (154/sec), 617087366 sampling steps, 46560 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
749511 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107138 loops (162/sec), 624920536 sampling steps, 47350 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
751091 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107980 loops (168/sec), 633388536 sampling steps, 48169 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
752790 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
108577 loops (119/sec), 639391638 sampling steps, 48745 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
754021 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109186 loops (121/sec), 645406848 sampling steps, 49337 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
755229 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109799 loops (122/sec), 651483181 sampling steps, 49938 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
756456 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110415 loops (123/sec), 657558811 sampling steps, 50534 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
757749 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111029 loops (122/sec), 663602934 sampling steps, 51128 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
759080 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111636 loops (121/sec), 669698603 sampling steps, 51717 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
760287 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
112224 loops (117/sec), 675683761 sampling steps, 52288 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
761502 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
112816 loops (118/sec), 681731285 sampling steps, 52866 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
762707 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113479 loops (132/sec), 688375489 sampling steps, 53513 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
764011 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
114221 loops (148/sec), 695842480 sampling steps, 54235 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
765575 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
115024 loops (160/sec), 703812526 sampling steps, 55022 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
767041 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
115880 loops (171/sec), 712344938 sampling steps, 55861 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
768639 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116480 loops (120/sec), 718394201 sampling steps, 56447 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
769793 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117100 loops (123/sec), 724529769 sampling steps, 57053 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
770885 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117709 loops (121/sec), 730594594 sampling steps, 57652 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
771964 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
118329 loops (123/sec), 736698760 sampling steps, 58252 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
773156 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
118968 loops (127/sec), 743118575 sampling steps, 58877 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
774361 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119575 loops (121/sec), 749155325 sampling steps, 59475 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
775424 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120180 loops (120/sec), 755178348 sampling steps, 60067 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
776558 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120798 loops (123/sec), 761215231 sampling steps, 60670 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
777685 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
121478 loops (135/sec), 768046449 sampling steps, 61335 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
778943 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122194 loops (143/sec), 775153370 sampling steps, 62034 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
780135 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122974 loops (155/sec), 783044939 sampling steps, 62802 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
781506 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
123809 loops (167/sec), 791340928 sampling steps, 63622 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
782934 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
124416 loops (121/sec), 797462405 sampling steps, 64224 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
783992 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125011 loops (118/sec), 803463695 sampling steps, 64811 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
784969 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125630 loops (123/sec), 809593598 sampling steps, 65421 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
785873 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126236 loops (120/sec), 815628725 sampling steps, 66018 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
786854 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126848 loops (122/sec), 821692404 sampling steps, 66621 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
787812 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
127462 loops (122/sec), 827768215 sampling steps, 67221 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
788788 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
128079 loops (123/sec), 833819623 sampling steps, 67831 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
789706 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
128675 loops (119/sec), 839876214 sampling steps, 68417 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
790675 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
129428 loops (150/sec), 847534255 sampling steps, 69156 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
791962 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130108 loops (136/sec), 854394158 sampling steps, 69824 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
793007 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130845 loops (147/sec), 861868709 sampling steps, 70555 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
794098 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
131676 loops (165/sec), 870161416 sampling steps, 71376 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
795281 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132293 loops (123/sec), 876209894 sampling steps, 71984 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
796210 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132892 loops (119/sec), 882247168 sampling steps, 72575 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
797016 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
133486 loops (118/sec), 888223091 sampling steps, 73160 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
797953 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134094 loops (121/sec), 894307115 sampling steps, 73756 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
798867 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134693 loops (119/sec), 900297442 sampling steps, 74345 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
799795 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
135299 loops (121/sec), 906368264 sampling steps, 74943 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
800657 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
135869 loops (113/sec), 912357914 sampling steps, 75503 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
801524 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
136476 loops (121/sec), 918382518 sampling steps, 76104 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
802401 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137244 loops (153/sec), 926135307 sampling steps, 76862 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
803498 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138014 loops (153/sec), 933910530 sampling steps, 77626 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
804505 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138669 loops (130/sec), 940476210 sampling steps, 78271 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
805396 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
139478 loops (161/sec), 948721941 sampling steps, 79067 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
806651 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140089 loops (122/sec), 954781264 sampling steps, 79670 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
807509 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140682 loops (118/sec), 960780834 sampling steps, 80259 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
808232 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141277 loops (118/sec), 966862302 sampling steps, 80851 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
809033 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141896 loops (123/sec), 972917597 sampling steps, 81461 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
809829 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
142491 loops (118/sec), 978912866 sampling steps, 82050 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
810648 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
143114 loops (124/sec), 985034728 sampling steps, 82669 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
811399 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
143701 loops (117/sec), 991009138 sampling steps, 83250 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
812189 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144311 loops (121/sec), 997074762 sampling steps, 83853 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
812994 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145089 loops (155/sec), 1004847916 sampling steps, 84626 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
813912 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145903 loops (162/sec), 1012833053 sampling steps, 85433 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
814968 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
146684 loops (156/sec), 1020614266 sampling steps, 86205 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
815935 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147368 loops (136/sec), 1027432371 sampling steps, 86881 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
816787 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147963 loops (118/sec), 1033438155 sampling steps, 87466 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
817553 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148580 loops (123/sec), 1039546921 sampling steps, 88074 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
818410 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149184 loops (120/sec), 1045612532 sampling steps, 88675 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
819201 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149790 loops (121/sec), 1051658862 sampling steps, 89277 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
819917 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150402 loops (122/sec), 1057768236 sampling steps, 89876 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
820729 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150992 loops (117/sec), 1063772156 sampling steps, 90463 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
821481 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
151607 loops (122/sec), 1069868951 sampling steps, 91075 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
822061 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
152215 loops (121/sec), 1075894018 sampling steps, 91677 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
822784 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
152995 loops (155/sec), 1083697830 sampling steps, 92450 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
823839 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153785 loops (158/sec), 1091625320 sampling steps, 93237 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
824688 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
154637 loops (170/sec), 1100111363 sampling steps, 94080 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
825651 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
155249 loops (122/sec), 1106193145 sampling steps, 94685 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
826389 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
155869 loops (123/sec), 1112299119 sampling steps, 95301 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
827075 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156481 loops (122/sec), 1118407057 sampling steps, 95909 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
827776 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
157083 loops (120/sec), 1124434944 sampling steps, 96509 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
828455 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
157704 loops (124/sec), 1130555816 sampling steps, 97123 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
829123 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
158300 loops (119/sec), 1136568965 sampling steps, 97716 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
829845 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
158909 loops (121/sec), 1142670794 sampling steps, 98320 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
830562 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
159489 loops (115/sec), 1148708240 sampling steps, 98899 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
831143 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
160104 loops (122/sec), 1154804869 sampling steps, 99511 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
831851 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
160889 loops (156/sec), 1162655094 sampling steps, 100288 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
832717 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
161692 loops (160/sec), 1170537295 sampling steps, 101085 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
833565 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
162546 loops (170/sec), 1178973588 sampling steps, 101935 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
834445 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
163169 loops (124/sec), 1185131971 sampling steps, 102555 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
835097 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
163778 loops (121/sec), 1191196542 sampling steps, 103158 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
835756 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164373 loops (118/sec), 1197226067 sampling steps, 103749 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
836363 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164970 loops (119/sec), 1203281434 sampling steps, 104343 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
836935 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
165582 loops (122/sec), 1209340541 sampling steps, 104954 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
837500 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
166175 loops (118/sec), 1215390119 sampling steps, 105545 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
838154 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
166785 loops (122/sec), 1221427350 sampling steps, 106150 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
838801 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
167385 loops (120/sec), 1227449747 sampling steps, 106748 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
839396 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
168000 loops (122/sec), 1233456770 sampling steps, 107360 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
839998 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
168834 loops (166/sec), 1241620204 sampling steps, 108191 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
840780 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
169620 loops (157/sec), 1249520299 sampling steps, 108970 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
841574 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
170403 loops (156/sec), 1257545932 sampling steps, 109748 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
842417 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
170985 loops (116/sec), 1263562142 sampling steps, 110328 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
842944 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
171585 loops (119/sec), 1269639803 sampling steps, 110928 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
843523 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
172181 loops (119/sec), 1275668502 sampling steps, 111523 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
844112 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
172792 loops (122/sec), 1281818045 sampling steps, 112129 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
844704 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
173397 loops (120/sec), 1287875925 sampling steps, 112727 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
845344 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
173989 loops (118/sec), 1293874766 sampling steps, 113314 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
845970 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
174573 loops (116/sec), 1299904385 sampling steps, 113896 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
846594 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
175181 loops (121/sec), 1305942867 sampling steps, 114503 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
847197 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
175863 loops (136/sec), 1312870912 sampling steps, 115181 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
847862 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
176562 loops (139/sec), 1319754594 sampling steps, 115873 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
848523 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
177361 loops (159/sec), 1327663438 sampling steps, 116669 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
849269 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
178204 loops (168/sec), 1336008673 sampling steps, 117508 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
850048 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
178819 loops (122/sec), 1342094036 sampling steps, 118120 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
850581 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
179413 loops (118/sec), 1348118479 sampling steps, 118710 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
851076 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
180015 loops (120/sec), 1354224272 sampling steps, 119309 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
851653 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
180613 loops (119/sec), 1360309254 sampling steps, 119901 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
852269 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
181216 loops (120/sec), 1366368089 sampling steps, 120501 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
852834 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
181831 loops (122/sec), 1372449833 sampling steps, 121115 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
853354 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
182427 loops (119/sec), 1378431554 sampling steps, 121707 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
853868 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
183034 loops (121/sec), 1384516752 sampling steps, 122313 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
854341 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
183795 loops (151/sec), 1392134814 sampling steps, 123069 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
855010 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
184550 loops (150/sec), 1399536993 sampling steps, 123823 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
855629 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
185240 loops (137/sec), 1406549491 sampling steps, 124510 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
856266 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
186040 loops (160/sec), 1414756855 sampling steps, 125302 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
857020 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
186649 loops (121/sec), 1420863145 sampling steps, 125908 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
857591 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
187257 loops (121/sec), 1426938746 sampling steps, 126514 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
858209 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
187861 loops (120/sec), 1432971116 sampling steps, 127117 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
858719 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
188480 loops (123/sec), 1439091146 sampling steps, 127732 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
859281 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
189087 loops (121/sec), 1445121627 sampling steps, 128339 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
859801 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
189685 loops (119/sec), 1451149693 sampling steps, 128936 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
860314 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
190307 loops (124/sec), 1457226436 sampling steps, 129554 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
860817 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
190896 loops (117/sec), 1463235849 sampling steps, 130136 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
861361 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
191660 loops (152/sec), 1470904660 sampling steps, 130896 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
861972 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
192448 loops (157/sec), 1478730700 sampling steps, 131679 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
862613 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
193088 loops (127/sec), 1485265309 sampling steps, 132317 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
863174 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
193928 loops (167/sec), 1493618397 sampling steps, 133156 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
863862 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
194543 loops (122/sec), 1499742583 sampling steps, 133767 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
864435 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
195143 loops (120/sec), 1505761535 sampling steps, 134364 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
864974 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
195735 loops (118/sec), 1511861484 sampling steps, 134956 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
865482 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
196334 loops (119/sec), 1517883826 sampling steps, 135553 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
865959 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
196936 loops (120/sec), 1523906085 sampling steps, 136153 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
866489 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
197532 loops (118/sec), 1529952435 sampling steps, 136747 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
867004 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
198147 loops (122/sec), 1536008465 sampling steps, 137358 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
867554 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
198741 loops (118/sec), 1542046475 sampling steps, 137951 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
867998 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
199509 loops (153/sec), 1549731725 sampling steps, 138715 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
868593 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
200295 loops (157/sec), 1557592456 sampling steps, 139499 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
869261 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
201021 loops (145/sec), 1564981646 sampling steps, 140224 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
869881 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
201736 loops (142/sec), 1572269711 sampling steps, 140937 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
870423 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
202355 loops (123/sec), 1578396673 sampling steps, 141554 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
870908 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
202966 loops (122/sec), 1584519363 sampling steps, 142162 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
871369 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
203562 loops (118/sec), 1590507498 sampling steps, 142757 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
871824 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
204165 loops (120/sec), 1596590948 sampling steps, 143358 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
872328 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
204769 loops (120/sec), 1602597302 sampling steps, 143960 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 11:10:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
205393 loops (124/sec), 1608715836 sampling steps, 144581 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
873295 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
206003 loops (121/sec), 1614769829 sampling steps, 145188 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
873739 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
206629 loops (125/sec), 1620827046 sampling steps, 145814 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
874121 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
207400 loops (154/sec), 1628591360 sampling steps, 146585 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
874664 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
208174 loops (154/sec), 1636498463 sampling steps, 147355 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
875334 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
208973 loops (159/sec), 1644613661 sampling steps, 148151 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
875970 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
209597 loops (124/sec), 1651020551 sampling steps, 148775 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
876378 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
210217 loops (123/sec), 1657129172 sampling steps, 149393 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
876865 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
210830 loops (122/sec), 1663146120 sampling steps, 150006 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
877261 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
211428 loops (119/sec), 1669267709 sampling steps, 150601 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
877789 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
212046 loops (123/sec), 1675374557 sampling steps, 151219 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
878314 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
212646 loops (120/sec), 1681442074 sampling steps, 151818 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
878731 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
213240 loops (118/sec), 1687523944 sampling steps, 152411 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
879122 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
213826 loops (117/sec), 1693502193 sampling steps, 152996 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
879571 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
214429 loops (120/sec), 1699597659 sampling steps, 153599 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
880005 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215241 loops (162/sec), 1707745769 sampling steps, 154410 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
880498 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
216037 loops (159/sec), 1715674321 sampling steps, 155201 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
881089 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
216873 loops (167/sec), 1724143615 sampling steps, 156036 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
881698 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
217503 loops (125/sec), 1730654721 sampling steps, 156663 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
882207 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
218104 loops (120/sec), 1736669637 sampling steps, 157261 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
882643 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
218715 loops (121/sec), 1742798138 sampling steps, 157870 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
883123 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
219314 loops (119/sec), 1748896492 sampling steps, 158468 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
883560 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
219907 loops (118/sec), 1754927604 sampling steps, 159060 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
883951 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
220506 loops (119/sec), 1760989942 sampling steps, 159658 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
884336 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
221128 loops (124/sec), 1767081733 sampling steps, 160280 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
884758 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
221735 loops (121/sec), 1773165363 sampling steps, 160884 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
885145 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
222348 loops (122/sec), 1779288257 sampling steps, 161495 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
885507 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
223931 loops (316/sec), 1795384040 sampling steps, 163071 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
886748 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
225554 loops (324/sec), 1811545506 sampling steps, 164690 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
887773 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
226797 loops (248/sec), 1824143403 sampling steps, 165931 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
888604 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
227584 loops (157/sec), 1831979495 sampling steps, 166717 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
889085 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
228332 loops (149/sec), 1839518961 sampling steps, 167464 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
889623 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
229056 loops (144/sec), 1846625304 sampling steps, 168185 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
890123 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
229689 loops (126/sec), 1852676025 sampling steps, 168815 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
890510 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
230304 loops (122/sec), 1858827898 sampling steps, 169429 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
890907 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
230913 loops (121/sec), 1864943787 sampling steps, 170036 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
891327 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
231515 loops (120/sec), 1871026363 sampling steps, 170634 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
891759 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
232116 loops (120/sec), 1877127682 sampling steps, 171234 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
892130 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
232695 loops (115/sec), 1883216410 sampling steps, 171812 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
892552 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
233293 loops (119/sec), 1889286208 sampling steps, 172410 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
892918 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
233888 loops (118/sec), 1895279672 sampling steps, 173004 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
893299 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
234683 loops (158/sec), 1903190172 sampling steps, 173798 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
893803 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
235481 loops (159/sec), 1911202867 sampling steps, 174593 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
894283 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
236327 loops (169/sec), 1919613426 sampling steps, 175437 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
894848 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
236952 loops (125/sec), 1925950571 sampling steps, 176062 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
895222 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
237567 loops (122/sec), 1932081024 sampling steps, 176672 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
895602 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
238173 loops (121/sec), 1938178896 sampling steps, 177275 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
895905 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
238778 loops (120/sec), 1944230188 sampling steps, 177876 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
896251 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
239371 loops (118/sec), 1950234857 sampling steps, 178467 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
896654 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
239965 loops (118/sec), 1956275506 sampling steps, 179061 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
897025 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
240569 loops (120/sec), 1962343900 sampling steps, 179665 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
897383 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
241163 loops (118/sec), 1968335268 sampling steps, 180256 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
897769 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
241774 loops (122/sec), 1974401443 sampling steps, 180864 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
898154 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
242545 loops (154/sec), 1982116561 sampling steps, 181634 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
898654 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
243359 loops (162/sec), 1990108287 sampling steps, 182443 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
899202 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
244217 loops (171/sec), 1998658592 sampling steps, 183298 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
899703 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
244825 loops (121/sec), 2004789362 sampling steps, 183906 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
900021 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
245436 loops (122/sec), 2010873597 sampling steps, 184517 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
900427 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
246047 loops (122/sec), 2017021261 sampling steps, 185127 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
900768 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
246654 loops (121/sec), 2023105806 sampling steps, 185734 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
901192 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
247242 loops (117/sec), 2029113821 sampling steps, 186319 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
901533 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
247842 loops (119/sec), 2035217475 sampling steps, 186918 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
901875 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
248450 loops (121/sec), 2041265510 sampling steps, 187523 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
902195 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
249043 loops (118/sec), 2047323572 sampling steps, 188113 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
902582 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
249704 loops (132/sec), 2053952605 sampling steps, 188772 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
903031 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
250440 loops (147/sec), 2061322720 sampling steps, 189507 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
903438 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
251238 loops (159/sec), 2069266543 sampling steps, 190304 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
903886 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
252054 loops (163/sec), 2077638784 sampling steps, 191119 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
904452 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
252662 loops (121/sec), 2083710311 sampling steps, 191727 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
904767 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
253264 loops (120/sec), 2089773867 sampling steps, 192325 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
905129 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
253873 loops (121/sec), 2095860930 sampling steps, 192933 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
905511 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
254465 loops (118/sec), 2101863884 sampling steps, 193523 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
905828 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
255048 loops (116/sec), 2107923222 sampling steps, 194104 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
906199 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
255653 loops (120/sec), 2113952105 sampling steps, 194708 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
906498 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
256255 loops (120/sec), 2120029021 sampling steps, 195310 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
906786 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
256842 loops (117/sec), 2126019217 sampling steps, 195897 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
907059 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
257584 loops (148/sec), 2133468617 sampling steps, 196638 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
907476 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
258242 loops (131/sec), 2140062556 sampling steps, 197295 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
907876 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
259035 loops (158/sec), 2147889973 sampling steps, 198083 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
908326 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
259875 loops (167/sec), 2156288167 sampling steps, 198923 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
908741 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
260479 loops (120/sec), 2162345571 sampling steps, 199525 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
909045 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261084 loops (120/sec), 2168465042 sampling steps, 200128 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
909415 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261684 loops (119/sec), 2174478846 sampling steps, 200726 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
909785 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
262312 loops (125/sec), 2180596994 sampling steps, 201354 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
910117 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
262910 loops (119/sec), 2186608858 sampling steps, 201950 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
910449 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
263506 loops (119/sec), 2192681661 sampling steps, 202545 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
910761 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
264091 loops (116/sec), 2198659280 sampling steps, 203129 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
911115 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
264699 loops (121/sec), 2204738628 sampling steps, 203737 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
911392 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
265474 loops (154/sec), 2212372383 sampling steps, 204510 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
911771 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
266208 loops (146/sec), 2219807602 sampling steps, 205244 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
912120 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
266874 loops (133/sec), 2226711436 sampling steps, 205905 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
912588 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
267716 loops (168/sec), 2235123735 sampling steps, 206747 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
913051 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
268334 loops (123/sec), 2241232655 sampling steps, 207364 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
913320 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
268938 loops (120/sec), 2247285729 sampling steps, 207967 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
913631 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
269537 loops (119/sec), 2253375605 sampling steps, 208565 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
913955 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
270155 loops (123/sec), 2259490346 sampling steps, 209182 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
914296 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
270762 loops (121/sec), 2265569421 sampling steps, 209789 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
914577 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
271371 loops (121/sec), 2271672601 sampling steps, 210396 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
914893 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
272005 loops (126/sec), 2278003718 sampling steps, 211030 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
915223 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
272599 loops (118/sec), 2284021855 sampling steps, 211621 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
915513 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
273362 loops (152/sec), 2291744167 sampling steps, 212384 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
915915 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
274169 loops (161/sec), 2299673518 sampling steps, 213189 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
916393 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
274979 loops (161/sec), 2307815055 sampling steps, 213998 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
916842 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
275636 loops (131/sec), 2314308778 sampling steps, 214653 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
917200 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
276248 loops (122/sec), 2320430016 sampling steps, 215263 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
917539 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
276864 loops (123/sec), 2326502250 sampling steps, 215876 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
917876 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
277453 loops (117/sec), 2332599459 sampling steps, 216464 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
918230 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
278053 loops (119/sec), 2338689139 sampling steps, 217062 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
918587 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
278664 loops (122/sec), 2344771286 sampling steps, 217673 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
918940 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
279254 loops (117/sec), 2350824611 sampling steps, 218262 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
919335 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
279847 loops (118/sec), 2356802132 sampling steps, 218855 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
919620 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
280437 loops (118/sec), 2362844285 sampling steps, 219445 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
919950 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
281221 loops (156/sec), 2370840514 sampling steps, 220228 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
920316 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
282016 loops (158/sec), 2378803601 sampling steps, 221022 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
920660 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.010100364685 seconds since the total time limit of 1800.0 seconds was exceeded.