sds.default-abs.ap-sample - crafted-loop 100000

Benchmark

Model:	(crafted-loop)
Parameter(s)	size = 100000

Invocation (default-abs.ap-sample)

	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/dtmc/crafted-loop/crafted-loop.pm --const size=100000  approximate --sampling SAMPLE_TARGET  --precision 0.001

default engine and absolute (default) error criterion

Execution

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

STDERR

Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:46:57 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/crafted-loop/crafted-loop.pm --const size=100000 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:47:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    3500 loops (699/sec), 61271000 sampling steps, 0 aborted
    loop condition 1.0000, exit probability 1.0000 in initial state
    35001 explored states, 0 states in BSSCs (0 absorbing)
    0 component updates, 0 transient state updates
    Bounds: None
Sep 13, 2024 10:47:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    5024 loops (304/sec), 126233024 sampling steps, 0 aborted
    loop condition 1.0000, exit probability 1.0000 in initial state
    50241 explored states, 0 states in BSSCs (0 absorbing)
    0 component updates, 0 transient state updates
    Bounds: None
Sep 13, 2024 10:47:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    6099 loops (214/sec), 186025599 sampling steps, 0 aborted
    loop condition 1.0000, exit probability 1.0000 in initial state
    60991 explored states, 0 states in BSSCs (0 absorbing)
    0 component updates, 0 transient state updates
    Bounds: None
Sep 13, 2024 10:47:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    7028 loops (185/sec), 247006088 sampling steps, 0 aborted
    loop condition 1.0000, exit probability 1.0000 in initial state
    70281 explored states, 0 states in BSSCs (0 absorbing)
    0 component updates, 0 transient state updates
    Bounds: None
Sep 13, 2024 10:47:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    7849 loops (164/sec), 308081099 sampling steps, 0 aborted
    loop condition 1.0000, exit probability 1.0000 in initial state
    78491 explored states, 0 states in BSSCs (0 absorbing)
    0 component updates, 0 transient state updates
    Bounds: None
Sep 13, 2024 10:47:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    8588 loops (147/sec), 368820248 sampling steps, 0 aborted
    loop condition 1.0000, exit probability 1.0000 in initial state
    85881 explored states, 0 states in BSSCs (0 absorbing)
    0 component updates, 0 transient state updates
    Bounds: None
Sep 13, 2024 10:47:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    9260 loops (134/sec), 428793560 sampling steps, 0 aborted
    loop condition 1.0000, exit probability 1.0000 in initial state
    92601 explored states, 0 states in BSSCs (0 absorbing)
    0 component updates, 0 transient state updates
    Bounds: None
Sep 13, 2024 10:47:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    9863 loops (120/sec), 486453023 sampling steps, 0 aborted
    loop condition 1.0000, exit probability 1.0000 in initial state
    98631 explored states, 0 states in BSSCs (0 absorbing)
    0 component updates, 0 transient state updates
    Bounds: None
Sep 13, 2024 10:47:39 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