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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
78f57bbecfce89f15db29742c3ba3c63c0b5da74	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	And	And	True	Passed	Model Under Test Equivalent Model
7279824a086d89d1aaa52579404c0b353ad465f7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	And	And	False	Passed	Model Under Test Equivalent Model
dfc75ca0c9868e59667289e4b6ee9a62daacdead	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndMultiLine	And	True	Passed	Model Under Test Equivalent Model
7285529d9a788ac7d64abcf5ae2fa344d77dd9eb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndMultiLine	And	False	Passed	Model Under Test Equivalent Model
e684396e12bb20f606d8b0d6bbc914b051d3e851	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Imply	And	True	Passed	Model Under Test Equivalent Model
c0d86ed50baf67089566c6281239bff84d1fba01	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Imply	And	False	Passed	Model Under Test Equivalent Model
3811a246a7c26e8f0361a53978cbb3a9fe5a968b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Not	And	True	Passed	Model Under Test Equivalent Model
c05d7ea4b239a438ca903a0f1cfdd37ad9818111	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Not	And	False	Passed	Model Under Test Equivalent Model
63428453e7a359e49dee77c59f7ee34c10d0817e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Or	And	True	Passed	Model Under Test Equivalent Model
fe01251167153132809253530368d4bcf39a0300	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Or	And	False	Passed	Model Under Test Equivalent Model
3d236dabcc8f237e2b732c02caa97ef68c13fa54	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	OrMultiLine	And	True	Passed	Model Under Test Equivalent Model
5cbd1098db4dcc53c4cdb98d68b30e670236781c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	OrMultiLine	And	False	Passed	Model Under Test Equivalent Model
260575620e4bd4f25eb283d12f2d9aea3065f12b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndProp	And	True	Passed	Model Under Test Equivalent Model
46fbda25f7d494e07daf435d91986dd00c5422ae	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndProp	And	False	Passed	Model Under Test Equivalent Model
11ffa29841db30951831776fdf6568c50b663cb5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Boxed	And	True	Passed	Model Under Test Equivalent Model
4b0ed838049dacbbcc413934e2819a01dd46880b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Boxed	And	False	Passed	Model Under Test Equivalent Model
38c7df0046eb01752a356ce638d2a87ab3cabb28	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	And	True	Passed	Model Under Test Equivalent Model
141484d0f95eee29c2866d54bf5981f10122d196	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	And	False	Passed	Model Under Test Equivalent Model
f3e432837499383de29e070fe6b7d93d24aa7e6e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	And	True	Passed	Model Under Test Equivalent Model
eff893eb4887d3bc8391df03d13829fc86b8c689	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	And	False	Passed	Model Under Test Equivalent Model
606fee067baa6729dab2b8a262c124ac8f3d990a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	And	True	Passed	Model Under Test Equivalent Model
4f8fa7b11b974f8e5c4a1704f4e10930b8f3395c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	And	False	Passed	Model Under Test Equivalent Model
95da80223f8d5acc33bff11d2d779fb5a65e56b3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	And	True	Passed	Model Under Test Equivalent Model
f1d7cea2331da0abb40956b120e01e43fc9574cd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	And	False	Passed	Model Under Test Equivalent Model
6b969aad6f858aea524140889a5a621bb5bb6f7e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	And	True	Passed	Model Under Test Equivalent Model
5d9b8dcd974a1493e3bb931d2dab21f0e67b6347	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	And	False	Passed	Model Under Test Equivalent Model
2d3ced3bc45aa94637296c3734d83c01a9f1b059	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	And	True	Passed	Model Under Test Equivalent Model
d74762ab13f7044dbf56f0c46363a1cc9e879c1a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	And	False	Passed	Model Under Test Equivalent Model
977de5e933c3e30bf25a9de34456b221ba3d3609	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	And	True	Passed	Model Under Test Equivalent Model
7517a507d9c132ec2c5d58b7d1fe41acaba60d0d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	And	False	Passed	Model Under Test Equivalent Model
49e3f4d47747354bf6c857edf29d5ac26347b478	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	And	True	Passed	Model Under Test Equivalent Model
000a4e4b9a2c1dfd8e64ae1d4931587b08b74234	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	And	False	Passed	Model Under Test Equivalent Model
1e97587e72293bf7cf2f4e5aadf49abd7fc26818	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	And	True	Passed	Model Under Test Equivalent Model
e7cdcade8b2799dff46b6ac78742f4eaa56b96ad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	And	False	Passed	Model Under Test Equivalent Model
92422e39499343334342e5bbdc6b39bfb8966efe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	And	True	Passed	Model Under Test Equivalent Model
6734f305eda8c1c41f6bd46a3307913b5896a844	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	And	False	Passed	Model Under Test Equivalent Model
59bfd3aa3e6bc9058de613bd07165a1a68c3fb1d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	And	True	Passed	Model Under Test Equivalent Model
ab6abed723cbf269fa2c8cb98b39d498e9482e45	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	And	False	Passed	Model Under Test Equivalent Model
2a53c46246cd2f8484351f7b4466fcbca426d0cd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Choose	And	True	Passed	Model Under Test Equivalent Model
c277610ba6ae79f4656d9be98e16458c65f24854	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Choose	And	False	Passed	Model Under Test Equivalent Model
4ce4ff0b58f59d2023910b8edb5a3003bd6d8371	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	And	True	Passed	Model Under Test Equivalent Model
5530a53a0925d5f460b53c17a546c34125c47f4e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	And	False	Passed	Model Under Test Equivalent Model
5c5c3ee025c914cd5549cad9606ed6490095b385	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	And	True	Passed	Model Under Test Equivalent Model
b98284d9e259dea09fa73ecd035f0443845dfabe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	And	False	Passed	Model Under Test Equivalent Model
d3ac315a4373111bd902451962ebfaef4eb3997f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	And	True	Passed	Model Under Test Equivalent Model
c77b7ddab102db2bfe7eb0af5f3f092d16a64bbf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	And	False	Passed	Model Under Test Equivalent Model
ac57026b7665804d74b0d64ac11b3a80efded44d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	And	True	Passed	Model Under Test Equivalent Model
40aa4d5bbb072aa5a778466d5459608e77fe294f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	And	False	Passed	Model Under Test Equivalent Model
43f288feb4976faf2eae0dc10213e3f222988865	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	And	True	Passed	Model Under Test Equivalent Model
578cd241c3a97d6ae093e0dbdf55c857fc4930f0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	And	False	Passed	Model Under Test Equivalent Model
fdf77ee795db8379012340e8e90c9b524d24574b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	And	True	Passed	Model Under Test Equivalent Model
a28d4c5db38a26d81eeef042cc9211dd4886ad3f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	And	False	Passed	Model Under Test Equivalent Model
030752799a67c2cc020dedf172b14af20c26e517	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	And	True	Passed	Model Under Test Equivalent Model
08fb0e1597f5992d16abc76b9d48f2ab04c18e2e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	And	False	Passed	Model Under Test Equivalent Model
d07d3d8845088a4751203da3f782001193ee9cf0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	And	True	Passed	Model Under Test Equivalent Model
1dbe7622b7ab2a3b3c20fb4bb740c3e6834ab21b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	And	False	Passed	Model Under Test Equivalent Model
2743f218f23ce368552b436c950cb1014c89c109	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	And	True	Passed	Model Under Test Equivalent Model
f39e714487529830bbe4b94aa314a12557d3372a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	And	False	Passed	Model Under Test Equivalent Model
5ab7b089509e6b571b5ebd7380540e0765872df4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	And	True	Passed	Model Under Test Equivalent Model
411524b72e2070c835ac402ced6ab088268222fb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	And	False	Passed	Model Under Test Equivalent Model
2821887e2fa51acb3ff0ceb301c86930ec9f0aa6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	And	True	Passed	Model Under Test Equivalent Model
963ae446d0b497ed06fb68fb4090b9eb1addae8d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	And	False	Passed	Model Under Test Equivalent Model
0744a4d285948d96affcc4bd08d6d0ad5592cbdb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	And	True	Passed	Model Under Test Equivalent Model
1e4403964bd3fe8587eaa7a85eea872ac71b5658	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	And	False	Passed	Model Under Test Equivalent Model
52aa84426bdc8dfd5250c4438eb46a4131d41adb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	And	True	Passed	Model Under Test Equivalent Model
1b5a35ca2d2bdd76355878470b904179e9e2e2db	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	And	False	Passed	Model Under Test Equivalent Model
64b4cc481a9e57945d00bf1b14a1e55a0102c0c0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	And	True	Passed	Model Under Test Equivalent Model
88dd23f6a89c07be03e4209dec5aeb8f9e72f105	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	And	False	Passed	Model Under Test Equivalent Model
4d4aba5ccc906ba0ef35cb073e4142bb06c3ec0c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	And	True	Passed	Model Under Test Equivalent Model
e1134f61c1c0ac5812f899b160bf4c01fb900be6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	And	False	Passed	Model Under Test Equivalent Model
1f96b7869a12d19a70dadb784ff6cfd8ac32ae9e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	And	True	Passed	Model Under Test Equivalent Model
8cc3d21c6503cee73e4191db73c10d6ad821f93c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	And	False	Passed	Model Under Test Equivalent Model
ebf5f4733c15933f16a49d6c06d23127787173f1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	And	True	Passed	Model Under Test Equivalent Model
8dfc04f99e93c6d0df6496e65734d64c4f07ac95	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	And	False	Passed	Model Under Test Equivalent Model
5d198a9486bf5245087e50b6e74459af5d7a43bd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	And	True	Passed	Model Under Test Equivalent Model
9b75c30b472398114dd745bf361d28142ef6fc3c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	And	False	Passed	Model Under Test Equivalent Model
1c21daf1a622c4cdaf6c5db0090d79ffdb9f7f39	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	And	True	Passed	Model Under Test Equivalent Model
d6496c6a1fb01c7272cf5d01ff60ab3b7c0150a4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	And	False	Passed	Model Under Test Equivalent Model
5b18f3f41506ae3c38c381814599d31f8b615701	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	And	True	Passed	Model Under Test Equivalent Model
fbb0cc39a05adf01af9c350978230589629d5ef0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	And	False	Passed	Model Under Test Equivalent Model
c1c7d165f250042ecce761344bfdffe398f2f300	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	And	True	Passed	Model Under Test Equivalent Model
3b587074e841efd0f90289f771fcc9d2535cc8c9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	And	False	Passed	Model Under Test Equivalent Model
5b8557d00f055b6deb036eee6b2179c902532fc8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	And	True	Passed	Model Under Test Equivalent Model
348bb2f2240cc39d66503b97c11f75f664695497	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	And	False	Passed	Model Under Test Equivalent Model
1187742bd399c6c93b6359a99d8ddd75d1298716	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	And	True	Passed	Model Under Test Equivalent Model
8015b4f6d512f67eca3fc3a1f2b91d76f3ecb14e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	And	False	Passed	Model Under Test Equivalent Model
e61cb746393ac98631ce9a69db4da15a17bd0669	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	And	True	Passed	Model Under Test Equivalent Model
2352845bcce2e6d398a8c697b611266c5f116377	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	And	False	Passed	Model Under Test Equivalent Model
1ca67f93fda1fe51c71a7ef4907b7305d245cb5b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	And	True	Passed	Model Under Test Equivalent Model
b9e2f31fc581e3f006ae77fbf22e8c4498efe43c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	And	False	Passed	Model Under Test Equivalent Model
a9c40dffe245101ed1059db35ac5f233e0bb4373	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	And	True	Passed	Model Under Test Equivalent Model
ccb0fc332aadc7d67a8ff70244b4f322917f8c45	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	And	False	Passed	Model Under Test Equivalent Model
8c6a0ef13aeef0c520d8085990c51c692d134af9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	And	True	Passed	Model Under Test Equivalent Model
02c933f31138d91c2e14a20c5891863157313f06	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	And	False	Passed	Model Under Test Equivalent Model
f0d2d32631127e24df5c9afc05ca5609f01dfa00	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	And	True	Passed	Model Under Test Equivalent Model
64c81710facc1528bd6c9db484853e064dcfcd2e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	And	False	Passed	Model Under Test Equivalent Model
2c550277eceb789b2892643b7b09c10a5743802b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	And	True	Passed	Model Under Test Equivalent Model
b1c7daa02eb166a6c969bc7fbbd55a315a415e6c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	And	False	Passed	Model Under Test Equivalent Model
53fc1e7d0f826d742f311c4e3f9fda8a065b7701	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	And	True	Passed	Model Under Test Equivalent Model
f1a0f51fd865852b3511d38e357eea885b666973	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	And	False	Passed	Model Under Test Equivalent Model
16be60d8287ca9d1389ee4c08115c816fca0dbb6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	And	True	Passed	Model Under Test Equivalent Model
979a75c178bac1919d31c8ba84d23ba0cec68cd9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	And	False	Passed	Model Under Test Equivalent Model
161fc599f0cba9531b1520641215782a654bfb81	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	And	True	Passed	Model Under Test Equivalent Model
e95d66a667c1e9e53ac76b6ba3e275730d1edd63	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	And	False	Passed	Model Under Test Equivalent Model
d51ae763906c51ea442756308b2ceb11bce1c35d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	And	True	Passed	Model Under Test Equivalent Model
4bd5971f9f10c5ed0cafb4ccf318b25404328a05	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	And	False	Passed	Model Under Test Equivalent Model
6f78445f1671ecbc04d4304fe30c53f25112d08a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	And	True	Passed	Model Under Test Equivalent Model
af651113c2ce0ca72c078c0b1adf64dcdf1684f4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	And	False	Passed	Model Under Test Equivalent Model
db5acd2f025954a01fb376c3b3024795caf02e2e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	And	True	Passed	Model Under Test Equivalent Model
11c1f1c6ca6a29bee3567f97cfd65cf9d645b5ea	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	And	False	Passed	Model Under Test Equivalent Model
6707034297280180899b9a2e299642856f3981f1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	And	True	Passed	Model Under Test Equivalent Model
e414aa34bca8ba2dc428f987f8d598d295b3e7c3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	And	False	Passed	Model Under Test Equivalent Model
fdf6d5ae06e1f087f8c6db614d02961f63046725	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Assume	And	True	Passed	Model Under Test Equivalent Model
d07e8c05a3c500d12299a3a97d964dd068b55d79	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Assume	And	False	Passed	Model Under Test Equivalent Model
ae83aa82947f0012ac975032803264a46fa17807	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AssumeNamed	And	True	Passed	Model Under Test Equivalent Model
dcb2501b54d0445b4e5528ea1f6ad47b788cb42d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AssumeNamed	And	False	Passed	Model Under Test Equivalent Model
68d9ca6a80a5c849ddfa14d947b6324716dbbc05	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	And	True	Passed	Model Under Test Equivalent Model
5601dea6c002309bb9d0eafb1cb0a42f6e31ed07	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	And	False	Passed	Model Under Test Equivalent Model
5c81ce50ba4c446251fc13a3eb66276d7bc2dd2e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfCond	And	True	Passed	Model Under Test Equivalent Model
99cb8d3a5e78e010c22be9ec8cfa529a6c40acf3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfCond	And	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
6713b908568fb1995ffb05b26c1c24e900a7cef9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	And	True	Passed	Model Under Test Equivalent Model
f04a9c2f5ef22e34768e5da19c159d701edb5f42	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	And	False	Passed	Model Under Test Equivalent Model
f2c1977e59fe09a089da83ecc8ddf0ac7fc7a6a9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	And	True	Passed	Model Under Test Equivalent Model
76014af4637734edac05bd7d0df7df809a03409d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	And	False	Passed	Model Under Test Equivalent Model
867ad1eabf336d2f947c3e519ea8c6288bd8823e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Equivalence	And	True	Passed	Model Under Test Equivalent Model
169419a746ecfe0daa01b590cdc9ebe25ef5080b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Equivalence	And	False	Passed	Model Under Test Equivalent Model
58705752ddceb9616cf3cacdc48315990b2de98d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	And	True	Passed	Model Under Test Equivalent Model
76681085cb5a4f71e38202a8bcf132fe9776b516	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	And	False	Passed	Model Under Test Equivalent Model
45be0e0781f0d28fbad66d063d8ac33a1ff78f57	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	And	True	Passed	Model Under Test Equivalent Model
3c2cdb4ea540be65486e7f6ee3c5826a64777186	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	And	False	Passed	Model Under Test Equivalent Model
7b8e83f6409a936957477aa529541d92a4eb14dd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	And	True	Passed	Model Under Test Equivalent Model
743ff63f07a6778ad0edeb47abf0b92ccb3373cf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	And	False	Passed	Model Under Test Equivalent Model
9f6765eff900e97865466b49c40d11c303e7fb66	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	And	True	Passed	Model Under Test Equivalent Model
ee63869e2b2c17e37dd413370833246032fa2409	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	And	False	Passed	Model Under Test Equivalent Model
e2309c8e971ac9f44c85546160fe436233eb8f86	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	And	True	Passed	Model Under Test Equivalent Model
f876a78556327560e9842fdd0f4b21707834b56e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	And	False	Passed	Model Under Test Equivalent Model

Index

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