Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:49:01 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/cluster/cluster.prism --const N=256 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:49:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9831 loops (1966/sec), 16250905 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
98311 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14305 loops (894/sec), 32099359 sampling steps, 1 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
143041 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17750 loops (689/sec), 47738511 sampling steps, 1 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
177491 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20545 loops (559/sec), 62860377 sampling steps, 1 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
205441 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22880 loops (466/sec), 77161883 sampling steps, 2 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
228787 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25020 loops (428/sec), 91772714 sampling steps, 3 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
250180 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27009 loops (397/sec), 106487351 sampling steps, 3 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
270070 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28849 loops (368/sec), 121003346 sampling steps, 3 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
288470 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30555 loops (341/sec), 135479058 sampling steps, 4 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
305520 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32125 loops (314/sec), 149714065 sampling steps, 4 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
321220 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33626 loops (300/sec), 164035749 sampling steps, 5 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
336227 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35020 loops (278/sec), 177935999 sampling steps, 6 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
350157 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36357 loops (267/sec), 192174436 sampling steps, 7 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363517 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37651 loops (258/sec), 206300738 sampling steps, 8 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
376450 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38890 loops (247/sec), 220427551 sampling steps, 8 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
388840 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40081 loops (238/sec), 234533908 sampling steps, 8 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
400750 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41213 loops (226/sec), 248408938 sampling steps, 9 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
412063 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42272 loops (211/sec), 262030039 sampling steps, 9 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
422653 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43318 loops (209/sec), 275845913 sampling steps, 9 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
433113 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44341 loops (204/sec), 289723427 sampling steps, 10 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
443333 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45323 loops (196/sec), 303453015 sampling steps, 10 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453153 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46173 loops (169/sec), 315597701 sampling steps, 11 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
461643 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47085 loops (182/sec), 329163049 sampling steps, 12 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
470753 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47980 loops (179/sec), 342646773 sampling steps, 12 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
479703 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48853 loops (174/sec), 356179528 sampling steps, 14 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
488419 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49691 loops (167/sec), 369535561 sampling steps, 14 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
496799 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50514 loops (164/sec), 383013770 sampling steps, 15 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
505019 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51318 loops (160/sec), 396403930 sampling steps, 16 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
513051 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52108 loops (158/sec), 409865222 sampling steps, 17 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
520944 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52856 loops (149/sec), 423009124 sampling steps, 17 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
528424 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53625 loops (153/sec), 436447603 sampling steps, 17 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
536114 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54359 loops (146/sec), 449924862 sampling steps, 19 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
543439 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55081 loops (143/sec), 463329600 sampling steps, 21 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
550649 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55803 loops (144/sec), 476720814 sampling steps, 22 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
557859 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56493 loops (138/sec), 490101276 sampling steps, 22 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
564759 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57179 loops (137/sec), 503465091 sampling steps, 22 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
571619 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57854 loops (134/sec), 516826556 sampling steps, 23 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
578359 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58510 loops (131/sec), 530141401 sampling steps, 24 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
584915 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59156 loops (129/sec), 543430538 sampling steps, 26 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
591358 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59794 loops (127/sec), 556719842 sampling steps, 27 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
597728 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60414 loops (123/sec), 569986087 sampling steps, 27 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
603928 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61032 loops (123/sec), 583100409 sampling steps, 28 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
610100 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61633 loops (120/sec), 596258490 sampling steps, 29 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
616101 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62223 loops (117/sec), 609387605 sampling steps, 31 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
621995 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62810 loops (117/sec), 622449929 sampling steps, 34 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
627837 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63386 loops (115/sec), 635587252 sampling steps, 35 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
633587 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63952 loops (113/sec), 648665491 sampling steps, 36 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
639237 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
64507 loops (111/sec), 661652470 sampling steps, 36 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
644787 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
65063 loops (111/sec), 674680861 sampling steps, 38 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
650334 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
65596 loops (106/sec), 687672295 sampling steps, 39 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
655654 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66133 loops (107/sec), 700696498 sampling steps, 40 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
661015 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66658 loops (104/sec), 713611707 sampling steps, 42 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
666247 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
67172 loops (102/sec), 726559278 sampling steps, 44 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
671372 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
67686 loops (102/sec), 739256954 sampling steps, 46 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
676502 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
68172 loops (97/sec), 751419239 sampling steps, 48 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
681348 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
68664 loops (98/sec), 764180961 sampling steps, 50 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
686251 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69153 loops (97/sec), 776756041 sampling steps, 52 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
691126 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69627 loops (94/sec), 789151502 sampling steps, 52 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
695866 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
70113 loops (97/sec), 801950859 sampling steps, 52 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
700726 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
70588 loops (94/sec), 814709529 sampling steps, 52 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
705476 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71063 loops (94/sec), 827492434 sampling steps, 52 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
710226 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71531 loops (93/sec), 840212698 sampling steps, 52 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
714906 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71989 loops (91/sec), 852973709 sampling steps, 53 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
719476 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
72438 loops (89/sec), 865717253 sampling steps, 55 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
723946 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
72898 loops (91/sec), 878515668 sampling steps, 56 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
728536 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73346 loops (89/sec), 891282423 sampling steps, 62 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
732969 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73784 loops (87/sec), 903833920 sampling steps, 65 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
737319 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
74226 loops (88/sec), 916474298 sampling steps, 65 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
741739 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
74658 loops (86/sec), 929180511 sampling steps, 68 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
746029 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
75084 loops (85/sec), 941807191 sampling steps, 68 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
750289 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
75510 loops (85/sec), 954499821 sampling steps, 69 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
754539 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
75933 loops (84/sec), 967095139 sampling steps, 71 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
758751 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76347 loops (82/sec), 979722516 sampling steps, 73 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
762877 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76758 loops (82/sec), 992281546 sampling steps, 75 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
766967 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77176 loops (83/sec), 1005119302 sampling steps, 77 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
771127 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77583 loops (81/sec), 1018004806 sampling steps, 78 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
775187 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77987 loops (80/sec), 1030824509 sampling steps, 82 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
779189 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78397 loops (81/sec), 1043676849 sampling steps, 85 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
783262 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78799 loops (80/sec), 1056493763 sampling steps, 85 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
787282 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79198 loops (79/sec), 1069353411 sampling steps, 87 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
791258 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79594 loops (79/sec), 1082220990 sampling steps, 90 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
795190 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79988 loops (78/sec), 1095138533 sampling steps, 91 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
799124 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80386 loops (79/sec), 1108036242 sampling steps, 91 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
803104 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80779 loops (78/sec), 1120854684 sampling steps, 94 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
807006 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81165 loops (77/sec), 1133771189 sampling steps, 96 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
810846 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81547 loops (76/sec), 1146601180 sampling steps, 98 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
814648 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81932 loops (76/sec), 1159344967 sampling steps, 100 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
818478 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82307 loops (74/sec), 1172128574 sampling steps, 104 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
822191 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82687 loops (75/sec), 1184975505 sampling steps, 107 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
825964 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
83053 loops (73/sec), 1197819073 sampling steps, 108 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
829614 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
83420 loops (73/sec), 1210657455 sampling steps, 112 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
833258 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
83783 loops (72/sec), 1223513744 sampling steps, 126 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
836828 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
84151 loops (73/sec), 1236407305 sampling steps, 240 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
840014 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
84509 loops (71/sec), 1249332431 sampling steps, 420 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
842747 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
84870 loops (72/sec), 1262310806 sampling steps, 638 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
845192 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85233 loops (72/sec), 1275240071 sampling steps, 877 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
847489 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85590 loops (71/sec), 1288156177 sampling steps, 1119 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
849570 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85952 loops (72/sec), 1301030681 sampling steps, 1368 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
851528 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86310 loops (71/sec), 1313982551 sampling steps, 1634 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
853426 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86670 loops (71/sec), 1326945449 sampling steps, 1892 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
855273 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
87035 loops (72/sec), 1339907812 sampling steps, 2163 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
857071 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
87391 loops (71/sec), 1352863065 sampling steps, 2431 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
858742 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
87749 loops (71/sec), 1365812613 sampling steps, 2715 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
860362 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88103 loops (70/sec), 1378741307 sampling steps, 2995 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
861888 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88461 loops (71/sec), 1391752171 sampling steps, 3284 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
863343 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88811 loops (69/sec), 1404617556 sampling steps, 3573 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
864696 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
89155 loops (68/sec), 1417194300 sampling steps, 3846 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
866048 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
89507 loops (70/sec), 1430093189 sampling steps, 4136 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
867353 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
89854 loops (69/sec), 1442687949 sampling steps, 4430 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
868524 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90204 loops (69/sec), 1455531944 sampling steps, 4727 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
869735 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90554 loops (69/sec), 1468350243 sampling steps, 5015 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
871041 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90904 loops (69/sec), 1481149136 sampling steps, 5301 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
872283 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
91249 loops (68/sec), 1493976827 sampling steps, 5602 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
873425 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
91599 loops (69/sec), 1506920873 sampling steps, 5905 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
874569 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
91944 loops (68/sec), 1519804213 sampling steps, 6213 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
875453 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92292 loops (69/sec), 1532539036 sampling steps, 6500 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
876664 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92642 loops (69/sec), 1545346368 sampling steps, 6802 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
877756 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92994 loops (70/sec), 1558237276 sampling steps, 7095 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
878970 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
93347 loops (70/sec), 1571142344 sampling steps, 7396 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
880079 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
93685 loops (67/sec), 1583766925 sampling steps, 7694 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
881063 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94018 loops (66/sec), 1596222150 sampling steps, 7991 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
881957 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94350 loops (66/sec), 1608612522 sampling steps, 8289 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
882815 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94676 loops (64/sec), 1620855414 sampling steps, 8584 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
883620 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94993 loops (63/sec), 1632608602 sampling steps, 8866 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
884510 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95312 loops (63/sec), 1644429636 sampling steps, 9144 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
885461 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95633 loops (64/sec), 1656334120 sampling steps, 9424 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
886368 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95957 loops (64/sec), 1668410621 sampling steps, 9719 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
887112 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96286 loops (65/sec), 1680532076 sampling steps, 10010 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
887973 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96611 loops (64/sec), 1692518746 sampling steps, 10298 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
888846 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96934 loops (64/sec), 1704476927 sampling steps, 10579 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
889762 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
97259 loops (64/sec), 1716441085 sampling steps, 10863 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
890696 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
97578 loops (63/sec), 1728403531 sampling steps, 11144 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
891606 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
97897 loops (63/sec), 1740332979 sampling steps, 11429 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
892479 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98223 loops (65/sec), 1752199430 sampling steps, 11719 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
893300 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98548 loops (64/sec), 1764163409 sampling steps, 12011 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
894091 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98869 loops (64/sec), 1776129887 sampling steps, 12292 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
894947 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
99188 loops (63/sec), 1788032098 sampling steps, 12582 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
895759 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
99509 loops (64/sec), 1799931071 sampling steps, 12869 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
896579 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
99826 loops (63/sec), 1811802518 sampling steps, 13163 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
897226 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100145 loops (63/sec), 1823725617 sampling steps, 13453 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
897872 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100460 loops (62/sec), 1835581440 sampling steps, 13740 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
898614 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100779 loops (63/sec), 1847523534 sampling steps, 14021 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
899400 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101098 loops (63/sec), 1859426333 sampling steps, 14307 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
900099 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101417 loops (63/sec), 1871231383 sampling steps, 14587 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
900896 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101733 loops (63/sec), 1883048620 sampling steps, 14871 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
901716 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
102050 loops (63/sec), 1894904898 sampling steps, 15161 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
902480 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
102371 loops (63/sec), 1906782328 sampling steps, 15447 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
903267 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
102691 loops (63/sec), 1918641322 sampling steps, 15738 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
904016 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103005 loops (62/sec), 1930503288 sampling steps, 16019 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
904755 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103322 loops (63/sec), 1942351949 sampling steps, 16302 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
905501 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103635 loops (62/sec), 1954189651 sampling steps, 16597 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
906056 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103951 loops (63/sec), 1966055984 sampling steps, 16888 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
906694 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
104268 loops (63/sec), 1977973680 sampling steps, 17184 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
907306 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
104591 loops (64/sec), 1989879786 sampling steps, 17466 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
908101 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
104907 loops (63/sec), 2001754208 sampling steps, 17753 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
908821 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
105219 loops (62/sec), 2013606161 sampling steps, 18043 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
909385 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
105529 loops (61/sec), 2025476246 sampling steps, 18338 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
909899 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
105848 loops (63/sec), 2037309156 sampling steps, 18625 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
910576 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106163 loops (62/sec), 2049226511 sampling steps, 18919 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
911160 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106477 loops (62/sec), 2061078999 sampling steps, 19207 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
911761 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106792 loops (62/sec), 2072985004 sampling steps, 19499 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
912318 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107103 loops (62/sec), 2084861692 sampling steps, 19785 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
912945 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107424 loops (64/sec), 2096771468 sampling steps, 20077 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
913716 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107736 loops (62/sec), 2108662287 sampling steps, 20364 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
914349 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
108050 loops (62/sec), 2120516699 sampling steps, 20661 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
914873 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
108365 loops (62/sec), 2132357571 sampling steps, 20951 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
915443 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
108676 loops (62/sec), 2144210263 sampling steps, 21248 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
915960 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
108990 loops (62/sec), 2156045958 sampling steps, 21541 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
916572 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109302 loops (62/sec), 2167883752 sampling steps, 21837 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
917129 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109622 loops (63/sec), 2179717515 sampling steps, 22125 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
917804 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109941 loops (63/sec), 2191638055 sampling steps, 22419 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
918401 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110259 loops (63/sec), 2203581030 sampling steps, 22717 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
918912 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110576 loops (63/sec), 2215480452 sampling steps, 23021 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
919385 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110890 loops (62/sec), 2227397282 sampling steps, 23319 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
919871 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111208 loops (63/sec), 2239329412 sampling steps, 23619 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
920444 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111528 loops (63/sec), 2251304845 sampling steps, 23908 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
921068 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111839 loops (62/sec), 2263233390 sampling steps, 24200 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
921645 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
112154 loops (62/sec), 2275121518 sampling steps, 24500 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
922161 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
112466 loops (62/sec), 2287013785 sampling steps, 24796 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
922665 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
112778 loops (62/sec), 2298902473 sampling steps, 25095 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
923113 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113103 loops (64/sec), 2310815266 sampling steps, 25393 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
923670 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113417 loops (62/sec), 2322700920 sampling steps, 25687 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
924222 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113735 loops (63/sec), 2334623038 sampling steps, 25980 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
924796 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
114048 loops (62/sec), 2346546060 sampling steps, 26274 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
925291 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
114368 loops (63/sec), 2358507069 sampling steps, 26572 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
925854 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
114682 loops (62/sec), 2370401349 sampling steps, 26871 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
926336 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
114997 loops (62/sec), 2382333441 sampling steps, 27165 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
926852 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
115314 loops (63/sec), 2394198200 sampling steps, 27459 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
927398 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
115634 loops (64/sec), 2406137454 sampling steps, 27754 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
927950 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
115947 loops (62/sec), 2418087519 sampling steps, 28048 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
928453 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116265 loops (63/sec), 2430047104 sampling steps, 28347 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
928952 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116579 loops (62/sec), 2441952994 sampling steps, 28649 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
929373 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116893 loops (62/sec), 2453780049 sampling steps, 28944 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
929889 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117202 loops (61/sec), 2465642445 sampling steps, 29239 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
930360 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117518 loops (63/sec), 2477558797 sampling steps, 29535 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
930808 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117832 loops (62/sec), 2489457044 sampling steps, 29836 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
931265 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
118147 loops (62/sec), 2501396632 sampling steps, 30132 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
931739 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
118462 loops (62/sec), 2513339842 sampling steps, 30431 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
932191 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
118775 loops (62/sec), 2525278202 sampling steps, 30730 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
932658 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119091 loops (63/sec), 2537211825 sampling steps, 31030 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
933094 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119406 loops (62/sec), 2549137521 sampling steps, 31330 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
933538 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119713 loops (61/sec), 2561019943 sampling steps, 31624 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
933981 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120028 loops (62/sec), 2572929986 sampling steps, 31926 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
934343 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120344 loops (63/sec), 2584842376 sampling steps, 32222 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
934819 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120656 loops (62/sec), 2596732811 sampling steps, 32521 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
935288 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120971 loops (62/sec), 2608616447 sampling steps, 32817 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
935686 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
121281 loops (61/sec), 2620521507 sampling steps, 33116 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
936060 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
121593 loops (62/sec), 2632397572 sampling steps, 33417 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
936439 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
121905 loops (62/sec), 2644282277 sampling steps, 33718 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
936832 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122221 loops (63/sec), 2656166307 sampling steps, 34017 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
937283 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122538 loops (63/sec), 2668039559 sampling steps, 34316 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
937753 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122848 loops (61/sec), 2679924673 sampling steps, 34610 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
938228 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
123161 loops (62/sec), 2691756594 sampling steps, 34907 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
938681 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
123472 loops (62/sec), 2703640274 sampling steps, 35206 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
939115 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
123782 loops (61/sec), 2715527963 sampling steps, 35509 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
939461 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
124094 loops (62/sec), 2727385450 sampling steps, 35799 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
939936 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
124407 loops (62/sec), 2739248657 sampling steps, 36100 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
940384 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
124719 loops (62/sec), 2751120830 sampling steps, 36394 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
940861 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125033 loops (62/sec), 2763011833 sampling steps, 36689 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
941316 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125346 loops (62/sec), 2774907463 sampling steps, 36981 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
941828 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125656 loops (61/sec), 2786803363 sampling steps, 37284 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
942203 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125969 loops (62/sec), 2798689537 sampling steps, 37582 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
942598 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126281 loops (62/sec), 2810576406 sampling steps, 37876 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
943078 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126594 loops (62/sec), 2822473905 sampling steps, 38179 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
943455 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126904 loops (61/sec), 2834411045 sampling steps, 38483 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
943751 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
127217 loops (62/sec), 2846353987 sampling steps, 38789 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
944069 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
127531 loops (62/sec), 2858269044 sampling steps, 39086 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
944476 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
127841 loops (61/sec), 2870177875 sampling steps, 39384 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
944873 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
128153 loops (62/sec), 2882071655 sampling steps, 39681 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
945274 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
128464 loops (61/sec), 2893986176 sampling steps, 39981 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
945578 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
128777 loops (62/sec), 2905901753 sampling steps, 40283 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
945979 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
129087 loops (61/sec), 2917828391 sampling steps, 40576 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
946378 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
129399 loops (62/sec), 2929734460 sampling steps, 40877 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
946744 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
129713 loops (62/sec), 2941638021 sampling steps, 41178 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
947079 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130027 loops (62/sec), 2953617745 sampling steps, 41483 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
947441 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130338 loops (62/sec), 2965522555 sampling steps, 41780 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
947825 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130649 loops (62/sec), 2977428879 sampling steps, 42078 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
948224 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130962 loops (62/sec), 2989390090 sampling steps, 42376 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
948638 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
131277 loops (62/sec), 3001368498 sampling steps, 42679 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
949032 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
131589 loops (62/sec), 3013300464 sampling steps, 42982 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
949394 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
131903 loops (62/sec), 3025256560 sampling steps, 43278 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
949844 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132214 loops (62/sec), 3037193548 sampling steps, 43578 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
950190 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132524 loops (61/sec), 3049156770 sampling steps, 43881 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
950521 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132838 loops (62/sec), 3061124867 sampling steps, 44179 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
950883 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
133153 loops (62/sec), 3073095294 sampling steps, 44479 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
951257 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
133467 loops (62/sec), 3085068706 sampling steps, 44778 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
951652 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
133778 loops (62/sec), 3097059541 sampling steps, 45075 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
952014 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134092 loops (62/sec), 3109059003 sampling steps, 45379 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
952352 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134404 loops (62/sec), 3120974260 sampling steps, 45679 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
952781 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134714 loops (61/sec), 3132850858 sampling steps, 45979 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
953087 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
135028 loops (62/sec), 3144910260 sampling steps, 46283 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
953423 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
135343 loops (62/sec), 3156893641 sampling steps, 46587 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
953741 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
135660 loops (63/sec), 3168869557 sampling steps, 46894 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
954036 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
135974 loops (62/sec), 3180924954 sampling steps, 47198 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
954334 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
136292 loops (63/sec), 3193108653 sampling steps, 47507 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
954679 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
136609 loops (63/sec), 3205170222 sampling steps, 47812 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
955024 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
136948 loops (67/sec), 3217988631 sampling steps, 48138 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
955362 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137288 loops (67/sec), 3231029317 sampling steps, 48469 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
955714 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137630 loops (68/sec), 3244061817 sampling steps, 48796 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
956115 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137972 loops (68/sec), 3257084732 sampling steps, 49123 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
956543 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138310 loops (67/sec), 3270114031 sampling steps, 49453 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
956893 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138653 loops (68/sec), 3283163764 sampling steps, 49788 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
957222 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138993 loops (67/sec), 3296199809 sampling steps, 50117 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
957629 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
139332 loops (67/sec), 3309193830 sampling steps, 50447 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
957988 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
139672 loops (67/sec), 3322188593 sampling steps, 50776 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
958326 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140015 loops (68/sec), 3335221259 sampling steps, 51107 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
958662 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140355 loops (67/sec), 3348247834 sampling steps, 51441 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
959042 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140694 loops (67/sec), 3361267137 sampling steps, 51769 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
959436 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141031 loops (67/sec), 3374302707 sampling steps, 52101 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
959719 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141371 loops (67/sec), 3387355570 sampling steps, 52430 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
960053 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141713 loops (68/sec), 3400398425 sampling steps, 52756 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
960490 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
142052 loops (67/sec), 3413427696 sampling steps, 53083 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
960825 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
142395 loops (68/sec), 3426469993 sampling steps, 53415 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
961185 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
142735 loops (67/sec), 3439471174 sampling steps, 53735 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
961643 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
143076 loops (68/sec), 3452541196 sampling steps, 54071 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
961895 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
143415 loops (67/sec), 3465541617 sampling steps, 54398 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
962243 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
143753 loops (67/sec), 3478529983 sampling steps, 54721 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
962601 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144097 loops (68/sec), 3491545066 sampling steps, 55052 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
962942 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144437 loops (67/sec), 3504608528 sampling steps, 55389 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
963241 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144774 loops (67/sec), 3517624575 sampling steps, 55722 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
963506 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145114 loops (67/sec), 3530668248 sampling steps, 56045 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
963983 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145455 loops (68/sec), 3543713537 sampling steps, 56379 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
964302 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145795 loops (67/sec), 3556730708 sampling steps, 56710 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
964606 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
146135 loops (67/sec), 3569769300 sampling steps, 57043 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
964882 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
146477 loops (68/sec), 3582826786 sampling steps, 57375 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
965221 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
146820 loops (68/sec), 3595900087 sampling steps, 57709 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
965540 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147157 loops (67/sec), 3608934128 sampling steps, 58038 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
965821 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147498 loops (67/sec), 3621981083 sampling steps, 58366 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
966155 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147843 loops (68/sec), 3635053451 sampling steps, 58700 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
966476 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148180 loops (67/sec), 3648067782 sampling steps, 59029 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
966809 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148521 loops (68/sec), 3661085852 sampling steps, 59352 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
967224 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148862 loops (68/sec), 3674062504 sampling steps, 59676 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
967634 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149198 loops (67/sec), 3687052469 sampling steps, 60006 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
967995 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149534 loops (67/sec), 3700070300 sampling steps, 60335 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
968254 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149873 loops (67/sec), 3713106571 sampling steps, 60665 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
968521 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150214 loops (68/sec), 3726095537 sampling steps, 60992 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
968903 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150556 loops (68/sec), 3739138363 sampling steps, 61319 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
969239 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150896 loops (67/sec), 3752154784 sampling steps, 61646 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
969574 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
151237 loops (68/sec), 3765169966 sampling steps, 61975 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
969930 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
151577 loops (67/sec), 3778170384 sampling steps, 62306 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
970275 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
151917 loops (67/sec), 3791180292 sampling steps, 62634 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
970614 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
152257 loops (67/sec), 3804136020 sampling steps, 62957 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
971009 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
152596 loops (67/sec), 3817166698 sampling steps, 63285 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
971327 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
152938 loops (68/sec), 3830221589 sampling steps, 63616 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
971595 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153276 loops (67/sec), 3843269079 sampling steps, 63949 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
971804 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153619 loops (68/sec), 3856324509 sampling steps, 64284 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
972070 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153959 loops (67/sec), 3869365512 sampling steps, 64614 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
972362 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
154299 loops (67/sec), 3882413157 sampling steps, 64943 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
972692 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
154640 loops (68/sec), 3895484446 sampling steps, 65274 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
972995 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
154982 loops (68/sec), 3908578824 sampling steps, 65607 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
973319 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
155322 loops (67/sec), 3921649484 sampling steps, 65940 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
973621 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
155663 loops (68/sec), 3934683643 sampling steps, 66268 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
973920 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156006 loops (68/sec), 3947708792 sampling steps, 66601 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
974173 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156345 loops (67/sec), 3960727345 sampling steps, 66927 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
974534 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156683 loops (67/sec), 3973789681 sampling steps, 67257 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
974804 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
157024 loops (68/sec), 3986848031 sampling steps, 67588 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
975108 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
157366 loops (68/sec), 3999899488 sampling steps, 67917 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
975411 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
157707 loops (68/sec), 4012983777 sampling steps, 68249 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
975708 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
158048 loops (68/sec), 4026040160 sampling steps, 68585 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
975960 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
158391 loops (68/sec), 4039086076 sampling steps, 68915 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
976271 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
158736 loops (68/sec), 4052140329 sampling steps, 69244 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
976596 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
159076 loops (68/sec), 4065187752 sampling steps, 69578 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
976872 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
159416 loops (67/sec), 4078248992 sampling steps, 69908 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
977150 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
159755 loops (67/sec), 4091269146 sampling steps, 70239 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
977459 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
160093 loops (67/sec), 4104333099 sampling steps, 70571 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
977656 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
160432 loops (67/sec), 4117282804 sampling steps, 70901 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
977915 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
160768 loops (67/sec), 4130170343 sampling steps, 71228 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
978158 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
161102 loops (66/sec), 4143100585 sampling steps, 71552 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
978440 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
161437 loops (66/sec), 4156009125 sampling steps, 71872 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
978817 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
161768 loops (66/sec), 4168824394 sampling steps, 72197 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
979062 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
162104 loops (67/sec), 4181655522 sampling steps, 72524 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
979303 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
162445 loops (67/sec), 4194680415 sampling steps, 72857 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
979559 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
162786 loops (68/sec), 4207551311 sampling steps, 73185 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
979898 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
163121 loops (66/sec), 4220369995 sampling steps, 73506 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
980258 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
163459 loops (67/sec), 4233339295 sampling steps, 73838 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
980535 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
163794 loops (67/sec), 4246277530 sampling steps, 74166 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
980761 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164125 loops (66/sec), 4259065518 sampling steps, 74490 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
981020 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164459 loops (66/sec), 4272043621 sampling steps, 74819 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
981286 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164799 loops (67/sec), 4285052747 sampling steps, 75154 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
981527 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
165142 loops (68/sec), 4298100991 sampling steps, 75488 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
981776 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
165480 loops (67/sec), 4311177809 sampling steps, 75821 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
982042 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
165819 loops (67/sec), 4324097520 sampling steps, 76152 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
982293 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
166153 loops (66/sec), 4337026052 sampling steps, 76482 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
982484 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
166497 loops (68/sec), 4350106984 sampling steps, 76818 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
982749 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
166826 loops (65/sec), 4362897582 sampling steps, 77142 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
982989 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
167163 loops (67/sec), 4375733876 sampling steps, 77465 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
983304 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
167500 loops (67/sec), 4388733912 sampling steps, 77796 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
983518 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
167836 loops (67/sec), 4401640973 sampling steps, 78122 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
983806 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
168168 loops (66/sec), 4414457756 sampling steps, 78444 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
984097 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
168501 loops (66/sec), 4427229264 sampling steps, 78768 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
984377 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
168838 loops (67/sec), 4440050830 sampling steps, 79090 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
984690 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
169172 loops (66/sec), 4452897976 sampling steps, 79419 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
984879 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
169505 loops (66/sec), 4465718199 sampling steps, 79743 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
985112 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
169837 loops (66/sec), 4478496896 sampling steps, 80070 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
985291 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
170171 loops (66/sec), 4491400936 sampling steps, 80399 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
985529 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
170504 loops (66/sec), 4504245654 sampling steps, 80723 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
985764 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
170839 loops (66/sec), 4517081338 sampling steps, 81044 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
986049 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
171176 loops (67/sec), 4529969085 sampling steps, 81368 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
986354 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
171507 loops (66/sec), 4542827247 sampling steps, 81697 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
986545 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0105440616608 seconds since the total time limit of 1800.0 seconds was exceeded.