sds.default-abs.ap-sample

Benchmark
Model: (brp)
Parameter(s)N = 1024, MAX = 5
Invocation (default-abs.ap-sample)
	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/dtmc/brp/brp.prism --const N=1024,MAX=5  approximate --sampling SAMPLE_TARGET  --precision 0.001
default engine and absolute (default) error criterion
Execution
Walltime (MC-Time):138.8116056919098s (NA)
Return code:0
Note(s):Tool does not support file export.
Log
(0,3,0,1024,true,false,false,true,4,3,false,true,true,false,true,true,0,0): 0.969313 (+ 0.0000)
(0,3,1,1024,true,false,false,true,4,3,false,true,true,false,true,true,0,0): 0.0288023 (+ 0.0000)
(0,3,2,1024,true,false,false,true,4,3,false,true,true,false,true,true,0,0): 0.000859502 (+ 0.0000)
(0,3,3,1024,true,false,false,true,4,3,false,true,true,false,true,true,0,0): 2.55774e-05 (+ 0.0000)
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/brp/brp.prism --const N=1024,MAX=5 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:46:58 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:47:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    5600 loops (1120/sec), 27796758 sampling steps, 1483 aborted
    loop condition 0.92302, exit probability 0.92298 in initial state
    31869 explored states, 1 states in BSSCs (1 absorbing)
    1527 component updates, 9557162 transient state updates
    Bounds: [0.076980+9.23020e-01]@[0.00000](1527)
Sep 13, 2024 10:47:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    9489 loops (777/sec), 51973858 sampling steps, 3365 aborted
    loop condition 0.47706, exit probability 0.47704 in initial state
    35570 explored states, 1 states in BSSCs (1 absorbing)
    3488 component updates, 21781027 transient state updates
    Bounds: [0.52294+4.77057e-01]@[0.00000](3488)
Sep 13, 2024 10:47:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    13491 loops (800/sec), 76888350 sampling steps, 5473 aborted
    loop condition 0.34770, exit probability 0.34770 in initial state
    37923 explored states, 1 states in BSSCs (1 absorbing)
    5355 component updates, 33420240 transient state updates
    Bounds: [0.65230+3.47703e-01]@[0.00000](5355)
Sep 13, 2024 10:47:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    17495 loops (800/sec), 101830408 sampling steps, 7581 aborted
    loop condition 0.26303, exit probability 0.26302 in initial state
    39760 explored states, 1 states in BSSCs (1 absorbing)
    7236 component updates, 45140426 transient state updates
    Bounds: [0.73697+2.63030e-01]@[0.00000](7236)
Sep 13, 2024 10:47:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    21471 loops (795/sec), 126593255 sampling steps, 9624 aborted
    loop condition 0.19760, exit probability 0.19760 in initial state
    41397 explored states, 1 states in BSSCs (1 absorbing)
    9150 component updates, 57068896 transient state updates
    Bounds: [0.80240+1.97599e-01]@[0.00000](9150)
Sep 13, 2024 10:47:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    25438 loops (793/sec), 151314893 sampling steps, 11647 aborted
    loop condition 0.15542, exit probability 0.15542 in initial state
    42801 explored states, 1 states in BSSCs (1 absorbing)
    11089 component updates, 69150074 transient state updates
    Bounds: [0.84458+1.55423e-01]@[0.00000](11089)
Sep 13, 2024 10:47:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    29426 loops (797/sec), 176170697 sampling steps, 13731 aborted
    loop condition 0.12528, exit probability 0.12528 in initial state
    43934 explored states, 1 states in BSSCs (1 absorbing)
    12985 component updates, 80962609 transient state updates
    Bounds: [0.87472+1.25281e-01]@[0.00000](12985)
Sep 13, 2024 10:47:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    33388 loops (792/sec), 200872508 sampling steps, 15774 aborted
    loop condition 0.10161, exit probability 0.10161 in initial state
    44935 explored states, 1 states in BSSCs (1 absorbing)
    14901 component updates, 92900500 transient state updates
    Bounds: [0.89839+1.01607e-01]@[0.00000](14901)
Sep 13, 2024 10:47:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    37316 loops (785/sec), 225352397 sampling steps, 17758 aborted
    loop condition 0.086073, exit probability 0.086072 in initial state
    45834 explored states, 1 states in BSSCs (1 absorbing)
    16843 component updates, 105000951 transient state updates
    Bounds: [0.91393+8.60725e-02]@[0.00000](16843)
Sep 13, 2024 10:47:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    41287 loops (794/sec), 250103281 sampling steps, 19792 aborted
    loop condition 0.075790, exit probability 0.075789 in initial state
    46583 explored states, 1 states in BSSCs (1 absorbing)
    18779 component updates, 117062739 transient state updates
    Bounds: [0.92421+7.57899e-02]@[0.00000](18779)
