sds.default-abs.ap-sample

Benchmark
Model: (nand)
Parameter(s)N = 20, K = 4
Invocation (default-abs.ap-sample)
	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/dtmc/nand/nand.prism --const N=20,K=4  approximate --sampling SAMPLE_TARGET  --precision 0.001
default engine and absolute (default) error criterion
Execution
Walltime (MC-Time):95.59814023971558s (NA)
Return code:0
Note(s):Tool does not support file export.
Log
(9,20,4,0,0,0,0,0): 0.337672 (+ 0.0000)
(9,20,4,2,0,0,0,0): 0.234188 (+ 0.0000)
(9,20,4,1,0,0,0,0): 0.156446 (+ 0.0000)
(9,20,4,3,0,0,0,0): 0.0979394 (+ 0.0000)
(9,20,4,4,0,0,0,0): 0.0841298 (+ 0.0000)
(9,20,4,5,0,0,0,0): 0.0346640 (+ 0.0000)
(9,20,4,6,0,0,0,0): 0.0239817 (+ 0.0000)
(9,20,4,7,0,0,0,0): 0.0110282 (+ 0.0000)
(9,20,4,8,0,0,0,0): 0.00724836 (+ 0.0000)
(9,20,4,9,0,0,0,0): 0.00397753 (+ 0.0000)
(9,20,4,10,0,0,0,0): 0.00266159 (+ 0.0000)
(9,20,4,11,0,0,0,0): 0.00170616 (+ 0.0000)
(9,20,4,12,0,0,0,0): 0.00116737 (+ 0.0000)
(9,20,4,13,0,0,0,0): 0.000797100 (+ 0.0000)
(9,20,4,14,0,0,0,0): 0.000545652 (+ 0.0000)
(9,20,4,15,0,0,0,0): 0.000368736 (+ 0.0000)
(9,20,4,16,0,0,0,0): 0.000237422 (+ 0.0000)
(9,20,4,17,0,0,0,0): 0.000143374 (+ 0.0000)
(9,20,4,18,0,0,0,0): 7.16587e-05 (+ 0.0000)
(9,20,4,19,0,0,0,0): 2.48982e-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=4 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:
    18941 loops (3788/sec), 12374781 sampling steps, 8283 aborted
    loop condition 0.097231, exit probability 0.096760 in initial state
    50550 explored states, 9 states in BSSCs (9 absorbing)
    6501 component updates, 32575284 transient state updates
    Bounds: [0.32686+9.74187e-02]@[0.00000](1895), [0.15078+9.75372e-02]@[0.00000](1387), [0.0012782+9.76055e-02]@[0.00000](326), [0.071489+9.72938e-02]@[0.00000](551), [0.0042750+9.71764e-02]@[0.00000](350), [0.014636+9.71509e-02]@[0.00000](407), [0.026313+9.71297e-02]@[0.00000](465), [0.089082+9.73860e-02]@[0.00000](537), [0.21806+9.70089e-02]@[0.00000](583)
Sep 13, 2024 10:48:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    31113 loops (2434/sec), 20769872 sampling steps, 11576 aborted
    loop condition 0.037082, exit probability 0.036617 in initial state
    69624 explored states, 9 states in BSSCs (9 absorbing)
    13983 component updates, 80557330 transient state updates
    Bounds: [0.33546+3.71620e-02]@[0.00000](3046), [0.15528+3.71077e-02]@[0.00000](2401), [0.0036613+3.73143e-02]@[0.00000](763), [0.080855+3.70179e-02]@[0.00000](1469), [0.0079178+3.71971e-02]@[0.00000](868), [0.020644+3.69876e-02]@[0.00000](1060), [0.032145+3.70024e-02]@[0.00000](1198), [0.095988+3.71287e-02]@[0.00000](1513), [0.23097+3.69805e-02]@[0.00000](1665)
