Tests by plug feature NumRange; CLI Option: -workers 1

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
b6a08ddda604e93b216a9cd6dce04e475f9654c2	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Eq	NumRange	True	Passed	Model Under Test Equivalent Model
6aa387872ef6457b701d4c0e5cafc83a9da14d58	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Eq	NumRange	False	Passed	Model Under Test Equivalent Model
a3e4e3ead32c226be04ebe5365d3e59fad47c84b	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Ne	NumRange	True	Passed	Model Under Test Equivalent Model
58f234ccff9da66e8d4c87db879d4b9624d03f36	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Ne	NumRange	False	Passed	Model Under Test Equivalent Model
6b4d386b2ed21550ef74261fb5d57ef626512bfc	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Let	NumRange	True	Passed	Model Under Test Equivalent Model
efd1c9d27cc8e8e36cce7770cbceaf3e4044080c	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Let	NumRange	False	Passed	Model Under Test Equivalent Model
842f9a1d7df7a78d8245c6d59f84b77e58ff0b80	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Set0	NumRange	True	Passed	Model Under Test Equivalent Model
fbd1576790eeae0d2a56f651d1260f3c9db97061	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Set0	NumRange	False	Passed	Model Under Test Equivalent Model
0abf2576d5926599772971faec17b7c5de972181	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Set1	NumRange	True	Passed	Model Under Test Equivalent Model
b1e97ae2deb513b4a3533e47ff193ff2344d841b	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Set1	NumRange	False	Passed	Model Under Test Equivalent Model
d14f348ca87e398b7b72d2b914801c14d97b7701	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Set2	NumRange	True	Passed	Model Under Test Equivalent Model
95f6740c3e0e85ca9bae3fb8128689a3150dad15	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Set2	NumRange	False	Passed	Model Under Test Equivalent Model
aa45d2097b76a7d9fc4166022323bcf33b63871d	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Fun	NumRange	True	Passed	Model Under Test Equivalent Model
b6fb228bcf1c91daac8296aa554e13479e498a71	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Fun	NumRange	False	Passed	Model Under Test Equivalent Model
d25c2eb5ad1eb8ece6ecf349e21cc13fa8b1e9c2	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	In	NumRange	True	Passed	Model Under Test Equivalent Model
484b9a59846900104d89c83f11473d8aaa12367a	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	In	NumRange	False	Passed	Model Under Test Equivalent Model
b1afc0e75a15b368cba448007376f4b0b82997ad	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	NotIn	NumRange	True	Passed	Model Under Test Equivalent Model
0bbe27b6170da985ba40978dff14e2c7cfe9057d	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	NotIn	NumRange	False	Passed	Model Under Test Equivalent Model
c9bffc700b7af20f979fc3ad718f2c47446ea665	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Record	NumRange	True	Passed	Model Under Test Equivalent Model
07e281d4d1553ed5d0dbca20adbe865ffa308438	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Record	NumRange	False	Passed	Model Under Test Equivalent Model
740d7a51f709eddef70c59036e0a660a72d1ca88	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Tuple	NumRange	True	Passed	Model Under Test Equivalent Model
40b91d942f31d37b0d65b28d13fed2fdec0e2f47	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Tuple	NumRange	False	Passed	Model Under Test Equivalent Model
795be87bf2c4193f0a05a080f8ce948f967efa89	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	FunApp	NumRange	True	Passed	Model Under Test Equivalent Model
e27e66293b188931f9aef7dd6adcd77e1c220ff3	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	FunApp	NumRange	False	Passed	Model Under Test Equivalent Model
acbe110769e5b88e54a747b5f3608c4e0bf06c36	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Except1Fun	NumRange	True	Passed	Model Under Test Equivalent Model
5fa29621da36106c085f7cc492e1997587f5893f	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Except1Fun	NumRange	False	Passed	Model Under Test Equivalent Model
ab818ac4fae6c53f7de7072b1e67af056c2be880	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Except1FunWithAt	NumRange	True	Passed	Model Under Test Equivalent Model
7bf4a2d0e98204bb8ec9c76ee729d95f56c3ecac	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Except1FunWithAt	NumRange	False	Passed	Model Under Test Equivalent Model
3507c1a05d1782fa8c60a727c6dac8abc1ffacaa	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Except1Rec	NumRange	True	Passed	Model Under Test Equivalent Model
4c0079944e48b84be1e0846f605050ee32a82dc3	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Except1Rec	NumRange	False	Passed	Model Under Test Equivalent Model
efc9c210e2a397a58b86f96e97df67f59c746991	TLC with reduction strategy: Case Feature: @ is reduced to F.arg Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Except1RecWithAt	NumRange	True	Passed	Model Under Test Equivalent Model
60d933842379a0816a394960599780d398e40d0c	TLC with reduction strategy: Case Feature: @ is reduced to F.arg Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Except1RecWithAt	NumRange	False	Passed	Model Under Test Equivalent Model
c9937a7f0956d16fd7703ceee552f6d71a3510e6	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Except2Fun	NumRange	True	Passed	Model Under Test Equivalent Model
ae8982496fad355a92909420425754558f756218	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Except2Fun	NumRange	False	Passed	Model Under Test Equivalent Model
838302380b02c41f9d3ac4839c852d846e25752d	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Prime	NumRange	True	Passed	Model Under Test Equivalent Model
d42c995cfae3811eac4c24c9653121027b5e5f32	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Prime	NumRange	False	Passed	Model Under Test Equivalent Model
9df96645c80e54d7c1df5de0c4c23335b003b21b	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	DefFun	NumRange	True	Passed	Model Under Test Equivalent Model
107e8f95361bb555eca66075237795a81a6ed8e2	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	DefFun	NumRange	False	Passed	Model Under Test Equivalent Model
99a0216dd56cafa21e7b8e1fdda20385dded8afe	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	LetDefFun	NumRange	True	Passed	Model Under Test Equivalent Model
766ab7d3e27ed8391d08108c270cae55fe2f607a	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	LetDefFun	NumRange	False	Passed	Model Under Test Equivalent Model
dc3b8aec21ffb91e103a3e972d990c9f6b22a674	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	DefFunRecursive	NumRange	True	Passed	Model Under Test Equivalent Model
21a11165de5db1f7c6947b244b8bc638573beba0	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	DefFunRecursive	NumRange	False	Passed	Model Under Test Equivalent Model
fe5c9af7c3b32c9b5f26ac780dbda4c5606f586a	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	LetDefFunRecursive	NumRange	True	Passed	Model Under Test Equivalent Model
0852698edff567831613c068222bc363842a1bff	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	LetDefFunRecursive	NumRange	False	Passed	Model Under Test Equivalent Model
d4244816f7f34baa46f18fb1ba80d04c694593ab	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Def0	NumRange	True	Passed	Model Under Test Equivalent Model
c675ad63a6a976caba4d6d540b40fb9e5822c15d	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Def0	NumRange	False	Passed	Model Under Test Equivalent Model
fdc3e5ed8f1e065d4b25ffe8f64b1641aefc8cda	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	LetDef0	NumRange	True	Passed	Model Under Test Equivalent Model
86cd320061daec0e2c5026c1d02c1f90edd5e9d2	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	LetDef0	NumRange	False	Passed	Model Under Test Equivalent Model
88fa8aa1712df2d777a03f218e01ae4001b940fb	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Def1	NumRange	True	Passed	Model Under Test Equivalent Model
5f7bb867b441350b390a1bb3f87cc39c8f232e86	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Def1	NumRange	False	Passed	Model Under Test Equivalent Model
96acd31e906c1912b24de5a04eabe85dfd07f410	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	LetDef1	NumRange	True	Passed	Model Under Test Equivalent Model
fe714e66bcc86fb419eb848a8d387aacd5caf7a5	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	LetDef1	NumRange	False	Passed	Model Under Test Equivalent Model
62b71f13c4c18a392adca55b5243fe4b1ccfaac5	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Def2	NumRange	True	Passed	Model Under Test Equivalent Model
ef115f76f97bd0323ea612f9b9feba99125902a0	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Def2	NumRange	False	Passed	Model Under Test Equivalent Model
e99a59d2f48995b8de880286d86ff31e37c0aadf	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	LetDef2	NumRange	True	Passed	Model Under Test Equivalent Model
d8928f7445303ef3fe68b560032a8b5dd05d0667	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	LetDef2	NumRange	False	Passed	Model Under Test Equivalent Model
1db2f61c0f91fc72bf0743968cb3abcca4ae41ce	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Def1Recursive	NumRange	True	Passed	Model Under Test Equivalent Model
75fa8d9e39928d60365a315017b4061cb608d0a9	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Def1Recursive	NumRange	False	Passed	Model Under Test Equivalent Model
d5ebfe1a297a23807572727a4173193e527dba91	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	LetDef1Recursive	NumRange	True	Passed	Model Under Test Equivalent Model
5be3af0cfce25265f6a3c64f03a1fda33f39505d	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	LetDef1Recursive	NumRange	False	Passed	Model Under Test Equivalent Model
00e3b7c501562baa5a158bea28bfefa0c5f9bf73	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Extends	NumRange	True	Passed	Model Under Test Equivalent Model
0a333378495afc48e1351f2433b50f797f5c0bc6	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Extends	NumRange	False	Passed	Model Under Test Equivalent Model
a8afc95d23f0c65fa6aef0fff7f8a5f9c7e4aa7e	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	ExtendsInDifferentFolder	NumRange	True	Passed	Model Under Test Equivalent Model
c1acb0aa3b8290eb435cc192fa69b671847e1d37	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	ExtendsInDifferentFolder	NumRange	False	Passed	Model Under Test Equivalent Model
ee83f20fd57fd6a5690b02c5e346647ecfe00318	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Variable	NumRange	True	Passed	Model Under Test Equivalent Model
4befae1f3299999c59a7c9727baa3edb3c9f88e9	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Variable	NumRange	False	Passed	Model Under Test Equivalent Model
102f12e406eab0d3a92a86da92e0e42f1e9d9f6a	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	VariableViewExclude	NumRange	True	Passed	Model Under Test Equivalent Model
34ea8926cec5035ec7f485eef1e018cd66941767	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	VariableViewExclude	NumRange	False	Passed	Model Under Test Equivalent Model
4ce666bd2e976a677bc2dc4782d79a31fb822435	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Constant	NumRange	True	Passed	Model Under Test Equivalent Model
8a4baa2eacbc81957fd07a24b7eba74385703b37	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Constant	NumRange	False	Passed	Model Under Test Equivalent Model
8ad7514091e54da35048b5e6b1a8059e8b008f6f	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	ConstantRank1	NumRange	True	Passed	Model Under Test Equivalent Model
84c7b06189bda9afd6f18fc21fbb0343e3c71a3a	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	ConstantRank1	NumRange	False	Passed	Model Under Test Equivalent Model
192f8ec31453ebf46fbbe7b0264f8209ad9e83a8	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Instance	NumRange	True	Passed	Model Under Test Equivalent Model
c7456eb0716cc21db78663a8af41e60b96db7242	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Instance	NumRange	False	Passed	Model Under Test Equivalent Model
d7e53433df992091fa263ad615c11cc6f5c56ff3	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	InstanceWith	NumRange	True	Passed	Model Under Test Equivalent Model
dfa6503af767b109bf3bd88fc82aaacc0337cf4b	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	InstanceWith	NumRange	False	Passed	Model Under Test Equivalent Model
a767980862c52abab3ce589c0ac3ce2845fe2bb0	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	InstanceNamed	NumRange	True	Passed	Model Under Test Equivalent Model
a906942a23dfcbee57ddfb92548bd92858835d0f	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	InstanceNamed	NumRange	False	Passed	Model Under Test Equivalent Model
d009f6c23e47572585b08245b3431b695ee3308b	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	InstanceNamedWith	NumRange	True	Passed	Model Under Test Equivalent Model
2175f3e7e067d17f8bda5b0bd4b9c3e518cc501c	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	InstanceNamedWith	NumRange	False	Passed	Model Under Test Equivalent Model
35d80e87173cd13650fd7bd3e3ade47445e95767	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	InstanceInFolder	NumRange	True	Passed	Model Under Test Equivalent Model
c9e30e39c5d23d424ec342a4e1e153ccf885dad4	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	InstanceInFolder	NumRange	False	Passed	Model Under Test Equivalent Model
46a176ce9d94835c4978e6b4cae472e4ce203af5	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	InstanceWithInFolder	NumRange	True	Passed	Model Under Test Equivalent Model
59fe011f427d9d4e9913199a498409192fdebf9b	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	InstanceWithInFolder	NumRange	False	Passed	Model Under Test Equivalent Model
0c2c9b1d12be2e660c0129d6a7fbb33899dae177	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	InstanceNamedInFolder	NumRange	True	Passed	Model Under Test Equivalent Model
46785305550a956ba7a3f7bbe9879e457fafd61f	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	InstanceNamedInFolder	NumRange	False	Passed	Model Under Test Equivalent Model
1db2b2b2303c60d225901bb54e45e49d5bdef1b6	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	InstanceNamedWithInFolder	NumRange	True	Passed	Model Under Test Equivalent Model
3a2ca3b18aafe52e0d4abccf270c5b2ac8e50830	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	InstanceNamedWithInFolder	NumRange	False	Passed	Model Under Test Equivalent Model
e2ad287bf697741930c05ef04436a43d0684fea6	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Lambda	NumRange	True	Passed	Model Under Test Equivalent Model
c8a359508b0988d08d057afcb75479edf41a35c7	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Lambda	NumRange	False	Passed	Model Under Test Equivalent Model
7a929eadb1e49169e8c488bd4120db4018fed3df	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Cross2	NumRange	True	Passed	Model Under Test Equivalent Model
0df9dbe41dff6aa87f0a162509953a3a0329b43e	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Cross2	NumRange	False	Passed	Model Under Test Equivalent Model
cfe2b5b07b966c28786d10b6dbe3ddfb8eb435ea	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Cross3	NumRange	True	Passed	Model Under Test Equivalent Model
f1f8f22d99cc7c6c1192a11e62af0e80aa899941	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Cross3	NumRange	False	Passed	Model Under Test Equivalent Model
bd59bf6b969281974d8f3e0688af4faa40306544	TLC with reduction strategy: Case Feature: For finite R replace [D -> R] with explicit function set enumeration; for infinite R replace (f \in [D -> R]) with conjunction (DOMAIN f = D /\ (\A x \in D : f[x] \in R)) Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	FunSet	NumRange	True	Passed	Model Under Test Equivalent Model
5b1ef41772864daaca4bfc5db18ee41a5b472a4d	TLC with reduction strategy: Case Feature: For finite R replace [D -> R] with explicit function set enumeration; for infinite R replace (f \in [D -> R]) with conjunction (DOMAIN f = D /\ (\A x \in D : f[x] \in R)) Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	FunSet	NumRange	False	Passed	Model Under Test Equivalent Model
aca97a4c2e3c555796cc44fa0ec33f9872d521ed	TLC with reduction strategy: Case Feature: For finite R replace [field : R] with explicit function set enumeration; for infinite R replace (f \in [field : R]) with conjunction (DOMAIN f = {'field'} /\ f['field'] \in R) Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	RecordSet	NumRange	True	Passed	Model Under Test Equivalent Model
95bbd0e35075670b205c5cdb8afd23150ec4007f	TLC with reduction strategy: Case Feature: For finite R replace [field : R] with explicit function set enumeration; for infinite R replace (f \in [field : R]) with conjunction (DOMAIN f = {'field'} /\ f['field'] \in R) Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	RecordSet	NumRange	False	Passed	Model Under Test Equivalent Model
a01e98d9279f9a53e804f1cb35d5a9b684e25320	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	SetDiff	NumRange	True	Passed	Model Under Test Equivalent Model
390aece71c6abb87bbd12bf952a6371a4220b279	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	SetDiff	NumRange	False	Passed	Model Under Test Equivalent Model
347a83d9d54a97fa3dc809735c0481014335f8f9	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	SetUnion	NumRange	True	Passed	Model Under Test Equivalent Model
ad35adf44741d319e9439de86782f632f03c5695	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	SetUnion	NumRange	False	Passed	Model Under Test Equivalent Model
a6081b76e0d91241eae9a1a5f13cf03f014a4158	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	SetIntersect	NumRange	True	Passed	Model Under Test Equivalent Model
3a609ff29f440660d2928372247cea1c3f5a43e4	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	SetIntersect	NumRange	False	Passed	Model Under Test Equivalent Model
080ad0b59351be7fbe14bfa89aaf70ed56ed77be	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	SubsetEq	NumRange	True	Passed	Model Under Test Equivalent Model
3b420ca80819744a1133a6b97a173f040a05a542	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	SubsetEq	NumRange	False	Passed	Model Under Test Equivalent Model
5c696916a0d74d418489de551b06dcfa3f651b28	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	IfThen	NumRange	True	Passed	Model Under Test Equivalent Model
f74551cd7ee40524fa1de73b7a3c280a822a1827	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	IfThen	NumRange	False	Passed	Model Under Test Equivalent Model
6391787ac0a733f920ce8e89d4bf1785b3136cf2	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	IfElse	NumRange	True	Passed	Model Under Test Equivalent Model
532dde0e80cd1aa84ed1853418668bdf00912731	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	IfElse	NumRange	False	Passed	Model Under Test Equivalent Model
9f7b2faf48ed2c21d2e9a408a8a2a3ea576a9785	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Subset	NumRange	True	Passed	Model Under Test Equivalent Model
39fd24097c00e19e644a2635874622fba0f308ad	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Subset	NumRange	False	Passed	Model Under Test Equivalent Model
7d080790c06c78851e148a2c0edbc606c2e78177	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Unchanged	NumRange	True	Passed	Model Under Test Equivalent Model
9cad26a4d5cfc1e9ae86c88eebffa88f6554acb6	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Unchanged	NumRange	False	Passed	Model Under Test Equivalent Model
be0eb4e461138fd610c34566d14410479af4c41a	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	SeqSeq	NumRange	True	Passed	Model Under Test Equivalent Model
faa46cefe499e9c0bd285f65e97089e8f0d35545	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	SeqSeq	NumRange	False	Passed	Model Under Test Equivalent Model
40adf3a1cf593329453f2a90f720030f6a37f736	TLC with reduction strategy: Case Feature: x :> y is replaced with equivalent [u \in {x} \|-> y] Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	TlcSingletonFun	NumRange	True	Passed	Model Under Test Equivalent Model
4de5379a313cdd420a6e9c6b7fa0aa559a15d9a4	TLC with reduction strategy: Case Feature: x :> y is replaced with equivalent [u \in {x} \|-> y] Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	TlcSingletonFun	NumRange	False	Passed	Model Under Test Equivalent Model
8bfbb45d9fc630a4aec03dfc58105669b32e36f1	TLC with reduction strategy: Case Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S } Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	TlcPermuteFun	NumRange	True	Passed	Model Under Test Equivalent Model
4b785f0addf2a1699d7967635514b2d839a5a6b4	TLC with reduction strategy: Case Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S } Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	TlcPermuteFun	NumRange	False	Passed	Model Under Test Equivalent Model
f502aee272972d4fdca6a981717e43e265c6e893	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	TlcEval	NumRange	True	Passed	Model Under Test Equivalent Model
e2dfc1a37146de3389f20dc4bd111b448d79dc97	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	TlcEval	NumRange	False	Passed	Model Under Test Equivalent Model
c616d83285ec63ba60c92fdf5a624a7ee3252c61	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	BagSetToBag	NumRange	True	Passed	Model Under Test Equivalent Model
036787cf6362f83e917c0d09d9530ed93a843447	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	BagSetToBag	NumRange	False	Passed	Model Under Test Equivalent Model
4fe0e18d941a1bf408a3a42dfacba1614985b67d	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	BagBagIn	NumRange	True	Passed	Model Under Test Equivalent Model
ecb271c755ed65a90d14459557898f3c622c45d2	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	BagBagIn	NumRange	False	Passed	Model Under Test Equivalent Model
aca0add3e102218196e7d8674d4366856b6c30c6	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	BagCopiesIn	NumRange	True	Passed	Model Under Test Equivalent Model
f7f9bd939f22e3d3e2199ab95813ed083a605337	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	BagCopiesIn	NumRange	False	Passed	Model Under Test Equivalent Model
97f9e92d60351a0f7234d19aa87daa18461b243b	TLC with reduction strategy: Case Feature: IsFiniteSet(B) is reduced to either TRUE or FALSE, depending on type information (finite and infinite sets have different types) Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	FiniteSetsIsFiniteSet	NumRange	True	Passed	Model Under Test Equivalent Model
daaf44334143d362150d0e60ded6e6e0cf974839	TLC with reduction strategy: Case Feature: IsFiniteSet(B) is reduced to either TRUE or FALSE, depending on type information (finite and infinite sets have different types) Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	FiniteSetsIsFiniteSet	NumRange	False	Passed	Model Under Test Equivalent Model
8447f58ebacb38155d6d76093eb57786a0cd1ed7	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	FiniteSetsCardinality	NumRange	True	Passed	Model Under Test Equivalent Model
e78a902f084db59418560b535c8e8221d60b9c90	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	FiniteSetsCardinality	NumRange	False	Passed	Model Under Test Equivalent Model
18bd6f12307c3152851e27fe88480f902150a3e5	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	SeqAppend	NumRange	True	Passed	Model Under Test Equivalent Model
cd425b1b7d03d1b2ea939d575128aa651b666c5e	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	SeqAppend	NumRange	False	Passed	Model Under Test Equivalent Model

Index

Tests by plug feature NumRange; CLI Option: -workers 1