sds.default-abs.ap-sample

Benchmark

Model:	(nand)
Parameter(s)	N = 20, K = 3

Invocation (default-abs.ap-sample)

	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/dtmc/nand/nand.prism --const N=20,K=3  approximate --sampling SAMPLE_TARGET  --precision 0.001

default engine and absolute (default) error criterion

Execution

Walltime (MC-Time):	63.033934354782104s (NA)
Return code:	0
Note(s):	Tool does not support file export.

Log

(7,20,4,0,0,0,0,0): 0.319433 (+ 0.0000)
(7,20,4,2,0,0,0,0): 0.233799 (+ 0.0000)
(7,20,4,1,0,0,0,0): 0.149087 (+ 0.0000)
(7,20,4,3,0,0,0,0): 0.100132 (+ 0.0000)
(7,20,4,4,0,0,0,0): 0.0915104 (+ 0.0000)
(7,20,4,5,0,0,0,0): 0.0394442 (+ 0.0000)
(7,20,4,6,0,0,0,0): 0.0290372 (+ 0.0000)
(7,20,4,7,0,0,0,0): 0.0139252 (+ 0.0000)
(7,20,4,8,0,0,0,0): 0.00938970 (+ 0.0000)
(7,20,4,9,0,0,0,0): 0.00511713 (+ 0.0000)
(7,20,4,10,0,0,0,0): 0.00332038 (+ 0.0000)
(7,20,4,11,0,0,0,0): 0.00198822 (+ 0.0000)
(7,20,4,12,0,0,0,0): 0.00124287 (+ 0.0000)
(7,20,4,13,0,0,0,0): 0.000745130 (+ 0.0000)
(7,20,4,14,0,0,0,0): 0.000438062 (+ 0.0000)
(7,20,4,15,0,0,0,0): 0.000237769 (+ 0.0000)
(7,20,4,16,0,0,0,0): 0.000113372 (+ 0.0000)
(7,20,4,17,0,0,0,0): 3.93729e-05 (+ 0.0000)

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/nand/nand.prism --const N=20,K=3 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:32 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:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    19056 loops (3811/sec), 9886596 sampling steps, 7822 aborted
    loop condition 0.050836, exit probability 0.050267 in initial state
    44033 explored states, 9 states in BSSCs (9 absorbing)
    7761 component updates, 33744104 transient state updates
    Bounds: [0.31709+5.06961e-02]@[0.00000](1816), [0.14779+5.06283e-02]@[0.00000](1306), [0.035301+5.07997e-02]@[0.00000](693), [0.0036201+5.06468e-02]@[0.00000](425), [0.086398+5.10766e-02]@[0.00000](763), [0.023405+5.10901e-02]@[0.00000](600), [0.22953+5.08232e-02]@[0.00000](881), [0.0087186+5.07469e-02]@[0.00000](533), [0.097310+5.07734e-02]@[0.00000](744)
Sep 13, 2024 10:48:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    32178 loops (2624/sec), 17091181 sampling steps, 11901 aborted
    loop condition 0.027954, exit probability 0.027518 in initial state
    55404 explored states, 9 states in BSSCs (9 absorbing)
    16022 component updates, 74521290 transient state updates
    Bounds: [0.31881+2.80382e-02]@[0.00000](2975), [0.14874+2.79659e-02]@[0.00000](2394), [0.038002+2.79849e-02]@[0.00000](1566), [0.0061081+2.79181e-02]@[0.00000](886), [0.089934+2.79103e-02]@[0.00000](1861), [0.026889+2.79618e-02]@[0.00000](1373), [0.23265+2.79554e-02]@[0.00000](2055), [0.011565+2.77861e-02]@[0.00000](1110), [0.099340+2.79256e-02]@[0.00000](1802)
Sep 13, 2024 10:48:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    44196 loops (2403/sec), 23754573 sampling steps, 15773 aborted
    loop condition 0.022650, exit probability 0.022304 in initial state
    61617 explored states, 9 states in BSSCs (9 absorbing)
    23767 component updates, 112299280 transient state updates
    Bounds: [0.31911+2.26440e-02]@[0.00000](4095), [0.14890+2.26416e-02]@[0.00000](3450), [0.038604+2.26331e-02]@[0.00000](2375), [0.0071157+2.25677e-02]@[0.00000](1324), [0.090611+2.26331e-02]@[0.00000](2894), [0.027747+2.26054e-02]@[0.00000](2085), [0.23315+2.27819e-02]@[0.00000](3106), [0.012422+2.25435e-02]@[0.00000](1661), [0.099683+2.27286e-02]@[0.00000](2777)
