sds.default-abs.ap-sample

Benchmark
Model: (lumbroso)
Parameter(s)N = 16000
Invocation (default-abs.ap-sample)
	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/dtmc/lumbroso/lumbroso.prism --const N=16000  approximate --sampling SAMPLE_TARGET  --precision 0.001
default engine and absolute (default) error criterion
Execution
Walltime (MC-Time):172.9927237033844s (NA)
Return code:-9
Note(s):Tool does not support file export.
STDERR
Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:48:30 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/lumbroso/lumbroso.prism --const N=16000 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:48:30 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 11, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:48:30 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 252, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:48:31 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 1875, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:48:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    9473 loops (1894/sec), 133818 sampling steps, 9422 aborted
    loop condition 0.98809, exit probability 0.98791 in initial state
    22255 explored states, 2138 states in BSSCs (2138 absorbing)
    2 component updates, 18765583 transient state updates
    Bounds: [0.0000+9.87968e-01]@[0.00000](0), [0.0000+9.88091e-01]@[0.00000](0), [0.0000+9.87968e-01]@[0.00000](0), [0.0000+9.87968e-01]@[0.00000](0), [0.0000+9.87968e-01]@[0.00000](0), [0.0000+9.87968e-01]@[0.00000](0), [0.0000+9.87968e-01]@[0.00000](0), [6.1035e-05+9.87968e-01]@[0.00000](0), [6.1035e-05+9.87968e-01]@[0.00000](0), [0.0000+9.87968e-01]@[0.00000](0) ... (2138)
