sds.default-abs.ap-naive

Benchmark
Model: (crafted-branch)
Parameter(s)p = 0.001, steps = 20, levels = 1000, loops = 100
Invocation (default-abs.ap-naive)
	$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_NAIVE  --precision 0.001
default engine and absolute (default) error criterion
Execution
Walltime (MC-Time):0.43587255477905273s (NA)
Return code:0
Note(s):Tool does not support file export.
Log
(1,20,1): 0.490585 (+ 0.0000)
(1,20,2): 0.245293 (+ 0.0000)
(1,20,3): 0.122646 (+ 0.0000)
(1,20,4): 0.0613231 (+ 0.0000)
(1,20,5): 0.0306616 (+ 0.0000)
(1,20,6): 0.0153308 (+ 0.0000)
(2,20,1): 0.00933045 (+ 0.00058844)
(1,20,7): 0.00766539 (+ 0.0000)
(2,20,2): 0.00466522 (+ 0.00058844)
(1,20,8): 0.00383270 (+ 0.0000)
(2,20,3): 0.00233261 (+ 0.00058844)
(1,20,9): 0.00191635 (+ 0.0000)
(2,20,4): 0.00116631 (+ 0.00058844)
(1,20,10): 0.000958174 (+ 0.0000)
(2,20,5): 0.000583153 (+ 0.00058844)
(1,20,11): 0.000479087 (+ 0.0000)
(1,20,12): 0.000239543 (+ 0.0000)
(1,20,13): 0.000119772 (+ 0.0000)
(1,20,14): 5.98859e-05 (+ 0.0000)
(1,20,15): 2.99429e-05 (+ 0.0000)
(1,20,16): 1.49715e-05 (+ 0.0000)
(1,20,17): 7.48573e-06 (+ 0.0000)
(1,20,18): 3.74287e-06 (+ 0.0000)
(1,20,19): 1.87143e-06 (+ 0.0000)
(1,20,20): 9.35717e-07 (+ 0.0000)
(1,20,21): 4.67858e-07 (+ 0.0000)
(1,20,22): 2.33929e-07 (+ 0.0000)
(1,20,23): 1.16965e-07 (+ 0.0000)
(1,20,24): 5.84823e-08 (+ 0.0000)
(1,20,25): 2.92411e-08 (+ 0.0000)
(1,20,26): 1.46206e-08 (+ 0.0000)
(1,20,27): 7.31029e-09 (+ 0.0000)
(1,20,28): 3.65514e-09 (+ 0.0000)
(1,20,29): 1.82757e-09 (+ 0.0000)
(1,20,30): 9.13786e-10 (+ 0.0000)
(1,20,31): 4.56893e-10 (+ 0.0000)
(1,20,32): 2.28446e-10 (+ 0.0000)
(1,20,33): 1.14223e-10 (+ 0.0000)
(1,20,34): 5.71116e-11 (+ 0.0000)
(1,20,35): 2.85558e-11 (+ 0.0000)
(1,20,36): 1.42779e-11 (+ 0.0000)
(1,20,37): 7.13895e-12 (+ 0.0000)
(1,20,38): 3.56948e-12 (+ 0.0000)
(1,20,39): 1.78474e-12 (+ 0.0000)
(1,20,40): 8.92369e-13 (+ 0.0000)
(1,20,41): 4.46184e-13 (+ 0.0000)
(1,20,42): 2.23092e-13 (+ 0.0000)
(1,20,43): 1.11546e-13 (+ 0.0000)
(1,20,44): 5.57731e-14 (+ 0.0000)
(1,20,45): 2.78865e-14 (+ 0.0000)
(1,20,46): 1.39433e-14 (+ 0.0000)
(1,20,47): 6.97163e-15 (+ 0.0000)
(1,20,48): 3.48582e-15 (+ 0.0000)
(1,20,49): 1.74291e-15 (+ 0.0000)
(1,20,50): 0.00000 (+ 0.0000)
(1,20,51): 0.00000 (+ 0.0000)
(1,20,52): 0.00000 (+ 0.0000)
(1,20,53): 0.00000 (+ 0.0000)
(1,20,54): 0.00000 (+ 0.0000)
(1,20,55): 0.00000 (+ 0.0000)
(1,20,56): 0.00000 (+ 0.0000)
(1,20,57): 0.00000 (+ 0.0000)
(1,20,58): 0.00000 (+ 0.0000)
(1,20,59): 0.00000 (+ 0.0000)
(1,20,60): 0.00000 (+ 0.0000)
(1,20,61): 0.00000 (+ 0.0000)
(1,20,62): 0.00000 (+ 0.0000)
(1,20,63): 0.00000 (+ 0.0000)
(1,20,64): 0.00000 (+ 0.0000)
(1,20,65): 0.00000 (+ 0.0000)
(1,20,66): 0.00000 (+ 0.0000)
(1,20,67): 0.00000 (+ 0.0000)
(1,20,68): 0.00000 (+ 0.0000)
(1,20,69): 0.00000 (+ 0.0000)
(1,20,70): 0.00000 (+ 0.0000)
(1,20,71): 0.00000 (+ 0.0000)
(1,20,72): 0.00000 (+ 0.0000)
(1,20,73): 0.00000 (+ 0.0000)
(1,20,74): 0.00000 (+ 0.0000)
(1,20,75): 0.00000 (+ 0.0000)
(1,20,76): 0.00000 (+ 0.0000)
(1,20,77): 0.00000 (+ 0.0000)
(1,20,78): 0.00000 (+ 0.0000)
(1,20,79): 0.00000 (+ 0.0000)
(1,20,80): 0.00000 (+ 0.0000)
(1,20,81): 0.00000 (+ 0.0000)
(1,20,82): 0.00000 (+ 0.0000)
(1,20,83): 0.00000 (+ 0.0000)
(1,20,84): 0.00000 (+ 0.0000)
(1,20,85): 0.00000 (+ 0.0000)
(1,20,86): 0.00000 (+ 0.0000)
(1,20,87): 0.00000 (+ 0.0000)
(1,20,88): 0.00000 (+ 0.0000)
(1,20,89): 0.00000 (+ 0.0000)
(1,20,90): 0.00000 (+ 0.0000)
(1,20,91): 0.00000 (+ 0.0000)
(1,20,92): 0.00000 (+ 0.0000)
(1,20,93): 0.00000 (+ 0.0000)
(1,20,94): 0.00000 (+ 0.0000)
(1,20,95): 0.00000 (+ 0.0000)
(1,20,96): 0.00000 (+ 0.0000)
(1,20,97): 0.00000 (+ 0.0000)
(1,20,98): 0.00000 (+ 0.0000)
(1,20,99): 0.00000 (+ 0.0000)
(1,20,100): 0.00000 (+ 0.0000)
(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_NAIVE --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:
    7171 loops (48127/sec), 150228 sampling steps, 131 aborted
    loop condition 0.00075223, exit probability 0.00016907 in initial state
    257 explored states, 200 states in BSSCs (0 absorbing)
    7016 component updates, 133304 transient state updates
    Bounds: [0.018661+1.69074e-04]@[0.03125](11), [0.98117+1.78478e-02]@[0.00000](7005)