Running... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■                                       ] 2% | ETA: 9s | 889/30000 samples | 3459 samples/sRunning... [■                                       ] 2% | ETA: 9s | 889/30000 samples | 3459 samples/sRunning... [■                                       ] 3% | ETA: 11s | 1119/30000 samples | 2743 samples/sRunning... [■■                                      ] 5% | ETA: 11s | 1512/30000 samples | 2764 samples/sRunning... [■■                                      ] 5% | ETA: 11s | 1512/30000 samples | 2764 samples/sRunning... [■■■                                     ] 6% | ETA: 11s | 1981/30000 samples | 2775 samples/sRunning... [■■■                                     ] 7% | ETA: 11s | 2195/30000 samples | 2641 samples/sRunning... [■■■                                     ] 7% | ETA: 11s | 2195/30000 samples | 2641 samples/sRunning... [■■■                                     ] 8% | ETA: 12s | 2500/30000 samples | 2453 samples/sRunning... [■■■■                                    ] 8% | ETA: 12s | 2677/30000 samples | 2344 samples/sRunning... [■■■■                                    ] 9% | ETA: 12s | 2850/30000 samples | 2289 samples/sRunning... [■■■■                                    ] 9% | ETA: 13s | 2995/30000 samples | 2172 samples/sRunning... [■■■■                                    ] 9% | ETA: 13s | 2995/30000 samples | 2172 samples/sRunning... [■■■■■                                   ] 12% | ETA: 13s | 3773/30000 samples | 2318 samples/sRunning... [■■■■■                                   ] 12% | ETA: 13s | 3773/30000 samples | 2318 samples/sRunning... [■■■■■                                   ] 12% | ETA: 13s | 3773/30000 samples | 2318 samples/sRunning... [■■■■■                                   ] 13% | ETA: 13s | 4105/30000 samples | 2233 samples/sRunning... [■■■■■                                   ] 13% | ETA: 13s | 4105/30000 samples | 2233 samples/sRunning... [■■■■■■                                  ] 15% | ETA: 13s | 4629/30000 samples | 2272 samples/sRunning... [■■■■■■                                  ] 15% | ETA: 13s | 4629/30000 samples | 2272 samples/sRunning... [■■■■■■■                                 ] 17% | ETA: 13s | 5112/30000 samples | 2235 samples/sRunning... [■■■■■■■                                 ] 17% | ETA: 13s | 5318/30000 samples | 2228 samples/sRunning... [■■■■■■■                                 ] 17% | ETA: 13s | 5318/30000 samples | 2228 samples/sRunning... [■■■■■■■■                                ] 19% | ETA: 13s | 5715/30000 samples | 2178 samples/sRunning... [■■■■■■■■                                ] 19% | ETA: 12s | 5967/30000 samples | 2174 samples/sRunning... [■■■■■■■■                                ] 19% | ETA: 12s | 5967/30000 samples | 2174 samples/sRunning... [■■■■■■■■                                ] 19% | ETA: 12s | 5967/30000 samples | 2174 samples/sRunning... [■■■■■■■■                                ] 21% | ETA: 12s | 6300/30000 samples | 2133 samples/sRunning... [■■■■■■■■■                               ] 21% | ETA: 12s | 6472/30000 samples | 2105 samples/sRunning... [■■■■■■■■■                               ] 22% | ETA: 13s | 6688/30000 samples | 2102 samples/sRunning... [■■■■■■■■■                               ] 22% | ETA: 13s | 6688/30000 samples | 2102 samples/sRunning... [■■■■■■■■■                               ] 23% | ETA: 12s | 7108/30000 samples | 2104 samples/sRunning... [■■■■■■■■■■                              ] 24% | ETA: 13s | 7419/30000 samples | 2098 samples/sRunning... [■■■■■■■■■■                              ] 24% | ETA: 13s | 7419/30000 samples | 2098 samples/sRunning... [■■■■■■■■■■                              ] 26% | ETA: 12s | 7844/30000 samples | 2095 samples/sRunning... [■■■■■■■■■■                              ] 26% | ETA: 12s | 7844/30000 samples | 2095 samples/sRunning... [■■■■■■■■■■■                             ] 27% | ETA: 12s | 8139/30000 samples | 2099 samples/sRunning... [■■■■■■■■■■■                             ] 27% | ETA: 11s | 8396/30000 samples | 2105 samples/sRunning... [■■■■■■■■■■■                             ] 27% | ETA: 11s | 8396/30000 samples | 2105 samples/sRunning... [■■■■■■■■■■■■                            ] 29% | ETA: 11s | 8852/30000 samples | 2110 samples/sRunning... [■■■■■■■■■■■■                            ] 29% | ETA: 11s | 8852/30000 samples | 2110 samples/sRunning... [■■■■■■■■■■■■                            ] 31% | ETA: 10s | 9352/30000 samples | 2114 samples/sRunning... [■■■■■■■■■■■■                            ] 31% | ETA: 10s | 9352/30000 samples | 2114 samples/sRunning... [■■■■■■■■■■■■■                           ] 32% | ETA: 10s | 9811/30000 samples | 2120 samples/sRunning... [■■■■■■■■■■■■■                           ] 33% | ETA: 10s | 10009/30000 samples | 2108 samples/sRunning... [■■■■■■■■■■■■■■                          ] 34% | ETA: 10s | 10252/30000 samples | 2112 samples/sRunning... [■■■■■■■■■■■■■■                          ] 34% | ETA: 10s | 10434/30000 samples | 2105 samples/sRunning... [■■■■■■■■■■■■■■                          ] 35% | ETA: 10s | 10614/30000 samples | 2098 samples/sRunning... [■■■■■■■■■■■■■■                          ] 35% | ETA: 10s | 10614/30000 samples | 2098 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 36% | ETA: 10s | 10990/30000 samples | 2089 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 37% | ETA: 10s | 11212/30000 samples | 2088 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 38% | ETA: 10s | 11448/30000 samples | 2081 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 38% | ETA: 10s | 11448/30000 samples | 2081 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 38% | ETA: 10s | 11448/30000 samples | 2081 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 39% | ETA: 10s | 11876/30000 samples | 2072 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 39% | ETA: 10s | 11876/30000 samples | 2072 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 41% | ETA: 10s | 12312/30000 samples | 2083 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 41% | ETA: 9s | 12574/30000 samples | 2075 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 41% | ETA: 9s | 12574/30000 samples | 2075 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 42% | ETA: 10s | 12738/30000 samples | 2027 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 42% | ETA: 11s | 12876/30000 samples | 2013 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 42% | ETA: 11s | 12876/30000 samples | 2013 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 43% | ETA: 11s | 13189/30000 samples | 1999 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 43% | ETA: 11s | 13189/30000 samples | 1999 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 43% | ETA: 11s | 13189/30000 samples | 1999 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 45% | ETA: 11s | 13524/30000 samples | 1975 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 46% | ETA: 11s | 13800/30000 samples | 1969 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 46% | ETA: 11s | 13960/30000 samples | 1962 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 47% | ETA: 11s | 14139/30000 samples | 1957 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 47% | ETA: 11s | 14139/30000 samples | 1957 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 47% | ETA: 12s | 14325/30000 samples | 1949 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 48% | ETA: 12s | 14473/30000 samples | 1942 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 48% | ETA: 11s | 14626/30000 samples | 1937 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 49% | ETA: 10s | 14963/30000 samples | 1932 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 50% | ETA: 10s | 15100/30000 samples | 1925 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 51% | ETA: 10s | 15304/30000 samples | 1926 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 51% | ETA: 10s | 15304/30000 samples | 1926 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 52% | ETA: 9s | 15642/30000 samples | 1926 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 52% | ETA: 9s | 15642/30000 samples | 1926 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 52% | ETA: 9s | 15816/30000 samples | 1912 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 53% | ETA: 9s | 15975/30000 samples | 1907 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 53% | ETA: 9s | 15975/30000 samples | 1907 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 54% | ETA: 9s | 16342/30000 samples | 1904 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 55% | ETA: 9s | 16561/30000 samples | 1900 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 55% | ETA: 9s | 16561/30000 samples | 1900 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 56% | ETA: 8s | 16887/30000 samples | 1896 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 56% | ETA: 8s | 16887/30000 samples | 1896 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 57% | ETA: 8s | 17229/30000 samples | 1894 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 57% | ETA: 8s | 17386/30000 samples | 1890 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 58% | ETA: 8s | 17642/30000 samples | 1887 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 59% | ETA: 8s | 17875/30000 samples | 1884 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 59% | ETA: 8s | 17875/30000 samples | 1884 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 59% | ETA: 8s | 17875/30000 samples | 1884 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 60% | ETA: 7s | 18239/30000 samples | 1879 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 61% | ETA: 7s | 18491/30000 samples | 1874 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 61% | ETA: 7s | 18491/30000 samples | 1874 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 62% | ETA: 7s | 18730/30000 samples | 1872 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 62% | ETA: 7s | 18730/30000 samples | 1872 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 63% | ETA: 7s | 19172/30000 samples | 1871 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 64% | ETA: 7s | 19331/30000 samples | 1868 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 65% | ETA: 7s | 19594/30000 samples | 1865 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 65% | ETA: 7s | 19594/30000 samples | 1865 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 65% | ETA: 7s | 19594/30000 samples | 1865 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 66% | ETA: 6s | 20041/30000 samples | 1863 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 67% | ETA: 6s | 20233/30000 samples | 1861 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 68% | ETA: 6s | 20428/30000 samples | 1861 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 68% | ETA: 6s | 20428/30000 samples | 1861 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 68% | ETA: 6s | 20428/30000 samples | 1861 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 69% | ETA: 6s | 20833/30000 samples | 1856 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 69% | ETA: 6s | 20833/30000 samples | 1856 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 73% | ETA: 4s | 21981/30000 samples | 1896 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 73% | ETA: 4s | 21981/30000 samples | 1896 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 73% | ETA: 4s | 21981/30000 samples | 1896 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■          ] 73% | ETA: 5s | 22145/30000 samples | 1874 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■          ] 75% | ETA: 4s | 22523/30000 samples | 1878 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■          ] 75% | ETA: 4s | 22523/30000 samples | 1878 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■          ] 75% | ETA: 4s | 22523/30000 samples | 1878 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 76% | ETA: 4s | 22956/30000 samples | 1875 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 77% | ETA: 4s | 23179/30000 samples | 1872 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 77% | ETA: 4s | 23355/30000 samples | 1869 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 78% | ETA: 4s | 23539/30000 samples | 1867 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 78% | ETA: 4s | 23539/30000 samples | 1867 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■        ] 79% | ETA: 4s | 23748/30000 samples | 1862 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■        ] 79% | ETA: 4s | 23972/30000 samples | 1863 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■        ] 80% | ETA: 4s | 24143/30000 samples | 1858 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■        ] 80% | ETA: 4s | 24143/30000 samples | 1858 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 81% | ETA: 4s | 24576/30000 samples | 1861 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 81% | ETA: 4s | 24576/30000 samples | 1861 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 83% | ETA: 3s | 24982/30000 samples | 1859 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 83% | ETA: 3s | 24982/30000 samples | 1859 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■      ] 84% | ETA: 3s | 25279/30000 samples | 1855 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■      ] 84% | ETA: 3s | 25485/30000 samples | 1856 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■      ] 84% | ETA: 3s | 25485/30000 samples | 1856 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■      ] 85% | ETA: 3s | 25734/30000 samples | 1854 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 86% | ETA: 3s | 25876/30000 samples | 1850 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 87% | ETA: 3s | 26176/30000 samples | 1851 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 87% | ETA: 3s | 26176/30000 samples | 1851 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 87% | ETA: 3s | 26355/30000 samples | 1845 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 88% | ETA: 3s | 26554/30000 samples | 1842 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 88% | ETA: 3s | 26554/30000 samples | 1842 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■    ] 89% | ETA: 2s | 26906/30000 samples | 1838 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■    ] 89% | ETA: 2s | 26906/30000 samples | 1838 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■    ] 90% | ETA: 2s | 27242/30000 samples | 1836 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■    ] 91% | ETA: 2s | 27301/30000 samples | 1830 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■    ] 91% | ETA: 2s | 27301/30000 samples | 1830 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■   ] 92% | ETA: 2s | 27676/30000 samples | 1829 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■   ] 92% | ETA: 2s | 27676/30000 samples | 1829 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■   ] 93% | ETA: 2s | 27913/30000 samples | 1825 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■   ] 93% | ETA: 2s | 28108/30000 samples | 1825 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■   ] 93% | ETA: 2s | 28108/30000 samples | 1825 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■  ] 94% | ETA: 2s | 28405/30000 samples | 1820 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■  ] 95% | ETA: 1s | 28743/30000 samples | 1820 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■  ] 95% | ETA: 1s | 28743/30000 samples | 1820 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 28912/30000 samples | 1817 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 29065/30000 samples | 1814 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 29313/30000 samples | 1812 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 29313/30000 samples | 1812 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 29313/30000 samples | 1812 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 98% | ETA: 1s | 29687/30000 samples | 1807 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 98% | ETA: 1s | 29687/30000 samples | 1807 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29841/30000 samples | 1795 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29929/30000 samples | 1781 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29991/30000 samples | 1772 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29991/30000 samples | 1772 samples/sAn example execution:

