Tests by plug feature Subset; CLI Option: -workers 2

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
6db45bfca75e1dc7d65d6cc521716c06b2854960	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	Subset	True	Passed	Model Under Test Equivalent Model
b7a76814a61d2ce4b07a3c4823b0d2bf630a1bde	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	Subset	False	Passed	Model Under Test Equivalent Model
a3b4c5f2f8ae9948a6da534ad41cbde8c56e662a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	Subset	True	Passed	Model Under Test Equivalent Model
87a4e7c005e97e6a662afce00c7ddb65a0bb641d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	Subset	False	Passed	Model Under Test Equivalent Model
7cf094e10ede066aebf01efc68fd7927f5c77283	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	Subset	True	Passed	Model Under Test Equivalent Model
256acdf025b307c04f8edfffbc3177ed00e50d4c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	Subset	False	Passed	Model Under Test Equivalent Model
2095cfa4ded1537bf80ddab61c95b2474accf6e5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Subset	True	Passed	Model Under Test Equivalent Model
a264fecd3daf32ef41a298ed8e8af6a3ddea6588	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Subset	False	Passed	Model Under Test Equivalent Model
e3656b3ff59cf1630f342fbbe6dcd21bd7aef58a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	Subset	True	Passed	Model Under Test Equivalent Model
2b1db302c2e0dedb75809d259768121281b743b5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	Subset	False	Passed	Model Under Test Equivalent Model
ea2e09b0d07a98aa5e6f895121f9389e75cadef4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	Subset	True	Passed	Model Under Test Equivalent Model
61add58398d760469129a42cc023b274490a26ab	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	Subset	False	Passed	Model Under Test Equivalent Model
c3e116663a6f53bda54712253ca36c890aba4edf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	Subset	True	Passed	Model Under Test Equivalent Model
7691cea914c3e906ab99c364460757f5cafd2cf0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	Subset	False	Passed	Model Under Test Equivalent Model
abc492b56d856a4a08a9fe72ea0d6d143e425c56	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	Subset	True	Passed	Model Under Test Equivalent Model
e1d19351618912ebdef809cc978a2b1fe1ecc9f1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	Subset	False	Passed	Model Under Test Equivalent Model
3965c9d0d489cb11e28da6540b185b830504df7a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	Subset	True	Passed	Model Under Test Equivalent Model
cf76961bc4f0cd1463b621e58fef5a8f9699d663	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	Subset	False	Passed	Model Under Test Equivalent Model
f40eb4fba3435b771f52f2cd0f406eb1897436b4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Subset	True	Passed	Model Under Test Equivalent Model
c491db624c3d7819d6aadaa8a7cd7b9d1cbf09fb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Subset	False	Passed	Model Under Test Equivalent Model
1d12d967177d9dcb367c7968b88d6ea02681ec01	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Subset	True	Passed	Model Under Test Equivalent Model
9d0bf7ed9cc890f788f0470279800f8b9c5446a4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Subset	False	Passed	Model Under Test Equivalent Model
ab2542dda24843a42e49499a9356349854494add	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	Subset	True	Passed	Model Under Test Equivalent Model
bee95964c0cd20f4c0c75fae1f709a1989de448c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	Subset	False	Passed	Model Under Test Equivalent Model
9c1adaa10c7301329fb510538b487d1d2190ce48	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	Subset	True	Passed	Model Under Test Equivalent Model
77c7caab02e46de2bf6c3b1e780db0084bb15f1f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	Subset	False	Passed	Model Under Test Equivalent Model
a53c588a84e00a3274ddd8626e9fbfe2c5e594b1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	Subset	True	Passed	Model Under Test Equivalent Model
a03fb9f49bc4b0c3d930c3786e7f625d7feef6d3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	Subset	False	Passed	Model Under Test Equivalent Model
2a916fa45ef1b4720c6923c23d6bb30053891d97	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	Subset	True	Passed	Model Under Test Equivalent Model
09fb1f3726700e1605e3b06036137c0da422a93a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	Subset	False	Passed	Model Under Test Equivalent Model
4a32507dceceb90d71ecda5d4d0895bd9198859f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	Subset	True	Passed	Model Under Test Equivalent Model
20815071962dd09ddbb3b05de892c2742c5570b7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	Subset	False	Passed	Model Under Test Equivalent Model
d12c737c62c2c2a1be500cd87233a3d1dbff9c42	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Subset	True	Passed	Model Under Test Equivalent Model
c704f7dde0c3c13c1b45d7b880fbe1e1421de187	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Subset	False	Passed	Model Under Test Equivalent Model
b971b5f784409244ef1c9040adc84593402b96a5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Subset	True	Passed	Model Under Test Equivalent Model
bd332aca459e563a91c742ee94ee67262d45363b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Subset	False	Passed	Model Under Test Equivalent Model
119e124acf7a8f9dcd8a5bb8520736b0e1d01713	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	Subset	True	Passed	Model Under Test Equivalent Model
d5d75cdefae3b3074ae2a58d1fca2e1f40ce1add	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	Subset	False	Passed	Model Under Test Equivalent Model
7081e6367ba7edcc9b5487e263e3f4c34adcdaba	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	Subset	True	Passed	Model Under Test Equivalent Model
925ef1b75a83442b02301ca148ac330743ab3626	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	Subset	False	Passed	Model Under Test Equivalent Model
4425579941d9cfdf0de7a6c2c09d41cb3f7daffb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	Subset	True	Passed	Model Under Test Equivalent Model
fa9b0572d562fb5f94f466f5fdc166d8a29a20c6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	Subset	False	Passed	Model Under Test Equivalent Model
13d341270a8416d94226b7008e9a75dc49493d7a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	Subset	True	Passed	Model Under Test Equivalent Model
63cd34b26a696512cb04cc517c699843371946be	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	Subset	False	Passed	Model Under Test Equivalent Model
b21cdb3e42d5bdc01e2765a47057ee566f906333	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Subset	True	Passed	Model Under Test Equivalent Model
f3cf576ef8c44ac313c54a40dcf3efef9c28e4b8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Subset	False	Passed	Model Under Test Equivalent Model
5cefe24be923896b208e48590f31eea25e88cc60	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	Subset	True	Passed	Model Under Test Equivalent Model
163012a18f078f9f2172e71e481f01a2f4f7e82c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	Subset	False	Passed	Model Under Test Equivalent Model
24f108811e54613fb0f7fee59a2497ea16600ff4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	Subset	True	Passed	Model Under Test Equivalent Model
3ac402aced20ac1e2351385ed1dd8ea2e86d63ce	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	Subset	False	Passed	Model Under Test Equivalent Model
2cc162e3770d5f56d4d0e9632ebe5ed835f873e6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	Subset	True	Passed	Model Under Test Equivalent Model
bfcf32688e060a49cccbbf998d0f3dd4641ba262	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	Subset	False	Passed	Model Under Test Equivalent Model
78ac283e8f9b6bf7935f6b21a4f25683718954d9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	Subset	True	Passed	Model Under Test Equivalent Model
750f1d6239ea8bce6ed37d41a9c8f68d55f6612a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	Subset	False	Passed	Model Under Test Equivalent Model
f8bc3f4f455a5734e1fc70ab736ecdb113284fce	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	Subset	True	Passed	Model Under Test Equivalent Model
7cbaac992758485b3e5fe4f5e1290f03049ff709	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	Subset	False	Passed	Model Under Test Equivalent Model
bd4f8490a7b9e3a297597f59e7601d70180ecba8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	Subset	True	Passed	Model Under Test Equivalent Model
49ad1fe7685ee927d11ac965da70689a70ce1619	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	Subset	False	Passed	Model Under Test Equivalent Model
112941278380a1e3b0728cf84d2a7bf5979f2e94	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	Subset	True	Passed	Model Under Test Equivalent Model
049c0025f968e6c077ea1578e60fa41607dc18f2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	Subset	False	Passed	Model Under Test Equivalent Model
227fa2a7f9cf89c3a8bf90c1613cb212a6ec4247	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Subset	True	Passed	Model Under Test Equivalent Model
17dba41489ad67fff705e3b56125f5ef9c63cc92	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Subset	False	Passed	Model Under Test Equivalent Model
65adbc9916f322153f461af948d6d1f4c95c77a2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	Subset	True	Passed	Model Under Test Equivalent Model
d681be2390687370af2805dc58e83ab6a5053ee9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	Subset	False	Passed	Model Under Test Equivalent Model
8b286d986bc01069b796d00ea58a71717abaae2e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	Subset	True	Passed	Model Under Test Equivalent Model
26af690af3582ecfb9bf13bbd179a06f1d4fd75b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	Subset	False	Passed	Model Under Test Equivalent Model
6d5daaae233665eb789240e48482740582c3adff	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	Subset	True	Passed	Model Under Test Equivalent Model
f1851c8e818f59b4ad1edc69327010bd4c37e8f0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	Subset	False	Passed	Model Under Test Equivalent Model
cd891938d832fe7d70a3f04f0358e9de3c315a54	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Subset	True	Passed	Model Under Test Equivalent Model
34cae2ba5200fc44bd6881429bbca4f7f703b3ee	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Subset	False	Passed	Model Under Test Equivalent Model
70679c5c3e5401d669a61d2e6072a71055758c61	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	Subset	True	Passed	Model Under Test Equivalent Model
a461814f51a31f4e39336188220dab817b6826ab	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	Subset	False	Passed	Model Under Test Equivalent Model
cee955bc78b99794a39b783890ce1f8d31318cb4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	Subset	True	Passed	Model Under Test Equivalent Model
e2d36d2129cf321d2450b86f93fa50df19f75d4a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	Subset	False	Passed	Model Under Test Equivalent Model
d883b031f66b9db972e3187d8eb5b0a1a57e02e0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	Subset	True	Passed	Model Under Test Equivalent Model
378103f500b34446e4f69529d8a434bf67958025	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	Subset	False	Passed	Model Under Test Equivalent Model
15091383fffce6f6f308e247dc62c12a3797d7d4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	Subset	True	Passed	Model Under Test Equivalent Model
950663f4e70d06ddb3dba7959f868699ec6af60d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	Subset	False	Passed	Model Under Test Equivalent Model
af3b0c47d8df9fca5598ddc944b46dcfd3d3a22b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	Subset	True	Passed	Model Under Test Equivalent Model
ba5a818286697aed689a38283b570083488f0b64	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	Subset	False	Passed	Model Under Test Equivalent Model
21bf890d575def38bc375c5be6a622ab8d3013e0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	Subset	True	Passed	Model Under Test Equivalent Model
10cdb5365abcc55ffc6d0442046e48fb37531823	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	Subset	False	Passed	Model Under Test Equivalent Model
0ea253f3491b0f1a6e243efa4f9c19d45663d85d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	Subset	True	Passed	Model Under Test Equivalent Model
6d4c5826a285281222fdd19f1eedd60af6bb8935	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	Subset	False	Passed	Model Under Test Equivalent Model
f01bbacfad12e7e6809d03c87dd7306383d91a8d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	Subset	True	Passed	Model Under Test Equivalent Model
6a9e40064e4516f25bf6c93c5414180fda0d9f4d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	Subset	False	Passed	Model Under Test Equivalent Model
1214f5770ae2f14aff03705b9ff9a6e85dea3f20	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	Subset	True	Passed	Model Under Test Equivalent Model
555fa8612214ab4acf1e84815209ea680163d2bc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	Subset	False	Passed	Model Under Test Equivalent Model
2dc3ac00490bcd27a36dc2df1f20b5d1a3c07ef0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Subset	True	Passed	Model Under Test Equivalent Model
48890e5d93e65d0788f279667f2530830388c3ec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Subset	False	Passed	Model Under Test Equivalent Model
a32f9f67967b77ce0f95a5fe137b85cbee9e134c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross2	Subset	True	Passed	Model Under Test Equivalent Model
122c59f19a7c6b871fd086f972dcf3d2a9219724	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross2	Subset	False	Passed	Model Under Test Equivalent Model
4e6deec40505133a3d1525493c1950494138af87	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross3	Subset	True	Passed	Model Under Test Equivalent Model
c72472baeda5969f7cdc992271e76a3963ef58c7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross3	Subset	False	Passed	Model Under Test Equivalent Model
53c0af5a69a99250cffe1c04b673bda8602cd679	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunSet	Subset	True	Passed	Model Under Test Equivalent Model
97a6b5f27dda4ea920a16aedb20467343631ec02	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunSet	Subset	False	Passed	Model Under Test Equivalent Model
3624a020b158d1772530a084f7e4b0f5dbd5c517	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	RecordSet	Subset	True	Passed	Model Under Test Equivalent Model
343c2ceb0c46c0c028febbf3a05e525e06ee93bc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	RecordSet	Subset	False	Passed	Model Under Test Equivalent Model
dee1cf9a42655897cf57434703fc8e852b81e4c1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetDiff	Subset	True	Passed	Model Under Test Equivalent Model
55d6f4b405d1a5b062e2eecc4b922a46abc9e381	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetDiff	Subset	False	Passed	Model Under Test Equivalent Model
5a41479b2496c47ce65d10ed1e53b99b31a9c51e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetUnion	Subset	True	Passed	Model Under Test Equivalent Model
60fbcdcb0870bdea92c5ef8495df8482094e9350	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetUnion	Subset	False	Passed	Model Under Test Equivalent Model
1986966b4d3dfd26f672c9b618d995ef85bc77b6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetIntersect	Subset	True	Passed	Model Under Test Equivalent Model
22670c807e8560f178a1d04ff6f984b0c0ef4f00	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetIntersect	Subset	False	Passed	Model Under Test Equivalent Model
f825173b4d9a93c0db32f578a97e6d9a08f90cb2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SubsetEq	Subset	True	Passed	Model Under Test Equivalent Model
8e9b4df89d942a26ac8cd51424a8e60cb668b490	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SubsetEq	Subset	False	Passed	Model Under Test Equivalent Model
25b87f34186a71c7066aaf271c5b2b177b66d367	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Subset	True	Passed	Model Under Test Equivalent Model
75471fca74eb92e3bd3d2759580e43374eceed38	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Subset	False	Passed	Model Under Test Equivalent Model
5dae5051e824bfea171a8cb5581c63700f97bcf3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	Subset	True	Passed	Model Under Test Equivalent Model
23e9d836c687c5fd07c5abca00f82db86141ee2f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	Subset	False	Passed	Model Under Test Equivalent Model
029c2fc4a8cee3e22590fb482ed5dcac0452a56a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Subset	Subset	True	Passed	Model Under Test Equivalent Model
af3cf12b442bda65f4a25cf7d8766b830598b050	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Subset	Subset	False	Passed	Model Under Test Equivalent Model
ba781cae236fc981258efd61e485cf8367785c98	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Union	Subset	True	Passed	Model Under Test Equivalent Model
6c9607cae3dc4120350738dec9abebfee49fa785	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Union	Subset	False	Passed	Model Under Test Equivalent Model
f28776b07083b9b27dada9dc840b7777ecc0b710	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Subset	True	Passed	Model Under Test Equivalent Model
7223285ec722e36c4dfe8487f58c413356448e37	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Subset	False	Passed	Model Under Test Equivalent Model
232083fb58175f55fb6b970d449b2e437648857d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSeq	Subset	True	Passed	Model Under Test Equivalent Model
81f2bf93a7e96b54adf12f07cdcbd2cc3c336757	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSeq	Subset	False	Passed	Model Under Test Equivalent Model
218fad5e4e8f55ce5ae4704c1835cf8ee32b9e29	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	Subset	True	Passed	Model Under Test Equivalent Model
c1fa99453ba29388359ebbd14701c7ca8291cecc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	Subset	False	Passed	Model Under Test Equivalent Model
0a14e53caf6dfcc6ff1db165719618436a8b81ca	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcPermuteFun	Subset	True	Passed	Model Under Test Equivalent Model
3e0040a2d8aa3deaba6a3d042565f6d1e4da7cbc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcPermuteFun	Subset	False	Passed	Model Under Test Equivalent Model
c97ef98f9bedfae93fcfe79b14be0da00af65e84	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	Subset	True	Passed	Model Under Test Equivalent Model
d6674dcdf83e8dee90d052569d96d7cd62583c27	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	Subset	False	Passed	Model Under Test Equivalent Model
1b67c7f768586445478527af1be79183284a6f54	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSetToBag	Subset	True	Passed	Model Under Test Equivalent Model
172cca298ae49c4ce2ea938e8b2de292fc9b1dec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSetToBag	Subset	False	Passed	Model Under Test Equivalent Model
e45ddc060c75839cf7f1735339a261475961f5f5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	Subset	True	Passed	Model Under Test Equivalent Model
a4ca9eecae666a584009197e947474744edabea3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	Subset	False	Passed	Model Under Test Equivalent Model
fee6b64297903a755a8e4246f5247ff749ec1bcf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	Subset	True	Passed	Model Under Test Equivalent Model
af14384de137ae0dd6cb38198f1a61f52fe07e5a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	Subset	False	Passed	Model Under Test Equivalent Model
ff29fc066ddba15c3426d4cd716b0f5e83bbeb89	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsIsFiniteSet	Subset	True	Passed	Model Under Test Equivalent Model
f76e0d8fb3390a7998e44ec29c3e7072b5755fb3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsIsFiniteSet	Subset	False	Passed	Model Under Test Equivalent Model
607ff079fc3002fd20966372fb11eec911f85cd3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsCardinality	Subset	True	Passed	Model Under Test Equivalent Model
434c1b3e339cf2294c9a7f76dea038aa9c92a3b3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsCardinality	Subset	False	Passed	Model Under Test Equivalent Model
15f3f227898302e44433766a1dd4cf0342bf4e5c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	Subset	True	Passed	Model Under Test Equivalent Model
469280b695cbc4970331985c56cb7adad5fbcf22	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	Subset	False	Passed	Model Under Test Equivalent Model

Index

Tests by plug feature Subset; CLI Option: -workers 2