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=128 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:49:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6956 loops (1390/sec), 18319648 sampling steps, 2 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
69541 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:
10013 loops (611/sec), 36942709 sampling steps, 2 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
100111 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:
12338 loops (464/sec), 55271198 sampling steps, 4 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123351 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:
14233 loops (378/sec), 73259997 sampling steps, 10 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
142264 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:
15797 loops (312/sec), 90001450 sampling steps, 12 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157884 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:
17234 loops (287/sec), 107158299 sampling steps, 12 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
172254 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:
18541 loops (261/sec), 124047685 sampling steps, 14 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
185304 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:
19751 loops (242/sec), 140746256 sampling steps, 16 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
197394 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:
20866 loops (223/sec), 157247041 sampling steps, 16 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
208544 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:
21908 loops (208/sec), 173622019 sampling steps, 17 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218954 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:
22899 loops (198/sec), 189934358 sampling steps, 23 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
228811 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:
23833 loops (186/sec), 206112135 sampling steps, 23 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
238151 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:
24721 loops (177/sec), 222157515 sampling steps, 24 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
247025 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:
25579 loops (171/sec), 238182705 sampling steps, 25 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
255595 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:
26400 loops (164/sec), 254099703 sampling steps, 27 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
263786 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:
27188 loops (157/sec), 269828563 sampling steps, 33 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
271612 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:
27933 loops (148/sec), 285147669 sampling steps, 61 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
278939 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:
28653 loops (143/sec), 300443815 sampling steps, 437 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
284209 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:
29350 loops (139/sec), 315494646 sampling steps, 960 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
287970 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:
30066 loops (143/sec), 330914710 sampling steps, 1562 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
290995 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:
30777 loops (142/sec), 346377965 sampling steps, 2173 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
293506 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:
31484 loops (141/sec), 361800549 sampling steps, 2798 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
295654 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:
32200 loops (143/sec), 377308393 sampling steps, 3438 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
297722 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:
32907 loops (141/sec), 392774490 sampling steps, 4078 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
299600 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:
33621 loops (142/sec), 408261028 sampling steps, 4728 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
301273 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:
34329 loops (141/sec), 423739843 sampling steps, 5375 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
302776 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:
35030 loops (140/sec), 439207125 sampling steps, 6033 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
304203 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:
35736 loops (141/sec), 454678635 sampling steps, 6695 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
305444 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:
36435 loops (139/sec), 470103035 sampling steps, 7355 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
306717 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:
37143 loops (141/sec), 485575094 sampling steps, 8025 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
307869 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:
37841 loops (139/sec), 501045679 sampling steps, 8698 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
308859 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:
38544 loops (140/sec), 516510364 sampling steps, 9370 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
309889 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:
39243 loops (139/sec), 531969717 sampling steps, 10043 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
310820 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:
39945 loops (140/sec), 547477837 sampling steps, 10720 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
311695 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:
40642 loops (139/sec), 562924720 sampling steps, 11389 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
312552 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:
41351 loops (141/sec), 578486113 sampling steps, 12073 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
313349 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:
42052 loops (140/sec), 593959881 sampling steps, 12747 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
314172 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:
42749 loops (139/sec), 609359100 sampling steps, 13426 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
314846 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:
43449 loops (140/sec), 624842819 sampling steps, 14101 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
315584 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:
44151 loops (140/sec), 640428398 sampling steps, 14785 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
316320 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:
44851 loops (140/sec), 655970273 sampling steps, 15470 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
316936 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:
45552 loops (140/sec), 671479773 sampling steps, 16152 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
317572 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:
46251 loops (139/sec), 686941974 sampling steps, 16835 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
318275 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:
46950 loops (139/sec), 702459232 sampling steps, 17519 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
318893 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:
47649 loops (139/sec), 718021698 sampling steps, 18202 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
319503 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:
48353 loops (140/sec), 733649798 sampling steps, 18895 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
320008 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:
49055 loops (140/sec), 749215244 sampling steps, 19584 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
320524 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:
49754 loops (139/sec), 764730027 sampling steps, 20271 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
321082 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:
50446 loops (138/sec), 780148303 sampling steps, 20949 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
321623 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:
51151 loops (140/sec), 795711961 sampling steps, 21642 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
322133 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:
51853 loops (140/sec), 811338124 sampling steps, 22335 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
322622 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:
52557 loops (140/sec), 826928506 sampling steps, 23026 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
323143 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:
53227 loops (133/sec), 841820481 sampling steps, 23685 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
323540 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:
53916 loops (137/sec), 857141628 sampling steps, 24360 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
324078 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:
54604 loops (137/sec), 872527427 sampling steps, 25034 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
324621 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:
55300 loops (139/sec), 887915650 sampling steps, 25718 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
325045 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:
55993 loops (138/sec), 903284757 sampling steps, 26399 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
325500 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:
56681 loops (137/sec), 918615012 sampling steps, 27080 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
325915 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:
57370 loops (137/sec), 933947415 sampling steps, 27764 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
326264 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:
58058 loops (137/sec), 949241913 sampling steps, 28441 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
326661 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:
58748 loops (137/sec), 964543841 sampling steps, 29126 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
327009 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:
59437 loops (137/sec), 979836040 sampling steps, 29807 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
327374 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:
60131 loops (138/sec), 995202705 sampling steps, 30491 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
327711 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:
60830 loops (139/sec), 1010600362 sampling steps, 31185 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
328093 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:
61518 loops (137/sec), 1025886965 sampling steps, 31865 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
328431 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:
62204 loops (137/sec), 1041181898 sampling steps, 32535 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
328902 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:
62890 loops (137/sec), 1056420112 sampling steps, 33213 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
329277 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:
63584 loops (138/sec), 1071793787 sampling steps, 33901 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
329619 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:
64283 loops (139/sec), 1087241352 sampling steps, 34593 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
329963 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:
64969 loops (137/sec), 1102529244 sampling steps, 35275 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
330315 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:
65665 loops (139/sec), 1117923768 sampling steps, 35960 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
330675 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:
66355 loops (137/sec), 1133264049 sampling steps, 36644 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
330965 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:
67047 loops (138/sec), 1148646666 sampling steps, 37327 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
331352 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:
67730 loops (136/sec), 1163866475 sampling steps, 38003 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
331732 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:
68424 loops (138/sec), 1179219871 sampling steps, 38689 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
332084 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:
69113 loops (137/sec), 1194621691 sampling steps, 39372 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
332412 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:
69808 loops (138/sec), 1210083629 sampling steps, 40060 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
332714 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:
70502 loops (138/sec), 1225529315 sampling steps, 40750 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
333003 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:
71197 loops (138/sec), 1240980694 sampling steps, 41437 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
333350 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:
71895 loops (139/sec), 1256439956 sampling steps, 42126 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
333678 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:
72581 loops (137/sec), 1271843006 sampling steps, 42810 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
333943 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:
73272 loops (138/sec), 1287278061 sampling steps, 43492 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
334233 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:
73969 loops (139/sec), 1302750302 sampling steps, 44183 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
334481 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:
74662 loops (138/sec), 1318180402 sampling steps, 44869 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
334811 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:
75347 loops (137/sec), 1333531305 sampling steps, 45542 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
335240 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:
76039 loops (138/sec), 1348898459 sampling steps, 46225 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
335523 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:
76730 loops (138/sec), 1364332104 sampling steps, 46915 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
335750 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:
77418 loops (137/sec), 1379719636 sampling steps, 47597 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
336063 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:
78109 loops (138/sec), 1395127068 sampling steps, 48286 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
336291 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:
78798 loops (137/sec), 1410502445 sampling steps, 48970 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
336622 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:
79498 loops (139/sec), 1425982425 sampling steps, 49665 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
336883 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:
80191 loops (138/sec), 1441414853 sampling steps, 50354 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
337080 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:
80883 loops (138/sec), 1456848436 sampling steps, 51039 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
337338 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:
81571 loops (137/sec), 1472270470 sampling steps, 51724 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
337597 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:
82260 loops (137/sec), 1487697580 sampling steps, 52410 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
337802 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:
82956 loops (139/sec), 1503139324 sampling steps, 53100 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
338040 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:
83648 loops (138/sec), 1518516067 sampling steps, 53787 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
338259 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:
84335 loops (137/sec), 1533800585 sampling steps, 54472 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
338471 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:
85025 loops (137/sec), 1549126236 sampling steps, 55159 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
338701 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:
85713 loops (137/sec), 1564404832 sampling steps, 55840 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
338986 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:
86396 loops (136/sec), 1579683467 sampling steps, 56519 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
339228 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:
87080 loops (136/sec), 1594984271 sampling steps, 57198 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
339491 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:
87765 loops (136/sec), 1610264857 sampling steps, 57877 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
339701 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:
88453 loops (137/sec), 1625555034 sampling steps, 58561 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
339903 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:
89140 loops (137/sec), 1640908174 sampling steps, 59243 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
340156 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:
89835 loops (138/sec), 1656366460 sampling steps, 59934 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
340374 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:
90531 loops (139/sec), 1671785449 sampling steps, 60624 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
340604 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:
91226 loops (139/sec), 1687260611 sampling steps, 61315 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
340800 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:
91913 loops (137/sec), 1702674368 sampling steps, 61996 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
341022 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:
92608 loops (138/sec), 1718115451 sampling steps, 62687 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
341261 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:
93305 loops (139/sec), 1733632993 sampling steps, 63380 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
341553 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:
93994 loops (137/sec), 1749062393 sampling steps, 64067 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
341768 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:
94690 loops (139/sec), 1764546342 sampling steps, 64758 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
342025 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:
95385 loops (138/sec), 1780023177 sampling steps, 65445 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
342277 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:
96085 loops (139/sec), 1795607035 sampling steps, 66144 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
342421 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:
96784 loops (139/sec), 1811186944 sampling steps, 66839 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
342657 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:
97481 loops (139/sec), 1826770041 sampling steps, 67535 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
342881 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:
98177 loops (139/sec), 1842369610 sampling steps, 68231 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
343044 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:
98880 loops (140/sec), 1858007335 sampling steps, 68932 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
343259 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:
99585 loops (140/sec), 1873679039 sampling steps, 69634 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
343419 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:
100285 loops (139/sec), 1889275925 sampling steps, 70330 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
343595 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:
100983 loops (139/sec), 1904856151 sampling steps, 71026 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
343778 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101685 loops (140/sec), 1920495925 sampling steps, 71725 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
343965 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
102383 loops (139/sec), 1936051545 sampling steps, 72420 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
344146 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103083 loops (139/sec), 1951622514 sampling steps, 73117 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
344368 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103787 loops (140/sec), 1967236075 sampling steps, 73818 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
344532 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
104488 loops (140/sec), 1982821450 sampling steps, 74515 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
344674 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
105184 loops (139/sec), 1998349575 sampling steps, 75209 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
344856 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
105883 loops (139/sec), 2013886117 sampling steps, 75904 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
345000 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106581 loops (139/sec), 2029393591 sampling steps, 76599 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
345131 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107267 loops (137/sec), 2044875127 sampling steps, 77285 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
345249 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107967 loops (139/sec), 2060415113 sampling steps, 77981 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
345414 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
108670 loops (140/sec), 2076033928 sampling steps, 78684 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
345521 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109374 loops (140/sec), 2091661995 sampling steps, 79384 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
345694 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110078 loops (140/sec), 2107300807 sampling steps, 80083 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
345884 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110783 loops (140/sec), 2122961835 sampling steps, 80786 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
346040 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111489 loops (141/sec), 2138633939 sampling steps, 81490 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
346244 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
112190 loops (140/sec), 2154296103 sampling steps, 82189 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
346359 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
112889 loops (139/sec), 2169841136 sampling steps, 82887 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
346497 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113586 loops (139/sec), 2185416647 sampling steps, 83582 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
346651 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
114283 loops (139/sec), 2200957886 sampling steps, 84275 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
346781 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
114988 loops (140/sec), 2216587628 sampling steps, 84979 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
346924 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
115689 loops (140/sec), 2232217058 sampling steps, 85678 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
347085 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116386 loops (139/sec), 2247749881 sampling steps, 86373 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
347222 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117089 loops (140/sec), 2263338012 sampling steps, 87073 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
347399 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117789 loops (139/sec), 2278924532 sampling steps, 87771 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
347575 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
118491 loops (140/sec), 2294588013 sampling steps, 88469 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
347746 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119191 loops (140/sec), 2310241040 sampling steps, 89168 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
347911 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:
119891 loops (139/sec), 2325903826 sampling steps, 89867 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
348102 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:
120589 loops (139/sec), 2341499293 sampling steps, 90561 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
348294 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:
121290 loops (140/sec), 2357070955 sampling steps, 91261 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
348453 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:
121982 loops (138/sec), 2372553395 sampling steps, 91949 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
348655 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:
122677 loops (139/sec), 2388053070 sampling steps, 92641 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
348826 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:
123375 loops (139/sec), 2403594770 sampling steps, 93335 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349022 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:
124070 loops (138/sec), 2419082177 sampling steps, 94026 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349192 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:
124763 loops (138/sec), 2434531363 sampling steps, 94714 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349384 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:
125455 loops (138/sec), 2449994947 sampling steps, 95406 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349505 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:
126149 loops (138/sec), 2465434763 sampling steps, 96096 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349715 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:
126847 loops (139/sec), 2480960842 sampling steps, 96791 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349866 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:
127544 loops (139/sec), 2496495432 sampling steps, 97488 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349988 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:
128241 loops (139/sec), 2512031556 sampling steps, 98183 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
350135 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:
128937 loops (139/sec), 2527553906 sampling steps, 98877 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
350293 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:
129631 loops (138/sec), 2543046329 sampling steps, 99567 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
350457 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:
130327 loops (139/sec), 2558537731 sampling steps, 100260 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
350591 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:
131029 loops (140/sec), 2574081163 sampling steps, 100956 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
350752 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:
131727 loops (139/sec), 2589604882 sampling steps, 101654 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
350860 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:
132422 loops (138/sec), 2605113077 sampling steps, 102348 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351011 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:
133119 loops (139/sec), 2620632873 sampling steps, 103040 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351149 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:
133811 loops (138/sec), 2636092778 sampling steps, 103730 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351287 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:
134507 loops (139/sec), 2651538500 sampling steps, 104425 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351379 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:
135204 loops (139/sec), 2667131365 sampling steps, 105121 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351527 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:
135904 loops (139/sec), 2682723257 sampling steps, 105819 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351624 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:
136607 loops (140/sec), 2698398056 sampling steps, 106520 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351735 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:
137307 loops (139/sec), 2713976758 sampling steps, 107217 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351883 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:
138007 loops (139/sec), 2729574106 sampling steps, 107915 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352023 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:
138705 loops (139/sec), 2745171122 sampling steps, 108613 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352122 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:
139409 loops (140/sec), 2760845506 sampling steps, 109315 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352231 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:
140108 loops (139/sec), 2776395596 sampling steps, 110012 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352355 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:
140801 loops (138/sec), 2791896228 sampling steps, 110705 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352456 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:
141500 loops (139/sec), 2807481984 sampling steps, 111403 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352580 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:
142199 loops (139/sec), 2823011915 sampling steps, 112100 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352700 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:
142895 loops (139/sec), 2838487039 sampling steps, 112794 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352835 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:
143588 loops (138/sec), 2853983114 sampling steps, 113483 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353008 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:
144296 loops (141/sec), 2869642935 sampling steps, 114187 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353164 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:
144997 loops (140/sec), 2885295885 sampling steps, 114888 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353294 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:
145695 loops (139/sec), 2900915288 sampling steps, 115585 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353403 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:
146394 loops (139/sec), 2916501177 sampling steps, 116282 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353526 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:
147091 loops (139/sec), 2932134123 sampling steps, 116976 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353709 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:
147794 loops (140/sec), 2947811593 sampling steps, 117677 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353836 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:
148499 loops (140/sec), 2963516644 sampling steps, 118379 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353957 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:
149205 loops (141/sec), 2979225537 sampling steps, 119083 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354061 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:
149906 loops (140/sec), 2994886080 sampling steps, 119781 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354183 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:
150609 loops (140/sec), 3010541291 sampling steps, 120483 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354278 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:
151307 loops (139/sec), 3026056952 sampling steps, 121181 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354384 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:
152005 loops (139/sec), 3041685195 sampling steps, 121879 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354478 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:
152701 loops (139/sec), 3057255639 sampling steps, 122573 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354612 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:
153399 loops (139/sec), 3072869924 sampling steps, 123269 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354747 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:
154105 loops (141/sec), 3088577504 sampling steps, 123975 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354825 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:
154807 loops (140/sec), 3104193160 sampling steps, 124675 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354934 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:
155508 loops (140/sec), 3119815228 sampling steps, 125373 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355055 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:
156209 loops (140/sec), 3135428354 sampling steps, 126070 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355180 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:
156912 loops (140/sec), 3151072898 sampling steps, 126770 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355336 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:
157611 loops (139/sec), 3166701164 sampling steps, 127468 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355483 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:
158309 loops (139/sec), 3182229457 sampling steps, 128164 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355616 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:
159004 loops (138/sec), 3197716727 sampling steps, 128857 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355745 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:
159699 loops (138/sec), 3213295970 sampling steps, 129551 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355880 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:
160394 loops (138/sec), 3228855840 sampling steps, 130245 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356034 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:
161095 loops (140/sec), 3244450988 sampling steps, 130945 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356115 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:
161796 loops (140/sec), 3260017468 sampling steps, 131642 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356254 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:
162490 loops (138/sec), 3275548668 sampling steps, 132335 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356347 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:
163185 loops (138/sec), 3291052659 sampling steps, 133028 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356457 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:
163888 loops (140/sec), 3306721786 sampling steps, 133731 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356590 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:
164584 loops (139/sec), 3322293960 sampling steps, 134426 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356664 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:
165283 loops (139/sec), 3337825863 sampling steps, 135123 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356774 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:
165979 loops (139/sec), 3353364102 sampling steps, 135816 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356880 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:
166675 loops (139/sec), 3368882753 sampling steps, 136511 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356974 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:
167365 loops (137/sec), 3384343025 sampling steps, 137200 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357079 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:
168059 loops (138/sec), 3399807379 sampling steps, 137892 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357196 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:
168759 loops (140/sec), 3415342065 sampling steps, 138592 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357239 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:
169454 loops (138/sec), 3430867304 sampling steps, 139286 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357294 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:
170146 loops (138/sec), 3446361210 sampling steps, 139976 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357410 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:
170841 loops (138/sec), 3461889635 sampling steps, 140670 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357496 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:
171533 loops (138/sec), 3477371441 sampling steps, 141362 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357609 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:
172227 loops (138/sec), 3492902455 sampling steps, 142056 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357698 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:
172923 loops (139/sec), 3508444873 sampling steps, 142751 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357814 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:
173615 loops (138/sec), 3523991845 sampling steps, 143439 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357935 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:
174311 loops (139/sec), 3539519199 sampling steps, 144134 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358036 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:
175006 loops (138/sec), 3555027319 sampling steps, 144828 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358127 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:
175703 loops (139/sec), 3570527818 sampling steps, 145525 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358232 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:
176337 loops (126/sec), 3584647322 sampling steps, 146154 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358353 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:
177034 loops (139/sec), 3600231728 sampling steps, 146847 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358489 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:
177730 loops (139/sec), 3615854120 sampling steps, 147540 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358572 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:
178433 loops (140/sec), 3631507834 sampling steps, 148241 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358699 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:
179131 loops (139/sec), 3647008267 sampling steps, 148936 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358806 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:
179836 loops (140/sec), 3662648100 sampling steps, 149641 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358928 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:
180528 loops (138/sec), 3678152359 sampling steps, 150331 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359052 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:
181229 loops (140/sec), 3693808853 sampling steps, 151030 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359140 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:
181925 loops (138/sec), 3709391674 sampling steps, 151725 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359240 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:
182626 loops (140/sec), 3725001510 sampling steps, 152426 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359350 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:
183320 loops (138/sec), 3740522234 sampling steps, 153120 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359429 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:
184017 loops (139/sec), 3756041196 sampling steps, 153817 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359504 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:
184719 loops (140/sec), 3771675343 sampling steps, 154518 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359610 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:
185423 loops (140/sec), 3787365992 sampling steps, 155221 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359694 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:
186123 loops (139/sec), 3803031431 sampling steps, 155919 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359774 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:
186824 loops (140/sec), 3818712438 sampling steps, 156618 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359874 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:
187530 loops (141/sec), 3834424538 sampling steps, 157324 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359959 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:
188225 loops (138/sec), 3850012595 sampling steps, 158018 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360075 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:
188925 loops (139/sec), 3865607803 sampling steps, 158716 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360147 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:
189616 loops (138/sec), 3880993038 sampling steps, 159407 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360206 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:
190304 loops (137/sec), 3896356318 sampling steps, 160093 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360306 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:
191009 loops (140/sec), 3912059338 sampling steps, 160797 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360410 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:
191701 loops (138/sec), 3927426637 sampling steps, 161485 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360523 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:
192404 loops (140/sec), 3943051789 sampling steps, 162187 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360622 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:
193105 loops (140/sec), 3958666470 sampling steps, 162888 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360701 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:
193808 loops (140/sec), 3974275815 sampling steps, 163590 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360794 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:
194507 loops (139/sec), 3989784769 sampling steps, 164286 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360900 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:
195197 loops (137/sec), 4005250814 sampling steps, 164973 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361013 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:
195890 loops (138/sec), 4020725292 sampling steps, 165664 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361117 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
196579 loops (137/sec), 4036177724 sampling steps, 166352 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361194 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
197279 loops (139/sec), 4051804646 sampling steps, 167050 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361319 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
197981 loops (140/sec), 4067429982 sampling steps, 167751 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361406 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
198679 loops (139/sec), 4082990991 sampling steps, 168449 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361484 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
199379 loops (139/sec), 4098546942 sampling steps, 169143 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361614 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
200073 loops (138/sec), 4114116152 sampling steps, 169835 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361727 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
200766 loops (138/sec), 4129591840 sampling steps, 170528 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361794 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
201464 loops (139/sec), 4145145901 sampling steps, 171225 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361871 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
202159 loops (138/sec), 4160664558 sampling steps, 171918 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361955 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
202854 loops (139/sec), 4176144365 sampling steps, 172611 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362038 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
203550 loops (139/sec), 4191733586 sampling steps, 173307 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362096 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
204246 loops (139/sec), 4207296582 sampling steps, 174002 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362194 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
204947 loops (140/sec), 4222914336 sampling steps, 174702 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362241 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
205646 loops (139/sec), 4238512536 sampling steps, 175401 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362331 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
206346 loops (139/sec), 4254140455 sampling steps, 176101 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362394 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
207037 loops (138/sec), 4269620499 sampling steps, 176790 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362486 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
207739 loops (140/sec), 4285282440 sampling steps, 177492 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362584 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
208437 loops (139/sec), 4300833431 sampling steps, 178189 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362682 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
209134 loops (139/sec), 4316372196 sampling steps, 178886 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362741 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
209831 loops (139/sec), 4331884564 sampling steps, 179582 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362841 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
210530 loops (139/sec), 4347456290 sampling steps, 180281 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362944 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
211230 loops (140/sec), 4363076326 sampling steps, 180980 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363012 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
211923 loops (138/sec), 4378560801 sampling steps, 181672 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363088 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
212621 loops (139/sec), 4394095019 sampling steps, 182368 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363174 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
213313 loops (138/sec), 4409591618 sampling steps, 183060 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363234 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
214010 loops (139/sec), 4425202731 sampling steps, 183756 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363313 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
214705 loops (138/sec), 4440699689 sampling steps, 184451 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363405 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215410 loops (140/sec), 4456357649 sampling steps, 185155 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363501 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
216107 loops (139/sec), 4471945463 sampling steps, 185851 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363574 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
216804 loops (139/sec), 4487469225 sampling steps, 186546 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363655 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
217499 loops (138/sec), 4502956222 sampling steps, 187240 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363748 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
218187 loops (137/sec), 4518358537 sampling steps, 187927 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363817 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
218882 loops (138/sec), 4533905438 sampling steps, 188621 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363897 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
219587 loops (141/sec), 4549479039 sampling steps, 189326 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363958 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
220281 loops (138/sec), 4565059487 sampling steps, 190020 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364038 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
220975 loops (138/sec), 4580584034 sampling steps, 190714 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364114 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
221673 loops (139/sec), 4596146138 sampling steps, 191412 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364177 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
222367 loops (138/sec), 4611615568 sampling steps, 192103 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364283 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
223067 loops (139/sec), 4627176869 sampling steps, 192802 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364346 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
223759 loops (138/sec), 4642674376 sampling steps, 193493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364396 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
224454 loops (138/sec), 4658182799 sampling steps, 194186 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364495 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
225148 loops (138/sec), 4673700485 sampling steps, 194880 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364570 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
225842 loops (138/sec), 4689149130 sampling steps, 195573 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364642 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
226537 loops (138/sec), 4704663941 sampling steps, 196263 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364736 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
227238 loops (140/sec), 4720270900 sampling steps, 196964 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364796 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
227932 loops (138/sec), 4735839170 sampling steps, 197658 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364849 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
228633 loops (140/sec), 4751442034 sampling steps, 198358 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364927 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
229328 loops (138/sec), 4766990949 sampling steps, 199050 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365043 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
230024 loops (139/sec), 4782552171 sampling steps, 199745 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365109 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
230723 loops (139/sec), 4798117709 sampling steps, 200444 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365166 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
231423 loops (139/sec), 4813682867 sampling steps, 201143 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365253 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
232122 loops (139/sec), 4829284805 sampling steps, 201841 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365342 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
232821 loops (139/sec), 4844929877 sampling steps, 202539 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365402 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
233520 loops (139/sec), 4860495810 sampling steps, 203237 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365483 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
234210 loops (137/sec), 4875960651 sampling steps, 203927 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365580 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
234909 loops (139/sec), 4891512398 sampling steps, 204625 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365662 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
235607 loops (139/sec), 4907090439 sampling steps, 205322 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365736 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
236302 loops (138/sec), 4922624127 sampling steps, 206017 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365791 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
236995 loops (138/sec), 4938124788 sampling steps, 206709 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365876 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
237685 loops (138/sec), 4953618418 sampling steps, 207397 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365994 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
238382 loops (139/sec), 4969243773 sampling steps, 208094 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366053 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
239077 loops (138/sec), 4984806356 sampling steps, 208789 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366115 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
239775 loops (139/sec), 5000358794 sampling steps, 209485 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366174 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
240471 loops (139/sec), 5015912676 sampling steps, 210180 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366263 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
241165 loops (138/sec), 5031426340 sampling steps, 210874 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366322 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
241860 loops (138/sec), 5047012274 sampling steps, 211569 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366385 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
242555 loops (138/sec), 5062514101 sampling steps, 212263 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366457 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
243246 loops (138/sec), 5077979984 sampling steps, 212953 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366510 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
243939 loops (138/sec), 5093457662 sampling steps, 213645 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366565 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
244634 loops (138/sec), 5108988744 sampling steps, 214338 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366672 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
245328 loops (138/sec), 5124509303 sampling steps, 215031 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366722 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
246024 loops (139/sec), 5140043390 sampling steps, 215727 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366786 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
246724 loops (139/sec), 5155640003 sampling steps, 216426 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366856 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
247422 loops (139/sec), 5171204518 sampling steps, 217122 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366934 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
248117 loops (139/sec), 5186741890 sampling steps, 217817 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367011 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
248815 loops (139/sec), 5202299953 sampling steps, 218513 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367121 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
249521 loops (141/sec), 5217933390 sampling steps, 219219 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367179 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
250217 loops (139/sec), 5233461508 sampling steps, 219913 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367257 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
250906 loops (137/sec), 5248886046 sampling steps, 220600 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367382 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
251598 loops (138/sec), 5264397578 sampling steps, 221290 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367466 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
252299 loops (140/sec), 5280015900 sampling steps, 221991 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367556 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
252999 loops (139/sec), 5295601473 sampling steps, 222690 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367621 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
253698 loops (139/sec), 5311180670 sampling steps, 223387 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367709 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
254389 loops (138/sec), 5326712325 sampling steps, 224078 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367780 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
255090 loops (140/sec), 5342374262 sampling steps, 224779 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367826 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
255790 loops (139/sec), 5358023293 sampling steps, 225477 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367930 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
256492 loops (140/sec), 5373684212 sampling steps, 226179 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367995 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
257188 loops (139/sec), 5389249405 sampling steps, 226873 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368084 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
257890 loops (140/sec), 5404852220 sampling steps, 227575 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368142 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
258584 loops (138/sec), 5420342537 sampling steps, 228268 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368205 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
259283 loops (139/sec), 5435849355 sampling steps, 228966 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368264 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
259976 loops (138/sec), 5451318774 sampling steps, 229657 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368379 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
260672 loops (139/sec), 5466860169 sampling steps, 230353 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368420 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261366 loops (138/sec), 5482362249 sampling steps, 231046 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368492 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
262062 loops (139/sec), 5497909507 sampling steps, 231741 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368553 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
262758 loops (139/sec), 5513492621 sampling steps, 232434 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368643 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
263452 loops (138/sec), 5529035642 sampling steps, 233126 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368711 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
264148 loops (139/sec), 5544594351 sampling steps, 233822 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368781 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
264844 loops (139/sec), 5560191188 sampling steps, 234518 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368843 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
265543 loops (139/sec), 5575808291 sampling steps, 235215 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368957 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
266240 loops (139/sec), 5591366625 sampling steps, 235910 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369013 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0070977210999 seconds since the total time limit of 1800.0 seconds was exceeded.