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_NAIVE --precision 0.001
Sep 13, 2024 10:50:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12079 loops (2415/sec), 21588052 sampling steps, 10885 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15024 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:
24469 loops (2478/sec), 45543901 sampling steps, 23275 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15173 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:
36943 loops (2494/sec), 69649336 sampling steps, 35749 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15238 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:
49449 loops (2501/sec), 93796222 sampling steps, 48255 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15266 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:
61942 loops (2498/sec), 117947597 sampling steps, 60748 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15288 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:
74439 loops (2499/sec), 142116797 sampling steps, 73245 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15308 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:
86951 loops (2502/sec), 166300446 sampling steps, 85757 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15317 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:
99459 loops (2501/sec), 190462974 sampling steps, 98265 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15322 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:
111993 loops (2506/sec), 214624875 sampling steps, 110799 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15323 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:
124477 loops (2496/sec), 238811135 sampling steps, 123283 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15324 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:
136990 loops (2502/sec), 263008653 sampling steps, 135796 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15329 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:
149532 loops (2508/sec), 287209510 sampling steps, 148338 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15333 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:
161970 loops (2487/sec), 311278649 sampling steps, 160776 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:51:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
174452 loops (2496/sec), 335391784 sampling steps, 173258 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15337 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:
186994 loops (2508/sec), 359584064 sampling steps, 185800 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:51:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
199549 loops (2511/sec), 383821946 sampling steps, 198355 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:51:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
212086 loops (2507/sec), 408017811 sampling steps, 210892 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:51:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
224629 loops (2508/sec), 432282440 sampling steps, 223435 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:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
237168 loops (2507/sec), 456487586 sampling steps, 235974 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:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
249695 loops (2505/sec), 480715990 sampling steps, 248501 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:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
262243 loops (2509/sec), 504949919 sampling steps, 261049 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:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
274810 loops (2513/sec), 529185481 sampling steps, 273616 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:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
287342 loops (2506/sec), 553436171 sampling steps, 286148 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:52:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
299870 loops (2505/sec), 577612109 sampling steps, 298676 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:52:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
312364 loops (2498/sec), 601737520 sampling steps, 311170 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
15352 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:
324874 loops (2502/sec), 625913656 sampling steps, 323680 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:52:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
337415 loops (2508/sec), 650150935 sampling steps, 336221 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:52:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
349965 loops (2510/sec), 674404735 sampling steps, 348771 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:52:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
362511 loops (2509/sec), 698686486 sampling steps, 361317 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:
375063 loops (2510/sec), 722924398 sampling steps, 373869 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:
387601 loops (2507/sec), 747173194 sampling steps, 386407 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:
400142 loops (2508/sec), 771423181 sampling steps, 398948 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:52:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
412664 loops (2504/sec), 795631498 sampling steps, 411470 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:52:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
425225 loops (2512/sec), 819900031 sampling steps, 424031 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:52:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
437786 loops (2512/sec), 844152502 sampling steps, 436592 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:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
450342 loops (2511/sec), 868351264 sampling steps, 449148 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:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
462843 loops (2500/sec), 892495347 sampling steps, 461649 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:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
475370 loops (2505/sec), 916661218 sampling steps, 474176 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:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
487927 loops (2511/sec), 940921852 sampling steps, 486733 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:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
500473 loops (2509/sec), 965149087 sampling steps, 499279 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:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
512997 loops (2504/sec), 989366976 sampling steps, 511803 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:30 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:53:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
518693 loops (394/sec), 1000368874 sampling steps, 517499 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:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
518694 loops (0/sec), 1000368874 sampling steps, 517499 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:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
518697 loops (0/sec), 1000368874 sampling steps, 517499 aborted
loop condition 1.0000, exit probability 0.0000 in initial state
15360 explored states, 15360 states in BSSCs (0 absorbing)
4 component updates, 0 transient state updates
Bounds: =1.0000@[1.00000](4)
Sep 13, 2024 10:54:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
518703 loops (1/sec), 1000368874 sampling steps, 517499 aborted
loop condition 0.18213, exit probability 0.0000 in initial state
15360 explored states, 15360 states in BSSCs (0 absorbing)
10 component updates, 0 transient state updates
Bounds: =1.0000@[0.18213](10)
----------
Computation aborted after 1800.013029575348 seconds since the total time limit of 1800.0 seconds was exceeded.