sds.default-abs.ap-sample - haddad-monmege 20-0.7

Benchmark

Model:	(haddad-monmege)
Parameter(s)	N = 20, p = 0.7

Invocation (default-abs.ap-sample)

	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/dtmc/haddad-monmege/haddad-monmege.pm --const N=20,p=0.7  approximate --sampling SAMPLE_TARGET  --precision 0.001

default engine and absolute (default) error criterion

Execution

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

Log

(0): 0.699300 (+ 0.0000)
(40): 0.299700 (+ 0.0000)

STDERR

Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:47:28 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/haddad-monmege/haddad-monmege.pm --const N=20,p=0.7 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:47:28 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 2, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1417384 loops (283476/sec), 27403191 sampling steps, 944482 aborted
    loop condition 0.25923, exit probability 0.25873 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    472900 component updates, 56614980 transient state updates
    Bounds: [0.22224+2.59215e-01]@[0.00000](141539), [0.51853+2.59239e-01]@[0.00000](331361)
Sep 13, 2024 10:47:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    2942645 loops (305052/sec), 56892162 sampling steps, 1960731 aborted
    loop condition 0.061038, exit probability 0.060404 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    981912 component updates, 117267300 transient state updates
    Bounds: [0.28169+6.10371e-02]@[0.00000](294346), [0.65727+6.10385e-02]@[0.00000](687566)
Sep 13, 2024 10:47:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    4479352 loops (307341/sec), 86605951 sampling steps, 2981082 aborted
    loop condition 0.014622, exit probability 0.013964 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    1498268 component updates, 177235300 transient state updates
    Bounds: [0.29561+1.46201e-02]@[0.00000](449395), [0.68976+1.46223e-02]@[0.00000](1048873)
Sep 13, 2024 10:47:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    6045768 loops (313283/sec), 116906946 sampling steps, 4008407 aborted
    loop condition 0.0037912, exit probability 0.0031360 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    2037359 component updates, 233871760 transient state updates
    Bounds: [0.29886+3.79132e-03]@[0.00000](611110), [0.69735+3.79118e-03]@[0.00000](1426249)
Sep 13, 2024 10:47:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    7683218 loops (327490/sec), 148630166 sampling steps, 5034187 aborted
    loop condition 0.0012860, exit probability 0.00065800 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    2649029 component updates, 279211760 transient state updates
    Bounds: [0.29961+1.28601e-03]@[0.00000](794519), [0.69910+1.28604e-03]@[0.00000](1854510)
Sep 13, 2024 10:47:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    8238447 loops (360070/sec), 159406243 sampling steps, 5362690 aborted
    loop condition 0.0010000, exit probability 0.00038745 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    2875755 component updates, 289756900 transient state updates
    Bounds: [0.29970+9.99816e-04]@[0.00000](862640), [0.69930+1.00008e-03]@[0.00000](2013115)