sds.default-abs.ap-naive

Benchmark
Model: (embedded)
Parameter(s)MAX_COUNT = 4
Invocation (default-abs.ap-naive)
	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/ctmc/embedded/embedded.prism --const MAX_COUNT=4  approximate --sampling SAMPLE_NAIVE  --precision 0.001
default engine and absolute (default) error criterion
Execution
Walltime (MC-Time):24.83108615875244s (NA)
Return code:0
Note(s):Tool does not support file export.
Log
(1,2,0,2,0,5,false,false,false): 0.598946 (+ 0.0000)
(1,2,0,0,0,5,false,false,false): 0.131528 (+ 0.0000)
(1,2,0,2,0,5,false,true,true): 0.100225 (+ 0.0000)
(1,2,0,0,0,5,false,true,true): 0.0517491 (+ 0.0000)
(1,0,0,2,0,5,false,false,false): 0.0444069 (+ 0.0000)
(1,2,0,2,0,5,false,true,false): 0.0421235 (+ 0.0000)
(1,0,0,0,0,5,false,false,false): 0.0101259 (+ 0.0000)
(1,2,0,0,0,5,false,true,false): 0.00958614 (+ 0.0000)
(1,0,0,2,0,5,false,true,true): 0.00491396 (+ 0.0000)
(1,0,0,0,0,5,false,true,true): 0.00273482 (+ 0.0000)
(1,0,0,2,0,5,false,true,false): 0.00206126 (+ 0.0000)
(1,2,0,1,0,5,false,false,false): 0.000207961 (+ 0.0000)
(1,1,0,2,0,5,false,false,false): 0.000207910 (+ 0.0000)
(1,1,0,0,0,5,false,false,false): 4.56480e-05 (+ 0.0000)
(1,1,0,2,0,5,false,true,true): 3.48215e-05 (+ 0.0000)
(1,2,0,1,0,5,false,true,true): 3.48099e-05 (+ 0.0000)
(1,1,0,0,0,5,false,true,true): 1.79615e-05 (+ 0.0000)
(1,0,0,1,0,5,false,false,false): 1.54129e-05 (+ 0.0000)
(1,2,0,1,0,5,false,true,false): 1.46252e-05 (+ 0.0000)
(1,1,0,2,0,5,false,true,false): 1.44433e-05 (+ 0.0000)
(1,1,0,0,0,5,false,true,false): 3.33052e-06 (+ 0.0000)
(1,0,0,1,0,5,false,true,true): 1.71023e-06 (+ 0.0000)
(1,0,0,1,0,5,false,true,false): 7.42325e-07 (+ 0.0000)
(1,1,0,1,0,5,false,false,false): 7.22089e-08 (+ 0.0000)
(1,1,0,1,0,5,false,true,true): 1.20876e-08 (+ 0.0000)
(1,1,0,1,0,5,false,true,false): 5.07863e-09 (+ 0.0000)
STDERR
Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:49:01 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/embedded/embedded.prism --const MAX_COUNT=4 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:49:01 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 5, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:49:01 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 21, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:49:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    161468 loops (32293/sec), 10631564 sampling steps, 438 aborted
    loop condition 0.013112, exit probability 0.0011150 in initial state
    1735 explored states, 26 states in BSSCs (26 absorbing)
    160987 component updates, 10600633 transient state updates
    Bounds: [0.044035+9.55963e-01]@[0.00000](3746), [0.13153+7.73004e-01]@[0.00000](7701), [0.00020771+9.99792e-01]@[0.00000](32023), [4.5638e-05+9.99921e-01]@[0.00000](13776), [7.2161e-08+9.99967e-01]@[0.00000](30634), [1.5327e-05+9.48291e-01]@[0.00000](3397), [8.9006e-07+9.90888e-01]@[0.00000](489), [0.0020791+9.92574e-01]@[0.00000](427), [0.098657+8.91997e-01]@[0.00000](1916), [1.7890e-05+9.90040e-01]@[0.00000](4747) ... (26)
