(5,20,4,0,0,0,0,0): 0.279651 (+ 0.0000)
(5,20,4,2,0,0,0,0): 0.234773 (+ 0.0000)
(5,20,4,1,0,0,0,0): 0.133199 (+ 0.0000)
(5,20,4,4,0,0,0,0): 0.108565 (+ 0.0000)
(5,20,4,3,0,0,0,0): 0.105820 (+ 0.0000)
(5,20,4,5,0,0,0,0): 0.0499283 (+ 0.0000)
(5,20,4,6,0,0,0,0): 0.0395526 (+ 0.0000)
(5,20,4,7,0,0,0,0): 0.0194582 (+ 0.0000)
(5,20,4,8,0,0,0,0): 0.0130796 (+ 0.0000)
(5,20,4,9,0,0,0,0): 0.00683546 (+ 0.0000)
(5,20,4,10,0,0,0,0): 0.00408458 (+ 0.0000)
(5,20,4,11,0,0,0,0): 0.00214734 (+ 0.0000)
(5,20,4,12,0,0,0,0): 0.00114191 (+ 0.0000)
(5,20,4,13,0,0,0,0): 0.000544418 (+ 0.0000)
(5,20,4,14,0,0,0,0): 0.000219655 (+ 0.0000)
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/nand/nand.prism --const N=20,K=2 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: 2, 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: 6, 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:
24083 loops (4816/sec), 9277513 sampling steps, 10032 aborted
loop condition 0.043192, exit probability 0.042866 in initial state
32273 explored states, 8 states in BSSCs (8 absorbing)
11606 component updates, 35064235 transient state updates
Bounds: [0.27934+4.33133e-02]@[0.00000](2278), [0.13302+4.31173e-02]@[0.00000](1736), [0.014629+4.30934e-02]@[0.00000](868), [0.036198+4.30895e-02]@[0.00000](1073), [0.10677+4.31219e-02]@[0.00000](1480), [0.10507+4.31531e-02]@[0.00000](1371), [0.047915+4.33838e-02]@[0.00000](1143), [0.23387+4.32191e-02]@[0.00000](1657)
Sep 13, 2024 10:48:40 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 7, 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:
47769 loops (4737/sec), 18723219 sampling steps, 18471 aborted
loop condition 0.034666, exit probability 0.034519 in initial state
38312 explored states, 15 states in BSSCs (15 absorbing)
26469 component updates, 81822471 transient state updates
Bounds: [0.27956+3.47529e-02]@[0.00000](4661), [0.13314+3.47257e-02]@[0.00000](3773), [0.017126+3.46008e-02]@[0.00000](1876), [0.038234+3.46033e-02]@[0.00000](2584), [0.10797+3.47387e-02]@[0.00000](3475), [0.10559+3.46940e-02]@[0.00000](3415), [0.049217+3.47098e-02]@[0.00000](2719), [0.23450+3.47076e-02]@[0.00000](3962), [3.7383e-21+3.46659e-02]@[0.00000](2), [0.0000+3.46662e-02]@[0.00000](0) ... (15)
Sep 13, 2024 10:48:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58495 loops (2145/sec), 22939944 sampling steps, 19945 aborted
loop condition 0.0033144, exit probability 0.0025644 in initial state
50481 explored states, 15 states in BSSCs (15 absorbing)
35049 component updates, 131373472 transient state updates
Bounds: [0.27963+3.41138e-03]@[0.00000](5369), [0.13319+3.37995e-03]@[0.00000](4374), [0.019312+3.35948e-03]@[0.00000](2518), [0.039444+3.27474e-03]@[0.00000](3239), [0.10849+3.33471e-03]@[0.00000](4135), [0.10579+3.37752e-03]@[0.00000](4073), [0.049852+3.46547e-03]@[0.00000](3360), [0.23473+3.37386e-03]@[0.00000](4588), [0.012664+3.38930e-03]@[0.00000](599), [0.00034601+3.16659e-03]@[0.00000](380) ... (15)
Sep 13, 2024 10:48:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71503 loops (2601/sec), 28096465 sampling steps, 21419 aborted
loop condition 0.0014903, exit probability 0.00086391 in initial state
58166 explored states, 15 states in BSSCs (15 absorbing)
46142 component updates, 166931434 transient state updates
Bounds: [0.27965+1.56556e-03]@[0.00000](6260), [0.13320+1.58576e-03]@[0.00000](5231), [0.019425+1.57642e-03]@[0.00000](3322), [0.039532+1.51389e-03]@[0.00000](4062), [0.10855+1.53097e-03]@[0.00000](5019), [0.10581+1.57181e-03]@[0.00000](4846), [0.049914+1.55247e-03]@[0.00000](4192), [0.23476+1.57770e-03]@[0.00000](5434), [0.013008+1.54653e-03]@[0.00000](1366), [0.00048987+1.37549e-03]@[0.00000](915) ... (15)
Sep 13, 2024 10:48:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90319 loops (3763/sec), 35598302 sampling steps, 23460 aborted
loop condition 0.0011038, exit probability 0.00050665 in initial state
63286 explored states, 15 states in BSSCs (15 absorbing)
62634 component updates, 192270783 transient state updates
Bounds: [0.27965+1.18259e-03]@[0.00000](7524), [0.13320+1.17869e-03]@[0.00000](6504), [0.019452+1.14329e-03]@[0.00000](4481), [0.039549+1.16191e-03]@[0.00000](5293), [0.10856+1.17488e-03]@[0.00000](6306), [0.10582+1.19717e-03]@[0.00000](6112), [0.049925+1.20088e-03]@[0.00000](5455), [0.23477+1.19525e-03]@[0.00000](6695), [0.013066+1.14889e-03]@[0.00000](2554), [0.00053137+1.00070e-03]@[0.00000](1661) ... (15)
Sep 13, 2024 10:48:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
104357 loops (5115/sec), 41209678 sampling steps, 24933 aborted
loop condition 0.00099995, exit probability 0.00042907 in initial state
65645 explored states, 15 states in BSSCs (15 absorbing)
75079 component updates, 202313963 transient state updates
Bounds: [0.27965+1.10130e-03]@[0.00000](8518), [0.13320+1.08043e-03]@[0.00000](7398), [0.019458+1.05544e-03]@[0.00000](5407), [0.039553+1.08047e-03]@[0.00000](6252), [0.10856+1.08498e-03]@[0.00000](7257), [0.10582+1.10038e-03]@[0.00000](7057), [0.049928+1.08827e-03]@[0.00000](6386), [0.23477+1.08599e-03]@[0.00000](7658), [0.013080+1.05167e-03]@[0.00000](3449), [0.00054442+9.01785e-04]@[0.00000](2210) ... (15)