Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:49:34 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/kanban/kanban.prism --const t=4 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:49:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23427 loops (4685/sec), 5719500 sampling steps, 1890 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
221490 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34122 loops (2139/sec), 14224707 sampling steps, 6289 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
300803 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40386 loops (1252/sec), 21380721 sampling steps, 10919 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
332338 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47224 loops (1367/sec), 30123867 sampling steps, 16972 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355576 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54582 loops (1471/sec), 40002589 sampling steps, 24009 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
371935 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62585 loops (1600/sec), 50954847 sampling steps, 31843 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
384569 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
70259 loops (1534/sec), 61445016 sampling steps, 39450 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
393110 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77044 loops (1357/sec), 70794665 sampling steps, 46197 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
398749 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
83559 loops (1303/sec), 79788493 sampling steps, 52685 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
403286 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
91999 loops (1688/sec), 91290372 sampling steps, 61100 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
407744 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
99970 loops (1594/sec), 102302866 sampling steps, 69055 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
411430 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107083 loops (1422/sec), 112069964 sampling steps, 76162 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
414182 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113731 loops (1329/sec), 121300855 sampling steps, 82803 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
416411 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
121465 loops (1546/sec), 131792724 sampling steps, 90526 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
418660 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
129861 loops (1679/sec), 143400351 sampling steps, 98917 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
420863 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137285 loops (1484/sec), 153665129 sampling steps, 106341 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
422414 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144005 loops (1344/sec), 162886894 sampling steps, 113059 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
423725 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150900 loops (1379/sec), 172479975 sampling steps, 119950 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
425036 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
159385 loops (1696/sec), 184028629 sampling steps, 128433 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
426469 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
167679 loops (1658/sec), 195378377 sampling steps, 136726 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
427620 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
175519 loops (1568/sec), 205915201 sampling steps, 144564 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
428652 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
182789 loops (1454/sec), 215966713 sampling steps, 151833 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
429606 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
190325 loops (1507/sec), 226520662 sampling steps, 159369 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
430528 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
198749 loops (1684/sec), 238132013 sampling steps, 167791 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
431440 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
206467 loops (1543/sec), 248717900 sampling steps, 175509 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
432134 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
213984 loops (1503/sec), 258956113 sampling steps, 183024 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
432866 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
220442 loops (1291/sec), 268006032 sampling steps, 189482 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
433417 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
228927 loops (1697/sec), 279624244 sampling steps, 197967 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
434081 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
237063 loops (1627/sec), 290816692 sampling steps, 206102 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
434786 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
244049 loops (1397/sec), 300385576 sampling steps, 213088 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
435267 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
250477 loops (1285/sec), 309245983 sampling steps, 219516 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
435704 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
257760 loops (1456/sec), 319253917 sampling steps, 226799 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
436144 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
265991 loops (1646/sec), 330570409 sampling steps, 235030 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
436667 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
273522 loops (1506/sec), 340923922 sampling steps, 242561 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
437138 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
281040 loops (1503/sec), 351239284 sampling steps, 250079 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
437577 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
288440 loops (1480/sec), 361474257 sampling steps, 257479 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
437944 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
296894 loops (1690/sec), 373221196 sampling steps, 265933 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
438390 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
305392 loops (1699/sec), 384791493 sampling steps, 274431 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
438751 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
313694 loops (1660/sec), 396125394 sampling steps, 282733 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
439081 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
321854 loops (1632/sec), 407313903 sampling steps, 290893 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
439407 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
329904 loops (1610/sec), 418485751 sampling steps, 298943 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
439768 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
338211 loops (1661/sec), 429941260 sampling steps, 307250 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
440112 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
346531 loops (1664/sec), 441329801 sampling steps, 315570 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
440414 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
353765 loops (1446/sec), 451368044 sampling steps, 322804 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
440665 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
360769 loops (1400/sec), 461020281 sampling steps, 329808 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
440878 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
367395 loops (1325/sec), 470058588 sampling steps, 336433 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
441078 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
375960 loops (1713/sec), 481916119 sampling steps, 344998 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
441354 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
383922 loops (1592/sec), 492877225 sampling steps, 352960 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
441586 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
392252 loops (1666/sec), 504259467 sampling steps, 361290 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
441864 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
400378 loops (1625/sec), 515365878 sampling steps, 369416 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
442093 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
409112 loops (1746/sec), 527302923 sampling steps, 378150 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
442350 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
417510 loops (1679/sec), 538883213 sampling steps, 386548 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
442598 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
425109 loops (1519/sec), 549349559 sampling steps, 394147 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
442825 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
432302 loops (1438/sec), 559328228 sampling steps, 401340 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
443023 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
439772 loops (1494/sec), 569484642 sampling steps, 408810 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
443238 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
447863 loops (1618/sec), 580748961 sampling steps, 416901 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
443460 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
456120 loops (1651/sec), 592079021 sampling steps, 425158 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
443660 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
463815 loops (1539/sec), 602585657 sampling steps, 432853 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
443818 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
470640 loops (1365/sec), 611977134 sampling steps, 439678 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
443960 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
478458 loops (1563/sec), 622876008 sampling steps, 447496 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
444126 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
487108 loops (1730/sec), 634681061 sampling steps, 456146 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
444292 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
494155 loops (1409/sec), 644457670 sampling steps, 463193 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
444413 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
501207 loops (1410/sec), 654082190 sampling steps, 470245 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
444566 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
508516 loops (1461/sec), 664205065 sampling steps, 477554 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
444687 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
516896 loops (1676/sec), 675536488 sampling steps, 485934 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
444827 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
525175 loops (1655/sec), 686825454 sampling steps, 494213 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
444962 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
532236 loops (1412/sec), 696594016 sampling steps, 501274 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
445077 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
539246 loops (1402/sec), 706373227 sampling steps, 508284 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
445197 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
547081 loops (1567/sec), 717174557 sampling steps, 516119 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
445327 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
555639 loops (1711/sec), 728934637 sampling steps, 524677 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
445456 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
563103 loops (1492/sec), 739104586 sampling steps, 532141 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
445570 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
570113 loops (1402/sec), 748848897 sampling steps, 539151 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
445673 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
577397 loops (1456/sec), 758832978 sampling steps, 546435 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
445766 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
585652 loops (1651/sec), 770187124 sampling steps, 554690 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
445891 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
593884 loops (1646/sec), 781651284 sampling steps, 562922 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
446017 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
601341 loops (1491/sec), 791933135 sampling steps, 570379 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
446121 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
609248 loops (1581/sec), 802806163 sampling steps, 578286 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
446208 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
617470 loops (1644/sec), 814213945 sampling steps, 586508 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
446287 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
625980 loops (1702/sec), 826013523 sampling steps, 595018 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
446382 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
634070 loops (1618/sec), 837173583 sampling steps, 603108 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
446472 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
642179 loops (1621/sec), 848259782 sampling steps, 611217 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
446564 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
650293 loops (1622/sec), 859419754 sampling steps, 619331 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
446660 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
658817 loops (1704/sec), 871147578 sampling steps, 627855 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
446764 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
667370 loops (1710/sec), 882894565 sampling steps, 636408 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
446872 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
675922 loops (1710/sec), 894579682 sampling steps, 644960 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
446951 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
684196 loops (1654/sec), 905997290 sampling steps, 653234 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447035 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
692336 loops (1627/sec), 917185135 sampling steps, 661374 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447092 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
700654 loops (1663/sec), 928700159 sampling steps, 669692 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447201 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
708906 loops (1650/sec), 940170352 sampling steps, 677944 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447274 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
716112 loops (1441/sec), 950098930 sampling steps, 685150 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447348 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
723329 loops (1443/sec), 959970329 sampling steps, 692367 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447426 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
731043 loops (1542/sec), 970722318 sampling steps, 700081 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447499 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
739370 loops (1665/sec), 982093465 sampling steps, 708408 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447569 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
747634 loops (1652/sec), 993235563 sampling steps, 716672 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447625 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
754899 loops (1453/sec), 1003217283 sampling steps, 723937 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447694 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
762011 loops (1422/sec), 1013035883 sampling steps, 731049 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447737 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
770121 loops (1622/sec), 1024129947 sampling steps, 739159 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447814 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
778500 loops (1675/sec), 1035616701 sampling steps, 747538 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447889 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
786038 loops (1507/sec), 1046019907 sampling steps, 755076 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447956 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
793985 loops (1589/sec), 1056852006 sampling steps, 763023 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448021 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
801995 loops (1602/sec), 1067936669 sampling steps, 771033 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448068 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
808993 loops (1399/sec), 1077680879 sampling steps, 778031 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448114 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
817119 loops (1624/sec), 1089045481 sampling steps, 786157 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448186 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
825103 loops (1596/sec), 1099900247 sampling steps, 794141 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448254 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
833446 loops (1668/sec), 1111317323 sampling steps, 802484 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448303 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
841835 loops (1677/sec), 1122743105 sampling steps, 810873 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448359 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
849970 loops (1626/sec), 1134001133 sampling steps, 819008 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448414 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
858224 loops (1650/sec), 1145353175 sampling steps, 827262 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448462 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
865814 loops (1518/sec), 1155872877 sampling steps, 834852 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448511 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
873726 loops (1582/sec), 1166730326 sampling steps, 842764 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448560 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
881878 loops (1630/sec), 1177878889 sampling steps, 850916 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448619 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
890410 loops (1706/sec), 1189596972 sampling steps, 859448 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448659 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
898412 loops (1600/sec), 1200622255 sampling steps, 867450 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448698 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
906225 loops (1562/sec), 1211338756 sampling steps, 875263 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448751 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
913741 loops (1502/sec), 1221623012 sampling steps, 882779 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448791 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
922078 loops (1667/sec), 1233155725 sampling steps, 891116 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448825 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
930381 loops (1660/sec), 1244631788 sampling steps, 899419 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448883 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
938252 loops (1574/sec), 1255454662 sampling steps, 907290 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448923 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
946167 loops (1583/sec), 1266375041 sampling steps, 915205 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448966 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
954153 loops (1597/sec), 1277338636 sampling steps, 923191 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448993 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
962360 loops (1641/sec), 1288620991 sampling steps, 931398 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449033 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
971008 loops (1729/sec), 1300505289 sampling steps, 940046 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449072 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
979431 loops (1684/sec), 1312053228 sampling steps, 948469 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449108 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
987622 loops (1638/sec), 1323434214 sampling steps, 956660 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449161 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
995928 loops (1660/sec), 1334835511 sampling steps, 964966 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449218 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1004505 loops (1715/sec), 1346551397 sampling steps, 973543 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449263 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1012345 loops (1568/sec), 1357271618 sampling steps, 981383 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449295 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1019194 loops (1369/sec), 1366712971 sampling steps, 988232 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449339 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1025749 loops (1311/sec), 1375842641 sampling steps, 994787 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449376 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1034005 loops (1651/sec), 1387140498 sampling steps, 1003043 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449428 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1042363 loops (1671/sec), 1398661360 sampling steps, 1011401 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449478 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1049387 loops (1404/sec), 1408412364 sampling steps, 1018425 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449510 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1056399 loops (1402/sec), 1418017530 sampling steps, 1025437 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449552 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1063610 loops (1442/sec), 1428107210 sampling steps, 1032648 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449587 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1072336 loops (1745/sec), 1440217983 sampling steps, 1041374 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449629 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1080254 loops (1583/sec), 1450986007 sampling steps, 1049292 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449660 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1087563 loops (1461/sec), 1461060046 sampling steps, 1056601 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449684 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1094564 loops (1399/sec), 1470720086 sampling steps, 1063602 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449708 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1103118 loops (1710/sec), 1482344451 sampling steps, 1072156 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449740 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1111439 loops (1663/sec), 1493804769 sampling steps, 1080477 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449764 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1118514 loops (1414/sec), 1503524370 sampling steps, 1087552 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449809 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1125374 loops (1372/sec), 1512936093 sampling steps, 1094412 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449834 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1132869 loops (1498/sec), 1523394370 sampling steps, 1101907 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449876 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1141418 loops (1709/sec), 1535144878 sampling steps, 1110456 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449910 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1148868 loops (1490/sec), 1545319703 sampling steps, 1117906 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449933 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1156789 loops (1584/sec), 1556190112 sampling steps, 1125827 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449982 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1164532 loops (1548/sec), 1566999024 sampling steps, 1133570 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450030 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1172866 loops (1666/sec), 1578419582 sampling steps, 1141904 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450055 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1181452 loops (1717/sec), 1590323380 sampling steps, 1150490 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450080 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1189429 loops (1595/sec), 1601250072 sampling steps, 1158467 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450103 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1197222 loops (1558/sec), 1611978906 sampling steps, 1166260 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450125 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1204521 loops (1459/sec), 1622093131 sampling steps, 1173559 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450164 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1212843 loops (1664/sec), 1633493579 sampling steps, 1181881 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450184 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1221092 loops (1649/sec), 1644847645 sampling steps, 1190130 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450220 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1228736 loops (1528/sec), 1655449770 sampling steps, 1197774 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450243 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1236447 loops (1542/sec), 1666079820 sampling steps, 1205485 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450267 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1244662 loops (1643/sec), 1677352398 sampling steps, 1213700 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450297 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1253315 loops (1730/sec), 1689156101 sampling steps, 1222353 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450329 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1259952 loops (1327/sec), 1698107137 sampling steps, 1228990 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450349 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1267834 loops (1576/sec), 1708897064 sampling steps, 1236872 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450371 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1275585 loops (1550/sec), 1719619421 sampling steps, 1244623 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450392 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1283957 loops (1674/sec), 1731085800 sampling steps, 1252995 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450442 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1292426 loops (1693/sec), 1742605455 sampling steps, 1261464 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450467 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1300176 loops (1550/sec), 1753219321 sampling steps, 1269214 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450493 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1307951 loops (1555/sec), 1763874643 sampling steps, 1276989 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450522 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1315963 loops (1602/sec), 1774764194 sampling steps, 1285001 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450542 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1324238 loops (1655/sec), 1786121700 sampling steps, 1293276 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450566 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1332624 loops (1677/sec), 1797600153 sampling steps, 1301662 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450592 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1340169 loops (1509/sec), 1807983882 sampling steps, 1309207 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450613 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1347396 loops (1445/sec), 1817941987 sampling steps, 1316434 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450633 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1355290 loops (1578/sec), 1828813070 sampling steps, 1324328 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450644 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1363533 loops (1648/sec), 1840125649 sampling steps, 1332571 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450659 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1371087 loops (1510/sec), 1850458218 sampling steps, 1340125 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450682 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1378224 loops (1427/sec), 1860277878 sampling steps, 1347262 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450700 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1385570 loops (1469/sec), 1870483326 sampling steps, 1354608 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450720 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1393652 loops (1616/sec), 1881657776 sampling steps, 1362690 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450744 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1401682 loops (1606/sec), 1892666179 sampling steps, 1370720 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450769 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1409372 loops (1538/sec), 1903174368 sampling steps, 1378410 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450785 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1416318 loops (1389/sec), 1912700572 sampling steps, 1385356 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450800 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1423923 loops (1521/sec), 1923084517 sampling steps, 1392961 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450829 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1432422 loops (1699/sec), 1934748083 sampling steps, 1401460 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450854 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1439644 loops (1444/sec), 1944706761 sampling steps, 1408682 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450872 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1446829 loops (1437/sec), 1954539499 sampling steps, 1415867 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450895 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1454334 loops (1501/sec), 1964874689 sampling steps, 1423372 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450907 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1462715 loops (1676/sec), 1976316059 sampling steps, 1431753 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450930 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1470794 loops (1615/sec), 1987620920 sampling steps, 1439832 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450944 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1478103 loops (1461/sec), 1997620051 sampling steps, 1447141 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450955 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1485222 loops (1423/sec), 2007420219 sampling steps, 1454260 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450976 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1493042 loops (1564/sec), 2018216748 sampling steps, 1462080 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450997 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1501632 loops (1718/sec), 2029973765 sampling steps, 1470670 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451013 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1509513 loops (1576/sec), 2040676874 sampling steps, 1478551 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451029 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1516819 loops (1461/sec), 2050611539 sampling steps, 1485857 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451044 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1523788 loops (1393/sec), 2060124103 sampling steps, 1492826 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451053 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1532231 loops (1688/sec), 2071594618 sampling steps, 1501269 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451066 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1540498 loops (1653/sec), 2082934852 sampling steps, 1509536 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451077 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1548064 loops (1513/sec), 2093326109 sampling steps, 1517102 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451098 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1555132 loops (1413/sec), 2103061428 sampling steps, 1524170 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451111 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1562623 loops (1498/sec), 2113366685 sampling steps, 1531661 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451123 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1570983 loops (1672/sec), 2124780291 sampling steps, 1540021 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451140 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1579289 loops (1661/sec), 2136214134 sampling steps, 1548327 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451162 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1587006 loops (1543/sec), 2146839328 sampling steps, 1556044 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451178 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1594450 loops (1488/sec), 2157124660 sampling steps, 1563488 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451191 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1602385 loops (1587/sec), 2168105858 sampling steps, 1571423 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451217 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1610949 loops (1712/sec), 2179872936 sampling steps, 1579987 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451247 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1618551 loops (1520/sec), 2190407498 sampling steps, 1587589 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451259 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1625657 loops (1421/sec), 2200168955 sampling steps, 1594695 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451275 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1632845 loops (1437/sec), 2210056593 sampling steps, 1601883 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451307 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1641109 loops (1652/sec), 2221565561 sampling steps, 1610147 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451330 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1649318 loops (1641/sec), 2232899779 sampling steps, 1618356 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451344 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1657554 loops (1647/sec), 2244008561 sampling steps, 1626592 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451356 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1665823 loops (1653/sec), 2255308117 sampling steps, 1634861 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451369 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1674286 loops (1692/sec), 2266999726 sampling steps, 1643324 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451391 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1682825 loops (1707/sec), 2278706325 sampling steps, 1651863 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451407 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1690981 loops (1631/sec), 2289920088 sampling steps, 1660019 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451425 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1699612 loops (1726/sec), 2301558478 sampling steps, 1668650 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451436 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1706463 loops (1370/sec), 2310977725 sampling steps, 1675501 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451458 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1714775 loops (1662/sec), 2322448981 sampling steps, 1683813 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451466 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1723392 loops (1723/sec), 2334295507 sampling steps, 1692430 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451483 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1731426 loops (1606/sec), 2345451467 sampling steps, 1700464 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451500 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1739649 loops (1644/sec), 2356729902 sampling steps, 1708687 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451517 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1747822 loops (1634/sec), 2367932814 sampling steps, 1716860 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451541 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1756212 loops (1678/sec), 2379422070 sampling steps, 1725250 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451552 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1763109 loops (1379/sec), 2388878923 sampling steps, 1732147 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451564 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1769782 loops (1334/sec), 2398214813 sampling steps, 1738820 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451581 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1777954 loops (1634/sec), 2409536473 sampling steps, 1746992 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451587 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1785697 loops (1548/sec), 2420314324 sampling steps, 1754735 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451603 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1792684 loops (1397/sec), 2429933319 sampling steps, 1761722 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451611 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1800547 loops (1572/sec), 2440705549 sampling steps, 1769585 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451631 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1808639 loops (1618/sec), 2452014962 sampling steps, 1777677 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451644 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1815855 loops (1443/sec), 2461941761 sampling steps, 1784893 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451653 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1823546 loops (1538/sec), 2472822959 sampling steps, 1792584 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451662 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1832086 loops (1708/sec), 2484622209 sampling steps, 1801124 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451675 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1839885 loops (1559/sec), 2495420109 sampling steps, 1808923 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451688 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1847959 loops (1614/sec), 2506575043 sampling steps, 1816997 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451701 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1856473 loops (1702/sec), 2518161200 sampling steps, 1825511 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451711 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1864952 loops (1695/sec), 2529747951 sampling steps, 1833990 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451728 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1872984 loops (1606/sec), 2540673104 sampling steps, 1842022 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451735 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1881413 loops (1685/sec), 2552185356 sampling steps, 1850451 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451740 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1889674 loops (1652/sec), 2563606088 sampling steps, 1858712 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451755 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1897389 loops (1543/sec), 2574042145 sampling steps, 1866427 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451765 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1904650 loops (1452/sec), 2583936683 sampling steps, 1873688 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451783 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1913115 loops (1693/sec), 2595524843 sampling steps, 1882153 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451788 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1921316 loops (1640/sec), 2606704197 sampling steps, 1890354 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451799 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1928989 loops (1534/sec), 2617287448 sampling steps, 1898027 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451807 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1937048 loops (1611/sec), 2628334233 sampling steps, 1906086 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451815 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1945251 loops (1640/sec), 2639755879 sampling steps, 1914289 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451831 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1953401 loops (1630/sec), 2650951084 sampling steps, 1922439 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451838 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1961177 loops (1555/sec), 2661654987 sampling steps, 1930215 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451849 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1968855 loops (1535/sec), 2672209478 sampling steps, 1937893 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451857 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1978081 loops (1845/sec), 2684988912 sampling steps, 1947119 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451864 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1988160 loops (2015/sec), 2698853084 sampling steps, 1957198 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451884 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1997568 loops (1881/sec), 2711788815 sampling steps, 1966606 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451899 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2004879 loops (1462/sec), 2721975740 sampling steps, 1973917 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451908 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2012388 loops (1501/sec), 2732275330 sampling steps, 1981426 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451918 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2020768 loops (1676/sec), 2743850420 sampling steps, 1989806 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451926 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2027881 loops (1422/sec), 2753495393 sampling steps, 1996919 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451939 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2034439 loops (1311/sec), 2762499210 sampling steps, 2003477 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451952 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2042331 loops (1578/sec), 2773230394 sampling steps, 2011369 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451961 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2050349 loops (1603/sec), 2784287730 sampling steps, 2019387 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451976 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2056896 loops (1309/sec), 2793309183 sampling steps, 2025934 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451983 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2063540 loops (1328/sec), 2802391899 sampling steps, 2032578 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451989 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2071948 loops (1681/sec), 2813968405 sampling steps, 2040986 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452001 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2081515 loops (1913/sec), 2827050953 sampling steps, 2050553 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452007 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2091475 loops (1992/sec), 2840792086 sampling steps, 2060513 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452030 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2101344 loops (1973/sec), 2854324283 sampling steps, 2070382 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452034 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2111886 loops (2108/sec), 2868819645 sampling steps, 2080924 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452051 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2122730 loops (2168/sec), 2883775126 sampling steps, 2091768 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452058 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2133565 loops (2167/sec), 2898673734 sampling steps, 2102603 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452064 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2144411 loops (2169/sec), 2913625100 sampling steps, 2113449 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452082 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2155235 loops (2164/sec), 2928577602 sampling steps, 2124273 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452102 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2164467 loops (1846/sec), 2941226014 sampling steps, 2133505 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452107 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2175232 loops (2153/sec), 2956109236 sampling steps, 2144270 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452121 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2186073 loops (2168/sec), 2971007319 sampling steps, 2155111 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452135 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2196813 loops (2148/sec), 2985884503 sampling steps, 2165851 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452141 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2207625 loops (2162/sec), 3000693401 sampling steps, 2176663 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452155 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2218537 loops (2182/sec), 3015629076 sampling steps, 2187575 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452169 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2229276 loops (2147/sec), 3030332591 sampling steps, 2198314 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452179 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2240084 loops (2161/sec), 3045221658 sampling steps, 2209122 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452190 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2250830 loops (2149/sec), 3060083859 sampling steps, 2219868 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452196 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2261759 loops (2185/sec), 3075045641 sampling steps, 2230797 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452216 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2272605 loops (2169/sec), 3089772955 sampling steps, 2241643 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452230 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2283244 loops (2127/sec), 3104399123 sampling steps, 2252282 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452238 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2293998 loops (2150/sec), 3119095773 sampling steps, 2263036 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452248 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2304548 loops (2110/sec), 3133622636 sampling steps, 2273586 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452258 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2315155 loops (2121/sec), 3148161844 sampling steps, 2284193 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452265 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2325650 loops (2099/sec), 3162654604 sampling steps, 2294688 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452272 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2336053 loops (2080/sec), 3177022334 sampling steps, 2305091 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452292 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2346612 loops (2111/sec), 3191666498 sampling steps, 2315650 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452297 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2357401 loops (2157/sec), 3206615052 sampling steps, 2326439 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452305 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2368363 loops (2192/sec), 3221625398 sampling steps, 2337401 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452317 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2379197 loops (2166/sec), 3236612050 sampling steps, 2348235 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452328 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2390004 loops (2161/sec), 3251480389 sampling steps, 2359042 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452345 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2400791 loops (2157/sec), 3266425452 sampling steps, 2369829 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452356 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2411535 loops (2148/sec), 3281188394 sampling steps, 2380573 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452362 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2422246 loops (2142/sec), 3296045448 sampling steps, 2391284 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452367 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2433088 loops (2168/sec), 3310942633 sampling steps, 2402126 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452374 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2443946 loops (2171/sec), 3325900793 sampling steps, 2412984 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452393 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2454882 loops (2187/sec), 3340845303 sampling steps, 2423920 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452405 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2465694 loops (2162/sec), 3355779589 sampling steps, 2434732 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452420 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2476422 loops (2145/sec), 3370661683 sampling steps, 2445460 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452431 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2487299 loops (2175/sec), 3385618080 sampling steps, 2456337 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452440 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2498243 loops (2188/sec), 3400617286 sampling steps, 2467281 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452457 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2509051 loops (2161/sec), 3415534158 sampling steps, 2478089 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452464 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2519938 loops (2177/sec), 3430486379 sampling steps, 2488976 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452471 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2530782 loops (2168/sec), 3445432012 sampling steps, 2499820 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452483 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2541702 loops (2184/sec), 3460226996 sampling steps, 2510740 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452491 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2552643 loops (2188/sec), 3475124456 sampling steps, 2521681 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452501 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2563469 loops (2165/sec), 3490044359 sampling steps, 2532507 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452506 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2574328 loops (2171/sec), 3504986074 sampling steps, 2543366 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452517 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2585226 loops (2179/sec), 3519894002 sampling steps, 2554264 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452527 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2596212 loops (2197/sec), 3534880339 sampling steps, 2565250 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452533 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2606983 loops (2154/sec), 3549754303 sampling steps, 2576021 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452546 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2616262 loops (1855/sec), 3562500832 sampling steps, 2585300 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452558 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2627057 loops (2159/sec), 3577358057 sampling steps, 2596095 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452566 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2637819 loops (2152/sec), 3592184425 sampling steps, 2606857 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452571 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2648648 loops (2165/sec), 3607011278 sampling steps, 2617686 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452575 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2659564 loops (2183/sec), 3621875793 sampling steps, 2628602 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452588 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2670315 loops (2150/sec), 3636681305 sampling steps, 2639353 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452592 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2681123 loops (2161/sec), 3651539753 sampling steps, 2650161 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452608 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2691902 loops (2155/sec), 3666403651 sampling steps, 2660940 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452616 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2702664 loops (2152/sec), 3681332641 sampling steps, 2671702 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452641 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2713467 loops (2160/sec), 3696274109 sampling steps, 2682505 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452656 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2724287 loops (2164/sec), 3711166193 sampling steps, 2693325 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452667 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2735030 loops (2148/sec), 3726129329 sampling steps, 2704068 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452678 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2745851 loops (2164/sec), 3741062153 sampling steps, 2714889 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452680 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2756700 loops (2169/sec), 3756060952 sampling steps, 2725738 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452696 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2767696 loops (2199/sec), 3771122921 sampling steps, 2736734 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452708 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2778744 loops (2209/sec), 3786168700 sampling steps, 2747782 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452714 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2789632 loops (2177/sec), 3801184664 sampling steps, 2758670 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452719 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2800434 loops (2160/sec), 3815966371 sampling steps, 2769472 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452726 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2811218 loops (2156/sec), 3830859567 sampling steps, 2780256 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452731 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2822084 loops (2173/sec), 3845703108 sampling steps, 2791122 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452741 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2832922 loops (2167/sec), 3860659436 sampling steps, 2801960 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452749 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2843777 loops (2171/sec), 3875629094 sampling steps, 2812815 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452756 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2854544 loops (2153/sec), 3890565887 sampling steps, 2823582 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452761 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2865448 loops (2180/sec), 3905617566 sampling steps, 2834486 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452774 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2876438 loops (2198/sec), 3920629738 sampling steps, 2845476 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452781 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2887358 loops (2184/sec), 3935660208 sampling steps, 2856396 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452792 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2898227 loops (2173/sec), 3950657288 sampling steps, 2867265 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452798 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2909097 loops (2174/sec), 3965657668 sampling steps, 2878135 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452808 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2919993 loops (2179/sec), 3980630547 sampling steps, 2889031 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452810 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2930683 loops (2138/sec), 3995475177 sampling steps, 2899721 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452823 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2941666 loops (2196/sec), 4010351855 sampling steps, 2910704 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452830 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2952461 loops (2159/sec), 4025220246 sampling steps, 2921499 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452840 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2963296 loops (2167/sec), 4040176489 sampling steps, 2932334 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452846 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2974194 loops (2179/sec), 4055054213 sampling steps, 2943232 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452853 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2985112 loops (2183/sec), 4069983776 sampling steps, 2954150 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452859 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2995985 loops (2174/sec), 4084939630 sampling steps, 2965023 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452865 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3006837 loops (2170/sec), 4099800011 sampling steps, 2975875 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452878 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3017797 loops (2192/sec), 4114742870 sampling steps, 2986835 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452883 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3028423 loops (2125/sec), 4129621915 sampling steps, 2997461 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452893 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3039337 loops (2182/sec), 4144555648 sampling steps, 3008375 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452897 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3050281 loops (2188/sec), 4159591864 sampling steps, 3019319 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452903 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3060809 loops (1878/sec), 4173989379 sampling steps, 3029847 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452908 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3071632 loops (2164/sec), 4188738170 sampling steps, 3040670 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452915 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3082542 loops (2182/sec), 4203621978 sampling steps, 3051580 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452922 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3093327 loops (2157/sec), 4218512290 sampling steps, 3062365 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452924 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3104121 loops (2158/sec), 4233422707 sampling steps, 3073159 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452932 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3114939 loops (2163/sec), 4248363211 sampling steps, 3083977 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452934 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0123023986816 seconds since the total time limit of 1800.0 seconds was exceeded.