Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:50:03 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/mapk_cascade/mapk_cascade.prism --const N=7 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:50:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14697 loops (2939/sec), 8762312 sampling steps, 663 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
140983 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19547 loops (970/sec), 21858797 sampling steps, 1292 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
185714 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22734 loops (637/sec), 34552289 sampling steps, 2137 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212927 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25543 loops (561/sec), 48064070 sampling steps, 3289 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
234531 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27971 loops (485/sec), 61289020 sampling steps, 4588 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
251452 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30322 loops (470/sec), 74956546 sampling steps, 6049 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
266330 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32526 loops (440/sec), 88403489 sampling steps, 7610 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
278788 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34721 loops (438/sec), 102191314 sampling steps, 9283 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
290030 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36837 loops (423/sec), 115900296 sampling steps, 11005 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
299972 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38897 loops (412/sec), 129481043 sampling steps, 12756 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
308698 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40950 loops (410/sec), 143430572 sampling steps, 14573 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
316882 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42997 loops (409/sec), 157557998 sampling steps, 16391 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
324459 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45007 loops (402/sec), 171300737 sampling steps, 18234 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
331143 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47068 loops (412/sec), 185161706 sampling steps, 20157 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
337492 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49070 loops (400/sec), 199010194 sampling steps, 22039 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
343315 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51070 loops (399/sec), 212734820 sampling steps, 23947 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
348691 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53090 loops (403/sec), 226721949 sampling steps, 25888 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353781 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55069 loops (395/sec), 240454949 sampling steps, 27799 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358561 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57122 loops (410/sec), 254331496 sampling steps, 29794 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363045 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59126 loops (400/sec), 268189523 sampling steps, 31746 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367546 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61032 loops (381/sec), 281867814 sampling steps, 33606 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
371720 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63030 loops (399/sec), 295895807 sampling steps, 35569 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
375695 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
65050 loops (403/sec), 309794486 sampling steps, 37552 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379462 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
67065 loops (402/sec), 324231067 sampling steps, 39535 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
383179 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69056 loops (398/sec), 338027674 sampling steps, 41502 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
386561 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71057 loops (400/sec), 351961067 sampling steps, 43482 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
389894 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73037 loops (395/sec), 365975029 sampling steps, 45447 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
393042 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
74961 loops (384/sec), 379634865 sampling steps, 47349 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
396027 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76990 loops (405/sec), 393631967 sampling steps, 49367 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
399000 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78988 loops (399/sec), 407406225 sampling steps, 51353 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
401669 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80973 loops (396/sec), 421379518 sampling steps, 53324 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
404538 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82948 loops (394/sec), 435339437 sampling steps, 55287 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
407173 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
84904 loops (391/sec), 449053429 sampling steps, 57232 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409717 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86882 loops (395/sec), 463016857 sampling steps, 59197 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
412247 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88942 loops (411/sec), 477113156 sampling steps, 61249 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
414651 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90965 loops (404/sec), 491336544 sampling steps, 63261 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
417041 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92971 loops (401/sec), 505519065 sampling steps, 65260 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
419374 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94936 loops (392/sec), 519319045 sampling steps, 67218 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
421602 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96929 loops (398/sec), 533380570 sampling steps, 69201 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
423892 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98960 loops (406/sec), 547443812 sampling steps, 71225 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
425943 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100928 loops (393/sec), 561252457 sampling steps, 73191 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
427958 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
102931 loops (400/sec), 575263091 sampling steps, 75189 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
429984 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
104901 loops (393/sec), 589015406 sampling steps, 77157 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
431947 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106935 loops (406/sec), 603261788 sampling steps, 79188 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
433836 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
108938 loops (400/sec), 617257395 sampling steps, 81186 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
435634 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110924 loops (397/sec), 631069283 sampling steps, 83168 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
437417 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
112927 loops (400/sec), 645120594 sampling steps, 85166 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
439202 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
115005 loops (415/sec), 659827297 sampling steps, 87240 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
441092 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117001 loops (399/sec), 673863335 sampling steps, 89233 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
442806 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119028 loops (405/sec), 688061633 sampling steps, 91257 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
444579 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120996 loops (393/sec), 701899307 sampling steps, 93222 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
446202 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122967 loops (394/sec), 715888706 sampling steps, 95191 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447817 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
124906 loops (387/sec), 729715073 sampling steps, 97127 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449382 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126930 loops (404/sec), 743828079 sampling steps, 99145 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450920 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
128937 loops (401/sec), 757914390 sampling steps, 101149 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452455 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130919 loops (396/sec), 771769385 sampling steps, 103129 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453902 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132950 loops (405/sec), 785992285 sampling steps, 105159 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
455424 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134971 loops (404/sec), 800065020 sampling steps, 107180 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
456890 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
136954 loops (396/sec), 813965358 sampling steps, 109162 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
458259 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138968 loops (402/sec), 828409842 sampling steps, 111175 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
459685 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140935 loops (393/sec), 842263021 sampling steps, 113139 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
461073 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
142983 loops (409/sec), 856385170 sampling steps, 115186 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
462392 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145008 loops (405/sec), 870648537 sampling steps, 117209 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
463709 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147015 loops (401/sec), 884518117 sampling steps, 119215 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
465038 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149015 loops (400/sec), 898563879 sampling steps, 121215 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
466307 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
151029 loops (402/sec), 912694318 sampling steps, 123228 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
467615 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153054 loops (404/sec), 926626216 sampling steps, 125252 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
468830 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
155107 loops (410/sec), 940709543 sampling steps, 127305 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
470119 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
157097 loops (397/sec), 954969037 sampling steps, 129293 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
471361 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
159085 loops (397/sec), 968842110 sampling steps, 131281 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
472610 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
161097 loops (402/sec), 983000619 sampling steps, 133293 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
473796 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
163179 loops (416/sec), 997432069 sampling steps, 135374 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
475003 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
165248 loops (413/sec), 1011570934 sampling steps, 137443 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
476170 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
167214 loops (392/sec), 1025648202 sampling steps, 139408 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
477321 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
169173 loops (391/sec), 1039580313 sampling steps, 141366 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
478402 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
171174 loops (400/sec), 1053855172 sampling steps, 143366 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
479473 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
173147 loops (394/sec), 1067790850 sampling steps, 145338 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
480610 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
175161 loops (402/sec), 1081918244 sampling steps, 147351 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
481678 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
177196 loops (406/sec), 1096107487 sampling steps, 149385 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
482747 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
179158 loops (392/sec), 1110011313 sampling steps, 151347 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
483787 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
181131 loops (394/sec), 1124126333 sampling steps, 153320 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
484830 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
183157 loops (405/sec), 1138140825 sampling steps, 155346 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
485821 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
185224 loops (413/sec), 1152409796 sampling steps, 157411 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
486880 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
187330 loops (421/sec), 1166946719 sampling steps, 159517 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
487930 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
189289 loops (391/sec), 1180894380 sampling steps, 161476 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
488965 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
191232 loops (388/sec), 1194937458 sampling steps, 163419 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
490028 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
193230 loops (399/sec), 1208938717 sampling steps, 165414 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
491058 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
195210 loops (395/sec), 1222903772 sampling steps, 167393 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
492045 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
197234 loops (404/sec), 1237130645 sampling steps, 169416 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
493074 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
199215 loops (396/sec), 1250989939 sampling steps, 171396 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
493984 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
201209 loops (398/sec), 1265041647 sampling steps, 173390 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
494934 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
203149 loops (387/sec), 1278881321 sampling steps, 175329 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
495858 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
205136 loops (397/sec), 1292955143 sampling steps, 177316 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
496806 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
207150 loops (402/sec), 1306979633 sampling steps, 179330 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
497716 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
209139 loops (397/sec), 1320870020 sampling steps, 181319 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
498583 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
211235 loops (419/sec), 1335529397 sampling steps, 183415 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
499490 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
213193 loops (391/sec), 1349481363 sampling steps, 185373 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
500317 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215199 loops (401/sec), 1363530218 sampling steps, 187378 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
501220 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
217172 loops (394/sec), 1377460240 sampling steps, 189350 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
502125 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
219174 loops (400/sec), 1391468725 sampling steps, 191351 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
502991 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
221148 loops (394/sec), 1405529177 sampling steps, 193325 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
503816 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
222815 loops (333/sec), 1417133409 sampling steps, 194992 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
504522 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
224807 loops (398/sec), 1431261732 sampling steps, 196983 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
505382 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
226825 loops (403/sec), 1445399674 sampling steps, 199001 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
506179 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
228753 loops (385/sec), 1459197121 sampling steps, 200929 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
506996 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
230791 loops (407/sec), 1473330996 sampling steps, 202967 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
507805 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
232845 loops (410/sec), 1487483168 sampling steps, 205021 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
508565 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
234912 loops (413/sec), 1501845906 sampling steps, 207088 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
509364 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
236947 loops (406/sec), 1516129483 sampling steps, 209122 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
510108 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
238923 loops (395/sec), 1530049196 sampling steps, 211098 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
510867 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
240961 loops (407/sec), 1544224777 sampling steps, 213136 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
511637 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
242990 loops (405/sec), 1558373057 sampling steps, 215165 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
512474 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
244974 loops (396/sec), 1572322421 sampling steps, 217149 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
513221 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
247017 loops (408/sec), 1586541607 sampling steps, 219191 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
513964 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
249030 loops (402/sec), 1600540731 sampling steps, 221204 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
514679 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
251080 loops (409/sec), 1614865897 sampling steps, 223253 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
515438 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
253102 loops (403/sec), 1629061719 sampling steps, 225275 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
516154 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
255073 loops (394/sec), 1642976791 sampling steps, 227246 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
516896 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
257116 loops (408/sec), 1657176798 sampling steps, 229289 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
517611 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
259180 loops (412/sec), 1671594863 sampling steps, 231353 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
518410 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261192 loops (402/sec), 1685710601 sampling steps, 233365 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
519158 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
263229 loops (407/sec), 1700006378 sampling steps, 235402 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
519847 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
265237 loops (401/sec), 1713982074 sampling steps, 237410 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
520528 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
267297 loops (412/sec), 1728206362 sampling steps, 239470 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
521208 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
269280 loops (396/sec), 1742365559 sampling steps, 241453 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
521924 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
271279 loops (399/sec), 1756350746 sampling steps, 243452 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
522645 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
273318 loops (407/sec), 1770544944 sampling steps, 245491 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
523334 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
275302 loops (396/sec), 1784508394 sampling steps, 247475 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
523998 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
277313 loops (402/sec), 1798792234 sampling steps, 249486 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
524706 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
279290 loops (395/sec), 1812953445 sampling steps, 251463 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
525362 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
281306 loops (403/sec), 1826954427 sampling steps, 253479 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
525993 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
283370 loops (412/sec), 1841594283 sampling steps, 255543 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
526710 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
285343 loops (394/sec), 1855607624 sampling steps, 257516 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
527393 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
287303 loops (392/sec), 1869646263 sampling steps, 259476 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
528052 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
289360 loops (411/sec), 1884005348 sampling steps, 261533 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
528711 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
291373 loops (402/sec), 1898158710 sampling steps, 263546 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
529383 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
293368 loops (399/sec), 1912235360 sampling steps, 265541 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
530010 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
295433 loops (412/sec), 1926374567 sampling steps, 267606 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
530602 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
297416 loops (396/sec), 1940508046 sampling steps, 269589 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
531217 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
299374 loops (391/sec), 1954293910 sampling steps, 271547 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
531800 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
301452 loops (415/sec), 1968547951 sampling steps, 273625 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
532375 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
303323 loops (374/sec), 1981721481 sampling steps, 275496 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
532935 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
305637 loops (462/sec), 1997823883 sampling steps, 277810 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
533622 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
307933 loops (458/sec), 2013830789 sampling steps, 280106 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
534321 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
310218 loops (457/sec), 2029781294 sampling steps, 282391 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
534951 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
312522 loops (460/sec), 2045848386 sampling steps, 284695 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
535625 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
314834 loops (462/sec), 2061958789 sampling steps, 287007 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
536252 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
317112 loops (455/sec), 2078085525 sampling steps, 289284 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
536945 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
319456 loops (468/sec), 2094260293 sampling steps, 291628 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
537602 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
321739 loops (456/sec), 2110384048 sampling steps, 293911 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
538268 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
323994 loops (451/sec), 2126466559 sampling steps, 296166 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
538874 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
326305 loops (462/sec), 2142557857 sampling steps, 298477 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
539553 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
328608 loops (460/sec), 2158628519 sampling steps, 300780 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
540242 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
330928 loops (463/sec), 2174791056 sampling steps, 303100 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
540869 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
333243 loops (463/sec), 2190869127 sampling steps, 305415 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
541531 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
335595 loops (470/sec), 2207046299 sampling steps, 307767 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
542114 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
337892 loops (459/sec), 2223091560 sampling steps, 310064 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
542764 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
340144 loops (450/sec), 2239120518 sampling steps, 312316 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
543419 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
342443 loops (459/sec), 2255262121 sampling steps, 314615 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
544018 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
344731 loops (457/sec), 2271380814 sampling steps, 316903 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
544634 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
346972 loops (448/sec), 2287499250 sampling steps, 319144 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
545263 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
349255 loops (456/sec), 2303653189 sampling steps, 321427 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
545899 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
351583 loops (465/sec), 2319796859 sampling steps, 323755 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
546504 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
353888 loops (461/sec), 2335964605 sampling steps, 326060 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
547120 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
356223 loops (466/sec), 2352135468 sampling steps, 328395 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
547740 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
358543 loops (463/sec), 2368325476 sampling steps, 330715 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
548267 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
360867 loops (464/sec), 2384477430 sampling steps, 333039 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
548886 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
363170 loops (460/sec), 2400526114 sampling steps, 335342 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
549467 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
365399 loops (445/sec), 2416544176 sampling steps, 337571 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
550097 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
367716 loops (463/sec), 2432678273 sampling steps, 339888 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
550738 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
370049 loops (466/sec), 2448806861 sampling steps, 342221 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
551290 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
372326 loops (455/sec), 2464904582 sampling steps, 344498 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
551865 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
374654 loops (465/sec), 2481027994 sampling steps, 346826 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
552460 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
377008 loops (470/sec), 2497185728 sampling steps, 349179 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
553036 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
379286 loops (455/sec), 2513336318 sampling steps, 351457 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
553633 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
381575 loops (457/sec), 2529478777 sampling steps, 353746 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
554172 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
383841 loops (453/sec), 2545630174 sampling steps, 356012 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
554746 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
386152 loops (462/sec), 2561741206 sampling steps, 358323 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
555307 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
388464 loops (462/sec), 2577877669 sampling steps, 360635 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
555933 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
390799 loops (466/sec), 2594009201 sampling steps, 362970 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
556484 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
393063 loops (452/sec), 2610045699 sampling steps, 365234 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
557002 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
395364 loops (460/sec), 2626159475 sampling steps, 367535 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
557546 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
397692 loops (465/sec), 2642290137 sampling steps, 369863 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
558134 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
399948 loops (451/sec), 2658406300 sampling steps, 372119 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
558652 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
402222 loops (454/sec), 2674542377 sampling steps, 374393 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
559200 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
404533 loops (462/sec), 2690677779 sampling steps, 376704 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
559749 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
406855 loops (464/sec), 2706869197 sampling steps, 379026 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
560263 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
409136 loops (456/sec), 2722995792 sampling steps, 381307 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
560789 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
411401 loops (452/sec), 2739114767 sampling steps, 383572 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
561329 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
413688 loops (457/sec), 2755254454 sampling steps, 385859 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
561808 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
415973 loops (456/sec), 2771377409 sampling steps, 388143 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
562371 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
418243 loops (453/sec), 2787460443 sampling steps, 390413 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
562918 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
420496 loops (450/sec), 2803439931 sampling steps, 392666 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
563434 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
422750 loops (450/sec), 2819486164 sampling steps, 394920 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
563981 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
425017 loops (453/sec), 2835607215 sampling steps, 397187 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
564458 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
427383 loops (473/sec), 2851793718 sampling steps, 399553 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
564940 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
429693 loops (462/sec), 2867961930 sampling steps, 401863 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
565440 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
431997 loops (460/sec), 2884107443 sampling steps, 404166 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
565945 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
434302 loops (461/sec), 2900220801 sampling steps, 406471 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
566476 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
436611 loops (461/sec), 2916352284 sampling steps, 408780 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
566991 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
438891 loops (456/sec), 2932487235 sampling steps, 411060 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
567470 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
441178 loops (457/sec), 2948636632 sampling steps, 413347 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
567969 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
443463 loops (457/sec), 2964797019 sampling steps, 415632 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
568415 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
445744 loops (456/sec), 2980929849 sampling steps, 417913 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
568908 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
448054 loops (462/sec), 2997035746 sampling steps, 420223 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
569374 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
450366 loops (462/sec), 3013187016 sampling steps, 422535 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
569825 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
452678 loops (462/sec), 3029328560 sampling steps, 424847 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
570315 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
454976 loops (459/sec), 3045485292 sampling steps, 427145 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
570838 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
457245 loops (453/sec), 3061609976 sampling steps, 429414 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
571297 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
459551 loops (461/sec), 3077792263 sampling steps, 431720 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
571760 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
461863 loops (462/sec), 3093937703 sampling steps, 434032 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
572187 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
464180 loops (463/sec), 3110061467 sampling steps, 436349 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
572662 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
466518 loops (467/sec), 3126226564 sampling steps, 438687 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
573137 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
468831 loops (462/sec), 3142360829 sampling steps, 441000 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
573567 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
471106 loops (455/sec), 3158482048 sampling steps, 443275 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
574010 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
473424 loops (463/sec), 3174606557 sampling steps, 445593 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
574448 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
475700 loops (455/sec), 3190659938 sampling steps, 447869 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
574896 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
477995 loops (458/sec), 3206772824 sampling steps, 450163 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
575362 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
480287 loops (458/sec), 3222891847 sampling steps, 452455 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
575809 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
482566 loops (455/sec), 3239055077 sampling steps, 454734 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
576212 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
484881 loops (462/sec), 3255218760 sampling steps, 457049 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
576722 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
487202 loops (464/sec), 3271397611 sampling steps, 459370 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
577130 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
489559 loops (471/sec), 3287575102 sampling steps, 461726 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
577625 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
491917 loops (471/sec), 3303799290 sampling steps, 464084 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
578069 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
494221 loops (460/sec), 3319988348 sampling steps, 466388 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
578493 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
496507 loops (457/sec), 3336128038 sampling steps, 468674 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
578980 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
498803 loops (459/sec), 3352279858 sampling steps, 470970 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
579414 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
501111 loops (461/sec), 3368420332 sampling steps, 473278 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
579849 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
503388 loops (455/sec), 3384506563 sampling steps, 475555 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
580280 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
505713 loops (464/sec), 3400653303 sampling steps, 477880 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
580727 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
508018 loops (460/sec), 3416844941 sampling steps, 480185 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
581131 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
510311 loops (458/sec), 3433008557 sampling steps, 482478 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
581584 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
512573 loops (452/sec), 3449164465 sampling steps, 484740 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
582011 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
514870 loops (459/sec), 3465341476 sampling steps, 487036 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
582396 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
517208 loops (467/sec), 3481531484 sampling steps, 489374 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
582802 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
519529 loops (464/sec), 3497677665 sampling steps, 491695 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
583221 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
521812 loops (456/sec), 3513718149 sampling steps, 493978 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
583601 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
524156 loops (468/sec), 3529867890 sampling steps, 496322 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
584019 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
526438 loops (456/sec), 3546014020 sampling steps, 498604 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
584415 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
528808 loops (474/sec), 3562172795 sampling steps, 500974 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
584844 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
531047 loops (447/sec), 3578113137 sampling steps, 503213 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
585261 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
533236 loops (437/sec), 3593394208 sampling steps, 505402 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
585669 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
535488 loops (450/sec), 3609189038 sampling steps, 507654 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
586057 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
537702 loops (442/sec), 3625026214 sampling steps, 509867 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
586464 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
539989 loops (457/sec), 3640904247 sampling steps, 512154 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
586861 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
542252 loops (452/sec), 3656762654 sampling steps, 514417 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
587243 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
544571 loops (463/sec), 3672666074 sampling steps, 516736 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
587605 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
546795 loops (444/sec), 3688506916 sampling steps, 518960 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
588019 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
549051 loops (451/sec), 3704350607 sampling steps, 521216 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
588419 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
551286 loops (447/sec), 3720181320 sampling steps, 523451 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
588838 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
553533 loops (449/sec), 3736046844 sampling steps, 525698 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
589216 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
555772 loops (447/sec), 3751867741 sampling steps, 527937 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
589625 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
557997 loops (445/sec), 3767633137 sampling steps, 530162 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
589998 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
560299 loops (460/sec), 3783474623 sampling steps, 532464 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
590376 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
562589 loops (458/sec), 3799346462 sampling steps, 534754 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
590749 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
564785 loops (439/sec), 3815172182 sampling steps, 536950 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
591131 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
567087 loops (460/sec), 3831035234 sampling steps, 539252 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
591513 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
569314 loops (445/sec), 3846871405 sampling steps, 541479 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
591893 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
571556 loops (448/sec), 3862710660 sampling steps, 543721 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
592246 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
573853 loops (459/sec), 3878583220 sampling steps, 546017 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
592615 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
576121 loops (453/sec), 3894458756 sampling steps, 548285 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
593002 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
578354 loops (446/sec), 3910303472 sampling steps, 550518 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
593348 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
580602 loops (449/sec), 3926139465 sampling steps, 552766 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
593715 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
582784 loops (436/sec), 3941917913 sampling steps, 554948 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
594106 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
585012 loops (445/sec), 3957693383 sampling steps, 557176 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
594454 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
587324 loops (462/sec), 3973831701 sampling steps, 559488 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
594821 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
589612 loops (457/sec), 3989980220 sampling steps, 561776 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
595163 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
591944 loops (466/sec), 4006172625 sampling steps, 564108 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
595524 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
594189 loops (449/sec), 4022230792 sampling steps, 566353 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
595928 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
596434 loops (448/sec), 4038072370 sampling steps, 568598 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
596320 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
598689 loops (450/sec), 4053901530 sampling steps, 570853 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
596694 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
600945 loops (451/sec), 4069760477 sampling steps, 573109 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
597064 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
603239 loops (458/sec), 4085629325 sampling steps, 575403 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
597430 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
605494 loops (451/sec), 4101485527 sampling steps, 577658 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
597821 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
607752 loops (451/sec), 4117348171 sampling steps, 579916 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
598145 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
610067 loops (463/sec), 4133214707 sampling steps, 582231 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
598475 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
612310 loops (448/sec), 4148966207 sampling steps, 584474 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
598842 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
614538 loops (445/sec), 4164741791 sampling steps, 586702 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
599206 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
616799 loops (452/sec), 4180541465 sampling steps, 588963 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
599543 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
619068 loops (453/sec), 4196338668 sampling steps, 591232 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
599911 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
621343 loops (454/sec), 4212189317 sampling steps, 593507 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
600251 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
623618 loops (454/sec), 4228049324 sampling steps, 595782 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
600612 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
625827 loops (441/sec), 4243829524 sampling steps, 597991 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
600943 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
628151 loops (464/sec), 4259716105 sampling steps, 600315 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601255 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
630389 loops (447/sec), 4275559250 sampling steps, 602553 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601568 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
632685 loops (459/sec), 4291417301 sampling steps, 604849 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601901 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
634918 loops (446/sec), 4307259604 sampling steps, 607082 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
602259 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
637227 loops (461/sec), 4323130116 sampling steps, 609391 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
602589 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
639445 loops (443/sec), 4338913171 sampling steps, 611609 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
602943 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
641653 loops (441/sec), 4354720754 sampling steps, 613817 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
603239 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
643937 loops (456/sec), 4370592745 sampling steps, 616101 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
603569 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
646221 loops (456/sec), 4386460107 sampling steps, 618385 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
603904 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
648524 loops (460/sec), 4402361435 sampling steps, 620688 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
604217 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
650817 loops (458/sec), 4418228471 sampling steps, 622981 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
604546 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
653071 loops (450/sec), 4434093482 sampling steps, 625235 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
604883 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
655326 loops (450/sec), 4449942500 sampling steps, 627490 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
605197 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
657586 loops (452/sec), 4465797854 sampling steps, 629750 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
605511 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
659835 loops (449/sec), 4481650904 sampling steps, 631999 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
605870 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
662104 loops (453/sec), 4497502759 sampling steps, 634268 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
606221 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
664395 loops (458/sec), 4513342475 sampling steps, 636559 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
606552 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
666627 loops (446/sec), 4529124314 sampling steps, 638791 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
606879 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
668913 loops (457/sec), 4544968025 sampling steps, 641077 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
607178 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
671172 loops (451/sec), 4560822397 sampling steps, 643336 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
607500 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
673441 loops (453/sec), 4576705938 sampling steps, 645605 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
607800 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
675655 loops (442/sec), 4592540296 sampling steps, 647819 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
608113 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
677895 loops (447/sec), 4608404711 sampling steps, 650059 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
608393 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
680162 loops (453/sec), 4624269706 sampling steps, 652326 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
608699 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
682441 loops (455/sec), 4640122418 sampling steps, 654605 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
609009 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
684733 loops (458/sec), 4655963772 sampling steps, 656897 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
609343 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
686982 loops (449/sec), 4671812276 sampling steps, 659146 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
609678 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
689271 loops (457/sec), 4687675948 sampling steps, 661435 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
610026 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
691558 loops (457/sec), 4703497629 sampling steps, 663722 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
610334 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
693802 loops (448/sec), 4719235490 sampling steps, 665966 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
610619 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
696044 loops (448/sec), 4735014966 sampling steps, 668208 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
610913 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
698298 loops (450/sec), 4750835505 sampling steps, 670462 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
611243 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
700559 loops (452/sec), 4766655819 sampling steps, 672723 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
611575 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
702777 loops (443/sec), 4782340047 sampling steps, 674941 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
611882 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
704963 loops (437/sec), 4797926438 sampling steps, 677127 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
612233 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
707259 loops (459/sec), 4813672683 sampling steps, 679423 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
612537 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
709446 loops (437/sec), 4829186796 sampling steps, 681610 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
612855 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
711661 loops (443/sec), 4844784188 sampling steps, 683825 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
613164 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
713833 loops (434/sec), 4860378401 sampling steps, 685997 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
613460 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
716050 loops (443/sec), 4876137233 sampling steps, 688214 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
613776 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
718267 loops (443/sec), 4891677297 sampling steps, 690431 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
614119 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
720428 loops (432/sec), 4907096286 sampling steps, 692592 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
614436 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
722649 loops (444/sec), 4922724030 sampling steps, 694813 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
614756 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
724847 loops (439/sec), 4938335728 sampling steps, 697011 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
615068 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
726621 loops (354/sec), 4950812082 sampling steps, 698785 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
615294 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
728853 loops (446/sec), 4966382781 sampling steps, 701017 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
615586 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
731094 loops (448/sec), 4982118531 sampling steps, 703258 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
615912 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
733318 loops (444/sec), 4997744901 sampling steps, 705482 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
616182 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
735579 loops (452/sec), 5013511583 sampling steps, 707743 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
616443 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
737843 loops (452/sec), 5029278610 sampling steps, 710007 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
616749 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
740101 loops (451/sec), 5044996752 sampling steps, 712265 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
617069 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
742347 loops (449/sec), 5060667945 sampling steps, 714511 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
617338 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
744599 loops (450/sec), 5076420188 sampling steps, 716763 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
617622 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
746888 loops (457/sec), 5092199129 sampling steps, 719052 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
617931 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
749060 loops (434/sec), 5107648402 sampling steps, 721223 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
618241 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
751318 loops (451/sec), 5123491656 sampling steps, 723481 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
618561 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
753557 loops (447/sec), 5139274601 sampling steps, 725720 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
618866 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
755773 loops (443/sec), 5155082857 sampling steps, 727936 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
619144 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
758025 loops (450/sec), 5170851655 sampling steps, 730188 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
619419 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
760217 loops (438/sec), 5186357611 sampling steps, 732380 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
619697 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
762485 loops (453/sec), 5202008943 sampling steps, 734648 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
619973 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
764716 loops (446/sec), 5217703449 sampling steps, 736879 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
620248 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
766900 loops (436/sec), 5233182574 sampling steps, 739063 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
620534 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
769133 loops (446/sec), 5248831961 sampling steps, 741296 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
620843 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
771337 loops (440/sec), 5264492302 sampling steps, 743500 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
621116 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
773551 loops (442/sec), 5280052373 sampling steps, 745714 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
621406 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
775782 loops (446/sec), 5295715442 sampling steps, 747945 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
621698 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
778021 loops (447/sec), 5311358245 sampling steps, 750184 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
621942 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
780241 loops (443/sec), 5327019327 sampling steps, 752404 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
622218 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
782448 loops (441/sec), 5342671798 sampling steps, 754611 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
622508 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
784670 loops (444/sec), 5358270445 sampling steps, 756833 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
622794 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
786856 loops (437/sec), 5373694744 sampling steps, 759019 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
623079 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
789091 loops (446/sec), 5389287814 sampling steps, 761254 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
623333 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
791369 loops (455/sec), 5405077906 sampling steps, 763532 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
623586 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
793552 loops (436/sec), 5420682576 sampling steps, 765715 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
623819 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
795827 loops (454/sec), 5436510479 sampling steps, 767990 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
624080 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.009521484375 seconds since the total time limit of 1800.0 seconds was exceeded.