sds.default-abs.ap-sample

Benchmark
Model: (lumbroso)
Parameter(s)N = 64000
Invocation (default-abs.ap-sample)
	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/dtmc/lumbroso/lumbroso.prism --const N=64000  approximate --sampling SAMPLE_TARGET  --precision 0.001
default engine and absolute (default) error criterion
Execution
Walltime (MC-Time):42.509395360946655s (NA)
Return code:-9
Note(s):Tool does not support file export.
STDERR
Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:48:30 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/lumbroso/lumbroso.prism --const N=64000 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:48:30 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 11, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:48:30 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 382, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:48:30 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 3649, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:48:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    7673 loops (1534/sec), 123649 sampling steps, 7524 aborted
    loop condition 0.99954, exit probability 0.99950 in initial state
    33726 explored states, 4042 states in BSSCs (4042 absorbing)
    0 component updates, 16219410 transient state updates
    Bounds: [0.0000+9.99512e-01]@[0.00000](0), [0.0000+9.99512e-01]@[0.00000](0), [0.0000+9.99512e-01]@[0.00000](0), [0.0000+9.99512e-01]@[0.00000](0), [0.0000+9.99512e-01]@[0.00000](0), [0.0000+9.99512e-01]@[0.00000](0), [0.0000+9.99512e-01]@[0.00000](0), [0.0000+9.99512e-01]@[0.00000](0), [0.0000+9.99512e-01]@[0.00000](0), [0.0000+9.99512e-01]@[0.00000](0) ... (4042)
Sep 13, 2024 10:48:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    11661 loops (797/sec), 188068 sampling steps, 11492 aborted
    loop condition 0.99910, exit probability 0.99905 in initial state
    44773 explored states, 4042 states in BSSCs (4042 absorbing)
    1 component updates, 33493764 transient state updates
    Bounds: [0.0000+9.99068e-01]@[0.00000](0), [0.0000+9.99068e-01]@[0.00000](0), [0.0000+9.99068e-01]@[0.00000](0), [0.0000+9.99068e-01]@[0.00000](0), [0.0000+9.99068e-01]@[0.00000](0), [0.0000+9.99068e-01]@[0.00000](0), [0.0000+9.99068e-01]@[0.00000](0), [0.0000+9.99068e-01]@[0.00000](0), [0.0000+9.99068e-01]@[0.00000](0), [0.0000+9.99068e-01]@[0.00000](0) ... (4042)
Sep 13, 2024 10:48:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    16730 loops (1013/sec), 270019 sampling steps, 16544 aborted
    loop condition 0.99858, exit probability 0.99853 in initial state
    56377 explored states, 4042 states in BSSCs (4042 absorbing)
    1 component updates, 54991827 transient state updates
    Bounds: [0.0000+9.98550e-01]@[0.00000](0), [0.0000+9.98550e-01]@[0.00000](0), [0.0000+9.98550e-01]@[0.00000](0), [0.0000+9.98550e-01]@[0.00000](0), [0.0000+9.98580e-01]@[0.00000](0), [0.0000+9.98550e-01]@[0.00000](0), [0.0000+9.98550e-01]@[0.00000](0), [0.0000+9.98550e-01]@[0.00000](0), [0.0000+9.98550e-01]@[0.00000](0), [0.0000+9.98550e-01]@[0.00000](0) ... (4042)
Sep 13, 2024 10:48:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    21654 loops (984/sec), 349504 sampling steps, 21462 aborted
    loop condition 0.99815, exit probability 0.99811 in initial state
    65610 explored states, 4042 states in BSSCs (4042 absorbing)
    1 component updates, 75811332 transient state updates
    Bounds: [0.0000+9.98122e-01]@[0.00000](0), [0.0000+9.98122e-01]@[0.00000](0), [0.0000+9.98122e-01]@[0.00000](0), [0.0000+9.98122e-01]@[0.00000](0), [0.0000+9.98153e-01]@[0.00000](0), [0.0000+9.98122e-01]@[0.00000](0), [0.0000+9.98122e-01]@[0.00000](0), [0.0000+9.98122e-01]@[0.00000](0), [0.0000+9.98122e-01]@[0.00000](0), [0.0000+9.98122e-01]@[0.00000](0) ... (4042)
Sep 13, 2024 10:48:57 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 18356, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:49:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    26570 loops (235/sec), 428861 sampling steps, 26373 aborted
    loop condition 0.99770, exit probability 0.99763 in initial state
    73477 explored states, 22398 states in BSSCs (22398 absorbing)
    1 component updates, 96630828 transient state updates
    Bounds: [0.0000+9.97649e-01]@[0.00000](0), [0.0000+9.97649e-01]@[0.00000](0), [0.0000+9.97649e-01]@[0.00000](0), [0.0000+9.97649e-01]@[0.00000](0), [0.0000+9.97680e-01]@[0.00000](0), [0.0000+9.97649e-01]@[0.00000](0), [0.0000+9.97649e-01]@[0.00000](0), [0.0000+9.97649e-01]@[0.00000](0), [0.0000+9.97649e-01]@[0.00000](0), [0.0000+9.97649e-01]@[0.00000](0) ... (22398)