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

Benchmark

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

Invocation (default-abs.ap-naive)

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

default engine and absolute (default) error criterion

Execution

Walltime (MC-Time):	45.22731852531433s (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_NAIVE --precision 0.001
Sep 13, 2024 10:47:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    3569 loops (713/sec), 63710219 sampling steps, 0 aborted
    loop condition 1.0000, exit probability 1.0000 in initial state
    35691 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:
    5131 loops (312/sec), 131666591 sampling steps, 0 aborted
    loop condition 1.0000, exit probability 1.0000 in initial state
    51311 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:
    6229 loops (219/sec), 194039579 sampling steps, 0 aborted
    loop condition 1.0000, exit probability 1.0000 in initial state
    62291 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:
    7168 loops (187/sec), 256944128 sampling steps, 0 aborted
    loop condition 1.0000, exit probability 1.0000 in initial state
    71681 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:
    7985 loops (163/sec), 318849035 sampling steps, 0 aborted
    loop condition 1.0000, exit probability 1.0000 in initial state
    79851 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:
    8715 loops (145/sec), 379808415 sampling steps, 0 aborted
    loop condition 1.0000, exit probability 1.0000 in initial state
    87151 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:
    9376 loops (132/sec), 439603136 sampling steps, 0 aborted
    loop condition 1.0000, exit probability 1.0000 in initial state
    93761 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:
    9953 loops (115/sec), 495370763 sampling steps, 0 aborted
    loop condition 1.0000, exit probability 1.0000 in initial state
    99531 explored states, 0 states in BSSCs (0 absorbing)
    0 component updates, 0 transient state updates
    Bounds: None
Sep 13, 2024 10:47:38 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