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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
6caaaecc57ad921d70b6bffa63fcee007d8b9c9a	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	And	MultiLineComment	True	Passed	Model Under Test Equivalent Model
5835eae97994ab84cef7b27719f2db940b0f1b85	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	And	MultiLineComment	False	Passed	Model Under Test Equivalent Model
ac09633f488bdc6a5de7b4f29dd5c1178a1a6732	TLC with reduction strategy: Case Feature: /\ A /\ B == (A /\ B) Plug Feature: Replace spec with the same without comments	AndMultiLine	MultiLineComment	True	Passed	Model Under Test Equivalent Model
d6dc30ab27466c025de4222f16186a4174662e66	TLC with reduction strategy: Case Feature: /\ A /\ B == (A /\ B) Plug Feature: Replace spec with the same without comments	AndMultiLine	MultiLineComment	False	Passed	Model Under Test Equivalent Model
e7944dd0dba4f1607dc924769d23ff2e44abd8cd	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Imply	MultiLineComment	True	Passed	Model Under Test Equivalent Model
ecea57ae3580106393b7cc61be8cceedbdeeda29	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Imply	MultiLineComment	False	Passed	Model Under Test Equivalent Model
8dd98dd01d7142f5b864059e69951101e7585655	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Not	MultiLineComment	True	Passed	Model Under Test Equivalent Model
e131dbf1a317c39975270b98a3ff24dc75de0d72	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Not	MultiLineComment	False	Passed	Model Under Test Equivalent Model
acb013fe86ec0cfbe481a434fe37c4414114b5e3	TLC with reduction strategy: Case Feature: A \/ B == ~(~A /\ ~B) Plug Feature: Replace spec with the same without comments	Or	MultiLineComment	True	Passed	Model Under Test Equivalent Model
56a0e6b9ad27889105cf0328e6da0d880ebddf37	TLC with reduction strategy: Case Feature: A \/ B == ~(~A /\ ~B) Plug Feature: Replace spec with the same without comments	Or	MultiLineComment	False	Passed	Model Under Test Equivalent Model
8f3c961818b587a06d3853246f14b6a3b20d6287	TLC with reduction strategy: Case Feature: \/ A \/ B == (A \/ B) Plug Feature: Replace spec with the same without comments	OrMultiLine	MultiLineComment	True	Passed	Model Under Test Equivalent Model
d9adaf21b2da5c01d3c67f70a88a9698fde9a886	TLC with reduction strategy: Case Feature: \/ A \/ B == (A \/ B) Plug Feature: Replace spec with the same without comments	OrMultiLine	MultiLineComment	False	Passed	Model Under Test Equivalent Model
0c582ab9acdc4de231a29e690ff98aa5888ab7ba	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	AndProp	MultiLineComment	True	Passed	Model Under Test Equivalent Model
c95f8cdcd5e31a0f3fe816a905cc3c3a60bd6dd3	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	AndProp	MultiLineComment	False	Passed	Model Under Test Equivalent Model
303fd18bbdcd5e7edb6418e6ddb3278e426c706d	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Boxed	MultiLineComment	True	Passed	Model Under Test Equivalent Model
d877e69ea6d20e257a02e837820ed19072e56860	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Boxed	MultiLineComment	False	Passed	Model Under Test Equivalent Model
897ed18e31cf060285095a29cc31d80d777dc33c	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Eq	MultiLineComment	True	Passed	Model Under Test Equivalent Model
d1c7fb5470e2aa5f921ff60487335e9325fec334	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Eq	MultiLineComment	False	Passed	Model Under Test Equivalent Model
56cdcd0b42d3b7d1ac0612e545540d587dbaa008	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Ne	MultiLineComment	True	Passed	Model Under Test Equivalent Model
5aeed97adbf81a3eec7622c45723554ca8fefdfd	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Ne	MultiLineComment	False	Passed	Model Under Test Equivalent Model
ad802033f2fb567d0f9d75e5d071c21da95a4846	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Let	MultiLineComment	True	Passed	Model Under Test Equivalent Model
f0c8ac077dcdd067b41b03a12c9d7d487ed6f399	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Let	MultiLineComment	False	Passed	Model Under Test Equivalent Model
dc9f2b08167dd6a88736d9dc41925224156dee97	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Set0	MultiLineComment	True	Passed	Model Under Test Equivalent Model
5f7b3d086ead1edd71fafa250bb33ee3449e059c	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Set0	MultiLineComment	False	Passed	Model Under Test Equivalent Model
4734a65da5eb3deaab1e5792ea58e3a8f8929d0e	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Set1	MultiLineComment	True	Passed	Model Under Test Equivalent Model
4e2e5766701629e46c508744f545acc20dd3f203	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Set1	MultiLineComment	False	Passed	Model Under Test Equivalent Model
00f1a1d4dee6aef83b39e15bb06c30fa38257d3c	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Set2	MultiLineComment	True	Passed	Model Under Test Equivalent Model
06c565f260ece63643682f8219633e4ec0199618	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Set2	MultiLineComment	False	Passed	Model Under Test Equivalent Model
74ae509b8eec49cccf1eacc0c832b574f9f1def1	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Fun	MultiLineComment	True	Passed	Model Under Test Equivalent Model
5c8290f5ca69deb376dc5b1afeaebce68749606a	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Fun	MultiLineComment	False	Passed	Model Under Test Equivalent Model
b2a6ecf0c9c2b86d52b6cc1d49f6c3d122360540	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Exists	MultiLineComment	True	Passed	Model Under Test Equivalent Model
65595d7d1d893a6aff5b40eba9f63a132884388d	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Exists	MultiLineComment	False	Passed	Model Under Test Equivalent Model
bf567b9e31f6514a0529b7376ead6786452be002	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Forall	MultiLineComment	True	Passed	Model Under Test Equivalent Model
45372613643db916a879b0383e73ddb5b1bc7dfc	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Forall	MultiLineComment	False	Passed	Model Under Test Equivalent Model
e512987e1cf8993c1c2681772185d191cd39a65e	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Choose	MultiLineComment	True	Passed	Model Under Test Equivalent Model
4cff0f449a9777cc9293a49317c93083cee394df	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Choose	MultiLineComment	False	Passed	Model Under Test Equivalent Model
612bec9ac3ce4c8f0084d30523c305079bd7ba73	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Record	MultiLineComment	True	Passed	Model Under Test Equivalent Model
715e3ba2f365c2e58d78e21e99dbecb6a9c4c4e0	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Record	MultiLineComment	False	Passed	Model Under Test Equivalent Model
812e862db26f00ce4214173e5e58c7514f32f6d3	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Tuple	MultiLineComment	True	Passed	Model Under Test Equivalent Model
219c33c1b83b8608747ca96a3b31da1dbb05374d	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Tuple	MultiLineComment	False	Passed	Model Under Test Equivalent Model
47f869c646cee7843e41df8041610aaa3486d829	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Except1Fun	MultiLineComment	True	Passed	Model Under Test Equivalent Model
e61088a9bc1ba0cb6519cca017b9beebca6d4505	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Except1Fun	MultiLineComment	False	Passed	Model Under Test Equivalent Model
2a76fd1b32ed2e7c78a5588ce3d77656451b354e	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: Replace spec with the same without comments	Except1FunWithAt	MultiLineComment	True	Passed	Model Under Test Equivalent Model
49f53d3c3cf3a5ec87d50780b35b7b02f932562c	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: Replace spec with the same without comments	Except1FunWithAt	MultiLineComment	False	Passed	Model Under Test Equivalent Model
1a0c76d4f78a11a081045e4894dad9c7138bdc72	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Except1Rec	MultiLineComment	True	Passed	Model Under Test Equivalent Model
94b0d277b68b1b3973b8183ee9541c8286bcaf02	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Except1Rec	MultiLineComment	False	Passed	Model Under Test Equivalent Model
540ce4a243c6976a4ba37d83d3aed305b639bfac	TLC with reduction strategy: Case Feature: @ is reduced to F.arg Plug Feature: Replace spec with the same without comments	Except1RecWithAt	MultiLineComment	True	Passed	Model Under Test Equivalent Model
6641d86efe8d1a322953bc7060b4fa8b504cdc84	TLC with reduction strategy: Case Feature: @ is reduced to F.arg Plug Feature: Replace spec with the same without comments	Except1RecWithAt	MultiLineComment	False	Passed	Model Under Test Equivalent Model
bda974e53a5ffc152870ef5683b65b9b07f15cf8	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Except2Fun	MultiLineComment	True	Passed	Model Under Test Equivalent Model
2930943ee7605e477a06de32c0669d7c4332eb7c	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Except2Fun	MultiLineComment	False	Passed	Model Under Test Equivalent Model
4cb8c7f7b15df1743ab344985815210ca83c26ba	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Except2FunTuple	MultiLineComment	True	Passed	Model Under Test Equivalent Model
b2528b38a4dd596493d1584553400cedf4934cc6	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Except2FunTuple	MultiLineComment	False	Passed	Model Under Test Equivalent Model
7de9a2ca0c894782e58814aab11ac475cf694ff5	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Prime	MultiLineComment	True	Passed	Model Under Test Equivalent Model
3c150e03a9b24daedb6009adb772c23ecdc21653	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Prime	MultiLineComment	False	Passed	Model Under Test Equivalent Model
21750143d99e6addf50ef0789ffe6a4a6bb94f41	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumUnaryMinus	MultiLineComment	True	Passed	Model Under Test Equivalent Model
6fa3c94b60839161d765668cd779d3ff14f7d0b0	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumUnaryMinus	MultiLineComment	False	Passed	Model Under Test Equivalent Model
94ddd6d33864094661c841e8e7add5b76c73e54a	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumPlus	MultiLineComment	True	Passed	Model Under Test Equivalent Model
707c223c6cde05e68c0444ba23267583ee219c1d	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumPlus	MultiLineComment	False	Passed	Model Under Test Equivalent Model
2ab5bc22f1704a42e9b1f997cd72c1cdca816b09	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumMinus	MultiLineComment	True	Passed	Model Under Test Equivalent Model
927b18e0c79d17f9268ee0887306e25ad26a2fc1	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumMinus	MultiLineComment	False	Passed	Model Under Test Equivalent Model
f05ebe8c80484dd4fc44595c0a01ef35ee3e6f8a	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumMul	MultiLineComment	True	Passed	Model Under Test Equivalent Model
57541553ffae0049bfdadef7672f75dd77122255	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumMul	MultiLineComment	False	Passed	Model Under Test Equivalent Model
6c173b2544c42ceed56725d7f56827c27ad43ec3	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumDiv	MultiLineComment	True	Passed	Model Under Test Equivalent Model
5ad22d1d92be0aa10ff8d06f51fb0ebaeabd2aae	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumDiv	MultiLineComment	False	Passed	Model Under Test Equivalent Model
18f257c63081ffacd9c810b017297034c9801748	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumMod	MultiLineComment	True	Passed	Model Under Test Equivalent Model
40901899622faf284fe1196701f68dd60e8f0620	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumMod	MultiLineComment	False	Passed	Model Under Test Equivalent Model
740366d9c92bea3b3f3ef72f635d5651106802e2	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumPow	MultiLineComment	True	Passed	Model Under Test Equivalent Model
c39c4cf1539439b9dc4dfa1b395ac0766e014676	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumPow	MultiLineComment	False	Passed	Model Under Test Equivalent Model
d34646bd633ab091ba214638f15ae03e441dd041	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumGt	MultiLineComment	True	Passed	Model Under Test Equivalent Model
866a2bbdfdab838b1001812997bc0ef4dd5931b0	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumGt	MultiLineComment	False	Passed	Model Under Test Equivalent Model
5a83113b06cf76815bcd4e100818faf0ab87bcc4	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumGe	MultiLineComment	True	Passed	Model Under Test Equivalent Model
69f2316658007d227dd743acc306c551ea097bb8	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumGe	MultiLineComment	False	Passed	Model Under Test Equivalent Model
d86a25004f6666081ebec7fb51c4d78b9929176c	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumLt	MultiLineComment	True	Passed	Model Under Test Equivalent Model
81d6321d0a00f6fd53a604db68aac132a74a6a48	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumLt	MultiLineComment	False	Passed	Model Under Test Equivalent Model
7d4dc8061b1e77612bb97280b5fdb783991a01e9	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumLe	MultiLineComment	True	Passed	Model Under Test Equivalent Model
40dd5d909076c0a73bcd960f455e35b7f07c63b0	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumLe	MultiLineComment	False	Passed	Model Under Test Equivalent Model
2e508ce5b224837e3ac51d50f0a8e73651c9683d	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	DefFun	MultiLineComment	True	Passed	Model Under Test Equivalent Model
197ebd31820e6c3b9e6329fc889faa435cf6fd3e	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	DefFun	MultiLineComment	False	Passed	Model Under Test Equivalent Model
2ebf8af55ce40a27b71b222f57caa37803b04c8f	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: Replace spec with the same without comments	LetDefFun	MultiLineComment	True	Passed	Model Under Test Equivalent Model
22a746f1f3e865ab9236e7a52377b809e4765f53	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: Replace spec with the same without comments	LetDefFun	MultiLineComment	False	Passed	Model Under Test Equivalent Model
5400d1be0c710744cab4e26e251f7aad63579a0d	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	DefFunRecursive	MultiLineComment	True	Passed	Model Under Test Equivalent Model
fee51566dcbadd511915e80ce881619af12e029a	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	DefFunRecursive	MultiLineComment	False	Passed	Model Under Test Equivalent Model
af0b3e223ce0bc2dafe9562d84d1e31a536d0f82	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: Replace spec with the same without comments	LetDefFunRecursive	MultiLineComment	True	Passed	Model Under Test Equivalent Model
05c65e46898c090ffe7fed4ab8c972ecb3ad61e5	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: Replace spec with the same without comments	LetDefFunRecursive	MultiLineComment	False	Passed	Model Under Test Equivalent Model
baff5d76c22c76ffbb6f53422ae64604d0473073	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Def0	MultiLineComment	True	Passed	Model Under Test Equivalent Model
9c04a2c5a7b978a4ced3ad50391054f941b5c82b	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Def0	MultiLineComment	False	Passed	Model Under Test Equivalent Model
6f62643d015fecbd5900eaa0a52ba291e6006afd	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: Replace spec with the same without comments	LetDef0	MultiLineComment	True	Passed	Model Under Test Equivalent Model
57b3723e9cfb61f428d4aecb3cf9f46b556fe08d	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: Replace spec with the same without comments	LetDef0	MultiLineComment	False	Passed	Model Under Test Equivalent Model
6170127e9e27daa576a6867730b20925f636a5b6	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Def1	MultiLineComment	True	Passed	Model Under Test Equivalent Model
e5bd5b29bc2f597bda67256acd6e62241ec9251c	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Def1	MultiLineComment	False	Passed	Model Under Test Equivalent Model
5eb3ea62b7233fd9c668fb2e5c52e6aa58bdfed7	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: Replace spec with the same without comments	LetDef1	MultiLineComment	True	Passed	Model Under Test Equivalent Model
da89fa7b6026d9ad2959d2a09ef8d5acf3b3eed5	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: Replace spec with the same without comments	LetDef1	MultiLineComment	False	Passed	Model Under Test Equivalent Model
0d6b7d1e24ee37f500210bcf96456618015761df	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Def2	MultiLineComment	True	Passed	Model Under Test Equivalent Model
6ba27d064cb835631a36395ad5a205dbd6995f90	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Def2	MultiLineComment	False	Passed	Model Under Test Equivalent Model
373d0137bc5d761d8ae58f1061df5c3e1a5f63ff	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: Replace spec with the same without comments	LetDef2	MultiLineComment	True	Passed	Model Under Test Equivalent Model
9d8f2713c709a03ed9ef501ff1739f3250014638	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: Replace spec with the same without comments	LetDef2	MultiLineComment	False	Passed	Model Under Test Equivalent Model
ca57ae4d57ea059491ef11865856749661e06b25	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Def1Recursive	MultiLineComment	True	Passed	Model Under Test Equivalent Model
517aa9d96197f6dd04225f880d2837e573bc9af9	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Def1Recursive	MultiLineComment	False	Passed	Model Under Test Equivalent Model
2169d0767bb8dd6326db147b0da5d4c4a740ac98	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: Replace spec with the same without comments	LetDef1Recursive	MultiLineComment	True	Passed	Model Under Test Equivalent Model
6f196569a8f7e11318040de7613e7be52caf915e	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: Replace spec with the same without comments	LetDef1Recursive	MultiLineComment	False	Passed	Model Under Test Equivalent Model
f9adad3b073c132c2bd9d1e66b00090c040c8066	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Extends	MultiLineComment	True	Passed	Model Under Test Equivalent Model
4bfac3cbc79cb2cf95a3e2344a0e0578fb923e1c	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Extends	MultiLineComment	False	Passed	Model Under Test Equivalent Model
43cedbc9f0c5715b3f20fca2b447273f72b46810	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	ExtendsInDifferentFolder	MultiLineComment	True	Passed	Model Under Test Equivalent Model
a8e52f26fb9862c212a8c7e84604439f67496972	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	ExtendsInDifferentFolder	MultiLineComment	False	Passed	Model Under Test Equivalent Model
899d5744fa489e4d40f717dd1622b199316d1269	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Variable	MultiLineComment	True	Passed	Model Under Test Equivalent Model
8b52571534c05b4cad5b2cad831da7a928c0a639	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Variable	MultiLineComment	False	Passed	Model Under Test Equivalent Model
a630be725495337381bc8058cb9b7f134a461f9d	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	MultiLineComment	True	Passed	Model Under Test Equivalent Model
a044eb28348c6f71c9cc15098a875d161fb646a2	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	MultiLineComment	False	Passed	Model Under Test Equivalent Model
6fb6613fefe98c0dc7e8e5961b375bd162ff815b	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Constant	MultiLineComment	True	Passed	Model Under Test Equivalent Model
0dc78c89c27a89d17ce48210e2349e8ee50d8df1	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Constant	MultiLineComment	False	Passed	Model Under Test Equivalent Model
113cb6fbc1a25321a28eba095ba2225624489049	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	ConstantRank1	MultiLineComment	True	Passed	Model Under Test Equivalent Model
1a3a124a0406fe55997cb57938edbbf0dc714d83	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	ConstantRank1	MultiLineComment	False	Passed	Model Under Test Equivalent Model
a6e7b7ef3839acb6d778f8c6f38c05ebdf161bff	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Instance	MultiLineComment	True	Passed	Model Under Test Equivalent Model
16b09fcb3b578ea65d6e302c143a66f7c06296f2	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Instance	MultiLineComment	False	Passed	Model Under Test Equivalent Model
886466fe70a45f7dce03fc3a4e04e7d216379780	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceWith	MultiLineComment	True	Passed	Model Under Test Equivalent Model
69b6ef062e43e33b0c98a344c05ac44c6c32a9ed	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceWith	MultiLineComment	False	Passed	Model Under Test Equivalent Model
f8efdec9e5077796572e702b1c16af4b34cb2c84	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamed	MultiLineComment	True	Passed	Model Under Test Equivalent Model
f6f1fbd6c8092be4c99211c2764a31d65fb7ee8b	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamed	MultiLineComment	False	Passed	Model Under Test Equivalent Model
d1a51daff6ffb1b0036d9aa44391ffd286dbd170	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamedWith	MultiLineComment	True	Passed	Model Under Test Equivalent Model
eb53ebc8bfd864c3867fad1e605a5615f10d4a07	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamedWith	MultiLineComment	False	Passed	Model Under Test Equivalent Model
7159b837102fbca6795c4485403c7c3bbd304fb4	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceInFolder	MultiLineComment	True	Passed	Model Under Test Equivalent Model
867c1511636cda2bcbf23df5818c5f43bb498971	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceInFolder	MultiLineComment	False	Passed	Model Under Test Equivalent Model
b3c1f53a2bec466c4bf1c1853dc16cdbf27c5cbd	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceWithInFolder	MultiLineComment	True	Passed	Model Under Test Equivalent Model
8e0329e05ad395927b9880ea0108ad1a67a26687	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceWithInFolder	MultiLineComment	False	Passed	Model Under Test Equivalent Model
2179d58625733a9c411b093ee20837ad57e99eff	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamedInFolder	MultiLineComment	True	Passed	Model Under Test Equivalent Model
e1bfb7bf622353aea3208913cd8020cda0024a78	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamedInFolder	MultiLineComment	False	Passed	Model Under Test Equivalent Model
900cd892e3795f6ff56f350e14a6a03b1baa46a9	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamedWithInFolder	MultiLineComment	True	Passed	Model Under Test Equivalent Model
96596de6ec41ef89bce3494e52693abfce614cbe	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamedWithInFolder	MultiLineComment	False	Passed	Model Under Test Equivalent Model
f17c61a23dc66a3b7835d9090ea262e0e7fd8a19	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Enabled	MultiLineComment	True	Passed	Model Under Test Equivalent Model
a0fb4984288cd5bf763f8fe6f5b2e51b847f8200	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Enabled	MultiLineComment	False	Passed	Model Under Test Equivalent Model
fde011fac526463c5e0f777a2e8f226ac3581354	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Assume	MultiLineComment	True	Passed	Model Under Test Equivalent Model
43d8879bbf03686d75d13dc9df0b9196f7f2b468	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Assume	MultiLineComment	False	Passed	Model Under Test Equivalent Model
3835abeedb227ab105de229c61ebb7d79b4009ef	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	AssumeNamed	MultiLineComment	True	Passed	Model Under Test Equivalent Model
00cac589668f5726b974eca921dbd24c6594a4cc	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	AssumeNamed	MultiLineComment	False	Passed	Model Under Test Equivalent Model
0b2e0ce649567fc1f36c9b614f78c19a9ca89a4a	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Lambda	MultiLineComment	True	Passed	Model Under Test Equivalent Model
1aab90aba709b5f678ba2447f4c9834e2ba9f4fd	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Lambda	MultiLineComment	False	Passed	Model Under Test Equivalent Model
3dca2b5ff818ef3afa1ca41a2e6de879cf2f9c31	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Cross2	MultiLineComment	True	Passed	Model Under Test Equivalent Model
31e5323d9cdb246646ed6014b787199e0772fe96	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Cross2	MultiLineComment	False	Passed	Model Under Test Equivalent Model
1edda6f25364b9f9ad9d078fb0ce7b3b80d81853	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Cross3	MultiLineComment	True	Passed	Model Under Test Equivalent Model
333ba7d6c189ad4829c6d86b461766d7a06fa01c	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Cross3	MultiLineComment	False	Passed	Model Under Test Equivalent Model
cb6b50e3a0d3b19619f6cbfff4c4d47d7205fac4	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	SetDiff	MultiLineComment	True	Passed	Model Under Test Equivalent Model
dca270a24e13d19fe53f829443ccc1d1ba687f20	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	SetDiff	MultiLineComment	False	Passed	Model Under Test Equivalent Model
6b3aeddb153d094cff314f108b4f7f6c5df6443e	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	SetUnion	MultiLineComment	True	Passed	Model Under Test Equivalent Model
7113b65d46008377d2d784a4a22052e0afbad877	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	SetUnion	MultiLineComment	False	Passed	Model Under Test Equivalent Model
23a271fdb85a1e698b6d35abce1537caef0330b1	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	SetIntersect	MultiLineComment	True	Passed	Model Under Test Equivalent Model
4fdaf4b98422ebe3087bfe34a30c05a27adfdd88	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	SetIntersect	MultiLineComment	False	Passed	Model Under Test Equivalent Model
92ff4120933121d70c358fac1cbf03ad753534d0	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	SubsetEq	MultiLineComment	True	Passed	Model Under Test Equivalent Model
fddb0b5f4facda3f7a7cf8ff64cabd10c70b88f7	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	SubsetEq	MultiLineComment	False	Passed	Model Under Test Equivalent Model
fa043dc6a4039ad6009293eb9398485fd26bda9d	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	IfCond	MultiLineComment	True	Passed	Model Under Test Equivalent Model
a4276e8b05fb221ddfe5a91c3a60e3e92cfb35ec	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	IfCond	MultiLineComment	False	Passed	Model Under Test Equivalent Model
f1e308d620647c5a91cfa3b5badfbed8d5b18652	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	IfThen	MultiLineComment	True	Passed	Model Under Test Equivalent Model
5173e7626e5a0a732705116d8e9d939e420b73c8	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	IfThen	MultiLineComment	False	Passed	Model Under Test Equivalent Model
e007ce4fefe6416d65948fda46667c0f6d8f90f3	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	IfElse	MultiLineComment	True	Passed	Model Under Test Equivalent Model
78dadfdb93967df73c9933829fdda1c952e71eaa	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	IfElse	MultiLineComment	False	Passed	Model Under Test Equivalent Model
25a9d6264bea695274f85f9070bdf1304ae9a92f	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Subset	MultiLineComment	True	Passed	Model Under Test Equivalent Model
7a6e66d8c2f83b5e99305d19b98d707254b7aca8	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Subset	MultiLineComment	False	Passed	Model Under Test Equivalent Model
527c0414f2aa0697508e00d3792f2850c9dfc44b	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Domain	MultiLineComment	True	Passed	Model Under Test Equivalent Model
412b3703e681f7996a74fdd461e146bc85700626	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Domain	MultiLineComment	False	Passed	Model Under Test Equivalent Model
54c3d1ecabe5f3b5cdce1915ef3e5e7920209d7c	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Union	MultiLineComment	True	Passed	Model Under Test Equivalent Model
5fe9d67cc73d1c68f93eddd6ee75948ff81b8743	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Union	MultiLineComment	False	Passed	Model Under Test Equivalent Model
f35a4f52b7cd7e53d644a7d57b0efd61dc00ec4c	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Unchanged	MultiLineComment	True	Passed	Model Under Test Equivalent Model
2d988fac5c5b9167de80cbe4dbb9441b1d1af04d	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Unchanged	MultiLineComment	False	Passed	Model Under Test Equivalent Model
b58e579ec875297c52a5ddd71e616f66e1205684	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Equivalence	MultiLineComment	True	Passed	Model Under Test Equivalent Model
c98a3960cd6d85701250820ba5e1dd61ef529e6b	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Equivalence	MultiLineComment	False	Passed	Model Under Test Equivalent Model
b5d262863964278e1e09d4a00ac6b5c495e20992	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	MultiLineComment	True	Passed	Model Under Test Equivalent Model
32d39331af174fca266dc47fc7426bde7266bb90	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	MultiLineComment	False	Passed	Model Under Test Equivalent Model
3513a995735d53adc202bb031e0f3fb86213ad83	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	MultiLineComment	True	Passed	Model Under Test Equivalent Model
f69b769b99494823b3c776a1c6d59c7132dd275b	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	MultiLineComment	False	Passed	Model Under Test Equivalent Model
dd6da99fc0cddad71c7d8a9cd778dc472391ce62	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	MultiLineComment	True	Passed	Model Under Test Equivalent Model
01ef5249a738665c9a4a4ffc2d1a2eef2336558c	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	MultiLineComment	False	Passed	Model Under Test Equivalent Model
2ec9138347a4406cb08e8895129530f96099b1f1	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	MultiLineComment	True	Passed	Model Under Test Equivalent Model
e82257eccebf784d3710aabe5ad3a4a8a789a90e	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	MultiLineComment	False	Passed	Model Under Test Equivalent Model
56dca030f0c70aa3c8c28b8e2a3682c84782b904	TLC with reduction strategy: Case Feature: SortSeq(S) is reduced to equivalent sort implementation Plug Feature: Replace spec with the same without comments	TlcSortSeq	MultiLineComment	True	Passed	Model Under Test Equivalent Model
ecd86defd14ce333803bf2238d1d2b2aee0320b5	TLC with reduction strategy: Case Feature: SortSeq(S) is reduced to equivalent sort implementation Plug Feature: Replace spec with the same without comments	TlcSortSeq	MultiLineComment	False	Passed	Model Under Test Equivalent Model
580d57cd47a86b60f4fa0b78fad210e2328c2348	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr Plug Feature: Replace spec with the same without comments	TlcEval	MultiLineComment	True	Passed	Model Under Test Equivalent Model
a9e8e1f7e72f30d1a1537da98f51ded25c0c815e	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr Plug Feature: Replace spec with the same without comments	TlcEval	MultiLineComment	False	Passed	Model Under Test Equivalent Model
4f27410b4b196e7ac25c53ee555da47c6f6203f5	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagToSet	MultiLineComment	True	Passed	Model Under Test Equivalent Model
b16429c978e44fb6ab73082832ba952273d27fcd	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagToSet	MultiLineComment	False	Passed	Model Under Test Equivalent Model
b91dde6d9c5bbe124c0616de5a24ed80c805ef03	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagSetToBag	MultiLineComment	True	Passed	Model Under Test Equivalent Model
31992c1ca73ac57875eb71e5b4940fd2ed8775ce	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagSetToBag	MultiLineComment	False	Passed	Model Under Test Equivalent Model
0d17fdb4e10af046eb745fa76f082165c0f5ec7f	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagAddBag	MultiLineComment	True	Passed	Model Under Test Equivalent Model
e18dfce5f4831d989fc6f1c6ac21ba5098d1562f	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagAddBag	MultiLineComment	False	Passed	Model Under Test Equivalent Model
cceaeb21bd3a10d112abcbf4ee12a9bb6c2cff85	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagSub	MultiLineComment	True	Passed	Model Under Test Equivalent Model
fffb3804321f7347f67e893cac106e294c3430b8	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagSub	MultiLineComment	False	Passed	Model Under Test Equivalent Model
d2a19a353f5692bd1fc26774a7d4704b85609635	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagSubsetEqBag	MultiLineComment	True	Passed	Model Under Test Equivalent Model
b2fd4dc68fdaff0dfe92dfd4bfa61ca36dd6afbf	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagSubsetEqBag	MultiLineComment	False	Passed	Model Under Test Equivalent Model
9184be818da019d5301ea55be6c3fc7bcf89ad1e	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagUnion	MultiLineComment	True	Passed	Model Under Test Equivalent Model
d76cb04c103cf634cf8cbecf6f15358d92f9dc52	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagUnion	MultiLineComment	False	Passed	Model Under Test Equivalent Model
4640117f2bb259eeffad3ff3779066f9a5348596	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagCardinality	MultiLineComment	True	Passed	Model Under Test Equivalent Model
eb10606c097930818c66815525af304b459413cf	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagCardinality	MultiLineComment	False	Passed	Model Under Test Equivalent Model
90325e52c8d9e59808eb514f94750e6229a7d665	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagOfAll	MultiLineComment	True	Passed	Model Under Test Equivalent Model
93de820b7053cbc0b09d86028cffed3e64459eb4	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagOfAll	MultiLineComment	False	Passed	Model Under Test Equivalent Model
a2be6a3069153f78b23aaced27f9df33e83eb66d	TLC with reduction strategy: Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation Plug Feature: Replace spec with the same without comments	BagSubBag	MultiLineComment	True	Passed	Model Under Test Equivalent Model
9c2a7beac7bae8571c6aa2543eab1c6803f7dcc4	TLC with reduction strategy: Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation Plug Feature: Replace spec with the same without comments	BagSubBag	MultiLineComment	False	Passed	Model Under Test Equivalent Model
6d22b774eb1c10c7aa134e4a39698431c841ff8c	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	FiniteSetsCardinality	MultiLineComment	True	Passed	Model Under Test Equivalent Model
3c9184dfce4ad2791210a168f3305362a1af78cd	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	FiniteSetsCardinality	MultiLineComment	False	Passed	Model Under Test Equivalent Model
ff78418f7195197407854d67af1a2a3789a2f117	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	SeqHead	MultiLineComment	True	Passed	Model Under Test Equivalent Model
a1bd2cbea53595254ce8bd3020f07c0ecc0e875f	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	SeqHead	MultiLineComment	False	Passed	Model Under Test Equivalent Model
befb7d3aa23769f8080617dbaad9990f453f2d6c	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	SeqTail	MultiLineComment	True	Passed	Model Under Test Equivalent Model
7c617dae63c46ca4643787dd6909b47c8d9f8b28	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	SeqTail	MultiLineComment	False	Passed	Model Under Test Equivalent Model

Index

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