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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
f580cc3b06705bd4642da650f2c5d40bb65439a0	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	And	OneLineComment	True	Passed	Model Under Test Equivalent Model
bbaf2108ac35f1f82817c5189307323084295b2d	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	And	OneLineComment	False	Passed	Model Under Test Equivalent Model
f2c3da97136ef70fb322ec11a1f066606f461d56	TLC with reduction strategy: Case Feature: /\ A /\ B == (A /\ B) Plug Feature: Replace spec with the same without comments	AndMultiLine	OneLineComment	True	Passed	Model Under Test Equivalent Model
b9090aa8d87f5b087405874847cbddb5d613682f	TLC with reduction strategy: Case Feature: /\ A /\ B == (A /\ B) Plug Feature: Replace spec with the same without comments	AndMultiLine	OneLineComment	False	Passed	Model Under Test Equivalent Model
6426ab6cd9468968a3f3df18d7c8d2f809da5b23	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Imply	OneLineComment	True	Passed	Model Under Test Equivalent Model
97f1ad59fb8480cba697ea2b56ddf4cd41b37690	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Imply	OneLineComment	False	Passed	Model Under Test Equivalent Model
44b3836e6891473f8affb6794daefc5fae72111b	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Not	OneLineComment	True	Passed	Model Under Test Equivalent Model
74954692f5e5d31df6babcb90b410d08b33f0d47	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Not	OneLineComment	False	Passed	Model Under Test Equivalent Model
eee37370361fd7675fc2e81c150cd5d4dc212afb	TLC with reduction strategy: Case Feature: A \/ B == ~(~A /\ ~B) Plug Feature: Replace spec with the same without comments	Or	OneLineComment	True	Passed	Model Under Test Equivalent Model
195f4c9e747a861a6d87c987e67188c4e51a66aa	TLC with reduction strategy: Case Feature: A \/ B == ~(~A /\ ~B) Plug Feature: Replace spec with the same without comments	Or	OneLineComment	False	Passed	Model Under Test Equivalent Model
1a000e2e3e3a08ce83fa4ef7503e63c31658de8a	TLC with reduction strategy: Case Feature: \/ A \/ B == (A \/ B) Plug Feature: Replace spec with the same without comments	OrMultiLine	OneLineComment	True	Passed	Model Under Test Equivalent Model
59876e4c6891e2db54a37a92c51bbbab2ca762b2	TLC with reduction strategy: Case Feature: \/ A \/ B == (A \/ B) Plug Feature: Replace spec with the same without comments	OrMultiLine	OneLineComment	False	Passed	Model Under Test Equivalent Model
3f9fb5d0da2f9305efff3284add9d20773d326b0	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	AndProp	OneLineComment	True	Passed	Model Under Test Equivalent Model
2610b3064bca2691c7dea94ea3a8f76240bd868f	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	AndProp	OneLineComment	False	Passed	Model Under Test Equivalent Model
b3121404907b39cf50f5e33916c9260e230d0525	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Boxed	OneLineComment	True	Passed	Model Under Test Equivalent Model
56f864d30dfd27a4541e669b26aa42ceebd73bbf	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Boxed	OneLineComment	False	Passed	Model Under Test Equivalent Model
6dc71c238045b0dc3657853615b9f059ac33233b	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Eq	OneLineComment	True	Passed	Model Under Test Equivalent Model
daa7dc4e273ae25bcc513de14b5100620d181e60	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Eq	OneLineComment	False	Passed	Model Under Test Equivalent Model
e7109ae910dd5b45fc53451a2f45cd0920de61c2	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Ne	OneLineComment	True	Passed	Model Under Test Equivalent Model
987e80d40c5b364fe0cabadb0155f397e6a43dfd	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Ne	OneLineComment	False	Passed	Model Under Test Equivalent Model
c83339c65fad9b504e0b7f456154a0ea5b0078b2	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Let	OneLineComment	True	Passed	Model Under Test Equivalent Model
8ec2827f396bb39605d184fdf389035147bca8cc	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Let	OneLineComment	False	Passed	Model Under Test Equivalent Model
2a75d19dc0ef18765aeabfb7b8746bb421d34cfe	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Set0	OneLineComment	True	Passed	Model Under Test Equivalent Model
546bdae216de27623a6879f9db8449a5c58ebbb5	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Set0	OneLineComment	False	Passed	Model Under Test Equivalent Model
095b4ca4872f3b14d2716667556c5164b51c5384	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Set1	OneLineComment	True	Passed	Model Under Test Equivalent Model
9bdbbc9eac499d44d668e188085e3b8ebcae35c1	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Set1	OneLineComment	False	Passed	Model Under Test Equivalent Model
583bdc6b68b3fc503748593d9b79829b84ffdc93	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Set2	OneLineComment	True	Passed	Model Under Test Equivalent Model
a67d797c218cdd40ee2fc45fd6faaa7c61936b35	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Set2	OneLineComment	False	Passed	Model Under Test Equivalent Model
29ab12eb7f3242c43b95fd9f039534fa2bd84744	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Fun	OneLineComment	True	Passed	Model Under Test Equivalent Model
1b21659bec154eb1f66c6dfdae5f81029ce66e22	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Fun	OneLineComment	False	Passed	Model Under Test Equivalent Model
b4227716d4f6085350c6d6d6be5b5fdad2ce7b65	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Exists	OneLineComment	True	Passed	Model Under Test Equivalent Model
8140ae37b1c30084ae5e2604349f3bc1cd4dccea	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Exists	OneLineComment	False	Passed	Model Under Test Equivalent Model
1743f06e6110d7369b91f0967757e5671a2ce412	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Forall	OneLineComment	True	Passed	Model Under Test Equivalent Model
87f078867cf596ea3c4d750c7bb6d8f607efc1e8	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Forall	OneLineComment	False	Passed	Model Under Test Equivalent Model
abc0bcca0e388a5e7c9cbe6453bf69d02b8266bd	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Choose	OneLineComment	True	Passed	Model Under Test Equivalent Model
03673d0f86a42cd970d0991226b4059373d96b0d	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Choose	OneLineComment	False	Passed	Model Under Test Equivalent Model
795e68f5b970461c16eade8af033fbbc93d2986d	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Record	OneLineComment	True	Passed	Model Under Test Equivalent Model
8f58e06d9e06fc470307f406a0e498d2f1c0b443	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Record	OneLineComment	False	Passed	Model Under Test Equivalent Model
26fa79f8ca351171d75b9311ca686b995883faba	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Tuple	OneLineComment	True	Passed	Model Under Test Equivalent Model
55783730ae76e00b4bd38c2d69a3fd2e5b2a19bf	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Tuple	OneLineComment	False	Passed	Model Under Test Equivalent Model
b41e3a2563e7102b6d5dfb68171eec82da16e18f	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Except1Fun	OneLineComment	True	Passed	Model Under Test Equivalent Model
0c8ffa34134c13095da8fc00fc5b4171c185a20e	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Except1Fun	OneLineComment	False	Passed	Model Under Test Equivalent Model
8d091df480b06c7c2b3e3005614b7573080f1548	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: Replace spec with the same without comments	Except1FunWithAt	OneLineComment	True	Passed	Model Under Test Equivalent Model
1b8fec9510ca7caf8d69170875fa170f226c5b8a	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: Replace spec with the same without comments	Except1FunWithAt	OneLineComment	False	Passed	Model Under Test Equivalent Model
05134cbb72d18d184f14ec211429f33373016ae7	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Except1Rec	OneLineComment	True	Passed	Model Under Test Equivalent Model
f913b854e5ae8e0df4e2ecf4db7fe5e328aafca5	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Except1Rec	OneLineComment	False	Passed	Model Under Test Equivalent Model
2d2f45e342c2a40659c1963c305c39580e44ce8e	TLC with reduction strategy: Case Feature: @ is reduced to F.arg Plug Feature: Replace spec with the same without comments	Except1RecWithAt	OneLineComment	True	Passed	Model Under Test Equivalent Model
4efa87021eb91c05c3f8f35758d82bc0aea8f88f	TLC with reduction strategy: Case Feature: @ is reduced to F.arg Plug Feature: Replace spec with the same without comments	Except1RecWithAt	OneLineComment	False	Passed	Model Under Test Equivalent Model
1ffb78d3b4e2cb96c3b4e8ffaf9080bc141a1d3c	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Except2Fun	OneLineComment	True	Passed	Model Under Test Equivalent Model
536b633cc942f54746dce367b025635e53d65be9	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Except2Fun	OneLineComment	False	Passed	Model Under Test Equivalent Model
23d5984312cb74cf61c6d0a6e6d9f435991097e3	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Except2FunTuple	OneLineComment	True	Passed	Model Under Test Equivalent Model
a920ca5f3cbf160d8b8354cb6e3c8e920e29b533	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Except2FunTuple	OneLineComment	False	Passed	Model Under Test Equivalent Model
0aa1de6fc665abc40ad01024e9e760cb7a037d84	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Prime	OneLineComment	True	Passed	Model Under Test Equivalent Model
f9d084fa55da4d4c2452ebf2674e80060b9791d6	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Prime	OneLineComment	False	Passed	Model Under Test Equivalent Model
37d290f171920c7293c636d0e19e1dca1b76d430	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumUnaryMinus	OneLineComment	True	Passed	Model Under Test Equivalent Model
2af713f664754c07bcaa9e21f2642d96b94a435a	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumUnaryMinus	OneLineComment	False	Passed	Model Under Test Equivalent Model
db952ca7ac79603a81352fde05fce79ae66a2ef9	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumPlus	OneLineComment	True	Passed	Model Under Test Equivalent Model
1dfd7d3b7afed7205e4f40afe00950ee7900fad4	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumPlus	OneLineComment	False	Passed	Model Under Test Equivalent Model
1e7b1776740577b7b27d45f7181279c97b876f4d	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumMinus	OneLineComment	True	Passed	Model Under Test Equivalent Model
34a2b273887a07b47c4d1f3b7ee0ed5e50b82896	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumMinus	OneLineComment	False	Passed	Model Under Test Equivalent Model
5ca5760b1ea3df3d4470badc510da8e6f96086e4	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumMul	OneLineComment	True	Passed	Model Under Test Equivalent Model
b9e94802c4a9c4dd6d44274db24c306ee530926f	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumMul	OneLineComment	False	Passed	Model Under Test Equivalent Model
41e760008890a8c1d097c0b8d3be8ed0b899c62e	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumDiv	OneLineComment	True	Passed	Model Under Test Equivalent Model
63da80130fb92a7aad392aab8fdd016c0fef837e	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumDiv	OneLineComment	False	Passed	Model Under Test Equivalent Model
fdff057f98886f9b29c9737397715f23ccedbbfe	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumMod	OneLineComment	True	Passed	Model Under Test Equivalent Model
e70c7a7f44f5326dbe5e7adb4b1673f1057117ff	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumMod	OneLineComment	False	Passed	Model Under Test Equivalent Model
782ee242fb43f28ad9d56c313949649532c5d04f	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumPow	OneLineComment	True	Passed	Model Under Test Equivalent Model
62263cbf826831ca8235096db95aa9c1a7f83db1	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumPow	OneLineComment	False	Passed	Model Under Test Equivalent Model
9ff442485234a0f56fe1e1b3ca618d007652963d	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumGt	OneLineComment	True	Passed	Model Under Test Equivalent Model
cd454dfe2b09711b103234cabcb9b81170d4acc0	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumGt	OneLineComment	False	Passed	Model Under Test Equivalent Model
4236e00eb399394ea5a0c91d39ff9b2329235733	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumGe	OneLineComment	True	Passed	Model Under Test Equivalent Model
59fb6d6fe56454a56faf96b9cf8338bbb2b1e5e3	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumGe	OneLineComment	False	Passed	Model Under Test Equivalent Model
cb3457f43315635bb17f9627ba46c600218cc6c5	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumLt	OneLineComment	True	Passed	Model Under Test Equivalent Model
8e9ecd5e69cb47b84dd6a666d6e41be9d2240421	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumLt	OneLineComment	False	Passed	Model Under Test Equivalent Model
b7e4cdcd10c1f912c03236059542481edbf75707	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumLe	OneLineComment	True	Passed	Model Under Test Equivalent Model
10fabae4f7f704fe07985c3829352436fa038ebe	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumLe	OneLineComment	False	Passed	Model Under Test Equivalent Model
6a5196554d5510c73a2621b89e2c93b45dd1a391	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	DefFun	OneLineComment	True	Passed	Model Under Test Equivalent Model
0d3b12f186ca9e0405cc8760ec08234bcd9c8aa1	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	DefFun	OneLineComment	False	Passed	Model Under Test Equivalent Model
a7bc60f9b447d597bdd3f70635ee8545f2ba4a4d	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: Replace spec with the same without comments	LetDefFun	OneLineComment	True	Passed	Model Under Test Equivalent Model
e1a1e2f14f7ce29198ec94be501fe00b9481b18e	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: Replace spec with the same without comments	LetDefFun	OneLineComment	False	Passed	Model Under Test Equivalent Model
2b2536bb5400627376ab53442a7f93b215355727	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	DefFunRecursive	OneLineComment	True	Passed	Model Under Test Equivalent Model
729ae1c3fa35f28d63155bd93d114316104826e5	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	DefFunRecursive	OneLineComment	False	Passed	Model Under Test Equivalent Model
49f9f3a035a7ffec05ab3834d29f97c9d40308bc	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: Replace spec with the same without comments	LetDefFunRecursive	OneLineComment	True	Passed	Model Under Test Equivalent Model
b639820b93913ce45b806fde9befb1306884194d	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: Replace spec with the same without comments	LetDefFunRecursive	OneLineComment	False	Passed	Model Under Test Equivalent Model
10a333c7ff76819385f7de6e7079182c765434cb	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Def0	OneLineComment	True	Passed	Model Under Test Equivalent Model
0b8be833ddb7f7afd3718228af03f0c9967fa8e3	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Def0	OneLineComment	False	Passed	Model Under Test Equivalent Model
9124a040053b6d82af1df658cbdcd1c665aa5cce	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: Replace spec with the same without comments	LetDef0	OneLineComment	True	Passed	Model Under Test Equivalent Model
87ef7fada4ec0ec3c47cf784a364e1e1d500534a	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: Replace spec with the same without comments	LetDef0	OneLineComment	False	Passed	Model Under Test Equivalent Model
dd80968ec746decb8e6ebe405beca3cf91cd0e97	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Def1	OneLineComment	True	Passed	Model Under Test Equivalent Model
507bc6f6de200b2642df9dc5683bada1eba8c130	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Def1	OneLineComment	False	Passed	Model Under Test Equivalent Model
dc8138142d31b05a2b0ec0ef30c0951c945175b8	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: Replace spec with the same without comments	LetDef1	OneLineComment	True	Passed	Model Under Test Equivalent Model
fc5c707e978a0a5c4ca2cbea116c6c7168b1bcac	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: Replace spec with the same without comments	LetDef1	OneLineComment	False	Passed	Model Under Test Equivalent Model
0a43cfa60a614d03971b70dee55b814415e7792a	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Def2	OneLineComment	True	Passed	Model Under Test Equivalent Model
be75c4709a8dc716c50cf14e34b789e9e1415552	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Def2	OneLineComment	False	Passed	Model Under Test Equivalent Model
afc39f3cf63909917892d5051418da74a223f603	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: Replace spec with the same without comments	LetDef2	OneLineComment	True	Passed	Model Under Test Equivalent Model
2bac84092cd96d7d0f487a83e42c0cf74458e1a6	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: Replace spec with the same without comments	LetDef2	OneLineComment	False	Passed	Model Under Test Equivalent Model
ea48db06937a6882ec517073fd3f1414491960f1	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Def1Recursive	OneLineComment	True	Passed	Model Under Test Equivalent Model
dbbdece6aa172cc6b86410d7174151de47c08192	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Def1Recursive	OneLineComment	False	Passed	Model Under Test Equivalent Model
0b828af929a25386f622160062344c3009012aac	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: Replace spec with the same without comments	LetDef1Recursive	OneLineComment	True	Passed	Model Under Test Equivalent Model
bd6b73e8b6f81e3f65e6eccf85535bcbd51c5cb9	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: Replace spec with the same without comments	LetDef1Recursive	OneLineComment	False	Passed	Model Under Test Equivalent Model
faa402e407ab2fec4af7c107a220abfdad5e40f7	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Extends	OneLineComment	True	Passed	Model Under Test Equivalent Model
b0c41c51410c5e5a6373fe903ed75f24c2213e06	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Extends	OneLineComment	False	Passed	Model Under Test Equivalent Model
519629b015308cc5166b2086b9773eebd9b919e3	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	ExtendsInDifferentFolder	OneLineComment	True	Passed	Model Under Test Equivalent Model
8c2f9034828a3b257c19338e3c16bb03bc1930f7	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	ExtendsInDifferentFolder	OneLineComment	False	Passed	Model Under Test Equivalent Model
f2d20be079db6505dc08d78f49845a6830a28b03	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Variable	OneLineComment	True	Passed	Model Under Test Equivalent Model
ba11baea47b98ab1d93712760e0b3eea81ba161c	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Variable	OneLineComment	False	Passed	Model Under Test Equivalent Model
6dfbe0f737de34bb40d97d4259811dabab63d638	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: Replace spec with the same without comments	VariableViewExclude	OneLineComment	True	Passed	Model Under Test Equivalent Model
02af465ebe1c2dfed9ce1f83f1c38571db4be59c	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: Replace spec with the same without comments	VariableViewExclude	OneLineComment	False	Passed	Model Under Test Equivalent Model
af9950a4b1947f2ff2f3db488b1e8e328703b1b6	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Constant	OneLineComment	True	Passed	Model Under Test Equivalent Model
3c36ea45574aeeae2161e19c98dc9865c2952892	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Constant	OneLineComment	False	Passed	Model Under Test Equivalent Model
e98eed489c6e4d88c0fb400a73deb5cf7d4bfd26	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	ConstantRank1	OneLineComment	True	Passed	Model Under Test Equivalent Model
30fd8ae33ec3ad1897042aae241fc5ff27efb6db	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	ConstantRank1	OneLineComment	False	Passed	Model Under Test Equivalent Model
530b41c043c951c79b570512097a812b9fc2c875	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Instance	OneLineComment	True	Passed	Model Under Test Equivalent Model
c4565c3263b67f2c0af00b6a5895ac0eccc32663	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Instance	OneLineComment	False	Passed	Model Under Test Equivalent Model
b7d63fc15933d511a231b6f5668c12999d9b5c48	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceWith	OneLineComment	True	Passed	Model Under Test Equivalent Model
51ec975e7ba23ee0437d322220d2b013a12206d0	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceWith	OneLineComment	False	Passed	Model Under Test Equivalent Model
4f579b2f03fa27d49084af95333064db71bde68c	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamed	OneLineComment	True	Passed	Model Under Test Equivalent Model
dd5fb7325104621c5247a1bd2bc77d30c2fdbe04	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamed	OneLineComment	False	Passed	Model Under Test Equivalent Model
2175e213c637d973b4c95ee8abf5cff5ee67e9b6	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamedWith	OneLineComment	True	Passed	Model Under Test Equivalent Model
ef707e2689b5de0039bfdce022c60214a18c2ed6	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamedWith	OneLineComment	False	Passed	Model Under Test Equivalent Model
922ec52d6ea0325269c419ede9dde568ce6c5e56	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceInFolder	OneLineComment	True	Passed	Model Under Test Equivalent Model
bf2a33e7975ee9b03dc0ef61dfef19f03139743d	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceInFolder	OneLineComment	False	Passed	Model Under Test Equivalent Model
9444f76333fa58aff0c93acb0cbf9733a74d5c02	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceWithInFolder	OneLineComment	True	Passed	Model Under Test Equivalent Model
08e4810042c598033b23459fabf12968a7ac9339	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceWithInFolder	OneLineComment	False	Passed	Model Under Test Equivalent Model
479bdf1e7b85eb5b8466c7ce7b04369c4866b27f	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamedInFolder	OneLineComment	True	Passed	Model Under Test Equivalent Model
38c267c53f078a4b99dbb6cda7e829ff6e357de0	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamedInFolder	OneLineComment	False	Passed	Model Under Test Equivalent Model
37c60fedb6251c307ca19c0f978e899f1819ec44	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamedWithInFolder	OneLineComment	True	Passed	Model Under Test Equivalent Model
66c11570899f15bdd9da6deee8877ca944a84340	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamedWithInFolder	OneLineComment	False	Passed	Model Under Test Equivalent Model
22f58a0b5dcdf96c4fbc3a0af270f70f2009d92d	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Enabled	OneLineComment	True	Passed	Model Under Test Equivalent Model
5662fcd924cc95d827aeefb3bd7d9bf45085bc1a	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Enabled	OneLineComment	False	Passed	Model Under Test Equivalent Model
7d16716b10edb275a80f7f331cbe4aa02a004d6a	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Assume	OneLineComment	True	Passed	Model Under Test Equivalent Model
3cf9c4868721dd12e32ab6d6105bd5001c8e11ef	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Assume	OneLineComment	False	Passed	Model Under Test Equivalent Model
9fd7868f6d4908574d66a8efd0542d2bb42e7647	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	AssumeNamed	OneLineComment	True	Passed	Model Under Test Equivalent Model
00b83fd4eb72bb473255e5c41065e9a77e2d20f8	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	AssumeNamed	OneLineComment	False	Passed	Model Under Test Equivalent Model
063a3e15d2f5b71c40f6be2cb679d41efc5cc364	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Lambda	OneLineComment	True	Passed	Model Under Test Equivalent Model
b14cee145e0b9b3965c96f1abc6d3fa857814302	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Lambda	OneLineComment	False	Passed	Model Under Test Equivalent Model
ad3db75a71571f86214250b11e81c991ccea5761	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Cross2	OneLineComment	True	Passed	Model Under Test Equivalent Model
5924c84b68d7644e55e3e261cea96f59fed2307b	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Cross2	OneLineComment	False	Passed	Model Under Test Equivalent Model
3840e945f36f5e0ae5515efe79ceaed1ba12933b	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Cross3	OneLineComment	True	Passed	Model Under Test Equivalent Model
abd5803cdb28e8570f79cda5af675b5171eb3e2f	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Cross3	OneLineComment	False	Passed	Model Under Test Equivalent Model
60d9e459ec4681b8299e4fd48cc5742a2df0762d	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	SetDiff	OneLineComment	True	Passed	Model Under Test Equivalent Model
f3cfd137c4b4a8143c56097436196b023a56565e	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	SetDiff	OneLineComment	False	Passed	Model Under Test Equivalent Model
b11e34ce74ce9c105697a60df2d8f053e2de3a31	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	SetUnion	OneLineComment	True	Passed	Model Under Test Equivalent Model
32672135af031c1c465ffff6131b5057daf4bd23	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	SetUnion	OneLineComment	False	Passed	Model Under Test Equivalent Model
1ac3f2e0c56116c87091197a1793281217f00a3d	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	SetIntersect	OneLineComment	True	Passed	Model Under Test Equivalent Model
40075784b4df238c4ed0911d23c7d4c74cd68bbc	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	SetIntersect	OneLineComment	False	Passed	Model Under Test Equivalent Model
433d19bdf2d3e5440582972c3c1d2d1f447163d1	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	SubsetEq	OneLineComment	True	Passed	Model Under Test Equivalent Model
c4fb79019144f536729e47f2387c6b0f25000aad	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	SubsetEq	OneLineComment	False	Passed	Model Under Test Equivalent Model
d9ac573f5d9a44bca39dbf671238634a9275c6a7	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	IfCond	OneLineComment	True	Passed	Model Under Test Equivalent Model
421fa69db80e35df9cb75465fd19a7248e9b5b6a	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	IfCond	OneLineComment	False	Passed	Model Under Test Equivalent Model
87ca53aebbb46ff1d3ab2eed9957b653265cf2fb	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	IfThen	OneLineComment	True	Passed	Model Under Test Equivalent Model
4663a3a9fac24f166ac8f048ed522f7123592d18	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	IfThen	OneLineComment	False	Passed	Model Under Test Equivalent Model
9bd254bd2f8d58aa088440e8584273d028156c97	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	IfElse	OneLineComment	True	Passed	Model Under Test Equivalent Model
317158a570b33a7323432765731f790582504f82	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	IfElse	OneLineComment	False	Passed	Model Under Test Equivalent Model
de88e09ffc201677667e6aa3d7b1be220668c67f	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Subset	OneLineComment	True	Passed	Model Under Test Equivalent Model
c08034a46c0e2c01cdbe64164dc8aad9c8ca5419	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Subset	OneLineComment	False	Passed	Model Under Test Equivalent Model
aa5924b2eaecad3a8c92173f9614ac9141901277	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Domain	OneLineComment	True	Passed	Model Under Test Equivalent Model
6520d88f3c3920aff11f5c2b4433439b2b1d63a3	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Domain	OneLineComment	False	Passed	Model Under Test Equivalent Model
d65ba7ff36d3f795bf2d426ac66081a96a6b8a1a	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Union	OneLineComment	True	Passed	Model Under Test Equivalent Model
fa00e14cadb3d85e35e5689473bf3e6c7406a2ac	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Union	OneLineComment	False	Passed	Model Under Test Equivalent Model
27ea8cc797a27b9576fff3251ea0047c47aede30	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Unchanged	OneLineComment	True	Passed	Model Under Test Equivalent Model
37517ea222a7547d9498ad9724a80b7985193ec8	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Unchanged	OneLineComment	False	Passed	Model Under Test Equivalent Model
60d13611912e70b64277d4cbd801c70569979f58	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Equivalence	OneLineComment	True	Passed	Model Under Test Equivalent Model
97dcbfaf9d643ba859b4e6190846c3aac5c52f50	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Equivalence	OneLineComment	False	Passed	Model Under Test Equivalent Model
1c435db27754adabc48962f3f91fb26e79c7a766	TLC with reduction strategy: Case 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 Plug Feature: Replace spec with the same without comments	NumRange	OneLineComment	True	Passed	Model Under Test Equivalent Model
805d6f82b99180273d831b1b0c52dc1608b195e0	TLC with reduction strategy: Case 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 Plug Feature: Replace spec with the same without comments	NumRange	OneLineComment	False	Passed	Model Under Test Equivalent Model
28834479bb0baf06dced074027b2c3d8e90ba8de	TLC with reduction strategy: Case Feature: x :> y is replaced with equivalent [u \in {x} \|-> y] Plug Feature: Replace spec with the same without comments	TlcSingletonFun	OneLineComment	True	Passed	Model Under Test Equivalent Model
6717d3cb6feeac7f82a8191d9026bcfdafc2d3bb	TLC with reduction strategy: Case Feature: x :> y is replaced with equivalent [u \in {x} \|-> y] Plug Feature: Replace spec with the same without comments	TlcSingletonFun	OneLineComment	False	Passed	Model Under Test Equivalent Model
7c64d47c6cb86fd071b3863f1f000aa207f71588	TLC with reduction strategy: Case Feature: f @@ g is replaced with equivalent: LET DomF == DOMAIN f IN [u \in DomF \union DOMAIN g \|-> IF u \in DomF THEN f[u] ELSE g[x]] Plug Feature: Replace spec with the same without comments	TlcExtendFun	OneLineComment	True	Passed	Model Under Test Equivalent Model
94257164656011560b5e6a1ff8073a3527678637	TLC with reduction strategy: Case Feature: f @@ g is replaced with equivalent: LET DomF == DOMAIN f IN [u \in DomF \union DOMAIN g \|-> IF u \in DomF THEN f[u] ELSE g[x]] Plug Feature: Replace spec with the same without comments	TlcExtendFun	OneLineComment	False	Passed	Model Under Test Equivalent Model
9123579e43dcc6c6a708feb69e4b75b7359bcd7c	TLC with reduction strategy: Case Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S } Plug Feature: Replace spec with the same without comments	TlcPermuteFun	OneLineComment	True	Passed	Model Under Test Equivalent Model
054d68a7107021a536f14ffe472ab0bbd2237869	TLC with reduction strategy: Case Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S } Plug Feature: Replace spec with the same without comments	TlcPermuteFun	OneLineComment	False	Passed	Model Under Test Equivalent Model
64ee1400c9aaa8f1d7aa74bbe683f90d80663daa	TLC with reduction strategy: Case Feature: SortSeq(S) is reduced to equivalent sort implementation Plug Feature: Replace spec with the same without comments	TlcSortSeq	OneLineComment	True	Passed	Model Under Test Equivalent Model
48cf293080de14fe093cea5d1336f6052a249478	TLC with reduction strategy: Case Feature: SortSeq(S) is reduced to equivalent sort implementation Plug Feature: Replace spec with the same without comments	TlcSortSeq	OneLineComment	False	Passed	Model Under Test Equivalent Model
b4b0ff4dcea4477660fdd96ffb94bb615e6fb577	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr Plug Feature: Replace spec with the same without comments	TlcEval	OneLineComment	True	Passed	Model Under Test Equivalent Model
6800c81c75c860212c0f427e922664ea0b420cfe	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr Plug Feature: Replace spec with the same without comments	TlcEval	OneLineComment	False	Passed	Model Under Test Equivalent Model
8836ec0008623d5b26175b32e703a3ad1312afbc	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagToSet	OneLineComment	True	Passed	Model Under Test Equivalent Model
2041bccaa80b3ca058caa530513ba59a1d62e5e1	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagToSet	OneLineComment	False	Passed	Model Under Test Equivalent Model
21480ec6c9eee579998f10cc0f0bf30b2dc3e339	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagSetToBag	OneLineComment	True	Passed	Model Under Test Equivalent Model
193609da9e9ad801ac2e697bc1e7b749e44a65c4	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagSetToBag	OneLineComment	False	Passed	Model Under Test Equivalent Model
036b3f08a78e2c6dfd24828681d35ba4390fcdc7	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagAddBag	OneLineComment	True	Passed	Model Under Test Equivalent Model
9c180f064825a64f5a1675871949bffa5d874127	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagAddBag	OneLineComment	False	Passed	Model Under Test Equivalent Model
65551d195b81fa994eb8a1ae36db5469fdd8e2f7	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagSub	OneLineComment	True	Passed	Model Under Test Equivalent Model
43f01762fa8d51f510f72b0f71ddc4ff0fe62f7f	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagSub	OneLineComment	False	Passed	Model Under Test Equivalent Model
7c2a32cf094b17999dfe6aa702ca0cef1ef191b1	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagSubsetEqBag	OneLineComment	True	Passed	Model Under Test Equivalent Model
1fad99f935ccaa29a210f2dc9d80971d03478e5c	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagSubsetEqBag	OneLineComment	False	Passed	Model Under Test Equivalent Model
62df049d9c26066930a83f0a61cbb3487b962cac	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagUnion	OneLineComment	True	Passed	Model Under Test Equivalent Model
43cdd887490a4acbf7a7334646096a5d174f4720	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagUnion	OneLineComment	False	Passed	Model Under Test Equivalent Model
cf467cc53ec17108a5adb1f2666c09887a64f16c	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagCardinality	OneLineComment	True	Passed	Model Under Test Equivalent Model
ec79b4ca5702e426967501a527809da5014a8346	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagCardinality	OneLineComment	False	Passed	Model Under Test Equivalent Model
fa5bb10c75502ed938ba726308ed6b21982f0261	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagOfAll	OneLineComment	True	Passed	Model Under Test Equivalent Model
07c216ae1e6f076ab01e299814cc75ea5c3aa3c7	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagOfAll	OneLineComment	False	Passed	Model Under Test Equivalent Model
d339c58547ed40b7bf2c973553138ccd2dde2b0f	TLC with reduction strategy: Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation Plug Feature: Replace spec with the same without comments	BagSubBag	OneLineComment	True	Passed	Model Under Test Equivalent Model
f0859ee9860ea610af70d0e554d8a4dc9bd79460	TLC with reduction strategy: Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation Plug Feature: Replace spec with the same without comments	BagSubBag	OneLineComment	False	Passed	Model Under Test Equivalent Model
df69300fa5267f051d07c7331a11b2cfb04be50c	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	FiniteSetsCardinality	OneLineComment	True	Passed	Model Under Test Equivalent Model
2422c558661b1ec6c8bde063b403eb255f0a2531	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	FiniteSetsCardinality	OneLineComment	False	Passed	Model Under Test Equivalent Model
680e368f8d05e2441567195cb4565858c1e9721e	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	SeqHead	OneLineComment	True	Passed	Model Under Test Equivalent Model
dc3cf96bcf4fc5809df5357c2191f794585aa8b9	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	SeqHead	OneLineComment	False	Passed	Model Under Test Equivalent Model
232876f3e2152f7d02679b9e00bca651ec1dbcfd	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	SeqTail	OneLineComment	True	Passed	Model Under Test Equivalent Model
6cb32fe15933796824a8bcbc7c5060bc5b0b2ba5	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	SeqTail	OneLineComment	False	Passed	Model Under Test Equivalent Model

Index

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