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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
157c139896fcaa6a042a2204c973cdf4e6bf3320	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	OneLineComment	True	Passed	Model Under Test Equivalent Model
d7c481790c023a7b857acc787acfe0e737ec8ffc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	OneLineComment	False	Passed	Model Under Test Equivalent Model
2504e07469e70f2f2578c895de5850f0222af908	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	MultiLineComment	True	Passed	Model Under Test Equivalent Model
a5f31fde226841cd10858c538d46e9f5ff71d4ad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	MultiLineComment	False	Passed	Model Under Test Equivalent Model
74b830ffc4fcc4c093fda6e2e4bc14ba5db15745	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BoolTrue	True	Passed	Model Under Test Equivalent Model
2fe053ab60aabbd6a5b7af32a8385bf97d02bc1d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BoolTrue	False	Passed	Model Under Test Equivalent Model
bb1a45a44b83723f0fd4ebc732d096cc086be31d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BoolFalse	True	Passed	Model Under Test Equivalent Model
47ee153a433faf705a75c39f99f5f6b36d22ed6a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BoolFalse	False	Passed	Model Under Test Equivalent Model
eb930d5561e9f3779e3e892dcd7c79913b2112b4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BoolSet	True	Passed	Model Under Test Equivalent Model
88772dc8d7407a02ba9ee2235615aac9785d6d89	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BoolSet	False	Passed	Model Under Test Equivalent Model
91fe494267f70472197b9b0aa538d9e2386d3942	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	And	True	Passed	Model Under Test Equivalent Model
8a673a8c482b8a44121b798e5c5abd95847549da	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	And	False	Passed	Model Under Test Equivalent Model
f8d63ed5e086c5b84a830975e82fe2d99fa5b9bb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	AndMultiLine	True	Passed	Model Under Test Equivalent Model
6f9831dc8bfd6871b6a3a476fb7ae554701d26c2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	AndMultiLine	False	Passed	Model Under Test Equivalent Model
c51af292e43a1e2131f1ed4c78102e79afff97be	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Imply	True	Passed	Model Under Test Equivalent Model
2dfa28928b8e570924cc02cab91e564f5a7ab8ca	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Imply	False	Passed	Model Under Test Equivalent Model
1ac5cce5cd08337f2df2fb0d28e55e69043ffbc0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Not	True	Passed	Model Under Test Equivalent Model
f82076ada398199e02858c700001efd4d4d410a3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Not	False	Passed	Model Under Test Equivalent Model
d7433e124d87e0dc6594076e4060c2f47fcfec07	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Or	True	Passed	Model Under Test Equivalent Model
c4d9f10e660a0bbbdb6648f642640274eb4560eb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Or	False	Passed	Model Under Test Equivalent Model
0eb26f634e77587978d14262fd9f0fcd3009b1ae	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	OrMultiLine	True	Passed	Model Under Test Equivalent Model
284a4a3204ddfb45de6fd202c1e215cd46fa400c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	OrMultiLine	False	Passed	Model Under Test Equivalent Model
7103fa77db374d5ae291114969351ceb08cc4f11	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Eq	True	Passed	Model Under Test Equivalent Model
db909a176cdf9361f7280f3ae1d399d6d905ce50	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Eq	False	Passed	Model Under Test Equivalent Model
b9e79217a73678ed1d1e7fe1a76b5d28fb142fce	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Ne	True	Passed	Model Under Test Equivalent Model
44148674463f77ace9ecc1bd2d670076eb3ef4fb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Ne	False	Passed	Model Under Test Equivalent Model
8d11318574e204ea406daafc85190697786dc3a6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Let	True	Passed	Model Under Test Equivalent Model
bf22f5e9a9a93de82c45bfe3c894f2c5d50de172	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Let	False	Passed	Model Under Test Equivalent Model
ebe4fcc98fe5d6bbc7cf240915399f177bf5c481	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	SetEmpty	True	Passed	Model Under Test Equivalent Model
9b616e52ee8ef44cb911a6597d030b208d285618	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	SetEmpty	False	Passed	Model Under Test Equivalent Model
8d8395931173b6d19f4081ff3b716c0de383c1d8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Set0	True	Passed	Model Under Test Equivalent Model
9827f215b84ca50514cee645f86e62773145e9a2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Set0	False	Passed	Model Under Test Equivalent Model
9a03eeb96a4ceea90f7470fbcd5f66301ebccc7f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Set1	True	Passed	Model Under Test Equivalent Model
b05845aa61eb611d28e67fe8f9f4504996616209	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Set1	False	Passed	Model Under Test Equivalent Model
44b5caeacd9a4b7c9bc79b0b78d1bf444443edd5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Set2	True	Passed	Model Under Test Equivalent Model
36152fc8fe8289c39bfabcfbb99dd385837f4a12	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Set2	False	Passed	Model Under Test Equivalent Model
2a07ab1cc535759051c41a38d6a9b17734447b1e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Fun	True	Passed	Model Under Test Equivalent Model
acb57b3f0e2888373dc02f5fee28a594b8c5083a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Fun	False	Passed	Model Under Test Equivalent Model
2311ebb3577d51ac4011e1d4f13fb950fa52325b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	In	True	Passed	Model Under Test Equivalent Model
c865ef1599d57a7e46d876c5f4ea051ee6d939d3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	In	False	Passed	Model Under Test Equivalent Model
7b4a885f06d597b96d164204cb9972c7dda050eb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NotIn	True	Passed	Model Under Test Equivalent Model
b4487884417993be81acbab2b82db9360618cd30	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NotIn	False	Passed	Model Under Test Equivalent Model
5224dac99e9b076b4846b42997dd2b53ae01d081	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Exists	True	Passed	Model Under Test Equivalent Model
1afaa95e6aceb1944ee96058758d142659f7aa3a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Exists	False	Passed	Model Under Test Equivalent Model
6912d002eaeee37a1c09203eb9d721c13f328161	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Forall	True	Passed	Model Under Test Equivalent Model
5b5e45e0775e0370aa35a6bfb2c1a4cf0524b7de	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Forall	False	Passed	Model Under Test Equivalent Model
da1c7f9df6205c6512e404e9ef2ef67119b616fe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Choose	True	Passed	Model Under Test Equivalent Model
8c0a496066e9c9671bd2eedf4c5da44fadf121b0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Choose	False	Passed	Model Under Test Equivalent Model
f0bed99feaf1933f190d82c8e30e08bbcd934d98	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Record	True	Passed	Model Under Test Equivalent Model
59456900e0167a93172a15f914ac817ea37cd5f0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Record	False	Passed	Model Under Test Equivalent Model
1c40f039bf75cee07187788c57e266abad257f75	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Tuple	True	Passed	Model Under Test Equivalent Model
8e570f9971acbce3cdcfbe415c516997e5311f26	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Tuple	False	Passed	Model Under Test Equivalent Model
0b506fa434ee46ab283317b70aa7bd59a9d43ab5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	TupleEmpty	True	Passed	Model Under Test Equivalent Model
d2bb9540260d9ef5863bc2b4c2c626474eecea36	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	TupleEmpty	False	Passed	Model Under Test Equivalent Model
e595357c15acde7b92f50286592895e9da173d8c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	FunApp	True	Passed	Model Under Test Equivalent Model
76355e4af90414abc91f7c0a95683e364004cf04	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	FunApp	False	Passed	Model Under Test Equivalent Model
b8b93165faa90b2e9d71f1a82469842492a938be	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Prime	True	Passed	Model Under Test Equivalent Model
eb258115a0024a665f19a83b483ff58f2903c30d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Prime	False	Passed	Model Under Test Equivalent Model
382103710a4dd9bcb0276900b50342996c58629b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumZero	True	Passed	Model Under Test Equivalent Model
b6024d36e5745dd29a932d503fae9f8938324256	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumZero	False	Passed	Model Under Test Equivalent Model
35ff19e6aef1ff701ccb96bc50e3365ccfc8df49	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumOne	True	Passed	Model Under Test Equivalent Model
4a84308682a72e33310d8a2cfa47a7d3a9172399	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumOne	False	Passed	Model Under Test Equivalent Model
3aee9394ce92a0991d0148eee46f6e18cf377fe6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumMaxInt	True	Passed	Model Under Test Equivalent Model
353c84f75940828f418ed89e5dff913acc06c26b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumMaxInt	False	Passed	Model Under Test Equivalent Model
962c87d93fc49315dd0d993c41ee31fd3763c010	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
9a0b42d0b13c53762d18ab1077eea641aa188f90	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
7f9226d5b46cb3df35d2879e18a60b3501961fe4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumPlus	True	Passed	Model Under Test Equivalent Model
4e52cbd0de39eeebe32ca8313c52861f2cd8d107	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumPlus	False	Passed	Model Under Test Equivalent Model
c2d7807df8105908f96acf280680d38171cc1a13	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumMinus	True	Passed	Model Under Test Equivalent Model
5eec0724a8b07b6da936b98298a5756c59d87d67	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumMinus	False	Passed	Model Under Test Equivalent Model
65b7ae4fc046f031822603517138bbfc0f2413ee	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumMul	True	Passed	Model Under Test Equivalent Model
c3c3beaf37bffb69e59e57df447f9e0b6e423cb2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumMul	False	Passed	Model Under Test Equivalent Model
5b29b0bbc7873c2632d7c00253e402980cae367d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumDiv	True	Passed	Model Under Test Equivalent Model
8829fe4fe6ed29f63dc847282d3381ea6b2c668b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumDiv	False	Passed	Model Under Test Equivalent Model
cd25471db34ac4beea487b52368adc0e03e9d5a8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumMod	True	Passed	Model Under Test Equivalent Model
bf2799497b0dfcd4fe981383b2c5428a95f412b8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumMod	False	Passed	Model Under Test Equivalent Model
3401e23591767ec569601e702168237ec0772ae8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumPow	True	Passed	Model Under Test Equivalent Model
8409783da0a25fbaf4a3fad874e3f0f7973b8175	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumPow	False	Passed	Model Under Test Equivalent Model
c50c439da3173dba5ef2a82b1817be536abaddaf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumGt	True	Passed	Model Under Test Equivalent Model
8a52ac288603ff7c1eaca06c576ffdad9604b88a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumGt	False	Passed	Model Under Test Equivalent Model
a791715dff459783ae0b863cceec6d26ca2e90af	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumGe	True	Passed	Model Under Test Equivalent Model
f2bde0eee22a991452a3fa39b7e1ef0056785d28	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumGe	False	Passed	Model Under Test Equivalent Model
74fb3f3be0f655b39a7af1b9b9589eeda8efdc75	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumLt	True	Passed	Model Under Test Equivalent Model
81c00e0b49bc5934042d81fe6870837a142e5c01	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumLt	False	Passed	Model Under Test Equivalent Model
98c81f20908df400a26ad0a533cfc402fe9f7309	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumLe	True	Passed	Model Under Test Equivalent Model
9e5dc46432c6a25938f6cdcc6547b5f50368d588	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumLe	False	Passed	Model Under Test Equivalent Model
c75d0671fd6c74ae12a0c0c533da630d6e9405de	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	DefFun	True	Passed	Model Under Test Equivalent Model
42a9cd6b6a575d080d891841f84bb903509135c2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	DefFun	False	Passed	Model Under Test Equivalent Model
da2961c4b7914ffbf5744c36b81fb1f13f65a7b2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	LetDefFun	True	Passed	Model Under Test Equivalent Model
0735dda03af2bf0e82534e790e09a6ac507977a0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	LetDefFun	False	Passed	Model Under Test Equivalent Model
123646072728b07d7878a2d056d4926d15bbc59b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
4e6b339eb3bfa0a2ddada91c34b6499c2b9fb8c7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
f92309a4cceb9d84fc3724de1d79a5bdc0a04a63	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
a8681e9e83370d960c4edc24eb1af5f983de17ba	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
0affbc861f80858da255274f90ed156eb4e035d5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Def0	True	Passed	Model Under Test Equivalent Model
a7ddf01c99d3de9452aa7b112059a47560ad91e4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Def0	False	Passed	Model Under Test Equivalent Model
28aac417c05929bf75cead2849e18819c6c06890	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	LetDef0	True	Passed	Model Under Test Equivalent Model
609a46adee25b0243f1ecd180a519b73f2eba1c9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	LetDef0	False	Passed	Model Under Test Equivalent Model
3b65326d39076211c952a6739d11f7cb7c8b54df	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Def1	True	Passed	Model Under Test Equivalent Model
ca9c747a71e1c53a5d4fc5ab7216ca923ef59fce	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Def1	False	Passed	Model Under Test Equivalent Model
cff38ec28f507754e7eaa765f25e6f5b38eadbda	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	LetDef1	True	Passed	Model Under Test Equivalent Model
ef8ca913f5ac9f9f0d6b77bc38abf08a427f6eee	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	LetDef1	False	Passed	Model Under Test Equivalent Model
67ddfba1e6b2d9cc150cc15cda67bc07c49566c1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Def2	True	Passed	Model Under Test Equivalent Model
c74fc8436245b51377e36dfeca5ca721de4b07c8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Def2	False	Passed	Model Under Test Equivalent Model
e82bc502854aabef53a300f9287d0fa5ee9e60ef	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	LetDef2	True	Passed	Model Under Test Equivalent Model
296f0ad0c2a985bed8b86376b0c6faf821727f59	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	LetDef2	False	Passed	Model Under Test Equivalent Model
1a125fc82fe6fd402421b868d19687fcf28c4487	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Def1Recursive	True	Passed	Model Under Test Equivalent Model
38f118753bc9222c6b6883e5ac4aeb6c3a3c91b0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Def1Recursive	False	Passed	Model Under Test Equivalent Model
bed444642fb2a90a8f502fd36c4db33b75dc5997	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
86c05d941c5ceb350e44e5cdea98c81c718a92f2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
e27d0191f0a4d0a8c41449cc34f94c6126539313	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Extends	True	Passed	Model Under Test Equivalent Model
1d971ba76019fe4361395de39d39dd48c1ff0bc4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Extends	False	Passed	Model Under Test Equivalent Model
0abe9b6998e975df57798560efc2b81cedd10145	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
4cefc8afec40ec3bfd7db20cfa1ce207dbe7edff	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
70e067e671256f1de84a2825726ecafb10a776b0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Variable	True	Passed	Model Under Test Equivalent Model
9bf448c4fd9279da53034bb8753e20ac343d586b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Variable	False	Passed	Model Under Test Equivalent Model
981447cf31018cab82a95ae0338e5f6bad2ac0cf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Constant	True	Passed	Model Under Test Equivalent Model
52ff7c192f2b75ee6f27b21fb271ceb2e468bb31	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Constant	False	Passed	Model Under Test Equivalent Model
93338feee34ac1f08df83d006a3c9f790f796bdc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	ConstantRank1	True	Passed	Model Under Test Equivalent Model
b69310f5a7504f38674d850df1228e058ff7aa78	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	ConstantRank1	False	Passed	Model Under Test Equivalent Model
a2548842fa10c24b8c1cffc7f1f84b1caa83ecee	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Instance	True	Passed	Model Under Test Equivalent Model
4eaa249d63c38f0a117da0197644255bffce6878	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Instance	False	Passed	Model Under Test Equivalent Model
877c0134b11112078beee69a20d1165204e5a893	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	InstanceWith	True	Passed	Model Under Test Equivalent Model
5362796272d5f32d4a2e97e400a400075aaa143b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	InstanceWith	False	Passed	Model Under Test Equivalent Model
a23b2dfd11680ecb8bdb1d4027b661a3d619c414	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	InstanceNamed	True	Passed	Model Under Test Equivalent Model
9b8bcb7d37c19e1fc8f371d5ed240bf1a18633fc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	InstanceNamed	False	Passed	Model Under Test Equivalent Model
2e9919be8b98744d9a70e9b16ed764e8d84e749d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
362fb0bf309029cd839ef12f969957a6cd5e887f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
bf04c0b8ae82cd3d25a7727ed7333e1d8bb6e4f9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
3b667f39c01226e2a32acec92d1240ac56da5d65	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
b6dcd0272a4da05344e879ebe6ecfe31598f0b1c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
f8f3ffd108d82829e155b87ba6ed6459cb2f1b73	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
d6da9c21999a5dfb1af3ced07e81d1b39d92109c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
dcb08435c6fab5569e0d2cdae1050e2ee7430f8f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
adc7b2b83d07102b6cd20d18a66ae678f00ee8d0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
734f5011bea080cad514bc41cda47d360daa29c4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
6c8d58d00b5a4902ac398485e32b66b7b2075355	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Enabled	True	Passed	Model Under Test Equivalent Model
feb0901b9ae54cadfc88fd7c84ae1965069626a1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Enabled	False	Passed	Model Under Test Equivalent Model
6255bd9da5791bd88eb3b656e9f1c2a31630a9b3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Cross2	True	Passed	Model Under Test Equivalent Model
befa6b3f7464ba257a54c7fc671f94f32e3dd438	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Cross2	False	Passed	Model Under Test Equivalent Model
18f916c15fe9710de132a4f953fd52b36d1b77ec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Cross3	True	Passed	Model Under Test Equivalent Model
34a9f749cf682d70e392b051c70ea072a78f3152	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Cross3	False	Passed	Model Under Test Equivalent Model
a5531e26c71aa30c79c4f2d62651cf0e668f3b42	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	FunSet	True	Passed	Model Under Test Equivalent Model
6b6c63649647cde1073d666f45418d83e3de57f8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	FunSet	False	Passed	Model Under Test Equivalent Model
0fd99d7632570f7bf5cb33f5b59b8b10379748f6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	RecordSet	True	Passed	Model Under Test Equivalent Model
3fce7171db865c768be3c80daee064274177099d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	RecordSet	False	Passed	Model Under Test Equivalent Model
fd9b01ebc5c18ff97e3f08bebe14c9f7d069ffcc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	SetDiff	True	Passed	Model Under Test Equivalent Model
6536cae6758dc7cbd65547e63585faba4b077704	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	SetDiff	False	Passed	Model Under Test Equivalent Model
3bd8c1216e9f364c84e22f1e54557c345b5970c7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	SetUnion	True	Passed	Model Under Test Equivalent Model
65ac96a26a1d1232acbbd03aa865271997f04b74	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	SetUnion	False	Passed	Model Under Test Equivalent Model
d4d3b233ac85df616f1118b4dfdf7c9ed837024d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	SetIntersect	True	Passed	Model Under Test Equivalent Model
81e3a44ddf8ea39d335a2937a5ea61193f9dafa4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	SetIntersect	False	Passed	Model Under Test Equivalent Model
1b85c3b92d5986c432d2eae18b5c82596aa1165c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	SubsetEq	True	Passed	Model Under Test Equivalent Model
460ef1b25032d33efd6776bbc2877a43d14bacf9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	SubsetEq	False	Passed	Model Under Test Equivalent Model
4864501badbd81a22e3a1ce9378b0cefae07d118	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	IfCond	True	Passed	Model Under Test Equivalent Model
2bdd2fdcbb4d91341256870d3dc88a0b1dbe1d03	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	IfCond	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
848583eb27a9f5f57af775060a5ac0ddc179384e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	IfElse	True	Passed	Model Under Test Equivalent Model
4b975e620793da95c73c63d5980e6b760acdafcd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	IfElse	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
b670215548becf85982dcaac91a018fd3446269c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Domain	True	Passed	Model Under Test Equivalent Model
f5afa7b30eca1d626d7a78433b439742b2316a0f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Domain	False	Passed	Model Under Test Equivalent Model
54a8be8e0638ae95e50bb30cd565e2836928280c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Union	True	Passed	Model Under Test Equivalent Model
cf1e70587c3b711884bb19d7930e74d5f2f59204	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Union	False	Passed	Model Under Test Equivalent Model
4336bc7339da1e9b03ba30c27739bdb0dae68353	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Unchanged	True	Passed	Model Under Test Equivalent Model
6b008b23ea6421b6e8166d358d6bb9df48ce659d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Unchanged	False	Passed	Model Under Test Equivalent Model
22a048a3c3c8425d387c560eb651263ee8734eeb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Equivalence	True	Passed	Model Under Test Equivalent Model
8e08e17b4ac9abbdd1f42ad869a08b67815d2f4a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Equivalence	False	Passed	Model Under Test Equivalent Model
ec9cabcd783f18b3125a0ddf0dbcf877280094e7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	StringEmpty	True	Passed	Model Under Test Equivalent Model
64c1a4fbad4aaae03c66e6be125e6638e3a7aa24	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	StringEmpty	False	Passed	Model Under Test Equivalent Model
db684865b9a704e9b91c1abeaec4875d308999aa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	String	True	Passed	Model Under Test Equivalent Model
6e8d3e81c726568e3fc23144a4c81f40098db7d9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	String	False	Passed	Model Under Test Equivalent Model
20adeafccc5fedb1aaebb170f69ad3ec0f1da8d3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	SeqLen	True	Passed	Model Under Test Equivalent Model
3ca707ba7a88513c97c860d1ffc3e70ac17fd2a9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	SeqLen	False	Passed	Model Under Test Equivalent Model
f34c33febb7fb044ef479cab7b4e26d61b234ccd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	SeqConcat	True	Passed	Model Under Test Equivalent Model
b5cacd68555769d7c909f82bff1b2e24114db3af	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	SeqConcat	False	Passed	Model Under Test Equivalent Model
cf772e635dda42a277bde07d54fff6e8526ca261	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
613822264836fca4feec29c6f976e3aec5939787	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
13f1a35e840154a3ca8a0b7ece3a5e8ba86cca4d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
8092e9d6b86144efbdf83018a7c484b1c0a55d0b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
6d4296f04dcdacc32537e52cd8f3fe55ae5293a0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumRange	True	Passed	Model Under Test Equivalent Model
5c4aa51f69ab6720e4e770227aa2c93c5a3f30aa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	NumRange	False	Passed	Model Under Test Equivalent Model
2a86d76b93a8953564370764cfbfff755e93d87f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
ce997f5e7098aaddcb00a0527b496bc6f2b92187	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
f3e615e10ebc30773e12e85c3105b0df7d795f32	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
56f824a406a9e346a8fcfdc891bfee253313ccb5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
b46d556afc5e09c3c3b07d76854d06ecd5d761ba	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
353b73c0ad2419503704846fbb9ebbbc626639b2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
625a89f3047b1262af034376a16674203b65e678	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
48a1c7bc64c7b56a6d80cae898c5937e8820bd73	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
3b8dcf5f482d897d3a7ca359d203f0201cf96e2c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	TlcEval	True	Passed	Model Under Test Equivalent Model
8ccb2aba524f8938bccc939c2cc27ce544625f68	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	TlcEval	False	Passed	Model Under Test Equivalent Model
4f9a17afa81b7dfb24bf4a34776bc62673680856	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BagBagToSet	True	Passed	Model Under Test Equivalent Model
e195cf6441b89a187e01e244c26b3983ec8b185f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BagBagToSet	False	Passed	Model Under Test Equivalent Model
2848ebbdb2cbc595c37cc446ffd62b1f3cb974ae	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BagSetToBag	True	Passed	Model Under Test Equivalent Model
e0bb106dd841eb10b95acb6ae4f425ce1ae68690	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BagSetToBag	False	Passed	Model Under Test Equivalent Model
3c26e43b4f568d5a3476c2fd0aff755a0d2110f4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BagBagIn	True	Passed	Model Under Test Equivalent Model
f168ed127a894c4a89e367848344f08f32ef25b1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BagBagIn	False	Passed	Model Under Test Equivalent Model
67542a23f9160dcac3452eb379686037413097b4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
01b10e5cf4a7266a9884ad2894feb31e72a6a438	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
5570e60d44ceb8c209f9189375d84335884ce24f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BagAddBag	True	Passed	Model Under Test Equivalent Model
3d56099e19ceabef7c520a4149d09a57d87f7cfc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BagAddBag	False	Passed	Model Under Test Equivalent Model
236e24363ab70027c9276299fc510a4b28adbc94	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BagBagSub	True	Passed	Model Under Test Equivalent Model
d8f05c33ff28c147638464723d642f1dbbc3a8a9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BagBagSub	False	Passed	Model Under Test Equivalent Model
b9e15a6a9c5546028cd505953e46efdd84bf4b44	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
79e394fe1961b3f8acb12ab465da34b1c48e413f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
8361ee74009fed4bb61cc54e8eed26246e31d43a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
2aa0336a062f3c6572ece084e18c3de8503821c7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
d39945ec24bcb2cfee2adbf32313ee98a838e66f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BagBagUnion	True	Passed	Model Under Test Equivalent Model
70fff4b522b07e6c21b1f4c13e12c8ed1ad0230e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BagBagUnion	False	Passed	Model Under Test Equivalent Model
46717d4f09cd4c1f944ea6b94538515c99e12e38	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
26229192d858bc71338d467bb4b75a0ba66f99ea	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
507e915a5525c940f10aa154d9388b37cef4717d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
6f7243898d42fda1c5b52e4d0012e7d5472cddca	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
018a65e20062e8f14477d73b0eca13a5c9ad819a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BagSubBag	True	Passed	Model Under Test Equivalent Model
a5e781084305a57703f43a6f79bfbd8d0f226e37	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	BagSubBag	False	Passed	Model Under Test Equivalent Model
855b9b5d59c2b6631c33d631161579d2b3a08ae5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
535312b457d25f6b8d3106fada481d63fe181782	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
09e7a9539af309029671f2a8beebdb877c915e50	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
2cdce42434f92b018b0fd62ebddae46c574d9040	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
96e2d6345068a3e8d0aa9648a32ae4bd03157762	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	SeqHead	True	Passed	Model Under Test Equivalent Model
4fd9de26f44b84efe1ddcc9ee83038413f31b571	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	SeqHead	False	Passed	Model Under Test Equivalent Model
3a8915f7326ab5a045c6b4c8b4d8c23131498f38	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	SeqTail	True	Passed	Model Under Test Equivalent Model
5a2674d05bc3a409d7cad0c15bbdcbbea7436f1a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	SeqTail	False	Passed	Model Under Test Equivalent Model
5b11f6acb523b00f3eee753192f2264149f5e011	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	SeqAppend	True	Passed	Model Under Test Equivalent Model
d155dcb607f25eb0e5a1f69d2dbf5fe730af8f5b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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