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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
f14cf80fd8131e048fd4eced254688af346f7580	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	And	IfThen	True	Passed	Model Under Test Equivalent Model
4937817c31f431215ef684d976c4b64905bd034b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	And	IfThen	False	Passed	Model Under Test Equivalent Model
d094afe77504f8fbf882dcb3791c86762b32df2a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndMultiLine	IfThen	True	Passed	Model Under Test Equivalent Model
bf08f5ceeb487d7ea783232b37e76898d501cb88	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndMultiLine	IfThen	False	Passed	Model Under Test Equivalent Model
2f9186a5ab8a274b75b722db7d8621f5e506c2b7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Imply	IfThen	True	Passed	Model Under Test Equivalent Model
f5e313aa93e1d53838504bc526f6f95fd806f5f9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Imply	IfThen	False	Passed	Model Under Test Equivalent Model
5e7b142c6bcea899a3d723cc7be67076835366c6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Not	IfThen	True	Passed	Model Under Test Equivalent Model
298c64d325d40669f33c0881d6fb624a5bed9d0f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Not	IfThen	False	Passed	Model Under Test Equivalent Model
85f1949d8ac776fabb29ac28198e21100dd2d0e8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Or	IfThen	True	Passed	Model Under Test Equivalent Model
a07203e73739a195b65bdab9eab54d000cfdcbbd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Or	IfThen	False	Passed	Model Under Test Equivalent Model
40a823ce60375289ade81478a2bf739ad3e107ce	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	OrMultiLine	IfThen	True	Passed	Model Under Test Equivalent Model
47dc7e99cde8bb7b772a9a743858cb9c5845072f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	OrMultiLine	IfThen	False	Passed	Model Under Test Equivalent Model
a0684f353c99e236ca8fd7facf468876242a374a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndProp	IfThen	True	Passed	Model Under Test Equivalent Model
17b258e35920b3db5f8d1334796c9d1861cb855a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndProp	IfThen	False	Passed	Model Under Test Equivalent Model
e6640651d75caf93c6cd357dbf527af08fca20fd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Boxed	IfThen	True	Passed	Model Under Test Equivalent Model
0d3f2aaad76265870ef918bd522352cf66eba988	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Boxed	IfThen	False	Passed	Model Under Test Equivalent Model
5b920bef7a0666011febf6233a8983a3fb32dc2c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	IfThen	True	Passed	Model Under Test Equivalent Model
4e2c358cfcada7fc585a40f4fd3963c4a66fa102	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	IfThen	False	Passed	Model Under Test Equivalent Model
8b97b4ceafa622296e59733ad4ede4f356aa218f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	IfThen	True	Passed	Model Under Test Equivalent Model
33e17369161b492b24316026bce48e703f06ebc1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	IfThen	False	Passed	Model Under Test Equivalent Model
4e822c0686e1309c19a7263cd9e5b6080e8bfd7d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	IfThen	True	Passed	Model Under Test Equivalent Model
ca1f903bde01ce69a48e6729f9f79ea08db5cff3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	IfThen	False	Passed	Model Under Test Equivalent Model
7a44a1e9ab621ddeed214e61981127a0f3c4364f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	IfThen	True	Passed	Model Under Test Equivalent Model
682626fe3743e6308701f1d2bf8949c715a8c5ae	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	IfThen	False	Passed	Model Under Test Equivalent Model
05d08914e9ec37c935917a7a8dd0bf4699dae503	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	IfThen	True	Passed	Model Under Test Equivalent Model
f34e03acdff113bd9b614644261982a379e2ec7b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	IfThen	False	Passed	Model Under Test Equivalent Model
4a39936bdca8d73060cb91783f48ed62441b4988	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	IfThen	True	Passed	Model Under Test Equivalent Model
6cb815a0c87f3a8c676a73548ef797f4aea9710e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	IfThen	False	Passed	Model Under Test Equivalent Model
ad6d2327af04f243626fb2f87e50fd21b71c0d0b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	IfThen	True	Passed	Model Under Test Equivalent Model
3f916c2d23a9067e081c68ae12f0085d4643e9c9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	IfThen	False	Passed	Model Under Test Equivalent Model
26dc61bab7cf0033db6c31b04b225d184ae6ec9e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	IfThen	True	Passed	Model Under Test Equivalent Model
15a92be3069c404d93ade51f95c7c072517c8cf0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	IfThen	False	Passed	Model Under Test Equivalent Model
96d4013d86ea1585858f2e8c4d869788ff4f9883	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	IfThen	True	Passed	Model Under Test Equivalent Model
cea8c61049f90fda524c10eebdae1c7ee5a8dfc2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	IfThen	False	Passed	Model Under Test Equivalent Model
8b95d0e22073723e36de55f2180a3335df4afddb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	IfThen	True	Passed	Model Under Test Equivalent Model
08d0ecefc8dbd69551985914cf14403097a406b1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	IfThen	False	Passed	Model Under Test Equivalent Model
272ce03605a7295c9497adf25afd37bb12986590	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	IfThen	True	Passed	Model Under Test Equivalent Model
76682e356efd6c0ec0c468e4c383c97ef0712209	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	IfThen	False	Passed	Model Under Test Equivalent Model
b272fcd2017bfef2546e82a18aae6417dfe41321	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Choose	IfThen	True	Passed	Model Under Test Equivalent Model
7b9963b4f9b60f1fc4c5bb6c1e6426e90d29ca8d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Choose	IfThen	False	Passed	Model Under Test Equivalent Model
13a58a578f44017cf3d7db3feb4b450234d0d59b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	IfThen	True	Passed	Model Under Test Equivalent Model
29918be12594b92408f0a639902626a6a8d23c6c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	IfThen	False	Passed	Model Under Test Equivalent Model
982d23fc163ce390db997cd090855948eb8b2bdb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	IfThen	True	Passed	Model Under Test Equivalent Model
fe4a0b1c631070601e5a56c1119b9e270354a168	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	IfThen	False	Passed	Model Under Test Equivalent Model
8d79817496fd9b74b2abee1daa424a1297a0ad5b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	IfThen	True	Passed	Model Under Test Equivalent Model
10ab2f6f82297d27d3d4d9b2ee2c19a7c53f0e9a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	IfThen	False	Passed	Model Under Test Equivalent Model
0093651b48028dbb7bda9b48af8efd38cb4caecc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except0	IfThen	True	Passed	Model Under Test Equivalent Model
b1352b527ee0f12ddaca783dbfe1e6b445a5d269	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except0	IfThen	False	Passed	Model Under Test Equivalent Model
82bca4ec1bba0f833e130cc55269cec14165e409	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	IfThen	True	Passed	Model Under Test Equivalent Model
38acad1e8664407666a7ddc9c6b0af9c2d0e705f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	IfThen	False	Passed	Model Under Test Equivalent Model
e53917363bdb3c406269efae9fc974bf2d878192	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	IfThen	True	Passed	Model Under Test Equivalent Model
3ef3a43492a423c6f38880881f96e12c92b9e874	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	IfThen	False	Passed	Model Under Test Equivalent Model
950e27467e10fdaf3fe76b97909993ee00e95273	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	IfThen	True	Passed	Model Under Test Equivalent Model
b101b5d84c9af310efbc96bdc090a143b34bde0e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	IfThen	False	Passed	Model Under Test Equivalent Model
4a86f140872e9e4df25f105e4fd82d5e486478a6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	IfThen	True	Passed	Model Under Test Equivalent Model
b366ee095422aa7ce2c202cabbcb13940ddecd8f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	IfThen	False	Passed	Model Under Test Equivalent Model
c09e563dcc49a17200f04f7e813ab1cbc302a9b0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	IfThen	True	Passed	Model Under Test Equivalent Model
bee97d7f67210d1e6b0a90be2b60d97dbc73b33b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	IfThen	False	Passed	Model Under Test Equivalent Model
b150ce389d3e99d2e723ca7b1c066a2c2ccd8e54	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2FunTuple	IfThen	True	Passed	Model Under Test Equivalent Model
679b0b6488c629819bd9d7b08ca26e3f48db8ca2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2FunTuple	IfThen	False	Passed	Model Under Test Equivalent Model
3e15644cb4cc2ebf8d4deadf14f633bf4bc31997	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	IfThen	True	Passed	Model Under Test Equivalent Model
53317d39ee866c65b954fa1deb7502f650500243	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	IfThen	False	Passed	Model Under Test Equivalent Model
c35be21b013cb84bb851afe5c957f492ff888843	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumUnaryMinus	IfThen	True	Passed	Model Under Test Equivalent Model
94e8982368e7c5290153ed34289a722c8389d064	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumUnaryMinus	IfThen	False	Passed	Model Under Test Equivalent Model
20d4fec8efc8fb9e627247bd9af1f8eb70c5265b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumPlus	IfThen	True	Passed	Model Under Test Equivalent Model
5d7cff2165d3f4da62488f72e6ed3d31848e3c8e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumPlus	IfThen	False	Passed	Model Under Test Equivalent Model
b3c2b729ee382dffa31e7bfb5f1493b5149d6794	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMinus	IfThen	True	Passed	Model Under Test Equivalent Model
9ab7597eec50bad8661c8cf1d7e9f02317ff973d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMinus	IfThen	False	Passed	Model Under Test Equivalent Model
a2565be6b8362a779f44ebc782300fcbfe7094a0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMul	IfThen	True	Passed	Model Under Test Equivalent Model
8763c46af552a18c203d202761cd4ab5090680cc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMul	IfThen	False	Passed	Model Under Test Equivalent Model
f991bc9069222e7ea12edc1694d042a465ba9937	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumDiv	IfThen	True	Passed	Model Under Test Equivalent Model
d50860c21996498a99b9adec29cf5d985e24da53	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumDiv	IfThen	False	Passed	Model Under Test Equivalent Model
a9b72bbec6b5eb6aeafa54fb87b084ceaf88f2ee	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMod	IfThen	True	Passed	Model Under Test Equivalent Model
92cc3c884766578691a35ccc9a4a93eec5610324	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMod	IfThen	False	Passed	Model Under Test Equivalent Model
da8d8df51be862e054a651b911a027dad4705ed8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumPow	IfThen	True	Passed	Model Under Test Equivalent Model
7f85df4dab7edaf1ea407fe957ab5b1f6c68776b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumPow	IfThen	False	Passed	Model Under Test Equivalent Model
7f5028a782235ea02c3cb074369d453ff0f12e79	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumGt	IfThen	True	Passed	Model Under Test Equivalent Model
0a83674291ad22bd57157050cb23f2c8f4109661	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumGt	IfThen	False	Passed	Model Under Test Equivalent Model
4ea7722ebee5cae29773da990c4d73de288617f8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumGe	IfThen	True	Passed	Model Under Test Equivalent Model
877473daedf71abd4fbdd5e5cae6613364fdd350	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumGe	IfThen	False	Passed	Model Under Test Equivalent Model
8ce78e4ed26e8a111fed19afdb1e225cc96071c3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumLt	IfThen	True	Passed	Model Under Test Equivalent Model
684d63b9d873ceb6f156e55c6deed34136125d1b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumLt	IfThen	False	Passed	Model Under Test Equivalent Model
c4e43892996f45f17507c4fa217f483d73df5a95	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumLe	IfThen	True	Passed	Model Under Test Equivalent Model
c85da3295e5a12f096d440889d38b72291f324c8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumLe	IfThen	False	Passed	Model Under Test Equivalent Model
64cb6f46679fd434437d3b739ae03c42e476aa92	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	IfThen	True	Passed	Model Under Test Equivalent Model
342f204e106d4a8c7fbf270abb3a7ca36988ec0a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	IfThen	False	Passed	Model Under Test Equivalent Model
020a9d8791bafa458f31683bb3dcd48aba464b82	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	IfThen	True	Passed	Model Under Test Equivalent Model
ea3c54e15ed630e78342d4a55576d5a7fbabe65b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	IfThen	False	Passed	Model Under Test Equivalent Model
b57629a201d6f683833a5a5bf1fe591668391f16	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	IfThen	True	Passed	Model Under Test Equivalent Model
cb8612cf3d0b9d0d9f36ec683d42b83ff7e8174c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	IfThen	False	Passed	Model Under Test Equivalent Model
262c43d7f65e446588ec457bd917c15d93b9dfe9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	IfThen	True	Passed	Model Under Test Equivalent Model
b52ccf4bd56b94bb95024d8a9b71e9db7ba8cf9e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	IfThen	False	Passed	Model Under Test Equivalent Model
4c00ab166e84df36f7bdad73be31b2cc207d4181	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	IfThen	True	Passed	Model Under Test Equivalent Model
1840cf3bc83882263f9069a9fd1377d04b003d45	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	IfThen	False	Passed	Model Under Test Equivalent Model
f9d77b6030921850c38187afab1e84ab8dcb18be	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	IfThen	True	Passed	Model Under Test Equivalent Model
e663eb1e4170649ef03b2cad469976002622b5e2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	IfThen	False	Passed	Model Under Test Equivalent Model
9a827ba384578df6dd60ecc6f1acc79f9d6dc73b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	IfThen	True	Passed	Model Under Test Equivalent Model
c927610c244584cb0a0e68ff227521e1200542e5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	IfThen	False	Passed	Model Under Test Equivalent Model
6694696738995b215a9b4b42640c6ba7d2b735e8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	IfThen	True	Passed	Model Under Test Equivalent Model
950fab1c0a858f3561497880f758908fc4b0a0a0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	IfThen	False	Passed	Model Under Test Equivalent Model
931e03617c554fedc98ddff2676d0f2b6c8b0375	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	IfThen	True	Passed	Model Under Test Equivalent Model
c2bdb40dcd0673ec0dc6d20bce83c2bfe8052429	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	IfThen	False	Passed	Model Under Test Equivalent Model
f3edce041928a07509a3c30823124661f139294b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	IfThen	True	Passed	Model Under Test Equivalent Model
1343a5988651a9faa3e25c187afa4547f5b0c8ee	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	IfThen	False	Passed	Model Under Test Equivalent Model
cde94d28e68b0299e5ea94a595b20ab7a8a22420	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	IfThen	True	Passed	Model Under Test Equivalent Model
5284f73ec4dafb554d8a3bf43b0a2565384ecd01	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	IfThen	False	Passed	Model Under Test Equivalent Model
1e03f1e81679c031512f99de897e617114e4e95a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	IfThen	True	Passed	Model Under Test Equivalent Model
760efac7a2294fa1c2b426caa988c6597cf5d656	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	IfThen	False	Passed	Model Under Test Equivalent Model
40f5758f5e4c441f8d8e5a98069c1f4dd5c2f67c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	IfThen	True	Passed	Model Under Test Equivalent Model
8805a2ddbd98cee3f4e5aee1f8dd80fa63a36096	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	IfThen	False	Passed	Model Under Test Equivalent Model
0132d1935d66f0ce656efdab1a20332787ecdc95	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	IfThen	True	Passed	Model Under Test Equivalent Model
bebb454812a75cf539e8d9662e6a4562dbca7da0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	IfThen	False	Passed	Model Under Test Equivalent Model
032c021864271d93ce564ae93318a2329e85211e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	IfThen	True	Passed	Model Under Test Equivalent Model
f73972d32d5d57e0498efa938b9a1ccd99398056	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	IfThen	False	Passed	Model Under Test Equivalent Model
037ad01ae94f2f9d0f0868bd74ec1f868d5cf5d3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	IfThen	True	Passed	Model Under Test Equivalent Model
bfced3bb40eb4ee4f00a7c5968c5c0f66bc35461	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	IfThen	False	Passed	Model Under Test Equivalent Model
1a8e6d454fbe4b7953cfad99fc7b33c650fe1076	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	IfThen	True	Passed	Model Under Test Equivalent Model
0758532c256b5e6838f45b8fcdd0aa3bafc23370	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	IfThen	False	Passed	Model Under Test Equivalent Model
6d15d55afc2273c903a6beb5403ecc3f19d07e49	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	IfThen	True	Passed	Model Under Test Equivalent Model
afa0550806a8b510a0f65ea9ec100067667c5eea	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	IfThen	False	Passed	Model Under Test Equivalent Model
3cf99c0c7dc3e23596e8daff73927263ae4f83c0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	IfThen	True	Passed	Model Under Test Equivalent Model
ee885998579def692dcbb5fa219efdc09364d9eb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	IfThen	False	Passed	Model Under Test Equivalent Model
90419f6992f1cde5dc562046d80733da81ff17e4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	IfThen	True	Passed	Model Under Test Equivalent Model
455c9ea768cc066b6abdbd91fdc272d357abca8b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	IfThen	False	Passed	Model Under Test Equivalent Model
97c4d0e8b26e8f8eb5022f4be0bfebcdd8d52466	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	IfThen	True	Passed	Model Under Test Equivalent Model
66733bf34d805ff0df3df64ccce1b7a81b118acc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	IfThen	False	Passed	Model Under Test Equivalent Model
0f8aa266d1190ede7a11cce85ab8dccfe35ee72c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	IfThen	True	Passed	Model Under Test Equivalent Model
50f8a55fbbb98e2e6a8449d1d270b0421b729778	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	IfThen	False	Passed	Model Under Test Equivalent Model
9d493e3e3b1b35aac6dff6c7568edbd7dcd62c5b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	IfThen	True	Passed	Model Under Test Equivalent Model
82e2fd2792d9fb9ded610af6aea7cee2849100f2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	IfThen	False	Passed	Model Under Test Equivalent Model
14a80dc02f9fa60f82bf46d41744c2255005f969	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	IfThen	True	Passed	Model Under Test Equivalent Model
5f5fb2cb6f7d9738d7f0e8e949675ebd8198d01b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	IfThen	False	Passed	Model Under Test Equivalent Model
e24d79a73494dfc9c0af66d0ba6d887e22a05168	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	IfThen	True	Passed	Model Under Test Equivalent Model
73ed16b7d9db20452911f76c973fba3739eb738f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	IfThen	False	Passed	Model Under Test Equivalent Model
11e7951d0d02111483c2d8035d2e138e2291c8e1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	IfThen	True	Passed	Model Under Test Equivalent Model
afddb00246a47e80adf8a61cd4909df26d6b4514	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	IfThen	False	Passed	Model Under Test Equivalent Model
ea0ee5ab4ac843a65d93d2f70b34dc9b1f1f5f43	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	IfThen	True	Passed	Model Under Test Equivalent Model
072ea1b4337411baec33a45bd8eabd06634fe9dd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	IfThen	False	Passed	Model Under Test Equivalent Model
0dcdf5e4e521bc1e7c20434ad6c029cb2b8a96bd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Assume	IfThen	True	Passed	Model Under Test Equivalent Model
dc6ef5f3ec4e174d9e801aeef1550ebf78b72a76	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Assume	IfThen	False	Passed	Model Under Test Equivalent Model
524c707244fac3d4c4e600b1a7e338ed5e10f1a5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AssumeNamed	IfThen	True	Passed	Model Under Test Equivalent Model
8186eb01ba16f2bb9c05cc059730d95cea47cdec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AssumeNamed	IfThen	False	Passed	Model Under Test Equivalent Model
a83629dcf6ba4575722aa8f670ebbc25d86a9d78	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	IfThen	True	Passed	Model Under Test Equivalent Model
4afef608fb38d15001ad9266f373bfd278c71c63	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	IfThen	False	Passed	Model Under Test Equivalent Model
71b3913b891f0a90c080a2404dcf2864878f42b3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross2	IfThen	True	Passed	Model Under Test Equivalent Model
9252186758e791347dfae8a7af3783646d392f65	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross2	IfThen	False	Passed	Model Under Test Equivalent Model
a9ef97d29d81f6ae93a6d065fd33ceb9a3a55b0e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross3	IfThen	True	Passed	Model Under Test Equivalent Model
142de09aceda18dbc5414bce3d449f428ae69dcd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross3	IfThen	False	Passed	Model Under Test Equivalent Model
84bcd8149c4ef11627f36339736d1a18cd990ded	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunSet	IfThen	True	Passed	Model Under Test Equivalent Model
f43e8e770bb903dc1b4af645fd68c846e6f671e1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunSet	IfThen	False	Passed	Model Under Test Equivalent Model
c320078b25fd1d5fd9ef5a2991049ab23226aff4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	RecordSet	IfThen	True	Passed	Model Under Test Equivalent Model
da24b78eea093b398b14d4def0cea6f160b0b3fc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	RecordSet	IfThen	False	Passed	Model Under Test Equivalent Model
b8a7a23fb48cbc43b63d82554f8ceed9b040bac1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetDiff	IfThen	True	Passed	Model Under Test Equivalent Model
8a6b4abbd51b856216dcef20c4cd7a078ce9e854	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetDiff	IfThen	False	Passed	Model Under Test Equivalent Model
d192c707560626c32e13c1e7c1d4dee73bcd723d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetUnion	IfThen	True	Passed	Model Under Test Equivalent Model
74330c64d20bdff5a322ff76fd20480c2cc5dd8e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetUnion	IfThen	False	Passed	Model Under Test Equivalent Model
f2917a82b6d0ca22143c147abab14f8a63aa1a7e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetIntersect	IfThen	True	Passed	Model Under Test Equivalent Model
a6bbc58171fcab1e0e13fc4596b5f2ee3b8a4d48	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetIntersect	IfThen	False	Passed	Model Under Test Equivalent Model
3f36aba1fb27b780fee78986f676c311bfbb71de	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SubsetEq	IfThen	True	Passed	Model Under Test Equivalent Model
73a22f0bcf69634bae41657aeb058a12bab0ea3a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SubsetEq	IfThen	False	Passed	Model Under Test Equivalent Model
e6988240cc12a9eac439a9f967f42de8c4a6daea	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfCond	IfThen	True	Passed	Model Under Test Equivalent Model
577e1c5f835fec097b2c271b0448fba107de9611	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfCond	IfThen	False	Passed	Model Under Test Equivalent Model
2ebeb0c0191c1abaf70eae25588fb4e3ce3e0c66	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	IfThen	True	Passed	Model Under Test Equivalent Model
60c92791e26ca304483d01994d4a7d44210b3b0d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	IfThen	False	Passed	Model Under Test Equivalent Model
a96834f038e3e1e864cd475f60e49887c0b5b147	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	IfThen	True	Passed	Model Under Test Equivalent Model
25b40057f6693a319d0c1b1fcac672c58b16df54	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	IfThen	False	Passed	Model Under Test Equivalent Model
4c9bf445b8a89a67e14a7cec3a917e22dff036d8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Subset	IfThen	True	Passed	Model Under Test Equivalent Model
ea71d763c44c9b868486fc83028258baa70b9b86	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Subset	IfThen	False	Passed	Model Under Test Equivalent Model
55c86383fb84cf4a6282ce5f953cac571440b677	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Domain	IfThen	True	Passed	Model Under Test Equivalent Model
22fa747770b48f2383cb1833a6fa2a6a6bc556f6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Domain	IfThen	False	Passed	Model Under Test Equivalent Model
d56049f672de7ee41bba0a797a01c217ddf7af57	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Union	IfThen	True	Passed	Model Under Test Equivalent Model
a4c68f46b05d8c20ea578cab225e6014b9587a53	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Union	IfThen	False	Passed	Model Under Test Equivalent Model
8ff4988c9f6242db4b983786c798187b5e3d4b35	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	IfThen	True	Passed	Model Under Test Equivalent Model
1df32a1a98c3f364efd75e94ecd3ae37bc27c2c2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	IfThen	False	Passed	Model Under Test Equivalent Model
3e1fd180363ebc628606a1b68fcc726c7536ee14	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Equivalence	IfThen	True	Passed	Model Under Test Equivalent Model
098ffdcd4762d9f29d1e29134bfd7b0bd6f0296b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Equivalence	IfThen	False	Passed	Model Under Test Equivalent Model
e21cd62ae59a8cff74b054adf752834eae35df33	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqLen	IfThen	True	Passed	Model Under Test Equivalent Model
86ab37cdf02650e55cac9c9ae4877a00ddacbd97	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqLen	IfThen	False	Passed	Model Under Test Equivalent Model
98ebc3100021d6ed545d7dae567aab1d7e5d126e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqConcat	IfThen	True	Passed	Model Under Test Equivalent Model
be81b118106541b3647f6abe2f2412a90b6247bb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqConcat	IfThen	False	Passed	Model Under Test Equivalent Model
511da56c944523b1718494beec4e95f1fa504885	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSeq	IfThen	True	Passed	Model Under Test Equivalent Model
6817f49230eb6617177762e9a29d84bd3d2e12ba	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSeq	IfThen	False	Passed	Model Under Test Equivalent Model
41c3ef67c6f6450bc6b063c7c12479f5f92d4c9d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSelectSeq	IfThen	True	Passed	Model Under Test Equivalent Model
2a42226915e19e35a5229f916e32bd2ec8a7f61f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSelectSeq	IfThen	False	Passed	Model Under Test Equivalent Model
82e95f9c96879d82301536b9b40f7f7797db910d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSubSeq	IfThen	True	Passed	Model Under Test Equivalent Model
4f554f875f16de3020788a0329a94768c35b2c32	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSubSeq	IfThen	False	Passed	Model Under Test Equivalent Model
e2e2cd2a4ca4f23cceb47db149aabd1241ae3bfb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumRange	IfThen	True	Passed	Model Under Test Equivalent Model
823d4a8e22f15d6ef5738c09e0ddce5c84fa4b78	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumRange	IfThen	False	Passed	Model Under Test Equivalent Model
14006c88559c250f054fb57f7ebaa0592dbec41e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	IfThen	True	Passed	Model Under Test Equivalent Model
430f9224b8fe67bff07ca70935929266cb4d187e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	IfThen	False	Passed	Model Under Test Equivalent Model
8e643b7c247ce5bcd116cd860063f315dbb3c714	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcExtendFun	IfThen	True	Passed	Model Under Test Equivalent Model
97e5e9341300407fabfb07c66cc281879cdc1940	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcExtendFun	IfThen	False	Passed	Model Under Test Equivalent Model
96532cc1aa99e8300de982d6187b6d67c2aafff9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcPermuteFun	IfThen	True	Passed	Model Under Test Equivalent Model
fb05372de063c599cdcfb60b48089743b93533b3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcPermuteFun	IfThen	False	Passed	Model Under Test Equivalent Model
95f60a58556363f0afb54bb5e5c5c172b0a618e2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSortSeq	IfThen	True	Passed	Model Under Test Equivalent Model
b5663214390526363a1fdbc1e47fea4f3ba82877	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSortSeq	IfThen	False	Passed	Model Under Test Equivalent Model
af44f793d53c53c126a4f2a00c243edec2cd8239	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	IfThen	True	Passed	Model Under Test Equivalent Model
4f7afde4a674bfb05e33ce081dc5ad8c56ae8127	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	IfThen	False	Passed	Model Under Test Equivalent Model
43882239f5be679792211281f46bf71579374672	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagToSet	IfThen	True	Passed	Model Under Test Equivalent Model
867f4ebf4cdf93a1c0db3f0a99528831b85c64b5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagToSet	IfThen	False	Passed	Model Under Test Equivalent Model
1b00927cee79d3100095b901029563fcd8556d79	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSetToBag	IfThen	True	Passed	Model Under Test Equivalent Model
85f0530ef0ba1f723d39a57e7a7de6e4dbb54ef3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSetToBag	IfThen	False	Passed	Model Under Test Equivalent Model
3b02a6c73080e5e1010226326ca22c3ed26f26b3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	IfThen	True	Passed	Model Under Test Equivalent Model
10dd15971d943b2df79e940876af96d6cea01a39	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	IfThen	False	Passed	Model Under Test Equivalent Model
be03cda1bf042ccac8df60707857724d7fc57549	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagAddBag	IfThen	True	Passed	Model Under Test Equivalent Model
55dfdf9fcfd0e4969aad7c0327a20610c3aec1e4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagAddBag	IfThen	False	Passed	Model Under Test Equivalent Model
a710fc2691f91d1c4fc275ef5b8542041fb656cb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagSub	IfThen	True	Passed	Model Under Test Equivalent Model
dd0d9b1038dd02902316cf00331c4ea98b000309	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagSub	IfThen	False	Passed	Model Under Test Equivalent Model
a110c238d73d40a2381c7a3d85a54bc80eed175f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	IfThen	True	Passed	Model Under Test Equivalent Model
cc799dbc4d1687805723fa1f622d716b1eb6690b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	IfThen	False	Passed	Model Under Test Equivalent Model
c5f738d1f80b9e0e896a89cace0761493d862ddb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSubsetEqBag	IfThen	True	Passed	Model Under Test Equivalent Model
f271a2199338dbf380ca5ae274a100d57f2a6af3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSubsetEqBag	IfThen	False	Passed	Model Under Test Equivalent Model
8a617872b26342d7e5e6e3004fd40c2fd307ac3f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagUnion	IfThen	True	Passed	Model Under Test Equivalent Model
c57a8baf071bba831067f6e4d37c49c6aece513e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagUnion	IfThen	False	Passed	Model Under Test Equivalent Model
da82a59fca766547f7e3c430ce3fb37ccee80dda	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagCardinality	IfThen	True	Passed	Model Under Test Equivalent Model
bcfcd0238bfb572d07a8f5e56e8f7aab74e903be	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagCardinality	IfThen	False	Passed	Model Under Test Equivalent Model
6891de09d5d487fe904cf912157ebac1a2a66210	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagOfAll	IfThen	True	Passed	Model Under Test Equivalent Model
95a4b66d1828f1d435d8d84bd3a512397d7bf4d7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagOfAll	IfThen	False	Passed	Model Under Test Equivalent Model
219c86ce6b5e40a1fc755c1fc2afa6c860450cd6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSubBag	IfThen	True	Passed	Model Under Test Equivalent Model
e32d67bd204254b03696c7ac9976fbd95b7a95ff	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSubBag	IfThen	False	Passed	Model Under Test Equivalent Model
b94a7a7b939379306d2fedc9c3a200a44cc89f7d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsIsFiniteSet	IfThen	True	Passed	Model Under Test Equivalent Model
531a1f3e23d796da2c25a1a15317a1ea47dab39b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsIsFiniteSet	IfThen	False	Passed	Model Under Test Equivalent Model
c9d9a05457dad3ae0adee0eba01f454e47edb476	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsCardinality	IfThen	True	Passed	Model Under Test Equivalent Model
34e18342196718182a92620153947ff98a1eb4f2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsCardinality	IfThen	False	Passed	Model Under Test Equivalent Model
2e01324e7d9d9dc6867cf536cf275e4ff0362037	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqHead	IfThen	True	Passed	Model Under Test Equivalent Model
88a5c850a17196be8fc1bc3d8688b17141e0b143	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqHead	IfThen	False	Passed	Model Under Test Equivalent Model
46fd0b20095fb98edeb0ad0ad35f50c3a9f420b1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqTail	IfThen	True	Passed	Model Under Test Equivalent Model
5213a721bc4826a29f7ed0156a2fb794bcabe940	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqTail	IfThen	False	Passed	Model Under Test Equivalent Model
f22ba8da010eda7b1710c3bf37ccbf71a8a59754	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	IfThen	True	Passed	Model Under Test Equivalent Model
b1020b92ddc89ada17836c1c0b32c0161dde0abf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	IfThen	False	Passed	Model Under Test Equivalent Model

Index

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