Sep 13, 2024 10:47:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    45277 loops (798/sec), 274977652 sampling steps, 21865 aborted
    loop condition 0.068743, exit probability 0.068742 in initial state
    47246 explored states, 1 states in BSSCs (1 absorbing)
    20695 component updates, 129001832 transient state updates
    Bounds: [0.93126+6.87425e-02]@[0.00000](20695)
Sep 13, 2024 10:47:55 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 3, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    48612 loops (667/sec), 295758855 sampling steps, 23293 aborted
    loop condition 0.062780, exit probability 0.062710 in initial state
    49292 explored states, 4 states in BSSCs (4 absorbing)
    22562 component updates, 152863226 transient state updates
    Bounds: [0.93721+6.27795e-02]@[0.00000](22089), [1.1536e-05+6.27448e-02]@[0.00000](186), [3.7310e-07+6.27540e-02]@[0.00000](177), [8.8473e-09+6.27337e-02]@[0.00000](110)
Sep 13, 2024 10:48:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    51324 loops (542/sec), 312345551 sampling steps, 24049 aborted
    loop condition 0.037692, exit probability 0.037104 in initial state
    54457 explored states, 4 states in BSSCs (4 absorbing)
    24375 component updates, 197662892 transient state updates
    Bounds: [0.94735+3.76383e-02]@[0.00000](22590), [0.014510+3.76567e-02]@[0.00000](738), [0.00043296+3.76438e-02]@[0.00000](719), [1.2693e-05+3.77190e-02]@[0.00000](328)
Sep 13, 2024 10:48:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    53951 loops (525/sec), 327977869 sampling steps, 24822 aborted
    loop condition 0.016700, exit probability 0.015762 in initial state
    58956 explored states, 4 states in BSSCs (4 absorbing)
    26104 component updates, 239469547 transient state updates
    Bounds: [0.95851+1.66262e-02]@[0.00000](23087), [0.024047+1.67650e-02]@[0.00000](1295), [0.00072025+1.63271e-02]@[0.00000](1225), [2.1371e-05+1.65269e-02]@[0.00000](497)
Sep 13, 2024 10:48:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    56602 loops (530/sec), 343498372 sampling steps, 25594 aborted
    loop condition 0.0065220, exit probability 0.0052104 in initial state
    62604 explored states, 4 states in BSSCs (4 absorbing)
    27867 component updates, 280234626 transient state updates
    Bounds: [0.96519+6.50128e-03]@[0.00000](23676), [0.027444+6.51906e-03]@[0.00000](1869), [0.00082392+5.68753e-03]@[0.00000](1671), [2.4466e-05+6.04599e-03]@[0.00000](651)
Sep 13, 2024 10:48:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    59326 loops (544/sec), 359238153 sampling steps, 26446 aborted
    loop condition 0.0034015, exit probability 0.0020016 in initial state
    65346 explored states, 4 states in BSSCs (4 absorbing)
    29685 component updates, 317258604 transient state updates
    Bounds: [0.96746+3.40623e-03]@[0.00000](24293), [0.028263+3.20937e-03]@[0.00000](2484), [0.00084661+2.44083e-03]@[0.00000](2101), [2.5179e-05+2.71351e-03]@[0.00000](807)
Sep 13, 2024 10:48:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    62075 loops (549/sec), 375020450 sampling steps, 27168 aborted
    loop condition 0.0023128, exit probability 0.0010153 in initial state
    67407 explored states, 4 states in BSSCs (4 absorbing)
    31659 component updates, 348976907 transient state updates
    Bounds: [0.96830+2.30475e-03]@[0.00000](25018), [0.028508+2.15007e-03]@[0.00000](3131), [0.00085265+1.44772e-03]@[0.00000](2561), [2.5371e-05+1.64504e-03]@[0.00000](949)
Sep 13, 2024 10:48:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    64867 loops (558/sec), 391095107 sampling steps, 27855 aborted
    loop condition 0.0018160, exit probability 0.00070155 in initial state
    68627 explored states, 4 states in BSSCs (4 absorbing)
    33743 component updates, 375087023 transient state updates
    Bounds: [0.96868+1.80702e-03]@[0.00000](25798), [0.028622+1.63369e-03]@[0.00000](3861), [0.00085482+1.10490e-03]@[0.00000](2999), [2.5451e-05+1.21661e-03]@[0.00000](1085)
Sep 13, 2024 10:48:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    67774 loops (581/sec), 407736598 sampling steps, 28602 aborted
    loop condition 0.0015659, exit probability 0.00053397 in initial state
    69702 explored states, 4 states in BSSCs (4 absorbing)
    35890 component updates, 396547098 transient state updates
    Bounds: [0.96886+1.57246e-03]@[0.00000](26618), [0.028694+1.32090e-03]@[0.00000](4587), [0.00085594+9.33541e-04]@[0.00000](3470), [2.5478e-05+1.07504e-03]@[0.00000](1215)
