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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
e37cd0851a7fc30c1c70d4dcdc709f85ce8bbdad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	And	In	True	Passed	Model Under Test Equivalent Model
60db07d47812e5479786883af2b28b0e9565787d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	And	In	False	Passed	Model Under Test Equivalent Model
8ddfa146075329c5ab6623775f45c54f7c75bb7c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndMultiLine	In	True	Passed	Model Under Test Equivalent Model
db873de0a117dddcbe8483064649ba3cd23c6658	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndMultiLine	In	False	Passed	Model Under Test Equivalent Model
01ff233b93a6c314f054940ba1afd75bcbc16dfb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Imply	In	True	Passed	Model Under Test Equivalent Model
819c0f51f10b8d75d1d2dd939423d352dd344d40	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Imply	In	False	Passed	Model Under Test Equivalent Model
c2ff9b676fed7e93a21c658c1e03c104fd267a51	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Not	In	True	Passed	Model Under Test Equivalent Model
f837779e1c334e583b0306c188cfac9c4e159376	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Not	In	False	Passed	Model Under Test Equivalent Model
b73d0e28082227ec3b253b7c2c4cb5ff392a9c0b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Or	In	True	Passed	Model Under Test Equivalent Model
20b0046c7b2525195b31e77acea262054a602726	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Or	In	False	Passed	Model Under Test Equivalent Model
845121bfa6dbbec3dfc344c814636ee88592f619	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	OrMultiLine	In	True	Passed	Model Under Test Equivalent Model
930c1fc92aa856ab338ab2e4d1ab85c2f0503a47	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	OrMultiLine	In	False	Passed	Model Under Test Equivalent Model
a513b8ac9649923d84157efd9ee580d2d0786dd2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndProp	In	True	Passed	Model Under Test Equivalent Model
9305186f4c8b67c6a472ce2bbb29a41cfd17c037	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndProp	In	False	Passed	Model Under Test Equivalent Model
9c4289ffae91bba6f58197303b14fe8554ae00e0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Boxed	In	True	Passed	Model Under Test Equivalent Model
2d7145373a1212fc6c302aba429dcd20f4129eba	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Boxed	In	False	Passed	Model Under Test Equivalent Model
9a7fc13b69588ece95aa87ec96b21baad235aa39	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	In	True	Passed	Model Under Test Equivalent Model
376f5fd0ce3988ae096d87a0b78413807d14edeb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	In	False	Passed	Model Under Test Equivalent Model
d3c540a20a2049e50c0ceb5af03f6dc289eb79d4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	In	True	Passed	Model Under Test Equivalent Model
ce39c2acfb9b42e078ca88e2fc3bd86733e1eea6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	In	False	Passed	Model Under Test Equivalent Model
1ae725c63d516f1e1276a82bd489e54bcd72afc4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	In	True	Passed	Model Under Test Equivalent Model
632e407a23db9d39e5a15a15a809c7880fef6546	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	In	False	Passed	Model Under Test Equivalent Model
7c398e1850ff423f364cb7ffdd875bc5cd7440f6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	In	True	Passed	Model Under Test Equivalent Model
492cf87773e27e3569c953f94beb26cf2faf216f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	In	False	Passed	Model Under Test Equivalent Model
69251b8d1cf7c9c6b9ffe6ca6bd8ec51007be119	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	In	True	Passed	Model Under Test Equivalent Model
9fefd3ed05cec8232b8c648db20df107115d2fd7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	In	False	Passed	Model Under Test Equivalent Model
f4dc466c289318bedd541eba79281a1c13680c74	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	In	True	Passed	Model Under Test Equivalent Model
0f88969698ae96b9cfa4f2893ab8df2d6198bd1e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	In	False	Passed	Model Under Test Equivalent Model
52b37ce4b68bfb73bf3baeea3d945723eaf13e90	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	In	True	Passed	Model Under Test Equivalent Model
74ff8f9890ac767f28c68c439ea48ae96968509e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	In	False	Passed	Model Under Test Equivalent Model
90457b846594d8f0a3d3ffcba6c53a2164510f5d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	In	True	Passed	Model Under Test Equivalent Model
ccaadeb307b914c3045c4d197ca75a9a1b3ac98f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	In	False	Passed	Model Under Test Equivalent Model
d8e9b4e7c628f5862ab38f44e9127edc1f5f5323	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	In	True	Passed	Model Under Test Equivalent Model
58a2b2f75d566a39b21ba34f61def295a63d8971	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	In	False	Passed	Model Under Test Equivalent Model
5ef13b5ee7b1d9f710ca634e82e675bad5006fee	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	In	True	Passed	Model Under Test Equivalent Model
76dffb3aa9389c64cbced071143deb94ba29c365	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	In	False	Passed	Model Under Test Equivalent Model
4e0de16d0a427d86de29355eb5c3a46f3334caf1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	In	True	Passed	Model Under Test Equivalent Model
f4d2a8226a013d66d3eee0d97d75feee05726ad9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	In	False	Passed	Model Under Test Equivalent Model
93482e3ab9629f86221349288d2a8f2e3853b5ec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Choose	In	True	Passed	Model Under Test Equivalent Model
f84d1c61722839326d4096d63a47d61f17646005	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Choose	In	False	Passed	Model Under Test Equivalent Model
a48994bba773a767c0fe832d144495278f08ea61	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	In	True	Passed	Model Under Test Equivalent Model
79ce09ef8b4464a993654fae6a77a5057569a816	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	In	False	Passed	Model Under Test Equivalent Model
5a5a2586adc862c9071560526df63f2305d47ff8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	In	True	Passed	Model Under Test Equivalent Model
55ade82cfebad730ab6a48669cd7a6260ad170c8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	In	False	Passed	Model Under Test Equivalent Model
1df38b6286f23f7c048a0fe0da1ed78e323b3d6f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	In	True	Passed	Model Under Test Equivalent Model
753955a0c422c81dcfc8824ab4395f20167e25e4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	In	False	Passed	Model Under Test Equivalent Model
6fca71f25645f05f1f08c35f85f81580355d2522	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	In	True	Passed	Model Under Test Equivalent Model
9fd1768690ab288236cd5cf3606fa779dfdb679e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	In	False	Passed	Model Under Test Equivalent Model
803ab1ec2be71666e55136841be2c68dd81b5cda	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	In	True	Passed	Model Under Test Equivalent Model
d3f56762c91eb26b6f38208ad33ffe5525bafb67	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	In	False	Passed	Model Under Test Equivalent Model
ddcfd6ed7237e47fbdcbd55ab364ea9b9a39396b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	In	True	Passed	Model Under Test Equivalent Model
48d41c1699ea8659dc01b928e900793f3539809b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	In	False	Passed	Model Under Test Equivalent Model
8c116a7db990d41a4af40b058636eed19e012c77	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	In	True	Passed	Model Under Test Equivalent Model
7d1c479b1b249d83404b19af8d9ec6cce7f7397d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	In	False	Passed	Model Under Test Equivalent Model
8ca09edcdd2813e273f32c3f68e59a27ba11dfdb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	In	True	Passed	Model Under Test Equivalent Model
99750aa2431fae0a12b385ff4799d39d8d935c47	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	In	False	Passed	Model Under Test Equivalent Model
af64ffaad701b2069038d2a0224c042cf2389620	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	In	True	Passed	Model Under Test Equivalent Model
1d572478babd0b15ef4f3444edf82589984bce62	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	In	False	Passed	Model Under Test Equivalent Model
0a274c5809d9945c09b9e32a042c692b10dc4266	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	In	True	Passed	Model Under Test Equivalent Model
88c8df378cef5850c40d3f8e7514eee744d85b01	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	In	False	Passed	Model Under Test Equivalent Model
622e564cea78ddfe44b874e216ea23fcdb23397f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	In	True	Passed	Model Under Test Equivalent Model
e90887c82c18e17d1469908be72ddb06430a05e9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	In	False	Passed	Model Under Test Equivalent Model
f553c163db008157365bd367e808fd895095d462	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	In	True	Passed	Model Under Test Equivalent Model
afd200321c54dc51c7502e9d8c278ff84c2f00c6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	In	False	Passed	Model Under Test Equivalent Model
10d0f3e3c149f3aadd65c133c3ee11b798dfaa38	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	In	True	Passed	Model Under Test Equivalent Model
d9621501a08766f26832d23c8cc7bc6fe76b856c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	In	False	Passed	Model Under Test Equivalent Model
90a1609456e769a6dd398e33c6e3d7d085b2e5b1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	In	True	Passed	Model Under Test Equivalent Model
1f15942dd7a1b6336fd4796dda62e141268ec927	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	In	False	Passed	Model Under Test Equivalent Model
702d31a22ece800358fd37aef6e1b46f741be290	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	In	True	Passed	Model Under Test Equivalent Model
90a664269a3171f0839fafcea1695418df7a585e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	In	False	Passed	Model Under Test Equivalent Model
1afdb4ba482df841a6ccb0736a587e010f84ba61	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	In	True	Passed	Model Under Test Equivalent Model
33826aaf0bd35565b6b9f921d8e22d8fc53ba87a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	In	False	Passed	Model Under Test Equivalent Model
cea49a9ffb0f6dcad444f45dabba525ab3174337	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	In	True	Passed	Model Under Test Equivalent Model
d90928e82a22b1fc010c495adc44dc0f2daf1b3a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	In	False	Passed	Model Under Test Equivalent Model
033eab87fda10378b708784c480e4c54fff8f6b2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	In	True	Passed	Model Under Test Equivalent Model
8c974d78637651126ac0d0b2401faf34f4a47c50	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	In	False	Passed	Model Under Test Equivalent Model
365809e0bc5f348e342117b8902df9288e3bd83c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	In	True	Passed	Model Under Test Equivalent Model
5253a7e63329454a8db12dbf7357b83189ed22fd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	In	False	Passed	Model Under Test Equivalent Model
c6f8a6a714fd6bea446d3b890d8ebece13135f9c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	In	True	Passed	Model Under Test Equivalent Model
ba049caa469a191f2d2eea1d1896820f4d07b135	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	In	False	Passed	Model Under Test Equivalent Model
2d7bfffc696eaf8940bdf51ddae42df27ca44936	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	In	True	Passed	Model Under Test Equivalent Model
d8a2ca9d8b16a745de9ada502b7fe08700cbbd60	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	In	False	Passed	Model Under Test Equivalent Model
9ca695766e12b7eca320a734c805ce2919a15ef1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	In	True	Passed	Model Under Test Equivalent Model
c7461f58393a23d7d4fd5a8ff537159304d2ebb2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	In	False	Passed	Model Under Test Equivalent Model
bfa2c4bbf4e4b0877942abe4348ee8dee8259daa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	In	True	Passed	Model Under Test Equivalent Model
2d130374f3891ac7bc64c5bba7dbd430b2dc782a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	In	False	Passed	Model Under Test Equivalent Model
6ceea2a6506d90faa5df20f314e764874854770f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	In	True	Passed	Model Under Test Equivalent Model
b719a676c0a53c02b5f18835e317d000162bdf34	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	In	False	Passed	Model Under Test Equivalent Model
59bcaa76d3c9f3f0cc9b64df67a495bf556581bd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	In	True	Passed	Model Under Test Equivalent Model
bd6e52d31caf13fc3069ed253fba3875a6d9adb1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	In	False	Passed	Model Under Test Equivalent Model
d4050d5add48435f14492c587a6e4607b9fad9ad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	In	True	Passed	Model Under Test Equivalent Model
a36169bc272985b92d904d7dfb5ec1d494042206	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	In	False	Passed	Model Under Test Equivalent Model
18d9c121147bf0bf0ada6b0512bc91bdbcd8f09b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	In	True	Passed	Model Under Test Equivalent Model
58a31e332084d93ba7553306cc051d24db95a899	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	In	False	Passed	Model Under Test Equivalent Model
23fb20d30732f263344b6bf50c287fdec7845d1c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	In	True	Passed	Model Under Test Equivalent Model
5e48a8f90cd76bd3d4013a24f33eeb8c30b34674	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	In	False	Passed	Model Under Test Equivalent Model
223335ea25a7a082da5e25314043df1a1f9b700a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	In	True	Passed	Model Under Test Equivalent Model
0e7a137dfd590e541745ddee4934576d011e879c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	In	False	Passed	Model Under Test Equivalent Model
7cc9dede842bb604d33f1021f61582f6dbabe310	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	In	True	Passed	Model Under Test Equivalent Model
ecc6a88529a56ac6f2c631fdcaedeb3de2b4ba99	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	In	False	Passed	Model Under Test Equivalent Model
65a2988f99794e2128072a290cadde364ac75bb0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	In	True	Passed	Model Under Test Equivalent Model
1af7a9ad8d5c4627faebf3ed49e7e95f7f0e1762	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	In	False	Passed	Model Under Test Equivalent Model
b09907bd61bef37f38b023a82ff1e877f707316b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	In	True	Passed	Model Under Test Equivalent Model
8c6ab4bef6e4c7c73f8ed9bca3823a8609f2ecdb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	In	False	Passed	Model Under Test Equivalent Model
11e7c5bd3da3071a1b06c01c9b9fb4b960f4ec40	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	In	True	Passed	Model Under Test Equivalent Model
67d9fbf80d748b635ce72a150a2745a9e2811cd1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	In	False	Passed	Model Under Test Equivalent Model
170e822272e958eaba9d561e6a6cecf8525ddfc8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	In	True	Passed	Model Under Test Equivalent Model
6202334c2165de905c13ea2a246dbc2a28b92fce	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	In	False	Passed	Model Under Test Equivalent Model
fc516fd6020864e4b20c4d9fcd6baa66ec7080cb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	In	True	Passed	Model Under Test Equivalent Model
7ffaa0689d8fa8fc19e7ab1432270e23f3f7d81e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	In	False	Passed	Model Under Test Equivalent Model
495e0b4a9245f25a644a572af5e5e366c38e28e3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	In	True	Passed	Model Under Test Equivalent Model
ce977e841154428e5da22b6ccdba29e646970828	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	In	False	Passed	Model Under Test Equivalent Model
1642cd8f2d233d21e97715f509c3dbb3afded7ec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Assume	In	True	Passed	Model Under Test Equivalent Model
a067236f490ac410c1d5c42198c21c1f86f302b4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Assume	In	False	Passed	Model Under Test Equivalent Model
dec27530105bcfaf2960a40509bd72de74d0b285	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AssumeNamed	In	True	Passed	Model Under Test Equivalent Model
5424d1f1fcdf2db56a98c459fa8703c8b2b60305	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AssumeNamed	In	False	Passed	Model Under Test Equivalent Model
bff129ce811b7591c97fe4b169ac7d3f860b1c66	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	In	True	Passed	Model Under Test Equivalent Model
4e2a1ee7f1b530d53da1c3065a11c2a13f007d40	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	In	False	Passed	Model Under Test Equivalent Model
3d47c5ba71d4ff21cbd0c9ee00a1fc4c11fb03f0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfCond	In	True	Passed	Model Under Test Equivalent Model
4ac42a79b7db1abf145b84dcbb3b4e7dcc3dd463	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfCond	In	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
4f6a7a61bdef63c8d9646ca476fad91cd56fb6ce	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	In	True	Passed	Model Under Test Equivalent Model
10dd34bd95719ab47016bbed5a35fd69ae52d90f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	In	False	Passed	Model Under Test Equivalent Model
77f0e14ab25f6704b6339a5f43f5ef6cdc60138e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	In	True	Passed	Model Under Test Equivalent Model
6bc863dcff03422d60b7128ede3fd7591fb44b43	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	In	False	Passed	Model Under Test Equivalent Model
117de1f176671ac05fe904b060cbfbc818825b72	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Equivalence	In	True	Passed	Model Under Test Equivalent Model
411ac47cff1f9d816d70f63fac443652c14d37d7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Equivalence	In	False	Passed	Model Under Test Equivalent Model
2a0509098dfd2b8336857a7b7ec95b9ceb7f051f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	In	True	Passed	Model Under Test Equivalent Model
ca61d12f8ab068ffcce3fecbee4bbe509ea144c0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	In	False	Passed	Model Under Test Equivalent Model
1707c1927162d90888e1f6ab9ea3a17c1b844e23	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	In	True	Passed	Model Under Test Equivalent Model
93135463edf8668900faf5374eb3d7b8302d502a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	In	False	Passed	Model Under Test Equivalent Model
5f9374c10177ee4f0ec9a0faff88489579e67d0f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	In	True	Passed	Model Under Test Equivalent Model
cf9fcc20843f8c7470d2c3d59bb2d1b939247d6a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	In	False	Passed	Model Under Test Equivalent Model
3b07049bd4471f6387560cd314089bfffedc5b19	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	In	True	Passed	Model Under Test Equivalent Model
9e5f9f1bc7e8f8a5208eef1130a01373c9b5bb28	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	In	False	Passed	Model Under Test Equivalent Model
4b37118437c126a7d866ced45d853197f51d9c16	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	In	True	Passed	Model Under Test Equivalent Model
6911fb8e72e630d3a70a46056183d64b6259e777	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	In	False	Passed	Model Under Test Equivalent Model

Index

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