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.10.prism approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:50:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11612 loops (2322/sec), 20667938 sampling steps, 10426 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15032 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:
23468 loops (2371/sec), 43582951 sampling steps, 22282 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15181 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:
35405 loops (2387/sec), 66630363 sampling steps, 34219 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15250 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:
47367 loops (2392/sec), 89712585 sampling steps, 46181 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15287 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:
59317 loops (2390/sec), 112811659 sampling steps, 58131 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15305 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:
71284 loops (2393/sec), 135913305 sampling steps, 70098 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15319 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:
83254 loops (2394/sec), 158983305 sampling steps, 82068 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15328 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:
95219 loops (2393/sec), 182048442 sampling steps, 94033 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15334 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:
107150 loops (2386/sec), 205096591 sampling steps, 105964 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15340 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:
119159 loops (2401/sec), 228244660 sampling steps, 117973 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15342 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:
131131 loops (2394/sec), 251376793 sampling steps, 129945 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15343 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:
143077 loops (2389/sec), 274476383 sampling steps, 141891 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15344 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:
155011 loops (2386/sec), 297529123 sampling steps, 153825 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15345 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:
166959 loops (2389/sec), 320565401 sampling steps, 165773 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15345 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:
178951 loops (2398/sec), 343720985 sampling steps, 177765 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15347 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:
190926 loops (2395/sec), 366871956 sampling steps, 189740 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15350 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:
202880 loops (2390/sec), 389966697 sampling steps, 201694 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15351 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:
214869 loops (2397/sec), 413118713 sampling steps, 213683 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15353 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:
226841 loops (2394/sec), 436266249 sampling steps, 225655 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15353 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:
238825 loops (2396/sec), 459435365 sampling steps, 237639 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15354 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:
250795 loops (2394/sec), 482545379 sampling steps, 249609 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15354 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:
262814 loops (2403/sec), 505723491 sampling steps, 261628 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15355 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:
274804 loops (2398/sec), 528870538 sampling steps, 273618 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15355 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:
286772 loops (2393/sec), 551981671 sampling steps, 285586 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15356 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:
298695 loops (2384/sec), 575022527 sampling steps, 297509 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15356 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:
310654 loops (2391/sec), 598097485 sampling steps, 309468 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15357 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:
322597 loops (2388/sec), 621226081 sampling steps, 321411 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15357 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:
334592 loops (2399/sec), 644412024 sampling steps, 333406 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15357 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:
346605 loops (2402/sec), 667590826 sampling steps, 345419 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15357 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:
358606 loops (2400/sec), 690748706 sampling steps, 357420 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15357 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:
370602 loops (2399/sec), 713928734 sampling steps, 369416 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15357 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:
382607 loops (2401/sec), 737085269 sampling steps, 381421 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15357 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:
394583 loops (2395/sec), 760246689 sampling steps, 393397 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15357 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:
406581 loops (2399/sec), 783409649 sampling steps, 405395 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15357 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:
418573 loops (2398/sec), 806569045 sampling steps, 417387 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15357 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:
430521 loops (2389/sec), 829675671 sampling steps, 429335 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15357 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:
442440 loops (2383/sec), 852713809 sampling steps, 441254 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15357 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:
454382 loops (2388/sec), 875798100 sampling steps, 453196 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15357 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:
466412 loops (2406/sec), 898970251 sampling steps, 465226 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15357 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:
478365 loops (2390/sec), 922129013 sampling steps, 477179 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15357 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:
490329 loops (2392/sec), 945246029 sampling steps, 489143 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15358 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:
502281 loops (2390/sec), 968338227 sampling steps, 501095 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15359 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
514276 loops (2399/sec), 991495889 sampling steps, 513090 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15359 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
526266 loops (2398/sec), 1014710934 sampling steps, 525080 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15359 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
538298 loops (2406/sec), 1037929280 sampling steps, 537112 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15360 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:53 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:54:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
549371 loops (665/sec), 1059301432 sampling steps, 548185 aborted
loop condition 1.0000, exit probability 0.0000 in initial state
15360 explored states, 15360 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: =1.0000@[1.00000](0)
Sep 13, 2024 10:54:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
549372 loops (0/sec), 1059301432 sampling steps, 548185 aborted
loop condition 1.0000, exit probability 0.0000 in initial state
15360 explored states, 15360 states in BSSCs (0 absorbing)
1 component updates, 0 transient state updates
Bounds: =1.0000@[1.00000](1)
Sep 13, 2024 10:54:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
549374 loops (0/sec), 1059301432 sampling steps, 548185 aborted
loop condition 1.0000, exit probability 0.0000 in initial state
15360 explored states, 15360 states in BSSCs (0 absorbing)
3 component updates, 0 transient state updates
Bounds: =1.0000@[1.00000](3)
Sep 13, 2024 10:54:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
549378 loops (0/sec), 1059301432 sampling steps, 548185 aborted
loop condition 1.0000, exit probability 0.0000 in initial state
15360 explored states, 15360 states in BSSCs (0 absorbing)
7 component updates, 0 transient state updates
Bounds: =1.0000@[1.00000](7)
----------
Computation aborted after 1800.012311220169 seconds since the total time limit of 1800.0 seconds was exceeded.