Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:47:29 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/haddad-monmege/haddad-monmege.pm --const N=300,p=0.7 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:47:29 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 1, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:30 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 1, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100731 loops (20146/sec), 30143719 sampling steps, 67167 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
33506 component updates, 10007122 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](23440), [0.0000+1.00000e+00]@[0.00000](10066)
Sep 13, 2024 10:47:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
210714 loops (21996/sec), 63065533 sampling steps, 140253 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
70403 component updates, 20996722 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](49317), [0.0000+1.00000e+00]@[0.00000](21086)
Sep 13, 2024 10:47:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
323113 loops (22479/sec), 96710414 sampling steps, 215072 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
107983 component updates, 32228872 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](75618), [0.0000+1.00000e+00]@[0.00000](32365)
Sep 13, 2024 10:47:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
434618 loops (22301/sec), 130087691 sampling steps, 289295 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
145265 component updates, 43372222 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](101738), [0.0000+1.00000e+00]@[0.00000](43527)
Sep 13, 2024 10:47:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
546601 loops (22396/sec), 163607969 sampling steps, 363917 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
182626 component updates, 54563722 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](127997), [0.0000+1.00000e+00]@[0.00000](54629)
Sep 13, 2024 10:47:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
658796 loops (22439/sec), 197191925 sampling steps, 438461 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
220277 component updates, 65775722 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](154367), [0.0000+1.00000e+00]@[0.00000](65910)
Sep 13, 2024 10:48:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
769709 loops (22182/sec), 230391691 sampling steps, 512595 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
257056 component updates, 76859672 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](180132), [0.0000+1.00000e+00]@[0.00000](76924)
Sep 13, 2024 10:48:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
882007 loops (22459/sec), 264006224 sampling steps, 587462 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
294487 component updates, 88081172 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](206434), [0.0000+1.00000e+00]@[0.00000](88053)
Sep 13, 2024 10:48:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
993080 loops (22214/sec), 297254012 sampling steps, 661574 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
331448 component updates, 99180922 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](232276), [0.0000+1.00000e+00]@[0.00000](99172)
Sep 13, 2024 10:48:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1105182 loops (22420/sec), 330809634 sampling steps, 736552 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
368572 component updates, 110382622 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](258330), [0.0000+1.00000e+00]@[0.00000](110242)
Sep 13, 2024 10:48:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1216761 loops (22315/sec), 364208654 sampling steps, 811232 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
405471 component updates, 121534422 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](284225), [0.0000+1.00000e+00]@[0.00000](121246)
Sep 13, 2024 10:48:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1328968 loops (22441/sec), 397796230 sampling steps, 885756 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
443154 component updates, 132747622 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](310571), [0.0000+1.00000e+00]@[0.00000](132583)
Sep 13, 2024 10:48:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1446811 loops (23568/sec), 433070943 sampling steps, 963943 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
482810 component updates, 144524322 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](338231), [0.0000+1.00000e+00]@[0.00000](144579)
Sep 13, 2024 10:48:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1565228 loops (23683/sec), 468516933 sampling steps, 1043053 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
522117 component updates, 156357222 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](365684), [0.0000+1.00000e+00]@[0.00000](156433)
Sep 13, 2024 10:48:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1685431 loops (24040/sec), 504497749 sampling steps, 1123137 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
562236 component updates, 168369022 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](393874), [0.0000+1.00000e+00]@[0.00000](168362)
Sep 13, 2024 10:48:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1806550 loops (24223/sec), 540753003 sampling steps, 1203583 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
602909 component updates, 180472822 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](422345), [0.0000+1.00000e+00]@[0.00000](180564)
Sep 13, 2024 10:48:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1925368 loops (23763/sec), 576318908 sampling steps, 1283078 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
642232 component updates, 192346522 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](449897), [0.0000+1.00000e+00]@[0.00000](192335)
Sep 13, 2024 10:48:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2038345 loops (22595/sec), 610136819 sampling steps, 1358267 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
680020 component updates, 203636972 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](476300), [0.0000+1.00000e+00]@[0.00000](203720)
Sep 13, 2024 10:49:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2154668 loops (23264/sec), 644956159 sampling steps, 1435827 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
718783 component updates, 215261022 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](503453), [0.0000+1.00000e+00]@[0.00000](215330)
Sep 13, 2024 10:49:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2273437 loops (23753/sec), 680507833 sampling steps, 1514853 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
758526 component updates, 227130022 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](531444), [0.0000+1.00000e+00]@[0.00000](227082)
Sep 13, 2024 10:49:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2393312 loops (23975/sec), 716390551 sampling steps, 1594635 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
798619 component updates, 239108272 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](559494), [0.0000+1.00000e+00]@[0.00000](239125)
Sep 13, 2024 10:49:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2513983 loops (24134/sec), 752511234 sampling steps, 1675252 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
838673 component updates, 251166422 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](587561), [0.0000+1.00000e+00]@[0.00000](251112)
Sep 13, 2024 10:49:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2633909 loops (23985/sec), 788409095 sampling steps, 1755191 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
878660 component updates, 263151022 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](615670), [0.0000+1.00000e+00]@[0.00000](262990)
Sep 13, 2024 10:49:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2750303 loops (23278/sec), 823249731 sampling steps, 1832755 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
917490 component updates, 274782772 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](642997), [0.0000+1.00000e+00]@[0.00000](274493)
Sep 13, 2024 10:49:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2866969 loops (23333/sec), 858171625 sampling steps, 1910661 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
956250 component updates, 286441622 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](670041), [0.0000+1.00000e+00]@[0.00000](286209)
Sep 13, 2024 10:49:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2984463 loops (23498/sec), 893341585 sampling steps, 1988901 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
995504 component updates, 298183272 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](697457), [0.0000+1.00000e+00]@[0.00000](298047)
Sep 13, 2024 10:49:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3102477 loops (23602/sec), 928667177 sampling steps, 2067509 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1034910 component updates, 309977422 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](725095), [0.0000+1.00000e+00]@[0.00000](309815)
Sep 13, 2024 10:49:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3220710 loops (23646/sec), 964058514 sampling steps, 2146072 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1074580 component updates, 321792972 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](752792), [0.0000+1.00000e+00]@[0.00000](321788)
Sep 13, 2024 10:49:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3339327 loops (23723/sec), 999564719 sampling steps, 2224967 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1114302 component updates, 333646622 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](780659), [0.0000+1.00000e+00]@[0.00000](333643)
Sep 13, 2024 10:49:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3455665 loops (23267/sec), 1034388895 sampling steps, 2302191 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1153416 component updates, 345271672 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](808066), [0.0000+1.00000e+00]@[0.00000](345350)
Sep 13, 2024 10:50:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3573126 loops (23492/sec), 1069548757 sampling steps, 2380629 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1192439 component updates, 357010522 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](835318), [0.0000+1.00000e+00]@[0.00000](357121)
Sep 13, 2024 10:50:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3691391 loops (23653/sec), 1104949134 sampling steps, 2459752 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1231581 component updates, 368828872 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](862566), [0.0000+1.00000e+00]@[0.00000](369015)
Sep 13, 2024 10:50:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3809996 loops (23721/sec), 1140451518 sampling steps, 2538868 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1271070 component updates, 380682822 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](890336), [0.0000+1.00000e+00]@[0.00000](380734)
Sep 13, 2024 10:50:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3928282 loops (23657/sec), 1175858200 sampling steps, 2617986 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1310238 component updates, 392504772 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](917681), [0.0000+1.00000e+00]@[0.00000](392557)
Sep 13, 2024 10:50:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4046451 loops (23633/sec), 1211230058 sampling steps, 2696828 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1349565 component updates, 404314272 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](945246), [0.0000+1.00000e+00]@[0.00000](404319)
Sep 13, 2024 10:50:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4162935 loops (23296/sec), 1246097447 sampling steps, 2774639 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1388238 component updates, 415954972 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](972456), [0.0000+1.00000e+00]@[0.00000](415782)
Sep 13, 2024 10:50:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4281701 loops (23753/sec), 1281648336 sampling steps, 2853550 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1428093 component updates, 427824572 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1000540), [0.0000+1.00000e+00]@[0.00000](427553)
Sep 13, 2024 10:50:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4402256 loops (24111/sec), 1317734625 sampling steps, 2933761 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1468437 component updates, 439870472 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1028879), [0.0000+1.00000e+00]@[0.00000](439558)
Sep 13, 2024 10:50:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4522727 loops (24094/sec), 1353795761 sampling steps, 3013925 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1508744 component updates, 451909872 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1057137), [0.0000+1.00000e+00]@[0.00000](451607)
Sep 13, 2024 10:50:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4643163 loops (24087/sec), 1389846538 sampling steps, 3093948 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1549157 component updates, 463945022 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1085340), [0.0000+1.00000e+00]@[0.00000](463817)
Sep 13, 2024 10:50:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4763608 loops (24089/sec), 1425899439 sampling steps, 3174547 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1589003 component updates, 475980772 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1113285), [0.0000+1.00000e+00]@[0.00000](475718)
Sep 13, 2024 10:50:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4882423 loops (23763/sec), 1461464823 sampling steps, 3253663 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1628702 component updates, 487854572 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1140972), [0.0000+1.00000e+00]@[0.00000](487730)
Sep 13, 2024 10:51:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4996937 loops (22902/sec), 1495742505 sampling steps, 3330181 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1666698 component updates, 499298622 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1167704), [0.0000+1.00000e+00]@[0.00000](498994)
Sep 13, 2024 10:51:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5112282 loops (23069/sec), 1530269105 sampling steps, 3407081 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1705143 component updates, 510825072 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1194535), [0.0000+1.00000e+00]@[0.00000](510608)
Sep 13, 2024 10:51:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5228675 loops (23278/sec), 1565109513 sampling steps, 3484573 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1744044 component updates, 522457272 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1221804), [0.0000+1.00000e+00]@[0.00000](522240)
Sep 13, 2024 10:51:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5343917 loops (23048/sec), 1599605297 sampling steps, 3561389 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1782470 component updates, 533973022 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1248875), [0.0000+1.00000e+00]@[0.00000](533595)
Sep 13, 2024 10:51:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5458493 loops (22915/sec), 1633901706 sampling steps, 3637780 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1820655 component updates, 545421972 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1275519), [0.0000+1.00000e+00]@[0.00000](545136)
Sep 13, 2024 10:51:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5574557 loops (23212/sec), 1668643631 sampling steps, 3715055 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1859444 component updates, 557021372 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1302694), [0.0000+1.00000e+00]@[0.00000](556750)
Sep 13, 2024 10:51:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5691318 loops (23352/sec), 1703594270 sampling steps, 3792716 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1898544 component updates, 568689372 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1330037), [0.0000+1.00000e+00]@[0.00000](568507)
Sep 13, 2024 10:51:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5808428 loops (23422/sec), 1738649065 sampling steps, 3870921 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1937449 component updates, 580392222 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1357235), [0.0000+1.00000e+00]@[0.00000](580214)
Sep 13, 2024 10:51:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5927423 loops (23799/sec), 1774268323 sampling steps, 3950163 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1977202 component updates, 592283772 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1384958), [0.0000+1.00000e+00]@[0.00000](592244)
Sep 13, 2024 10:51:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6048291 loops (24173/sec), 1810447964 sampling steps, 4030922 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2017311 component updates, 604362272 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1413068), [0.0000+1.00000e+00]@[0.00000](604243)
Sep 13, 2024 10:51:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6168889 loops (24119/sec), 1846546646 sampling steps, 4111640 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2057191 component updates, 616415022 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1441040), [0.0000+1.00000e+00]@[0.00000](616151)
Sep 13, 2024 10:51:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6289798 loops (24181/sec), 1882738624 sampling steps, 4192362 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2097378 component updates, 628497972 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1469225), [0.0000+1.00000e+00]@[0.00000](628153)
Sep 13, 2024 10:52:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6405714 loops (23183/sec), 1917435771 sampling steps, 4270015 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2135641 component updates, 640081922 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1496043), [0.0000+1.00000e+00]@[0.00000](639598)
Sep 13, 2024 10:52:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6524312 loops (23719/sec), 1952936263 sampling steps, 4348923 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2175331 component updates, 651934072 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1523852), [0.0000+1.00000e+00]@[0.00000](651479)
Sep 13, 2024 10:52:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6644779 loops (24093/sec), 1988996017 sampling steps, 4429269 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2215452 component updates, 663972422 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1551907), [0.0000+1.00000e+00]@[0.00000](663545)
Sep 13, 2024 10:52:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6765646 loops (24173/sec), 2025175558 sampling steps, 4509828 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2255760 component updates, 676051172 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1580167), [0.0000+1.00000e+00]@[0.00000](675593)
Sep 13, 2024 10:52:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6886420 loops (24154/sec), 2061327276 sampling steps, 4590310 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2296052 component updates, 688120022 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1608540), [0.0000+1.00000e+00]@[0.00000](687512)
Sep 13, 2024 10:52:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7007092 loops (24134/sec), 2097448489 sampling steps, 4670697 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2336337 component updates, 700178872 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1636707), [0.0000+1.00000e+00]@[0.00000](699630)
Sep 13, 2024 10:52:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7127988 loops (24179/sec), 2133636610 sampling steps, 4751376 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2376554 component updates, 712260772 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1664714), [0.0000+1.00000e+00]@[0.00000](711840)
Sep 13, 2024 10:52:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7249181 loops (24238/sec), 2169913630 sampling steps, 4832256 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2416867 component updates, 724371122 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1692977), [0.0000+1.00000e+00]@[0.00000](723890)
Sep 13, 2024 10:52:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7370094 loops (24182/sec), 2206106996 sampling steps, 4912790 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2457246 component updates, 736453572 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1721298), [0.0000+1.00000e+00]@[0.00000](735948)
Sep 13, 2024 10:52:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7490580 loops (24097/sec), 2242172521 sampling steps, 4993065 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2497457 component updates, 748493772 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1749382), [0.0000+1.00000e+00]@[0.00000](748075)
Sep 13, 2024 10:52:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7610984 loops (24080/sec), 2278213404 sampling steps, 5073382 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2537544 component updates, 760527072 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1777331), [0.0000+1.00000e+00]@[0.00000](760213)
Sep 13, 2024 10:52:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7731445 loops (24092/sec), 2314271563 sampling steps, 5153523 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2577864 component updates, 772564622 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1805354), [0.0000+1.00000e+00]@[0.00000](772510)
Sep 13, 2024 10:53:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7850025 loops (23716/sec), 2349766624 sampling steps, 5232462 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2617505 component updates, 784415722 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1833405), [0.0000+1.00000e+00]@[0.00000](784100)
Sep 13, 2024 10:53:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7966828 loops (23360/sec), 2384729783 sampling steps, 5310203 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2656567 component updates, 796088372 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1860867), [0.0000+1.00000e+00]@[0.00000](795700)
Sep 13, 2024 10:53:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8085858 loops (23806/sec), 2420359432 sampling steps, 5389554 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2696246 component updates, 807983572 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1888725), [0.0000+1.00000e+00]@[0.00000](807521)
Sep 13, 2024 10:53:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8204651 loops (23758/sec), 2455918367 sampling steps, 5468519 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2736074 component updates, 819855322 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1916595), [0.0000+1.00000e+00]@[0.00000](819479)
Sep 13, 2024 10:53:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8323696 loops (23809/sec), 2491552261 sampling steps, 5548125 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2775513 component updates, 831752522 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1944221), [0.0000+1.00000e+00]@[0.00000](831292)
Sep 13, 2024 10:53:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8441668 loops (23594/sec), 2526865501 sampling steps, 5626485 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2815125 component updates, 843541422 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1971853), [0.0000+1.00000e+00]@[0.00000](843272)
Sep 13, 2024 10:53:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8558818 loops (23430/sec), 2561932295 sampling steps, 5704691 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2854069 component updates, 855248772 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1999248), [0.0000+1.00000e+00]@[0.00000](854821)
Sep 13, 2024 10:53:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8677206 loops (23677/sec), 2597369813 sampling steps, 5783573 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2893575 component updates, 867078372 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2027052), [0.0000+1.00000e+00]@[0.00000](866523)
Sep 13, 2024 10:53:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8793386 loops (23236/sec), 2632146484 sampling steps, 5860902 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2932426 component updates, 878688572 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2054240), [0.0000+1.00000e+00]@[0.00000](878186)
Sep 13, 2024 10:53:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8912211 loops (23765/sec), 2667714641 sampling steps, 5940245 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2971908 component updates, 890562422 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2082008), [0.0000+1.00000e+00]@[0.00000](889900)
Sep 13, 2024 10:53:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9028766 loops (23311/sec), 2702603367 sampling steps, 6018019 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3010689 component updates, 902209572 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2109090), [0.0000+1.00000e+00]@[0.00000](901599)
Sep 13, 2024 10:53:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9145251 loops (23297/sec), 2737471204 sampling steps, 6095682 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3049511 component updates, 913849422 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2136207), [0.0000+1.00000e+00]@[0.00000](913304)
Sep 13, 2024 10:54:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9263868 loops (23723/sec), 2772977177 sampling steps, 6174809 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3089001 component updates, 925703122 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2163860), [0.0000+1.00000e+00]@[0.00000](925141)
Sep 13, 2024 10:54:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9381604 loops (23547/sec), 2808219592 sampling steps, 6253194 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3128352 component updates, 937468472 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2191380), [0.0000+1.00000e+00]@[0.00000](936972)
Sep 13, 2024 10:54:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9500045 loops (23688/sec), 2843673156 sampling steps, 6331930 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3168057 component updates, 949304722 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2219249), [0.0000+1.00000e+00]@[0.00000](948808)
Sep 13, 2024 10:54:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9618809 loops (23752/sec), 2879223422 sampling steps, 6410864 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3207887 component updates, 961173222 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2247217), [0.0000+1.00000e+00]@[0.00000](960670)
Sep 13, 2024 10:54:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9737226 loops (23683/sec), 2914669439 sampling steps, 6489947 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3247221 component updates, 973007022 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2274709), [0.0000+1.00000e+00]@[0.00000](972512)
Sep 13, 2024 10:54:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9855914 loops (23737/sec), 2950196604 sampling steps, 6569182 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3286674 component updates, 984866472 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2302296), [0.0000+1.00000e+00]@[0.00000](984378)
Sep 13, 2024 10:54:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9974597 loops (23736/sec), 2985722433 sampling steps, 6648253 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3326286 component updates, 996726072 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2329914), [0.0000+1.00000e+00]@[0.00000](996372)
Sep 13, 2024 10:54:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10092445 loops (23569/sec), 3020998224 sampling steps, 6726862 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3365525 component updates, 1008502472 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2357149), [0.0000+1.00000e+00]@[0.00000](1008376)
Sep 13, 2024 10:54:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10210685 loops (23648/sec), 3056391501 sampling steps, 6805585 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3405042 component updates, 1020318122 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2384817), [0.0000+1.00000e+00]@[0.00000](1020225)
Sep 13, 2024 10:54:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10329089 loops (23680/sec), 3091833657 sampling steps, 6884629 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3444402 component updates, 1032150772 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2412173), [0.0000+1.00000e+00]@[0.00000](1032229)
Sep 13, 2024 10:54:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10447572 loops (23696/sec), 3127299546 sampling steps, 6963640 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3483874 component updates, 1043990672 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2439901), [0.0000+1.00000e+00]@[0.00000](1043973)
Sep 13, 2024 10:54:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10566501 loops (23785/sec), 3162898742 sampling steps, 7043144 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3523299 component updates, 1055875172 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2467364), [0.0000+1.00000e+00]@[0.00000](1055935)
Sep 13, 2024 10:55:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10684243 loops (23548/sec), 3198143019 sampling steps, 7121467 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3562718 component updates, 1067642422 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2494877), [0.0000+1.00000e+00]@[0.00000](1067841)
Sep 13, 2024 10:55:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10802561 loops (23663/sec), 3233559601 sampling steps, 7200285 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3602218 component updates, 1079467672 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2522560), [0.0000+1.00000e+00]@[0.00000](1079658)
Sep 13, 2024 10:55:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10921830 loops (23853/sec), 3269261231 sampling steps, 7279355 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3642417 component updates, 1091386372 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2550546), [0.0000+1.00000e+00]@[0.00000](1091871)
Sep 13, 2024 10:55:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11040590 loops (23752/sec), 3304810058 sampling steps, 7358528 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3682004 component updates, 1103253672 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2578161), [0.0000+1.00000e+00]@[0.00000](1103843)
Sep 13, 2024 10:55:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11159920 loops (23866/sec), 3340529544 sampling steps, 7438042 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3721820 component updates, 1115178672 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2606031), [0.0000+1.00000e+00]@[0.00000](1115789)
Sep 13, 2024 10:55:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11278987 loops (23813/sec), 3376170212 sampling steps, 7517474 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3761455 component updates, 1127077922 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2633736), [0.0000+1.00000e+00]@[0.00000](1127719)
Sep 13, 2024 10:55:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11398236 loops (23849/sec), 3411865112 sampling steps, 7597274 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3800904 component updates, 1138995122 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2661594), [0.0000+1.00000e+00]@[0.00000](1139310)
Sep 13, 2024 10:55:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11517824 loops (23917/sec), 3447661599 sampling steps, 7677187 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3840579 component updates, 1150946172 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2689290), [0.0000+1.00000e+00]@[0.00000](1151289)
Sep 13, 2024 10:55:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11637393 loops (23913/sec), 3483452572 sampling steps, 7756914 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3880421 component updates, 1162894672 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2717251), [0.0000+1.00000e+00]@[0.00000](1163170)
Sep 13, 2024 10:55:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11756661 loops (23853/sec), 3519153442 sampling steps, 7836444 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3920159 component updates, 1174813572 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2745123), [0.0000+1.00000e+00]@[0.00000](1175036)
Sep 13, 2024 10:55:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11875651 loops (23798/sec), 3554770964 sampling steps, 7915922 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3959671 component updates, 1186705422 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2772922), [0.0000+1.00000e+00]@[0.00000](1186749)
Sep 13, 2024 10:55:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11994674 loops (23804/sec), 3590398802 sampling steps, 7994984 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3999632 component updates, 1198599622 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2800886), [0.0000+1.00000e+00]@[0.00000](1198746)
Sep 13, 2024 10:56:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12113392 loops (23743/sec), 3625935092 sampling steps, 8074094 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4039240 component updates, 1210464472 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2828380), [0.0000+1.00000e+00]@[0.00000](1210860)
Sep 13, 2024 10:56:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12231727 loops (23667/sec), 3661356683 sampling steps, 8153003 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4078666 component updates, 1222289972 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2856092), [0.0000+1.00000e+00]@[0.00000](1222574)
Sep 13, 2024 10:56:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12350967 loops (23848/sec), 3697049139 sampling steps, 8232547 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4118362 component updates, 1234205572 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2883972), [0.0000+1.00000e+00]@[0.00000](1234390)
Sep 13, 2024 10:56:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12469824 loops (23771/sec), 3732626906 sampling steps, 8311880 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4157886 component updates, 1246083072 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2911710), [0.0000+1.00000e+00]@[0.00000](1246176)
Sep 13, 2024 10:56:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12588821 loops (23799/sec), 3768246738 sampling steps, 8391148 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4197615 component updates, 1257974722 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2939436), [0.0000+1.00000e+00]@[0.00000](1258179)
Sep 13, 2024 10:56:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12707903 loops (23816/sec), 3803891778 sampling steps, 8470708 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4237137 component updates, 1269874672 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2967013), [0.0000+1.00000e+00]@[0.00000](1270124)
Sep 13, 2024 10:56:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12826793 loops (23778/sec), 3839479639 sampling steps, 8549847 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4276888 component updates, 1281756322 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2994674), [0.0000+1.00000e+00]@[0.00000](1282214)
Sep 13, 2024 10:56:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12945815 loops (23804/sec), 3875106670 sampling steps, 8629416 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4316341 component updates, 1293649472 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3022199), [0.0000+1.00000e+00]@[0.00000](1294142)
Sep 13, 2024 10:56:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13064571 loops (23751/sec), 3910654316 sampling steps, 8708570 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4355943 component updates, 1305516322 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3049762), [0.0000+1.00000e+00]@[0.00000](1306181)
Sep 13, 2024 10:56:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13183590 loops (23803/sec), 3946280743 sampling steps, 8787843 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4395689 component updates, 1317411272 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3077398), [0.0000+1.00000e+00]@[0.00000](1318291)
Sep 13, 2024 10:56:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13302684 loops (23818/sec), 3981929680 sampling steps, 8867106 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4435520 component updates, 1329312022 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3105320), [0.0000+1.00000e+00]@[0.00000](1330200)
Sep 13, 2024 10:56:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13421520 loops (23767/sec), 4017501369 sampling steps, 8946217 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4475245 component updates, 1341187172 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3133187), [0.0000+1.00000e+00]@[0.00000](1342058)
Sep 13, 2024 10:57:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13540498 loops (23795/sec), 4053115260 sampling steps, 9025726 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4514714 component updates, 1353077522 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3160780), [0.0000+1.00000e+00]@[0.00000](1353934)
Sep 13, 2024 10:57:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13659094 loops (23719/sec), 4088614975 sampling steps, 9104811 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4554225 component updates, 1364928572 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3188277), [0.0000+1.00000e+00]@[0.00000](1365948)
Sep 13, 2024 10:57:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13778562 loops (23893/sec), 4124375630 sampling steps, 9184556 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4593948 component updates, 1376866872 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3216201), [0.0000+1.00000e+00]@[0.00000](1377747)
Sep 13, 2024 10:57:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13897008 loops (23689/sec), 4159830440 sampling steps, 9263546 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4633404 component updates, 1388704472 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3243840), [0.0000+1.00000e+00]@[0.00000](1389564)
Sep 13, 2024 10:57:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14016128 loops (23824/sec), 4195487177 sampling steps, 9342809 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4673261 component updates, 1400609172 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3271709), [0.0000+1.00000e+00]@[0.00000](1401552)
Sep 13, 2024 10:57:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14135267 loops (23827/sec), 4231149324 sampling steps, 9422362 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4712847 component updates, 1412515072 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3299442), [0.0000+1.00000e+00]@[0.00000](1413405)
Sep 13, 2024 10:57:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14254579 loops (23862/sec), 4266863400 sampling steps, 9501886 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4752635 component updates, 1424438872 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3327485), [0.0000+1.00000e+00]@[0.00000](1425150)
Sep 13, 2024 10:57:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14373875 loops (23859/sec), 4302572442 sampling steps, 9581644 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4792173 component updates, 1436360172 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3355219), [0.0000+1.00000e+00]@[0.00000](1436954)
Sep 13, 2024 10:57:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14492823 loops (23789/sec), 4338177510 sampling steps, 9660976 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4831789 component updates, 1448246722 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3382861), [0.0000+1.00000e+00]@[0.00000](1448928)
Sep 13, 2024 10:57:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14622556 loops (25946/sec), 4377010814 sampling steps, 9747572 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4874926 component updates, 1461211672 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3413080), [0.0000+1.00000e+00]@[0.00000](1461846)
Sep 13, 2024 10:57:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14746642 loops (24817/sec), 4414154139 sampling steps, 9830047 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4916537 component updates, 1473611522 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3442266), [0.0000+1.00000e+00]@[0.00000](1474271)
Sep 13, 2024 10:57:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14874514 loops (25574/sec), 4452430320 sampling steps, 9915466 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4958990 component updates, 1486390072 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3471872), [0.0000+1.00000e+00]@[0.00000](1487118)
Sep 13, 2024 10:58:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15001875 loops (25472/sec), 4490553836 sampling steps, 10000250 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5001567 component updates, 1499117972 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3501446), [0.0000+1.00000e+00]@[0.00000](1500121)
Sep 13, 2024 10:58:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15128354 loops (25295/sec), 4528413126 sampling steps, 10084660 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5043636 component updates, 1511756272 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3530905), [0.0000+1.00000e+00]@[0.00000](1512731)
Sep 13, 2024 10:58:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15255995 loops (25528/sec), 4566620425 sampling steps, 10169661 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5086276 component updates, 1524512272 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3560851), [0.0000+1.00000e+00]@[0.00000](1525425)
Sep 13, 2024 10:58:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15382190 loops (25239/sec), 4604394696 sampling steps, 10253890 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5128242 component updates, 1537123422 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3590181), [0.0000+1.00000e+00]@[0.00000](1538061)
Sep 13, 2024 10:58:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15507583 loops (25078/sec), 4641929187 sampling steps, 10337299 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5170226 component updates, 1549653622 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3619504), [0.0000+1.00000e+00]@[0.00000](1550722)
Sep 13, 2024 10:58:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15635457 loops (25574/sec), 4680206215 sampling steps, 10422471 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5212928 component updates, 1562432022 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3649383), [0.0000+1.00000e+00]@[0.00000](1563545)
Sep 13, 2024 10:58:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15762099 loops (25328/sec), 4718114386 sampling steps, 10506900 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5255141 component updates, 1575089072 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3678809), [0.0000+1.00000e+00]@[0.00000](1576332)
Sep 13, 2024 10:58:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15890589 loops (25698/sec), 4756575425 sampling steps, 10592861 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5297670 component updates, 1587929722 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3708498), [0.0000+1.00000e+00]@[0.00000](1589172)
Sep 13, 2024 10:58:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16017623 loops (25406/sec), 4794600973 sampling steps, 10677513 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5340052 component updates, 1600624222 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3738172), [0.0000+1.00000e+00]@[0.00000](1601880)
Sep 13, 2024 10:58:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16145768 loops (25629/sec), 4832959031 sampling steps, 10762955 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5382755 component updates, 1613430522 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3768205), [0.0000+1.00000e+00]@[0.00000](1614550)
Sep 13, 2024 10:58:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16274370 loops (25720/sec), 4871453892 sampling steps, 10848694 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5425618 component updates, 1626282722 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3798254), [0.0000+1.00000e+00]@[0.00000](1627364)
Sep 13, 2024 10:58:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16401655 loops (25457/sec), 4909554340 sampling steps, 10933746 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5467851 component updates, 1639001522 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3827705), [0.0000+1.00000e+00]@[0.00000](1640146)
Sep 13, 2024 10:59:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16529733 loops (25615/sec), 4947892265 sampling steps, 11019221 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5510454 component updates, 1651800672 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3857364), [0.0000+1.00000e+00]@[0.00000](1653090)
Sep 13, 2024 10:59:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16656747 loops (25402/sec), 4985911929 sampling steps, 11103757 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5552932 component updates, 1664493422 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3887161), [0.0000+1.00000e+00]@[0.00000](1665771)
Sep 13, 2024 10:59:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16784376 loops (25525/sec), 5024115568 sampling steps, 11188818 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5595500 component updates, 1677248422 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3916904), [0.0000+1.00000e+00]@[0.00000](1678596)
Sep 13, 2024 10:59:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16913082 loops (25741/sec), 5062641738 sampling steps, 11274448 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5638576 component updates, 1690110022 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3947087), [0.0000+1.00000e+00]@[0.00000](1691489)
Sep 13, 2024 10:59:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17041614 loops (25706/sec), 5101115591 sampling steps, 11360195 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5681361 component updates, 1702953772 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3977033), [0.0000+1.00000e+00]@[0.00000](1704328)
Sep 13, 2024 10:59:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17170079 loops (25693/sec), 5139569480 sampling steps, 11445806 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5724215 component updates, 1715791472 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4007120), [0.0000+1.00000e+00]@[0.00000](1717095)
Sep 13, 2024 10:59:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17298459 loops (25676/sec), 5177997869 sampling steps, 11531417 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5766984 component updates, 1728620822 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4037022), [0.0000+1.00000e+00]@[0.00000](1729962)
Sep 13, 2024 10:59:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17426949 loops (25698/sec), 5216459388 sampling steps, 11616898 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5809993 component updates, 1741461022 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4067333), [0.0000+1.00000e+00]@[0.00000](1742660)
Sep 13, 2024 10:59:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17554828 loops (25575/sec), 5254737609 sampling steps, 11702377 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5852393 component updates, 1754240122 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4097045), [0.0000+1.00000e+00]@[0.00000](1755348)
Sep 13, 2024 10:59:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17682359 loops (25506/sec), 5292911820 sampling steps, 11787466 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5894835 component updates, 1766984272 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4126815), [0.0000+1.00000e+00]@[0.00000](1768020)
Sep 13, 2024 10:59:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17810680 loops (25664/sec), 5331322494 sampling steps, 11873092 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5937530 component updates, 1779807822 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4156663), [0.0000+1.00000e+00]@[0.00000](1780867)
Sep 13, 2024 10:59:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17939172 loops (25698/sec), 5369784528 sampling steps, 11958658 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5980456 component updates, 1792647672 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4186633), [0.0000+1.00000e+00]@[0.00000](1793823)
Sep 13, 2024 11:00:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18066423 loops (25450/sec), 5407874764 sampling steps, 12043722 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6022643 component updates, 1805363072 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4216188), [0.0000+1.00000e+00]@[0.00000](1806455)
Sep 13, 2024 11:00:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18193686 loops (25452/sec), 5445968866 sampling steps, 12128520 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6065108 component updates, 1818081822 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4245909), [0.0000+1.00000e+00]@[0.00000](1819199)
Sep 13, 2024 11:00:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18321469 loops (25556/sec), 5484218710 sampling steps, 12213576 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6107835 component updates, 1830851872 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4275825), [0.0000+1.00000e+00]@[0.00000](1832010)
Sep 13, 2024 11:00:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18449702 loops (25646/sec), 5522602972 sampling steps, 12299214 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6150430 component updates, 1843667172 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4305532), [0.0000+1.00000e+00]@[0.00000](1844898)
Sep 13, 2024 11:00:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18578438 loops (25747/sec), 5561138026 sampling steps, 12384960 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6193420 component updates, 1856532722 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4335672), [0.0000+1.00000e+00]@[0.00000](1857748)
Sep 13, 2024 11:00:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18707265 loops (25765/sec), 5599700051 sampling steps, 12471035 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6236172 component updates, 1869405972 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4365676), [0.0000+1.00000e+00]@[0.00000](1870496)
Sep 13, 2024 11:00:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18835844 loops (25715/sec), 5638187730 sampling steps, 12557056 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6278730 component updates, 1882255472 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4395568), [0.0000+1.00000e+00]@[0.00000](1883162)
Sep 13, 2024 11:00:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18964203 loops (25671/sec), 5676610052 sampling steps, 12642434 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6321711 component updates, 1895083272 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4425631), [0.0000+1.00000e+00]@[0.00000](1896080)
Sep 13, 2024 11:00:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19092769 loops (25713/sec), 5715094056 sampling steps, 12728230 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6364481 component updates, 1907930572 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4455540), [0.0000+1.00000e+00]@[0.00000](1908941)
Sep 13, 2024 11:00:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19220944 loops (25635/sec), 5753461201 sampling steps, 12813585 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6407301 component updates, 1920740972 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4485643), [0.0000+1.00000e+00]@[0.00000](1921658)
Sep 13, 2024 11:00:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19349973 loops (25805/sec), 5792083682 sampling steps, 12899804 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6450111 component updates, 1933635072 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4515537), [0.0000+1.00000e+00]@[0.00000](1934574)
Sep 13, 2024 11:00:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19478906 loops (25786/sec), 5830677706 sampling steps, 12985680 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6493168 component updates, 1946519172 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4545667), [0.0000+1.00000e+00]@[0.00000](1947501)
Sep 13, 2024 11:01:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19607353 loops (25689/sec), 5869126152 sampling steps, 13071334 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6535961 component updates, 1959354522 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4575643), [0.0000+1.00000e+00]@[0.00000](1960318)
Sep 13, 2024 11:01:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19734596 loops (25448/sec), 5907213935 sampling steps, 13156451 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6578087 component updates, 1972069972 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4605101), [0.0000+1.00000e+00]@[0.00000](1972986)
Sep 13, 2024 11:01:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19863612 loops (25803/sec), 5945832950 sampling steps, 13242236 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6621318 component updates, 1984963222 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4635396), [0.0000+1.00000e+00]@[0.00000](1985922)
Sep 13, 2024 11:01:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19992673 loops (25812/sec), 5984465448 sampling steps, 13328038 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6664577 component updates, 1997860572 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4665465), [0.0000+1.00000e+00]@[0.00000](1999112)
Sep 13, 2024 11:01:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20121535 loops (25772/sec), 6023038105 sampling steps, 13413981 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6707496 component updates, 2010737772 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4695489), [0.0000+1.00000e+00]@[0.00000](2012007)
Sep 13, 2024 11:01:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20250509 loops (25794/sec), 6061644488 sampling steps, 13499798 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6750653 component updates, 2023626172 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4725641), [0.0000+1.00000e+00]@[0.00000](2025012)
Sep 13, 2024 11:01:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20379410 loops (25780/sec), 6100228875 sampling steps, 13585711 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6793641 component updates, 2036507522 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4755672), [0.0000+1.00000e+00]@[0.00000](2037969)
Sep 13, 2024 11:01:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20508493 loops (25816/sec), 6138867783 sampling steps, 13671703 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6836732 component updates, 2049407822 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4785865), [0.0000+1.00000e+00]@[0.00000](2050867)
Sep 13, 2024 11:01:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20637440 loops (25789/sec), 6177466102 sampling steps, 13757484 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6879898 component updates, 2062292822 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4816209), [0.0000+1.00000e+00]@[0.00000](2063689)
Sep 13, 2024 11:01:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20766254 loops (25762/sec), 6216024088 sampling steps, 13843698 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6922498 component updates, 2075166372 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4845956), [0.0000+1.00000e+00]@[0.00000](2076542)
Sep 13, 2024 11:01:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20895529 loops (25855/sec), 6254720375 sampling steps, 13929911 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6965560 component updates, 2088085522 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4876318), [0.0000+1.00000e+00]@[0.00000](2089242)
Sep 13, 2024 11:01:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21024486 loops (25791/sec), 6293321463 sampling steps, 14015923 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7008505 component updates, 2100973072 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4906392), [0.0000+1.00000e+00]@[0.00000](2102113)
Sep 13, 2024 11:02:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21153222 loops (25747/sec), 6331856188 sampling steps, 14101998 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7051166 component updates, 2113838122 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4936210), [0.0000+1.00000e+00]@[0.00000](2114956)
Sep 13, 2024 11:02:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21280648 loops (25485/sec), 6369998959 sampling steps, 14187027 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7093563 component updates, 2126572472 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4965874), [0.0000+1.00000e+00]@[0.00000](2127689)
Sep 13, 2024 11:02:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21409782 loops (25826/sec), 6408653128 sampling steps, 14273058 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7136666 component updates, 2139477522 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4996048), [0.0000+1.00000e+00]@[0.00000](2140618)
Sep 13, 2024 11:02:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21538657 loops (25775/sec), 6447229547 sampling steps, 14359139 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7179460 component updates, 2152356672 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5026061), [0.0000+1.00000e+00]@[0.00000](2153399)
Sep 13, 2024 11:02:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21667471 loops (25762/sec), 6485788032 sampling steps, 14444854 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7222559 component updates, 2165228822 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5056113), [0.0000+1.00000e+00]@[0.00000](2166446)
Sep 13, 2024 11:02:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21796425 loops (25790/sec), 6524388543 sampling steps, 14530543 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7265824 component updates, 2178115272 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5086440), [0.0000+1.00000e+00]@[0.00000](2179384)
Sep 13, 2024 11:02:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21925446 loops (25804/sec), 6563008700 sampling steps, 14616686 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7308702 component updates, 2191008022 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5116249), [0.0000+1.00000e+00]@[0.00000](2192453)
Sep 13, 2024 11:02:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22054292 loops (25769/sec), 6601576590 sampling steps, 14702596 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7351638 component updates, 2203884622 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5146245), [0.0000+1.00000e+00]@[0.00000](2205393)
Sep 13, 2024 11:02:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22183267 loops (25795/sec), 6640183091 sampling steps, 14788595 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7394614 component updates, 2216774672 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5176293), [0.0000+1.00000e+00]@[0.00000](2218321)
Sep 13, 2024 11:02:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22311968 loops (25740/sec), 6678707390 sampling steps, 14874596 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7437314 component updates, 2229636222 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5206147), [0.0000+1.00000e+00]@[0.00000](2231167)
Sep 13, 2024 11:02:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22440878 loops (25782/sec), 6717294298 sampling steps, 14960688 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7480132 component updates, 2242519322 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5236097), [0.0000+1.00000e+00]@[0.00000](2244035)
Sep 13, 2024 11:02:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22569899 loops (25804/sec), 6755914890 sampling steps, 15046396 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7523445 component updates, 2255413222 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5266377), [0.0000+1.00000e+00]@[0.00000](2257068)
Sep 13, 2024 11:03:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22698222 loops (25664/sec), 6794326603 sampling steps, 15131583 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7566581 component updates, 2268235722 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5296795), [0.0000+1.00000e+00]@[0.00000](2269786)
Sep 13, 2024 11:03:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22825935 loops (25542/sec), 6832555257 sampling steps, 15216829 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7609048 component updates, 2280998722 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5326575), [0.0000+1.00000e+00]@[0.00000](2282473)
Sep 13, 2024 11:03:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22954641 loops (25741/sec), 6871081312 sampling steps, 15302574 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7652009 component updates, 2293860022 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5356688), [0.0000+1.00000e+00]@[0.00000](2295321)
Sep 13, 2024 11:03:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23083268 loops (25725/sec), 6909583512 sampling steps, 15388474 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7694736 component updates, 2306714272 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5386563), [0.0000+1.00000e+00]@[0.00000](2308173)
Sep 13, 2024 11:03:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23212255 loops (25797/sec), 6948193599 sampling steps, 15474487 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7737710 component updates, 2319604172 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5416706), [0.0000+1.00000e+00]@[0.00000](2321004)
Sep 13, 2024 11:03:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23341124 loops (25773/sec), 6986768778 sampling steps, 15560008 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7781058 component updates, 2332482922 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5447046), [0.0000+1.00000e+00]@[0.00000](2334012)
Sep 13, 2024 11:03:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23470369 loops (25849/sec), 7025456312 sampling steps, 15645974 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7824337 component updates, 2345399172 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5477260), [0.0000+1.00000e+00]@[0.00000](2347077)
Sep 13, 2024 11:03:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23599293 loops (25784/sec), 7064047729 sampling steps, 15731757 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7867478 component updates, 2358283372 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5507462), [0.0000+1.00000e+00]@[0.00000](2360016)
Sep 13, 2024 11:03:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23728032 loops (25747/sec), 7102583648 sampling steps, 15817538 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7910436 component updates, 2371147872 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5537574), [0.0000+1.00000e+00]@[0.00000](2372862)
Sep 13, 2024 11:03:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23857146 loops (25822/sec), 7141231794 sampling steps, 15903592 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7953496 component updates, 2384050272 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5567716), [0.0000+1.00000e+00]@[0.00000](2385780)
Sep 13, 2024 11:03:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23985998 loops (25770/sec), 7179801509 sampling steps, 15989477 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7996463 component updates, 2396927572 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5597914), [0.0000+1.00000e+00]@[0.00000](2398549)
Sep 13, 2024 11:03:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24115126 loops (25825/sec), 7218454020 sampling steps, 16075366 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8039702 component updates, 2409832472 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5628167), [0.0000+1.00000e+00]@[0.00000](2411535)
Sep 13, 2024 11:04:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24243609 loops (25696/sec), 7256912864 sampling steps, 16161422 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8082129 component updates, 2422671772 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5657837), [0.0000+1.00000e+00]@[0.00000](2424292)
Sep 13, 2024 11:04:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24371330 loops (25544/sec), 7295143974 sampling steps, 16246612 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8124660 component updates, 2435435122 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5687712), [0.0000+1.00000e+00]@[0.00000](2436948)
Sep 13, 2024 11:04:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24499174 loops (25568/sec), 7333411934 sampling steps, 16331852 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8167264 component updates, 2448210022 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5717900), [0.0000+1.00000e+00]@[0.00000](2449364)
Sep 13, 2024 11:04:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24628156 loops (25796/sec), 7372020381 sampling steps, 16418005 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8210093 component updates, 2461098922 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5747995), [0.0000+1.00000e+00]@[0.00000](2462098)
Sep 13, 2024 11:04:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24757177 loops (25804/sec), 7410640552 sampling steps, 16504134 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8252985 component updates, 2473991822 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5777991), [0.0000+1.00000e+00]@[0.00000](2474994)
Sep 13, 2024 11:04:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24886371 loops (25838/sec), 7449312684 sampling steps, 16590202 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8296111 component updates, 2486901522 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5808346), [0.0000+1.00000e+00]@[0.00000](2487765)
Sep 13, 2024 11:04:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25015897 loops (25905/sec), 7488084317 sampling steps, 16676369 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8339470 component updates, 2499845972 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5838738), [0.0000+1.00000e+00]@[0.00000](2500732)
Sep 13, 2024 11:04:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25145015 loops (25823/sec), 7526733711 sampling steps, 16762375 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8382582 component updates, 2512750122 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5868883), [0.0000+1.00000e+00]@[0.00000](2513699)
Sep 13, 2024 11:04:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25274379 loops (25872/sec), 7565456916 sampling steps, 16848370 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8425951 component updates, 2525678522 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5899364), [0.0000+1.00000e+00]@[0.00000](2526587)
Sep 13, 2024 11:04:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25403583 loops (25840/sec), 7604131914 sampling steps, 16934572 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8468953 component updates, 2538589372 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5929485), [0.0000+1.00000e+00]@[0.00000](2539468)
Sep 13, 2024 11:04:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25532899 loops (25863/sec), 7642840423 sampling steps, 17020863 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8511978 component updates, 2551513122 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5959558), [0.0000+1.00000e+00]@[0.00000](2552420)
Sep 13, 2024 11:04:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25661990 loops (25818/sec), 7681481600 sampling steps, 17106986 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8554946 component updates, 2564413072 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5989646), [0.0000+1.00000e+00]@[0.00000](2565300)
Sep 13, 2024 11:05:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25790478 loops (25697/sec), 7719942279 sampling steps, 17192707 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8597713 component updates, 2577252922 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6019649), [0.0000+1.00000e+00]@[0.00000](2578064)
Sep 13, 2024 11:05:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25918108 loops (25526/sec), 7758146082 sampling steps, 17277904 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8640146 component updates, 2590007472 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6049365), [0.0000+1.00000e+00]@[0.00000](2590781)
Sep 13, 2024 11:05:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26047203 loops (25819/sec), 7796788640 sampling steps, 17363846 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8683299 component updates, 2602907472 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6079530), [0.0000+1.00000e+00]@[0.00000](2603769)
Sep 13, 2024 11:05:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26176318 loops (25823/sec), 7835437506 sampling steps, 17449480 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8726780 component updates, 2615810972 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6109968), [0.0000+1.00000e+00]@[0.00000](2616812)
Sep 13, 2024 11:05:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26305397 loops (25815/sec), 7874075154 sampling steps, 17535532 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8769807 component updates, 2628710572 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6140129), [0.0000+1.00000e+00]@[0.00000](2629678)
Sep 13, 2024 11:05:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26434202 loops (25761/sec), 7912630716 sampling steps, 17621470 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8812674 component updates, 2641581772 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6170202), [0.0000+1.00000e+00]@[0.00000](2642472)
Sep 13, 2024 11:05:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26563227 loops (25805/sec), 7951252224 sampling steps, 17707462 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8855707 component updates, 2654475872 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6200247), [0.0000+1.00000e+00]@[0.00000](2655460)
Sep 13, 2024 11:05:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26692240 loops (25802/sec), 7989870089 sampling steps, 17793497 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8898685 component updates, 2667367822 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6230357), [0.0000+1.00000e+00]@[0.00000](2668328)
Sep 13, 2024 11:05:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26821052 loops (25762/sec), 8028427816 sampling steps, 17879370 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8941624 component updates, 2680241472 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6260442), [0.0000+1.00000e+00]@[0.00000](2681182)
Sep 13, 2024 11:05:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26949970 loops (25783/sec), 8067017330 sampling steps, 17965256 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8984656 component updates, 2693123972 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6290573), [0.0000+1.00000e+00]@[0.00000](2694083)
Sep 13, 2024 11:05:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27079118 loops (25829/sec), 8105675749 sampling steps, 18051237 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9027823 component updates, 2706030222 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6320759), [0.0000+1.00000e+00]@[0.00000](2707064)
Sep 13, 2024 11:05:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27208121 loops (25800/sec), 8144290549 sampling steps, 18137337 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9070726 component updates, 2718921872 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6350673), [0.0000+1.00000e+00]@[0.00000](2720053)
Sep 13, 2024 11:06:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27336694 loops (25714/sec), 8182776889 sampling steps, 18222897 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9113739 component updates, 2731771222 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6380936), [0.0000+1.00000e+00]@[0.00000](2732803)
Sep 13, 2024 11:06:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27463521 loops (25365/sec), 8220740400 sampling steps, 18307486 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9155977 component updates, 2744444772 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6410517), [0.0000+1.00000e+00]@[0.00000](2745460)
Sep 13, 2024 11:06:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27592595 loops (25814/sec), 8259376602 sampling steps, 18393484 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9199053 component updates, 2757344372 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6440754), [0.0000+1.00000e+00]@[0.00000](2758299)
Sep 13, 2024 11:06:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27721572 loops (25795/sec), 8297983773 sampling steps, 18479413 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9242101 component updates, 2770232822 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6470995), [0.0000+1.00000e+00]@[0.00000](2771106)
Sep 13, 2024 11:06:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27850482 loops (25782/sec), 8336571018 sampling steps, 18565168 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9285256 component updates, 2783115272 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6501243), [0.0000+1.00000e+00]@[0.00000](2784013)
Sep 13, 2024 11:06:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27979505 loops (25804/sec), 8375192034 sampling steps, 18651052 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9328395 component updates, 2796008422 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6531364), [0.0000+1.00000e+00]@[0.00000](2797031)
Sep 13, 2024 11:06:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28108576 loops (25814/sec), 8413827404 sampling steps, 18736982 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9371536 component updates, 2808906722 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6561758), [0.0000+1.00000e+00]@[0.00000](2809778)
Sep 13, 2024 11:06:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28237530 loops (25790/sec), 8452427632 sampling steps, 18822954 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9414518 component updates, 2821793822 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6592001), [0.0000+1.00000e+00]@[0.00000](2822517)
Sep 13, 2024 11:06:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28366540 loops (25802/sec), 8491044378 sampling steps, 18909208 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9457274 component updates, 2834686222 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6622015), [0.0000+1.00000e+00]@[0.00000](2835259)
Sep 13, 2024 11:06:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28495314 loops (25754/sec), 8529590812 sampling steps, 18994974 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9500282 component updates, 2847556072 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6652020), [0.0000+1.00000e+00]@[0.00000](2848262)
Sep 13, 2024 11:06:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28624274 loops (25792/sec), 8568192875 sampling steps, 19080911 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9543305 component updates, 2860442922 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6682231), [0.0000+1.00000e+00]@[0.00000](2861074)
Sep 13, 2024 11:06:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28753413 loops (25827/sec), 8606848359 sampling steps, 19167127 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9586228 component updates, 2873347022 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6712274), [0.0000+1.00000e+00]@[0.00000](2873954)
Sep 13, 2024 11:07:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28881657 loops (25648/sec), 8645236023 sampling steps, 19252663 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9628936 component updates, 2886162322 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6742146), [0.0000+1.00000e+00]@[0.00000](2886790)
Sep 13, 2024 11:07:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29009381 loops (25544/sec), 8683468176 sampling steps, 19337710 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9671613 component updates, 2898926172 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6771920), [0.0000+1.00000e+00]@[0.00000](2899693)
Sep 13, 2024 11:07:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29138202 loops (25764/sec), 8722028606 sampling steps, 19423580 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9714564 component updates, 2911799972 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6801997), [0.0000+1.00000e+00]@[0.00000](2912567)
Sep 13, 2024 11:07:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29266860 loops (25731/sec), 8760540206 sampling steps, 19509380 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9757422 component updates, 2924656972 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6832073), [0.0000+1.00000e+00]@[0.00000](2925349)
Sep 13, 2024 11:07:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29395949 loops (25817/sec), 8799180896 sampling steps, 19595390 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9800501 component updates, 2937557422 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6862168), [0.0000+1.00000e+00]@[0.00000](2938333)
Sep 13, 2024 11:07:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29525070 loops (25824/sec), 8837831319 sampling steps, 19681267 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9843745 component updates, 2950460922 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6892591), [0.0000+1.00000e+00]@[0.00000](2951154)
Sep 13, 2024 11:07:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29654169 loops (25819/sec), 8876475100 sampling steps, 19767186 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9886925 component updates, 2963363022 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6922737), [0.0000+1.00000e+00]@[0.00000](2964188)
Sep 13, 2024 11:07:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29783092 loops (25784/sec), 8915066332 sampling steps, 19852854 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9930180 component updates, 2976247322 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6952993), [0.0000+1.00000e+00]@[0.00000](2977187)
Sep 13, 2024 11:07:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29912236 loops (25828/sec), 8953723499 sampling steps, 19938887 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9973291 component updates, 2989151872 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6983177), [0.0000+1.00000e+00]@[0.00000](2990114)
Sep 13, 2024 11:07:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30041224 loops (25797/sec), 8992333853 sampling steps, 20024933 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10016233 component updates, 3002042022 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7013102), [0.0000+1.00000e+00]@[0.00000](3003131)
Sep 13, 2024 11:07:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30170434 loops (25842/sec), 9031010740 sampling steps, 20111046 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10059330 component updates, 3014955122 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7043209), [0.0000+1.00000e+00]@[0.00000](3016121)
Sep 13, 2024 11:07:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30299347 loops (25782/sec), 9069598483 sampling steps, 20197203 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10102086 component updates, 3027838222 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7073149), [0.0000+1.00000e+00]@[0.00000](3028937)
Sep 13, 2024 11:08:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30427723 loops (25675/sec), 9108025697 sampling steps, 20282789 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10144876 component updates, 3040668372 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7103108), [0.0000+1.00000e+00]@[0.00000](3041768)
Sep 13, 2024 11:08:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30555183 loops (25492/sec), 9146178680 sampling steps, 20367806 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10187319 component updates, 3053405272 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7132679), [0.0000+1.00000e+00]@[0.00000](3054640)
Sep 13, 2024 11:08:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30683957 loops (25754/sec), 9184724969 sampling steps, 20453717 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10230182 component updates, 3066275372 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7162617), [0.0000+1.00000e+00]@[0.00000](3067565)
Sep 13, 2024 11:08:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30812694 loops (25747/sec), 9223260399 sampling steps, 20539387 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10273249 component updates, 3079140672 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7192775), [0.0000+1.00000e+00]@[0.00000](3080474)
Sep 13, 2024 11:08:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30941563 loops (25773/sec), 9261835359 sampling steps, 20625127 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10316378 component updates, 3092018872 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7222910), [0.0000+1.00000e+00]@[0.00000](3093468)
Sep 13, 2024 11:08:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31070536 loops (25794/sec), 9300441196 sampling steps, 20711190 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10359288 component updates, 3104908322 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7252818), [0.0000+1.00000e+00]@[0.00000](3106470)
Sep 13, 2024 11:08:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31199568 loops (25806/sec), 9339064766 sampling steps, 20797220 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10402290 component updates, 3117802572 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7283000), [0.0000+1.00000e+00]@[0.00000](3119290)
Sep 13, 2024 11:08:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31328408 loops (25768/sec), 9377630875 sampling steps, 20883111 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10445239 component updates, 3130678372 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7313023), [0.0000+1.00000e+00]@[0.00000](3132216)
Sep 13, 2024 11:08:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31457615 loops (25841/sec), 9416306713 sampling steps, 20969373 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10488184 component updates, 3143590522 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7343124), [0.0000+1.00000e+00]@[0.00000](3145060)
Sep 13, 2024 11:08:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31586601 loops (25797/sec), 9454916297 sampling steps, 21055589 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10530954 component updates, 3156481072 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7372949), [0.0000+1.00000e+00]@[0.00000](3158005)
Sep 13, 2024 11:08:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31715639 loops (25807/sec), 9493541726 sampling steps, 21141560 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10574021 component updates, 3169376322 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7402978), [0.0000+1.00000e+00]@[0.00000](3171043)
Sep 13, 2024 11:08:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31844558 loops (25783/sec), 9532131472 sampling steps, 21227514 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10616986 component updates, 3182259422 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7433115), [0.0000+1.00000e+00]@[0.00000](3183871)
Sep 13, 2024 11:09:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31972798 loops (25648/sec), 9570518092 sampling steps, 21312894 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10659846 component updates, 3195075272 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7463082), [0.0000+1.00000e+00]@[0.00000](3196764)
Sep 13, 2024 11:09:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32100612 loops (25562/sec), 9608776721 sampling steps, 21398465 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10702089 component updates, 3207849422 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7492675), [0.0000+1.00000e+00]@[0.00000](3209414)
Sep 13, 2024 11:09:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32229264 loops (25730/sec), 9647286370 sampling steps, 21484416 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10744790 component updates, 3220705322 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7522433), [0.0000+1.00000e+00]@[0.00000](3222357)
Sep 13, 2024 11:09:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32358469 loops (25841/sec), 9685961673 sampling steps, 21570613 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10787798 component updates, 3233617672 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7552723), [0.0000+1.00000e+00]@[0.00000](3235075)
Sep 13, 2024 11:09:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32487427 loops (25791/sec), 9724563255 sampling steps, 21656431 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10830938 component updates, 3246504572 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7582730), [0.0000+1.00000e+00]@[0.00000](3248208)
Sep 13, 2024 11:09:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32616429 loops (25800/sec), 9763177924 sampling steps, 21742362 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10874009 component updates, 3259396972 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7612812), [0.0000+1.00000e+00]@[0.00000](3261197)
Sep 13, 2024 11:09:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32745532 loops (25820/sec), 9801822899 sampling steps, 21828287 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10917187 component updates, 3272297122 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7643216), [0.0000+1.00000e+00]@[0.00000](3273971)
Sep 13, 2024 11:09:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32874643 loops (25822/sec), 9840470113 sampling steps, 21914373 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10960212 component updates, 3285199372 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7673250), [0.0000+1.00000e+00]@[0.00000](3286962)
Sep 13, 2024 11:09:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33002831 loops (25637/sec), 9878840823 sampling steps, 22000063 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11002710 component updates, 3298009622 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7703014), [0.0000+1.00000e+00]@[0.00000](3299696)
Sep 13, 2024 11:09:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33128610 loops (25155/sec), 9916490731 sampling steps, 22083855 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11044697 component updates, 3310579172 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7732409), [0.0000+1.00000e+00]@[0.00000](3312288)
Sep 13, 2024 11:09:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33256581 loops (25594/sec), 9954796908 sampling steps, 22168978 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11087545 component updates, 3323367322 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7762536), [0.0000+1.00000e+00]@[0.00000](3325009)
Sep 13, 2024 11:09:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33384020 loops (25487/sec), 9992943585 sampling steps, 22254001 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11129961 component updates, 3336102172 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7792143), [0.0000+1.00000e+00]@[0.00000](3337818)
Sep 13, 2024 11:10:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33507479 loops (24691/sec), 10029898864 sampling steps, 22336422 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11170999 component updates, 3348439372 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7820890), [0.0000+1.00000e+00]@[0.00000](3350109)
Sep 13, 2024 11:10:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33634257 loops (25355/sec), 10067847776 sampling steps, 22420910 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11213289 component updates, 3361109572 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7850426), [0.0000+1.00000e+00]@[0.00000](3362863)
Sep 13, 2024 11:10:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33762764 loops (25701/sec), 10106314114 sampling steps, 22506672 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11256034 component updates, 3373952122 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7880165), [0.0000+1.00000e+00]@[0.00000](3375869)
Sep 13, 2024 11:10:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33891116 loops (25670/sec), 10144734424 sampling steps, 22591962 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11299096 component updates, 3386777022 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7910224), [0.0000+1.00000e+00]@[0.00000](3388872)
Sep 13, 2024 11:10:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34019842 loops (25745/sec), 10183266349 sampling steps, 22677837 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11341947 component updates, 3399641622 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7940384), [0.0000+1.00000e+00]@[0.00000](3401563)
Sep 13, 2024 11:10:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34148209 loops (25673/sec), 10221690990 sampling steps, 22763296 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11384855 component updates, 3412469072 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7970268), [0.0000+1.00000e+00]@[0.00000](3414587)
Sep 13, 2024 11:10:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34276753 loops (25708/sec), 10260168887 sampling steps, 22848599 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11428096 component updates, 3425315522 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8000454), [0.0000+1.00000e+00]@[0.00000](3427642)
Sep 13, 2024 11:10:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34405232 loops (25695/sec), 10298626968 sampling steps, 22934218 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11470956 component updates, 3438154772 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8030359), [0.0000+1.00000e+00]@[0.00000](3440597)
Sep 13, 2024 11:10:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34533685 loops (25690/sec), 10337077087 sampling steps, 23019999 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11513628 component updates, 3450991572 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8060253), [0.0000+1.00000e+00]@[0.00000](3453375)
Sep 13, 2024 11:10:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34662006 loops (25664/sec), 10375487691 sampling steps, 23105695 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11556253 component updates, 3463815022 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8090080), [0.0000+1.00000e+00]@[0.00000](3466173)
Sep 13, 2024 11:10:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34790533 loops (25705/sec), 10413960191 sampling steps, 23191295 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11599180 component updates, 3476658972 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8120029), [0.0000+1.00000e+00]@[0.00000](3479151)
Sep 13, 2024 11:10:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34919121 loops (25717/sec), 10452450846 sampling steps, 23277040 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11642023 component updates, 3489509672 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8150175), [0.0000+1.00000e+00]@[0.00000](3491848)
Sep 13, 2024 11:11:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35047281 loops (25632/sec), 10490813184 sampling steps, 23362702 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11684521 component updates, 3502317072 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8179869), [0.0000+1.00000e+00]@[0.00000](3504652)
Sep 13, 2024 11:11:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35174417 loops (25427/sec), 10528869169 sampling steps, 23447517 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11726842 component updates, 3515022872 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8209578), [0.0000+1.00000e+00]@[0.00000](3517264)
Sep 13, 2024 11:11:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35303102 loops (25737/sec), 10567388525 sampling steps, 23533661 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11769383 component updates, 3527883422 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8239416), [0.0000+1.00000e+00]@[0.00000](3529967)
Sep 13, 2024 11:11:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35431913 loops (25762/sec), 10605945785 sampling steps, 23619701 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11812154 component updates, 3540755822 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8269346), [0.0000+1.00000e+00]@[0.00000](3542808)
Sep 13, 2024 11:11:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35560598 loops (25737/sec), 10644465248 sampling steps, 23705738 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11854802 component updates, 3553615772 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8299240), [0.0000+1.00000e+00]@[0.00000](3555562)
Sep 13, 2024 11:11:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35689306 loops (25741/sec), 10682992044 sampling steps, 23791342 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11897906 component updates, 3566478822 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8329302), [0.0000+1.00000e+00]@[0.00000](3568604)
Sep 13, 2024 11:11:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35818141 loops (25767/sec), 10721556791 sampling steps, 23877095 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11940988 component updates, 3579354822 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8359638), [0.0000+1.00000e+00]@[0.00000](3581350)
Sep 13, 2024 11:11:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35946785 loops (25728/sec), 10760064240 sampling steps, 23962846 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11983881 component updates, 3592210272 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8389816), [0.0000+1.00000e+00]@[0.00000](3594065)
Sep 13, 2024 11:11:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36075159 loops (25674/sec), 10798490715 sampling steps, 24048571 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12026530 component updates, 3605039672 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8419588), [0.0000+1.00000e+00]@[0.00000](3606942)
Sep 13, 2024 11:11:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36203630 loops (25694/sec), 10836946408 sampling steps, 24134178 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12069394 component updates, 3617878522 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8449568), [0.0000+1.00000e+00]@[0.00000](3619826)
Sep 13, 2024 11:11:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36332168 loops (25707/sec), 10875422161 sampling steps, 24219825 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12112285 component updates, 3630722972 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8479652), [0.0000+1.00000e+00]@[0.00000](3632633)
Sep 13, 2024 11:11:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36460600 loops (25686/sec), 10913866543 sampling steps, 24305043 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12155499 component updates, 3643558272 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8509895), [0.0000+1.00000e+00]@[0.00000](3645604)
Sep 13, 2024 11:12:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36588611 loops (25602/sec), 10952184426 sampling steps, 24390460 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12198093 component updates, 3656349972 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8539796), [0.0000+1.00000e+00]@[0.00000](3658297)
Sep 13, 2024 11:12:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36716006 loops (25479/sec), 10990318112 sampling steps, 24475274 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12240674 component updates, 3669080422 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8569630), [0.0000+1.00000e+00]@[0.00000](3671044)
Sep 13, 2024 11:12:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36844271 loops (25653/sec), 11028711792 sampling steps, 24561094 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12283119 component updates, 3681898522 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8599361), [0.0000+1.00000e+00]@[0.00000](3683758)
Sep 13, 2024 11:12:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36976674 loops (26480/sec), 11068344391 sampling steps, 24649395 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12327221 component updates, 3695129572 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8630235), [0.0000+1.00000e+00]@[0.00000](3696986)
Sep 13, 2024 11:12:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37108826 loops (26430/sec), 11107902270 sampling steps, 24737116 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12371652 component updates, 3708335922 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8661177), [0.0000+1.00000e+00]@[0.00000](3710475)
Sep 13, 2024 11:12:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37238731 loops (25981/sec), 11146787244 sampling steps, 24823642 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12415031 component updates, 3721317922 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8691424), [0.0000+1.00000e+00]@[0.00000](3723607)
Sep 13, 2024 11:12:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37367301 loops (25714/sec), 11185272715 sampling steps, 24909171 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12458072 component updates, 3734165422 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8721507), [0.0000+1.00000e+00]@[0.00000](3736565)
Sep 13, 2024 11:12:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37495840 loops (25707/sec), 11223748615 sampling steps, 24994971 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12500811 component updates, 3747011722 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8751454), [0.0000+1.00000e+00]@[0.00000](3749357)
Sep 13, 2024 11:12:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37624338 loops (25699/sec), 11262212649 sampling steps, 25080337 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12543943 component updates, 3759853372 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8781582), [0.0000+1.00000e+00]@[0.00000](3762361)
Sep 13, 2024 11:12:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37752757 loops (25683/sec), 11300652784 sampling steps, 25165902 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12586797 component updates, 3772687722 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8811608), [0.0000+1.00000e+00]@[0.00000](3775189)
Sep 13, 2024 11:12:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37881158 loops (25680/sec), 11339087574 sampling steps, 25251412 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12629688 component updates, 3785519672 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8841626), [0.0000+1.00000e+00]@[0.00000](3788062)
Sep 13, 2024 11:12:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38009529 loops (25674/sec), 11377513070 sampling steps, 25337216 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12672255 component updates, 3798347122 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8871479), [0.0000+1.00000e+00]@[0.00000](3800776)
Sep 13, 2024 11:13:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38137238 loops (25541/sec), 11415740750 sampling steps, 25422236 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12714944 component updates, 3811109372 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8901239), [0.0000+1.00000e+00]@[0.00000](3813705)
Sep 13, 2024 11:13:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38264531 loops (25458/sec), 11453843786 sampling steps, 25507100 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12757373 component updates, 3823830422 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8930988), [0.0000+1.00000e+00]@[0.00000](3826385)
Sep 13, 2024 11:13:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38392954 loops (25684/sec), 11492285004 sampling steps, 25592782 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12800114 component updates, 3836664572 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8960717), [0.0000+1.00000e+00]@[0.00000](3839397)
Sep 13, 2024 11:13:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38521311 loops (25671/sec), 11530706501 sampling steps, 25678385 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12842868 component updates, 3849491822 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8990597), [0.0000+1.00000e+00]@[0.00000](3852271)
Sep 13, 2024 11:13:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38650020 loops (25741/sec), 11569233253 sampling steps, 25764333 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12885629 component updates, 3862354322 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9020516), [0.0000+1.00000e+00]@[0.00000](3865113)
Sep 13, 2024 11:13:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38778628 loops (25721/sec), 11607729936 sampling steps, 25850050 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12928520 component updates, 3875206272 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9050521), [0.0000+1.00000e+00]@[0.00000](3877999)
Sep 13, 2024 11:13:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38907020 loops (25678/sec), 11646161968 sampling steps, 25935618 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12971344 component updates, 3888036972 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9080473), [0.0000+1.00000e+00]@[0.00000](3890871)
Sep 13, 2024 11:13:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39035765 loops (25749/sec), 11684699662 sampling steps, 26021424 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13014283 component updates, 3900901072 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9110614), [0.0000+1.00000e+00]@[0.00000](3903669)
Sep 13, 2024 11:13:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39164630 loops (25773/sec), 11723273251 sampling steps, 26107335 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13057237 component updates, 3913779872 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9140753), [0.0000+1.00000e+00]@[0.00000](3916484)
Sep 13, 2024 11:13:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39293214 loops (25716/sec), 11761762527 sampling steps, 26193259 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13099897 component updates, 3926629572 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9170673), [0.0000+1.00000e+00]@[0.00000](3929224)
Sep 13, 2024 11:13:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39421581 loops (25673/sec), 11800186860 sampling steps, 26279026 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13142497 component updates, 3939458072 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9200445), [0.0000+1.00000e+00]@[0.00000](3942052)
Sep 13, 2024 11:13:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39550345 loops (25752/sec), 11838730140 sampling steps, 26364946 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13185341 component updates, 3952326172 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9230531), [0.0000+1.00000e+00]@[0.00000](3954810)
Sep 13, 2024 11:14:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39678249 loops (25580/sec), 11877016015 sampling steps, 26450271 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13227920 component updates, 3965107772 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9260260), [0.0000+1.00000e+00]@[0.00000](3967660)
Sep 13, 2024 11:14:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39805502 loops (25450/sec), 11915107229 sampling steps, 26534957 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13270487 component updates, 3977825472 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9290082), [0.0000+1.00000e+00]@[0.00000](3980405)
Sep 13, 2024 11:14:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39933989 loops (25697/sec), 11953567970 sampling steps, 26620316 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13313615 component updates, 3990665672 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9320190), [0.0000+1.00000e+00]@[0.00000](3993425)
Sep 13, 2024 11:14:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40062890 loops (25780/sec), 11992152248 sampling steps, 26706338 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13356494 component updates, 4003547672 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9350380), [0.0000+1.00000e+00]@[0.00000](4006114)
Sep 13, 2024 11:14:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40191597 loops (25741/sec), 12030678308 sampling steps, 26792378 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13399161 component updates, 4016409622 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9380167), [0.0000+1.00000e+00]@[0.00000](4018994)
Sep 13, 2024 11:14:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40320192 loops (25719/sec), 12069171005 sampling steps, 26878181 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13441953 component updates, 4029260572 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9410045), [0.0000+1.00000e+00]@[0.00000](4031908)
Sep 13, 2024 11:14:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40448913 loops (25744/sec), 12107701497 sampling steps, 26963989 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13484866 component updates, 4042124172 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9440271), [0.0000+1.00000e+00]@[0.00000](4044595)
Sep 13, 2024 11:14:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40577208 loops (25659/sec), 12146104513 sampling steps, 27049473 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13527677 component updates, 4054943872 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9470143), [0.0000+1.00000e+00]@[0.00000](4057534)
Sep 13, 2024 11:14:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40705766 loops (25711/sec), 12184585758 sampling steps, 27135628 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13570080 component updates, 4067791472 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9499967), [0.0000+1.00000e+00]@[0.00000](4070113)
Sep 13, 2024 11:14:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40834154 loops (25677/sec), 12223016707 sampling steps, 27221079 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13613017 component updates, 4080622772 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9529889), [0.0000+1.00000e+00]@[0.00000](4083128)
Sep 13, 2024 11:14:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40962462 loops (25661/sec), 12261423524 sampling steps, 27306662 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13655742 component updates, 4093444122 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9559835), [0.0000+1.00000e+00]@[0.00000](4095907)
Sep 13, 2024 11:14:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41090867 loops (25681/sec), 12299859274 sampling steps, 27392412 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13698397 component updates, 4106276672 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9589679), [0.0000+1.00000e+00]@[0.00000](4108718)
Sep 13, 2024 11:15:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41218251 loops (25476/sec), 12337989553 sampling steps, 27477333 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13740860 component updates, 4119007122 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9619310), [0.0000+1.00000e+00]@[0.00000](4121550)
Sep 13, 2024 11:15:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41345485 loops (25446/sec), 12376075223 sampling steps, 27561863 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13783564 component updates, 4131722822 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9649232), [0.0000+1.00000e+00]@[0.00000](4134332)
Sep 13, 2024 11:15:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41474055 loops (25714/sec), 12414560345 sampling steps, 27647741 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13826256 component updates, 4144570722 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9679370), [0.0000+1.00000e+00]@[0.00000](4146886)
Sep 13, 2024 11:15:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41602534 loops (25695/sec), 12453018409 sampling steps, 27733377 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13869099 component updates, 4157411222 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9709128), [0.0000+1.00000e+00]@[0.00000](4159971)
Sep 13, 2024 11:15:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41730966 loops (25686/sec), 12491462650 sampling steps, 27818736 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13912172 component updates, 4170245322 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9739257), [0.0000+1.00000e+00]@[0.00000](4172915)
Sep 13, 2024 11:15:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41859334 loops (25673/sec), 12529887268 sampling steps, 27904518 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13954758 component updates, 4183073772 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9769047), [0.0000+1.00000e+00]@[0.00000](4185711)
Sep 13, 2024 11:15:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41987969 loops (25727/sec), 12568392181 sampling steps, 27990105 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13997806 component updates, 4195928522 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9799134), [0.0000+1.00000e+00]@[0.00000](4198672)
Sep 13, 2024 11:15:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42116619 loops (25730/sec), 12606901269 sampling steps, 28076017 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14040544 component updates, 4208784122 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9828979), [0.0000+1.00000e+00]@[0.00000](4211565)
Sep 13, 2024 11:15:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42245373 loops (25750/sec), 12645441757 sampling steps, 28161729 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14083586 component updates, 4221650322 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9859209), [0.0000+1.00000e+00]@[0.00000](4224377)
Sep 13, 2024 11:15:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42374015 loops (25728/sec), 12683948640 sampling steps, 28247446 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14126511 component updates, 4234505522 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9889213), [0.0000+1.00000e+00]@[0.00000](4237298)
Sep 13, 2024 11:15:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42502856 loops (25768/sec), 12722515327 sampling steps, 28333059 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14169739 component updates, 4247382022 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9919498), [0.0000+1.00000e+00]@[0.00000](4250241)
Sep 13, 2024 11:15:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42631599 loops (25748/sec), 12761052528 sampling steps, 28418758 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14212783 component updates, 4260247222 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9949734), [0.0000+1.00000e+00]@[0.00000](4263049)
Sep 13, 2024 11:16:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42759521 loops (25584/sec), 12799343922 sampling steps, 28503964 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14255499 component updates, 4273030222 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9979638), [0.0000+1.00000e+00]@[0.00000](4275861)
Sep 13, 2024 11:16:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42886553 loops (25406/sec), 12837368697 sampling steps, 28588789 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14297706 component updates, 4285725272 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](10009104), [0.0000+1.00000e+00]@[0.00000](4288602)
Sep 13, 2024 11:16:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43014977 loops (25684/sec), 12875810290 sampling steps, 28674396 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14340523 component updates, 4298559022 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](10039072), [0.0000+1.00000e+00]@[0.00000](4301451)
Sep 13, 2024 11:16:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43143502 loops (25705/sec), 12914282151 sampling steps, 28760035 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14383409 component updates, 4311402922 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](10069095), [0.0000+1.00000e+00]@[0.00000](4314314)
Sep 13, 2024 11:16:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43272733 loops (25846/sec), 12952965341 sampling steps, 28846145 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14426530 component updates, 4324317422 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](10099326), [0.0000+1.00000e+00]@[0.00000](4327204)
Sep 13, 2024 11:16:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43401894 loops (25832/sec), 12991627478 sampling steps, 28932308 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14469528 component updates, 4337224422 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](10129537), [0.0000+1.00000e+00]@[0.00000](4339991)
Sep 13, 2024 11:16:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43530975 loops (25816/sec), 13030265794 sampling steps, 29018292 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14512625 component updates, 4350124372 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](10159840), [0.0000+1.00000e+00]@[0.00000](4352785)
Sep 13, 2024 11:16:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43660258 loops (25856/sec), 13068964922 sampling steps, 29104064 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14556136 component updates, 4363044422 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](10190283), [0.0000+1.00000e+00]@[0.00000](4365853)
Sep 13, 2024 11:16:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43789257 loops (25799/sec), 13107578518 sampling steps, 29190168 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14599031 component updates, 4375935922 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](10220307), [0.0000+1.00000e+00]@[0.00000](4378724)
Sep 13, 2024 11:16:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43918126 loops (25773/sec), 13146153381 sampling steps, 29276005 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14642063 component updates, 4388814222 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](10250455), [0.0000+1.00000e+00]@[0.00000](4391608)
Sep 13, 2024 11:16:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44046832 loops (25741/sec), 13184679372 sampling steps, 29361814 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14684960 component updates, 4401676122 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](10280502), [0.0000+1.00000e+00]@[0.00000](4404458)
Sep 13, 2024 11:16:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44175843 loops (25802/sec), 13223296582 sampling steps, 29447904 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14727881 component updates, 4414569522 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](10310570), [0.0000+1.00000e+00]@[0.00000](4417311)
Sep 13, 2024 11:17:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44304474 loops (25726/sec), 13261799972 sampling steps, 29533814 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14770602 component updates, 4427424722 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](10340486), [0.0000+1.00000e+00]@[0.00000](4430116)
Sep 13, 2024 11:17:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44432246 loops (25554/sec), 13300046186 sampling steps, 29619200 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14812988 component updates, 4440193572 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](10370147), [0.0000+1.00000e+00]@[0.00000](4442841)
Sep 13, 2024 11:17:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44560678 loops (25686/sec), 13338490249 sampling steps, 29704737 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14855883 component updates, 4453028622 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](10400083), [0.0000+1.00000e+00]@[0.00000](4455800)
Sep 13, 2024 11:17:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44689755 loops (25815/sec), 13377127298 sampling steps, 29790788 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14898909 component updates, 4465927672 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](10430018), [0.0000+1.00000e+00]@[0.00000](4468891)
Sep 13, 2024 11:17:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44818737 loops (25796/sec), 13415736112 sampling steps, 29876574 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14942105 component updates, 4478817272 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](10460450), [0.0000+1.00000e+00]@[0.00000](4481655)
----------
Computation aborted after 1800.0061662197113 seconds since the total time limit of 1800.0 seconds was exceeded.