basic msi protocol with 28684 states, 102467 rules fired in 1.25s.