Sep 13, 2024 10:48:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    43075 loops (2392/sec), 29204510 sampling steps, 15328 aborted
    loop condition 0.026525, exit probability 0.026095 in initial state
    80244 explored states, 9 states in BSSCs (9 absorbing)
    21445 component updates, 127672419 transient state updates
    Bounds: [0.33659+2.65553e-02]@[0.00000](4163), [0.15586+2.65857e-02]@[0.00000](3418), [0.0047325+2.65950e-02]@[0.00000](1155), [0.082396+2.64752e-02]@[0.00000](2412), [0.0090607+2.65199e-02]@[0.00000](1398), [0.022032+2.64296e-02]@[0.00000](1716), [0.033251+2.65854e-02]@[0.00000](1949), [0.096954+2.64759e-02]@[0.00000](2512), [0.23260+2.64738e-02]@[0.00000](2722)
Sep 13, 2024 10:48:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    54740 loops (2333/sec), 37494665 sampling steps, 18981 aborted
    loop condition 0.022353, exit probability 0.021991 in initial state
    87246 explored states, 9 states in BSSCs (9 absorbing)
    28977 component updates, 174807236 transient state updates
    Bounds: [0.33697+2.24100e-02]@[0.00000](5248), [0.15606+2.24587e-02]@[0.00000](4393), [0.0052883+2.23216e-02]@[0.00000](1580), [0.082979+2.22757e-02]@[0.00000](3423), [0.0095864+2.23062e-02]@[0.00000](1872), [0.022617+2.22663e-02]@[0.00000](2392), [0.033701+2.23437e-02]@[0.00000](2707), [0.097292+2.23449e-02]@[0.00000](3482), [0.23315+2.24060e-02]@[0.00000](3880)
Sep 13, 2024 10:48:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    66430 loops (2338/sec), 45830716 sampling steps, 22700 aborted
    loop condition 0.020078, exit probability 0.019752 in initial state
    92849 explored states, 9 states in BSSCs (9 absorbing)
    36569 component updates, 222078311 transient state updates
    Bounds: [0.33717+2.01309e-02]@[0.00000](6377), [0.15617+2.01904e-02]@[0.00000](5441), [0.0056429+1.99945e-02]@[0.00000](1991), [0.083274+2.00383e-02]@[0.00000](4411), [0.0098927+2.00150e-02]@[0.00000](2369), [0.022942+1.99858e-02]@[0.00000](3071), [0.033942+2.00512e-02]@[0.00000](3493), [0.097469+2.00537e-02]@[0.00000](4478), [0.23343+2.01670e-02]@[0.00000](4938)
Sep 13, 2024 10:49:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    78133 loops (2340/sec), 54198694 sampling steps, 26469 aborted
    loop condition 0.018750, exit probability 0.018461 in initial state
    97125 explored states, 9 states in BSSCs (9 absorbing)
    44226 component updates, 269506411 transient state updates
    Bounds: [0.33727+1.88252e-02]@[0.00000](7566), [0.15623+1.88314e-02]@[0.00000](6496), [0.0058650+1.86738e-02]@[0.00000](2373), [0.083445+1.87116e-02]@[0.00000](5358), [0.010080+1.86629e-02]@[0.00000](2838), [0.023131+1.86748e-02]@[0.00000](3836), [0.034079+1.87253e-02]@[0.00000](4282), [0.097564+1.87635e-02]@[0.00000](5452), [0.23358+1.88610e-02]@[0.00000](6025)
Sep 13, 2024 10:49:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    89613 loops (2296/sec), 62422308 sampling steps, 30108 aborted
    loop condition 0.017800, exit probability 0.017528 in initial state
    100444 explored states, 9 states in BSSCs (9 absorbing)
    51864 component updates, 316701764 transient state updates
    Bounds: [0.33734+1.78897e-02]@[0.00000](8765), [0.15627+1.78555e-02]@[0.00000](7495), [0.0060382+1.77198e-02]@[0.00000](2814), [0.083561+1.77794e-02]@[0.00000](6297), [0.010220+1.77180e-02]@[0.00000](3318), [0.023266+1.77342e-02]@[0.00000](4531), [0.034176+1.77799e-02]@[0.00000](5107), [0.097629+1.78463e-02]@[0.00000](6396), [0.23369+1.78859e-02]@[0.00000](7141)
Sep 13, 2024 10:49:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    101108 loops (2299/sec), 70655727 sampling steps, 33781 aborted
    loop condition 0.017060, exit probability 0.016817 in initial state
    103495 explored states, 9 states in BSSCs (9 absorbing)
    59480 component updates, 363649851 transient state updates
    Bounds: [0.33740+1.71469e-02]@[0.00000](9872), [0.15631+1.70998e-02]@[0.00000](8570), [0.0061753+1.69910e-02]@[0.00000](3216), [0.083652+1.70533e-02]@[0.00000](7240), [0.010328+1.69920e-02]@[0.00000](3818), [0.023371+1.69965e-02]@[0.00000](5253), [0.034253+1.70362e-02]@[0.00000](5853), [0.097678+1.71278e-02]@[0.00000](7404), [0.23378+1.71289e-02]@[0.00000](8254)
Sep 13, 2024 10:49:15 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 11, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:49:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    112207 loops (2219/sec), 78623824 sampling steps, 37372 aborted
    loop condition 0.016550, exit probability 0.016331 in initial state
    105973 explored states, 20 states in BSSCs (20 absorbing)
    66842 component updates, 409355157 transient state updates
    Bounds: [0.33744+1.66358e-02]@[0.00000](10907), [0.15632+1.65977e-02]@[0.00000](9567), [0.0062732+1.65004e-02]@[0.00000](3608), [0.083715+1.65349e-02]@[0.00000](8150), [0.010402+1.65050e-02]@[0.00000](4298), [0.023443+1.64907e-02]@[0.00000](5947), [0.034304+1.65235e-02]@[0.00000](6696), [0.097712+1.66296e-02]@[0.00000](8367), [0.23384+1.65897e-02]@[0.00000](9301), [9.0365e-34+1.65499e-02]@[0.00000](0) ... (20)
Sep 13, 2024 10:49:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    116581 loops (874/sec), 81718978 sampling steps, 38625 aborted
    loop condition 0.014902, exit probability 0.014422 in initial state
    111337 explored states, 20 states in BSSCs (20 absorbing)
    69720 component updates, 465359270 transient state updates
    Bounds: [0.33750+1.49401e-02]@[0.00000](11104), [0.15636+1.49030e-02]@[0.00000](9770), [0.0064959+1.48167e-02]@[0.00000](3806), [0.083840+1.49308e-02]@[0.00000](8362), [0.010569+1.48708e-02]@[0.00000](4495), [0.023596+1.48875e-02]@[0.00000](6119), [0.034412+1.48218e-02]@[0.00000](6907), [0.097778+1.49572e-02]@[0.00000](8583), [0.23394+1.49684e-02]@[0.00000](9508), [2.0831e-16+1.49349e-02]@[0.00000](0) ... (20)
Sep 13, 2024 10:49:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    121086 loops (900/sec), 84887192 sampling steps, 39296 aborted
    loop condition 0.0091802, exit probability 0.0081730 in initial state
    119528 explored states, 20 states in BSSCs (20 absorbing)
    73121 component updates, 519879525 transient state updates
    Bounds: [0.33756+9.21705e-03]@[0.00000](11321), [0.15639+9.17699e-03]@[0.00000](9975), [0.0068271+9.08213e-03]@[0.00000](3974), [0.083953+9.33220e-03]@[0.00000](8569), [0.010763+9.09466e-03]@[0.00000](4682), [0.023753+9.20758e-03]@[0.00000](6355), [0.034513+9.08234e-03]@[0.00000](7117), [0.097839+9.27430e-03]@[0.00000](8794), [0.23403+9.35679e-03]@[0.00000](9734), [1.4759e-10+9.15891e-03]@[0.00000](28) ... (20)
Sep 13, 2024 10:49:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    125689 loops (920/sec), 88104298 sampling steps, 39772 aborted
    loop condition 0.0052639, exit probability 0.0042915 in initial state
    127975 explored states, 20 states in BSSCs (20 absorbing)
    76743 component updates, 570167466 transient state updates
    Bounds: [0.33760+5.35292e-03]@[0.00000](11529), [0.15641+5.35293e-03]@[0.00000](10172), [0.0070314+5.29353e-03]@[0.00000](4166), [0.084024+5.36189e-03]@[0.00000](8789), [0.010888+5.19453e-03]@[0.00000](4882), [0.023854+5.29318e-03]@[0.00000](6563), [0.034578+5.24137e-03]@[0.00000](7332), [0.097879+5.32797e-03]@[0.00000](9011), [0.23409+5.43107e-03]@[0.00000](9961), [1.5738e-07+5.28529e-03]@[0.00000](79) ... (20)
Sep 13, 2024 10:49:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    130486 loops (959/sec), 91459100 sampling steps, 40228 aborted
    loop condition 0.0033380, exit probability 0.0024411 in initial state
    135377 explored states, 20 states in BSSCs (20 absorbing)
    80647 component updates, 616486665 transient state updates
    Bounds: [0.33762+3.41641e-03]@[0.00000](11747), [0.15642+3.42725e-03]@[0.00000](10422), [0.0071334+3.37683e-03]@[0.00000](4398), [0.084066+3.40458e-03]@[0.00000](9023), [0.010950+3.33349e-03]@[0.00000](5080), [0.023908+3.42053e-03]@[0.00000](6786), [0.034614+3.32713e-03]@[0.00000](7544), [0.097902+3.38592e-03]@[0.00000](9244), [0.23413+3.43638e-03]@[0.00000](10213), [2.0303e-06+3.31345e-03]@[0.00000](170) ... (20)
Sep 13, 2024 10:49:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    135665 loops (1035/sec), 95094458 sampling steps, 40797 aborted
    loop condition 0.0023527, exit probability 0.0014771 in initial state
    141685 explored states, 20 states in BSSCs (20 absorbing)
    84899 component updates, 658469559 transient state updates
    Bounds: [0.33764+2.42673e-03]@[0.00000](12014), [0.15643+2.44231e-03]@[0.00000](10702), [0.0071847+2.36744e-03]@[0.00000](4637), [0.084091+2.40766e-03]@[0.00000](9264), [0.010983+2.36251e-03]@[0.00000](5297), [0.023939+2.39756e-03]@[0.00000](7011), [0.034635+2.35168e-03]@[0.00000](7776), [0.097917+2.37571e-03]@[0.00000](9491), [0.23415+2.42389e-03]@[0.00000](10473), [5.9987e-06+2.28845e-03]@[0.00000](295) ... (20)
Sep 13, 2024 10:49:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    141374 loops (1141/sec), 99112722 sampling steps, 41424 aborted
    loop condition 0.0017856, exit probability 0.00094523 in initial state
    147763 explored states, 20 states in BSSCs (20 absorbing)
    89643 component updates, 696018492 transient state updates
    Bounds: [0.33765+1.83756e-03]@[0.00000](12296), [0.15644+1.87620e-03]@[0.00000](10993), [0.0072122+1.79654e-03]@[0.00000](4902), [0.084106+1.85216e-03]@[0.00000](9542), [0.011002+1.81579e-03]@[0.00000](5590), [0.023956+1.84141e-03]@[0.00000](7287), [0.034647+1.80117e-03]@[0.00000](8033), [0.097926+1.81595e-03]@[0.00000](9752), [0.23417+1.85251e-03]@[0.00000](10738), [1.0793e-05+1.72247e-03]@[0.00000](426) ... (20)
