Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:50:03 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/polling/polling.8.prism approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:50:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31211 loops (6242/sec), 17225582 sampling steps, 30983 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3071 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:11 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 1, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:50:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51611 loops (4051/sec), 28535841 sampling steps, 51378 aborted
loop condition 1.0000, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
5 component updates, 0 transient state updates
Bounds: =1.0000@[1.00000](5)
Sep 13, 2024 10:50:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51617 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
11 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](11)
Sep 13, 2024 10:51:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51618 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
12 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](12)
Sep 13, 2024 10:51:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51619 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
13 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](13)
Sep 13, 2024 10:52:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51620 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
14 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](14)
Sep 13, 2024 10:52:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51621 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
15 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](15)
Sep 13, 2024 10:53:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51622 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
16 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](16)
Sep 13, 2024 10:53:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51623 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
17 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](17)
Sep 13, 2024 10:54:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51624 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
18 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](18)
Sep 13, 2024 10:54:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51625 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
19 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](19)
Sep 13, 2024 10:55:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51626 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
20 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](20)
Sep 13, 2024 10:55:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51627 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
21 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](21)
Sep 13, 2024 10:55:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51628 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
22 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](22)
Sep 13, 2024 10:56:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51629 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
23 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](23)
Sep 13, 2024 10:56:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51630 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
24 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](24)
Sep 13, 2024 10:57:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51631 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
25 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](25)
Sep 13, 2024 10:57:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51632 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
26 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](26)
Sep 13, 2024 10:58:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51633 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
27 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](27)
Sep 13, 2024 10:58:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51634 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
28 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](28)
Sep 13, 2024 10:59:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51635 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
29 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](29)
Sep 13, 2024 10:59:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51636 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
30 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](30)
Sep 13, 2024 11:00:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51637 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
31 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](31)
Sep 13, 2024 11:00:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51638 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
32 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](32)
Sep 13, 2024 11:01:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51639 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
33 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](33)
Sep 13, 2024 11:01:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51640 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
34 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](34)
Sep 13, 2024 11:02:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51641 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
35 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](35)
Sep 13, 2024 11:02:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51642 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
36 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](36)
Sep 13, 2024 11:03:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51643 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
37 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](37)
Sep 13, 2024 11:03:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51644 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
38 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](38)
Sep 13, 2024 11:04:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51645 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
39 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](39)
Sep 13, 2024 11:04:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51646 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
40 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](40)
Sep 13, 2024 11:04:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51647 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
41 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](41)
Sep 13, 2024 11:05:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51648 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
42 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](42)
Sep 13, 2024 11:05:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51649 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
43 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](43)
Sep 13, 2024 11:06:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51650 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
44 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](44)
Sep 13, 2024 11:06:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51651 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
45 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](45)
Sep 13, 2024 11:07:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51652 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
46 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](46)
Sep 13, 2024 11:07:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51653 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
47 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](47)
Sep 13, 2024 11:08:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51654 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
48 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](48)
Sep 13, 2024 11:08:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51655 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
49 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](49)
Sep 13, 2024 11:09:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51656 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
50 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](50)
Sep 13, 2024 11:09:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51657 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
51 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](51)
Sep 13, 2024 11:09:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51658 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
52 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](52)
Sep 13, 2024 11:10:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51659 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
53 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](53)
Sep 13, 2024 11:10:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51660 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
54 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](54)
Sep 13, 2024 11:11:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51661 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
55 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](55)
Sep 13, 2024 11:11:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51662 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
56 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](56)
Sep 13, 2024 11:12:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51663 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
57 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](57)
Sep 13, 2024 11:12:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51664 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
58 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](58)
Sep 13, 2024 11:13:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51665 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
59 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](59)
Sep 13, 2024 11:13:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51666 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
60 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](60)
Sep 13, 2024 11:14:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51667 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
61 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](61)
Sep 13, 2024 11:14:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51668 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
62 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](62)
Sep 13, 2024 11:15:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51669 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
63 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](63)
Sep 13, 2024 11:15:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51670 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
64 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](64)
Sep 13, 2024 11:15:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51671 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
65 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](65)
Sep 13, 2024 11:16:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51672 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
66 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](66)
Sep 13, 2024 11:16:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51673 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
67 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](67)
Sep 13, 2024 11:17:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51674 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
68 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](68)
Sep 13, 2024 11:17:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51675 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
69 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](69)
Sep 13, 2024 11:18:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51676 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
70 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](70)
Sep 13, 2024 11:18:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51677 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
71 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](71)
Sep 13, 2024 11:19:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51678 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
72 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](72)
Sep 13, 2024 11:19:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51679 loops (0/sec), 28535841 sampling steps, 51378 aborted
loop condition 0.23189, exit probability 0.0000 in initial state
3072 explored states, 3072 states in BSSCs (0 absorbing)
73 component updates, 0 transient state updates
Bounds: =1.0000@[0.23189](73)
----------
Computation aborted after 1800.0052654743195 seconds since the total time limit of 1800.0 seconds was exceeded.