6 ms·

Yes, that is <i>another</i> issue with model checkers. Either way, your original comment is still nonsense.

• sseveran 12y ago
  No. No it is not. See the Amazon paper if you want an overview.