Sep 13, 2024 10:49:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    148037 loops (1332/sec), 103831317 sampling steps, 42163 aborted
    loop condition 0.0014364, exit probability 0.00062561 in initial state
    152901 explored states, 20 states in BSSCs (20 absorbing)
    95284 component updates, 729474365 transient state updates
    Bounds: [0.33766+1.48426e-03]@[0.00000](12628), [0.15644+1.53067e-03]@[0.00000](11292), [0.0072287+1.45001e-03]@[0.00000](5208), [0.084117+1.48481e-03]@[0.00000](9890), [0.011013+1.47262e-03]@[0.00000](5944), [0.023967+1.48583e-03]@[0.00000](7637), [0.034655+1.45542e-03]@[0.00000](8364), [0.097932+1.46574e-03]@[0.00000](10051), [0.23418+1.48499e-03]@[0.00000](11072), [1.5426e-05+1.36162e-03]@[0.00000](592) ... (20)
Sep 13, 2024 10:49:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    156160 loops (1624/sec), 109616567 sampling steps, 43128 aborted
    loop condition 0.0012237, exit probability 0.00043779 in initial state
    157610 explored states, 20 states in BSSCs (20 absorbing)
    102208 component updates, 757403011 transient state updates
    Bounds: [0.33767+1.26472e-03]@[0.00000](13032), [0.15644+1.28680e-03]@[0.00000](11710), [0.0072387+1.23562e-03]@[0.00000](5577), [0.084123+1.26553e-03]@[0.00000](10299), [0.011021+1.24713e-03]@[0.00000](6363), [0.023974+1.27698e-03]@[0.00000](8049), [0.034659+1.23807e-03]@[0.00000](8739), [0.097936+1.25893e-03]@[0.00000](10481), [0.23418+1.26282e-03]@[0.00000](11484), [1.9406e-05+1.14729e-03]@[0.00000](807) ... (20)
Sep 13, 2024 10:50:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    166974 loops (2162/sec), 117338948 sampling steps, 44446 aborted
    loop condition 0.0010842, exit probability 0.00030858 in initial state
    162448 explored states, 20 states in BSSCs (20 absorbing)
    111476 component updates, 779761392 transient state updates
    Bounds: [0.33767+1.11995e-03]@[0.00000](13567), [0.15645+1.14186e-03]@[0.00000](12271), [0.0072448+1.10106e-03]@[0.00000](6059), [0.084128+1.11422e-03]@[0.00000](10837), [0.011025+1.10714e-03]@[0.00000](6898), [0.023979+1.11979e-03]@[0.00000](8603), [0.034662+1.10832e-03]@[0.00000](9307), [0.097938+1.13278e-03]@[0.00000](11061), [0.23419+1.12990e-03]@[0.00000](12024), [2.2462e-05+1.02074e-03]@[0.00000](1102) ... (20)
Sep 13, 2024 10:50:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    181352 loops (2881/sec), 127626539 sampling steps, 46184 aborted
    loop condition 0.0010000, exit probability 0.00021920 in initial state
    167002 explored states, 20 states in BSSCs (20 absorbing)
    123910 component updates, 795536426 transient state updates
    Bounds: [0.33767+1.04517e-03]@[0.00000](14274), [0.15645+1.05234e-03]@[0.00000](12991), [0.0072484+1.02274e-03]@[0.00000](6757), [0.084130+1.03504e-03]@[0.00000](11545), [0.011028+1.02472e-03]@[0.00000](7622), [0.023982+1.03536e-03]@[0.00000](9292), [0.034664+1.03457e-03]@[0.00000](10021), [0.097939+1.05040e-03]@[0.00000](11791), [0.23419+1.04909e-03]@[0.00000](12707), [2.4898e-05+9.43230e-04]@[0.00000](1500) ... (20)