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/crowds/crowds.prism --const TotalRuns=4,CrowdSize=15 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:46:57 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 5, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:46:57 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 88, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:46:59 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 350, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8631 loops (1726/sec), 473189 sampling steps, 7192 aborted
loop condition 0.22958, exit probability 0.22924 in initial state
22683 explored states, 443 states in BSSCs (443 absorbing)
366 component updates, 43000593 transient state updates
Bounds: [0.018781+2.31328e-01]@[0.00000](11), [0.12688+2.31409e-01]@[0.00000](66), [0.017526+2.29740e-01]@[0.00000](10), [0.19724+2.30233e-01]@[0.00000](95), [0.017600+2.31984e-01]@[0.00000](19), [0.00095680+2.29635e-01]@[0.00000](0), [0.029744+2.29512e-01]@[0.00000](7), [0.00068979+2.30095e-01]@[0.00000](2), [0.017666+2.30290e-01]@[0.00000](13), [0.0078838+2.29820e-01]@[0.00000](3) ... (443)
Sep 13, 2024 10:47:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10873 loops (448/sec), 603882 sampling steps, 9204 aborted
loop condition 0.16144, exit probability 0.16093 in initial state
27753 explored states, 443 states in BSSCs (443 absorbing)
427 component updates, 90963622 transient state updates
Bounds: [0.019035+1.63235e-01]@[0.00000](12), [0.12688+1.63211e-01]@[0.00000](69), [0.018786+1.61732e-01]@[0.00000](11), [0.19724+1.61752e-01]@[0.00000](98), [0.018865+1.63710e-01]@[0.00000](20), [0.0011055+1.61469e-01]@[0.00000](0), [0.030327+1.61478e-01]@[0.00000](7), [0.00083183+1.61645e-01]@[0.00000](2), [0.018959+1.62029e-01]@[0.00000](13), [0.0086061+1.61476e-01]@[0.00000](3) ... (443)
Sep 13, 2024 10:47:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13373 loops (500/sec), 751313 sampling steps, 11513 aborted
loop condition 0.12534, exit probability 0.12452 in initial state
32643 explored states, 443 states in BSSCs (443 absorbing)
498 component updates, 139154007 transient state updates
Bounds: [0.019123+1.26475e-01]@[0.00000](15), [0.12688+1.26587e-01]@[0.00000](71), [0.019081+1.25304e-01]@[0.00000](13), [0.19724+1.25659e-01]@[0.00000](102), [0.019096+1.27596e-01]@[0.00000](22), [0.0012036+1.25133e-01]@[0.00000](0), [0.030459+1.25203e-01]@[0.00000](7), [0.00096641+1.25410e-01]@[0.00000](2), [0.019082+1.25678e-01]@[0.00000](13), [0.0089313+1.25009e-01]@[0.00000](4) ... (443)
Sep 13, 2024 10:47:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16393 loops (603/sec), 930661 sampling steps, 14275 aborted
loop condition 0.10334, exit probability 0.10239 in initial state
38065 explored states, 443 states in BSSCs (443 absorbing)
591 component updates, 187516392 transient state updates
Bounds: [0.019140+1.04250e-01]@[0.00000](17), [0.12688+1.04367e-01]@[0.00000](74), [0.019133+1.03220e-01]@[0.00000](15), [0.19724+1.03771e-01]@[0.00000](110), [0.019140+1.05417e-01]@[0.00000](23), [0.0012561+1.03178e-01]@[0.00000](0), [0.030564+1.03250e-01]@[0.00000](8), [0.0010546+1.03370e-01]@[0.00000](4), [0.019141+1.03392e-01]@[0.00000](17), [0.0091495+1.02992e-01]@[0.00000](5) ... (443)
Sep 13, 2024 10:47:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19917 loops (699/sec), 1139932 sampling steps, 17531 aborted
loop condition 0.089061, exit probability 0.088030 in initial state
42619 explored states, 443 states in BSSCs (443 absorbing)
724 component updates, 236177698 transient state updates
Bounds: [0.019143+8.98672e-02]@[0.00000](18), [0.12688+9.00995e-02]@[0.00000](80), [0.019143+8.90617e-02]@[0.00000](15), [0.19724+8.92572e-02]@[0.00000](116), [0.019145+9.12996e-02]@[0.00000](25), [0.0013000+8.89906e-02]@[0.00000](0), [0.030596+8.89997e-02]@[0.00000](14), [0.0011227+8.90859e-02]@[0.00000](4), [0.019145+8.91418e-02]@[0.00000](19), [0.0091903+8.87648e-02]@[0.00000](6) ... (443)
Sep 13, 2024 10:47:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24022 loops (809/sec), 1381566 sampling steps, 21336 aborted
loop condition 0.080467, exit probability 0.079429 in initial state
47458 explored states, 443 states in BSSCs (443 absorbing)
867 component updates, 283995679 transient state updates
Bounds: [0.019144+8.12863e-02]@[0.00000](21), [0.12688+8.11216e-02]@[0.00000](91), [0.019145+8.05750e-02]@[0.00000](19), [0.19724+8.05529e-02]@[0.00000](122), [0.019145+8.18194e-02]@[0.00000](28), [0.0013234+8.03534e-02]@[0.00000](0), [0.030601+8.04288e-02]@[0.00000](19), [0.0011498+8.05623e-02]@[0.00000](4), [0.019145+8.04472e-02]@[0.00000](23), [0.0092178+8.01804e-02]@[0.00000](9) ... (443)
Sep 13, 2024 10:47:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28143 loops (820/sec), 1624020 sampling steps, 25180 aborted
loop condition 0.073865, exit probability 0.072818 in initial state
51433 explored states, 443 states in BSSCs (443 absorbing)
1011 component updates, 330561340 transient state updates
Bounds: [0.019144+7.47480e-02]@[0.00000](22), [0.12688+7.43682e-02]@[0.00000](100), [0.019145+7.39818e-02]@[0.00000](21), [0.19724+7.39081e-02]@[0.00000](134), [0.019145+7.49551e-02]@[0.00000](29), [0.0013756+7.37470e-02]@[0.00000](0), [0.030605+7.38241e-02]@[0.00000](23), [0.0011742+7.39222e-02]@[0.00000](4), [0.019146+7.38342e-02]@[0.00000](24), [0.0092256+7.35859e-02]@[0.00000](10) ... (443)
Sep 13, 2024 10:47:34 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 940, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29490 loops (269/sec), 1702334 sampling steps, 26434 aborted
loop condition 0.071630, exit probability 0.070574 in initial state
52771 explored states, 1383 states in BSSCs (1383 absorbing)
1054 component updates, 358667661 transient state updates
Bounds: [0.019144+7.24769e-02]@[0.00000](22), [0.12688+7.20738e-02]@[0.00000](102), [0.019145+7.17486e-02]@[0.00000](21), [0.19724+7.16783e-02]@[0.00000](135), [0.019145+7.26430e-02]@[0.00000](32), [0.0013941+7.14692e-02]@[0.00000](0), [0.030606+7.16033e-02]@[0.00000](24), [0.0011786+7.17178e-02]@[0.00000](4), [0.019146+7.15810e-02]@[0.00000](24), [0.0092271+7.13600e-02]@[0.00000](10) ... (1383)
Sep 13, 2024 10:47:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30003 loops (102/sec), 1730936 sampling steps, 26929 aborted
loop condition 0.069838, exit probability 0.068782 in initial state
53299 explored states, 1383 states in BSSCs (1383 absorbing)
1058 component updates, 396081439 transient state updates
Bounds: [0.019144+7.06879e-02]@[0.00000](22), [0.12688+7.02874e-02]@[0.00000](102), [0.019145+6.99804e-02]@[0.00000](21), [0.19724+6.98884e-02]@[0.00000](135), [0.019146+7.08376e-02]@[0.00000](33), [0.0014152+6.96640e-02]@[0.00000](0), [0.030606+6.98362e-02]@[0.00000](25), [0.0011925+6.99502e-02]@[0.00000](4), [0.019146+6.98229e-02]@[0.00000](24), [0.0092282+6.95896e-02]@[0.00000](10) ... (1383)
Sep 13, 2024 10:47:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30472 loops (93/sec), 1757684 sampling steps, 27382 aborted
loop condition 0.067841, exit probability 0.066814 in initial state
53675 explored states, 1383 states in BSSCs (1383 absorbing)
1060 component updates, 431334316 transient state updates
Bounds: [0.019144+6.87553e-02]@[0.00000](22), [0.12688+6.83173e-02]@[0.00000](102), [0.019145+6.80292e-02]@[0.00000](21), [0.19724+6.79051e-02]@[0.00000](135), [0.019146+6.88691e-02]@[0.00000](33), [0.0014259+6.76851e-02]@[0.00000](0), [0.030606+6.78934e-02]@[0.00000](25), [0.0012030+6.79983e-02]@[0.00000](4), [0.019146+6.78743e-02]@[0.00000](24), [0.0092323+6.76190e-02]@[0.00000](11) ... (1383)
Sep 13, 2024 10:47:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30948 loops (94/sec), 1785653 sampling steps, 27837 aborted
loop condition 0.065873, exit probability 0.064858 in initial state
54125 explored states, 1383 states in BSSCs (1383 absorbing)
1067 component updates, 467779704 transient state updates
Bounds: [0.019144+6.68314e-02]@[0.00000](22), [0.12688+6.64112e-02]@[0.00000](102), [0.019145+6.60387e-02]@[0.00000](21), [0.19724+6.59581e-02]@[0.00000](136), [0.019146+6.69294e-02]@[0.00000](33), [0.0014291+6.57565e-02]@[0.00000](0), [0.030606+6.59755e-02]@[0.00000](25), [0.0012086+6.60598e-02]@[0.00000](4), [0.019146+6.59764e-02]@[0.00000](24), [0.0092333+6.56889e-02]@[0.00000](11) ... (1383)
Sep 13, 2024 10:47:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31399 loops (89/sec), 1812179 sampling steps, 28268 aborted
loop condition 0.063445, exit probability 0.062443 in initial state
54625 explored states, 1383 states in BSSCs (1383 absorbing)
1072 component updates, 502580728 transient state updates
Bounds: [0.019144+6.44821e-02]@[0.00000](22), [0.12688+6.40306e-02]@[0.00000](102), [0.019145+6.36523e-02]@[0.00000](21), [0.19724+6.35511e-02]@[0.00000](137), [0.019146+6.45459e-02]@[0.00000](33), [0.0014344+6.33472e-02]@[0.00000](0), [0.030606+6.36367e-02]@[0.00000](25), [0.0012158+6.36597e-02]@[0.00000](4), [0.019146+6.36283e-02]@[0.00000](24), [0.0092337+6.33401e-02]@[0.00000](12) ... (1383)
Sep 13, 2024 10:48:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31836 loops (87/sec), 1838427 sampling steps, 28685 aborted
loop condition 0.061224, exit probability 0.060237 in initial state
54977 explored states, 1383 states in BSSCs (1383 absorbing)
1080 component updates, 536970087 transient state updates
Bounds: [0.019144+6.22481e-02]@[0.00000](22), [0.12688+6.18507e-02]@[0.00000](103), [0.019145+6.14761e-02]@[0.00000](21), [0.19724+6.13553e-02]@[0.00000](138), [0.019146+6.23586e-02]@[0.00000](33), [0.0014393+6.11878e-02]@[0.00000](0), [0.030606+6.14896e-02]@[0.00000](25), [0.0012273+6.14840e-02]@[0.00000](4), [0.019146+6.14913e-02]@[0.00000](24), [0.0092344+6.11423e-02]@[0.00000](12) ... (1383)
Sep 13, 2024 10:48:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32255 loops (83/sec), 1862997 sampling steps, 29076 aborted
loop condition 0.058970, exit probability 0.057993 in initial state
55448 explored states, 1383 states in BSSCs (1383 absorbing)
1089 component updates, 568616315 transient state updates
Bounds: [0.019144+6.00594e-02]@[0.00000](22), [0.12688+5.96524e-02]@[0.00000](103), [0.019146+5.92800e-02]@[0.00000](21), [0.19724+5.91763e-02]@[0.00000](140), [0.019146+6.01489e-02]@[0.00000](33), [0.0014453+5.89577e-02]@[0.00000](0), [0.030606+5.92896e-02]@[0.00000](25), [0.0012414+5.92599e-02]@[0.00000](4), [0.019146+5.92644e-02]@[0.00000](24), [0.0092346+5.89279e-02]@[0.00000](12) ... (1383)
Sep 13, 2024 10:48:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32663 loops (81/sec), 1887701 sampling steps, 29464 aborted
loop condition 0.056916, exit probability 0.055919 in initial state
55848 explored states, 1383 states in BSSCs (1383 absorbing)
1095 component updates, 600894321 transient state updates
Bounds: [0.019145+5.79213e-02]@[0.00000](22), [0.12688+5.76157e-02]@[0.00000](103), [0.019146+5.72480e-02]@[0.00000](22), [0.19724+5.71683e-02]@[0.00000](140), [0.019146+5.81166e-02]@[0.00000](34), [0.0014473+5.68865e-02]@[0.00000](0), [0.030606+5.72383e-02]@[0.00000](25), [0.0012483+5.72134e-02]@[0.00000](4), [0.019146+5.72170e-02]@[0.00000](24), [0.0092347+5.69250e-02]@[0.00000](13) ... (1383)
Sep 13, 2024 10:48:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33086 loops (84/sec), 1912902 sampling steps, 29863 aborted
loop condition 0.054992, exit probability 0.054004 in initial state
56286 explored states, 1383 states in BSSCs (1383 absorbing)
1103 component updates, 633121788 transient state updates
Bounds: [0.019145+5.60314e-02]@[0.00000](22), [0.12688+5.57648e-02]@[0.00000](103), [0.019146+5.53267e-02]@[0.00000](22), [0.19724+5.53252e-02]@[0.00000](140), [0.019146+5.62248e-02]@[0.00000](34), [0.0014493+5.50353e-02]@[0.00000](0), [0.030606+5.53275e-02]@[0.00000](25), [0.0012576+5.53805e-02]@[0.00000](4), [0.019146+5.53001e-02]@[0.00000](25), [0.0092349+5.50297e-02]@[0.00000](13) ... (1383)
Sep 13, 2024 10:48:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33523 loops (87/sec), 1939573 sampling steps, 30274 aborted
loop condition 0.052614, exit probability 0.051639 in initial state
56814 explored states, 1383 states in BSSCs (1383 absorbing)
1112 component updates, 667313862 transient state updates
Bounds: [0.019145+5.36950e-02]@[0.00000](22), [0.12688+5.34119e-02]@[0.00000](103), [0.019146+5.29842e-02]@[0.00000](22), [0.19724+5.30622e-02]@[0.00000](140), [0.019146+5.38563e-02]@[0.00000](34), [0.0014498+5.27195e-02]@[0.00000](0), [0.030606+5.30651e-02]@[0.00000](25), [0.0012778+5.29999e-02]@[0.00000](4), [0.019146+5.29106e-02]@[0.00000](25), [0.0092351+5.26888e-02]@[0.00000](13) ... (1383)
Sep 13, 2024 10:48:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33971 loops (89/sec), 1967320 sampling steps, 30690 aborted
loop condition 0.050403, exit probability 0.049421 in initial state
57366 explored states, 1383 states in BSSCs (1383 absorbing)
1126 component updates, 702448644 transient state updates
Bounds: [0.019145+5.15059e-02]@[0.00000](22), [0.12688+5.12171e-02]@[0.00000](105), [0.019146+5.07490e-02]@[0.00000](22), [0.19724+5.08170e-02]@[0.00000](140), [0.019146+5.16527e-02]@[0.00000](34), [0.0014501+5.05111e-02]@[0.00000](0), [0.030606+5.08915e-02]@[0.00000](25), [0.0012937+5.07937e-02]@[0.00000](4), [0.019146+5.07380e-02]@[0.00000](25), [0.0092357+5.04959e-02]@[0.00000](13) ... (1383)
Sep 13, 2024 10:48:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34420 loops (89/sec), 1995330 sampling steps, 31113 aborted
loop condition 0.048444, exit probability 0.047455 in initial state
57929 explored states, 1383 states in BSSCs (1383 absorbing)
1132 component updates, 737793240 transient state updates
Bounds: [0.019145+4.95834e-02]@[0.00000](22), [0.12688+4.92835e-02]@[0.00000](106), [0.019146+4.88207e-02]@[0.00000](22), [0.19724+4.88293e-02]@[0.00000](141), [0.019146+4.97187e-02]@[0.00000](34), [0.0014523+4.85887e-02]@[0.00000](0), [0.030606+4.89613e-02]@[0.00000](25), [0.0013007+4.88282e-02]@[0.00000](4), [0.019146+4.87914e-02]@[0.00000](25), [0.0092358+4.85466e-02]@[0.00000](13) ... (1383)
Sep 13, 2024 10:48:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34887 loops (93/sec), 2024022 sampling steps, 31554 aborted
loop condition 0.046532, exit probability 0.045530 in initial state
58514 explored states, 1383 states in BSSCs (1383 absorbing)
1144 component updates, 773882116 transient state updates
Bounds: [0.019145+4.77082e-02]@[0.00000](23), [0.12688+4.73685e-02]@[0.00000](107), [0.019146+4.69489e-02]@[0.00000](22), [0.19724+4.69167e-02]@[0.00000](141), [0.019146+4.78248e-02]@[0.00000](34), [0.0014550+4.66967e-02]@[0.00000](1), [0.030606+4.70663e-02]@[0.00000](25), [0.0013157+4.68893e-02]@[0.00000](4), [0.019146+4.68967e-02]@[0.00000](25), [0.0092360+4.66611e-02]@[0.00000](13) ... (1383)
Sep 13, 2024 10:48:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35350 loops (92/sec), 2052094 sampling steps, 31993 aborted
loop condition 0.044664, exit probability 0.043648 in initial state
59089 explored states, 1383 states in BSSCs (1383 absorbing)
1156 component updates, 809867963 transient state updates
Bounds: [0.019145+4.58953e-02]@[0.00000](24), [0.12688+4.55025e-02]@[0.00000](107), [0.019146+4.51004e-02]@[0.00000](22), [0.19724+4.50974e-02]@[0.00000](141), [0.019146+4.59481e-02]@[0.00000](34), [0.0014557+4.48374e-02]@[0.00000](1), [0.030606+4.51922e-02]@[0.00000](25), [0.0013229+4.50077e-02]@[0.00000](4), [0.019146+4.50644e-02]@[0.00000](25), [0.0092362+4.47885e-02]@[0.00000](13) ... (1383)
Sep 13, 2024 10:48:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35817 loops (93/sec), 2080204 sampling steps, 32434 aborted
loop condition 0.042998, exit probability 0.041993 in initial state
59607 explored states, 1383 states in BSSCs (1383 absorbing)
1169 component updates, 845845224 transient state updates
Bounds: [0.019145+4.42955e-02]@[0.00000](24), [0.12688+4.38455e-02]@[0.00000](107), [0.019146+4.34439e-02]@[0.00000](22), [0.19724+4.34307e-02]@[0.00000](142), [0.019146+4.42621e-02]@[0.00000](34), [0.0014588+4.32229e-02]@[0.00000](1), [0.030606+4.35718e-02]@[0.00000](26), [0.0013271+4.33946e-02]@[0.00000](4), [0.019146+4.34043e-02]@[0.00000](25), [0.0092364+4.31675e-02]@[0.00000](13) ... (1383)
Sep 13, 2024 10:48:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36266 loops (89/sec), 2108510 sampling steps, 32848 aborted
loop condition 0.041265, exit probability 0.040273 in initial state
60337 explored states, 1383 states in BSSCs (1383 absorbing)
1179 component updates, 880627085 transient state updates
Bounds: [0.019145+4.26263e-02]@[0.00000](24), [0.12688+4.21594e-02]@[0.00000](107), [0.019146+4.17348e-02]@[0.00000](22), [0.19724+4.17212e-02]@[0.00000](142), [0.019146+4.26205e-02]@[0.00000](34), [0.0014597+4.15151e-02]@[0.00000](1), [0.030606+4.18582e-02]@[0.00000](26), [0.0013400+4.16703e-02]@[0.00000](4), [0.019146+4.17438e-02]@[0.00000](25), [0.0092365+4.14556e-02]@[0.00000](13) ... (1383)
Sep 13, 2024 10:48:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36557 loops (58/sec), 2125682 sampling steps, 33122 aborted
loop condition 0.040390, exit probability 0.039400 in initial state
60758 explored states, 1383 states in BSSCs (1383 absorbing)
1186 component updates, 902088225 transient state updates
Bounds: [0.019145+4.17746e-02]@[0.00000](24), [0.12688+4.12995e-02]@[0.00000](107), [0.019146+4.08731e-02]@[0.00000](22), [0.19724+4.09028e-02]@[0.00000](142), [0.019146+4.17388e-02]@[0.00000](34), [0.0014600+4.06705e-02]@[0.00000](1), [0.030606+4.10015e-02]@[0.00000](26), [0.0013451+4.08033e-02]@[0.00000](4), [0.019146+4.09130e-02]@[0.00000](25), [0.0092365+4.06357e-02]@[0.00000](13) ... (1383)