Tests by case feature VariableViewExclude; CLI Option: -workers 1

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
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
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
97dc7c46d12927768bfd704b2298b2b41a325757	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BoolTrue	True	Passed	Model Under Test Equivalent Model
8c07655775ccb021a8a0abddd558d75ae8669845	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BoolTrue	False	Passed	Model Under Test Equivalent Model
700339b84caac4340ef12f9bed643dd6c5fe3440	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BoolFalse	True	Passed	Model Under Test Equivalent Model
7aae012214aff6d739dffcedfb2e2316b962692c	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BoolFalse	False	Passed	Model Under Test Equivalent Model
d9bda0a12fa573514aaa40fa74b8477cde314d47	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BoolSet	True	Passed	Model Under Test Equivalent Model
fbb1e5e9a19fefb501803ad84119951f19fb71c6	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BoolSet	False	Passed	Model Under Test Equivalent Model
91376e55ef8de569816453b20bb8e87f67553ea0	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	And	True	Passed	Model Under Test Equivalent Model
644b1924fa45ef6e8b65813fb01f2264d2166292	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	And	False	Passed	Model Under Test Equivalent Model
720c073285dc6dffa117e32c89ef844ff95e9f2c	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: /\ A /\ B == (A /\ B)	VariableViewExclude	AndMultiLine	True	Passed	Model Under Test Equivalent Model
0e8dfb18f21315e5e7eccef1b40442f1819717ec	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: /\ A /\ B == (A /\ B)	VariableViewExclude	AndMultiLine	False	Passed	Model Under Test Equivalent Model
0f5f4cf094c2fd03db10641b8b6dd9ef99ca7715	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Imply	True	Passed	Model Under Test Equivalent Model
34eac49c05337a0c0b0ca3c58f7fe2c523a14703	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Imply	False	Passed	Model Under Test Equivalent Model
ba394567a098b0aecf6fb385c730e395639858a2	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Not	True	Passed	Model Under Test Equivalent Model
eefd347c7097b1c84bd57fa86ef17894cc232fec	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Not	False	Passed	Model Under Test Equivalent Model
2a8f91d5a560047dc5a4ba3fdd709bc7bf78121c	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: A \/ B == ~(~A /\ ~B)	VariableViewExclude	Or	True	Passed	Model Under Test Equivalent Model
3f17f68c2df0de5f29f4ba2f279af10f0bd5907a	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: A \/ B == ~(~A /\ ~B)	VariableViewExclude	Or	False	Passed	Model Under Test Equivalent Model
10fa93651b88232fbfb68c120cae8df3c75f62ef	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: \/ A \/ B == (A \/ B)	VariableViewExclude	OrMultiLine	True	Passed	Model Under Test Equivalent Model
175c657d41b7c83e4cb1728cd303f022b11fa7ef	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: \/ A \/ B == (A \/ B)	VariableViewExclude	OrMultiLine	False	Passed	Model Under Test Equivalent Model
436d49ad49ff28fa2ac796ff34cd2d967da10130	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Eq	True	Passed	Model Under Test Equivalent Model
f79a95c33d86035bfa63c1e10b056773ecafbb05	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Eq	False	Passed	Model Under Test Equivalent Model
2b92f79b4a58b4d990797199fe149d5c1acd5d5f	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Ne	True	Passed	Model Under Test Equivalent Model
531fcc4ab0ee8156a5730a666b6d3bbd0ca810bc	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Ne	False	Passed	Model Under Test Equivalent Model
888b06200df026ec436fe1702af52d7f65abdb31	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Let	True	Passed	Model Under Test Equivalent Model
e6380b2efc6f39746fd90a8b8e36bec0f0862a8d	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Let	False	Passed	Model Under Test Equivalent Model
c34a98c2853d0553b1610a2444606ef3f8caafd2	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SetEmpty	True	Passed	Model Under Test Equivalent Model
e9e98beef1ae228bed654bf9cf7b0f58b4d6a0a5	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SetEmpty	False	Passed	Model Under Test Equivalent Model
4bcb9866e3ce422b3183b9d337dae9a303540bda	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Set0	True	Passed	Model Under Test Equivalent Model
b8aaf9503cf9b50ac118bf45c2c4b6fd6a8b5ff3	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Set0	False	Passed	Model Under Test Equivalent Model
24e619a9cca88880055711e095b8455fa920ce95	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Set1	True	Passed	Model Under Test Equivalent Model
2ca81380ef4799ae66c07ca3f167b0f0ac0cc1ec	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Set1	False	Passed	Model Under Test Equivalent Model
174318b15148038887e242355ab8e807eea282f6	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Set2	True	Passed	Model Under Test Equivalent Model
6dab1d30753288cfa5a0da3c51f61ef219399435	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Set2	False	Passed	Model Under Test Equivalent Model
e158ab8de42c06f212bc0306b991d012bae71610	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Fun	True	Passed	Model Under Test Equivalent Model
231a8aab28aebc475ced9eef08d1827a3f819ebb	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Fun	False	Passed	Model Under Test Equivalent Model
e572aaa3ee794cca7b5219a488532590a144ce9d	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	In	True	Passed	Model Under Test Equivalent Model
529eb1e828143a892fca4eefeec32229423c599d	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	In	False	Passed	Model Under Test Equivalent Model
bf11a78f9d4e3de6a850ce0d1214f888053efb8e	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NotIn	True	Passed	Model Under Test Equivalent Model
cb33cc0abecea0bd53238ecdf15fbfcf7838f268	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NotIn	False	Passed	Model Under Test Equivalent Model
812a9d0ac12ed919be8b4094eb67ff89a74ae4d2	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Exists	True	Passed	Model Under Test Equivalent Model
25cf3ca0f4998a78e330086cdfe6c0cdef714f17	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Exists	False	Passed	Model Under Test Equivalent Model
62e0f6137b3a1ff41321be2010b6a1db79360c6b	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Forall	True	Passed	Model Under Test Equivalent Model
f832a2f530f3bf02a5d4acc5f02e49fa73290277	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Forall	False	Passed	Model Under Test Equivalent Model
ca72d48c146d14ea1097d99066e6c86202ccde55	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Choose	True	Passed	Model Under Test Equivalent Model
078708306011867056c04cddc1103fb0249f3000	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Choose	False	Passed	Model Under Test Equivalent Model
807eac17858fc4601f8fd533b3c78c8f4ab5074a	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Record	True	Passed	Model Under Test Equivalent Model
c73f31b9502e9392f3246ab45cf86b2d6ce03776	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Record	False	Passed	Model Under Test Equivalent Model
6d476d9a6a8406e25976ca6de92bb185aa2372d1	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Tuple	True	Passed	Model Under Test Equivalent Model
c1929ca4f3ed0ee1969de12782bfa13377249b23	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Tuple	False	Passed	Model Under Test Equivalent Model
edb9c21ef7840c1e19a4bbc082765b9b5c84dc81	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	TupleEmpty	True	Passed	Model Under Test Equivalent Model
4216af29431218cd70686905e06693171ae3c83d	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	TupleEmpty	False	Passed	Model Under Test Equivalent Model
8c9c79e59d7faa6da50fe801ea0b2a8acedffb3b	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	FunApp	True	Passed	Model Under Test Equivalent Model
56baf1f66c452bdcc2221f517e8ee7a23dabbb75	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	FunApp	False	Passed	Model Under Test Equivalent Model
bed5e89d4d971f29ed469ed06faed79ef3187975	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Prime	True	Passed	Model Under Test Equivalent Model
13ccb77b855d4527b0801041f0fe5f06a57222e2	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Prime	False	Passed	Model Under Test Equivalent Model
607e96899d237d69cfab8d2a7a0693681151b608	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumZero	True	Passed	Model Under Test Equivalent Model
7aeb8a84b22667ae710e31dc217ba5efdda7282b	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumZero	False	Passed	Model Under Test Equivalent Model
2de79f03c90e7f340b12151c2599deddae18e565	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumOne	True	Passed	Model Under Test Equivalent Model
f6220fd3f9b698e08b89aba116f400fa8b45fb6c	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumOne	False	Passed	Model Under Test Equivalent Model
561e8986093b0e00018b0c87822282926dba8d10	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumMaxInt	True	Passed	Model Under Test Equivalent Model
45fa45202781630305360f938352d85374faf077	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumMaxInt	False	Passed	Model Under Test Equivalent Model
f4e0f35da41e742a26022c97eb55dc5c1062e7aa	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
b394d9afdd7e6eac0134db7784943983d944fde0	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
737fb5c76c7007b9d4026445e251773cadb71485	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumPlus	True	Passed	Model Under Test Equivalent Model
4b724f47feb7be1e929a380e522dd7441a7df787	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumPlus	False	Passed	Model Under Test Equivalent Model
6e5fc3bb0aaead8a212594827ee45e67fe3b1203	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumMinus	True	Passed	Model Under Test Equivalent Model
6a7ca2256e10bf4f98366b7263c296a5428f0194	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumMinus	False	Passed	Model Under Test Equivalent Model
f61627693b342d0d935aa3de9867a12789965b71	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumMul	True	Passed	Model Under Test Equivalent Model
8b543f46c7ea5043bbb61ce9a2b040de2a4f51f9	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumMul	False	Passed	Model Under Test Equivalent Model
77eba6ba2974bdc3d12561bb89f7a52d6a084e32	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumDiv	True	Passed	Model Under Test Equivalent Model
0bcc2724f4c31e8d199a28c11f12928c2ae3aae2	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumDiv	False	Passed	Model Under Test Equivalent Model
1b074f2bf7a1e02d8bf0c4de2e73ce1e32002c13	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumMod	True	Passed	Model Under Test Equivalent Model
efc8f4edb59993cde7cb820ea6e08d715b4e2bb2	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumMod	False	Passed	Model Under Test Equivalent Model
858e2747c0f1c5f34a1b834d261cb23e367f4804	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumPow	True	Passed	Model Under Test Equivalent Model
a9d5628a2c0a34d31b1757ab15585a8fe284274c	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumPow	False	Passed	Model Under Test Equivalent Model
df385c4d66adb4305e25417879e9a784f3cd35fd	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumGt	True	Passed	Model Under Test Equivalent Model
fecd08c7872dec502c3d5ca380cecd57e83423de	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumGt	False	Passed	Model Under Test Equivalent Model
00db2df66194808a44e7152c694f8c895e5e3c7e	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumGe	True	Passed	Model Under Test Equivalent Model
114a1976853a4b5dc39ef4ffad629ffb691e4be0	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumGe	False	Passed	Model Under Test Equivalent Model
9a9be1f5d6b679f3032e33eac426879175555c46	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumLt	True	Passed	Model Under Test Equivalent Model
172f377ee3c29309245b9cb124212ca3ce6de1e5	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumLt	False	Passed	Model Under Test Equivalent Model
c49a6a08bf7c6b532894f90d39e0f149c71cdbec	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumLe	True	Passed	Model Under Test Equivalent Model
38d1dd04e19f237d0e018826a15b437290e95f4c	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	NumLe	False	Passed	Model Under Test Equivalent Model
74cf7d7994cf7db7042ebf1d1e94453a99047589	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	DefFun	True	Passed	Model Under Test Equivalent Model
d02894467b05ba009e998e0935c845ce53c481f3	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	DefFun	False	Passed	Model Under Test Equivalent Model
300d25ad960d848b082f4a0f8dabdbba4617b5ad	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: LET definitions are reduced to global definitions	VariableViewExclude	LetDefFun	True	Passed	Model Under Test Equivalent Model
5307997e1b62ad89b1f6a5445c838e5fbad988ca	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: LET definitions are reduced to global definitions	VariableViewExclude	LetDefFun	False	Passed	Model Under Test Equivalent Model
61e402327165977efb2829c388d41f9f1be436d5	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
5c1535a9873a165bebfd5ff3cf113c8626d980b7	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
398c9be72a2e3cf8cad2a7d9a1d92aeca3fcaa82	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: LET definitions are reduced to global definitions	VariableViewExclude	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
24ec214460c4f57bb5c3830f6ea6ac7556a59643	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: LET definitions are reduced to global definitions	VariableViewExclude	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
49828925a4d6f58d6b3ac6aedb880a13edb1d5fa	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Def0	True	Passed	Model Under Test Equivalent Model
acc9e24cae5ae4f63da2ee810bab6aef328f782f	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Def0	False	Passed	Model Under Test Equivalent Model
88d082aac06e05e1d8b34be01a39cfae8d9a4a30	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: LET definitions are reduced to global definitions	VariableViewExclude	LetDef0	True	Passed	Model Under Test Equivalent Model
a8a5268351751b4b232b7649b6d91f5c869d38c4	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: LET definitions are reduced to global definitions	VariableViewExclude	LetDef0	False	Passed	Model Under Test Equivalent Model
84b5292f73fee1d71bbc4e12724dda85fa6a39dc	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Def1	True	Passed	Model Under Test Equivalent Model
65259b0a4640bd69410e455a284482010719ebb0	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Def1	False	Passed	Model Under Test Equivalent Model
94dc84af24e11426f330efcbfad901b85991af69	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: LET definitions are reduced to global definitions	VariableViewExclude	LetDef1	True	Passed	Model Under Test Equivalent Model
9ea350b8fcac291dc37963830f04989584edc946	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: LET definitions are reduced to global definitions	VariableViewExclude	LetDef1	False	Passed	Model Under Test Equivalent Model
04e5082f0b47424273b1d315aeceae783cdbef5a	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Def2	True	Passed	Model Under Test Equivalent Model
4a8e1964cdf34fac492c4d8c43a0a31b5ce4fa13	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Def2	False	Passed	Model Under Test Equivalent Model
d83deb23d7da0691595715d31632243b82cc633c	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: LET definitions are reduced to global definitions	VariableViewExclude	LetDef2	True	Passed	Model Under Test Equivalent Model
4f2920d4598b8b8c85dfa40fcf52333ac33f3cdc	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: LET definitions are reduced to global definitions	VariableViewExclude	LetDef2	False	Passed	Model Under Test Equivalent Model
b17435aa8d8d6567438ac7e9fc62d35de11b0c0a	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Def1Recursive	True	Passed	Model Under Test Equivalent Model
033dcc4b8b54a72b8072e9193579ae376fc0a9b5	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Def1Recursive	False	Passed	Model Under Test Equivalent Model
11c32706c570f9604081338ff65f341fbc6aeea8	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: LET definitions are reduced to global definitions	VariableViewExclude	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
9577064c3041f2ad7b3db98f5e19980c41cfe517	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: LET definitions are reduced to global definitions	VariableViewExclude	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
6fb364928def310f6213d2e426d56208d6051f27	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Extends	True	Passed	Model Under Test Equivalent Model
b72d3fe6f28d101949b3ab60c1d52c6417bf3c47	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Extends	False	Passed	Model Under Test Equivalent Model
b59fd381bcd187f5c669238cb741b10173f64f18	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
01cf218157060d39487dfde135e7f04d19b3cc5d	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
7ea6321f83a6a7041a58aa936ffe76955da48ba6	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Variable	True	Passed	Model Under Test Equivalent Model
c2d7d4a7fb3680bdf4b626ecec8bdcf1defdf432	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Variable	False	Passed	Model Under Test Equivalent Model
68090eb1e14726641c5dd687e3661368537025b7	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Instance	True	Passed	Model Under Test Equivalent Model
ee77c3ae1e806e6f9c89dbb56390d7a38bf251a3	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Instance	False	Passed	Model Under Test Equivalent Model
f933e73769d61eb856e9428227c7875118255325	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	InstanceWith	True	Passed	Model Under Test Equivalent Model
26d5a282e450381a6b1ea78744f1cefb3483f6cb	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	InstanceWith	False	Passed	Model Under Test Equivalent Model
fc2f84db3b451ef77c914014325d46636ab0eaf7	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	InstanceNamed	True	Passed	Model Under Test Equivalent Model
db46dda62e8e55a8c28d2c02b6691c568d4ea7e9	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	InstanceNamed	False	Passed	Model Under Test Equivalent Model
8da1acea010a901d502893053e7297a4da2daa1d	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
9d9b701bc5a3a695720cf3b7a88ddd93ad9e6470	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
0bc705120dfe0475551c0c44c435f7ef85d8ca81	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
2124db818b387f0615d2ac10c166bef3f3016ea7	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
698295e145c433905ec1430f8c3983490ece513f	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
7ca7e5df998a70a45d5b57b0b102beb8d9f9305e	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
d4056e061ded874e9ed0dc14dccff9804a825ea1	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
e4f6fe543c43c13e0f5bf5244882e6f7877a49e5	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
9c25c7199dea49c7fa0eeda93d72368d78a1278e	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
3bbac0ab59bebbb579533a51c76fae3b3e60c188	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
e165f5d291a00d6c962e1a4924a20abaf948afe6	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Enabled	True	Passed	Model Under Test Equivalent Model
fb8d67bf5b4b9e2bae1eb271a22c3d40efab721c	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Enabled	False	Passed	Model Under Test Equivalent Model
0c91cc2f4e2d535ef11553e4627adc42bbc7b951	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Cross2	True	Passed	Model Under Test Equivalent Model
8874ce65878d55fd564db4c39b6970c43cea4047	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Cross2	False	Passed	Model Under Test Equivalent Model
f0c0a83d5ed074f0f9ac4a1de8d568a3ec2a5d9b	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Cross3	True	Passed	Model Under Test Equivalent Model
83f39696b385c365722af68968bd3b35fd1440e0	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Cross3	False	Passed	Model Under Test Equivalent Model
65ed45846a3d8e3e2690d9973d3c74cb87562471	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: 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))	VariableViewExclude	FunSet	True	Passed	Model Under Test Equivalent Model
fe0fcbf67f3610e63dd590453345b422c1de998e	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: 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))	VariableViewExclude	FunSet	False	Passed	Model Under Test Equivalent Model
a20120894902f49555c025eca9abd9ea456d05cd	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: 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)	VariableViewExclude	RecordSet	True	Passed	Model Under Test Equivalent Model
25b846b83bb3a1c69cab48c2a32e110d35983278	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: 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)	VariableViewExclude	RecordSet	False	Passed	Model Under Test Equivalent Model
8113e67e4b559dc5ec56bd2e4c623e463e8f58cc	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SetDiff	True	Passed	Model Under Test Equivalent Model
16ca1915eb8b8efd81709d50913795330775289d	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SetDiff	False	Passed	Model Under Test Equivalent Model
abd16ec4538581a5b5193163ef0f7c327efac51d	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SetUnion	True	Passed	Model Under Test Equivalent Model
126b315f12431cf3461c96f6bc95abecbf87ae71	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SetUnion	False	Passed	Model Under Test Equivalent Model
a166cc330774a5715300536e4f60ee17d8626768	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SetIntersect	True	Passed	Model Under Test Equivalent Model
e7fd151bc26a8ab06ad7a115826b8ca9e023fe41	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SetIntersect	False	Passed	Model Under Test Equivalent Model
986be3e9fe3d35921ee5a86e5ab60dbf260bbbf5	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SubsetEq	True	Passed	Model Under Test Equivalent Model
a762fadc313c2acce5357ec9526edce0f575b6e6	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SubsetEq	False	Passed	Model Under Test Equivalent Model
3cf800bca5180dc607165437a7b75800b0ed56fe	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	IfCond	True	Passed	Model Under Test Equivalent Model
cc260e33d40b4972169d5fb47b47667000e78621	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	IfCond	False	Passed	Model Under Test Equivalent Model
48eea4a423a787fa185cd6c4a93badb36e15f56d	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	IfThen	True	Passed	Model Under Test Equivalent Model
e6775ab5488dd78e3fef68a32d99a433f1483ab8	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	IfThen	False	Passed	Model Under Test Equivalent Model
fb0a6a6efab8bc81dc5dd3f93c82e14727b906e7	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	IfElse	True	Passed	Model Under Test Equivalent Model
6e8ad3a5dbaaaf38b7db80c1b78572a66a2b7d1a	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	IfElse	False	Passed	Model Under Test Equivalent Model
59e42c7feb6c0c7784803f6191da0ca8da71c3ca	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Subset	True	Passed	Model Under Test Equivalent Model
c424ad8e82c58b87846c170004b495b805ff3d59	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Subset	False	Passed	Model Under Test Equivalent Model
bfb9c7e24ed51c8022cc77b886555e235c6d435f	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Domain	True	Passed	Model Under Test Equivalent Model
6206b640815082addba30c850d9da8b1034761cd	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Domain	False	Passed	Model Under Test Equivalent Model
f01afc3f92cd2e9dbf3de5fe829ad88119d4c437	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Union	True	Passed	Model Under Test Equivalent Model
247d331b4d5d61e3c8b87b2b0f2aa48e214da171	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Union	False	Passed	Model Under Test Equivalent Model
d7e6ec37847c14a3596ec15b3f292ef281afec13	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Unchanged	True	Passed	Model Under Test Equivalent Model
ccb7d11af4ed4c467e8f66f78f5e331477ac162d	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Unchanged	False	Passed	Model Under Test Equivalent Model
f4164cde51d583217e27aab83ad87255df036fd2	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Equivalence	True	Passed	Model Under Test Equivalent Model
685daf01d34ffcdd8f6fb0a220d4b7b66dc13e1f	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Equivalence	False	Passed	Model Under Test Equivalent Model
f995b3a8e51019f9c17400f18c2bef277269eef7	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	StringEmpty	True	Passed	Model Under Test Equivalent Model
349fa843586646d91a070d0ce5b8a20f14b25a1e	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	StringEmpty	False	Passed	Model Under Test Equivalent Model
d707b421f44dca13b8dc949cb817adf99d2461a8	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	String	True	Passed	Model Under Test Equivalent Model
b0c3cc6caa02484761704af7394841d004bd9836	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	String	False	Passed	Model Under Test Equivalent Model
e758a79aea6897cedc5db1313a07724be69fb377	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SeqLen	True	Passed	Model Under Test Equivalent Model
23a80c79b874074699ae183e9ae4d7de9d83ab52	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SeqLen	False	Passed	Model Under Test Equivalent Model
b4e96a3bb45ad0e938340ae91cd44f35af7a68c2	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SeqConcat	True	Passed	Model Under Test Equivalent Model
1a1a41ce8a3cec048beeacc66ed45bd7d650c194	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SeqConcat	False	Passed	Model Under Test Equivalent Model
dbfa64d0be849f58174473f3273d4be61e5b6e62	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
c9ba567129bdd2e3b73adf8ae50d8a0a8fb1481e	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
71386b669eed8f0b8f1d1aa39c8cee1d93de97f0	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
fe3b1c381251cc3507fc56ab440ca874ca0322c9	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SeqSubSeq	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
75c689770229db5273ed7542a263eb5a64997c34	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: x :> y is replaced with equivalent [u \in {x} \|-> y]	VariableViewExclude	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
c1ec27a735d8f7cf7720aa9daa4e51b70fc74441	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: x :> y is replaced with equivalent [u \in {x} \|-> y]	VariableViewExclude	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
b57a2e7fce7621f943f7684240e21a865ce0eeb5	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: 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]]	VariableViewExclude	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
34eee12a1d4c139682d74bdb51cfc86f3fb0063a	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: 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]]	VariableViewExclude	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
9fb1332d67a25b5ea11e3857e891082fc5f42578	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: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	VariableViewExclude	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
32562c324823527058f36b6c72878120b838dd5e	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: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	VariableViewExclude	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
144f222a2d20ba141f4060299d249413b837fea3	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: SortSeq(S) is reduced to equivalent sort implementation	VariableViewExclude	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
372c849eaedc1a6469f663eaae99085be1164217	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: SortSeq(S) is reduced to equivalent sort implementation	VariableViewExclude	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
a7ec85f12323155b16642644fff1b26ed4dcbb7f	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: TLCEval(expr) is reduced to just expr	VariableViewExclude	TlcEval	True	Passed	Model Under Test Equivalent Model
512ceec66484726c12cf93b327b87a5b0e027b34	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: TLCEval(expr) is reduced to just expr	VariableViewExclude	TlcEval	False	Passed	Model Under Test Equivalent Model
ccb37b97beae01ccee4ec743d230eb27adb82f88	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BagBagToSet	True	Passed	Model Under Test Equivalent Model
fffe12f1846cebf4c5e9050c9fce3263c3cd48dc	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BagBagToSet	False	Passed	Model Under Test Equivalent Model
eb58d3e40dffabb92dc42ed5117ca4aa37947ae7	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BagSetToBag	True	Passed	Model Under Test Equivalent Model
a4fbc04ec559d4c20abb18dd0d9176681c698107	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BagSetToBag	False	Passed	Model Under Test Equivalent Model
859d58e347803742f85a3731cf78c73d7cb60377	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BagBagIn	True	Passed	Model Under Test Equivalent Model
35c1d7ed7b507df8036e2ef0d46d7b087561d122	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BagBagIn	False	Passed	Model Under Test Equivalent Model
3bae8f4e97710d18f9167b187fcc8760d22a2700	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
bc2abd6e340bef4ebe21acba8b2bb83f1e00d195	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
8088fb2f6dde037259b11299348abd04449843c6	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BagAddBag	True	Passed	Model Under Test Equivalent Model
3d772dc90d307f4ee25df7642c080f60f96834ab	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BagAddBag	False	Passed	Model Under Test Equivalent Model
2e26529a34e94e28cb4774b574be7ffabad76a3e	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BagBagSub	True	Passed	Model Under Test Equivalent Model
37819dcf3a54905004ce4425a5c52bd64b08b8db	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BagBagSub	False	Passed	Model Under Test Equivalent Model
f633d7e2bc8e03dea9456005cd8ff2ba7861ea17	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
f9fc0f496381918fd872c0544d0d0e29cc63f0b0	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
69e83f7ea6e1d3012d51cd9306a33f10d2d73adb	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
adcd0da47be2bb9d6eb93d1d0dc03a3fc54b8c17	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
15d5d6f6d388cebb2c40dac509148743ff077b86	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BagBagUnion	True	Passed	Model Under Test Equivalent Model
17e4af37480d515436f0623159a35203f3eb4b83	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BagBagUnion	False	Passed	Model Under Test Equivalent Model
64b755e3242f1c52c9aea303e572f7c8d90fd241	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
5638c726b8fa0572040311894fe01b5169d1b8ab	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
59c9bfec48a900440cce27feb5b3842ad47eb5ef	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
cf1f16ae1e877080595a051812a9c391eb0c3c41	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
66d1afea721a2e206414bf8c4acfb210d2086312	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: SubBag(B) is reduced to equivalent SubBagR implementation	VariableViewExclude	BagSubBag	True	Passed	Model Under Test Equivalent Model
b66f5bbd733f7661b876f6f39cf826de1370e7c9	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: SubBag(B) is reduced to equivalent SubBagR implementation	VariableViewExclude	BagSubBag	False	Passed	Model Under Test Equivalent Model
11656944b6b5033c543ec47309433bd2c56245a1	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: IsFiniteSet(B) is reduced to either TRUE or FALSE, depending on type information (finite and infinite sets have different types)	VariableViewExclude	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
a2d75d4367f743309ab2b6e115ac9fa24dfb27a1	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: IsFiniteSet(B) is reduced to either TRUE or FALSE, depending on type information (finite and infinite sets have different types)	VariableViewExclude	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
2d8f341791056411c424644e29eeb1c6f2b96628	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
52dca335ac85015b3077f037a6cded57e09cc41b	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
e2769749cfd168182d5e74efcab24b862cb3ebe6	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SeqHead	True	Passed	Model Under Test Equivalent Model
97c299ff9663825acf5f0327748d4e5060f48aa5	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SeqHead	False	Passed	Model Under Test Equivalent Model
6f5a82ecbad85e1b2f13af848e019c195c716212	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SeqTail	True	Passed	Model Under Test Equivalent Model
074554577f68963ff92f9eb88802c4d8a5cc085d	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SeqTail	False	Passed	Model Under Test Equivalent Model
81075a200634074c1f2a2e7e4132d38b52477c9c	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SeqAppend	True	Passed	Model Under Test Equivalent Model
326a629db16f9bc2a9eff7620d3d51ff22c675bd	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

Tests by case feature VariableViewExclude; CLI Option: -workers 1