Sep 13, 2024 10:48:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    54851 loops (2131/sec), 29687500 sampling steps, 19137 aborted
    loop condition 0.020473, exit probability 0.020197 in initial state
    65027 explored states, 9 states in BSSCs (9 absorbing)
    30840 component updates, 146594076 transient state updates
    Bounds: [0.31921+2.04699e-02]@[0.00000](5176), [0.14895+2.04663e-02]@[0.00000](4441), [0.038845+2.04512e-02]@[0.00000](3108), [0.0076001+2.03987e-02]@[0.00000](1729), [0.090868+2.04836e-02]@[0.00000](3775), [0.028100+2.04281e-02]@[0.00000](2722), [0.23335+2.05149e-02]@[0.00000](4076), [0.012783+2.04560e-02]@[0.00000](2170), [0.099813+2.05419e-02]@[0.00000](3643)
Sep 13, 2024 10:48:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    69191 loops (2868/sec), 37689579 sampling steps, 23697 aborted
    loop condition 0.018910, exit probability 0.018669 in initial state
    68583 explored states, 9 states in BSSCs (9 absorbing)
    40399 component updates, 192735148 transient state updates
    Bounds: [0.31927+1.89236e-02]@[0.00000](6512), [0.14899+1.89171e-02]@[0.00000](5748), [0.039010+1.88998e-02]@[0.00000](4138), [0.0079695+1.88162e-02]@[0.00000](2283), [0.091048+1.89365e-02]@[0.00000](4988), [0.028350+1.88666e-02]@[0.00000](3619), [0.23348+1.89610e-02]@[0.00000](5401), [0.013058+1.88755e-02]@[0.00000](2869), [0.099907+1.89713e-02]@[0.00000](4841)
Sep 13, 2024 10:49:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    82774 loops (2716/sec), 45280521 sampling steps, 28060 aborted
    loop condition 0.017998, exit probability 0.017789 in initial state
    71129 explored states, 9 states in BSSCs (9 absorbing)
    49460 component updates, 236351498 transient state updates
    Bounds: [0.31931+1.80239e-02]@[0.00000](7758), [0.14902+1.80115e-02]@[0.00000](6948), [0.039102+1.79671e-02]@[0.00000](5107), [0.0082023+1.79326e-02]@[0.00000](2853), [0.091150+1.80049e-02]@[0.00000](6070), [0.028488+1.79606e-02]@[0.00000](4501), [0.23356+1.80560e-02]@[0.00000](6650), [0.013221+1.79698e-02]@[0.00000](3506), [0.099957+1.80662e-02]@[0.00000](6067)
Sep 13, 2024 10:49:00 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 9, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:49:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    87905 loops (1026/sec), 48106915 sampling steps, 29211 aborted
    loop condition 0.011432, exit probability 0.010564 in initial state
    77430 explored states, 18 states in BSSCs (18 absorbing)
    53157 component updates, 281124343 transient state updates
    Bounds: [0.31935+1.16543e-02]@[0.00000](8030), [0.14905+1.14674e-02]@[0.00000](7199), [0.039260+1.14516e-02]@[0.00000](5347), [0.0087575+1.14290e-02]@[0.00000](3091), [0.091317+1.14379e-02]@[0.00000](6317), [0.028744+1.15773e-02]@[0.00000](4746), [0.23366+1.16562e-02]@[0.00000](6924), [0.013550+1.15019e-02]@[0.00000](3763), [0.10003+1.16605e-02]@[0.00000](6307), [0.0013947+1.15123e-02]@[0.00000](265) ... (18)
Sep 13, 2024 10:49:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    94022 loops (1223/sec), 51452699 sampling steps, 29915 aborted
    loop condition 0.0041945, exit probability 0.0032710 in initial state
    86843 explored states, 18 states in BSSCs (18 absorbing)
    58037 component updates, 327306180 transient state updates
    Bounds: [0.31939+4.29484e-03]@[0.00000](8363), [0.14907+4.23760e-03]@[0.00000](7523), [0.039370+4.18295e-03]@[0.00000](5638), [0.0091945+4.16909e-03]@[0.00000](3401), [0.091427+4.23434e-03]@[0.00000](6612), [0.028923+4.29546e-03]@[0.00000](5046), [0.23373+4.29058e-03]@[0.00000](7237), [0.013797+4.19442e-03]@[0.00000](4076), [0.10009+4.30513e-03]@[0.00000](6662), [0.0028847+4.20391e-03]@[0.00000](539) ... (18)