[State 0]
{
  schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),
  schedFixed::scheduler::crashes: 0,
  schedFixed::scheduler::entry: [],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 1]
{
  schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),
  schedFixed::scheduler::crashes: 1,
  schedFixed::scheduler::entry: [],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 2]
{
  schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),
  schedFixed::scheduler::crashes: 1,
  schedFixed::scheduler::entry: [],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set("c2"),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 3]
{
  schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),
  schedFixed::scheduler::crashes: 1,
  schedFixed::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w2" }],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedFixed::scheduler::mAssigned: Set(("c2", "w2")),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set("w2"),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 4]
{
  schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w2" }],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedFixed::scheduler::mAssigned: Set(("c2", "w2")),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        }
    )
}

[State 5]
{
  schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w2" }],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(("c2", "w2")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        }
    )
}

[State 6]
{
  schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w2" }],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(("c2", "w2")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        }
    )
}

[State 7]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w2" }],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(("c2", "w2")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set("c1"),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        }
    )
}

[State 8]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry: [],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(("c2", "w2")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set("c2"),
  schedFixed::scheduler::mSchedule: Set("c1"),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        }
    )
}

[State 9]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry: [],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(("c2", "w2")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set("c1", "c2"),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        }
    )
}

[State 10]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w1" }],
  schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(("c2", "w1")),
  schedFixed::scheduler::mBuild: Set(("c2", "w2")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set("w1"),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set("c1"),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        }
    )
}

[State 11]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
  schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),
  schedFixed::scheduler::mBuild: Set(("c2", "w2")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set("w1"),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        }
    )
}

[State 12]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
  schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),
  schedFixed::scheduler::mBuild: Set(("c2", "w2")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set("w1"),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 13]
{
  schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
  schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(("c2", "w1")),
  schedFixed::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w2")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set("w1"),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 14]
{
  schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
  schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(("c2", "w1")),
  schedFixed::scheduler::mBuild: Set(("c2", "w2")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set("w1"),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set("c1"),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 15]
{
  schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
  schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(("c2", "w1")),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set("w1"),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set("c1", "c2"),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 16]
{
  schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
  schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set("w1"),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set("c1"),
  schedFixed::scheduler::mSchedule: Set("c2"),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 17]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
  schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set("w1"),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set("c1", "c2"),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 18]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
  schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(("c2", "w1")),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set("w1"),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set("c1"),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 19]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
  schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set("w1"),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 20]
{
  schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
  schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(("c2", "w1")),
  schedFixed::scheduler::mBuild: Set(("c1", "w1")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set("w1"),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 21]
{
  schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
  schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(("c2", "w1")),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set("w1"),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set("c1"),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 22]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
  schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(("c2", "w1")),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set("w1"),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set("c1"),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 23]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
  schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(("c2", "w1")),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set("c1"),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 24]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
  schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 25]
{
  schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
  schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(("c2", "w1")),
  schedFixed::scheduler::mBuild: Set(("c1", "w1")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 26]
{
  schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
  schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(("c2", "w1")),
  schedFixed::scheduler::mBuild: Set(("c1", "w1")),
  schedFixed::scheduler::mDone: Set("w1"),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 1,
  schedFixed::scheduler::publishedBy: Set("w1"),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: true,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 27]
{
  schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
  schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(("c2", "w1")),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set("w1"),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set("c1"),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 1,
  schedFixed::scheduler::publishedBy: Set("w1"),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: true,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 28]
{
  schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
  schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(("c2", "w1")),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set("w1"),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 1,
  schedFixed::scheduler::publishedBy: Set("w1"),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: true,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 29]
{
  schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry: [],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(("c2", "w1")),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 1,
  schedFixed::scheduler::publishedBy: Set("w1"),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: true,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 30]
{
  schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w1")),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry: [],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(("c2", "w1")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 1,
  schedFixed::scheduler::publishedBy: Set("w1"),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: true,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[ok] No violation found (17071ms at 1757 traces/second).
Trace length statistics: max=31, min=14, average=18.46
You may increase --max-samples and --max-steps.
Use --verbosity to produce more (or less) output.
Use --seed=0xdcc8a8ec2b4faeed --backend=rust to reproduce.
Running... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■                                       ] 1% | ETA: 12s | 542/30000 samples | 2486 samples/sRunning... [■                                       ] 3% | ETA: 12s | 917/30000 samples | 2590 samples/sRunning... [■■                                      ] 4% | ETA: 12s | 1251/30000 samples | 2569 samples/sRunning... [■■                                      ] 5% | ETA: 11s | 1638/30000 samples | 2712 samples/sRunning... [■■■                                     ] 6% | ETA: 11s | 1963/30000 samples | 2753 samples/sRunning... [■■■                                     ] 6% | ETA: 11s | 1963/30000 samples | 2753 samples/sRunning... [■■■                                     ] 7% | ETA: 12s | 2200/30000 samples | 2428 samples/sRunning... [■■■                                     ] 8% | ETA: 12s | 2523/30000 samples | 2469 samples/sRunning... [■■■                                     ] 8% | ETA: 12s | 2523/30000 samples | 2469 samples/sRunning... [■■■■                                    ] 9% | ETA: 12s | 2891/30000 samples | 2411 samples/sRunning... [■■■■                                    ] 9% | ETA: 12s | 2891/30000 samples | 2411 samples/sRunning... [■■■■■                                   ] 11% | ETA: 12s | 3470/30000 samples | 2405 samples/sRunning... [■■■■■                                   ] 11% | ETA: 12s | 3470/30000 samples | 2405 samples/sRunning... [■■■■■                                   ] 12% | ETA: 12s | 3850/30000 samples | 2338 samples/sRunning... [■■■■■                                   ] 12% | ETA: 12s | 3850/30000 samples | 2338 samples/sRunning... [■■■■■                                   ] 13% | ETA: 12s | 4122/30000 samples | 2353 samples/sRunning... [■■■■■■                                  ] 16% | ETA: 10s | 4843/30000 samples | 2577 samples/sRunning... [■■■■■■■                                 ] 17% | ETA: 10s | 5284/30000 samples | 2613 samples/sRunning... [■■■■■■■■                                ] 19% | ETA: 10s | 5771/30000 samples | 2658 samples/sRunning... [■■■■■■■■                                ] 19% | ETA: 10s | 5771/30000 samples | 2658 samples/sRunning... [■■■■■■■■                                ] 20% | ETA: 10s | 6147/30000 samples | 2545 samples/sRunning... [■■■■■■■■■                               ] 21% | ETA: 10s | 6481/30000 samples | 2543 samples/sRunning... [■■■■■■■■■                               ] 21% | ETA: 10s | 6481/30000 samples | 2543 samples/sRunning... [■■■■■■■■■                               ] 22% | ETA: 9s | 6810/30000 samples | 2506 samples/sRunning... [■■■■■■■■■                               ] 23% | ETA: 9s | 7097/30000 samples | 2495 samples/sRunning... [■■■■■■■■■                               ] 23% | ETA: 9s | 7097/30000 samples | 2495 samples/sRunning... [■■■■■■■■■                               ] 23% | ETA: 9s | 7097/30000 samples | 2495 samples/sRunning... [■■■■■■■■■■                              ] 25% | ETA: 9s | 7638/30000 samples | 2469 samples/sRunning... [■■■■■■■■■■■                             ] 26% | ETA: 9s | 8041/30000 samples | 2469 samples/sRunning... [■■■■■■■■■■■                             ] 26% | ETA: 9s | 8041/30000 samples | 2469 samples/sRunning... [■■■■■■■■■■■                             ] 27% | ETA: 10s | 8390/30000 samples | 2459 samples/sRunning... [■■■■■■■■■■■■                            ] 29% | ETA: 10s | 8753/30000 samples | 2447 samples/sRunning... [■■■■■■■■■■■■                            ] 29% | ETA: 10s | 8753/30000 samples | 2447 samples/sRunning... [■■■■■■■■■■■■                            ] 29% | ETA: 10s | 8753/30000 samples | 2447 samples/sRunning... [■■■■■■■■■■■■                            ] 30% | ETA: 10s | 9213/30000 samples | 2427 samples/sRunning... [■■■■■■■■■■■■                            ] 30% | ETA: 10s | 9213/30000 samples | 2427 samples/sRunning... [■■■■■■■■■■■■■                           ] 32% | ETA: 10s | 9673/30000 samples | 2419 samples/sRunning... [■■■■■■■■■■■■■                           ] 33% | ETA: 10s | 9974/30000 samples | 2411 samples/sRunning... [■■■■■■■■■■■■■                           ] 33% | ETA: 10s | 9974/30000 samples | 2411 samples/sRunning... [■■■■■■■■■■■■■■                          ] 34% | ETA: 9s | 10471/30000 samples | 2388 samples/sRunning... [■■■■■■■■■■■■■■                          ] 34% | ETA: 9s | 10471/30000 samples | 2388 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 36% | ETA: 9s | 10888/30000 samples | 2385 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 37% | ETA: 9s | 11163/30000 samples | 2386 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 37% | ETA: 9s | 11163/30000 samples | 2386 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 39% | ETA: 9s | 11748/30000 samples | 2393 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 39% | ETA: 9s | 11748/30000 samples | 2393 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 39% | ETA: 9s | 11748/30000 samples | 2393 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 41% | ETA: 8s | 12301/30000 samples | 2390 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 41% | ETA: 8s | 12301/30000 samples | 2390 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 43% | ETA: 8s | 12964/30000 samples | 2402 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 43% | ETA: 8s | 12964/30000 samples | 2402 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 45% | ETA: 7s | 13538/30000 samples | 2411 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 45% | ETA: 7s | 13538/30000 samples | 2411 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 46% | ETA: 7s | 13842/30000 samples | 2411 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 47% | ETA: 7s | 14155/30000 samples | 2411 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 48% | ETA: 7s | 14489/30000 samples | 2418 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 48% | ETA: 7s | 14489/30000 samples | 2418 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 49% | ETA: 7s | 14825/30000 samples | 2412 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 50% | ETA: 6s | 15204/30000 samples | 2424 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 51% | ETA: 6s | 15463/30000 samples | 2427 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 52% | ETA: 6s | 15818/30000 samples | 2432 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 53% | ETA: 6s | 16109/30000 samples | 2430 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 54% | ETA: 6s | 16275/30000 samples | 2419 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 54% | ETA: 6s | 16275/30000 samples | 2419 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 55% | ETA: 6s | 16724/30000 samples | 2435 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 55% | ETA: 6s | 16724/30000 samples | 2435 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 57% | ETA: 5s | 17309/30000 samples | 2441 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 57% | ETA: 5s | 17309/30000 samples | 2441 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 59% | ETA: 5s | 17837/30000 samples | 2437 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 59% | ETA: 5s | 17837/30000 samples | 2437 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 61% | ETA: 5s | 18316/30000 samples | 2421 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 61% | ETA: 5s | 18316/30000 samples | 2421 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 61% | ETA: 5s | 18316/30000 samples | 2421 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 62% | ETA: 5s | 18891/30000 samples | 2417 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 62% | ETA: 5s | 18891/30000 samples | 2417 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 63% | ETA: 5s | 19187/30000 samples | 2406 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 64% | ETA: 5s | 19351/30000 samples | 2395 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 64% | ETA: 5s | 19351/30000 samples | 2395 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 66% | ETA: 5s | 19910/30000 samples | 2394 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 66% | ETA: 5s | 19910/30000 samples | 2394 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 67% | ETA: 5s | 20340/30000 samples | 2392 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 68% | ETA: 5s | 20666/30000 samples | 2384 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 69% | ETA: 5s | 20715/30000 samples | 2360 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 70% | ETA: 5s | 21127/30000 samples | 2374 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 70% | ETA: 5s | 21127/30000 samples | 2374 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 72% | ETA: 4s | 21687/30000 samples | 2380 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 72% | ETA: 4s | 21687/30000 samples | 2380 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 72% | ETA: 4s | 21793/30000 samples | 2363 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 73% | ETA: 4s | 22077/30000 samples | 2358 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■          ] 75% | ETA: 4s | 22633/30000 samples | 2392 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 76% | ETA: 3s | 22948/30000 samples | 2397 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 76% | ETA: 3s | 22948/30000 samples | 2397 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 78% | ETA: 3s | 23518/30000 samples | 2394 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 78% | ETA: 3s | 23518/30000 samples | 2394 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■        ] 79% | ETA: 3s | 23785/30000 samples | 2389 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■        ] 80% | ETA: 3s | 24213/30000 samples | 2387 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■        ] 80% | ETA: 3s | 24213/30000 samples | 2387 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 81% | ETA: 3s | 24480/30000 samples | 2387 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 82% | ETA: 3s | 24667/30000 samples | 2381 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 83% | ETA: 2s | 25082/30000 samples | 2384 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 83% | ETA: 2s | 25082/30000 samples | 2384 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■      ] 85% | ETA: 2s | 25669/30000 samples | 2384 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■      ] 85% | ETA: 2s | 25669/30000 samples | 2384 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 86% | ETA: 2s | 25978/30000 samples | 2384 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 88% | ETA: 2s | 26458/30000 samples | 2389 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 88% | ETA: 2s | 26458/30000 samples | 2389 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■    ] 89% | ETA: 2s | 26920/30000 samples | 2390 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■    ] 90% | ETA: 2s | 27194/30000 samples | 2393 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■    ] 90% | ETA: 2s | 27194/30000 samples | 2393 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■   ] 91% | ETA: 2s | 27505/30000 samples | 2396 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■   ] 92% | ETA: 1s | 27789/30000 samples | 2400 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■  ] 94% | ETA: 1s | 28352/30000 samples | 2408 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■  ] 95% | ETA: 1s | 28641/30000 samples | 2410 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■  ] 95% | ETA: 1s | 28641/30000 samples | 2410 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■  ] 95% | ETA: 1s | 28641/30000 samples | 2410 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 29148/30000 samples | 2404 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 29412/30000 samples | 2402 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 29412/30000 samples | 2402 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 30000/30000 samples | 2412 samples/sAn example execution:

