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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
2d57e4a59ab22e8ae8aa867c1312c3ef72dbf201	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	IfThen	True	Passed	Model Under Test Equivalent Model
64251bbcfe5f5e741e13e3989bdaedba7a501042	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	IfThen	False	Passed	Model Under Test Equivalent Model
e387b518d45b01fc7529ee9742d420a7fec3d2e2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	IfThen	True	Passed	Model Under Test Equivalent Model
ad5c339a25f960d3b3e16a6d17150501751009dc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	IfThen	False	Passed	Model Under Test Equivalent Model
8494ba5e0812cba685c5c539d190d3536e8cff72	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	IfThen	True	Passed	Model Under Test Equivalent Model
94cd5832d0a459b406e60d4d9738a1f90de6d033	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	IfThen	False	Passed	Model Under Test Equivalent Model
165098461882a13fdf5717ee4dfe8812c9c04864	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	IfThen	True	Passed	Model Under Test Equivalent Model
04ab5604ed441168c9846d36a01c934c43c4bf11	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	IfThen	False	Passed	Model Under Test Equivalent Model
90a788b90fb9ff850c436a998cff724fa609ac43	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	IfThen	True	Passed	Model Under Test Equivalent Model
ee9b615096567313e0ed476739358469af656ee4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	IfThen	False	Passed	Model Under Test Equivalent Model
756ba3578a685b8235c3743228db4ffa81762552	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	IfThen	True	Passed	Model Under Test Equivalent Model
a8e8001a9cf8696d9d8131843c088b078fa4059c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	IfThen	False	Passed	Model Under Test Equivalent Model
0bc37e3e74a4082b789135f5634645488f541bb5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndProp	IfThen	True	Passed	Model Under Test Equivalent Model
45ddd577ad59fd2a0a78b0e4b19956b673b4239e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndProp	IfThen	False	Passed	Model Under Test Equivalent Model
46811620123c5a4e4ad7b35f888170343bd14984	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	IfThen	True	Passed	Model Under Test Equivalent Model
0d88d999abb8bebc5e401dfd0165303b9116d8fd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	IfThen	False	Passed	Model Under Test Equivalent Model
becb6a113df5d85bafc5e9ad2b47fd2b086d997d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	IfThen	True	Passed	Model Under Test Equivalent Model
e2a14e2509317932f684e5d17dffcb5ac53efedc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	IfThen	False	Passed	Model Under Test Equivalent Model
dd64eb3f93847bf016e56dad4a5f822f13054df5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	IfThen	True	Passed	Model Under Test Equivalent Model
076f32da6691071a0bc8239634ef6c28f5ed2692	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	IfThen	False	Passed	Model Under Test Equivalent Model
85e58ef0209f32c3fb218122cbcdcf82d430556f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	IfThen	True	Passed	Model Under Test Equivalent Model
787e1cff1305362aacd661d22f7f4841fc5839a8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	IfThen	False	Passed	Model Under Test Equivalent Model
11e9ef2abaa3650943d3ff008afcb6b29c25c71d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	IfThen	True	Passed	Model Under Test Equivalent Model
47823e6ea4f2f5da877cb7e157282c4f96a63f69	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	IfThen	False	Passed	Model Under Test Equivalent Model
eec3ea97760f9b5e0c15bc314deb4420759a44b8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	IfThen	True	Passed	Model Under Test Equivalent Model
8732642963220655359b9d919dca24adb2cf308b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	IfThen	False	Passed	Model Under Test Equivalent Model
4ca25bd1c93539650ad521210a583e75c0417a38	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	IfThen	True	Passed	Model Under Test Equivalent Model
75547633e0a57c2d13ee3a348cd93bb1e43a5161	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	IfThen	False	Passed	Model Under Test Equivalent Model
5315f3a2f95c3f3ec646cd5a0ce7d27ad790b4ab	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	IfThen	True	Passed	Model Under Test Equivalent Model
8e650e936dcf36b5ece95a941cc0b6b764c18b45	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	IfThen	False	Passed	Model Under Test Equivalent Model
5250ed2329e3e9205b991a3316ff982142d37514	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	IfThen	True	Passed	Model Under Test Equivalent Model
25b3f5788492407daafe17362fe7fe0d6ecff14e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	IfThen	False	Passed	Model Under Test Equivalent Model
88c3fd67834ebe184b662bddd0b908dff5adb1f5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	IfThen	True	Passed	Model Under Test Equivalent Model
58fbf951e05c12fc87b95fbb9079d2b6db3e3a88	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	IfThen	False	Passed	Model Under Test Equivalent Model
d99b409efe9c79bc38ea0a166348a4a986af7f95	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	IfThen	True	Passed	Model Under Test Equivalent Model
7f874c1749b4307c2a466ad3ed63005e1463a70e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	IfThen	False	Passed	Model Under Test Equivalent Model
f460e42ddd808405d6780e7b4ffb976204ba7a51	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	IfThen	True	Passed	Model Under Test Equivalent Model
9a2c36d47766973eebce96298029952ba8a56f97	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	IfThen	False	Passed	Model Under Test Equivalent Model
04e33207ee1e0010ebe8eadda990d390345a26ad	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	IfThen	True	Passed	Model Under Test Equivalent Model
d41ca3141d11701884fdcb8711ac3e5bedaa0fff	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	IfThen	False	Passed	Model Under Test Equivalent Model
d1146c69fc66f0d322741cda17ba90995e1cd5ea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	IfThen	True	Passed	Model Under Test Equivalent Model
dbcbe43b2aa52c5beceb0fad2de4f39e87299b2e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	IfThen	False	Passed	Model Under Test Equivalent Model
976cb357dcbaf56a25ba2fbac97c9e1e87281b2e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	IfThen	True	Passed	Model Under Test Equivalent Model
add60ea7c056fffc1c59805bee85bd7780684c19	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	IfThen	False	Passed	Model Under Test Equivalent Model
000217329e7091d781483e15778427d4cee67807	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	IfThen	True	Passed	Model Under Test Equivalent Model
1fc7c507d7285884617a56659beff328d7d360d8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	IfThen	False	Passed	Model Under Test Equivalent Model
4083aff33380496d35d9b2d3f4ca34fcdd6e7bcf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except0	IfThen	True	Passed	Model Under Test Equivalent Model
cb613353159bf31f66e8149a7a6670b8aad48280	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except0	IfThen	False	Passed	Model Under Test Equivalent Model
6c44c9885514c8e7876e743a67023428836eb150	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	IfThen	True	Passed	Model Under Test Equivalent Model
92b0da85f681847f9162fe11bb669dc0f6d6f402	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	IfThen	False	Passed	Model Under Test Equivalent Model
24b7a5766073bac77a39462b36a08eb6e386fab3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	IfThen	True	Passed	Model Under Test Equivalent Model
7f24d198264598cfefdeeef36739b8418ad6f081	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	IfThen	False	Passed	Model Under Test Equivalent Model
136fdb434aeaaf92ffbeb603634fe99acb765626	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	IfThen	True	Passed	Model Under Test Equivalent Model
f519476fead9ebb622ab1e3683f51d5d3b1ff375	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	IfThen	False	Passed	Model Under Test Equivalent Model
bf2240a9b470ca23def17461a95b45be64557fc8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	IfThen	True	Passed	Model Under Test Equivalent Model
7a8f663fde1dc551099e880c2ddf4f4197217a8d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	IfThen	False	Passed	Model Under Test Equivalent Model
9f2fe9a2f368b043c0d786a6e11a71ac67a55108	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	IfThen	True	Passed	Model Under Test Equivalent Model
83cd512768dfcef04e40278c2726a8827abc42f5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	IfThen	False	Passed	Model Under Test Equivalent Model
bf0036d69e881816abb1babc3125d8be8238e921	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2FunTuple	IfThen	True	Passed	Model Under Test Equivalent Model
69e28aad9905f7be4a2dabcf88604623e6b50a69	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2FunTuple	IfThen	False	Passed	Model Under Test Equivalent Model
53062a89c3bcd1dc62d9d0400461ccd773e08407	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	IfThen	True	Passed	Model Under Test Equivalent Model
ba9cc4d61f708da9ddd3dd02fef5ad0e33622c44	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	IfThen	False	Passed	Model Under Test Equivalent Model
2314ac88fe5b0b0da93e92768cbe6c3af90f96ea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumUnaryMinus	IfThen	True	Passed	Model Under Test Equivalent Model
cd30c57de54b63785232d4fe8c536a09738c46f7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumUnaryMinus	IfThen	False	Passed	Model Under Test Equivalent Model
48bffb572e5b805eec487d63a7fae801ebfa368b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumPlus	IfThen	True	Passed	Model Under Test Equivalent Model
1de2a74c6d4e62cc178171878446f0dd3142544a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumPlus	IfThen	False	Passed	Model Under Test Equivalent Model
4e243fd141a787193bde4ee4be1e10549c5c28c5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMinus	IfThen	True	Passed	Model Under Test Equivalent Model
b2e1b4ae76084dca3df3f174ba7dcad30b3bab1c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMinus	IfThen	False	Passed	Model Under Test Equivalent Model
102e7385ff7411fff557a73ea6355f1b785c4c20	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMul	IfThen	True	Passed	Model Under Test Equivalent Model
460a18d4d8be9742c448f0f71169b45fab243759	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMul	IfThen	False	Passed	Model Under Test Equivalent Model
d08f8512e1d20ac51715b2143a05b3a2780e8165	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumDiv	IfThen	True	Passed	Model Under Test Equivalent Model
79b39674c3f5de2d6cac82d32b1497deb64dc02b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumDiv	IfThen	False	Passed	Model Under Test Equivalent Model
c6528c7dbf6dc4ae143dd17c47dbb2617d3d18b1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMod	IfThen	True	Passed	Model Under Test Equivalent Model
e0589e8803449ae7a0a6e2c66d802cf2fdfbce56	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMod	IfThen	False	Passed	Model Under Test Equivalent Model
de9d090aa0510893c3ed8686597640b9c57b5af5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumPow	IfThen	True	Passed	Model Under Test Equivalent Model
a237bdd3d413dbf9ec56ae0004b1d4f808f212d5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumPow	IfThen	False	Passed	Model Under Test Equivalent Model
f5ce27fcb178f1fb4d772fad773f53ae455c2d8c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumGt	IfThen	True	Passed	Model Under Test Equivalent Model
e87ed691276392559040842eac854fa5a834028c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumGt	IfThen	False	Passed	Model Under Test Equivalent Model
05aba0e5919f0eed531ee919c7ee5cf5c99153dd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumGe	IfThen	True	Passed	Model Under Test Equivalent Model
bfb0a4cc87ed5e8563ee8a2676b88aec0f30ea83	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumGe	IfThen	False	Passed	Model Under Test Equivalent Model
a5c2d2d9d00514a5fe2e62d76be17a666fe58492	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumLt	IfThen	True	Passed	Model Under Test Equivalent Model
73c3ec7ea09ebdc7982b2412e636cb0f0ea913f4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumLt	IfThen	False	Passed	Model Under Test Equivalent Model
c5204b47ff27c44d925306b405de8f9ef1412d04	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumLe	IfThen	True	Passed	Model Under Test Equivalent Model
3b29f13437c0267394be13d7323dd089e4b4eb5e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumLe	IfThen	False	Passed	Model Under Test Equivalent Model
9952ed38fa55dde0e72787618c557bc6176a33f5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	IfThen	True	Passed	Model Under Test Equivalent Model
50484e59bbdd51e75e4b4c7233cb15e4ccc2f4f4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	IfThen	False	Passed	Model Under Test Equivalent Model
a5d9f992b562d52afee85c7a200c362278d273aa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	IfThen	True	Passed	Model Under Test Equivalent Model
036c7136971e2313e62fc3e983bb3368d9030a2d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	IfThen	False	Passed	Model Under Test Equivalent Model
e5dfa2aae3b4f352b00651a29ddd8fb92c036c27	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	IfThen	True	Passed	Model Under Test Equivalent Model
ed7d67b0ad97f886c2f2c651a65e257a5f3024e7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	IfThen	False	Passed	Model Under Test Equivalent Model
f8860776e3bf170b56e7e349984bc5d24cd43d81	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	IfThen	True	Passed	Model Under Test Equivalent Model
6c030f0e08509060ad9f02e30cff4df26db80888	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	IfThen	False	Passed	Model Under Test Equivalent Model
6b1b9b614494b206cc891bf0e0549900483d818d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	IfThen	True	Passed	Model Under Test Equivalent Model
332190d4d4d775df0a41fec32f1f2e9df504b101	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	IfThen	False	Passed	Model Under Test Equivalent Model
5603be6ffa3a24bc1c84d89417e36bba01a8e025	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	IfThen	True	Passed	Model Under Test Equivalent Model
3c92dd5d45278ca8f87ef8a4c5810f02ff7a3678	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	IfThen	False	Passed	Model Under Test Equivalent Model
c5ff533daacfe672b000aa81b55ead22a3a4400d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	IfThen	True	Passed	Model Under Test Equivalent Model
d7dbe9fa128e777380d95fdb218dd5f7376cdce1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	IfThen	False	Passed	Model Under Test Equivalent Model
56d37badd59630d32ea366abef49c5367c9438d1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	IfThen	True	Passed	Model Under Test Equivalent Model
5253ead443cb48a523c06f52830361118cbee6be	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	IfThen	False	Passed	Model Under Test Equivalent Model
8e74aff26a41cd789f821091d60b204cdeae7134	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	IfThen	True	Passed	Model Under Test Equivalent Model
592d75c7fbc27b8613eb65f7573f5f05d32a3a6f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	IfThen	False	Passed	Model Under Test Equivalent Model
6dc1c77fe05ece4275e687503d7596fcafdfbaaf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	IfThen	True	Passed	Model Under Test Equivalent Model
bb4d3ed108428e9e88db0f39e15d560d6603b07e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	IfThen	False	Passed	Model Under Test Equivalent Model
63f93f02812c29445369fdd55ed63ca15779ee1f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	IfThen	True	Passed	Model Under Test Equivalent Model
521337814facb52e3492d10ff00e53f6109f6968	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	IfThen	False	Passed	Model Under Test Equivalent Model
9b745ad9cebea0d3f9f5cffa2c40bd62a163270a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	IfThen	True	Passed	Model Under Test Equivalent Model
e1ac82014f1ad5e92f2d4b68de567bfb564f6b82	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	IfThen	False	Passed	Model Under Test Equivalent Model
8d15abbd173047028cad0c3dabde675a42e2bffc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	IfThen	True	Passed	Model Under Test Equivalent Model
f7c4852d8e8f54af1dd067ee922d0a76b2d06650	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	IfThen	False	Passed	Model Under Test Equivalent Model
46b683de82928c585f526b846ffb7f8baa986671	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	IfThen	True	Passed	Model Under Test Equivalent Model
590ce6acb194ab73f644d44b15abb37f3179d7c2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	IfThen	False	Passed	Model Under Test Equivalent Model
2efe3d6808cce5ccb475071c2936d301485ab3e2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	IfThen	True	Passed	Model Under Test Equivalent Model
a2413795f5f9e41c2f8a1a856f00dc598a780418	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	IfThen	False	Passed	Model Under Test Equivalent Model
ab80679844c833e48d196bde5937acd77481ea35	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	IfThen	True	Passed	Model Under Test Equivalent Model
a6a86e6fc65795fac9c8741050fc3bcfb8436fce	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	IfThen	False	Passed	Model Under Test Equivalent Model
58aadaf449e31cb943c793d7c4b1d852c743674d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	IfThen	True	Passed	Model Under Test Equivalent Model
7f26d923a59cf21ab4f99f9fe0558fbd240f7b98	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	IfThen	False	Passed	Model Under Test Equivalent Model
acf14e1ee5489b3dec6d64d6885c17e5fcff5b55	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	IfThen	True	Passed	Model Under Test Equivalent Model
47b3db47582a3644bfc16a4ac42f4c027b91d7ef	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	IfThen	False	Passed	Model Under Test Equivalent Model
04aa20594c71e08ae390c47cd05d6f4bb836129e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	IfThen	True	Passed	Model Under Test Equivalent Model
aaccd9fbe7d904ff99a57813947a3f6562aae44f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	IfThen	False	Passed	Model Under Test Equivalent Model
57cee8a946aadfd89ff7e5ec3a254cbee7d8075c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	IfThen	True	Passed	Model Under Test Equivalent Model
974370a891a049be6aa48ba3ee056f36e808dfce	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	IfThen	False	Passed	Model Under Test Equivalent Model
689465b2c9b857aba168d3b7283afe0703744837	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	IfThen	True	Passed	Model Under Test Equivalent Model
9504b15f6b328d94b024fa5789409860e99908ac	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	IfThen	False	Passed	Model Under Test Equivalent Model
5f025b5b2ee74d5368dfe92b32dce6f034abc5a5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	IfThen	True	Passed	Model Under Test Equivalent Model
596263854add799bec3b0c474ef2df4cc8a5f979	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	IfThen	False	Passed	Model Under Test Equivalent Model
f6af5f79c05939f9938665567276bbe6e35038bc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	IfThen	True	Passed	Model Under Test Equivalent Model
1bcd575d8ea368432d2b69dd82b14b70f99378d5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	IfThen	False	Passed	Model Under Test Equivalent Model
49f8d7f5845ce00cde963fa48d31b77307ce70e7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	IfThen	True	Passed	Model Under Test Equivalent Model
6c4ee7239d0fca36367a417a0b13dc3fee846a67	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	IfThen	False	Passed	Model Under Test Equivalent Model
d446cd0d873026b6588d47056ee18452d7cd96c3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	IfThen	True	Passed	Model Under Test Equivalent Model
ccb432428429be4425c4ad1ea2694dfe8586e21b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	IfThen	False	Passed	Model Under Test Equivalent Model
e07f96ead5d3549b073cf716e834f59c38538211	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	IfThen	True	Passed	Model Under Test Equivalent Model
371c7840f7ebd820689e5d7d128e8510d252cf28	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	IfThen	False	Passed	Model Under Test Equivalent Model
4233ed71fef7873799af771ca0109ec440dcc331	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	IfThen	True	Passed	Model Under Test Equivalent Model
d07fb2cc336c3643ebb19218d62ee0f4bd39646e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	IfThen	False	Passed	Model Under Test Equivalent Model
fd4b3754f0270bf06c9fede8c95688abff26a455	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Assume	IfThen	True	Passed	Model Under Test Equivalent Model
79887a86c64d37171416be34f2d018b66e123cbc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Assume	IfThen	False	Passed	Model Under Test Equivalent Model
d0fc1f48d17b3100cf4665204f5e5e44202026d4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AssumeNamed	IfThen	True	Passed	Model Under Test Equivalent Model
0f19db43cb1c3db6c17a0b8fbf8d246710f467d6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AssumeNamed	IfThen	False	Passed	Model Under Test Equivalent Model
303228ca52da5d3071eccc3fd5d1a10a7c36d194	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	IfThen	True	Passed	Model Under Test Equivalent Model
fc2176d592f873b1bb1b9a6bd7ac4bc62b7fcc9e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	IfThen	False	Passed	Model Under Test Equivalent Model
852864f0852cd8edd36863b08e9eaa78c2f89c6a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross2	IfThen	True	Passed	Model Under Test Equivalent Model
bc5bb76dacccb6b3f37d0323a90b824bf970fd52	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross2	IfThen	False	Passed	Model Under Test Equivalent Model
f4a157548258336e1b617535e0ed8e8e635f64b0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross3	IfThen	True	Passed	Model Under Test Equivalent Model
b1ac306940db58d04cd57ddf8495370192ad7544	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross3	IfThen	False	Passed	Model Under Test Equivalent Model
7ae3f838105311c8bfb39bb00cc387b3f95381b5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunSet	IfThen	True	Passed	Model Under Test Equivalent Model
900d6c0441d5713ce5d7877b1d51b8c35c70b78d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunSet	IfThen	False	Passed	Model Under Test Equivalent Model
db26a65596f7667c22067a46842fcfb18933577f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	RecordSet	IfThen	True	Passed	Model Under Test Equivalent Model
9d2460ae6a2b17bf718decde4356d823101bc078	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	RecordSet	IfThen	False	Passed	Model Under Test Equivalent Model
9fd58a3e58e1693027044c843ec4b17b9697bc95	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetDiff	IfThen	True	Passed	Model Under Test Equivalent Model
0ca8d96124f8e3cf7da0a08ea73a7ec4770b969c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetDiff	IfThen	False	Passed	Model Under Test Equivalent Model
4ed4176a21eb0ad94e292c258cd5b90b2bd51999	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetUnion	IfThen	True	Passed	Model Under Test Equivalent Model
2b0466605b8cb4a7e3685e4e601554c20e626beb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetUnion	IfThen	False	Passed	Model Under Test Equivalent Model
9a19ba5ffdc79dae259077d505d363a35bb97347	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetIntersect	IfThen	True	Passed	Model Under Test Equivalent Model
2160d6dde51445774dfee1966ef8d6c1f8ef1acc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetIntersect	IfThen	False	Passed	Model Under Test Equivalent Model
090cb7b7167811e2a70f3edd7e37efaa63a9d826	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SubsetEq	IfThen	True	Passed	Model Under Test Equivalent Model
2426c1291ce2a5638a116abf43fc2451fa78e321	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SubsetEq	IfThen	False	Passed	Model Under Test Equivalent Model
4c082d9d1ab60fba408a771e7ad1c76567cb350a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	IfThen	True	Passed	Model Under Test Equivalent Model
fbbcdb19a36e4c7992e4a19de0d7dbe5bf88115c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	IfThen	False	Passed	Model Under Test Equivalent Model
15366bfbd7821840500d32a33e19d311d8403eea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	IfThen	True	Passed	Model Under Test Equivalent Model
3a7a19143a494a463dcfde92e4ba406e12c98a84	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	IfThen	False	Passed	Model Under Test Equivalent Model
7e8d570d6f2ae4088b8ecfd07e8843f2fd1474d2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	IfThen	True	Passed	Model Under Test Equivalent Model
67c1c9e6f736cfe21f17f0b9581bc134d6d80a5e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	IfThen	False	Passed	Model Under Test Equivalent Model
f7c207d2a65e7baab992bf28f9811dd5e19beac2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Subset	IfThen	True	Passed	Model Under Test Equivalent Model
b2a93041ccbda769115706daaa80a3b9dfe75e3f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Subset	IfThen	False	Passed	Model Under Test Equivalent Model
3eb2e031bb1e8eb2c4e241839d38fb4152409187	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Domain	IfThen	True	Passed	Model Under Test Equivalent Model
31f3136aaa1a2bc541192465e73259c1a7758697	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Domain	IfThen	False	Passed	Model Under Test Equivalent Model
70950c0a4bb59693fc6f56e33053fc4368f3032a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	IfThen	True	Passed	Model Under Test Equivalent Model
7478d9914b876959baba200af92d65c227849564	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	IfThen	False	Passed	Model Under Test Equivalent Model
29ab99fbe904f87677e199760a001de61871ee32	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	IfThen	True	Passed	Model Under Test Equivalent Model
398c521641c7a73ff80f7496dfe0dd1b33cc3279	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	IfThen	False	Passed	Model Under Test Equivalent Model
64bdb9c39d12646f6619e8f2de7b8a1a438ea93b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	IfThen	True	Passed	Model Under Test Equivalent Model
a0377bd17405d4eb77dc6c72728640bef5127c60	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	IfThen	False	Passed	Model Under Test Equivalent Model
8f1546728d8fab58ddd7ee16db00decbaddebbaf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqLen	IfThen	True	Passed	Model Under Test Equivalent Model
d590777bc4ffb2833cc77a2bc517e620e6869550	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqLen	IfThen	False	Passed	Model Under Test Equivalent Model
4f8cd4244f789eab9749ad7657ad53cad19a9479	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqConcat	IfThen	True	Passed	Model Under Test Equivalent Model
d68f7fb9593af76c51aab02a9445be795a4de946	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqConcat	IfThen	False	Passed	Model Under Test Equivalent Model
9d98c63d6521abb0f86fc8fc9d9da139e4ba4378	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSeq	IfThen	True	Passed	Model Under Test Equivalent Model
2dc22799066e5eef153fe4231fb3d26ccd09c9cc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSeq	IfThen	False	Passed	Model Under Test Equivalent Model
27060674c21ed6ea70ac1919964afd9588f8a170	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSelectSeq	IfThen	True	Passed	Model Under Test Equivalent Model
641dcd5b1254f9ad2d380ea4c0d2e47147b980cc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSelectSeq	IfThen	False	Passed	Model Under Test Equivalent Model
6881d3dd41e960b0d8e273281b163cfeccf73f0a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSubSeq	IfThen	True	Passed	Model Under Test Equivalent Model
679469abec353657b0f970f3940e70244fd1a4b9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSubSeq	IfThen	False	Passed	Model Under Test Equivalent Model
c37b4e98e758012297b4c824852b6bb32d507374	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumRange	IfThen	True	Passed	Model Under Test Equivalent Model
58463931b2c74f8257a160cc31f705f26e9c3fcc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumRange	IfThen	False	Passed	Model Under Test Equivalent Model
55a19dd5906b779f2956722cb87ff41696101bc3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	IfThen	True	Passed	Model Under Test Equivalent Model
61299b379668c09d89dfad4d8cad22fd3c2d5fe7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	IfThen	False	Passed	Model Under Test Equivalent Model
c9a568a80f4d15b267725a93e61002f848e3a063	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcExtendFun	IfThen	True	Passed	Model Under Test Equivalent Model
ad06c744c090a5fb72bcf8aa2c1d403b8a9e5797	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcExtendFun	IfThen	False	Passed	Model Under Test Equivalent Model
3bc07c0f2ff58f3bf7648a66551dfa7ee24e96d9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcPermuteFun	IfThen	True	Passed	Model Under Test Equivalent Model
621082fb49b725e5af2c14741ad78c08516ff7f3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcPermuteFun	IfThen	False	Passed	Model Under Test Equivalent Model
640543410789ea790ac9b20f08559259910bb81f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSortSeq	IfThen	True	Passed	Model Under Test Equivalent Model
6755d1eb0c802b20e6af921dee1a6d8adc76da0e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSortSeq	IfThen	False	Passed	Model Under Test Equivalent Model
c47b5b53dde63a9b9370bf65a4d4aa7cdd9fbc40	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	IfThen	True	Passed	Model Under Test Equivalent Model
a311fe20a3d6f33ee9e343c99f4b1572d0150d88	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	IfThen	False	Passed	Model Under Test Equivalent Model
6e691e299f28fac6b4985caa9d443fca3a9e2e9e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagToSet	IfThen	True	Passed	Model Under Test Equivalent Model
7106e1a6f68ebcf8c86ecf872962849e95890361	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagToSet	IfThen	False	Passed	Model Under Test Equivalent Model
0b15bc12538c4954aea79280fa995b6a94e1cc8c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSetToBag	IfThen	True	Passed	Model Under Test Equivalent Model
27192ccf9c4dd6eaf286c5d9ec927a603661864d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSetToBag	IfThen	False	Passed	Model Under Test Equivalent Model
065a9ae68f675617dec0037b893eef6787e182e1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	IfThen	True	Passed	Model Under Test Equivalent Model
90fe222f22f95d3153d7751950ee731fc86d08de	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	IfThen	False	Passed	Model Under Test Equivalent Model
9a05bbac8de121168c2429bd64e9898109e9393c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagAddBag	IfThen	True	Passed	Model Under Test Equivalent Model
0ecfdd33f9624a263b4fd9938f38af451c0cfc8c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagAddBag	IfThen	False	Passed	Model Under Test Equivalent Model
689e33456c5b3c0503885fe4a5290d335f2d6c14	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagSub	IfThen	True	Passed	Model Under Test Equivalent Model
87efb25121a0e4a0377b9ed316a2a5262944c14f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagSub	IfThen	False	Passed	Model Under Test Equivalent Model
932fc7d0f855eb114917cdd404d6c9556880fcce	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	IfThen	True	Passed	Model Under Test Equivalent Model
135e5d891371f7f26ab9fe44dc02642fa6545a09	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	IfThen	False	Passed	Model Under Test Equivalent Model
7294120e1381717106742d9ef50ca8a9e828bf90	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSubsetEqBag	IfThen	True	Passed	Model Under Test Equivalent Model
0e6dbbe69282b4e61ae91efb8b6e04d1220c1210	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSubsetEqBag	IfThen	False	Passed	Model Under Test Equivalent Model
591ed8e0491511c97a05037b8274a87bc42de328	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagUnion	IfThen	True	Passed	Model Under Test Equivalent Model
03f7949d69cbfd75873734e3aa061905b2a2ebe2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagUnion	IfThen	False	Passed	Model Under Test Equivalent Model
34688e30645d77545ec9b36323486d1a7ce56b06	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagCardinality	IfThen	True	Passed	Model Under Test Equivalent Model
5a8eae4c157c3332a7c549e21f59718cd779b514	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagCardinality	IfThen	False	Passed	Model Under Test Equivalent Model
0b90339a0b41c4a5ddf83d0369fff9b64392ee76	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagOfAll	IfThen	True	Passed	Model Under Test Equivalent Model
6aea9b2bf86d3cd51a72d2f619d77a9f3f9d0881	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagOfAll	IfThen	False	Passed	Model Under Test Equivalent Model
854ca625517f905c20db7a504bb9c59ca5e0fe11	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSubBag	IfThen	True	Passed	Model Under Test Equivalent Model
38dd846fa69598326cd8ab98ae8c7a0c3ccd1897	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSubBag	IfThen	False	Passed	Model Under Test Equivalent Model
66aa8fedbaff3f878fddcf61ca5f28ef9e27fdef	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsIsFiniteSet	IfThen	True	Passed	Model Under Test Equivalent Model
7bbf8544301e79d45242fba3eb4935d551237d34	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsIsFiniteSet	IfThen	False	Passed	Model Under Test Equivalent Model
4b48e8743dc6f9b2025ab831a9eaed8a588f0c39	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsCardinality	IfThen	True	Passed	Model Under Test Equivalent Model
6042ba7d33dc15748170ea341429323fd7111803	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsCardinality	IfThen	False	Passed	Model Under Test Equivalent Model
7480f91240448ad17a337c53cc72f58bcb9a61d1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqHead	IfThen	True	Passed	Model Under Test Equivalent Model
65cfafe71d6ccd86ad924f5f08ba28415d4a5a98	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqHead	IfThen	False	Passed	Model Under Test Equivalent Model
42004040debc894f5b63cbee2061b1b10987db05	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqTail	IfThen	True	Passed	Model Under Test Equivalent Model
3948a4f6a699144b966750f3c5365e1c72d49f22	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqTail	IfThen	False	Passed	Model Under Test Equivalent Model
2f9e40a731c13fe0708b198e442b0ba10032c5bf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	IfThen	True	Passed	Model Under Test Equivalent Model
076e588eb235c358110dce8ae9fc7dcc882e091f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	IfThen	False	Passed	Model Under Test Equivalent Model

Index

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