Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:49:33 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/kanban/kanban.prism --const t=6 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:49:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31727 loops (6345/sec), 2985751 sampling steps, 173 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
315802 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58504 loops (5355/sec), 7124978 sampling steps, 405 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
581643 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80695 loops (4438/sec), 11508187 sampling steps, 647 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
801616 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101822 loops (4225/sec), 16411208 sampling steps, 952 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1010596 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122331 loops (4101/sec), 21921469 sampling steps, 1293 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1213043 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140917 loops (3717/sec), 27580016 sampling steps, 1636 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1396221 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156459 loops (3108/sec), 32723467 sampling steps, 1995 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1548884 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:
173116 loops (3331/sec), 38724659 sampling steps, 2453 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1711995 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:
189540 loops (3284/sec), 45206497 sampling steps, 2863 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1873177 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:
204727 loops (3037/sec), 51653806 sampling steps, 3290 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2022005 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:
219358 loops (2926/sec), 58266490 sampling steps, 3782 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2164736 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:
233613 loops (2851/sec), 65101099 sampling steps, 4285 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2303570 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:
247086 loops (2694/sec), 72072824 sampling steps, 4787 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2434594 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:
259874 loops (2557/sec), 78977120 sampling steps, 5331 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2558562 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:
272250 loops (2475/sec), 86064578 sampling steps, 5851 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2678575 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:
284204 loops (2390/sec), 93217861 sampling steps, 6372 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2794293 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:
295175 loops (2194/sec), 100021424 sampling steps, 6863 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2900602 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:
305768 loops (2118/sec), 106988781 sampling steps, 7385 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3002783 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:
316828 loops (2212/sec), 114429089 sampling steps, 7958 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3109300 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:
327142 loops (2062/sec), 121773923 sampling steps, 8541 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3208543 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:
337306 loops (2032/sec), 129244236 sampling steps, 9163 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3305819 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:
346951 loops (1917/sec), 136713120 sampling steps, 9826 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3397753 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:
356611 loops (1922/sec), 144427555 sampling steps, 10534 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3489513 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:
365640 loops (1805/sec), 151828551 sampling steps, 11192 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3575244 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:
372212 loops (1314/sec), 157458947 sampling steps, 11691 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3637622 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:
381012 loops (1760/sec), 165206827 sampling steps, 12339 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3721276 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:
389618 loops (1721/sec), 173093936 sampling steps, 13018 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3802859 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:
398152 loops (1706/sec), 181074489 sampling steps, 13751 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3883466 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:
406698 loops (1709/sec), 189306410 sampling steps, 14480 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3964124 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:
414681 loops (1596/sec), 197316214 sampling steps, 15230 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4039088 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:
422571 loops (1578/sec), 205380910 sampling steps, 16007 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4112756 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:
430637 loops (1613/sec), 213698964 sampling steps, 16828 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4187892 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:
438186 loops (1509/sec), 221837155 sampling steps, 17587 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4258480 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:
445553 loops (1473/sec), 230066703 sampling steps, 18439 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4326676 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:
452926 loops (1474/sec), 238503940 sampling steps, 19315 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4394926 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:
459858 loops (1386/sec), 246725692 sampling steps, 20155 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4458926 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:
466731 loops (1374/sec), 254994723 sampling steps, 21024 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4522007 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:
473608 loops (1375/sec), 263525809 sampling steps, 21916 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4584885 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:
480169 loops (1312/sec), 271786478 sampling steps, 22773 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4644959 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:
486588 loops (1283/sec), 280171548 sampling steps, 23664 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4703244 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:
493111 loops (1282/sec), 288680154 sampling steps, 24604 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4762377 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:
499554 loops (1288/sec), 297234296 sampling steps, 25559 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4820566 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:
505642 loops (1217/sec), 305571466 sampling steps, 26467 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4875619 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:
511832 loops (1206/sec), 314218380 sampling steps, 27460 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4931083 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:
517636 loops (1160/sec), 322492091 sampling steps, 28415 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4983055 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:
523052 loops (1083/sec), 330448844 sampling steps, 29333 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5031222 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:
528748 loops (1138/sec), 339187950 sampling steps, 30264 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5082318 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:
534262 loops (1102/sec), 347473701 sampling steps, 31252 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5131114 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
536291 loops (116/sec), 350641541 sampling steps, 31665 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5148774 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
541781 loops (1098/sec), 359253084 sampling steps, 32656 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5197320 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
547351 loops (1113/sec), 368124074 sampling steps, 33702 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5246383 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
552746 loops (1079/sec), 376918301 sampling steps, 34725 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5293915 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
558007 loops (1052/sec), 385740657 sampling steps, 35762 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5340172 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
563310 loops (1060/sec), 394763899 sampling steps, 36848 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5386164 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
568492 loops (1036/sec), 403697062 sampling steps, 37957 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5431011 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
573882 loops (1078/sec), 413191221 sampling steps, 39140 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5477329 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
579154 loops (1054/sec), 422464124 sampling steps, 40363 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5522234 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
584319 loops (1033/sec), 431840866 sampling steps, 41564 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5566221 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
589601 loops (1056/sec), 441551643 sampling steps, 42783 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5611173 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
594707 loops (1021/sec), 451138648 sampling steps, 44022 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5654601 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
599775 loops (1013/sec), 460803097 sampling steps, 45290 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5697340 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
604822 loops (1009/sec), 470492754 sampling steps, 46593 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5739455 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
609823 loops (999/sec), 480460430 sampling steps, 47903 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5781305 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
614645 loops (964/sec), 490172722 sampling steps, 49235 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5821085 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
619550 loops (981/sec), 500111949 sampling steps, 50603 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5861496 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
624456 loops (981/sec), 510139333 sampling steps, 51952 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5901965 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
629356 loops (980/sec), 520179028 sampling steps, 53361 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5941934 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
634228 loops (974/sec), 530455934 sampling steps, 54800 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5981500 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
638898 loops (934/sec), 540550760 sampling steps, 56213 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6019453 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
643408 loops (902/sec), 550661421 sampling steps, 57645 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6055589 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
647967 loops (911/sec), 560796787 sampling steps, 59107 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6091885 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
652528 loops (912/sec), 570899972 sampling steps, 60572 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6128244 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
657006 loops (895/sec), 581065996 sampling steps, 62043 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6163786 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
661412 loops (876/sec), 591339222 sampling steps, 63506 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6198303 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
665814 loops (880/sec), 601753864 sampling steps, 64998 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6232840 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
670015 loops (840/sec), 611728778 sampling steps, 66514 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6265398 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
674169 loops (830/sec), 621779502 sampling steps, 67978 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6297765 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
678222 loops (810/sec), 631613807 sampling steps, 69448 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6328815 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
682068 loops (769/sec), 641014657 sampling steps, 70909 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6358083 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
685971 loops (780/sec), 650643036 sampling steps, 72351 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6387940 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
690119 loops (829/sec), 660917454 sampling steps, 73960 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6419241 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
694171 loops (810/sec), 671171731 sampling steps, 75566 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6449547 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
698268 loops (819/sec), 681635358 sampling steps, 77189 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6480231 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
702279 loops (802/sec), 691936225 sampling steps, 78791 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6510036 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
706183 loops (780/sec), 702249816 sampling steps, 80388 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6538974 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
710126 loops (788/sec), 712604262 sampling steps, 82040 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6568143 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
713999 loops (774/sec), 722956097 sampling steps, 83637 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6596547 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
717726 loops (745/sec), 733017239 sampling steps, 85237 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6623715 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
721509 loops (756/sec), 743185191 sampling steps, 86836 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6651030 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
725256 loops (749/sec), 753453860 sampling steps, 88491 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6677834 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
728961 loops (740/sec), 763675414 sampling steps, 90150 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6704579 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
732707 loops (749/sec), 773875894 sampling steps, 91867 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6730896 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
736334 loops (725/sec), 784127599 sampling steps, 93565 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6756310 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
739865 loops (706/sec), 794217729 sampling steps, 95183 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6781195 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
743422 loops (711/sec), 804400540 sampling steps, 96848 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6806107 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
746888 loops (693/sec), 814612780 sampling steps, 98528 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6829895 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
750365 loops (695/sec), 824831329 sampling steps, 100217 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6853452 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
753817 loops (690/sec), 834854391 sampling steps, 101905 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6876835 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
757255 loops (687/sec), 844983128 sampling steps, 103582 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6900437 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
760585 loops (666/sec), 854979410 sampling steps, 105226 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6923055 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
763890 loops (660/sec), 864987929 sampling steps, 106911 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6945116 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
767208 loops (663/sec), 875144817 sampling steps, 108608 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6967397 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
770573 loops (672/sec), 885282088 sampling steps, 110377 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6989561 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
773864 loops (658/sec), 895365147 sampling steps, 112148 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7011140 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
777085 loops (643/sec), 905345806 sampling steps, 113830 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7032291 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
780303 loops (643/sec), 915370870 sampling steps, 115569 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7053184 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
783478 loops (634/sec), 925377964 sampling steps, 117269 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7073776 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
786600 loops (624/sec), 935348403 sampling steps, 118996 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7093853 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
789832 loops (646/sec), 945362385 sampling steps, 120775 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7114368 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
792992 loops (632/sec), 955372366 sampling steps, 122520 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7134410 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
796021 loops (605/sec), 965120989 sampling steps, 124208 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7153509 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
799064 loops (608/sec), 975014480 sampling steps, 125942 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7172449 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
802206 loops (628/sec), 985091202 sampling steps, 127782 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7191788 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
805293 loops (617/sec), 995121607 sampling steps, 129523 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7211117 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
808449 loops (630/sec), 1005233350 sampling steps, 131362 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7230462 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
811534 loops (616/sec), 1015307417 sampling steps, 133160 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7249243 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
814474 loops (588/sec), 1025086460 sampling steps, 134861 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7267493 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
817565 loops (618/sec), 1035229572 sampling steps, 136752 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7285639 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
820684 loops (623/sec), 1045435681 sampling steps, 138598 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7304614 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
823732 loops (609/sec), 1055573139 sampling steps, 140376 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7323330 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
826679 loops (589/sec), 1065538328 sampling steps, 142122 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7341195 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
829526 loops (569/sec), 1075208482 sampling steps, 143858 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7358204 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
832449 loops (584/sec), 1085146263 sampling steps, 145642 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7375175 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
835285 loops (567/sec), 1095055161 sampling steps, 147366 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7392045 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
838196 loops (582/sec), 1105056797 sampling steps, 149157 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7408990 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
841127 loops (586/sec), 1115020689 sampling steps, 151034 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7425795 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
844058 loops (585/sec), 1125111618 sampling steps, 152866 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7442467 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
847014 loops (591/sec), 1135260156 sampling steps, 154780 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7459038 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
849949 loops (586/sec), 1145374946 sampling steps, 156661 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7475534 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
852805 loops (571/sec), 1155295428 sampling steps, 158491 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7491417 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
855654 loops (569/sec), 1165334865 sampling steps, 160339 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7507316 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
858551 loops (579/sec), 1175483568 sampling steps, 162181 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7523611 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
861320 loops (553/sec), 1185379805 sampling steps, 164027 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7538775 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
864187 loops (573/sec), 1195510292 sampling steps, 165932 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7554421 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
867084 loops (579/sec), 1205647836 sampling steps, 167862 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7570061 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
869825 loops (548/sec), 1215440074 sampling steps, 169700 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7584943 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
872642 loops (563/sec), 1225487327 sampling steps, 171570 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7600052 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
875479 loops (567/sec), 1235602125 sampling steps, 173472 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7615242 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
878274 loops (558/sec), 1245633401 sampling steps, 175384 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7629908 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
881055 loops (556/sec), 1255830679 sampling steps, 177299 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7644569 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
883847 loops (558/sec), 1265838897 sampling steps, 179223 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7659303 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
886586 loops (547/sec), 1276026928 sampling steps, 181104 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7673563 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
889404 loops (563/sec), 1286227780 sampling steps, 183079 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7687962 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
892133 loops (545/sec), 1296204604 sampling steps, 184998 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7701866 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
894848 loops (542/sec), 1306373226 sampling steps, 186937 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7715625 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
897540 loops (538/sec), 1316337939 sampling steps, 188880 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7729068 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
900270 loops (546/sec), 1326430972 sampling steps, 190835 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7742666 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
902898 loops (525/sec), 1336243204 sampling steps, 192703 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7756013 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
905619 loops (544/sec), 1346365801 sampling steps, 194662 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7769552 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
908270 loops (530/sec), 1356431387 sampling steps, 196548 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7782754 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
911025 loops (550/sec), 1366645301 sampling steps, 198546 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7796317 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
913726 loops (540/sec), 1376740648 sampling steps, 200532 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7809213 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
916419 loops (538/sec), 1386933741 sampling steps, 202490 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7822281 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
919114 loops (539/sec), 1397000298 sampling steps, 204456 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7835095 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
921787 loops (534/sec), 1407230176 sampling steps, 206453 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7847846 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
924416 loops (525/sec), 1417360059 sampling steps, 208381 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7860446 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
927100 loops (536/sec), 1427663644 sampling steps, 210423 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7872901 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
929826 loops (545/sec), 1437812768 sampling steps, 212439 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7885869 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
932539 loops (540/sec), 1448106713 sampling steps, 214475 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7898614 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
935161 loops (524/sec), 1458295979 sampling steps, 216441 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7910683 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
937773 loops (522/sec), 1468424419 sampling steps, 218449 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7922537 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
940439 loops (532/sec), 1478795083 sampling steps, 220462 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7934792 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
943038 loops (519/sec), 1489027138 sampling steps, 222436 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7946603 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
945649 loops (522/sec), 1499154987 sampling steps, 224385 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7958755 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
948295 loops (529/sec), 1509542083 sampling steps, 226401 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7970670 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
950959 loops (532/sec), 1519902750 sampling steps, 228423 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7982622 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
953641 loops (536/sec), 1530301746 sampling steps, 230491 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7994263 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
956222 loops (515/sec), 1540496867 sampling steps, 232472 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8005815 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
958796 loops (514/sec), 1550645224 sampling steps, 234516 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8016854 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
961404 loops (521/sec), 1560800224 sampling steps, 236564 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8027952 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
964020 loops (523/sec), 1571049089 sampling steps, 238638 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8039163 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
966550 loops (505/sec), 1581070856 sampling steps, 240622 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8050070 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
969125 loops (514/sec), 1591232690 sampling steps, 242680 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8060583 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
971643 loops (503/sec), 1601430314 sampling steps, 244704 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8071165 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
974225 loops (516/sec), 1611785136 sampling steps, 246757 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8082051 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
976795 loops (513/sec), 1622046069 sampling steps, 248804 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8092818 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
979370 loops (514/sec), 1632359192 sampling steps, 250861 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8103368 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
981962 loops (518/sec), 1642684853 sampling steps, 252944 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8114002 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
984543 loops (516/sec), 1652940427 sampling steps, 255025 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8124519 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
987109 loops (513/sec), 1663208730 sampling steps, 257099 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8135088 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
989616 loops (500/sec), 1673294192 sampling steps, 259108 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8145492 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
992194 loops (515/sec), 1683569954 sampling steps, 261181 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8155833 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
994771 loops (515/sec), 1693878861 sampling steps, 263284 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8166009 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
997296 loops (504/sec), 1704075534 sampling steps, 265381 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8175695 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
999789 loops (498/sec), 1714356029 sampling steps, 267444 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8185468 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1002349 loops (511/sec), 1724804352 sampling steps, 269564 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8195432 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1004834 loops (497/sec), 1735091081 sampling steps, 271615 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8205314 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1007422 loops (517/sec), 1745408503 sampling steps, 273749 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8215222 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1009922 loops (500/sec), 1755706825 sampling steps, 275810 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8225038 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1012518 loops (518/sec), 1766000390 sampling steps, 277926 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8234975 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1015044 loops (505/sec), 1776359241 sampling steps, 280015 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8244436 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1017545 loops (499/sec), 1786722736 sampling steps, 282083 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8254091 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1020102 loops (511/sec), 1797053471 sampling steps, 284225 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8263485 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1022582 loops (495/sec), 1807392660 sampling steps, 286294 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8273001 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1025047 loops (492/sec), 1817716852 sampling steps, 288351 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8282210 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1027528 loops (496/sec), 1827899472 sampling steps, 290434 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8291486 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1030017 loops (497/sec), 1838247570 sampling steps, 292517 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8300573 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1032522 loops (501/sec), 1848633434 sampling steps, 294627 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8309718 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1035030 loops (501/sec), 1859013375 sampling steps, 296741 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8318808 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1037548 loops (503/sec), 1869347468 sampling steps, 298879 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8327758 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1040029 loops (495/sec), 1879710980 sampling steps, 300981 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8336618 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1042564 loops (506/sec), 1890111967 sampling steps, 303160 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8345407 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1045081 loops (503/sec), 1900462702 sampling steps, 305297 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8354154 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1047573 loops (498/sec), 1910793497 sampling steps, 307412 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8362831 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1050092 loops (503/sec), 1921191700 sampling steps, 309561 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8371583 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1052643 loops (509/sec), 1931629515 sampling steps, 311753 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8380181 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1055140 loops (499/sec), 1942044313 sampling steps, 313910 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8388665 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1057625 loops (497/sec), 1952317097 sampling steps, 316034 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8397361 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1060084 loops (491/sec), 1962625856 sampling steps, 318145 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8405948 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1062560 loops (495/sec), 1972999877 sampling steps, 320286 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8414233 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1065004 loops (488/sec), 1983380336 sampling steps, 322366 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8422631 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1067486 loops (496/sec), 1993764322 sampling steps, 324543 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8430766 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1069946 loops (491/sec), 2004163726 sampling steps, 326681 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8439038 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1072411 loops (492/sec), 2014502186 sampling steps, 328844 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8447120 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1074862 loops (490/sec), 2024902889 sampling steps, 330988 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8455150 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1077281 loops (483/sec), 2035301644 sampling steps, 333134 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8462976 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1079771 loops (497/sec), 2045771579 sampling steps, 335321 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8470827 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1082228 loops (491/sec), 2056142055 sampling steps, 337480 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8478430 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1084677 loops (489/sec), 2066551085 sampling steps, 339609 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8486425 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1087169 loops (498/sec), 2076893636 sampling steps, 341777 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8494392 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1089648 loops (495/sec), 2087247133 sampling steps, 343971 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8501980 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1092060 loops (482/sec), 2097665827 sampling steps, 346071 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8509711 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1094513 loops (490/sec), 2108077029 sampling steps, 348239 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8517399 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1096979 loops (493/sec), 2118446935 sampling steps, 350406 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8525042 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1099361 loops (476/sec), 2128858800 sampling steps, 352522 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8532462 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1101808 loops (489/sec), 2139218041 sampling steps, 354671 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8539975 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1104276 loops (493/sec), 2149680957 sampling steps, 356865 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8547301 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1106705 loops (485/sec), 2160080230 sampling steps, 359018 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8554667 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1109169 loops (492/sec), 2170480750 sampling steps, 361223 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8561999 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1111609 loops (487/sec), 2180847872 sampling steps, 363378 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8569451 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1114010 loops (480/sec), 2191317300 sampling steps, 365510 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8576711 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1116375 loops (473/sec), 2201587710 sampling steps, 367604 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8583954 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1118805 loops (485/sec), 2212000683 sampling steps, 369778 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8590989 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1121198 loops (478/sec), 2222363808 sampling steps, 371912 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8598141 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1123617 loops (483/sec), 2232894012 sampling steps, 374072 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8605464 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1126032 loops (482/sec), 2243307463 sampling steps, 376228 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8612642 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1128470 loops (487/sec), 2253857735 sampling steps, 378397 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8619935 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1130983 loops (502/sec), 2264371035 sampling steps, 380658 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8627206 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1133427 loops (488/sec), 2274906102 sampling steps, 382848 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8634202 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1135831 loops (480/sec), 2285488805 sampling steps, 385007 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8641186 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1138238 loops (481/sec), 2295650600 sampling steps, 387181 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8648072 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1140626 loops (477/sec), 2306104779 sampling steps, 389348 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8654650 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1143049 loops (484/sec), 2316555842 sampling steps, 391543 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8661399 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1145382 loops (466/sec), 2326841458 sampling steps, 393642 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8668157 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1147808 loops (485/sec), 2337277923 sampling steps, 395865 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8674559 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1150267 loops (491/sec), 2347835632 sampling steps, 398082 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8681189 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1152761 loops (498/sec), 2358470817 sampling steps, 400384 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8687650 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1155161 loops (479/sec), 2368990828 sampling steps, 402564 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8694272 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1157621 loops (491/sec), 2379619451 sampling steps, 404806 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8700747 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1160062 loops (488/sec), 2390194065 sampling steps, 407024 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8707306 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1162536 loops (494/sec), 2400740263 sampling steps, 409282 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8713857 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1164994 loops (491/sec), 2411311351 sampling steps, 411544 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8720221 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1167432 loops (487/sec), 2421907695 sampling steps, 413765 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8726596 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1169890 loops (491/sec), 2432507051 sampling steps, 416001 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8732991 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1172284 loops (476/sec), 2443017428 sampling steps, 418191 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8739379 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1174676 loops (478/sec), 2453504504 sampling steps, 420389 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8745470 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1177139 loops (492/sec), 2464127553 sampling steps, 422634 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8751815 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1179650 loops (501/sec), 2474871814 sampling steps, 424941 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8758186 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1182114 loops (492/sec), 2485610434 sampling steps, 427215 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8764261 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1184630 loops (502/sec), 2496366498 sampling steps, 429512 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8770847 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1187024 loops (478/sec), 2507109147 sampling steps, 431712 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8776993 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1189472 loops (489/sec), 2517865379 sampling steps, 433977 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8782999 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1191952 loops (496/sec), 2528623158 sampling steps, 436273 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8789120 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1194439 loops (497/sec), 2539431618 sampling steps, 438607 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8794808 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1196873 loops (486/sec), 2550146790 sampling steps, 440865 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8800512 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1199325 loops (490/sec), 2560890787 sampling steps, 443117 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8806720 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1201820 loops (499/sec), 2571651053 sampling steps, 445425 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8812825 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1204244 loops (484/sec), 2582287890 sampling steps, 447665 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8818627 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1206655 loops (482/sec), 2592990229 sampling steps, 449909 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8824524 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1209156 loops (500/sec), 2603764250 sampling steps, 452218 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8830325 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1211624 loops (493/sec), 2614539132 sampling steps, 454525 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8836013 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1214041 loops (483/sec), 2625329758 sampling steps, 456742 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8842039 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1216488 loops (489/sec), 2636008731 sampling steps, 459037 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8847636 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1219001 loops (502/sec), 2646756896 sampling steps, 461385 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8853420 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1221456 loops (491/sec), 2657490462 sampling steps, 463678 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8859152 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1223902 loops (489/sec), 2668317452 sampling steps, 465964 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8864743 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1226356 loops (490/sec), 2679116697 sampling steps, 468260 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8870394 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1228832 loops (495/sec), 2689889194 sampling steps, 470567 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8876019 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1231262 loops (485/sec), 2700609343 sampling steps, 472850 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8881476 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1233649 loops (477/sec), 2711221438 sampling steps, 475105 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8886593 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1236146 loops (499/sec), 2721933949 sampling steps, 477446 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8892037 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1238599 loops (490/sec), 2732665328 sampling steps, 479726 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8897728 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1241063 loops (492/sec), 2743428710 sampling steps, 482031 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8903058 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1243488 loops (484/sec), 2754186000 sampling steps, 484303 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8908420 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1245932 loops (488/sec), 2764971628 sampling steps, 486609 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8913766 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1248436 loops (500/sec), 2775767489 sampling steps, 488961 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8918836 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1250851 loops (482/sec), 2786573888 sampling steps, 491231 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8923969 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1253358 loops (501/sec), 2797350724 sampling steps, 493562 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8929440 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1255791 loops (486/sec), 2808139869 sampling steps, 495863 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8934669 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1258284 loops (498/sec), 2818931679 sampling steps, 498205 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8940021 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1260743 loops (491/sec), 2829659851 sampling steps, 500519 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8945207 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1263110 loops (473/sec), 2840247827 sampling steps, 502750 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8950199 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1265535 loops (484/sec), 2850923917 sampling steps, 505040 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8955131 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1267945 loops (482/sec), 2861663512 sampling steps, 507307 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8960455 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1270311 loops (473/sec), 2872427514 sampling steps, 509532 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8965506 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1272722 loops (482/sec), 2883181482 sampling steps, 511814 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8970544 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1275212 loops (497/sec), 2893981676 sampling steps, 514164 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8975535 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1277651 loops (487/sec), 2904745411 sampling steps, 516488 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8980482 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1280072 loops (484/sec), 2915539005 sampling steps, 518769 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8985855 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1282528 loops (491/sec), 2926332660 sampling steps, 521100 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8990717 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1284954 loops (485/sec), 2937117031 sampling steps, 523380 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
8995870 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1287396 loops (488/sec), 2947911642 sampling steps, 525682 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9000945 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1289813 loops (483/sec), 2958670758 sampling steps, 527971 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9005990 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1292256 loops (488/sec), 2969338365 sampling steps, 530277 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9010839 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1294703 loops (489/sec), 2980076219 sampling steps, 532616 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9015569 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1297163 loops (492/sec), 2990855895 sampling steps, 534943 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9020721 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1299602 loops (487/sec), 3001641384 sampling steps, 537245 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9025594 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1302076 loops (494/sec), 3012451334 sampling steps, 539596 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9030485 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1304523 loops (489/sec), 3023260341 sampling steps, 541924 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9035007 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1306980 loops (491/sec), 3034096878 sampling steps, 544266 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9039797 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1309369 loops (477/sec), 3044908568 sampling steps, 546547 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9044246 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1311824 loops (490/sec), 3055730823 sampling steps, 548894 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9048874 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1314311 loops (497/sec), 3066597251 sampling steps, 551255 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9053516 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1316743 loops (486/sec), 3077434086 sampling steps, 553565 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9058189 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1319178 loops (487/sec), 3088248783 sampling steps, 555893 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9062677 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1321599 loops (484/sec), 3098898148 sampling steps, 558213 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9066975 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1323964 loops (472/sec), 3109660983 sampling steps, 560493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9071277 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1326390 loops (485/sec), 3120451492 sampling steps, 562790 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9075934 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1328807 loops (483/sec), 3131253103 sampling steps, 565101 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9080249 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1331218 loops (482/sec), 3142106222 sampling steps, 567400 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9084653 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1333651 loops (486/sec), 3152926344 sampling steps, 569728 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9089093 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1336075 loops (484/sec), 3163773548 sampling steps, 572038 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9093563 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1338496 loops (483/sec), 3174606631 sampling steps, 574354 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9097986 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1340954 loops (491/sec), 3185437567 sampling steps, 576717 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9102301 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1343353 loops (479/sec), 3196270886 sampling steps, 579005 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9106534 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1345720 loops (473/sec), 3207103326 sampling steps, 581266 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9110759 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1348100 loops (475/sec), 3217935735 sampling steps, 583560 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9114877 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1350484 loops (476/sec), 3228589921 sampling steps, 585856 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9119140 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1352925 loops (488/sec), 3239419844 sampling steps, 588191 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9123545 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1355373 loops (489/sec), 3250276193 sampling steps, 590530 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9127960 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1357777 loops (480/sec), 3261109507 sampling steps, 592843 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9132288 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1360196 loops (483/sec), 3271963586 sampling steps, 595163 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9136558 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1362608 loops (482/sec), 3282823950 sampling steps, 597485 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9140710 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1365024 loops (483/sec), 3293727746 sampling steps, 599818 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9144877 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1367379 loops (470/sec), 3304561170 sampling steps, 602065 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9149076 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1369825 loops (489/sec), 3315449309 sampling steps, 604423 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9153229 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1372272 loops (489/sec), 3326322933 sampling steps, 606765 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9157488 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1374725 loops (490/sec), 3337185649 sampling steps, 609115 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9161659 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1377140 loops (482/sec), 3348045604 sampling steps, 611430 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9165832 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1379576 loops (487/sec), 3358776116 sampling steps, 613741 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9170228 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1382031 loops (491/sec), 3369598306 sampling steps, 616113 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9174206 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1384436 loops (480/sec), 3380442295 sampling steps, 618434 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9178143 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1386860 loops (484/sec), 3391322999 sampling steps, 620758 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9182243 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1389239 loops (475/sec), 3402181367 sampling steps, 623041 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9186351 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1391678 loops (487/sec), 3413049736 sampling steps, 625387 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9190190 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1394153 loops (495/sec), 3423974352 sampling steps, 627772 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9194198 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1396567 loops (482/sec), 3434860339 sampling steps, 630101 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9197913 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1398931 loops (472/sec), 3445743999 sampling steps, 632373 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9201947 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1401339 loops (481/sec), 3456641010 sampling steps, 634676 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9206126 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1403779 loops (488/sec), 3467531028 sampling steps, 637016 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9210112 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1406134 loops (471/sec), 3478407069 sampling steps, 639290 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9214051 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1408538 loops (480/sec), 3489149948 sampling steps, 641610 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9218040 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1410982 loops (488/sec), 3500020362 sampling steps, 643957 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9221993 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1413378 loops (479/sec), 3510908526 sampling steps, 646275 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9225729 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1415753 loops (475/sec), 3521788083 sampling steps, 648589 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9229233 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1418169 loops (483/sec), 3532701524 sampling steps, 650925 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9233102 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1420617 loops (489/sec), 3543623676 sampling steps, 653284 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
9236893 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0281705856323 seconds since the total time limit of 1800.0 seconds was exceeded.