Sep 13, 2024 10:49:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    330035 loops (33713/sec), 21749836 sampling steps, 525 aborted
    loop condition 0.0038091, exit probability 0.00068271 in initial state
    1796 explored states, 26 states in BSSCs (26 absorbing)
    329467 component updates, 21714280 transient state updates
    Bounds: [0.044339+9.55658e-01]@[0.00000](7516), [0.13153+7.73003e-01]@[0.00000](15430), [0.00020783+9.99792e-01]@[0.00000](65572), [4.5645e-05+9.99921e-01]@[0.00000](28528), [7.2180e-08+9.99967e-01]@[0.00000](62810), [1.5410e-05+9.48078e-01]@[0.00000](6970), [1.6795e-06+9.90592e-01]@[0.00000](1030), [0.0025274+9.88878e-01]@[0.00000](876), [0.099914+8.90647e-01]@[0.00000](3954), [1.7945e-05+9.89973e-01]@[0.00000](9578) ... (26)
Sep 13, 2024 10:49:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    500621 loops (34117/sec), 32980597 sampling steps, 620 aborted
    loop condition 0.0019669, exit probability 0.00061335 in initial state
    1819 explored states, 26 states in BSSCs (26 absorbing)
    499958 component updates, 32939571 transient state updates
    Bounds: [0.044388+9.55610e-01]@[0.00000](11354), [0.13153+7.73003e-01]@[0.00000](23468), [0.00020791+9.99792e-01]@[0.00000](99272), [4.5648e-05+9.99921e-01]@[0.00000](43118), [7.2209e-08+9.99967e-01]@[0.00000](95308), [1.5413e-05+9.48071e-01]@[0.00000](10718), [1.6997e-06+9.90589e-01]@[0.00000](1552), [0.0026656+9.87926e-01]@[0.00000](1377), [0.10003+8.90534e-01]@[0.00000](6047), [1.7956e-05+9.89950e-01]@[0.00000](14617) ... (26)
Sep 13, 2024 10:49:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    670845 loops (34044/sec), 44204211 sampling steps, 710 aborted
    loop condition 0.0013524, exit probability 0.00057351 in initial state
    1871 explored states, 26 states in BSSCs (26 absorbing)
    670091 component updates, 44158113 transient state updates
    Bounds: [0.044404+9.55594e-01]@[0.00000](15204), [0.13153+7.73001e-01]@[0.00000](31370), [0.00020791+9.99792e-01]@[0.00000](132972), [4.5648e-05+9.99921e-01]@[0.00000](57629), [7.2209e-08+9.99967e-01]@[0.00000](127886), [1.5413e-05+9.48071e-01]@[0.00000](14440), [1.7093e-06+9.90589e-01]@[0.00000](2132), [0.0027095+9.87684e-01]@[0.00000](1824), [0.10011+8.90447e-01]@[0.00000](8110), [1.7960e-05+9.89940e-01]@[0.00000](19580) ... (26)
Sep 13, 2024 10:49:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    824927 loops (33819/sec), 54360383 sampling steps, 793 aborted
    loop condition 0.00099998, exit probability 0.00056447 in initial state
    1912 explored states, 26 states in BSSCs (26 absorbing)
    824090 component updates, 54309792 transient state updates
    Bounds: [0.044407+9.55591e-01]@[0.00000](18741), [0.13153+7.72998e-01]@[0.00000](38580), [0.00020791+9.99792e-01]@[0.00000](163488), [4.5648e-05+9.99921e-01]@[0.00000](70875), [7.2209e-08+9.99967e-01]@[0.00000](157166), [1.5413e-05+9.48071e-01]@[0.00000](17679), [1.7102e-06+9.90589e-01]@[0.00000](2620), [0.0027348+9.87549e-01]@[0.00000](2262), [0.10022+8.90335e-01]@[0.00000](10002), [1.7961e-05+9.89936e-01]@[0.00000](24064) ... (26)