sds.default-abs.ap-naive

Benchmark
Model: (embedded)
Parameter(s)MAX_COUNT = 7
Invocation (default-abs.ap-naive)
	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/ctmc/embedded/embedded.prism --const MAX_COUNT=7  approximate --sampling SAMPLE_NAIVE  --precision 0.001
default engine and absolute (default) error criterion
Execution
Walltime (MC-Time):28.188392639160156s (NA)
Return code:0
Note(s):Tool does not support file export.
Log
(1,2,0,2,0,8,false,false,false): 0.598771 (+ 0.0000)
(1,2,0,0,0,8,false,false,false): 0.131529 (+ 0.0000)
(1,2,0,2,0,8,false,true,true): 0.100217 (+ 0.0000)
(1,2,0,0,0,8,false,true,true): 0.0517502 (+ 0.0000)
(1,0,0,2,0,8,false,false,false): 0.0443859 (+ 0.0000)
(1,2,0,2,0,8,false,true,false): 0.0420904 (+ 0.0000)
(1,0,0,0,0,8,false,false,false): 0.0101225 (+ 0.0000)
(1,2,0,0,0,8,false,true,false): 0.00957480 (+ 0.0000)
(1,0,0,2,0,8,false,true,true): 0.00490788 (+ 0.0000)
(1,0,0,0,0,8,false,true,true): 0.00274181 (+ 0.0000)
(1,0,0,2,0,8,false,true,false): 0.00208658 (+ 0.0000)
(1,0,0,0,0,8,false,true,false): 0.000222861 (+ 0.0000)
(1,2,0,1,0,8,false,false,false): 0.000207956 (+ 0.0000)
(1,1,0,2,0,8,false,false,false): 0.000207910 (+ 0.0000)
(1,1,0,0,0,8,false,false,false): 4.56382e-05 (+ 0.0000)
(1,1,0,2,0,8,false,true,true): 3.48220e-05 (+ 0.0000)
(1,2,0,1,0,8,false,true,true): 3.48065e-05 (+ 0.0000)
(1,1,0,0,0,8,false,true,true): 1.79655e-05 (+ 0.0000)
(1,0,0,1,0,8,false,false,false): 1.54181e-05 (+ 0.0000)
(1,2,0,1,0,8,false,true,false): 1.46064e-05 (+ 0.0000)
(1,1,0,2,0,8,false,true,false): 1.44391e-05 (+ 0.0000)
(1,1,0,0,0,8,false,true,false): 3.32406e-06 (+ 0.0000)
(1,0,0,1,0,8,false,true,true): 1.70528e-06 (+ 0.0000)
(1,0,0,1,0,8,false,true,false): 7.37807e-07 (+ 0.0000)
(1,1,0,1,0,8,false,false,false): 7.21918e-08 (+ 0.0000)
(1,1,0,1,0,8,false,true,true): 1.20843e-08 (+ 0.0000)
(1,1,0,1,0,8,false,true,false): 5.07612e-09 (+ 0.0000)
STDERR
Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:49:32 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/embedded/embedded.prism --const MAX_COUNT=7 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:49:32 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 4, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:49:32 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 22, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:49:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    146169 loops (29233/sec), 10104579 sampling steps, 851 aborted
    loop condition 0.017836, exit probability 0.00077522 in initial state
    2304 explored states, 26 states in BSSCs (26 absorbing)
    145269 component updates, 10038339 transient state updates
    Bounds: [0.59359+4.06382e-01]@[0.00000](16544), [0.00020787+9.04402e-01]@[0.00000](14319), [7.2160e-08+9.99967e-01]@[0.00000](27810), [0.00020758+9.99792e-01]@[0.00000](28889), [0.0020684+7.85511e-01]@[0.00000](419), [1.7852e-05+7.30879e-01]@[0.00000](4164), [2.8505e-06+7.55147e-01]@[0.00000](789), [4.5636e-05+7.31190e-01]@[0.00000](12468), [0.043916+6.87469e-01]@[0.00000](3321), [1.2333e-05+7.80407e-01]@[0.00000](1604) ... (26)
