sds.default-abs.ap-naive

Benchmark
Model: (toggle-switch)
Parameter(s)
Invocation (default-abs.ap-naive)
	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/ctmc/toggle-switch/toggle-switch.prism  approximate --sampling SAMPLE_NAIVE  --precision 0.001
default engine and absolute (default) error criterion
Execution
Walltime (MC-Time):0.6441857814788818s (NA)
Return code:0
Note(s):Tool does not support file export.
Log
(70,0): 0.365383 (+ 0.00098117)
(80,0): 0.333977 (+ 0.00098117)
(70,5): 0.0510686 (+ 0.00098117)
(0,45): 0.0485588 (+ 0.00098117)
(0,50): 0.0456840 (+ 0.00098117)
(80,5): 0.0406093 (+ 0.00098117)
(60,0): 0.0387552 (+ 0.00098117)
(60,5): 0.0200619 (+ 0.00098117)
(50,5): 0.00672159 (+ 0.00098117)
(10,45): 0.00481750 (+ 0.00098117)
(0,40): 0.00370529 (+ 0.00098117)
(10,40): 0.00342013 (+ 0.00098117)
(50,0): 0.00332639 (+ 0.00098117)
(10,50): 0.00326419 (+ 0.00098117)
(10,35): 0.00225183 (+ 0.00098117)
(70,10): 0.00197992 (+ 0.00098117)
(40,5): 0.00169581 (+ 0.00098117)
(60,10): 0.00163133 (+ 0.00098117)
(10,30): 0.00136967 (+ 0.00098117)
(50,10): 0.00105851 (+ 0.00098117)
(80,10): 0.000992031 (+ 0.00098117)
(10,25): 0.000765367 (+ 0.00098117)
(40,10): 0.000639261 (+ 0.00098117)
(30,10): 0.000492245 (+ 0.00098117)
(0,35): 0.000465892 (+ 0.00098117)
(10,20): 0.000384261 (+ 0.00098117)
(30,5): 0.000352361 (+ 0.00098117)
(20,15): 0.000241054 (+ 0.00098117)
(20,10): 0.000224084 (+ 0.00098117)
(20,20): 0.000216501 (+ 0.00098117)
(20,25): 0.000206466 (+ 0.00098117)
(20,30): 0.000200529 (+ 0.00098117)
(30,15): 0.000197686 (+ 0.00098117)
(20,35): 0.000184054 (+ 0.00098117)
(10,15): 0.000149648 (+ 0.00098117)
(40,15): 0.000148784 (+ 0.00098117)
(20,40): 0.000148779 (+ 0.00098117)
(0,30): 0.000113044 (+ 0.00098117)
(20,5): 0.000102964 (+ 0.00098117)
(20,45): 8.88626e-05 (+ 0.00098117)
(50,15): 6.80248e-05 (+ 0.00098117)
(10,10): 4.99631e-05 (+ 0.00098117)
(30,20): 4.87503e-05 (+ 0.00098117)
(40,0): 4.23620e-05 (+ 0.00098117)
(0,25): 3.10990e-05 (+ 0.00098117)
(60,15): 1.63923e-05 (+ 0.00098117)
(40,20): 1.40689e-05 (+ 0.00098117)
(30,0): 1.14024e-05 (+ 0.00098117)
(0,20): 1.12130e-05 (+ 0.00098117)
(10,5): 9.40923e-06 (+ 0.00098117)
(30,25): 8.66373e-06 (+ 0.00098117)
(20,50): 5.50072e-06 (+ 0.00098117)
(0,15): 4.51120e-06 (+ 0.00098117)
(50,20): 3.95546e-06 (+ 0.00098117)
(70,15): 2.48274e-06 (+ 0.00098117)
(20,0): 1.45856e-06 (+ 0.00098117)
(30,30): 1.13081e-06 (+ 0.00098117)
(0,10): 8.52110e-07 (+ 0.00098117)
(40,25): 6.42069e-07 (+ 0.00098117)
(60,20): 2.52434e-07 (+ 0.00098117)
(50,25): 8.06857e-08 (+ 0.00098117)
(30,35): 5.38169e-08 (+ 0.00098117)
(80,15): 3.71889e-08 (+ 0.00098117)
(40,30): 1.80252e-08 (+ 0.00098117)
(60,25): 1.71482e-08 (+ 0.00098117)
(70,20): 7.51724e-09 (+ 0.00098117)
(50,30): 1.94971e-09 (+ 0.00098117)
(40,35): 4.42660e-10 (+ 0.00098117)
(30,40): 3.44768e-10 (+ 0.00098117)
(70,25): 3.31065e-10 (+ 0.00098117)
(60,30): 1.43718e-10 (+ 0.00098117)
(50,35): 1.54674e-11 (+ 0.00098117)
(40,40): 4.86496e-12 (+ 0.00098117)
(30,45): 2.74787e-12 (+ 0.00098117)
(10,0): 0.00000 (+ 0.00098117)
(0,5): 0.00000 (+ 0.00098117)
(0,0): 0.00000 (+ 0.00098117)
(80,20): 0.00000 (+ 0.00098117)
(30,50): 0.00000 (+ 0.00098117)
(40,50): 0.00000 (+ 0.00098117)
(40,45): 0.00000 (+ 0.00098117)
(50,40): 0.00000 (+ 0.00098117)
(50,45): 0.00000 (+ 0.00098117)
(80,25): 0.00000 (+ 0.00098117)
(80,30): 0.00000 (+ 0.00098117)
(70,30): 0.00000 (+ 0.00098117)
(70,35): 0.00000 (+ 0.00098117)
(60,35): 0.00000 (+ 0.00098117)
(60,45): 0.00000 (+ 0.00098117)
(50,50): 0.00000 (+ 0.00098117)
(60,40): 0.00000 (+ 0.00098117)
(70,40): 0.00000 (+ 0.00098117)
(60,50): 0.00000 (+ 0.00098117)
(70,45): 0.00000 (+ 0.00098117)
(70,50): 0.00000 (+ 0.00098117)
(80,45): 0.00000 (+ 0.00098117)
(80,40): 0.00000 (+ 0.00098117)
(80,35): 0.00000 (+ 0.00098117)
(80,50): 0.00000 (+ 0.00098117)
STDERR
Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:50:30 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/toggle-switch/toggle-switch.prism approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:50:30 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:50:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    389 loops (1242/sec), 3295 sampling steps, 93 aborted
    loop condition 0.00098117, exit probability 0.0000 in initial state
    99 explored states, 99 states in BSSCs (0 absorbing)
    289 component updates, 0 transient state updates
    Bounds: =1.0000@[0.00098](289)