Shring too large state space of PaxosCommit specification.
Shring too large state space of PaxosCommit specification.

[Performance][TLC]

tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus