sds.default-abs.ap-sample

Benchmark
Model: (nand)
Parameter(s)N = 40, K = 1
Invocation (default-abs.ap-sample)
	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/dtmc/nand/nand.prism --const N=40,K=1  approximate --sampling SAMPLE_TARGET  --precision 0.001
default engine and absolute (default) error criterion
Execution
Walltime (MC-Time):108.49675416946411s (NA)
Return code:0
Note(s):Tool does not support file export.
Log
(3,40,4,4,0,0,0,0): 0.142959 (+ 0.0000)
(3,40,4,6,0,0,0,0): 0.123834 (+ 0.0000)
(3,40,4,5,0,0,0,0): 0.113261 (+ 0.0000)
(3,40,4,2,0,0,0,0): 0.109644 (+ 0.0000)
(3,40,4,3,0,0,0,0): 0.0948663 (+ 0.0000)
(3,40,4,7,0,0,0,0): 0.0907051 (+ 0.0000)
(3,40,4,8,0,0,0,0): 0.0800765 (+ 0.0000)
(3,40,4,9,0,0,0,0): 0.0545142 (+ 0.0000)
(3,40,4,0,0,0,0,0): 0.0418141 (+ 0.0000)
(3,40,4,10,0,0,0,0): 0.0410792 (+ 0.0000)
(3,40,4,1,0,0,0,0): 0.0401556 (+ 0.0000)
(3,40,4,11,0,0,0,0): 0.0260464 (+ 0.0000)
(3,40,4,12,0,0,0,0): 0.0173002 (+ 0.0000)
(3,40,4,13,0,0,0,0): 0.0102031 (+ 0.0000)
(3,40,4,14,0,0,0,0): 0.00603762 (+ 0.0000)
(3,40,4,15,0,0,0,0): 0.00330483 (+ 0.0000)
(3,40,4,16,0,0,0,0): 0.00176813 (+ 0.0000)
(3,40,4,17,0,0,0,0): 0.000864600 (+ 0.0000)
(3,40,4,18,0,0,0,0): 0.000387181 (+ 0.0000)
(3,40,4,19,0,0,0,0): 0.000143116 (+ 0.0000)
(3,40,4,20,0,0,0,0): 3.62101e-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=40,K=1 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: 12, 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:
    20845 loops (4169/sec), 9365345 sampling steps, 12405 aborted
    loop condition 0.20099, exit probability 0.20003 in initial state
    49586 explored states, 14 states in BSSCs (14 absorbing)
    4418 component updates, 26086503 transient state updates
    Bounds: [0.13699+2.01542e-01]@[0.00000](969), [0.10709+2.00811e-01]@[0.00000](724), [0.10863+2.01543e-01]@[0.00000](246), [0.0042078+2.00637e-01]@[0.00000](272), [0.056931+2.00883e-01]@[0.00000](305), [0.072712+2.01330e-01]@[0.00000](288), [3.2056e-05+2.01017e-01]@[0.00000](230), [0.029832+2.00510e-01]@[0.00000](282), [0.040065+2.01366e-01]@[0.00000](73), [0.088065+2.01471e-01]@[0.00000](159) ... (14)
Sep 13, 2024 10:48:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    31639 loops (2158/sec), 14396182 sampling steps, 15974 aborted
    loop condition 0.046605, exit probability 0.046036 in initial state
    65963 explored states, 14 states in BSSCs (14 absorbing)
    10488 component updates, 67537561 transient state updates
    Bounds: [0.14248+4.66215e-02]@[0.00000](1518), [0.10942+4.68777e-02]@[0.00000](1195), [0.12276+4.65858e-02]@[0.00000](763), [0.020703+4.67531e-02]@[0.00000](725), [0.077948+4.65713e-02]@[0.00000](812), [0.089273+4.69203e-02]@[0.00000](793), [0.0026665+4.63665e-02]@[0.00000](570), [0.051731+4.63776e-02]@[0.00000](725), [0.041715+4.65869e-02]@[0.00000](338), [0.094578+4.66379e-02]@[0.00000](570) ... (14)
Sep 13, 2024 10:48:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    41760 loops (2024/sec), 19197385 sampling steps, 19222 aborted
    loop condition 0.030216, exit probability 0.029800 in initial state
    72900 explored states, 14 states in BSSCs (14 absorbing)
    16897 component updates, 109908390 transient state updates
    Bounds: [0.14278+3.02414e-02]@[0.00000](2024), [0.10956+3.03354e-02]@[0.00000](1718), [0.12342+3.03270e-02]@[0.00000](1306), [0.023502+3.03915e-02]@[0.00000](1146), [0.079241+3.01093e-02]@[0.00000](1303), [0.090145+3.04913e-02]@[0.00000](1323), [0.0051576+3.01001e-02]@[0.00000](863), [0.053366+3.00822e-02]@[0.00000](1213), [0.041779+3.03651e-02]@[0.00000](714), [0.094771+3.03901e-02]@[0.00000](1073) ... (14)
Sep 13, 2024 10:48:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    51706 loops (1989/sec), 23937988 sampling steps, 22340 aborted
    loop condition 0.024711, exit probability 0.024340 in initial state
    77555 explored states, 14 states in BSSCs (14 absorbing)
    23414 component updates, 152527786 transient state updates
    Bounds: [0.14286+2.47343e-02]@[0.00000](2599), [0.10960+2.46986e-02]@[0.00000](2242), [0.12358+2.47831e-02]@[0.00000](1861), [0.024433+2.48158e-02]@[0.00000](1532), [0.079588+2.46288e-02]@[0.00000](1804), [0.090372+2.48602e-02]@[0.00000](1893), [0.0063467+2.46184e-02]@[0.00000](1156), [0.053824+2.47037e-02]@[0.00000](1728), [0.041794+2.47909e-02]@[0.00000](1102), [0.094818+2.47876e-02]@[0.00000](1594) ... (14)
Sep 13, 2024 10:48:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    61570 loops (1972/sec), 28652981 sampling steps, 25389 aborted
    loop condition 0.021665, exit probability 0.021350 in initial state
    80826 explored states, 14 states in BSSCs (14 absorbing)
    30022 component updates, 195446462 transient state updates
    Bounds: [0.14289+2.17044e-02]@[0.00000](3163), [0.10961+2.16806e-02]@[0.00000](2803), [0.12365+2.17707e-02]@[0.00000](2413), [0.024926+2.17282e-02]@[0.00000](1934), [0.079743+2.16821e-02]@[0.00000](2351), [0.090481+2.17497e-02]@[0.00000](2438), [0.0071753+2.15460e-02]@[0.00000](1440), [0.054053+2.16851e-02]@[0.00000](2191), [0.041801+2.17793e-02]@[0.00000](1516), [0.094834+2.17465e-02]@[0.00000](2108) ... (14)
Sep 13, 2024 10:49:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    71175 loops (1921/sec), 33249296 sampling steps, 28216 aborted
    loop condition 0.019875, exit probability 0.019592 in initial state
    83300 explored states, 14 states in BSSCs (14 absorbing)
    36636 component updates, 238124199 transient state updates
    Bounds: [0.14291+1.99042e-02]@[0.00000](3731), [0.10962+1.98646e-02]@[0.00000](3364), [0.12370+1.99700e-02]@[0.00000](2962), [0.025207+1.98986e-02]@[0.00000](2330), [0.079832+1.98996e-02]@[0.00000](2875), [0.090538+1.99417e-02]@[0.00000](2956), [0.0077105+1.97558e-02]@[0.00000](1753), [0.054172+1.99046e-02]@[0.00000](2640), [0.041807+1.99444e-02]@[0.00000](1965), [0.094845+1.99198e-02]@[0.00000](2629) ... (14)
Sep 13, 2024 10:49:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    80793 loops (1923/sec), 37855941 sampling steps, 31059 aborted
    loop condition 0.018717, exit probability 0.018474 in initial state
    85339 explored states, 14 states in BSSCs (14 absorbing)
    43281 component updates, 280816527 transient state updates
    Bounds: [0.14292+1.87762e-02]@[0.00000](4303), [0.10963+1.87241e-02]@[0.00000](3922), [0.12374+1.88046e-02]@[0.00000](3481), [0.025380+1.87406e-02]@[0.00000](2749), [0.079894+1.87772e-02]@[0.00000](3426), [0.090579+1.87768e-02]@[0.00000](3471), [0.0080614+1.86358e-02]@[0.00000](2040), [0.054252+1.87531e-02]@[0.00000](3087), [0.041808+1.88193e-02]@[0.00000](2401), [0.094850+1.87577e-02]@[0.00000](3160) ... (14)
Sep 13, 2024 10:49:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    90370 loops (1915/sec), 42447561 sampling steps, 33812 aborted
    loop condition 0.017912, exit probability 0.017704 in initial state
    87069 explored states, 14 states in BSSCs (14 absorbing)
    50007 component updates, 323962966 transient state updates
    Bounds: [0.14293+1.80081e-02]@[0.00000](4892), [0.10963+1.79675e-02]@[0.00000](4464), [0.12375+1.80111e-02]@[0.00000](4040), [0.025493+1.79506e-02]@[0.00000](3186), [0.079927+1.80067e-02]@[0.00000](3947), [0.090611+1.79729e-02]@[0.00000](4006), [0.0083369+1.78639e-02]@[0.00000](2331), [0.054304+1.79167e-02]@[0.00000](3546), [0.041809+1.80119e-02]@[0.00000](2839), [0.094852+1.79667e-02]@[0.00000](3657) ... (14)
Sep 13, 2024 10:49:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    99875 loops (1901/sec), 47000825 sampling steps, 36454 aborted
    loop condition 0.017338, exit probability 0.017158 in initial state
    88713 explored states, 14 states in BSSCs (14 absorbing)
    56753 component updates, 367092668 transient state updates
    Bounds: [0.14293+1.74161e-02]@[0.00000](5453), [0.10963+1.74093e-02]@[0.00000](5018), [0.12377+1.74444e-02]@[0.00000](4588), [0.025575+1.73703e-02]@[0.00000](3591), [0.079954+1.74282e-02]@[0.00000](4484), [0.090627+1.74080e-02]@[0.00000](4525), [0.0085371+1.73062e-02]@[0.00000](2590), [0.054339+1.73448e-02]@[0.00000](4055), [0.041810+1.74321e-02]@[0.00000](3328), [0.094855+1.74097e-02]@[0.00000](4231) ... (14)
Sep 13, 2024 10:49:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    109508 loops (1926/sec), 51618645 sampling steps, 39178 aborted
    loop condition 0.016873, exit probability 0.016706 in initial state
    90180 explored states, 14 states in BSSCs (14 absorbing)
    63561 component updates, 410527565 transient state updates
    Bounds: [0.14294+1.69501e-02]@[0.00000](6001), [0.10963+1.69391e-02]@[0.00000](5563), [0.12378+1.69640e-02]@[0.00000](5146), [0.025639+1.68957e-02]@[0.00000](3996), [0.079972+1.69563e-02]@[0.00000](5049), [0.090638+1.69257e-02]@[0.00000](5076), [0.0087164+1.68382e-02]@[0.00000](2856), [0.054366+1.68971e-02]@[0.00000](4559), [0.041810+1.69754e-02]@[0.00000](3771), [0.094856+1.69420e-02]@[0.00000](4794) ... (14)
Sep 13, 2024 10:49:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    119135 loops (1925/sec), 56236562 sampling steps, 41984 aborted
    loop condition 0.016530, exit probability 0.016371 in initial state
    91548 explored states, 14 states in BSSCs (14 absorbing)
    70300 component updates, 453523239 transient state updates
    Bounds: [0.14294+1.65953e-02]@[0.00000](6523), [0.10964+1.65801e-02]@[0.00000](6095), [0.12378+1.66125e-02]@[0.00000](5704), [0.025684+1.65474e-02]@[0.00000](4436), [0.079986+1.66139e-02]@[0.00000](5599), [0.090648+1.65755e-02]@[0.00000](5613), [0.0088524+1.64856e-02]@[0.00000](3122), [0.054384+1.65619e-02]@[0.00000](5070), [0.041811+1.66274e-02]@[0.00000](4234), [0.094858+1.65947e-02]@[0.00000](5335) ... (14)
Sep 13, 2024 10:49:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    128693 loops (1911/sec), 60825290 sampling steps, 44762 aborted
    loop condition 0.016217, exit probability 0.016069 in initial state
    92516 explored states, 14 states in BSSCs (14 absorbing)
    77023 component updates, 496360634 transient state updates
    Bounds: [0.14294+1.62835e-02]@[0.00000](7079), [0.10964+1.62703e-02]@[0.00000](6650), [0.12379+1.63026e-02]@[0.00000](6280), [0.025727+1.62214e-02]@[0.00000](4853), [0.079995+1.62999e-02]@[0.00000](6111), [0.090654+1.62704e-02]@[0.00000](6175), [0.0089827+1.61732e-02]@[0.00000](3394), [0.054398+1.62588e-02]@[0.00000](5574), [0.041811+1.63190e-02]@[0.00000](4686), [0.094859+1.62820e-02]@[0.00000](5868) ... (14)