Sep 13, 2024 10:48:37 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 6702, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:48:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    11929 loops (490/sec), 168514 sampling steps, 11877 aborted
    loop condition 0.98260, exit probability 0.98235 in initial state
    24702 explored states, 8840 states in BSSCs (8840 absorbing)
    2 component updates, 28692299 transient state updates
    Bounds: [0.0000+9.82413e-01]@[0.00000](0), [0.0000+9.82535e-01]@[0.00000](0), [6.1035e-05+9.82413e-01]@[0.00000](0), [0.0000+9.82413e-01]@[0.00000](0), [0.0000+9.82413e-01]@[0.00000](0), [0.0000+9.82413e-01]@[0.00000](0), [0.0000+9.82413e-01]@[0.00000](0), [6.1035e-05+9.82413e-01]@[0.00000](0), [6.1035e-05+9.82413e-01]@[0.00000](0), [0.0000+9.82413e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:48:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    12406 loops (94/sec), 175074 sampling steps, 12354 aborted
    loop condition 0.96215, exit probability 0.96190 in initial state
    25180 explored states, 8840 states in BSSCs (8840 absorbing)
    2 component updates, 52536496 transient state updates
    Bounds: [0.0000+9.61903e-01]@[0.00000](0), [0.0000+9.62025e-01]@[0.00000](0), [6.1035e-05+9.62025e-01]@[0.00000](0), [0.0000+9.61903e-01]@[0.00000](0), [0.0000+9.61903e-01]@[0.00000](0), [0.0000+9.61903e-01]@[0.00000](0), [6.1035e-05+9.61903e-01]@[0.00000](0), [6.1035e-05+9.61903e-01]@[0.00000](0), [6.1035e-05+9.61903e-01]@[0.00000](0), [0.0000+9.62025e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:48:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    12930 loops (104/sec), 182312 sampling steps, 12878 aborted
    loop condition 0.94261, exit probability 0.94237 in initial state
    25697 explored states, 8840 states in BSSCs (8840 absorbing)
    2 component updates, 76034953 transient state updates
    Bounds: [0.0000+9.42366e-01]@[0.00000](0), [0.0000+9.42488e-01]@[0.00000](0), [6.1035e-05+9.42488e-01]@[0.00000](0), [0.0000+9.42366e-01]@[0.00000](0), [0.0000+9.42366e-01]@[0.00000](0), [0.0000+9.42366e-01]@[0.00000](0), [6.1035e-05+9.42366e-01]@[0.00000](0), [6.1035e-05+9.42488e-01]@[0.00000](0), [6.1035e-05+9.42366e-01]@[0.00000](0), [0.0000+9.42488e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:48:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    13483 loops (109/sec), 189990 sampling steps, 13431 aborted
    loop condition 0.92502, exit probability 0.92478 in initial state
    26230 explored states, 8840 states in BSSCs (8840 absorbing)
    2 component updates, 98685434 transient state updates
    Bounds: [0.0000+9.24778e-01]@[0.00000](0), [0.0000+9.24900e-01]@[0.00000](0), [6.1035e-05+9.24900e-01]@[0.00000](0), [0.0000+9.24900e-01]@[0.00000](0), [0.0000+9.24778e-01]@[0.00000](0), [0.0000+9.25022e-01]@[0.00000](0), [6.1035e-05+9.24900e-01]@[0.00000](0), [6.1035e-05+9.25022e-01]@[0.00000](0), [6.1035e-05+9.24778e-01]@[0.00000](0), [0.0000+9.25022e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:49:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    14027 loops (108/sec), 197530 sampling steps, 13975 aborted
    loop condition 0.90622, exit probability 0.90603 in initial state
    26729 explored states, 8840 states in BSSCs (8840 absorbing)
    2 component updates, 121856098 transient state updates
    Bounds: [0.0000+9.06034e-01]@[0.00000](0), [0.0000+9.06156e-01]@[0.00000](0), [6.1035e-05+9.06156e-01]@[0.00000](0), [0.0000+9.06156e-01]@[0.00000](0), [6.1035e-05+9.06034e-01]@[0.00000](0), [0.0000+9.06279e-01]@[0.00000](0), [6.1035e-05+9.06156e-01]@[0.00000](0), [6.1035e-05+9.06279e-01]@[0.00000](0), [6.1035e-05+9.06034e-01]@[0.00000](0), [0.0000+9.06279e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:49:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    14565 loops (107/sec), 204976 sampling steps, 14513 aborted
    loop condition 0.88809, exit probability 0.88784 in initial state
    27189 explored states, 8840 states in BSSCs (8840 absorbing)
    2 component updates, 144054771 transient state updates
    Bounds: [0.0000+8.87843e-01]@[0.00000](0), [0.0000+8.87965e-01]@[0.00000](0), [6.1035e-05+8.87965e-01]@[0.00000](0), [0.0000+8.87965e-01]@[0.00000](0), [6.1035e-05+8.87843e-01]@[0.00000](0), [0.0000+8.88209e-01]@[0.00000](0), [6.1035e-05+8.87965e-01]@[0.00000](0), [6.1035e-05+8.88087e-01]@[0.00000](0), [6.1035e-05+8.87843e-01]@[0.00000](0), [6.1035e-05+8.88087e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:49:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    15133 loops (113/sec), 212888 sampling steps, 15080 aborted
    loop condition 0.87038, exit probability 0.87014 in initial state
    27714 explored states, 8840 states in BSSCs (8840 absorbing)
    2 component updates, 166510277 transient state updates
    Bounds: [0.0000+8.70136e-01]@[0.00000](0), [0.0000+8.70380e-01]@[0.00000](0), [6.1035e-05+8.70258e-01]@[0.00000](0), [0.0000+8.70258e-01]@[0.00000](0), [6.1035e-05+8.70136e-01]@[0.00000](0), [0.0000+8.70502e-01]@[0.00000](0), [6.1035e-05+8.70258e-01]@[0.00000](0), [6.1035e-05+8.70380e-01]@[0.00000](0), [6.1035e-05+8.70136e-01]@[0.00000](0), [6.1035e-05+8.70380e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:49:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    15722 loops (117/sec), 221076 sampling steps, 15667 aborted
    loop condition 0.85188, exit probability 0.85157 in initial state
    28165 explored states, 8840 states in BSSCs (8840 absorbing)
    2 component updates, 189830876 transient state updates
    Bounds: [0.0000+8.51574e-01]@[0.00000](0), [0.0000+8.51940e-01]@[0.00000](0), [6.1035e-05+8.51696e-01]@[0.00000](0), [0.0000+8.51696e-01]@[0.00000](0), [6.1035e-05+8.51574e-01]@[0.00000](0), [0.0000+8.52062e-01]@[0.00000](0), [6.1035e-05+8.51696e-01]@[0.00000](0), [6.1035e-05+8.51818e-01]@[0.00000](0), [6.1035e-05+8.51576e-01]@[0.00000](0), [6.1035e-05+8.52062e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:49:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    16381 loops (131/sec), 230321 sampling steps, 16326 aborted
    loop condition 0.83661, exit probability 0.83630 in initial state
    28754 explored states, 8840 states in BSSCs (8840 absorbing)
    2 component updates, 211365967 transient state updates
    Bounds: [0.0000+8.36303e-01]@[0.00000](0), [0.0000+8.36669e-01]@[0.00000](0), [6.1035e-05+8.36425e-01]@[0.00000](0), [0.0000+8.36425e-01]@[0.00000](0), [6.1035e-05+8.36303e-01]@[0.00000](0), [0.0000+8.36791e-01]@[0.00000](0), [6.1035e-05+8.36425e-01]@[0.00000](0), [6.1035e-05+8.36669e-01]@[0.00000](0), [6.1035e-05+8.36305e-01]@[0.00000](0), [6.1035e-05+8.36791e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:49:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    17010 loops (125/sec), 239051 sampling steps, 16954 aborted
    loop condition 0.81982, exit probability 0.81952 in initial state
    29186 explored states, 8840 states in BSSCs (8840 absorbing)
    3 component updates, 233103790 transient state updates
    Bounds: [0.0000+8.19515e-01]@[0.00000](0), [0.0000+8.20003e-01]@[0.00000](0), [6.1035e-05+8.19637e-01]@[0.00000](0), [0.0000+8.19759e-01]@[0.00000](0), [6.1035e-05+8.19515e-01]@[0.00000](0), [0.0000+8.20003e-01]@[0.00000](0), [6.1035e-05+8.19637e-01]@[0.00000](0), [6.1035e-05+8.19881e-01]@[0.00000](0), [6.1035e-05+8.19517e-01]@[0.00000](0), [6.1035e-05+8.20003e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:49:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    17621 loops (122/sec), 247558 sampling steps, 17565 aborted
    loop condition 0.80498, exit probability 0.80467 in initial state
    29646 explored states, 8840 states in BSSCs (8840 absorbing)
    3 component updates, 253508270 transient state updates
    Bounds: [0.0000+8.04794e-01]@[0.00000](0), [0.0000+8.05160e-01]@[0.00000](0), [6.1035e-05+8.04794e-01]@[0.00000](0), [6.1035e-05+8.04916e-01]@[0.00000](0), [6.1035e-05+8.04672e-01]@[0.00000](0), [0.0000+8.05160e-01]@[0.00000](0), [6.1035e-05+8.04794e-01]@[0.00000](0), [6.1035e-05+8.05038e-01]@[0.00000](0), [6.1035e-05+8.04674e-01]@[0.00000](0), [6.1035e-05+8.05160e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:49:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    18325 loops (140/sec), 257448 sampling steps, 18268 aborted
    loop condition 0.79246, exit probability 0.79209 in initial state
    30136 explored states, 8840 states in BSSCs (8840 absorbing)
    4 component updates, 272869557 transient state updates
    Bounds: [0.0000+7.92211e-01]@[0.00000](0), [0.0000+7.92578e-01]@[0.00000](0), [6.1035e-05+7.92211e-01]@[0.00000](0), [6.1035e-05+7.92456e-01]@[0.00000](0), [6.1035e-05+7.92089e-01]@[0.00000](0), [0.0000+7.92578e-01]@[0.00000](0), [6.1035e-05+7.92211e-01]@[0.00000](0), [6.1035e-05+7.92456e-01]@[0.00000](0), [6.1035e-05+7.92091e-01]@[0.00000](0), [6.1035e-05+7.92700e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:49:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    19075 loops (149/sec), 268027 sampling steps, 19017 aborted
    loop condition 0.77987, exit probability 0.77950 in initial state
    30661 explored states, 8840 states in BSSCs (8840 absorbing)
    4 component updates, 292495913 transient state updates
    Bounds: [0.0000+7.79626e-01]@[0.00000](0), [0.0000+7.79992e-01]@[0.00000](0), [6.1035e-05+7.79626e-01]@[0.00000](0), [6.1035e-05+7.79870e-01]@[0.00000](0), [6.1035e-05+7.79504e-01]@[0.00000](0), [0.0000+7.79992e-01]@[0.00000](0), [6.1035e-05+7.79626e-01]@[0.00000](0), [6.1035e-05+7.79870e-01]@[0.00000](0), [6.1035e-05+7.79506e-01]@[0.00000](0), [6.1035e-05+7.80114e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:49:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    19805 loops (145/sec), 278309 sampling steps, 19747 aborted
    loop condition 0.76875, exit probability 0.76838 in initial state
    31097 explored states, 8840 states in BSSCs (8840 absorbing)
    4 component updates, 311116294 transient state updates
    Bounds: [0.0000+7.68504e-01]@[0.00000](0), [0.0000+7.68870e-01]@[0.00000](0), [6.1035e-05+7.68504e-01]@[0.00000](0), [6.1035e-05+7.68748e-01]@[0.00000](0), [6.1035e-05+7.68382e-01]@[0.00000](0), [0.0000+7.68870e-01]@[0.00000](0), [6.1035e-05+7.68504e-01]@[0.00000](0), [6.1035e-05+7.68748e-01]@[0.00000](0), [6.1035e-05+7.68384e-01]@[0.00000](0), [6.1035e-05+7.68992e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:49:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    20670 loops (172/sec), 290454 sampling steps, 20611 aborted
    loop condition 0.75776, exit probability 0.75739 in initial state
    31571 explored states, 8840 states in BSSCs (8840 absorbing)
    4 component updates, 329797972 transient state updates
    Bounds: [6.1035e-05+7.57512e-01]@[0.00000](0), [0.0000+7.57878e-01]@[0.00000](0), [6.1035e-05+7.57512e-01]@[0.00000](0), [6.1035e-05+7.57756e-01]@[0.00000](0), [6.1035e-05+7.57512e-01]@[0.00000](0), [0.0000+7.57878e-01]@[0.00000](0), [6.1035e-05+7.57512e-01]@[0.00000](0), [6.1035e-05+7.58000e-01]@[0.00000](0), [6.1035e-05+7.57392e-01]@[0.00000](0), [6.1035e-05+7.58000e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:49:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    21455 loops (156/sec), 301551 sampling steps, 21396 aborted
    loop condition 0.74749, exit probability 0.74713 in initial state
    32027 explored states, 8840 states in BSSCs (8840 absorbing)
    4 component updates, 347569414 transient state updates
    Bounds: [6.1035e-05+7.47248e-01]@[0.00000](0), [0.0000+7.47614e-01]@[0.00000](0), [6.1035e-05+7.47248e-01]@[0.00000](0), [6.1035e-05+7.47492e-01]@[0.00000](0), [6.1035e-05+7.47248e-01]@[0.00000](0), [0.0000+7.47614e-01]@[0.00000](0), [6.1035e-05+7.47248e-01]@[0.00000](0), [6.1035e-05+7.47736e-01]@[0.00000](0), [6.1035e-05+7.47127e-01]@[0.00000](0), [6.1035e-05+7.47736e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:50:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    22342 loops (177/sec), 314108 sampling steps, 22283 aborted
    loop condition 0.73954, exit probability 0.73917 in initial state
    32489 explored states, 8840 states in BSSCs (8840 absorbing)
    4 component updates, 364669941 transient state updates
    Bounds: [6.1035e-05+7.39296e-01]@[0.00000](0), [0.0000+7.39662e-01]@[0.00000](0), [6.1035e-05+7.39296e-01]@[0.00000](0), [6.1035e-05+7.39540e-01]@[0.00000](0), [6.1035e-05+7.39296e-01]@[0.00000](0), [0.0000+7.39662e-01]@[0.00000](0), [6.1035e-05+7.39296e-01]@[0.00000](0), [6.1035e-05+7.39784e-01]@[0.00000](0), [6.1035e-05+7.39176e-01]@[0.00000](0), [6.1035e-05+7.39784e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:50:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    22621 loops (54/sec), 318057 sampling steps, 22562 aborted
    loop condition 0.73697, exit probability 0.73660 in initial state
    32634 explored states, 8840 states in BSSCs (8840 absorbing)
    4 component updates, 370390530 transient state updates
    Bounds: [6.1035e-05+7.36724e-01]@[0.00000](0), [0.0000+7.37090e-01]@[0.00000](0), [6.1035e-05+7.36724e-01]@[0.00000](0), [6.1035e-05+7.36968e-01]@[0.00000](0), [6.1035e-05+7.36724e-01]@[0.00000](0), [0.0000+7.37212e-01]@[0.00000](0), [6.1035e-05+7.36724e-01]@[0.00000](0), [6.1035e-05+7.37212e-01]@[0.00000](0), [6.1035e-05+7.36604e-01]@[0.00000](0), [6.1035e-05+7.37212e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:50:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    23326 loops (140/sec), 327976 sampling steps, 23267 aborted
    loop condition 0.73086, exit probability 0.73049 in initial state
    32923 explored states, 8840 states in BSSCs (8840 absorbing)
    4 component updates, 383332002 transient state updates
    Bounds: [6.1035e-05+7.30736e-01]@[0.00000](0), [0.0000+7.30980e-01]@[0.00000](0), [6.1035e-05+7.30614e-01]@[0.00000](0), [6.1035e-05+7.30858e-01]@[0.00000](0), [6.1035e-05+7.30614e-01]@[0.00000](0), [0.0000+7.31102e-01]@[0.00000](0), [6.1035e-05+7.30614e-01]@[0.00000](0), [6.1035e-05+7.31102e-01]@[0.00000](0), [6.1035e-05+7.30493e-01]@[0.00000](0), [6.1035e-05+7.31102e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:50:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    24174 loops (168/sec), 340007 sampling steps, 24115 aborted
    loop condition 0.72273, exit probability 0.72230 in initial state
    33312 explored states, 8840 states in BSSCs (8840 absorbing)
    4 component updates, 400051931 transient state updates
    Bounds: [6.1035e-05+7.22544e-01]@[0.00000](0), [0.0000+7.22788e-01]@[0.00000](0), [6.1035e-05+7.22422e-01]@[0.00000](0), [6.1035e-05+7.22666e-01]@[0.00000](0), [6.1035e-05+7.22422e-01]@[0.00000](0), [0.0000+7.22910e-01]@[0.00000](0), [6.1035e-05+7.22422e-01]@[0.00000](0), [6.1035e-05+7.23032e-01]@[0.00000](0), [6.1035e-05+7.22301e-01]@[0.00000](0), [6.1035e-05+7.22910e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:50:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    25035 loops (172/sec), 352131 sampling steps, 24975 aborted
    loop condition 0.71515, exit probability 0.71472 in initial state
    33625 explored states, 8840 states in BSSCs (8840 absorbing)
    4 component updates, 415605934 transient state updates
    Bounds: [6.1035e-05+7.14966e-01]@[0.00000](0), [0.0000+7.15210e-01]@[0.00000](0), [6.1035e-05+7.14844e-01]@[0.00000](0), [6.1035e-05+7.15088e-01]@[0.00000](0), [6.1035e-05+7.14844e-01]@[0.00000](0), [0.0000+7.15332e-01]@[0.00000](0), [6.1035e-05+7.14844e-01]@[0.00000](0), [6.1035e-05+7.15576e-01]@[0.00000](0), [6.1035e-05+7.14723e-01]@[0.00000](0), [6.1035e-05+7.15332e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:50:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    25902 loops (173/sec), 364452 sampling steps, 25841 aborted
    loop condition 0.70915, exit probability 0.70872 in initial state
    33999 explored states, 8840 states in BSSCs (8840 absorbing)
    5 component updates, 431583000 transient state updates
    Bounds: [6.1035e-05+7.08966e-01]@[0.00000](0), [0.0000+7.09210e-01]@[0.00000](0), [6.1035e-05+7.08845e-01]@[0.00000](0), [6.1035e-05+7.09088e-01]@[0.00000](0), [6.1035e-05+7.08844e-01]@[0.00000](0), [0.0000+7.09332e-01]@[0.00000](0), [6.1035e-05+7.08844e-01]@[0.00000](0), [6.1035e-05+7.09576e-01]@[0.00000](0), [6.1035e-05+7.08724e-01]@[0.00000](0), [6.1035e-05+7.09332e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:50:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    26933 loops (206/sec), 378994 sampling steps, 26870 aborted
    loop condition 0.70401, exit probability 0.70359 in initial state
    34335 explored states, 8840 states in BSSCs (8840 absorbing)
    5 component updates, 446386514 transient state updates
    Bounds: [6.1035e-05+7.03831e-01]@[0.00000](0), [0.0000+7.04076e-01]@[0.00000](0), [6.1035e-05+7.03710e-01]@[0.00000](0), [6.1035e-05+7.03954e-01]@[0.00000](0), [6.1035e-05+7.03709e-01]@[0.00000](0), [0.0000+7.04198e-01]@[0.00000](0), [6.1035e-05+7.03709e-01]@[0.00000](0), [6.1035e-05+7.04442e-01]@[0.00000](0), [6.1035e-05+7.03589e-01]@[0.00000](0), [6.1035e-05+7.04198e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:50:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    27975 loops (208/sec), 393717 sampling steps, 27910 aborted
    loop condition 0.69851, exit probability 0.69808 in initial state
    34625 explored states, 8840 states in BSSCs (8840 absorbing)
    6 component updates, 462108133 transient state updates
    Bounds: [6.1035e-05+6.98328e-01]@[0.00000](0), [0.0000+6.98572e-01]@[0.00000](0), [6.1035e-05+6.98207e-01]@[0.00000](0), [6.1035e-05+6.98450e-01]@[0.00000](0), [6.1035e-05+6.98206e-01]@[0.00000](0), [0.0000+6.98694e-01]@[0.00000](0), [6.1035e-05+6.98206e-01]@[0.00000](0), [6.1035e-05+6.98938e-01]@[0.00000](0), [6.1035e-05+6.98086e-01]@[0.00000](0), [6.1035e-05+6.98694e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:50:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    29044 loops (213/sec), 408836 sampling steps, 28979 aborted
    loop condition 0.69477, exit probability 0.69428 in initial state
    34941 explored states, 8840 states in BSSCs (8840 absorbing)
    6 component updates, 477255852 transient state updates
    Bounds: [6.1035e-05+6.94524e-01]@[0.00000](0), [0.0000+6.94768e-01]@[0.00000](0), [6.1035e-05+6.94403e-01]@[0.00000](0), [6.1035e-05+6.94646e-01]@[0.00000](0), [6.1035e-05+6.94524e-01]@[0.00000](0), [0.0000+6.94890e-01]@[0.00000](0), [6.1035e-05+6.94402e-01]@[0.00000](0), [6.1035e-05+6.95134e-01]@[0.00000](0), [6.1035e-05+6.94281e-01]@[0.00000](0), [6.1035e-05+6.94890e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:50:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    30174 loops (226/sec), 424904 sampling steps, 30108 aborted
    loop condition 0.69193, exit probability 0.69144 in initial state
    35303 explored states, 8840 states in BSSCs (8840 absorbing)
    6 component updates, 492747932 transient state updates
    Bounds: [6.1035e-05+6.91686e-01]@[0.00000](0), [0.0000+6.91931e-01]@[0.00000](0), [6.1035e-05+6.91565e-01]@[0.00000](0), [6.1035e-05+6.91809e-01]@[0.00000](0), [6.1035e-05+6.91686e-01]@[0.00000](0), [0.0000+6.92053e-01]@[0.00000](0), [6.1035e-05+6.91564e-01]@[0.00000](0), [6.1035e-05+6.92297e-01]@[0.00000](0), [6.1035e-05+6.91444e-01]@[0.00000](0), [6.1035e-05+6.92053e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:50:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    31116 loops (187/sec), 438241 sampling steps, 31049 aborted
    loop condition 0.69027, exit probability 0.68978 in initial state
    35522 explored states, 8840 states in BSSCs (8840 absorbing)
    7 component updates, 504311435 transient state updates
    Bounds: [6.1035e-05+6.90023e-01]@[0.00000](0), [0.0000+6.90267e-01]@[0.00000](0), [6.1035e-05+6.89904e-01]@[0.00000](0), [6.1035e-05+6.90145e-01]@[0.00000](0), [6.1035e-05+6.90023e-01]@[0.00000](0), [0.0000+6.90389e-01]@[0.00000](0), [6.1035e-05+6.89901e-01]@[0.00000](0), [6.1035e-05+6.90634e-01]@[0.00000](0), [6.1035e-05+6.89781e-01]@[0.00000](0), [6.1035e-05+6.90389e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:50:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    32115 loops (199/sec), 452458 sampling steps, 32048 aborted
    loop condition 0.68805, exit probability 0.68756 in initial state
    35769 explored states, 8840 states in BSSCs (8840 absorbing)
    7 component updates, 517596701 transient state updates
    Bounds: [6.1035e-05+6.87805e-01]@[0.00000](0), [0.0000+6.88049e-01]@[0.00000](0), [6.1035e-05+6.87686e-01]@[0.00000](0), [6.1035e-05+6.87927e-01]@[0.00000](0), [6.1989e-05+6.87805e-01]@[0.00000](0), [0.0000+6.88171e-01]@[0.00000](0), [6.1035e-05+6.87683e-01]@[0.00000](0), [6.1035e-05+6.88415e-01]@[0.00000](0), [6.1035e-05+6.87563e-01]@[0.00000](0), [6.1035e-05+6.88171e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:51:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    33176 loops (212/sec), 467504 sampling steps, 33109 aborted
    loop condition 0.68645, exit probability 0.68596 in initial state
    36006 explored states, 8840 states in BSSCs (8840 absorbing)
    7 component updates, 530166814 transient state updates
    Bounds: [6.1035e-05+6.86203e-01]@[0.00000](0), [0.0000+6.86447e-01]@[0.00000](0), [6.1035e-05+6.86084e-01]@[0.00000](0), [6.1035e-05+6.86325e-01]@[0.00000](0), [6.1989e-05+6.86203e-01]@[0.00000](0), [0.0000+6.86569e-01]@[0.00000](0), [6.1035e-05+6.86081e-01]@[0.00000](0), [6.1035e-05+6.86813e-01]@[0.00000](0), [6.1035e-05+6.85961e-01]@[0.00000](0), [6.1035e-05+6.86569e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:51:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    34254 loops (215/sec), 482817 sampling steps, 34187 aborted
    loop condition 0.68460, exit probability 0.68411 in initial state
    36221 explored states, 8840 states in BSSCs (8840 absorbing)
    7 component updates, 543486946 transient state updates
    Bounds: [6.1035e-05+6.84354e-01]@[0.00000](0), [0.0000+6.84598e-01]@[0.00000](0), [6.1035e-05+6.84234e-01]@[0.00000](0), [6.1035e-05+6.84476e-01]@[0.00000](0), [6.1989e-05+6.84354e-01]@[0.00000](0), [0.0000+6.84720e-01]@[0.00000](0), [6.1035e-05+6.84232e-01]@[0.00000](0), [6.1035e-05+6.84964e-01]@[0.00000](0), [6.1035e-05+6.84111e-01]@[0.00000](0), [6.1035e-05+6.84720e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:51:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    35288 loops (206/sec), 497525 sampling steps, 35221 aborted
    loop condition 0.68359, exit probability 0.68311 in initial state
    36463 explored states, 8840 states in BSSCs (8840 absorbing)
    7 component updates, 556436586 transient state updates
    Bounds: [6.1035e-05+6.83350e-01]@[0.00000](0), [0.0000+6.83594e-01]@[0.00000](0), [6.1035e-05+6.83231e-01]@[0.00000](0), [6.1035e-05+6.83472e-01]@[0.00000](0), [6.1989e-05+6.83350e-01]@[0.00000](0), [0.0000+6.83717e-01]@[0.00000](0), [6.1035e-05+6.83228e-01]@[0.00000](0), [6.1035e-05+6.83961e-01]@[0.00000](0), [6.1035e-05+6.83108e-01]@[0.00000](0), [6.1035e-05+6.83717e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:51:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    36358 loops (213/sec), 512736 sampling steps, 36291 aborted
    loop condition 0.68248, exit probability 0.68199 in initial state
    36644 explored states, 8840 states in BSSCs (8840 absorbing)
    7 component updates, 569333272 transient state updates
    Bounds: [6.1035e-05+6.82233e-01]@[0.00000](0), [0.0000+6.82479e-01]@[0.00000](0), [6.1035e-05+6.82113e-01]@[0.00000](0), [6.1035e-05+6.82355e-01]@[0.00000](0), [6.1989e-05+6.82233e-01]@[0.00000](0), [0.0000+6.82599e-01]@[0.00000](0), [6.1035e-05+6.82111e-01]@[0.00000](0), [6.1035e-05+6.82843e-01]@[0.00000](0), [6.1035e-05+6.81992e-01]@[0.00000](0), [6.1035e-05+6.82599e-01]@[0.00000](0) ... (8840)
Sep 13, 2024 10:51:16 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 6620, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max