Sep 13, 2024 10:48:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    70799 loops (605/sec), 424741023 sampling steps, 29441 aborted
    loop condition 0.0014136, exit probability 0.00043489 in initial state
    70671 explored states, 4 states in BSSCs (4 absorbing)
    38073 component updates, 414916119 transient state updates
    Bounds: [0.96899+1.40967e-03]@[0.00000](27440), [0.028718+1.18530e-03]@[0.00000](5331), [0.00085672+8.22419e-04]@[0.00000](3956), [2.5493e-05+9.91750e-04]@[0.00000](1346)
Sep 13, 2024 10:48:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    73997 loops (639/sec), 442688903 sampling steps, 30301 aborted
    loop condition 0.0013131, exit probability 0.00036679 in initial state
    71362 explored states, 4 states in BSSCs (4 absorbing)
    40408 component updates, 432708635 transient state updates
    Bounds: [0.96906+1.31320e-03]@[0.00000](28408), [0.028745+1.05200e-03]@[0.00000](6081), [0.00085738+7.33053e-04]@[0.00000](4421), [2.5505e-05+9.19400e-04]@[0.00000](1498)
Sep 13, 2024 10:48:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    77236 loops (647/sec), 460828168 sampling steps, 31178 aborted
    loop condition 0.0012195, exit probability 0.00030616 in initial state
    71851 explored states, 4 states in BSSCs (4 absorbing)
    42769 component updates, 449322419 transient state updates
    Bounds: [0.96914+1.21231e-03]@[0.00000](29363), [0.028758+9.70701e-04]@[0.00000](6876), [0.00085792+6.58410e-04]@[0.00000](4879), [2.5519e-05+8.46801e-04]@[0.00000](1651)
Sep 13, 2024 10:48:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    80453 loops (643/sec), 478904201 sampling steps, 32014 aborted
    loop condition 0.0011651, exit probability 0.00026422 in initial state
    72244 explored states, 4 states in BSSCs (4 absorbing)
    45147 component updates, 465524707 transient state updates
    Bounds: [0.96918+1.15295e-03]@[0.00000](30334), [0.028767+9.08241e-04]@[0.00000](7652), [0.00085837+5.96123e-04]@[0.00000](5355), [2.5530e-05+7.93955e-04]@[0.00000](1806)
Sep 13, 2024 10:48:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    83616 loops (632/sec), 496830631 sampling steps, 32761 aborted
    loop condition 0.0011228, exit probability 0.00022952 in initial state
    72503 explored states, 4 states in BSSCs (4 absorbing)
    47562 component updates, 481582472 transient state updates
    Bounds: [0.96922+1.11247e-03]@[0.00000](31347), [0.028777+8.42794e-04]@[0.00000](8447), [0.00085869+5.48638e-04]@[0.00000](5797), [2.5541e-05+7.39653e-04]@[0.00000](1971)
Sep 13, 2024 10:49:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    86846 loops (646/sec), 514858101 sampling steps, 33597 aborted
    loop condition 0.0010819, exit probability 0.00020215 in initial state
    72801 explored states, 4 states in BSSCs (4 absorbing)
    49955 component updates, 497178170 transient state updates
    Bounds: [0.96925+1.07534e-03]@[0.00000](32377), [0.028787+7.83532e-04]@[0.00000](9221), [0.00085893+5.13999e-04]@[0.00000](6229), [2.5552e-05+6.89820e-04]@[0.00000](2128)
Sep 13, 2024 10:49:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    90015 loops (633/sec), 532645975 sampling steps, 34349 aborted
    loop condition 0.0010512, exit probability 0.00018065 in initial state
    73014 explored states, 4 states in BSSCs (4 absorbing)
    52372 component updates, 512766543 transient state updates
    Bounds: [0.96927+1.04586e-03]@[0.00000](33430), [0.028793+7.39437e-04]@[0.00000](9971), [0.00085914+4.81688e-04]@[0.00000](6691), [2.5563e-05+6.38219e-04]@[0.00000](2280)
Sep 13, 2024 10:49:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    93159 loops (628/sec), 550430953 sampling steps, 35058 aborted
    loop condition 0.0010172, exit probability 0.00016183 in initial state
    73153 explored states, 4 states in BSSCs (4 absorbing)
    54806 component updates, 528124618 transient state updates
    Bounds: [0.96930+1.01279e-03]@[0.00000](34535), [0.028799+6.98541e-04]@[0.00000](10735), [0.00085936+4.50477e-04]@[0.00000](7137), [2.5570e-05+6.07708e-04]@[0.00000](2399)
Sep 13, 2024 10:49:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    95394 loops (636/sec), 562993277 sampling steps, 35580 aborted
    loop condition 0.00099989, exit probability 0.00014980 in initial state
    73256 explored states, 4 states in BSSCs (4 absorbing)
    56519 component updates, 538844801 transient state updates
    Bounds: [0.96931+9.96878e-04]@[0.00000](35315), [0.028802+6.70353e-04]@[0.00000](11270), [0.00085950+4.29989e-04]@[0.00000](7447), [2.5577e-05+5.74964e-04]@[0.00000](2487)