Sep 13, 2024 10:49:31 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:49:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    134953 loops (1252/sec), 63805164 sampling steps, 46213 aborted
    loop condition 0.014149, exit probability 0.013532 in initial state
    95244 explored states, 21 states in BSSCs (21 absorbing)
    81685 component updates, 540738868 transient state updates
    Bounds: [0.14295+1.42811e-02]@[0.00000](7385), [0.10964+1.41325e-02]@[0.00000](6959), [0.12380+1.43114e-02]@[0.00000](6577), [0.025807+1.42302e-02]@[0.00000](5109), [0.080014+1.44987e-02]@[0.00000](6394), [0.090663+1.43024e-02]@[0.00000](6463), [0.0092899+1.42431e-02]@[0.00000](3635), [0.054423+1.42163e-02]@[0.00000](5859), [0.041812+1.42911e-02]@[0.00000](4940), [0.094861+1.41677e-02]@[0.00000](6189) ... (21)
Sep 13, 2024 10:49:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    140423 loops (1094/sec), 66394189 sampling steps, 46901 aborted
    loop condition 0.0067050, exit probability 0.0056550 in initial state
    101104 explored states, 21 states in BSSCs (21 absorbing)
    86134 component updates, 584706456 transient state updates
    Bounds: [0.14295+6.88830e-03]@[0.00000](7609), [0.10964+6.72989e-03]@[0.00000](7177), [0.12381+6.81099e-03]@[0.00000](6824), [0.025898+6.68004e-03]@[0.00000](5327), [0.080031+6.94415e-03]@[0.00000](6636), [0.090673+6.76784e-03]@[0.00000](6680), [0.0097579+6.77909e-03]@[0.00000](3861), [0.054450+6.77397e-03]@[0.00000](6086), [0.041812+6.80945e-03]@[0.00000](5131), [0.094862+6.83217e-03]@[0.00000](6413) ... (21)
Sep 13, 2024 10:49:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    145975 loops (1110/sec), 69021748 sampling steps, 47435 aborted
    loop condition 0.0038267, exit probability 0.0029293 in initial state
    106383 explored states, 21 states in BSSCs (21 absorbing)
    90830 component updates, 625093476 transient state updates
    Bounds: [0.14295+4.01278e-03]@[0.00000](7868), [0.10964+3.85520e-03]@[0.00000](7398), [0.12382+3.90072e-03]@[0.00000](7073), [0.025955+3.80592e-03]@[0.00000](5587), [0.080045+3.92330e-03]@[0.00000](6892), [0.090683+3.91141e-03]@[0.00000](6913), [0.0099767+3.88636e-03]@[0.00000](4089), [0.054469+3.95855e-03]@[0.00000](6335), [0.041813+3.92038e-03]@[0.00000](5383), [0.094864+3.95656e-03]@[0.00000](6672) ... (21)
Sep 13, 2024 10:49:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    151628 loops (1130/sec), 71693732 sampling steps, 47885 aborted
    loop condition 0.0026206, exit probability 0.0018196 in initial state
    111459 explored states, 21 states in BSSCs (21 absorbing)
    95686 component updates, 660670811 transient state updates
    Bounds: [0.14295+2.74759e-03]@[0.00000](8158), [0.10964+2.71329e-03]@[0.00000](7657), [0.12382+2.69496e-03]@[0.00000](7302), [0.025988+2.64583e-03]@[0.00000](5832), [0.080054+2.71339e-03]@[0.00000](7134), [0.090690+2.69757e-03]@[0.00000](7198), [0.010076+2.66510e-03]@[0.00000](4308), [0.054484+2.74970e-03]@[0.00000](6613), [0.041814+2.71146e-03]@[0.00000](5619), [0.094864+2.76981e-03]@[0.00000](6962) ... (21)
Sep 13, 2024 10:49:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    157623 loops (1199/sec), 74537502 sampling steps, 48364 aborted
    loop condition 0.0019843, exit probability 0.0012119 in initial state
    115861 explored states, 21 states in BSSCs (21 absorbing)
    100926 component updates, 692639931 transient state updates
    Bounds: [0.14296+2.08670e-03]@[0.00000](8469), [0.10964+2.06427e-03]@[0.00000](7937), [0.12383+2.06785e-03]@[0.00000](7594), [0.026008+2.00845e-03]@[0.00000](6072), [0.080061+2.05331e-03]@[0.00000](7415), [0.090695+2.04873e-03]@[0.00000](7466), [0.010128+2.01087e-03]@[0.00000](4551), [0.054494+2.06070e-03]@[0.00000](6902), [0.041814+2.08292e-03]@[0.00000](5889), [0.094865+2.08929e-03]@[0.00000](7250) ... (21)