Sep 13, 2024 10:49:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    303328 loops (31431/sec), 20987841 sampling steps, 1396 aborted
    loop condition 0.0051188, exit probability 0.00020492 in initial state
    2441 explored states, 26 states in BSSCs (26 absorbing)
    301882 component updates, 20878513 transient state updates
    Bounds: [0.59823+4.01739e-01]@[0.00000](34127), [0.00020796+9.04357e-01]@[0.00000](29821), [7.2163e-08+9.99967e-01]@[0.00000](57832), [0.00020782+9.99792e-01]@[0.00000](59851), [0.0025574+7.40207e-01]@[0.00000](867), [1.7934e-05+7.30806e-01]@[0.00000](8805), [3.2531e-06+7.33179e-01]@[0.00000](1665), [4.5638e-05+7.31190e-01]@[0.00000](25865), [0.044253+6.87132e-01]@[0.00000](6970), [1.3312e-05+7.56521e-01]@[0.00000](3414) ... (26)
Sep 13, 2024 10:49:44 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 1, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:49:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    459316 loops (31197/sec), 31776619 sampling steps, 1589 aborted
    loop condition 0.0026238, exit probability 9.2188e-05 in initial state
    2503 explored states, 27 states in BSSCs (27 absorbing)
    457677 component updates, 31651963 transient state updates
    Bounds: [0.59870+4.01270e-01]@[0.00000](51664), [0.00020796+9.04357e-01]@[0.00000](45191), [7.2164e-08+9.99967e-01]@[0.00000](87327), [0.00020783+9.99792e-01]@[0.00000](90811), [0.0026795+7.30779e-01]@[0.00000](1309), [1.7950e-05+7.30784e-01]@[0.00000](13323), [3.3108e-06+7.31213e-01]@[0.00000](2586), [4.5638e-05+7.31190e-01]@[0.00000](39097), [0.044336+6.87049e-01]@[0.00000](10493), [1.3781e-05+7.45217e-01]@[0.00000](5214) ... (27)
Sep 13, 2024 10:49:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    617872 loops (31711/sec), 42764513 sampling steps, 1589 aborted
    loop condition 0.0016541, exit probability 6.9472e-05 in initial state
    2550 explored states, 27 states in BSSCs (27 absorbing)
    616233 component updates, 42639857 transient state updates
    Bounds: [0.59876+4.01204e-01]@[0.00000](69298), [0.00020796+9.04357e-01]@[0.00000](60708), [7.2165e-08+9.99967e-01]@[0.00000](117870), [0.00020783+9.99792e-01]@[0.00000](122295), [0.0027206+7.28924e-01]@[0.00000](1797), [1.7957e-05+7.30771e-01]@[0.00000](17778), [3.3194e-06+7.31081e-01]@[0.00000](3437), [4.5638e-05+7.31190e-01]@[0.00000](52750), [0.044380+6.87004e-01]@[0.00000](14080), [1.4105e-05+7.37132e-01]@[0.00000](6993) ... (27)
Sep 13, 2024 10:49:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    775505 loops (31526/sec), 53682008 sampling steps, 1589 aborted
    loop condition 0.0011669, exit probability 5.5544e-05 in initial state
    2562 explored states, 27 states in BSSCs (27 absorbing)
    773866 component updates, 53557352 transient state updates
    Bounds: [0.59877+4.01199e-01]@[0.00000](86865), [0.00020796+9.04357e-01]@[0.00000](76060), [7.2165e-08+9.99967e-01]@[0.00000](148114), [0.00020783+9.99792e-01]@[0.00000](153627), [0.0027374+7.28596e-01]@[0.00000](2266), [1.7964e-05+7.30767e-01]@[0.00000](22326), [3.3231e-06+7.31069e-01]@[0.00000](4312), [4.5638e-05+7.31190e-01]@[0.00000](66144), [0.044385+6.87000e-01]@[0.00000](17680), [1.4388e-05+7.30151e-01]@[0.00000](8772) ... (27)
Sep 13, 2024 10:50:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    866613 loops (31394/sec), 59980114 sampling steps, 1589 aborted
    loop condition 0.0010000, exit probability 4.9911e-05 in initial state
    2578 explored states, 27 states in BSSCs (27 absorbing)
    864974 component updates, 59855458 transient state updates
    Bounds: [0.59877+4.01195e-01]@[0.00000](97239), [0.00020796+9.04357e-01]@[0.00000](84821), [7.2192e-08+9.99967e-01]@[0.00000](165542), [0.00020791+9.99792e-01]@[0.00000](171779), [0.0027418+7.28547e-01]@[0.00000](2518), [1.7965e-05+7.30763e-01]@[0.00000](24948), [3.3241e-06+7.31066e-01]@[0.00000](4789), [4.5638e-05+7.31190e-01]@[0.00000](73930), [0.044386+6.86999e-01]@[0.00000](19709), [1.4439e-05+7.28878e-01]@[0.00000](9771) ... (27)