Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:46:57 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/crafted-loop/crafted-loop.pm --const size=10000 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:46:58 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:47:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1010 loops (160/sec), 5105988 sampling steps, 11 aborted
loop condition 1.0000, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: =1.0000@[1.00000](0)
Sep 13, 2024 10:47:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1012 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 1.0000, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
2 component updates, 0 transient state updates
Bounds: =1.0000@[1.00000](2)
Sep 13, 2024 10:47:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1014 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 1.0000, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
4 component updates, 0 transient state updates
Bounds: =1.0000@[1.00000](4)
Sep 13, 2024 10:47:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1015 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 1.0000, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
5 component updates, 0 transient state updates
Bounds: =1.0000@[1.00000](5)
Sep 13, 2024 10:47:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1017 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 1.0000, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
7 component updates, 0 transient state updates
Bounds: =1.0000@[1.00000](7)
Sep 13, 2024 10:48:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1018 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 1.0000, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
8 component updates, 0 transient state updates
Bounds: =1.0000@[1.00000](8)
Sep 13, 2024 10:48:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1019 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 1.0000, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
9 component updates, 0 transient state updates
Bounds: =1.0000@[1.00000](9)
Sep 13, 2024 10:48:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1020 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 0.10000, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
10 component updates, 0 transient state updates
Bounds: =1.0000@[0.10000](10)
Sep 13, 2024 10:48:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1021 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 0.099956, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
11 component updates, 0 transient state updates
Bounds: =1.0000@[0.09996](11)
Sep 13, 2024 10:49:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1022 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 0.099901, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
12 component updates, 0 transient state updates
Bounds: =1.0000@[0.09990](12)
Sep 13, 2024 10:49:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1023 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 0.099837, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
13 component updates, 0 transient state updates
Bounds: =1.0000@[0.09984](13)
Sep 13, 2024 10:50:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1024 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 0.099770, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
14 component updates, 0 transient state updates
Bounds: =1.0000@[0.09977](14)
Sep 13, 2024 10:50:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1025 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 0.099686, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
15 component updates, 0 transient state updates
Bounds: =1.0000@[0.09969](15)
Sep 13, 2024 10:50:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1026 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 0.099585, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
16 component updates, 0 transient state updates
Bounds: =1.0000@[0.09959](16)
Sep 13, 2024 10:51:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1027 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 0.099456, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
17 component updates, 0 transient state updates
Bounds: =1.0000@[0.09946](17)
Sep 13, 2024 10:51:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1028 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 0.099270, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
18 component updates, 0 transient state updates
Bounds: =1.0000@[0.09927](18)
Sep 13, 2024 10:51:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1029 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 0.098918, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
19 component updates, 0 transient state updates
Bounds: =1.0000@[0.09892](19)
Sep 13, 2024 10:53:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1031 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 0.049993, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
21 component updates, 0 transient state updates
Bounds: =1.0000@[0.04999](21)
Sep 13, 2024 10:54:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1032 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 0.049986, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
22 component updates, 0 transient state updates
Bounds: =1.0000@[0.04999](22)
Sep 13, 2024 10:56:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1033 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 0.049978, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
23 component updates, 0 transient state updates
Bounds: =1.0000@[0.04998](23)
Sep 13, 2024 10:57:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1034 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 0.049967, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
24 component updates, 0 transient state updates
Bounds: =1.0000@[0.04997](24)
Sep 13, 2024 10:58:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1035 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 0.049955, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
25 component updates, 0 transient state updates
Bounds: =1.0000@[0.04995](25)
Sep 13, 2024 11:00:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1036 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 0.049939, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
26 component updates, 0 transient state updates
Bounds: =1.0000@[0.04994](26)
Sep 13, 2024 11:01:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1037 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 0.049918, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
27 component updates, 0 transient state updates
Bounds: =1.0000@[0.04992](27)
Sep 13, 2024 11:02:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1038 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 0.049877, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
28 component updates, 0 transient state updates
Bounds: =1.0000@[0.04988](28)
Sep 13, 2024 11:02:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1039 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 0.046709, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
29 component updates, 0 transient state updates
Bounds: =1.0000@[0.04671](29)
Sep 13, 2024 11:12:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1041 loops (0/sec), 5105988 sampling steps, 11 aborted
loop condition 0.024999, exit probability 0.0000 in initial state
10000 explored states, 10000 states in BSSCs (0 absorbing)
31 component updates, 0 transient state updates
Bounds: =1.0000@[0.02500](31)
----------
Computation aborted after 1800.0075845718384 seconds since the total time limit of 1800.0 seconds was exceeded.