[State 0]
{
  schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),
  schedFixed::scheduler::crashes: 0,
  schedFixed::scheduler::entry: [],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 1]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
  schedFixed::scheduler::crashes: 0,
  schedFixed::scheduler::entry: [],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set("c1"),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 2]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
  schedFixed::scheduler::crashes: 1,
  schedFixed::scheduler::entry: [],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set("c1"),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        }
    )
}

[State 3]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
  schedFixed::scheduler::crashes: 1,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1"), leased: true, worker: "w1" }],
  schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(("c1", "w1")),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set("w1"),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        }
    )
}

[State 4]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
  schedFixed::scheduler::crashes: 1,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1"), leased: true, worker: "w1" }],
  schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(("c1", "w1")),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set("w1"),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 5]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1"), leased: true, worker: "w1" }],
  schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(("c1", "w1")),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 6]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1"), leased: true, worker: "w1" }],
  schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(("c1", "w1")),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set("c2"),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 7]
{
  schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1"), leased: true, worker: "w1" }],
  schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(("c1", "w1")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set("c2"),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 8]
{
  schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
  schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(("c2", "w1")),
  schedFixed::scheduler::mBuild: Set(("c1", "w1")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 9]
{
  schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry: [],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(("c2", "w1")),
  schedFixed::scheduler::mBuild: Set(("c1", "w1")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set("c1", "c2"),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 10]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry: [],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(("c2", "w1")),
  schedFixed::scheduler::mBuild: Set(("c1", "w1")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set("c2"),
  schedFixed::scheduler::mSchedule: Set("c1"),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 11]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry: [],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(("c1", "w1")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set("c1", "c2"),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 12]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w2" }],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedFixed::scheduler::mAssigned: Set(("c2", "w2")),
  schedFixed::scheduler::mBuild: Set(("c1", "w1")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set("w2"),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set("c1"),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 13]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),
  schedFixed::scheduler::mBuild: Set(("c1", "w1")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set("w2"),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 14]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedFixed::scheduler::mAssigned: Set(("c1", "w2")),
  schedFixed::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w2")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set("w2"),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 15]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedFixed::scheduler::mAssigned: Set(("c1", "w2")),
  schedFixed::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w2")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set("w2"),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 16]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedFixed::scheduler::mAssigned: Set(("c1", "w2")),
  schedFixed::scheduler::mBuild: Set(("c1", "w1")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set("w2"),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set("c2"),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 17]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedFixed::scheduler::mAssigned: Set(("c1", "w2")),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set("w2"),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set("c1", "c2"),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 18]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set("w2"),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set("c2"),
  schedFixed::scheduler::mSchedule: Set("c1"),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 19]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set("c2"),
  schedFixed::scheduler::mSchedule: Set("c1"),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        }
    )
}

[State 20]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set("c1", "c2"),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        }
    )
}

[State 21]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedFixed::scheduler::mAssigned: Set(("c1", "w2")),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set("c2"),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        }
    )
}

[State 22]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        }
    )
}

[State 23]
{
  schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedFixed::scheduler::mAssigned: Set(("c1", "w2")),
  schedFixed::scheduler::mBuild: Set(("c2", "w2")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        }
    )
}

[State 24]
{
  schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w2")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 0,
  schedFixed::scheduler::publishedBy: Set(),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        }
    )
}

[State 25]
{
  schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry:
    [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w2")),
  schedFixed::scheduler::mDone: Set("w2"),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 1,
  schedFixed::scheduler::publishedBy: Set("w2"),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: true,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 26]
{
  schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry: [],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w2")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 1,
  schedFixed::scheduler::publishedBy: Set("w2"),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: true,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 27]
{
  schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry: [],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(("c2", "w2")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set("c1"),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 1,
  schedFixed::scheduler::publishedBy: Set("w2"),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: true,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 28]
{
  schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w2")),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry: [],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(("c2", "w2")),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 1,
  schedFixed::scheduler::publishedBy: Set("w2"),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: true,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 29]
{
  schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w2")),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry: [],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set("c2"),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 1,
  schedFixed::scheduler::publishedBy: Set("w2"),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: true,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 30]
{
  schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CDone),
  schedFixed::scheduler::crashes: 2,
  schedFixed::scheduler::entry: [],
  schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedFixed::scheduler::mAssigned: Set(),
  schedFixed::scheduler::mBuild: Set(),
  schedFixed::scheduler::mDone: Set(),
  schedFixed::scheduler::mExpect: Set(),
  schedFixed::scheduler::mResult: Set(),
  schedFixed::scheduler::mRetry: Set(),
  schedFixed::scheduler::mSchedule: Set(),
  schedFixed::scheduler::published: 1,
  schedFixed::scheduler::publishedBy: Set("w2"),
  schedFixed::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: true,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[ok] No violation found (12489ms at 2402 traces/second).
Trace length statistics: max=31, min=16, average=19.14
You may increase --max-samples and --max-steps.
Use --verbosity to produce more (or less) output.
Use --seed=0xa8285b40ae7ae418 --backend=rust to reproduce.
Running... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■                                       ] 1% | ETA: 19s | 536/30000 samples | 1654 samples/sRunning... [■                                       ] 1% | ETA: 19s | 536/30000 samples | 1654 samples/sRunning... [■                                       ] 1% | ETA: 19s | 536/30000 samples | 1654 samples/sRunning... [■                                       ] 2% | ETA: 19s | 826/30000 samples | 1556 samples/sRunning... [■                                       ] 3% | ETA: 18s | 1051/30000 samples | 1658 samples/sRunning... [■                                       ] 3% | ETA: 18s | 1051/30000 samples | 1658 samples/sRunning... [■■                                      ] 4% | ETA: 21s | 1250/30000 samples | 1420 samples/sRunning... [■■                                      ] 4% | ETA: 21s | 1393/30000 samples | 1420 samples/sRunning... [■■                                      ] 5% | ETA: 20s | 1589/30000 samples | 1466 samples/sRunning... [■■                                      ] 5% | ETA: 20s | 1710/30000 samples | 1442 samples/sRunning... [■■                                      ] 6% | ETA: 20s | 1868/30000 samples | 1449 samples/sRunning... [■■                                      ] 6% | ETA: 20s | 1868/30000 samples | 1449 samples/sRunning... [■■■                                     ] 7% | ETA: 20s | 2242/30000 samples | 1462 samples/sRunning... [■■■                                     ] 7% | ETA: 20s | 2242/30000 samples | 1462 samples/sRunning... [■■■                                     ] 8% | ETA: 20s | 2484/30000 samples | 1455 samples/sRunning... [■■■■                                    ] 8% | ETA: 20s | 2648/30000 samples | 1465 samples/sRunning... [■■■■                                    ] 9% | ETA: 20s | 2842/30000 samples | 1483 samples/sRunning... [■■■■                                    ] 9% | ETA: 20s | 2842/30000 samples | 1483 samples/sRunning... [■■■■                                    ] 10% | ETA: 18s | 3135/30000 samples | 1464 samples/sRunning... [■■■■■                                   ] 11% | ETA: 18s | 3394/30000 samples | 1482 samples/sRunning... [■■■■■                                   ] 11% | ETA: 18s | 3394/30000 samples | 1482 samples/sRunning... [■■■■■                                   ] 12% | ETA: 18s | 3615/30000 samples | 1480 samples/sRunning... [■■■■■                                   ] 12% | ETA: 18s | 3806/30000 samples | 1474 samples/sRunning... [■■■■■                                   ] 13% | ETA: 18s | 3970/30000 samples | 1472 samples/sRunning... [■■■■■■                                  ] 13% | ETA: 18s | 4168/30000 samples | 1483 samples/sRunning... [■■■■■■                                  ] 13% | ETA: 18s | 4168/30000 samples | 1483 samples/sRunning... [■■■■■■                                  ] 14% | ETA: 17s | 4383/30000 samples | 1489 samples/sRunning... [■■■■■■                                  ] 15% | ETA: 17s | 4546/30000 samples | 1488 samples/sRunning... [■■■■■■                                  ] 15% | ETA: 17s | 4546/30000 samples | 1488 samples/sRunning... [■■■■■■                                  ] 16% | ETA: 17s | 4801/30000 samples | 1489 samples/sRunning... [■■■■■■■                                 ] 16% | ETA: 17s | 4953/30000 samples | 1490 samples/sRunning... [■■■■■■■                                 ] 16% | ETA: 17s | 4953/30000 samples | 1490 samples/sRunning... [■■■■■■■                                 ] 17% | ETA: 17s | 5298/30000 samples | 1500 samples/sRunning... [■■■■■■■■                                ] 18% | ETA: 16s | 5631/30000 samples | 1510 samples/sRunning... [■■■■■■■■                                ] 18% | ETA: 16s | 5631/30000 samples | 1510 samples/sRunning... [■■■■■■■■                                ] 18% | ETA: 16s | 5631/30000 samples | 1510 samples/sRunning... [■■■■■■■■                                ] 19% | ETA: 16s | 5982/30000 samples | 1506 samples/sRunning... [■■■■■■■■                                ] 19% | ETA: 16s | 5982/30000 samples | 1506 samples/sRunning... [■■■■■■■■                                ] 21% | ETA: 16s | 6331/30000 samples | 1508 samples/sRunning... [■■■■■■■■                                ] 21% | ETA: 16s | 6331/30000 samples | 1508 samples/sRunning... [■■■■■■■■■                               ] 21% | ETA: 16s | 6556/30000 samples | 1510 samples/sRunning... [■■■■■■■■■                               ] 21% | ETA: 16s | 6556/30000 samples | 1510 samples/sRunning... [■■■■■■■■■                               ] 23% | ETA: 15s | 6916/30000 samples | 1509 samples/sRunning... [■■■■■■■■■                               ] 23% | ETA: 15s | 7050/30000 samples | 1506 samples/sRunning... [■■■■■■■■■■                              ] 23% | ETA: 16s | 7160/30000 samples | 1494 samples/sRunning... [■■■■■■■■■■                              ] 23% | ETA: 16s | 7160/30000 samples | 1494 samples/sRunning... [■■■■■■■■■■                              ] 24% | ETA: 16s | 7382/30000 samples | 1490 samples/sRunning... [■■■■■■■■■■                              ] 25% | ETA: 16s | 7547/30000 samples | 1481 samples/sRunning... [■■■■■■■■■■                              ] 25% | ETA: 17s | 7689/30000 samples | 1477 samples/sRunning... [■■■■■■■■■■                              ] 25% | ETA: 17s | 7689/30000 samples | 1477 samples/sRunning... [■■■■■■■■■■■                             ] 26% | ETA: 17s | 7950/30000 samples | 1467 samples/sRunning... [■■■■■■■■■■■                             ] 26% | ETA: 17s | 7950/30000 samples | 1467 samples/sRunning... [■■■■■■■■■■■                             ] 26% | ETA: 17s | 7950/30000 samples | 1467 samples/sRunning... [■■■■■■■■■■■                             ] 27% | ETA: 17s | 8254/30000 samples | 1456 samples/sRunning... [■■■■■■■■■■■                             ] 27% | ETA: 18s | 8368/30000 samples | 1450 samples/sRunning... [■■■■■■■■■■■                             ] 27% | ETA: 18s | 8368/30000 samples | 1450 samples/sRunning... [■■■■■■■■■■■                             ] 28% | ETA: 19s | 8564/30000 samples | 1425 samples/sRunning... [■■■■■■■■■■■■                            ] 28% | ETA: 19s | 8677/30000 samples | 1419 samples/sRunning... [■■■■■■■■■■■■                            ] 29% | ETA: 19s | 8856/30000 samples | 1413 samples/sRunning... [■■■■■■■■■■■■                            ] 29% | ETA: 19s | 8856/30000 samples | 1413 samples/sRunning... [■■■■■■■■■■■■                            ] 29% | ETA: 19s | 8856/30000 samples | 1413 samples/sRunning... [■■■■■■■■■■■■                            ] 30% | ETA: 19s | 9095/30000 samples | 1404 samples/sRunning... [■■■■■■■■■■■■                            ] 30% | ETA: 19s | 9252/30000 samples | 1404 samples/sRunning... [■■■■■■■■■■■■                            ] 30% | ETA: 19s | 9252/30000 samples | 1404 samples/sRunning... [■■■■■■■■■■■■■                           ] 31% | ETA: 18s | 9570/30000 samples | 1401 samples/sRunning... [■■■■■■■■■■■■■                           ] 31% | ETA: 18s | 9570/30000 samples | 1401 samples/sRunning... [■■■■■■■■■■■■■                           ] 32% | ETA: 18s | 9893/30000 samples | 1397 samples/sRunning... [■■■■■■■■■■■■■                           ] 32% | ETA: 18s | 9893/30000 samples | 1397 samples/sRunning... [■■■■■■■■■■■■■                           ] 33% | ETA: 17s | 10076/30000 samples | 1398 samples/sRunning... [■■■■■■■■■■■■■■                          ] 34% | ETA: 17s | 10287/30000 samples | 1402 samples/sRunning... [■■■■■■■■■■■■■■                          ] 34% | ETA: 17s | 10287/30000 samples | 1402 samples/sRunning... [■■■■■■■■■■■■■■                          ] 35% | ETA: 15s | 10621/30000 samples | 1400 samples/sRunning... [■■■■■■■■■■■■■■                          ] 35% | ETA: 15s | 10733/30000 samples | 1395 samples/sRunning... [■■■■■■■■■■■■■■                          ] 35% | ETA: 15s | 10733/30000 samples | 1395 samples/sRunning... [■■■■■■■■■■■■■■                          ] 35% | ETA: 15s | 10733/30000 samples | 1395 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 36% | ETA: 15s | 11060/30000 samples | 1399 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 36% | ETA: 15s | 11060/30000 samples | 1399 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 37% | ETA: 14s | 11325/30000 samples | 1396 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 38% | ETA: 14s | 11480/30000 samples | 1393 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 38% | ETA: 14s | 11592/30000 samples | 1386 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 39% | ETA: 15s | 11705/30000 samples | 1380 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 39% | ETA: 15s | 11847/30000 samples | 1375 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 39% | ETA: 15s | 11847/30000 samples | 1375 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 39% | ETA: 15s | 11847/30000 samples | 1375 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 40% | ETA: 16s | 12056/30000 samples | 1364 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 40% | ETA: 16s | 12204/30000 samples | 1365 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 41% | ETA: 15s | 12349/30000 samples | 1366 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 41% | ETA: 15s | 12349/30000 samples | 1366 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 43% | ETA: 11s | 13199/30000 samples | 1426 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 44% | ETA: 11s | 13296/30000 samples | 1421 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 44% | ETA: 11s | 13296/30000 samples | 1421 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 45% | ETA: 11s | 13502/30000 samples | 1409 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 45% | ETA: 12s | 13573/30000 samples | 1400 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 45% | ETA: 11s | 13756/30000 samples | 1399 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 46% | ETA: 11s | 13891/30000 samples | 1395 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 46% | ETA: 11s | 13988/30000 samples | 1389 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 46% | ETA: 11s | 13988/30000 samples | 1389 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 46% | ETA: 11s | 14065/30000 samples | 1381 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 46% | ETA: 11s | 14065/30000 samples | 1381 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 47% | ETA: 11s | 14278/30000 samples | 1374 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 47% | ETA: 11s | 14278/30000 samples | 1374 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 48% | ETA: 18s | 14400/30000 samples | 1361 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 48% | ETA: 18s | 14400/30000 samples | 1361 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 48% | ETA: 18s | 14538/30000 samples | 1347 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 48% | ETA: 18s | 14538/30000 samples | 1347 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 48% | ETA: 19s | 14679/30000 samples | 1335 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 49% | ETA: 19s | 14747/30000 samples | 1330 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 49% | ETA: 20s | 14837/30000 samples | 1326 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 49% | ETA: 20s | 14837/30000 samples | 1326 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 49% | ETA: 20s | 14997/30000 samples | 1316 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 50% | ETA: 19s | 15161/30000 samples | 1311 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 50% | ETA: 19s | 15161/30000 samples | 1311 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 50% | ETA: 19s | 15297/30000 samples | 1303 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 51% | ETA: 19s | 15408/30000 samples | 1300 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 51% | ETA: 19s | 15471/30000 samples | 1293 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 51% | ETA: 19s | 15549/30000 samples | 1288 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 51% | ETA: 19s | 15549/30000 samples | 1288 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 52% | ETA: 18s | 15667/30000 samples | 1282 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 52% | ETA: 18s | 15773/30000 samples | 1278 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 52% | ETA: 18s | 15848/30000 samples | 1272 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 53% | ETA: 18s | 15944/30000 samples | 1266 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 53% | ETA: 18s | 15944/30000 samples | 1266 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 53% | ETA: 19s | 16058/30000 samples | 1261 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 53% | ETA: 19s | 16058/30000 samples | 1261 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 54% | ETA: 18s | 16252/30000 samples | 1254 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 54% | ETA: 18s | 16394/30000 samples | 1253 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 54% | ETA: 17s | 16487/30000 samples | 1249 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 54% | ETA: 17s | 16487/30000 samples | 1249 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 54% | ETA: 17s | 16487/30000 samples | 1249 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 55% | ETA: 16s | 16716/30000 samples | 1243 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 56% | ETA: 16s | 16809/30000 samples | 1240 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 56% | ETA: 16s | 16912/30000 samples | 1234 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 56% | ETA: 16s | 16992/30000 samples | 1230 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 56% | ETA: 16s | 16992/30000 samples | 1230 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 56% | ETA: 16s | 16992/30000 samples | 1230 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 57% | ETA: 16s | 17178/30000 samples | 1222 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 57% | ETA: 16s | 17178/30000 samples | 1222 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 57% | ETA: 15s | 17355/30000 samples | 1218 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 58% | ETA: 15s | 17506/30000 samples | 1212 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 58% | ETA: 15s | 17506/30000 samples | 1212 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 58% | ETA: 15s | 17506/30000 samples | 1212 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 59% | ETA: 15s | 17711/30000 samples | 1206 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 59% | ETA: 15s | 17711/30000 samples | 1206 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 59% | ETA: 16s | 17802/30000 samples | 1197 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 59% | ETA: 16s | 17802/30000 samples | 1197 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 59% | ETA: 17s | 17883/30000 samples | 1187 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 59% | ETA: 18s | 17915/30000 samples | 1182 samples/sAn example execution:

[State 0]
{
  schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),
  schedNoFence::scheduler::crashes: 0,
  schedNoFence::scheduler::entry: [],
  schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoFence::scheduler::mAssigned: Set(),
  schedNoFence::scheduler::mBuild: Set(),
  schedNoFence::scheduler::mDone: Set(),
  schedNoFence::scheduler::mExpect: Set(),
  schedNoFence::scheduler::mResult: Set(),
  schedNoFence::scheduler::mRetry: Set(),
  schedNoFence::scheduler::mSchedule: Set(),
  schedNoFence::scheduler::published: 0,
  schedNoFence::scheduler::publishedBy: Set(),
  schedNoFence::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 1]
{
  schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),
  schedNoFence::scheduler::crashes: 1,
  schedNoFence::scheduler::entry: [],
  schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoFence::scheduler::mAssigned: Set(),
  schedNoFence::scheduler::mBuild: Set(),
  schedNoFence::scheduler::mDone: Set(),
  schedNoFence::scheduler::mExpect: Set(),
  schedNoFence::scheduler::mResult: Set(),
  schedNoFence::scheduler::mRetry: Set(),
  schedNoFence::scheduler::mSchedule: Set(),
  schedNoFence::scheduler::published: 0,
  schedNoFence::scheduler::publishedBy: Set(),
  schedNoFence::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        }
    )
}