Sep 13, 2024 10:49:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    101360 loops (1467/sec), 55471051 sampling steps, 30648 aborted
    loop condition 0.0021333, exit probability 0.0013094 in initial state
    95668 explored states, 18 states in BSSCs (18 absorbing)
    64109 component updates, 369953255 transient state updates
    Bounds: [0.31942+2.16925e-03]@[0.00000](8755), [0.14908+2.20369e-03]@[0.00000](7910), [0.039416+2.12591e-03]@[0.00000](5984), [0.0093239+2.14713e-03]@[0.00000](3774), [0.091480+2.16826e-03]@[0.00000](7012), [0.028997+2.16429e-03]@[0.00000](5463), [0.23377+2.18462e-03]@[0.00000](7624), [0.013877+2.18149e-03]@[0.00000](4438), [0.10011+2.20336e-03]@[0.00000](7048), [0.0031922+2.10980e-03]@[0.00000](900) ... (18)
Sep 13, 2024 10:49:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    109414 loops (1610/sec), 59911577 sampling steps, 31502 aborted
    loop condition 0.0014731, exit probability 0.00070704 in initial state
    102376 explored states, 18 states in BSSCs (18 absorbing)
    70935 component updates, 401898542 transient state updates
    Bounds: [0.31943+1.52199e-03]@[0.00000](9215), [0.14908+1.52986e-03]@[0.00000](8356), [0.039433+1.49970e-03]@[0.00000](6409), [0.0093650+1.46173e-03]@[0.00000](4167), [0.091498+1.50380e-03]@[0.00000](7437), [0.029020+1.51284e-03]@[0.00000](5892), [0.23379+1.53354e-03]@[0.00000](8095), [0.013905+1.51098e-03]@[0.00000](4860), [0.10012+1.52924e-03]@[0.00000](7497), [0.0032702+1.47132e-03]@[0.00000](1302) ... (18)
Sep 13, 2024 10:49:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    119620 loops (2041/sec), 65570580 sampling steps, 32662 aborted
    loop condition 0.0011773, exit probability 0.00042419 in initial state
    107841 explored states, 18 states in BSSCs (18 absorbing)
    79697 component updates, 425913247 transient state updates
    Bounds: [0.31943+1.21829e-03]@[0.00000](9772), [0.14909+1.24036e-03]@[0.00000](8935), [0.039440+1.22863e-03]@[0.00000](6960), [0.0093805+1.18952e-03]@[0.00000](4680), [0.091506+1.21712e-03]@[0.00000](7993), [0.029031+1.21275e-03]@[0.00000](6433), [0.23380+1.22273e-03]@[0.00000](8653), [0.013918+1.20331e-03]@[0.00000](5420), [0.10013+1.24294e-03]@[0.00000](8092), [0.0033027+1.17619e-03]@[0.00000](1833) ... (18)
Sep 13, 2024 10:49:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    131078 loops (2291/sec), 71950797 sampling steps, 33917 aborted
    loop condition 0.0010455, exit probability 0.00030509 in initial state
    111806 explored states, 18 states in BSSCs (18 absorbing)
    89702 component updates, 440257501 transient state updates
    Bounds: [0.31943+1.09121e-03]@[0.00000](10448), [0.14909+1.09871e-03]@[0.00000](9643), [0.039443+1.08631e-03]@[0.00000](7558), [0.0093873+1.06932e-03]@[0.00000](5290), [0.091509+1.08957e-03]@[0.00000](8648), [0.029036+1.07256e-03]@[0.00000](7092), [0.23380+1.09218e-03]@[0.00000](9260), [0.013924+1.06786e-03]@[0.00000](6052), [0.10013+1.10151e-03]@[0.00000](8768), [0.0033162+1.04730e-03]@[0.00000](2447) ... (18)
Sep 13, 2024 10:49:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    138038 loops (2873/sec), 75829645 sampling steps, 34649 aborted
    loop condition 0.00099999, exit probability 0.00026687 in initial state
    113948 explored states, 18 states in BSSCs (18 absorbing)
    95835 component updates, 445770395 transient state updates
    Bounds: [0.31943+1.05724e-03]@[0.00000](10888), [0.14909+1.05710e-03]@[0.00000](10052), [0.039444+1.05256e-03]@[0.00000](7962), [0.0093897+1.02797e-03]@[0.00000](5664), [0.091510+1.05084e-03]@[0.00000](9068), [0.029037+1.03784e-03]@[0.00000](7460), [0.23380+1.05583e-03]@[0.00000](9640), [0.013925+1.02628e-03]@[0.00000](6432), [0.10013+1.06253e-03]@[0.00000](9145), [0.0033204+1.00798e-03]@[0.00000](2799) ... (18)