Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:49:34 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/kanban/kanban.prism --const t=4 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:49:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26425 loops (5285/sec), 7596897 sampling steps, 2673 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
246578 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37996 loops (2314/sec), 18649512 sampling steps, 9061 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
321690 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48415 loops (2083/sec), 32012979 sampling steps, 18160 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358887 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58846 loops (2086/sec), 46077362 sampling steps, 28236 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379171 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69129 loops (2056/sec), 60029082 sampling steps, 38411 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
391536 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79513 loops (2076/sec), 74259981 sampling steps, 48745 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
400169 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90059 loops (2109/sec), 88765296 sampling steps, 59266 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406436 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100837 loops (2155/sec), 103482933 sampling steps, 70029 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
411598 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111450 loops (2122/sec), 117971913 sampling steps, 80635 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
415487 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122075 loops (2125/sec), 132548466 sampling steps, 91260 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
418639 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132536 loops (2092/sec), 146923837 sampling steps, 101716 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
421348 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
143220 loops (2136/sec), 161490913 sampling steps, 112398 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
423373 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153983 loops (2152/sec), 176258984 sampling steps, 123158 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
425267 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164848 loops (2173/sec), 191146234 sampling steps, 134020 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
426968 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
175377 loops (2105/sec), 205705884 sampling steps, 144546 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
428368 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
186231 loops (2170/sec), 220634596 sampling steps, 155398 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
429813 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
196975 loops (2148/sec), 235396510 sampling steps, 166141 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
430948 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
207885 loops (2182/sec), 250311677 sampling steps, 177050 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
431933 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
218671 loops (2157/sec), 265104040 sampling steps, 187835 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
432956 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
229534 loops (2172/sec), 280022184 sampling steps, 198697 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
433793 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
240379 loops (2169/sec), 294844194 sampling steps, 209541 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
434641 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
251100 loops (2144/sec), 309505177 sampling steps, 220262 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
435374 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261817 loops (2143/sec), 324328002 sampling steps, 230979 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
436128 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
272511 loops (2138/sec), 338996940 sampling steps, 241673 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
436752 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
283158 loops (2129/sec), 353668255 sampling steps, 252320 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
437363 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
294025 loops (2173/sec), 368561521 sampling steps, 263187 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
437904 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
304777 loops (2150/sec), 383434212 sampling steps, 273939 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
438457 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
315782 loops (2201/sec), 398391229 sampling steps, 284943 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
438902 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
325242 loops (1892/sec), 411332451 sampling steps, 294403 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
439349 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
335791 loops (2109/sec), 425916914 sampling steps, 304952 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
439775 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
346500 loops (2141/sec), 440706593 sampling steps, 315660 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
440272 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
357313 loops (2162/sec), 455520017 sampling steps, 326473 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
440644 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
368162 loops (2169/sec), 470337678 sampling steps, 337322 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
440983 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
379060 loops (2179/sec), 485286166 sampling steps, 348220 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
441350 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
390058 loops (2199/sec), 500242035 sampling steps, 359218 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
441683 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
400629 loops (2114/sec), 514866048 sampling steps, 369789 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
442011 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
411432 loops (2160/sec), 529723938 sampling steps, 380592 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
442318 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
422240 loops (2161/sec), 544662363 sampling steps, 391400 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
442555 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
433130 loops (2178/sec), 559616621 sampling steps, 402290 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
442824 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
443993 loops (2172/sec), 574575379 sampling steps, 413153 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
443071 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
454648 loops (2131/sec), 589276545 sampling steps, 423808 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
443312 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
465317 loops (2133/sec), 603912256 sampling steps, 434477 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
443545 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
475940 loops (2124/sec), 618523487 sampling steps, 445100 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
443744 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
486473 loops (2106/sec), 633051734 sampling steps, 455633 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
443945 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
497057 loops (2116/sec), 647671528 sampling steps, 466217 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
444183 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
507789 loops (2146/sec), 662301020 sampling steps, 476949 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
444385 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
518308 loops (2103/sec), 676849610 sampling steps, 487468 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
444588 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
529112 loops (2160/sec), 691575809 sampling steps, 498272 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
444752 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
539586 loops (2094/sec), 706109375 sampling steps, 508746 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
444908 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
550169 loops (2116/sec), 720605622 sampling steps, 519329 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
445077 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
560680 loops (2102/sec), 735191310 sampling steps, 529840 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
445217 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
571362 loops (2136/sec), 749973084 sampling steps, 540522 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
445368 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
582076 loops (2142/sec), 764671342 sampling steps, 551236 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
445538 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
592853 loops (2155/sec), 779451026 sampling steps, 562013 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
445701 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
603426 loops (2114/sec), 793878331 sampling steps, 572586 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
445876 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
614022 loops (2119/sec), 808438617 sampling steps, 583182 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
446015 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
624851 loops (2165/sec), 823391168 sampling steps, 594011 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
446166 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
635536 loops (2137/sec), 838192183 sampling steps, 604696 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
446313 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
646124 loops (2117/sec), 852742001 sampling steps, 615284 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
446439 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
657062 loops (2187/sec), 867726840 sampling steps, 626222 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
446588 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
667745 loops (2136/sec), 882391010 sampling steps, 636905 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
446733 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
678384 loops (2127/sec), 897081363 sampling steps, 647544 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
446838 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
689027 loops (2128/sec), 911623110 sampling steps, 658187 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
446972 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
699963 loops (2187/sec), 926547704 sampling steps, 669123 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447096 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
710276 loops (2062/sec), 941011108 sampling steps, 679436 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447188 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
721116 loops (2168/sec), 955922815 sampling steps, 690276 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447297 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
731861 loops (2149/sec), 970733765 sampling steps, 701021 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447384 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
742815 loops (2190/sec), 985705341 sampling steps, 711975 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447475 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
753755 loops (2188/sec), 1000690317 sampling steps, 722915 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447580 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
762894 loops (1827/sec), 1013231180 sampling steps, 732054 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447661 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
773665 loops (2154/sec), 1027902698 sampling steps, 742825 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447756 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
784612 loops (2189/sec), 1042805220 sampling steps, 753772 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447841 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
795368 loops (2151/sec), 1057637617 sampling steps, 764528 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447915 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
806066 loops (2139/sec), 1072411337 sampling steps, 775226 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447985 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
816837 loops (2154/sec), 1087109022 sampling steps, 785997 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448055 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
827327 loops (2098/sec), 1101610139 sampling steps, 796487 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448124 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
838025 loops (2139/sec), 1116158610 sampling steps, 807185 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448189 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
848662 loops (2126/sec), 1130700725 sampling steps, 817822 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448254 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
859455 loops (2158/sec), 1145574575 sampling steps, 828615 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448327 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
870253 loops (2159/sec), 1160460866 sampling steps, 839413 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448392 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
880728 loops (2095/sec), 1174824203 sampling steps, 849888 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448468 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
891508 loops (2156/sec), 1189600130 sampling steps, 860668 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448539 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
902244 loops (2147/sec), 1204377595 sampling steps, 871404 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448625 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
912963 loops (2143/sec), 1219064460 sampling steps, 882123 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448679 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
923601 loops (2127/sec), 1233701292 sampling steps, 892761 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448730 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
934174 loops (2114/sec), 1248500431 sampling steps, 903334 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448810 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
944814 loops (2128/sec), 1263154751 sampling steps, 913974 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448876 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
955318 loops (2100/sec), 1277618234 sampling steps, 924478 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448942 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
965881 loops (2112/sec), 1292162621 sampling steps, 935041 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449014 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
976557 loops (2135/sec), 1306790307 sampling steps, 945717 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449066 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
987378 loops (2164/sec), 1321688947 sampling steps, 956538 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449129 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
998187 loops (2161/sec), 1336526695 sampling steps, 967347 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449188 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1009039 loops (2170/sec), 1351504131 sampling steps, 978199 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449261 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1019949 loops (2182/sec), 1366493129 sampling steps, 989109 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449315 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1030440 loops (2098/sec), 1381029747 sampling steps, 999600 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449360 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1041197 loops (2151/sec), 1395809896 sampling steps, 1010357 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449395 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1051810 loops (2122/sec), 1410436820 sampling steps, 1020970 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449444 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1062291 loops (2096/sec), 1424956990 sampling steps, 1031451 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449485 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1072907 loops (2123/sec), 1439584994 sampling steps, 1042067 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449525 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1083350 loops (2088/sec), 1454023363 sampling steps, 1052510 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449585 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1094026 loops (2135/sec), 1468711456 sampling steps, 1063186 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449646 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1104947 loops (2184/sec), 1483591938 sampling steps, 1074107 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449688 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1115523 loops (2115/sec), 1498080724 sampling steps, 1084683 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449735 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1126244 loops (2144/sec), 1512668390 sampling steps, 1095404 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449773 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1136827 loops (2116/sec), 1527142538 sampling steps, 1105987 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449814 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1147356 loops (2105/sec), 1541649866 sampling steps, 1116516 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449877 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1157910 loops (2110/sec), 1556125110 sampling steps, 1127070 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449917 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1168478 loops (2113/sec), 1570721178 sampling steps, 1137638 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449965 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1179065 loops (2117/sec), 1585250263 sampling steps, 1148225 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450001 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1189624 loops (2111/sec), 1599862188 sampling steps, 1158784 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450053 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1200154 loops (2106/sec), 1614391552 sampling steps, 1169314 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450089 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1209513 loops (1871/sec), 1627257683 sampling steps, 1178673 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450117 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1220250 loops (2147/sec), 1642023533 sampling steps, 1189410 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450152 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1230751 loops (2100/sec), 1656353554 sampling steps, 1199911 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450183 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1241367 loops (2123/sec), 1671019995 sampling steps, 1210527 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450218 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1252077 loops (2142/sec), 1685693742 sampling steps, 1221237 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450253 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1262808 loops (2146/sec), 1700305830 sampling steps, 1231968 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450277 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1273383 loops (2115/sec), 1714795254 sampling steps, 1242543 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450309 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1284023 loops (2128/sec), 1729395978 sampling steps, 1253183 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450342 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1294624 loops (2120/sec), 1744097278 sampling steps, 1263784 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450366 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1305270 loops (2129/sec), 1758894261 sampling steps, 1274430 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450395 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1315802 loops (2106/sec), 1773479249 sampling steps, 1284962 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450421 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1326527 loops (2145/sec), 1788184377 sampling steps, 1295687 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450451 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1337102 loops (2115/sec), 1802810520 sampling steps, 1306262 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450475 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1347629 loops (2105/sec), 1817184752 sampling steps, 1316789 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450497 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1358150 loops (2103/sec), 1831738415 sampling steps, 1327310 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450536 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1368776 loops (2125/sec), 1846426134 sampling steps, 1337936 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450563 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1379474 loops (2139/sec), 1861127556 sampling steps, 1348634 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450586 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1390131 loops (2131/sec), 1875939194 sampling steps, 1359291 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450619 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1400990 loops (2171/sec), 1890892121 sampling steps, 1370150 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450663 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1411746 loops (2151/sec), 1905676678 sampling steps, 1380906 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450694 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1422473 loops (2145/sec), 1920512276 sampling steps, 1391633 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450734 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1433072 loops (2119/sec), 1935095423 sampling steps, 1402232 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450763 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1443749 loops (2135/sec), 1949710361 sampling steps, 1412909 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450790 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1454664 loops (2183/sec), 1964584927 sampling steps, 1423824 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450817 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1465097 loops (2086/sec), 1979013851 sampling steps, 1434257 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450852 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1475811 loops (2142/sec), 1993657114 sampling steps, 1444971 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450888 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1486776 loops (2193/sec), 2008614599 sampling steps, 1455936 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450912 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1497320 loops (2108/sec), 2023138386 sampling steps, 1466480 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450938 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1507854 loops (2106/sec), 2037596193 sampling steps, 1477014 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450982 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1518338 loops (2096/sec), 2051985203 sampling steps, 1487498 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450999 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1528851 loops (2102/sec), 2066526080 sampling steps, 1498011 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451019 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1539687 loops (2167/sec), 2081374222 sampling steps, 1508847 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451042 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1550181 loops (2098/sec), 2095919913 sampling steps, 1519341 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451067 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1560770 loops (2117/sec), 2110653237 sampling steps, 1529930 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451094 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1571359 loops (2117/sec), 2125271445 sampling steps, 1540519 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451117 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1581800 loops (2088/sec), 2139647979 sampling steps, 1550960 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451147 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1592445 loops (2129/sec), 2154352265 sampling steps, 1561605 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451170 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1602887 loops (2088/sec), 2168870476 sampling steps, 1572047 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451190 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1613490 loops (2120/sec), 2183537795 sampling steps, 1582650 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451200 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1623837 loops (2069/sec), 2197926481 sampling steps, 1592997 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451214 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1634289 loops (2090/sec), 2212275238 sampling steps, 1603449 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451264 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1644964 loops (2135/sec), 2226900093 sampling steps, 1614124 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451278 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1655672 loops (2141/sec), 2241556844 sampling steps, 1624832 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451309 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1665047 loops (1875/sec), 2254413424 sampling steps, 1634207 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451338 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1675902 loops (2171/sec), 2269327501 sampling steps, 1645062 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451356 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1686775 loops (2174/sec), 2284245848 sampling steps, 1655935 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451377 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1697557 loops (2156/sec), 2299079704 sampling steps, 1666717 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451407 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1708309 loops (2150/sec), 2313972764 sampling steps, 1677469 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451427 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1719229 loops (2184/sec), 2328894053 sampling steps, 1688389 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451445 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1730053 loops (2164/sec), 2343839669 sampling steps, 1699213 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451461 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1740881 loops (2165/sec), 2358789528 sampling steps, 1710041 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451483 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1751671 loops (2158/sec), 2373604522 sampling steps, 1720831 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451509 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1762512 loops (2168/sec), 2388586937 sampling steps, 1731672 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451531 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1773372 loops (2172/sec), 2403512897 sampling steps, 1742532 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451545 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1784230 loops (2171/sec), 2418398615 sampling steps, 1753390 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451563 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1795099 loops (2173/sec), 2433344064 sampling steps, 1764259 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451576 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1805839 loops (2148/sec), 2448121743 sampling steps, 1774999 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451600 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1816540 loops (2140/sec), 2462645411 sampling steps, 1785700 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451638 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1827350 loops (2162/sec), 2477410643 sampling steps, 1796510 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451661 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1837768 loops (2083/sec), 2491819707 sampling steps, 1806928 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451685 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1848412 loops (2128/sec), 2506384465 sampling steps, 1817572 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451699 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1859096 loops (2136/sec), 2521051236 sampling steps, 1828256 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451722 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1869747 loops (2130/sec), 2535757137 sampling steps, 1838907 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451733 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1880427 loops (2136/sec), 2550380349 sampling steps, 1849587 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451755 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1891032 loops (2121/sec), 2564948632 sampling steps, 1860192 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451770 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1901491 loops (2091/sec), 2579454049 sampling steps, 1870651 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451788 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1912174 loops (2136/sec), 2593919745 sampling steps, 1881334 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451811 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1922956 loops (2156/sec), 2608816842 sampling steps, 1892116 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451832 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1933523 loops (2113/sec), 2623481821 sampling steps, 1902683 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451844 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1944287 loops (2152/sec), 2638228549 sampling steps, 1913447 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451857 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1954996 loops (2141/sec), 2652899431 sampling steps, 1924156 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451871 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1965627 loops (2126/sec), 2667499970 sampling steps, 1934787 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451882 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1976336 loops (2141/sec), 2682229309 sampling steps, 1945496 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451898 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1987061 loops (2145/sec), 2696886752 sampling steps, 1956221 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451919 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1997878 loops (2163/sec), 2711835724 sampling steps, 1967038 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451927 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2008736 loops (2171/sec), 2726784170 sampling steps, 1977896 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451934 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2019562 loops (2165/sec), 2741613664 sampling steps, 1988722 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451956 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2030448 loops (2177/sec), 2756567772 sampling steps, 1999608 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451961 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2041193 loops (2148/sec), 2771261182 sampling steps, 2010353 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451975 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2052035 loops (2168/sec), 2786131895 sampling steps, 2021195 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451988 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2062755 loops (2144/sec), 2800895650 sampling steps, 2031915 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452007 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2073493 loops (2147/sec), 2815597803 sampling steps, 2042653 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452017 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2084376 loops (2176/sec), 2830338242 sampling steps, 2053536 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452034 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2095255 loops (2175/sec), 2845212849 sampling steps, 2064415 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452045 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2106207 loops (2190/sec), 2860105005 sampling steps, 2075367 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452067 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2115521 loops (1862/sec), 2872880928 sampling steps, 2084681 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452084 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2126369 loops (2169/sec), 2887728002 sampling steps, 2095529 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452102 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2137012 loops (2128/sec), 2902441826 sampling steps, 2106172 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452115 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2148002 loops (2198/sec), 2917304742 sampling steps, 2117162 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452135 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2158848 loops (2169/sec), 2932215498 sampling steps, 2128008 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452148 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2169728 loops (2176/sec), 2947122091 sampling steps, 2138888 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452171 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2180673 loops (2189/sec), 2962111793 sampling steps, 2149833 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452201 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2191577 loops (2180/sec), 2977040718 sampling steps, 2160737 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452215 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2202425 loops (2169/sec), 2991994459 sampling steps, 2171585 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452218 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2213290 loops (2173/sec), 3007006299 sampling steps, 2182450 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452226 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2224077 loops (2157/sec), 3021904383 sampling steps, 2193237 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452236 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2234916 loops (2167/sec), 3036878446 sampling steps, 2204076 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452256 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2245549 loops (2126/sec), 3051598290 sampling steps, 2214709 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452264 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2256162 loops (2122/sec), 3066224366 sampling steps, 2225322 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452276 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2267035 loops (2174/sec), 3081147952 sampling steps, 2236195 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452284 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2277938 loops (2180/sec), 3096018863 sampling steps, 2247098 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452296 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2288624 loops (2137/sec), 3110575391 sampling steps, 2257784 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452311 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2299200 loops (2114/sec), 3125284359 sampling steps, 2268360 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452317 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2309943 loops (2148/sec), 3140055188 sampling steps, 2279103 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452326 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2320613 loops (2134/sec), 3154739561 sampling steps, 2289773 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452338 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2331408 loops (2159/sec), 3169719687 sampling steps, 2300568 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452352 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2342114 loops (2141/sec), 3184404773 sampling steps, 2311274 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452361 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2352761 loops (2129/sec), 3199022674 sampling steps, 2321921 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452368 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2363375 loops (2122/sec), 3213593993 sampling steps, 2332535 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452382 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2374112 loops (2147/sec), 3228349123 sampling steps, 2343272 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452385 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2384699 loops (2117/sec), 3243025819 sampling steps, 2353859 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452408 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2395267 loops (2113/sec), 3257587358 sampling steps, 2364427 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452412 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2405963 loops (2139/sec), 3272238145 sampling steps, 2375123 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452423 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2416762 loops (2159/sec), 3287046591 sampling steps, 2385922 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452442 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2427439 loops (2135/sec), 3301702017 sampling steps, 2396599 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452447 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2437954 loops (2103/sec), 3316178159 sampling steps, 2407114 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452452 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2449021 loops (2213/sec), 3331173813 sampling steps, 2418181 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452475 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2459669 loops (2129/sec), 3345720253 sampling steps, 2428829 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452491 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2470357 loops (2137/sec), 3360542284 sampling steps, 2439517 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452502 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2481041 loops (2136/sec), 3375155188 sampling steps, 2450201 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452512 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2491490 loops (2089/sec), 3389555900 sampling steps, 2460650 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452517 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2502237 loops (2149/sec), 3404307845 sampling steps, 2471397 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452524 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2512699 loops (2092/sec), 3418828825 sampling steps, 2481859 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452532 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2523508 loops (2161/sec), 3433608489 sampling steps, 2492668 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452549 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2534191 loops (2136/sec), 3448160927 sampling steps, 2503351 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452562 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2544813 loops (2124/sec), 3462764560 sampling steps, 2513973 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452564 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2555582 loops (2153/sec), 3477472877 sampling steps, 2524742 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452581 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2564636 loops (1810/sec), 3489992199 sampling steps, 2533796 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452591 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2575192 loops (2111/sec), 3504452080 sampling steps, 2544352 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452600 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2585905 loops (2142/sec), 3519127392 sampling steps, 2555065 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452616 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2596528 loops (2124/sec), 3533706509 sampling steps, 2565688 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452626 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2607117 loops (2117/sec), 3548273181 sampling steps, 2576277 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452635 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2617744 loops (2125/sec), 3562965975 sampling steps, 2586904 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452645 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2628428 loops (2136/sec), 3577461796 sampling steps, 2597588 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452656 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2639126 loops (2139/sec), 3592101932 sampling steps, 2608286 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452667 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2649287 loops (2032/sec), 3606032945 sampling steps, 2618447 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452678 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2659521 loops (2046/sec), 3620039560 sampling steps, 2628681 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452680 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2670242 loops (2144/sec), 3634877240 sampling steps, 2639402 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452689 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2681130 loops (2177/sec), 3649822900 sampling steps, 2650290 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452697 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2691945 loops (2163/sec), 3664680988 sampling steps, 2661105 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452706 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2702884 loops (2187/sec), 3679671747 sampling steps, 2672044 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452720 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2713674 loops (2158/sec), 3694595226 sampling steps, 2682834 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452727 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2724419 loops (2149/sec), 3709357935 sampling steps, 2693579 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452733 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2735108 loops (2137/sec), 3724144573 sampling steps, 2704268 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452742 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2746025 loops (2183/sec), 3739020235 sampling steps, 2715185 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452749 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2756875 loops (2170/sec), 3753998941 sampling steps, 2726035 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452758 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2767760 loops (2177/sec), 3768982189 sampling steps, 2736920 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452766 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2778621 loops (2172/sec), 3783797113 sampling steps, 2747781 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452772 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2789571 loops (2190/sec), 3798799715 sampling steps, 2758731 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452790 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2800397 loops (2165/sec), 3813752388 sampling steps, 2769557 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452798 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2811148 loops (2150/sec), 3828552938 sampling steps, 2780308 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452803 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2821934 loops (2157/sec), 3843309574 sampling steps, 2791094 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452806 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2832845 loops (2182/sec), 3858238992 sampling steps, 2802005 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452808 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2843450 loops (2121/sec), 3872927746 sampling steps, 2812610 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452811 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2854135 loops (2137/sec), 3887617500 sampling steps, 2823295 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452815 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2864841 loops (2141/sec), 3902404702 sampling steps, 2834001 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452822 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2875793 loops (2190/sec), 3917404780 sampling steps, 2844953 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452831 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2886741 loops (2189/sec), 3932392386 sampling steps, 2855901 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452848 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2897534 loops (2158/sec), 3947234859 sampling steps, 2866694 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452854 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2908295 loops (2152/sec), 3962135567 sampling steps, 2877455 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452873 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2919218 loops (2184/sec), 3977113133 sampling steps, 2888378 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452879 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2930208 loops (2198/sec), 3991998747 sampling steps, 2899368 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452892 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2941127 loops (2183/sec), 4006970778 sampling steps, 2910287 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452900 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2951992 loops (2173/sec), 4021887263 sampling steps, 2921152 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452911 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2962835 loops (2168/sec), 4036770654 sampling steps, 2931995 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452922 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2973015 loops (2036/sec), 4050678982 sampling steps, 2942175 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452930 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2983208 loops (2038/sec), 4064595930 sampling steps, 2952368 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452934 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2993427 loops (2043/sec), 4078585915 sampling steps, 2962587 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452940 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3003476 loops (2009/sec), 4092428959 sampling steps, 2972636 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452946 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3012015 loops (1637/sec), 4104244792 sampling steps, 2981175 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452953 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3021304 loops (1857/sec), 4116995233 sampling steps, 2990464 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452955 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3031342 loops (2007/sec), 4130787216 sampling steps, 3000502 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452964 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3041748 loops (2081/sec), 4144999755 sampling steps, 3010908 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452972 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3051343 loops (1919/sec), 4158134872 sampling steps, 3020503 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452979 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3060824 loops (1896/sec), 4171116257 sampling steps, 3029984 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452987 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3069862 loops (1807/sec), 4183694806 sampling steps, 3039022 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452995 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3079112 loops (1850/sec), 4196365843 sampling steps, 3048272 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452999 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3088355 loops (1848/sec), 4209007076 sampling steps, 3057515 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453004 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3097414 loops (1811/sec), 4221424744 sampling steps, 3066574 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453005 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3106729 loops (1863/sec), 4234169174 sampling steps, 3075889 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453008 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3116107 loops (1875/sec), 4247068052 sampling steps, 3085267 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453014 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3125481 loops (1874/sec), 4259887143 sampling steps, 3094641 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453022 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3134863 loops (1876/sec), 4272675661 sampling steps, 3104023 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453030 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3144088 loops (1845/sec), 4285466479 sampling steps, 3113248 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453038 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3153409 loops (1864/sec), 4298314719 sampling steps, 3122569 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453049 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3162597 loops (1837/sec), 4311119817 sampling steps, 3131757 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453059 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3171966 loops (1873/sec), 4323965178 sampling steps, 3141126 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453063 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3181379 loops (1882/sec), 4336846205 sampling steps, 3150539 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453068 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3190617 loops (1847/sec), 4349612112 sampling steps, 3159777 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453074 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3199912 loops (1859/sec), 4362482320 sampling steps, 3169072 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453079 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3209091 loops (1835/sec), 4375218792 sampling steps, 3178251 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453082 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3218116 loops (1805/sec), 4387649076 sampling steps, 3187276 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453087 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3227203 loops (1817/sec), 4400253492 sampling steps, 3196363 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453090 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3236484 loops (1856/sec), 4412993498 sampling steps, 3205644 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453094 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3245580 loops (1819/sec), 4425687637 sampling steps, 3214740 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453101 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3254925 loops (1869/sec), 4438473053 sampling steps, 3224085 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453104 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3264273 loops (1869/sec), 4451286828 sampling steps, 3233433 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453109 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3273293 loops (1804/sec), 4463811620 sampling steps, 3242453 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453116 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3282424 loops (1826/sec), 4476386409 sampling steps, 3251584 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453121 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3291596 loops (1834/sec), 4489067917 sampling steps, 3260756 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453133 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3300701 loops (1821/sec), 4501657241 sampling steps, 3269861 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453138 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3309853 loops (1830/sec), 4514235906 sampling steps, 3279013 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453144 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3319214 loops (1872/sec), 4527050754 sampling steps, 3288374 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453151 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3328474 loops (1852/sec), 4539902688 sampling steps, 3297634 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453160 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3337863 loops (1877/sec), 4552747468 sampling steps, 3307023 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453162 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3347190 loops (1865/sec), 4565616603 sampling steps, 3316350 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453165 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3356483 loops (1858/sec), 4578468592 sampling steps, 3325643 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453169 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3365867 loops (1876/sec), 4591277519 sampling steps, 3335027 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453175 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3375110 loops (1848/sec), 4604137824 sampling steps, 3344270 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453178 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3384521 loops (1882/sec), 4616978163 sampling steps, 3353681 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453181 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3393807 loops (1857/sec), 4629789149 sampling steps, 3362967 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453183 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3403171 loops (1872/sec), 4642633904 sampling steps, 3372331 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453186 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3412226 loops (1811/sec), 4655060858 sampling steps, 3381386 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453187 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3421515 loops (1857/sec), 4667746132 sampling steps, 3390675 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453199 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3430730 loops (1843/sec), 4680411817 sampling steps, 3399890 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453204 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3439948 loops (1843/sec), 4693009072 sampling steps, 3409108 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453207 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3449108 loops (1832/sec), 4705748505 sampling steps, 3418268 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453213 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3458416 loops (1861/sec), 4718604118 sampling steps, 3427576 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453220 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3466203 loops (1557/sec), 4729393550 sampling steps, 3435363 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453221 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3475436 loops (1846/sec), 4742143657 sampling steps, 3444596 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453225 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3484635 loops (1839/sec), 4754953677 sampling steps, 3453795 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453233 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3493950 loops (1863/sec), 4767721795 sampling steps, 3463110 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453235 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3503360 loops (1882/sec), 4780594492 sampling steps, 3472520 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453238 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3512735 loops (1875/sec), 4793429886 sampling steps, 3481895 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453245 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3522066 loops (1866/sec), 4806245003 sampling steps, 3491226 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453246 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3531296 loops (1846/sec), 4819041669 sampling steps, 3500456 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453253 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3540566 loops (1854/sec), 4831810925 sampling steps, 3509726 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453258 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3549969 loops (1880/sec), 4844621480 sampling steps, 3519129 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453259 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3559287 loops (1863/sec), 4857398180 sampling steps, 3528447 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453259 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3568604 loops (1863/sec), 4870179921 sampling steps, 3537764 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453266 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3577859 loops (1850/sec), 4882898382 sampling steps, 3547019 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453266 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3587268 loops (1881/sec), 4895717819 sampling steps, 3556428 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453269 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3596649 loops (1876/sec), 4908536762 sampling steps, 3565809 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453271 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3606040 loops (1878/sec), 4921403263 sampling steps, 3575200 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453272 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3615271 loops (1846/sec), 4934212444 sampling steps, 3584431 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453278 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3624390 loops (1823/sec), 4946736405 sampling steps, 3593550 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453285 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3633628 loops (1847/sec), 4959396353 sampling steps, 3602788 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453292 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3642817 loops (1837/sec), 4972018400 sampling steps, 3611977 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453300 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3651945 loops (1825/sec), 4984547155 sampling steps, 3621105 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453301 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3661198 loops (1850/sec), 4997278160 sampling steps, 3630358 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453303 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3670469 loops (1854/sec), 5010057611 sampling steps, 3639629 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453307 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3679620 loops (1830/sec), 5022598104 sampling steps, 3648780 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453309 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3688738 loops (1823/sec), 5035103485 sampling steps, 3657898 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453310 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3697927 loops (1837/sec), 5047829309 sampling steps, 3667087 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453315 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3707279 loops (1870/sec), 5060653040 sampling steps, 3676439 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453319 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3716339 loops (1812/sec), 5073206470 sampling steps, 3685499 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453325 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3725531 loops (1838/sec), 5085740966 sampling steps, 3694691 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453329 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3734697 loops (1833/sec), 5098290845 sampling steps, 3703857 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453329 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0121686458588 seconds since the total time limit of 1800.0 seconds was exceeded.