[State 2]
{
  schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),
  schedNoFence::scheduler::crashes: 1,
  schedNoFence::scheduler::entry: [],
  schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoFence::scheduler::mAssigned: Set(),
  schedNoFence::scheduler::mBuild: Set(),
  schedNoFence::scheduler::mDone: Set(),
  schedNoFence::scheduler::mExpect: Set(),
  schedNoFence::scheduler::mResult: Set(),
  schedNoFence::scheduler::mRetry: Set(),
  schedNoFence::scheduler::mSchedule: Set("c2"),
  schedNoFence::scheduler::published: 0,
  schedNoFence::scheduler::publishedBy: Set(),
  schedNoFence::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        }
    )
}

[State 3]
{
  schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),
  schedNoFence::scheduler::crashes: 1,
  schedNoFence::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w1" }],
  schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),
  schedNoFence::scheduler::mBuild: Set(),
  schedNoFence::scheduler::mDone: Set(),
  schedNoFence::scheduler::mExpect: Set("w1"),
  schedNoFence::scheduler::mResult: Set(),
  schedNoFence::scheduler::mRetry: Set(),
  schedNoFence::scheduler::mSchedule: Set(),
  schedNoFence::scheduler::published: 0,
  schedNoFence::scheduler::publishedBy: Set(),
  schedNoFence::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        }
    )
}

[State 4]
{
  schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),
  schedNoFence::scheduler::crashes: 1,
  schedNoFence::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w1" }],
  schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),
  schedNoFence::scheduler::mBuild: Set(),
  schedNoFence::scheduler::mDone: Set(),
  schedNoFence::scheduler::mExpect: Set(),
  schedNoFence::scheduler::mResult: Set(),
  schedNoFence::scheduler::mRetry: Set(),
  schedNoFence::scheduler::mSchedule: Set(),
  schedNoFence::scheduler::published: 0,
  schedNoFence::scheduler::publishedBy: Set(),
  schedNoFence::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        }
    )
}

[State 5]
{
  schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),
  schedNoFence::scheduler::crashes: 2,
  schedNoFence::scheduler::entry: [],
  schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoFence::scheduler::mAssigned: Set(),
  schedNoFence::scheduler::mBuild: Set(),
  schedNoFence::scheduler::mDone: Set(),
  schedNoFence::scheduler::mExpect: Set(),
  schedNoFence::scheduler::mResult: Set(),
  schedNoFence::scheduler::mRetry: Set("c2"),
  schedNoFence::scheduler::mSchedule: Set(),
  schedNoFence::scheduler::published: 0,
  schedNoFence::scheduler::publishedBy: Set(),
  schedNoFence::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: false,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        }
    )
}

[State 6]
{
  schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedNoFence::scheduler::crashes: 2,
  schedNoFence::scheduler::entry: [],
  schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoFence::scheduler::mAssigned: Set(),
  schedNoFence::scheduler::mBuild: Set(),
  schedNoFence::scheduler::mDone: Set(),
  schedNoFence::scheduler::mExpect: Set(),
  schedNoFence::scheduler::mResult: Set(),
  schedNoFence::scheduler::mRetry: Set("c2"),
  schedNoFence::scheduler::mSchedule: Set("c1"),
  schedNoFence::scheduler::published: 0,
  schedNoFence::scheduler::publishedBy: Set(),
  schedNoFence::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: false,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        }
    )
}

[State 7]
{
  schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedNoFence::scheduler::crashes: 2,
  schedNoFence::scheduler::entry: [],
  schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoFence::scheduler::mAssigned: Set(),
  schedNoFence::scheduler::mBuild: Set(),
  schedNoFence::scheduler::mDone: Set(),
  schedNoFence::scheduler::mExpect: Set(),
  schedNoFence::scheduler::mResult: Set(),
  schedNoFence::scheduler::mRetry: Set(),
  schedNoFence::scheduler::mSchedule: Set("c1", "c2"),
  schedNoFence::scheduler::published: 0,
  schedNoFence::scheduler::publishedBy: Set(),
  schedNoFence::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: false,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        }
    )
}

[State 8]
{
  schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedNoFence::scheduler::crashes: 2,
  schedNoFence::scheduler::entry: [],
  schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoFence::scheduler::mAssigned: Set(),
  schedNoFence::scheduler::mBuild: Set(),
  schedNoFence::scheduler::mDone: Set(),
  schedNoFence::scheduler::mExpect: Set(),
  schedNoFence::scheduler::mResult: Set(),
  schedNoFence::scheduler::mRetry: Set(),
  schedNoFence::scheduler::mSchedule: Set("c1", "c2"),
  schedNoFence::scheduler::published: 0,
  schedNoFence::scheduler::publishedBy: Set(),
  schedNoFence::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: false,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 9]
{
  schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedNoFence::scheduler::crashes: 2,
  schedNoFence::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w2" }],
  schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),
  schedNoFence::scheduler::mBuild: Set(),
  schedNoFence::scheduler::mDone: Set(),
  schedNoFence::scheduler::mExpect: Set("w2"),
  schedNoFence::scheduler::mResult: Set(),
  schedNoFence::scheduler::mRetry: Set(),
  schedNoFence::scheduler::mSchedule: Set("c1"),
  schedNoFence::scheduler::published: 0,
  schedNoFence::scheduler::publishedBy: Set(),
  schedNoFence::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: false,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 10]
{
  schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedNoFence::scheduler::crashes: 2,
  schedNoFence::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w2" }],
  schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),
  schedNoFence::scheduler::mBuild: Set(),
  schedNoFence::scheduler::mDone: Set(),
  schedNoFence::scheduler::mExpect: Set(),
  schedNoFence::scheduler::mResult: Set(),
  schedNoFence::scheduler::mRetry: Set(),
  schedNoFence::scheduler::mSchedule: Set("c1"),
  schedNoFence::scheduler::published: 0,
  schedNoFence::scheduler::publishedBy: Set(),
  schedNoFence::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: false,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        }
    )
}

