sds.default-abs.ap-sample

Benchmark
Model: (crafted-branch)
Parameter(s)p = 0.001, steps = 20, levels = 1000, loops = 100
Invocation (default-abs.ap-sample)
	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/dtmc/crafted-branch/crafted-branch.pm --const p=0.001,steps=20,levels=1000,loops=100  approximate --sampling SAMPLE_TARGET  --precision 0.001
default engine and absolute (default) error criterion
Execution
Walltime (MC-Time):0.4352078437805176s (NA)
Return code:0
Note(s):Tool does not support file export.
Log
(1,20,1): 0.490585 (+ 9.3775e-07)
(1,20,2): 0.245293 (+ 9.3775e-07)
(1,20,3): 0.122646 (+ 9.3775e-07)
(1,20,4): 0.0613231 (+ 9.3775e-07)
(1,20,5): 0.0306616 (+ 9.3775e-07)
(1,20,6): 0.0153308 (+ 9.3775e-07)
(2,20,1): 0.00933045 (+ 0.00058844)
(1,20,7): 0.00766539 (+ 9.3775e-07)
(2,20,2): 0.00466522 (+ 0.00058844)
(1,20,8): 0.00383270 (+ 9.3775e-07)
(2,20,3): 0.00233261 (+ 0.00058844)
(1,20,9): 0.00191635 (+ 9.3775e-07)
(2,20,4): 0.00116631 (+ 0.00058844)
(1,20,10): 0.000958174 (+ 9.3775e-07)
(2,20,5): 0.000583153 (+ 0.00058844)
(1,20,11): 0.000479087 (+ 9.3775e-07)
(1,20,12): 0.000239543 (+ 9.3775e-07)
(1,20,13): 0.000119772 (+ 9.3775e-07)
(1,20,14): 5.98859e-05 (+ 9.3775e-07)
(1,20,15): 2.99429e-05 (+ 9.3775e-07)
(1,20,16): 1.49715e-05 (+ 9.3775e-07)
(1,20,17): 7.48573e-06 (+ 9.3775e-07)
(1,20,18): 3.74287e-06 (+ 9.3775e-07)
(1,20,19): 1.87143e-06 (+ 9.3775e-07)
(1,20,20): 9.35717e-07 (+ 9.3775e-07)
(1,20,21): 0.00000 (+ 9.3775e-07)
(1,20,22): 0.00000 (+ 9.3775e-07)
(1,20,23): 0.00000 (+ 9.3775e-07)
(1,20,24): 0.00000 (+ 9.3775e-07)
(1,20,25): 0.00000 (+ 9.3775e-07)
(1,20,26): 0.00000 (+ 9.3775e-07)
(1,20,27): 0.00000 (+ 9.3775e-07)
(1,20,28): 0.00000 (+ 9.3775e-07)
(1,20,29): 0.00000 (+ 9.3775e-07)
(1,20,30): 0.00000 (+ 9.3775e-07)
(1,20,31): 0.00000 (+ 9.3775e-07)
(1,20,32): 0.00000 (+ 9.3775e-07)
(1,20,33): 0.00000 (+ 9.3775e-07)
(1,20,34): 0.00000 (+ 9.3775e-07)
(1,20,35): 0.00000 (+ 9.3775e-07)
(1,20,36): 0.00000 (+ 9.3775e-07)
(1,20,37): 0.00000 (+ 9.3775e-07)
(1,20,38): 0.00000 (+ 9.3775e-07)
(1,20,39): 0.00000 (+ 9.3775e-07)
(1,20,40): 0.00000 (+ 9.3775e-07)
(1,20,41): 0.00000 (+ 9.3775e-07)
(1,20,42): 0.00000 (+ 9.3775e-07)
(1,20,43): 0.00000 (+ 9.3775e-07)
(1,20,44): 0.00000 (+ 9.3775e-07)
(1,20,45): 0.00000 (+ 9.3775e-07)
(1,20,46): 0.00000 (+ 9.3775e-07)
(1,20,47): 0.00000 (+ 9.3775e-07)
(1,20,48): 0.00000 (+ 9.3775e-07)
(1,20,49): 0.00000 (+ 9.3775e-07)
(1,20,50): 0.00000 (+ 9.3775e-07)
(1,20,51): 0.00000 (+ 9.3775e-07)
(1,20,52): 0.00000 (+ 9.3775e-07)
(1,20,53): 0.00000 (+ 9.3775e-07)
(1,20,54): 0.00000 (+ 9.3775e-07)
(1,20,55): 0.00000 (+ 9.3775e-07)
(1,20,56): 0.00000 (+ 9.3775e-07)
(1,20,57): 0.00000 (+ 9.3775e-07)
(1,20,58): 0.00000 (+ 9.3775e-07)
(1,20,59): 0.00000 (+ 9.3775e-07)
(1,20,60): 0.00000 (+ 9.3775e-07)
(1,20,61): 0.00000 (+ 9.3775e-07)
(1,20,62): 0.00000 (+ 9.3775e-07)
(1,20,63): 0.00000 (+ 9.3775e-07)
(1,20,64): 0.00000 (+ 9.3775e-07)
(1,20,65): 0.00000 (+ 9.3775e-07)
(1,20,66): 0.00000 (+ 9.3775e-07)
(1,20,67): 0.00000 (+ 9.3775e-07)
(1,20,68): 0.00000 (+ 9.3775e-07)
(1,20,69): 0.00000 (+ 9.3775e-07)
(1,20,70): 0.00000 (+ 9.3775e-07)
(1,20,71): 0.00000 (+ 9.3775e-07)
(1,20,72): 0.00000 (+ 9.3775e-07)
(1,20,73): 0.00000 (+ 9.3775e-07)
(1,20,74): 0.00000 (+ 9.3775e-07)
(1,20,75): 0.00000 (+ 9.3775e-07)
(1,20,76): 0.00000 (+ 9.3775e-07)
(1,20,77): 0.00000 (+ 9.3775e-07)
(1,20,78): 0.00000 (+ 9.3775e-07)
(1,20,79): 0.00000 (+ 9.3775e-07)
(1,20,80): 0.00000 (+ 9.3775e-07)
(1,20,81): 0.00000 (+ 9.3775e-07)
(1,20,82): 0.00000 (+ 9.3775e-07)
(1,20,83): 0.00000 (+ 9.3775e-07)
(1,20,84): 0.00000 (+ 9.3775e-07)
(1,20,85): 0.00000 (+ 9.3775e-07)
(1,20,86): 0.00000 (+ 9.3775e-07)
(1,20,87): 0.00000 (+ 9.3775e-07)
(1,20,88): 0.00000 (+ 9.3775e-07)
(1,20,89): 0.00000 (+ 9.3775e-07)
(1,20,90): 0.00000 (+ 9.3775e-07)
(1,20,91): 0.00000 (+ 9.3775e-07)
(1,20,92): 0.00000 (+ 9.3775e-07)
(1,20,93): 0.00000 (+ 9.3775e-07)
(1,20,94): 0.00000 (+ 9.3775e-07)
(1,20,95): 0.00000 (+ 9.3775e-07)
(1,20,96): 0.00000 (+ 9.3775e-07)
(1,20,97): 0.00000 (+ 9.3775e-07)
(1,20,98): 0.00000 (+ 9.3775e-07)
(1,20,99): 0.00000 (+ 9.3775e-07)
(1,20,100): 0.00000 (+ 9.3775e-07)
(2,20,6): 0.00000 (+ 0.00058844)
(2,20,7): 0.00000 (+ 0.00058844)
(2,20,8): 0.00000 (+ 0.00058844)
(2,20,9): 0.00000 (+ 0.00058844)
(2,20,10): 0.00000 (+ 0.00058844)
(2,20,11): 0.00000 (+ 0.00058844)
(2,20,12): 0.00000 (+ 0.00058844)
(2,20,13): 0.00000 (+ 0.00058844)
(2,20,14): 0.00000 (+ 0.00058844)
(2,20,15): 0.00000 (+ 0.00058844)
(2,20,16): 0.00000 (+ 0.00058844)
(2,20,17): 0.00000 (+ 0.00058844)
(2,20,18): 0.00000 (+ 0.00058844)
(2,20,19): 0.00000 (+ 0.00058844)
(2,20,20): 0.00000 (+ 0.00058844)
(2,20,21): 0.00000 (+ 0.00058844)
(2,20,22): 0.00000 (+ 0.00058844)
(2,20,23): 0.00000 (+ 0.00058844)
(2,20,24): 0.00000 (+ 0.00058844)
(2,20,25): 0.00000 (+ 0.00058844)
(2,20,26): 0.00000 (+ 0.00058844)
(2,20,27): 0.00000 (+ 0.00058844)
(2,20,28): 0.00000 (+ 0.00058844)
(2,20,29): 0.00000 (+ 0.00058844)
(2,20,30): 0.00000 (+ 0.00058844)
(2,20,31): 0.00000 (+ 0.00058844)
(2,20,32): 0.00000 (+ 0.00058844)
(2,20,33): 0.00000 (+ 0.00058844)
(2,20,34): 0.00000 (+ 0.00058844)
(2,20,35): 0.00000 (+ 0.00058844)
(2,20,36): 0.00000 (+ 0.00058844)
(2,20,37): 0.00000 (+ 0.00058844)
(2,20,38): 0.00000 (+ 0.00058844)
(2,20,39): 0.00000 (+ 0.00058844)
(2,20,40): 0.00000 (+ 0.00058844)
(2,20,41): 0.00000 (+ 0.00058844)
(2,20,42): 0.00000 (+ 0.00058844)
(2,20,43): 0.00000 (+ 0.00058844)
(2,20,44): 0.00000 (+ 0.00058844)
(2,20,45): 0.00000 (+ 0.00058844)
(2,20,46): 0.00000 (+ 0.00058844)
(2,20,47): 0.00000 (+ 0.00058844)
(2,20,48): 0.00000 (+ 0.00058844)
(2,20,49): 0.00000 (+ 0.00058844)
(2,20,50): 0.00000 (+ 0.00058844)
(2,20,51): 0.00000 (+ 0.00058844)
(2,20,52): 0.00000 (+ 0.00058844)
(2,20,53): 0.00000 (+ 0.00058844)
(2,20,54): 0.00000 (+ 0.00058844)
(2,20,55): 0.00000 (+ 0.00058844)
(2,20,56): 0.00000 (+ 0.00058844)
(2,20,57): 0.00000 (+ 0.00058844)
(2,20,58): 0.00000 (+ 0.00058844)
(2,20,59): 0.00000 (+ 0.00058844)
(2,20,60): 0.00000 (+ 0.00058844)
(2,20,61): 0.00000 (+ 0.00058844)
(2,20,62): 0.00000 (+ 0.00058844)
(2,20,63): 0.00000 (+ 0.00058844)
(2,20,64): 0.00000 (+ 0.00058844)
(2,20,65): 0.00000 (+ 0.00058844)
(2,20,66): 0.00000 (+ 0.00058844)
(2,20,67): 0.00000 (+ 0.00058844)
(2,20,68): 0.00000 (+ 0.00058844)
(2,20,69): 0.00000 (+ 0.00058844)
(2,20,70): 0.00000 (+ 0.00058844)
(2,20,71): 0.00000 (+ 0.00058844)
(2,20,72): 0.00000 (+ 0.00058844)
(2,20,73): 0.00000 (+ 0.00058844)
(2,20,74): 0.00000 (+ 0.00058844)
(2,20,75): 0.00000 (+ 0.00058844)
(2,20,76): 0.00000 (+ 0.00058844)
(2,20,77): 0.00000 (+ 0.00058844)
(2,20,78): 0.00000 (+ 0.00058844)
(2,20,79): 0.00000 (+ 0.00058844)
(2,20,80): 0.00000 (+ 0.00058844)
(2,20,81): 0.00000 (+ 0.00058844)
(2,20,82): 0.00000 (+ 0.00058844)
(2,20,83): 0.00000 (+ 0.00058844)
(2,20,84): 0.00000 (+ 0.00058844)
(2,20,85): 0.00000 (+ 0.00058844)
(2,20,86): 0.00000 (+ 0.00058844)
(2,20,87): 0.00000 (+ 0.00058844)
(2,20,88): 0.00000 (+ 0.00058844)
(2,20,89): 0.00000 (+ 0.00058844)
(2,20,90): 0.00000 (+ 0.00058844)
(2,20,91): 0.00000 (+ 0.00058844)
(2,20,92): 0.00000 (+ 0.00058844)
(2,20,93): 0.00000 (+ 0.00058844)
(2,20,94): 0.00000 (+ 0.00058844)
(2,20,95): 0.00000 (+ 0.00058844)
(2,20,96): 0.00000 (+ 0.00058844)
(2,20,97): 0.00000 (+ 0.00058844)
(2,20,98): 0.00000 (+ 0.00058844)
(2,20,99): 0.00000 (+ 0.00058844)
(2,20,100): 0.00000 (+ 0.00058844)
STDERR
Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:46:53 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/crafted-branch/crafted-branch.pm --const p=0.001,steps=20,levels=1000,loops=100 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:46:53 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:46:53 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:46:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    357 loops (3570/sec), 21334 sampling steps, 131 aborted
    loop condition 0.00075316, exit probability 0.00016907 in initial state
    397 explored states, 200 states in BSSCs (0 absorbing)
    188 component updates, 4137 transient state updates
    Bounds: [0.018661+1.69074e-04]@[0.03125](16), [0.98117+2.13338e-03]@[0.00000](172)