Sep 13, 2024 10:50:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    164430 loops (1361/sec), 77770497 sampling steps, 48895 aborted
    loop condition 0.0015961, exit probability 0.00084118 in initial state
    120319 explored states, 21 states in BSSCs (21 absorbing)
    106917 component updates, 722231282 transient state updates
    Bounds: [0.14296+1.70240e-03]@[0.00000](8811), [0.10964+1.69082e-03]@[0.00000](8231), [0.12383+1.67376e-03]@[0.00000](7901), [0.026022+1.64329e-03]@[0.00000](6371), [0.080067+1.66983e-03]@[0.00000](7730), [0.090699+1.65616e-03]@[0.00000](7800), [0.010159+1.61586e-03]@[0.00000](4841), [0.054501+1.69156e-03]@[0.00000](7225), [0.041814+1.68482e-03]@[0.00000](6242), [0.094865+1.68599e-03]@[0.00000](7554) ... (21)
Sep 13, 2024 10:50:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    172454 loops (1604/sec), 81587918 sampling steps, 49463 aborted
    loop condition 0.0013454, exit probability 0.00059145 in initial state
    124550 explored states, 21 states in BSSCs (21 absorbing)
    114107 component updates, 748796568 transient state updates
    Bounds: [0.14296+1.42853e-03]@[0.00000](9189), [0.10964+1.42268e-03]@[0.00000](8604), [0.12383+1.40383e-03]@[0.00000](8282), [0.026032+1.38692e-03]@[0.00000](6721), [0.080071+1.42093e-03]@[0.00000](8104), [0.090701+1.41284e-03]@[0.00000](8151), [0.010178+1.36358e-03]@[0.00000](5202), [0.054507+1.43098e-03]@[0.00000](7603), [0.041814+1.42703e-03]@[0.00000](6652), [0.094866+1.43527e-03]@[0.00000](7916) ... (21)
Sep 13, 2024 10:50:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    182414 loops (1992/sec), 86342294 sampling steps, 50149 aborted
    loop condition 0.0011706, exit probability 0.00043154 in initial state
    128717 explored states, 21 states in BSSCs (21 absorbing)
    123134 component updates, 772497560 transient state updates
    Bounds: [0.14296+1.24964e-03]@[0.00000](9715), [0.10964+1.25555e-03]@[0.00000](9061), [0.12383+1.23823e-03]@[0.00000](8736), [0.026039+1.21562e-03]@[0.00000](7209), [0.080073+1.24666e-03]@[0.00000](8597), [0.090703+1.24238e-03]@[0.00000](8620), [0.010190+1.19962e-03]@[0.00000](5666), [0.054510+1.25303e-03]@[0.00000](8076), [0.041814+1.26343e-03]@[0.00000](7148), [0.094866+1.25539e-03]@[0.00000](8397) ... (21)
Sep 13, 2024 10:50:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    195456 loops (2608/sec), 92573092 sampling steps, 51098 aborted
    loop condition 0.0010552, exit probability 0.00032288 in initial state
    133016 explored states, 21 states in BSSCs (21 absorbing)
    134976 component updates, 792320455 transient state updates
    Bounds: [0.14296+1.12990e-03]@[0.00000](10346), [0.10964+1.13851e-03]@[0.00000](9724), [0.12383+1.12880e-03]@[0.00000](9367), [0.026044+1.10056e-03]@[0.00000](7796), [0.080075+1.12663e-03]@[0.00000](9240), [0.090704+1.12667e-03]@[0.00000](9251), [0.010199+1.09498e-03]@[0.00000](6220), [0.054513+1.13621e-03]@[0.00000](8696), [0.041814+1.14196e-03]@[0.00000](7826), [0.094866+1.13428e-03]@[0.00000](9021) ... (21)
Sep 13, 2024 10:50:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    206039 loops (3321/sec), 97631843 sampling steps, 51862 aborted
    loop condition 0.00099998, exit probability 0.00026881 in initial state
    136100 explored states, 21 states in BSSCs (21 absorbing)
    144610 component updates, 802784199 transient state updates
    Bounds: [0.14296+1.07712e-03]@[0.00000](10847), [0.10964+1.08593e-03]@[0.00000](10204), [0.12383+1.07836e-03]@[0.00000](9936), [0.026046+1.04691e-03]@[0.00000](8274), [0.080077+1.07063e-03]@[0.00000](9749), [0.090705+1.07831e-03]@[0.00000](9736), [0.010203+1.03558e-03]@[0.00000](6733), [0.054514+1.07568e-03]@[0.00000](9193), [0.041814+1.08327e-03]@[0.00000](8347), [0.094866+1.08397e-03]@[0.00000](9528) ... (21)