[State 11]
{
  schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedNoFence::scheduler::crashes: 2,
  schedNoFence::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w2" }],
  schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),
  schedNoFence::scheduler::mBuild: Set(),
  schedNoFence::scheduler::mDone: Set("w2"),
  schedNoFence::scheduler::mExpect: Set(),
  schedNoFence::scheduler::mResult: Set(),
  schedNoFence::scheduler::mRetry: Set(),
  schedNoFence::scheduler::mSchedule: Set("c1"),
  schedNoFence::scheduler::published: 1,
  schedNoFence::scheduler::publishedBy: Set("w2"),
  schedNoFence::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: false,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: true,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 12]
{
  schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedNoFence::scheduler::crashes: 2,
  schedNoFence::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w2" }],
  schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 0),
  schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),
  schedNoFence::scheduler::mBuild: Set(),
  schedNoFence::scheduler::mDone: Set("w2"),
  schedNoFence::scheduler::mExpect: Set(),
  schedNoFence::scheduler::mResult: Set(),
  schedNoFence::scheduler::mRetry: Set(),
  schedNoFence::scheduler::mSchedule: Set("c1"),
  schedNoFence::scheduler::published: 1,
  schedNoFence::scheduler::publishedBy: Set("w2"),
  schedNoFence::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: true,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 13]
{
  schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedNoFence::scheduler::crashes: 2,
  schedNoFence::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w2" }],
  schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 0),
  schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),
  schedNoFence::scheduler::mBuild: Set(),
  schedNoFence::scheduler::mDone: Set("w2"),
  schedNoFence::scheduler::mExpect: Set(),
  schedNoFence::scheduler::mResult: Set("c1"),
  schedNoFence::scheduler::mRetry: Set(),
  schedNoFence::scheduler::mSchedule: Set(),
  schedNoFence::scheduler::published: 1,
  schedNoFence::scheduler::publishedBy: Set("w2"),
  schedNoFence::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: true,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 14]
{
  schedNoFence::scheduler::cl: Map("c1" -> CDone, "c2" -> CQueued),
  schedNoFence::scheduler::crashes: 2,
  schedNoFence::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w2" }],
  schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 0),
  schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),
  schedNoFence::scheduler::mBuild: Set(),
  schedNoFence::scheduler::mDone: Set("w2"),
  schedNoFence::scheduler::mExpect: Set(),
  schedNoFence::scheduler::mResult: Set(),
  schedNoFence::scheduler::mRetry: Set(),
  schedNoFence::scheduler::mSchedule: Set(),
  schedNoFence::scheduler::published: 1,
  schedNoFence::scheduler::publishedBy: Set("w2"),
  schedNoFence::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: true,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 15]
{
  schedNoFence::scheduler::cl: Map("c1" -> CDone, "c2" -> CQueued),
  schedNoFence::scheduler::crashes: 2,
  schedNoFence::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w2" }],
  schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 0),
  schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),
  schedNoFence::scheduler::mBuild: Set(),
  schedNoFence::scheduler::mDone: Set("w1", "w2"),
  schedNoFence::scheduler::mExpect: Set(),
  schedNoFence::scheduler::mResult: Set(),
  schedNoFence::scheduler::mRetry: Set(),
  schedNoFence::scheduler::mSchedule: Set(),
  schedNoFence::scheduler::published: 2,
  schedNoFence::scheduler::publishedBy: Set("w1", "w2"),
  schedNoFence::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: true,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: true,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[violation] Found an issue (15285ms at 1172 traces/second).
Use --verbosity=3 to show executions.
Use --seed=0xf347b7e4e14f2749 --backend=rust to reproduce.
error: Invariant violated
Running... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■                                       ] 2% | ETA: 8s | 606/30000 samples | 3910 samples/sRunning... [■                                       ] 2% | ETA: 13s | 659/30000 samples | 2450 samples/sRunning... [■                                       ] 2% | ETA: 17s | 725/30000 samples | 1831 samples/sRunning... [■                                       ] 2% | ETA: 17s | 725/30000 samples | 1831 samples/sAn example execution:

[State 0]
{
  schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),
  schedNoPush::scheduler::crashes: 0,
  schedNoPush::scheduler::entry: [],
  schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoPush::scheduler::mAssigned: Set(),
  schedNoPush::scheduler::mBuild: Set(),
  schedNoPush::scheduler::mDone: Set(),
  schedNoPush::scheduler::mExpect: Set(),
  schedNoPush::scheduler::mResult: Set(),
  schedNoPush::scheduler::mRetry: Set(),
  schedNoPush::scheduler::mSchedule: Set(),
  schedNoPush::scheduler::published: 0,
  schedNoPush::scheduler::publishedBy: Set(),
  schedNoPush::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 1]
{
  schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),
  schedNoPush::scheduler::crashes: 0,
  schedNoPush::scheduler::entry: [],
  schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoPush::scheduler::mAssigned: Set(),
  schedNoPush::scheduler::mBuild: Set(),
  schedNoPush::scheduler::mDone: Set(),
  schedNoPush::scheduler::mExpect: Set(),
  schedNoPush::scheduler::mResult: Set(),
  schedNoPush::scheduler::mRetry: Set(),
  schedNoPush::scheduler::mSchedule: Set("c2"),
  schedNoPush::scheduler::published: 0,
  schedNoPush::scheduler::publishedBy: Set(),
  schedNoPush::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 2]
{
  schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),
  schedNoPush::scheduler::crashes: 0,
  schedNoPush::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w2" }],
  schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedNoPush::scheduler::mAssigned: Set(("c2", "w2")),
  schedNoPush::scheduler::mBuild: Set(),
  schedNoPush::scheduler::mDone: Set(),
  schedNoPush::scheduler::mExpect: Set(),
  schedNoPush::scheduler::mResult: Set(),
  schedNoPush::scheduler::mRetry: Set(),
  schedNoPush::scheduler::mSchedule: Set(),
  schedNoPush::scheduler::published: 0,
  schedNoPush::scheduler::publishedBy: Set(),
  schedNoPush::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 3]
{
  schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),
  schedNoPush::scheduler::crashes: 1,
  schedNoPush::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w2" }],
  schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedNoPush::scheduler::mAssigned: Set(("c2", "w2")),
  schedNoPush::scheduler::mBuild: Set(),
  schedNoPush::scheduler::mDone: Set(),
  schedNoPush::scheduler::mExpect: Set(),
  schedNoPush::scheduler::mResult: Set(),
  schedNoPush::scheduler::mRetry: Set(),
  schedNoPush::scheduler::mSchedule: Set(),
  schedNoPush::scheduler::published: 0,
  schedNoPush::scheduler::publishedBy: Set(),
  schedNoPush::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 4]
{
  schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),
  schedNoPush::scheduler::crashes: 1,
  schedNoPush::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w2" }],
  schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedNoPush::scheduler::mAssigned: Set(),
  schedNoPush::scheduler::mBuild: Set(("c2", "w2")),
  schedNoPush::scheduler::mDone: Set(),
  schedNoPush::scheduler::mExpect: Set(),
  schedNoPush::scheduler::mResult: Set(),
  schedNoPush::scheduler::mRetry: Set(),
  schedNoPush::scheduler::mSchedule: Set(),
  schedNoPush::scheduler::published: 0,
  schedNoPush::scheduler::publishedBy: Set(),
  schedNoPush::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 5]
{
  schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),
  schedNoPush::scheduler::crashes: 2,
  schedNoPush::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w2" }],
  schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedNoPush::scheduler::mAssigned: Set(),
  schedNoPush::scheduler::mBuild: Set(("c2", "w2")),
  schedNoPush::scheduler::mDone: Set(),
  schedNoPush::scheduler::mExpect: Set(),
  schedNoPush::scheduler::mResult: Set(),
  schedNoPush::scheduler::mRetry: Set(),
  schedNoPush::scheduler::mSchedule: Set(),
  schedNoPush::scheduler::published: 0,
  schedNoPush::scheduler::publishedBy: Set(),
  schedNoPush::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        }
    )
}

[State 6]
{
  schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),
  schedNoPush::scheduler::crashes: 2,
  schedNoPush::scheduler::entry: [],
  schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoPush::scheduler::mAssigned: Set(),
  schedNoPush::scheduler::mBuild: Set(("c2", "w2")),
  schedNoPush::scheduler::mDone: Set(),
  schedNoPush::scheduler::mExpect: Set(),
  schedNoPush::scheduler::mResult: Set(),
  schedNoPush::scheduler::mRetry: Set("c2"),
  schedNoPush::scheduler::mSchedule: Set(),
  schedNoPush::scheduler::published: 0,
  schedNoPush::scheduler::publishedBy: Set(),
  schedNoPush::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 7]
{
  schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),
  schedNoPush::scheduler::crashes: 2,
  schedNoPush::scheduler::entry: [],
  schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoPush::scheduler::mAssigned: Set(),
  schedNoPush::scheduler::mBuild: Set(),
  schedNoPush::scheduler::mDone: Set(),
  schedNoPush::scheduler::mExpect: Set(),
  schedNoPush::scheduler::mResult: Set(),
  schedNoPush::scheduler::mRetry: Set("c2"),
  schedNoPush::scheduler::mSchedule: Set(),
  schedNoPush::scheduler::published: 0,
  schedNoPush::scheduler::publishedBy: Set(),
  schedNoPush::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set("c2"),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        }
    )
}

[violation] Found an issue (536ms at 1366 traces/second).
Use --verbosity=3 to show executions.
Use --seed=0x3192bd85ce108d6 --backend=rust to reproduce.
error: Invariant violated
Running... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■                                       ] 1% | ETA: 19s | 406/30000 samples | 1631 samples/sRunning... [■                                       ] 1% | ETA: 24s | 492/30000 samples | 1298 samples/sAn example execution:

[State 0]
{
  schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),
  schedNoPush::scheduler::crashes: 0,
  schedNoPush::scheduler::entry: [],
  schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoPush::scheduler::mAssigned: Set(),
  schedNoPush::scheduler::mBuild: Set(),
  schedNoPush::scheduler::mDone: Set(),
  schedNoPush::scheduler::mExpect: Set(),
  schedNoPush::scheduler::mResult: Set(),
  schedNoPush::scheduler::mRetry: Set(),
  schedNoPush::scheduler::mSchedule: Set(),
  schedNoPush::scheduler::published: 0,
  schedNoPush::scheduler::publishedBy: Set(),
  schedNoPush::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 1]
{
  schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
  schedNoPush::scheduler::crashes: 0,
  schedNoPush::scheduler::entry: [],
  schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoPush::scheduler::mAssigned: Set(),
  schedNoPush::scheduler::mBuild: Set(),
  schedNoPush::scheduler::mDone: Set(),
  schedNoPush::scheduler::mExpect: Set(),
  schedNoPush::scheduler::mResult: Set(),
  schedNoPush::scheduler::mRetry: Set(),
  schedNoPush::scheduler::mSchedule: Set("c1"),
  schedNoPush::scheduler::published: 0,
  schedNoPush::scheduler::publishedBy: Set(),
  schedNoPush::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 2]
{
  schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
  schedNoPush::scheduler::crashes: 0,
  schedNoPush::scheduler::entry:
    [{ followers: Set("c1"), leased: true, worker: "w1" }],
  schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),
  schedNoPush::scheduler::mBuild: Set(),
  schedNoPush::scheduler::mDone: Set(),
  schedNoPush::scheduler::mExpect: Set(),
  schedNoPush::scheduler::mResult: Set(),
  schedNoPush::scheduler::mRetry: Set(),
  schedNoPush::scheduler::mSchedule: Set(),
  schedNoPush::scheduler::published: 0,
  schedNoPush::scheduler::publishedBy: Set(),
  schedNoPush::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 3]
{
  schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
  schedNoPush::scheduler::crashes: 1,
  schedNoPush::scheduler::entry:
    [{ followers: Set("c1"), leased: true, worker: "w1" }],
  schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),
  schedNoPush::scheduler::mBuild: Set(),
  schedNoPush::scheduler::mDone: Set(),
  schedNoPush::scheduler::mExpect: Set(),
  schedNoPush::scheduler::mResult: Set(),
  schedNoPush::scheduler::mRetry: Set(),
  schedNoPush::scheduler::mSchedule: Set(),
  schedNoPush::scheduler::published: 0,
  schedNoPush::scheduler::publishedBy: Set(),
  schedNoPush::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        }
    )
}

[State 4]
{
  schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
  schedNoPush::scheduler::crashes: 2,
  schedNoPush::scheduler::entry:
    [{ followers: Set("c1"), leased: true, worker: "w1" }],
  schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),
  schedNoPush::scheduler::mBuild: Set(),
  schedNoPush::scheduler::mDone: Set(),
  schedNoPush::scheduler::mExpect: Set(),
  schedNoPush::scheduler::mResult: Set(),
  schedNoPush::scheduler::mRetry: Set(),
  schedNoPush::scheduler::mSchedule: Set(),
  schedNoPush::scheduler::published: 0,
  schedNoPush::scheduler::publishedBy: Set(),
  schedNoPush::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        }
    )
}

