sds.default-abs.ap-sample

Benchmark

Model:	(embedded)
Parameter(s)	MAX_COUNT = 7

Invocation (default-abs.ap-sample)

	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/ctmc/embedded/embedded.prism --const MAX_COUNT=7  approximate --sampling SAMPLE_TARGET  --precision 0.001

default engine and absolute (default) error criterion

Execution

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

Log

(1,2,0,2,0,8,false,false,false): 0.598528 (+ 0.0000)
(1,2,0,0,0,8,false,false,false): 0.131475 (+ 0.0000)
(1,2,0,2,0,8,false,true,true): 0.100303 (+ 0.0000)
(1,2,0,0,0,8,false,true,true): 0.0517163 (+ 0.0000)
(1,0,0,2,0,8,false,false,false): 0.0443452 (+ 0.0000)
(1,2,0,2,0,8,false,true,false): 0.0419325 (+ 0.0000)
(1,0,0,0,0,8,false,false,false): 0.0101130 (+ 0.0000)
(1,2,0,0,0,8,false,true,false): 0.00954287 (+ 0.0000)
(1,0,0,2,0,8,false,true,true): 0.00495911 (+ 0.0000)
(1,0,0,0,0,8,false,true,true): 0.00277736 (+ 0.0000)
(1,0,0,2,0,8,false,true,false): 0.00220454 (+ 0.0000)
(1,0,0,0,0,8,false,true,false): 0.000504842 (+ 0.0000)
(1,2,0,1,0,8,false,false,false): 0.000207838 (+ 0.0000)
(1,1,0,2,0,8,false,false,false): 0.000207796 (+ 0.0000)
(1,1,0,0,0,8,false,false,false): 4.56516e-05 (+ 0.0000)
(1,1,0,2,0,8,false,true,true): 3.48187e-05 (+ 0.0000)
(1,2,0,1,0,8,false,true,true): 3.47435e-05 (+ 0.0000)
(1,1,0,0,0,8,false,true,true): 1.79458e-05 (+ 0.0000)
(1,0,0,1,0,8,false,false,false): 1.53814e-05 (+ 0.0000)
(1,1,0,2,0,8,false,true,false): 1.45820e-05 (+ 0.0000)
(1,2,0,1,0,8,false,true,false): 1.45690e-05 (+ 0.0000)
(1,1,0,0,0,8,false,true,false): 3.31711e-06 (+ 0.0000)
(1,0,0,1,0,8,false,true,true): 1.71940e-06 (+ 0.0000)
(1,0,0,1,0,8,false,true,false): 7.52561e-07 (+ 0.0000)
(1,1,0,1,0,8,false,false,false): 7.21731e-08 (+ 0.0000)
(1,1,0,1,0,8,false,true,true): 1.20808e-08 (+ 0.0000)
(1,1,0,1,0,8,false,true,false): 5.06794e-09 (+ 0.0000)
(1,1,0,1,0,8,false,false,true): 0.00000 (+ 0.0000)
(1,2,0,0,0,8,false,false,true): 0.00000 (+ 0.0000)
(1,1,0,2,0,8,false,false,true): 0.00000 (+ 0.0000)

STDERR

Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:49:29 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/embedded/embedded.prism --const MAX_COUNT=7 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:49:29 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 6, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:49:29 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 16, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:49:29 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:30 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 3, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:49:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    8585 loops (5978/sec), 544670 sampling steps, 6441 aborted
    loop condition 0.00099986, exit probability 0.00012513 in initial state
    3261 explored states, 30 states in BSSCs (30 absorbing)
    2073 component updates, 9635734 transient state updates
    Bounds: [0.00020784+1.08473e-03]@[0.00000](58), [0.00020780+1.08558e-03]@[0.00000](129), [0.59853+1.16963e-03]@[0.00000](120), [7.2173e-08+1.16802e-03]@[0.00000](62), [1.2081e-08+1.10173e-03]@[0.00000](19), [0.13147+1.09738e-03]@[0.00000](148), [4.5652e-05+1.09130e-03]@[0.00000](107), [0.0049591+1.14006e-03]@[0.00000](61), [1.7194e-06+1.10488e-03]@[0.00000](28), [1.5381e-05+1.07631e-03]@[0.00000](52) ... (30)