[State 5]
{
  schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
  schedNoPush::scheduler::crashes: 2,
  schedNoPush::scheduler::entry: [],
  schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),
  schedNoPush::scheduler::mBuild: Set(),
  schedNoPush::scheduler::mDone: Set(),
  schedNoPush::scheduler::mExpect: Set(),
  schedNoPush::scheduler::mResult: Set(),
  schedNoPush::scheduler::mRetry: Set("c1"),
  schedNoPush::scheduler::mSchedule: Set(),
  schedNoPush::scheduler::published: 0,
  schedNoPush::scheduler::publishedBy: Set(),
  schedNoPush::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        }
    )
}

[State 6]
{
  schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
  schedNoPush::scheduler::crashes: 2,
  schedNoPush::scheduler::entry: [],
  schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),
  schedNoPush::scheduler::mBuild: Set(),
  schedNoPush::scheduler::mDone: Set(),
  schedNoPush::scheduler::mExpect: Set(),
  schedNoPush::scheduler::mResult: Set(),
  schedNoPush::scheduler::mRetry: Set("c1"),
  schedNoPush::scheduler::mSchedule: Set(),
  schedNoPush::scheduler::published: 0,
  schedNoPush::scheduler::publishedBy: Set(),
  schedNoPush::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        }
    )
}

[State 7]
{
  schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedNoPush::scheduler::crashes: 2,
  schedNoPush::scheduler::entry: [],
  schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),
  schedNoPush::scheduler::mBuild: Set(),
  schedNoPush::scheduler::mDone: Set(),
  schedNoPush::scheduler::mExpect: Set(),
  schedNoPush::scheduler::mResult: Set(),
  schedNoPush::scheduler::mRetry: Set("c1"),
  schedNoPush::scheduler::mSchedule: Set("c2"),
  schedNoPush::scheduler::published: 0,
  schedNoPush::scheduler::publishedBy: Set(),
  schedNoPush::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        }
    )
}

[State 8]
{
  schedNoPush::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
  schedNoPush::scheduler::crashes: 2,
  schedNoPush::scheduler::entry: [],
  schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoPush::scheduler::mAssigned: Set(),
  schedNoPush::scheduler::mBuild: Set(("c1", "w1")),
  schedNoPush::scheduler::mDone: Set(),
  schedNoPush::scheduler::mExpect: Set(),
  schedNoPush::scheduler::mResult: Set(),
  schedNoPush::scheduler::mRetry: Set("c1"),
  schedNoPush::scheduler::mSchedule: Set("c2"),
  schedNoPush::scheduler::published: 0,
  schedNoPush::scheduler::publishedBy: Set(),
  schedNoPush::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        }
    )
}

[State 9]
{
  schedNoPush::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
  schedNoPush::scheduler::crashes: 2,
  schedNoPush::scheduler::entry: [],
  schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoPush::scheduler::mAssigned: Set(),
  schedNoPush::scheduler::mBuild: Set(("c1", "w1")),
  schedNoPush::scheduler::mDone: Set(),
  schedNoPush::scheduler::mExpect: Set(),
  schedNoPush::scheduler::mResult: Set(),
  schedNoPush::scheduler::mRetry: Set("c1"),
  schedNoPush::scheduler::mSchedule: Set("c2"),
  schedNoPush::scheduler::published: 0,
  schedNoPush::scheduler::publishedBy: Set(),
  schedNoPush::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 10]
{
  schedNoPush::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
  schedNoPush::scheduler::crashes: 2,
  schedNoPush::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w2" }],
  schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedNoPush::scheduler::mAssigned: Set(("c2", "w2")),
  schedNoPush::scheduler::mBuild: Set(("c1", "w1")),
  schedNoPush::scheduler::mDone: Set(),
  schedNoPush::scheduler::mExpect: Set(),
  schedNoPush::scheduler::mResult: Set(),
  schedNoPush::scheduler::mRetry: Set("c1"),
  schedNoPush::scheduler::mSchedule: Set(),
  schedNoPush::scheduler::published: 0,
  schedNoPush::scheduler::publishedBy: Set(),
  schedNoPush::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 11]
{
  schedNoPush::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w2")),
  schedNoPush::scheduler::crashes: 2,
  schedNoPush::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w2" }],
  schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedNoPush::scheduler::mAssigned: Set(),
  schedNoPush::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w2")),
  schedNoPush::scheduler::mDone: Set(),
  schedNoPush::scheduler::mExpect: Set(),
  schedNoPush::scheduler::mResult: Set(),
  schedNoPush::scheduler::mRetry: Set("c1"),
  schedNoPush::scheduler::mSchedule: Set(),
  schedNoPush::scheduler::published: 0,
  schedNoPush::scheduler::publishedBy: Set(),
  schedNoPush::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 12]
{
  schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),
  schedNoPush::scheduler::crashes: 2,
  schedNoPush::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w2" }],
  schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedNoPush::scheduler::mAssigned: Set(),
  schedNoPush::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w2")),
  schedNoPush::scheduler::mDone: Set(),
  schedNoPush::scheduler::mExpect: Set(),
  schedNoPush::scheduler::mResult: Set(),
  schedNoPush::scheduler::mRetry: Set(),
  schedNoPush::scheduler::mSchedule: Set("c1"),
  schedNoPush::scheduler::published: 0,
  schedNoPush::scheduler::publishedBy: Set(),
  schedNoPush::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 13]
{
  schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),
  schedNoPush::scheduler::crashes: 2,
  schedNoPush::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w2" }],
  schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedNoPush::scheduler::mAssigned: Set(),
  schedNoPush::scheduler::mBuild: Set(("c1", "w1")),
  schedNoPush::scheduler::mDone: Set(),
  schedNoPush::scheduler::mExpect: Set(),
  schedNoPush::scheduler::mResult: Set(),
  schedNoPush::scheduler::mRetry: Set(),
  schedNoPush::scheduler::mSchedule: Set("c1"),
  schedNoPush::scheduler::published: 0,
  schedNoPush::scheduler::publishedBy: Set(),
  schedNoPush::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set("c2"),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        }
    )
}

[State 14]
{
  schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),
  schedNoPush::scheduler::crashes: 2,
  schedNoPush::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w2" }],
  schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedNoPush::scheduler::mAssigned: Set(),
  schedNoPush::scheduler::mBuild: Set(),
  schedNoPush::scheduler::mDone: Set(),
  schedNoPush::scheduler::mExpect: Set(),
  schedNoPush::scheduler::mResult: Set(),
  schedNoPush::scheduler::mRetry: Set(),
  schedNoPush::scheduler::mSchedule: Set("c1"),
  schedNoPush::scheduler::published: 0,
  schedNoPush::scheduler::publishedBy: Set(),
  schedNoPush::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set("c1"),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set("c2"),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        }
    )
}

[violation] Found an issue (623ms at 798 traces/second).
Use --verbosity=3 to show executions.
Use --seed=0x7d36021a5d1b956a --backend=rust to reproduce.
error: Invariant violated
Running... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■                                       ] 2% | ETA: 9s | 862/30000 samples | 3278 samples/sRunning... [■                                       ] 3% | ETA: 11s | 1059/30000 samples | 2862 samples/sRunning... [■                                       ] 3% | ETA: 11s | 1059/30000 samples | 2862 samples/sRunning... [■■                                      ] 4% | ETA: 12s | 1288/30000 samples | 2407 samples/sRunning... [■■                                      ] 4% | ETA: 12s | 1288/30000 samples | 2407 samples/sRunning... [■■                                      ] 5% | ETA: 14s | 1518/30000 samples | 2102 samples/sRunning... [■■                                      ] 5% | ETA: 15s | 1692/30000 samples | 1979 samples/sRunning... [■■                                      ] 5% | ETA: 15s | 1692/30000 samples | 1979 samples/sRunning... [■■■                                     ] 6% | ETA: 15s | 2040/30000 samples | 1873 samples/sRunning... [■■■                                     ] 7% | ETA: 16s | 2166/30000 samples | 1822 samples/sRunning... [■■■                                     ] 7% | ETA: 16s | 2296/30000 samples | 1780 samples/sRunning... [■■■                                     ] 8% | ETA: 16s | 2454/30000 samples | 1763 samples/sRunning... [■■■                                     ] 8% | ETA: 16s | 2454/30000 samples | 1763 samples/sRunning... [■■■                                     ] 8% | ETA: 16s | 2454/30000 samples | 1763 samples/sRunning... [■■■■                                    ] 9% | ETA: 21s | 2707/30000 samples | 1651 samples/sRunning... [■■■■                                    ] 9% | ETA: 22s | 2791/30000 samples | 1604 samples/sRunning... [■■■■                                    ] 9% | ETA: 22s | 2791/30000 samples | 1604 samples/sRunning... [■■■■                                    ] 9% | ETA: 23s | 2996/30000 samples | 1507 samples/sRunning... [■■■■                                    ] 10% | ETA: 24s | 3111/30000 samples | 1472 samples/sRunning... [■■■■                                    ] 10% | ETA: 24s | 3111/30000 samples | 1472 samples/sRunning... [■■■■                                    ] 10% | ETA: 24s | 3111/30000 samples | 1472 samples/sRunning... [■■■■■                                   ] 11% | ETA: 27s | 3386/30000 samples | 1380 samples/sRunning... [■■■■■                                   ] 11% | ETA: 27s | 3386/30000 samples | 1380 samples/sRunning... [■■■■■                                   ] 11% | ETA: 28s | 3502/30000 samples | 1363 samples/sRunning... [■■■■■                                   ] 12% | ETA: 29s | 3612/30000 samples | 1325 samples/sRunning... [■■■■■                                   ] 12% | ETA: 31s | 3709/30000 samples | 1300 samples/sRunning... [■■■■■                                   ] 12% | ETA: 33s | 3788/30000 samples | 1280 samples/sRunning... [■■■■■                                   ] 12% | ETA: 34s | 3811/30000 samples | 1244 samples/sRunning... [■■■■■                                   ] 12% | ETA: 34s | 3811/30000 samples | 1244 samples/sRunning... [■■■■■                                   ] 12% | ETA: 37s | 3840/30000 samples | 1212 samples/sRunning... [■■■■■                                   ] 12% | ETA: 41s | 3867/30000 samples | 1182 samples/sRunning... [■■■■■                                   ] 12% | ETA: 51s | 3892/30000 samples | 1154 samples/sRunning... [■■■■■                                   ] 13% | ETA: 52s | 3933/30000 samples | 1112 samples/sRunning... [■■■■■                                   ] 13% | ETA: 61s | 3964/30000 samples | 1088 samples/sRunning... [■■■■■                                   ] 13% | ETA: 61s | 3964/30000 samples | 1088 samples/sRunning... [■■■■■                                   ] 13% | ETA: 72s | 4002/30000 samples | 1053 samples/sRunning... [■■■■■                                   ] 13% | ETA: 72s | 4002/30000 samples | 1053 samples/sRunning... [■■■■■                                   ] 13% | ETA: 87s | 4052/30000 samples | 1015 samples/sRunning... [■■■■■                                   ] 13% | ETA: 101s | 4084/30000 samples | 994 samples/sRunning... [■■■■■■                                  ] 13% | ETA: 100s | 4129/30000 samples | 963 samples/sRunning... [■■■■■■                                  ] 13% | ETA: 100s | 4129/30000 samples | 963 samples/sRunning... [■■■■■■                                  ] 13% | ETA: 100s | 4158/30000 samples | 947 samples/sRunning... [■■■■■■                                  ] 13% | ETA: 100s | 4158/30000 samples | 947 samples/sRunning... [■■■■■■                                  ] 14% | ETA: 98s | 4222/30000 samples | 914 samples/sRunning... [■■■■■■                                  ] 14% | ETA: 98s | 4249/30000 samples | 900 samples/sRunning... [■■■■■■                                  ] 14% | ETA: 98s | 4249/30000 samples | 900 samples/sRunning... [■■■■■■                                  ] 14% | ETA: 97s | 4297/30000 samples | 877 samples/sRunning... [■■■■■■                                  ] 14% | ETA: 100s | 4320/30000 samples | 861 samples/sRunning... [■■■■■■                                  ] 14% | ETA: 100s | 4344/30000 samples | 848 samples/sRunning... [■■■■■■                                  ] 14% | ETA: 104s | 4359/30000 samples | 834 samples/sRunning... [■■■■■■                                  ] 14% | ETA: 99s | 4410/30000 samples | 822 samples/sRunning... [■■■■■■                                  ] 14% | ETA: 93s | 4455/30000 samples | 816 samples/sRunning... [■■■■■■                                  ] 14% | ETA: 93s | 4455/30000 samples | 816 samples/sRunning... [■■■■■■                                  ] 14% | ETA: 99s | 4492/30000 samples | 791 samples/sRunning... [■■■■■■                                  ] 15% | ETA: 97s | 4531/30000 samples | 783 samples/sRunning... [■■■■■■                                  ] 15% | ETA: 97s | 4531/30000 samples | 783 samples/sRunning... [■■■■■■                                  ] 15% | ETA: 97s | 4531/30000 samples | 783 samples/sRunning... [■■■■■■                                  ] 15% | ETA: 96s | 4597/30000 samples | 762 samples/sAn example execution:

[State 0]
{
  schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),
  schedNoReport::scheduler::crashes: 0,
  schedNoReport::scheduler::entry: [],
  schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoReport::scheduler::mAssigned: Set(),
  schedNoReport::scheduler::mBuild: Set(),
  schedNoReport::scheduler::mDone: Set(),
  schedNoReport::scheduler::mExpect: Set(),
  schedNoReport::scheduler::mResult: Set(),
  schedNoReport::scheduler::mRetry: Set(),
  schedNoReport::scheduler::mSchedule: Set(),
  schedNoReport::scheduler::published: 0,
  schedNoReport::scheduler::publishedBy: Set(),
  schedNoReport::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 1]
{
  schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),
  schedNoReport::scheduler::crashes: 0,
  schedNoReport::scheduler::entry: [],
  schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoReport::scheduler::mAssigned: Set(),
  schedNoReport::scheduler::mBuild: Set(),
  schedNoReport::scheduler::mDone: Set(),
  schedNoReport::scheduler::mExpect: Set(),
  schedNoReport::scheduler::mResult: Set(),
  schedNoReport::scheduler::mRetry: Set(),
  schedNoReport::scheduler::mSchedule: Set("c2"),
  schedNoReport::scheduler::published: 0,
  schedNoReport::scheduler::publishedBy: Set(),
  schedNoReport::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 2]
{
  schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),
  schedNoReport::scheduler::crashes: 1,
  schedNoReport::scheduler::entry: [],
  schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoReport::scheduler::mAssigned: Set(),
  schedNoReport::scheduler::mBuild: Set(),
  schedNoReport::scheduler::mDone: Set(),
  schedNoReport::scheduler::mExpect: Set(),
  schedNoReport::scheduler::mResult: Set(),
  schedNoReport::scheduler::mRetry: Set(),
  schedNoReport::scheduler::mSchedule: Set("c2"),
  schedNoReport::scheduler::published: 0,
  schedNoReport::scheduler::publishedBy: Set(),
  schedNoReport::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 3]
{
  schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),
  schedNoReport::scheduler::crashes: 1,
  schedNoReport::scheduler::entry: [],
  schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoReport::scheduler::mAssigned: Set(),
  schedNoReport::scheduler::mBuild: Set(),
  schedNoReport::scheduler::mDone: Set(),
  schedNoReport::scheduler::mExpect: Set(),
  schedNoReport::scheduler::mResult: Set(),
  schedNoReport::scheduler::mRetry: Set(),
  schedNoReport::scheduler::mSchedule: Set("c2"),
  schedNoReport::scheduler::published: 0,
  schedNoReport::scheduler::publishedBy: Set(),
  schedNoReport::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 4]
{
  schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),
  schedNoReport::scheduler::crashes: 1,
  schedNoReport::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w2" }],
  schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedNoReport::scheduler::mAssigned: Set(("c2", "w2")),
  schedNoReport::scheduler::mBuild: Set(),
  schedNoReport::scheduler::mDone: Set(),
  schedNoReport::scheduler::mExpect: Set("w2"),
  schedNoReport::scheduler::mResult: Set(),
  schedNoReport::scheduler::mRetry: Set(),
  schedNoReport::scheduler::mSchedule: Set(),
  schedNoReport::scheduler::published: 0,
  schedNoReport::scheduler::publishedBy: Set(),
  schedNoReport::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 5]
{
  schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),
  schedNoReport::scheduler::crashes: 1,
  schedNoReport::scheduler::entry:
    [{ followers: Set("c2"), leased: true, worker: "w2" }],
  schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),
  schedNoReport::scheduler::mAssigned: Set(("c2", "w2")),
  schedNoReport::scheduler::mBuild: Set(),
  schedNoReport::scheduler::mDone: Set(),
  schedNoReport::scheduler::mExpect: Set(),
  schedNoReport::scheduler::mResult: Set(),
  schedNoReport::scheduler::mRetry: Set(),
  schedNoReport::scheduler::mSchedule: Set(),
  schedNoReport::scheduler::published: 0,
  schedNoReport::scheduler::publishedBy: Set(),
  schedNoReport::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        }
    )
}

[State 6]
{
  schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),
  schedNoReport::scheduler::crashes: 2,
  schedNoReport::scheduler::entry: [],
  schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoReport::scheduler::mAssigned: Set(),
  schedNoReport::scheduler::mBuild: Set(),
  schedNoReport::scheduler::mDone: Set(),
  schedNoReport::scheduler::mExpect: Set(),
  schedNoReport::scheduler::mResult: Set(),
  schedNoReport::scheduler::mRetry: Set("c2"),
  schedNoReport::scheduler::mSchedule: Set(),
  schedNoReport::scheduler::published: 0,
  schedNoReport::scheduler::publishedBy: Set(),
  schedNoReport::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: false,
          up: true
        }
    )
}

[State 7]
{
  schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),
  schedNoReport::scheduler::crashes: 2,
  schedNoReport::scheduler::entry: [],
  schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoReport::scheduler::mAssigned: Set(),
  schedNoReport::scheduler::mBuild: Set(),
  schedNoReport::scheduler::mDone: Set(),
  schedNoReport::scheduler::mExpect: Set(),
  schedNoReport::scheduler::mResult: Set(),
  schedNoReport::scheduler::mRetry: Set("c2"),
  schedNoReport::scheduler::mSchedule: Set(),
  schedNoReport::scheduler::published: 0,
  schedNoReport::scheduler::publishedBy: Set(),
  schedNoReport::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        }
    )
}

[State 8]
{
  schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),
  schedNoReport::scheduler::crashes: 2,
  schedNoReport::scheduler::entry: [],
  schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoReport::scheduler::mAssigned: Set(),
  schedNoReport::scheduler::mBuild: Set(),
  schedNoReport::scheduler::mDone: Set(),
  schedNoReport::scheduler::mExpect: Set(),
  schedNoReport::scheduler::mResult: Set(),
  schedNoReport::scheduler::mRetry: Set(),
  schedNoReport::scheduler::mSchedule: Set("c2"),
  schedNoReport::scheduler::published: 0,
  schedNoReport::scheduler::publishedBy: Set(),
  schedNoReport::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        }
    )
}

[State 9]
{
  schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedNoReport::scheduler::crashes: 2,
  schedNoReport::scheduler::entry: [],
  schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedNoReport::scheduler::mAssigned: Set(),
  schedNoReport::scheduler::mBuild: Set(),
  schedNoReport::scheduler::mDone: Set(),
  schedNoReport::scheduler::mExpect: Set(),
  schedNoReport::scheduler::mResult: Set(),
  schedNoReport::scheduler::mRetry: Set(),
  schedNoReport::scheduler::mSchedule: Set("c1", "c2"),
  schedNoReport::scheduler::published: 0,
  schedNoReport::scheduler::publishedBy: Set(),
  schedNoReport::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        }
    )
}

[State 10]
{
  schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedNoReport::scheduler::crashes: 2,
  schedNoReport::scheduler::entry:
    [{ followers: Set("c1"), leased: true, worker: "w1" }],
  schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedNoReport::scheduler::mAssigned: Set(("c1", "w1")),
  schedNoReport::scheduler::mBuild: Set(),
  schedNoReport::scheduler::mDone: Set(),
  schedNoReport::scheduler::mExpect: Set("w1"),
  schedNoReport::scheduler::mResult: Set(),
  schedNoReport::scheduler::mRetry: Set(),
  schedNoReport::scheduler::mSchedule: Set("c2"),
  schedNoReport::scheduler::published: 0,
  schedNoReport::scheduler::publishedBy: Set(),
  schedNoReport::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        }
    )
}

[State 11]
{
  schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
  schedNoReport::scheduler::crashes: 2,
  schedNoReport::scheduler::entry:
    [{ followers: Set("c1"), leased: true, worker: "w1" }],
  schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedNoReport::scheduler::mAssigned: Set(("c1", "w1")),
  schedNoReport::scheduler::mBuild: Set(),
  schedNoReport::scheduler::mDone: Set(),
  schedNoReport::scheduler::mExpect: Set(),
  schedNoReport::scheduler::mResult: Set(),
  schedNoReport::scheduler::mRetry: Set(),
  schedNoReport::scheduler::mSchedule: Set("c2"),
  schedNoReport::scheduler::published: 0,
  schedNoReport::scheduler::publishedBy: Set(),
  schedNoReport::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        }
    )
}

[State 12]
{
  schedNoReport::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
  schedNoReport::scheduler::crashes: 2,
  schedNoReport::scheduler::entry:
    [{ followers: Set("c1"), leased: true, worker: "w1" }],
  schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedNoReport::scheduler::mAssigned: Set(),
  schedNoReport::scheduler::mBuild: Set(("c1", "w1")),
  schedNoReport::scheduler::mDone: Set(),
  schedNoReport::scheduler::mExpect: Set(),
  schedNoReport::scheduler::mResult: Set(),
  schedNoReport::scheduler::mRetry: Set(),
  schedNoReport::scheduler::mSchedule: Set("c2"),
  schedNoReport::scheduler::published: 0,
  schedNoReport::scheduler::publishedBy: Set(),
  schedNoReport::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        }
    )
}

[State 13]
{
  schedNoReport::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
  schedNoReport::scheduler::crashes: 2,
  schedNoReport::scheduler::entry:
    [{ followers: Set("c1"), leased: true, worker: "w1" }],
  schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedNoReport::scheduler::mAssigned: Set(),
  schedNoReport::scheduler::mBuild: Set(("c1", "w1")),
  schedNoReport::scheduler::mDone: Set("w2"),
  schedNoReport::scheduler::mExpect: Set(),
  schedNoReport::scheduler::mResult: Set(),
  schedNoReport::scheduler::mRetry: Set(),
  schedNoReport::scheduler::mSchedule: Set("c2"),
  schedNoReport::scheduler::published: 1,
  schedNoReport::scheduler::publishedBy: Set("w2"),
  schedNoReport::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: true,
          running: true,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: true,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 14]
{
  schedNoReport::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
  schedNoReport::scheduler::crashes: 2,
  schedNoReport::scheduler::entry:
    [{ followers: Set("c1"), leased: true, worker: "w1" }],
  schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),
  schedNoReport::scheduler::mAssigned: Set(),
  schedNoReport::scheduler::mBuild: Set(("c1", "w1")),
  schedNoReport::scheduler::mDone: Set("w1", "w2"),
  schedNoReport::scheduler::mExpect: Set(),
  schedNoReport::scheduler::mResult: Set(),
  schedNoReport::scheduler::mRetry: Set(),
  schedNoReport::scheduler::mSchedule: Set("c2"),
  schedNoReport::scheduler::published: 2,
  schedNoReport::scheduler::publishedBy: Set("w1", "w2"),
  schedNoReport::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: true,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: true,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[violation] Found an issue (6129ms at 753 traces/second).
Use --verbosity=3 to show executions.
Use --seed=0xc5778a99ef7f5d74 --backend=rust to reproduce.
error: Invariant violated
Running... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sAn example execution:

[State 0]
{
  schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),
  schedTerminal::scheduler::crashes: 0,
  schedTerminal::scheduler::entry: [],
  schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedTerminal::scheduler::mAssigned: Set(),
  schedTerminal::scheduler::mBuild: Set(),
  schedTerminal::scheduler::mDone: Set(),
  schedTerminal::scheduler::mExpect: Set(),
  schedTerminal::scheduler::mResult: Set(),
  schedTerminal::scheduler::mRetry: Set(),
  schedTerminal::scheduler::mSchedule: Set(),
  schedTerminal::scheduler::published: 0,
  schedTerminal::scheduler::publishedBy: Set(),
  schedTerminal::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 1]
{
  schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),
  schedTerminal::scheduler::crashes: 1,
  schedTerminal::scheduler::entry: [],
  schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedTerminal::scheduler::mAssigned: Set(),
  schedTerminal::scheduler::mBuild: Set(),
  schedTerminal::scheduler::mDone: Set(),
  schedTerminal::scheduler::mExpect: Set(),
  schedTerminal::scheduler::mResult: Set(),
  schedTerminal::scheduler::mRetry: Set(),
  schedTerminal::scheduler::mSchedule: Set(),
  schedTerminal::scheduler::published: 0,
  schedTerminal::scheduler::publishedBy: Set(),
  schedTerminal::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: true,
          up: true
        }
    )
}

[State 2]
{
  schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),
  schedTerminal::scheduler::crashes: 2,
  schedTerminal::scheduler::entry: [],
  schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedTerminal::scheduler::mAssigned: Set(),
  schedTerminal::scheduler::mBuild: Set(),
  schedTerminal::scheduler::mDone: Set(),
  schedTerminal::scheduler::mExpect: Set(),
  schedTerminal::scheduler::mResult: Set(),
  schedTerminal::scheduler::mRetry: Set(),
  schedTerminal::scheduler::mSchedule: Set(),
  schedTerminal::scheduler::published: 0,
  schedTerminal::scheduler::publishedBy: Set(),
  schedTerminal::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: true
        }
    )
}

[State 3]
{
  schedTerminal::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
  schedTerminal::scheduler::crashes: 2,
  schedTerminal::scheduler::entry: [],
  schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedTerminal::scheduler::mAssigned: Set(),
  schedTerminal::scheduler::mBuild: Set(),
  schedTerminal::scheduler::mDone: Set(),
  schedTerminal::scheduler::mExpect: Set(),
  schedTerminal::scheduler::mResult: Set(),
  schedTerminal::scheduler::mRetry: Set(),
  schedTerminal::scheduler::mSchedule: Set("c1"),
  schedTerminal::scheduler::published: 0,
  schedTerminal::scheduler::publishedBy: Set(),
  schedTerminal::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: true
        }
    )
}

[State 4]
{
  schedTerminal::scheduler::cl: Map("c1" -> CFailed, "c2" -> CIdle),
  schedTerminal::scheduler::crashes: 2,
  schedTerminal::scheduler::entry: [],
  schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),
  schedTerminal::scheduler::mAssigned: Set(),
  schedTerminal::scheduler::mBuild: Set(),
  schedTerminal::scheduler::mDone: Set(),
  schedTerminal::scheduler::mExpect: Set(),
  schedTerminal::scheduler::mResult: Set(),
  schedTerminal::scheduler::mRetry: Set(),
  schedTerminal::scheduler::mSchedule: Set(),
  schedTerminal::scheduler::published: 0,
  schedTerminal::scheduler::publishedBy: Set(),
  schedTerminal::scheduler::ws:
    Map(
      "w1" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: false
        },
      "w2" ->
        {
          attached: Set(),
          built: false,
          expecting: false,
          running: false,
          session: false,
          up: true
        }
    )
}

[violation] Found an issue (90ms at 844 traces/second).
Use --verbosity=3 to show executions.
Use --seed=0x537d1786b178702 --backend=rust to reproduce.
error: Invariant violated
Running... [                                        ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 88% | ETA: 1s | 17655/20000 samples | 76099 samples/sAn example execution:

[State 0]
{
  hookFixed::hook::cache: Set(),
  hookFixed::hook::drvUploaded: false,
  hookFixed::hook::local: Map("w1" -> Set(), "w2" -> Set()),
  hookFixed::hook::phase: Query,
  hookFixed::hook::restarts: 0,
  hookFixed::hook::retries: 0,
  hookFixed::hook::toUpload: Set()
}

[State 1]
{
  hookFixed::hook::cache: Set(),
  hookFixed::hook::drvUploaded: false,
  hookFixed::hook::local: Map("w1" -> Set(), "w2" -> Set()),
  hookFixed::hook::phase: Query,
  hookFixed::hook::restarts: 1,
  hookFixed::hook::retries: 1,
  hookFixed::hook::toUpload: Set()
}

[State 2]
{
  hookFixed::hook::cache: Set(),
  hookFixed::hook::drvUploaded: false,
  hookFixed::hook::local: Map("w1" -> Set(), "w2" -> Set()),
  hookFixed::hook::phase: Upload,
  hookFixed::hook::restarts: 1,
  hookFixed::hook::retries: 1,
  hookFixed::hook::toUpload: Set("drv", "in")
}

[State 3]
{
  hookFixed::hook::cache: Set(),
  hookFixed::hook::drvUploaded: false,
  hookFixed::hook::local: Map("w1" -> Set("drv", "in"), "w2" -> Set()),
  hookFixed::hook::phase: Upload,
  hookFixed::hook::restarts: 2,
  hookFixed::hook::retries: 2,
  hookFixed::hook::toUpload: Set("drv", "in")
}

[State 4]
{
  hookFixed::hook::cache: Set("drv", "in"),
  hookFixed::hook::drvUploaded: false,
  hookFixed::hook::local: Map("w1" -> Set("drv", "in"), "w2" -> Set()),
  hookFixed::hook::phase: Build,
  hookFixed::hook::restarts: 2,
  hookFixed::hook::retries: 2,
  hookFixed::hook::toUpload: Set("drv", "in")
}

[State 5]
{
  hookFixed::hook::cache: Set("drv", "in", "out"),
  hookFixed::hook::drvUploaded: false,
  hookFixed::hook::local: Map("w1" -> Set("drv", "in", "out"), "w2" -> Set()),
  hookFixed::hook::phase: Fetch,
  hookFixed::hook::restarts: 2,
  hookFixed::hook::retries: 2,
  hookFixed::hook::toUpload: Set("drv", "in")
}

[State 6]
{
  hookFixed::hook::cache: Set("drv", "in", "out"),
  hookFixed::hook::drvUploaded: false,
  hookFixed::hook::local: Map("w1" -> Set("drv", "in", "out"), "w2" -> Set()),
  hookFixed::hook::phase: Done,
  hookFixed::hook::restarts: 2,
  hookFixed::hook::retries: 2,
  hookFixed::hook::toUpload: Set("drv", "in")
}

[ok] No violation found (346ms at 57803 traces/second).
Trace length statistics: max=7, min=5, average=6.74
You may increase --max-samples and --max-steps.
Use --verbosity to produce more (or less) output.
Use --seed=0xdecc28adbdc5edf0 --backend=rust to reproduce.
Running... [                                        ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sAn example execution:

[State 0]
{
  hookNoSubstituteRefs::hook::cache: Set(),
  hookNoSubstituteRefs::hook::drvUploaded: false,
  hookNoSubstituteRefs::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),
  hookNoSubstituteRefs::hook::phase: Query,
  hookNoSubstituteRefs::hook::restarts: 0,
  hookNoSubstituteRefs::hook::retries: 0,
  hookNoSubstituteRefs::hook::toUpload: Set()
}

[State 1]
{
  hookNoSubstituteRefs::hook::cache: Set("in"),
  hookNoSubstituteRefs::hook::drvUploaded: false,
  hookNoSubstituteRefs::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),
  hookNoSubstituteRefs::hook::phase: Upload,
  hookNoSubstituteRefs::hook::restarts: 0,
  hookNoSubstituteRefs::hook::retries: 0,
  hookNoSubstituteRefs::hook::toUpload: Set("drv")
}

[State 2]
{
  hookNoSubstituteRefs::hook::cache: Set("in"),
  hookNoSubstituteRefs::hook::drvUploaded: false,
  hookNoSubstituteRefs::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),
  hookNoSubstituteRefs::hook::phase: Failed,
  hookNoSubstituteRefs::hook::restarts: 0,
  hookNoSubstituteRefs::hook::retries: 0,
  hookNoSubstituteRefs::hook::toUpload: Set("drv")
}

[violation] Found an issue (43ms at 2070 traces/second).
Use --verbosity=3 to show executions.
Use --seed=0x76fe4ad56a52038f --backend=rust to reproduce.
error: Invariant violated
Running... [                                        ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sAn example execution:

[State 0]
{
  hookNoSubstituteDrv::hook::cache: Set(),
  hookNoSubstituteDrv::hook::drvUploaded: false,
  hookNoSubstituteDrv::hook::local: Map("w1" -> Set("in"), "w2" -> Set("in")),
  hookNoSubstituteDrv::hook::phase: Query,
  hookNoSubstituteDrv::hook::restarts: 0,
  hookNoSubstituteDrv::hook::retries: 0,
  hookNoSubstituteDrv::hook::toUpload: Set()
}

[State 1]
{
  hookNoSubstituteDrv::hook::cache: Set("in"),
  hookNoSubstituteDrv::hook::drvUploaded: false,
  hookNoSubstituteDrv::hook::local: Map("w1" -> Set("in"), "w2" -> Set("in")),
  hookNoSubstituteDrv::hook::phase: Upload,
  hookNoSubstituteDrv::hook::restarts: 0,
  hookNoSubstituteDrv::hook::retries: 0,
  hookNoSubstituteDrv::hook::toUpload: Set("drv")
}

[State 2]
{
  hookNoSubstituteDrv::hook::cache: Set("drv", "in"),
  hookNoSubstituteDrv::hook::drvUploaded: false,
  hookNoSubstituteDrv::hook::local:
    Map("w1" -> Set("in"), "w2" -> Set("drv", "in")),
  hookNoSubstituteDrv::hook::phase: Build,
  hookNoSubstituteDrv::hook::restarts: 0,
  hookNoSubstituteDrv::hook::retries: 0,
  hookNoSubstituteDrv::hook::toUpload: Set("drv")
}

[State 3]
{
  hookNoSubstituteDrv::hook::cache: Set("drv", "in"),
  hookNoSubstituteDrv::hook::drvUploaded: false,
  hookNoSubstituteDrv::hook::local:
    Map("w1" -> Set("in"), "w2" -> Set("drv", "in")),
  hookNoSubstituteDrv::hook::phase: UploadDrv,
  hookNoSubstituteDrv::hook::restarts: 0,
  hookNoSubstituteDrv::hook::retries: 0,
  hookNoSubstituteDrv::hook::toUpload: Set("drv")
}

[State 4]
{
  hookNoSubstituteDrv::hook::cache: Set("drv", "in"),
  hookNoSubstituteDrv::hook::drvUploaded: true,
  hookNoSubstituteDrv::hook::local:
    Map("w1" -> Set("in"), "w2" -> Set("drv", "in")),
  hookNoSubstituteDrv::hook::phase: Build,
  hookNoSubstituteDrv::hook::restarts: 0,
  hookNoSubstituteDrv::hook::retries: 0,
  hookNoSubstituteDrv::hook::toUpload: Set("drv")
}

[State 5]
{
  hookNoSubstituteDrv::hook::cache: Set("drv", "in"),
  hookNoSubstituteDrv::hook::drvUploaded: true,
  hookNoSubstituteDrv::hook::local:
    Map("w1" -> Set("in"), "w2" -> Set("drv", "in")),
  hookNoSubstituteDrv::hook::phase: Failed,
  hookNoSubstituteDrv::hook::restarts: 0,
  hookNoSubstituteDrv::hook::retries: 0,
  hookNoSubstituteDrv::hook::toUpload: Set("drv")
}

[violation] Found an issue (63ms at 1841 traces/second).
Use --verbosity=3 to show executions.
Use --seed=0x863d4776d64ca9bf --backend=rust to reproduce.
error: Invariant violated
Running... [                                        ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 81% | ETA: 1s | 16276/20000 samples | 57512 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 19637/20000 samples | 51005 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 19637/20000 samples | 51005 samples/sAn example execution:

[State 0]
{
  pushFixed::push::byPath: Map(),
  pushFixed::push::inflight: Set(),
  pushFixed::push::left: Map(),
  pushFixed::push::sent: Map()
}

[State 1]
{
  pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),
  pushFixed::push::inflight: Set((3, "a"), (3, "b")),
  pushFixed::push::left: Map(3 -> 2),
  pushFixed::push::sent: Map(3 -> Set("a", "b"))
}

[State 2]
{
  pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),
  pushFixed::push::inflight: Set((3, "b")),
  pushFixed::push::left: Map(3 -> 1),
  pushFixed::push::sent: Map(3 -> Set("a", "b"))
}

[State 3]
{
  pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),
  pushFixed::push::inflight: Set((2, "a"), (2, "b"), (3, "b")),
  pushFixed::push::left: Map(2 -> 2, 3 -> 1),
  pushFixed::push::sent: Map(2 -> Set("a", "b"), 3 -> Set("a", "b"))
}

[State 4]
{
  pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),
  pushFixed::push::inflight:
    Set((1, "a"), (1, "b"), (2, "a"), (2, "b"), (3, "b")),
  pushFixed::push::left: Map(1 -> 2, 2 -> 2, 3 -> 1),
  pushFixed::push::sent:
    Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))
}

[State 5]
{
  pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),
  pushFixed::push::inflight: Set((1, "a"), (1, "b"), (2, "a"), (3, "b")),
  pushFixed::push::left: Map(1 -> 2, 2 -> 1, 3 -> 1),
  pushFixed::push::sent:
    Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))
}

[State 6]
{
  pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),
  pushFixed::push::inflight: Set((1, "b"), (2, "a"), (3, "b")),
  pushFixed::push::left: Map(1 -> 1, 2 -> 1, 3 -> 1),
  pushFixed::push::sent:
    Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))
}

[State 7]
{
  pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),
  pushFixed::push::inflight: Set((2, "a"), (3, "b")),
  pushFixed::push::left: Map(1 -> 0, 2 -> 1, 3 -> 1),
  pushFixed::push::sent:
    Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))
}

[State 8]
{
  pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),
  pushFixed::push::inflight: Set((2, "a")),
  pushFixed::push::left: Map(1 -> 0, 2 -> 1, 3 -> 0),
  pushFixed::push::sent:
    Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))
}

[State 9]
{
  pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),
  pushFixed::push::inflight: Set(),
  pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 0),
  pushFixed::push::sent:
    Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))
}

[ok] No violation found (453ms at 44150 traces/second).
Trace length statistics: max=10, min=7, average=7.99
You may increase --max-samples and --max-steps.
Use --verbosity to produce more (or less) output.
Use --seed=0x92598355e538aacc --backend=rust to reproduce.