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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
5550606103aa73a9502e3ac447a9bd1fe3978d12	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	In	True	Passed	Model Under Test Equivalent Model
ec08df2ac27488c96856097749a0dc580981c09e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	In	False	Passed	Model Under Test Equivalent Model
0efd9a4575dc0dba899334a969f58d8ff3196b17	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	In	True	Passed	Model Under Test Equivalent Model
a60a4dc19bdceb04cafd3418642d83d90c8acf5f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	In	False	Passed	Model Under Test Equivalent Model
5876ff96ea4e9e1ad76a49942ba8a3505ccdeeca	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	In	True	Passed	Model Under Test Equivalent Model
13db8f0e8b3f2414ad9c63b6065010e99daa3714	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	In	False	Passed	Model Under Test Equivalent Model
e087c65ed1e2097f27bf7e0fb517465500ca1627	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	In	True	Passed	Model Under Test Equivalent Model
ddd3c6b7f7ece852fca3c6d4188438223895f4b0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	In	False	Passed	Model Under Test Equivalent Model
26c75a9ecf5519f50d7b3c18986cc787fe506efa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	In	True	Passed	Model Under Test Equivalent Model
23ba42066bf0491e746984c5c9e0f4195b403f8c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	In	False	Passed	Model Under Test Equivalent Model
a4f54a754738f735f7fe71e71fa1667ae697c940	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	In	True	Passed	Model Under Test Equivalent Model
d29eb4469ff6df858d5cc9c7ca8858990fbc916c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	In	False	Passed	Model Under Test Equivalent Model
f41a58ca4a64f0139c5489cfaa0616a4e70af745	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndProp	In	True	Passed	Model Under Test Equivalent Model
792b330925af4351b77e5950dc02675c4aeea4e1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndProp	In	False	Passed	Model Under Test Equivalent Model
00836f947270b213ea7cfd4f7a6c28a4173586a3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	In	True	Passed	Model Under Test Equivalent Model
268a3562e4f77b52a2912d692dec3d9293a4892e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	In	False	Passed	Model Under Test Equivalent Model
35d3b879eb7ea6aca6e08983ac52bfa0c5bcc14b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	In	True	Passed	Model Under Test Equivalent Model
ac9c2259208c630dc2696e6be5e9718754a73a1c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	In	False	Passed	Model Under Test Equivalent Model
0938fb735f9d7a4d43662c09941d51802ebe4754	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	In	True	Passed	Model Under Test Equivalent Model
dea4c84d31de504c7cdfc3b0c785742673b7a47c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	In	False	Passed	Model Under Test Equivalent Model
a5ed6e2ba3d68bcef149c2debee09680a4ea46ad	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	In	True	Passed	Model Under Test Equivalent Model
4a5a66a0afb48e90f9f7c01f956653ab34997a88	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	In	False	Passed	Model Under Test Equivalent Model
21e07351236999c60b12d68e6c257fa5fdf8fee9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	In	True	Passed	Model Under Test Equivalent Model
00b0ff473fa009ba86e90def7e2fcde6142c3d93	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	In	False	Passed	Model Under Test Equivalent Model
538b83b4e11e8b267e8e2a86cd23d766585682d6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	In	True	Passed	Model Under Test Equivalent Model
cc099e39faef1e7956a71e21da9922fba66a988c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	In	False	Passed	Model Under Test Equivalent Model
72578a8fde03392d0f83e20a899658191df36209	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	In	True	Passed	Model Under Test Equivalent Model
42c5b319882dcbd6e984d5b6d796f1752ed075a9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	In	False	Passed	Model Under Test Equivalent Model
499d96c874d3ea5a780ab9cb1320eef7363fcd8b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	In	True	Passed	Model Under Test Equivalent Model
27e4e1f48509ee0e77573fd439b3a4bacabc50b6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	In	False	Passed	Model Under Test Equivalent Model
891aa497281fd093c43877dfb85ce73c5c774755	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	In	True	Passed	Model Under Test Equivalent Model
4df395e6987f524b6149f840a652ae7ca18fd134	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	In	False	Passed	Model Under Test Equivalent Model
2f805f3eeccceb26f8cbd4aa7e38d846590ab39a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	In	True	Passed	Model Under Test Equivalent Model
892366e7dad6d667fef41e5e238c3c81a2af8c38	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	In	False	Passed	Model Under Test Equivalent Model
7701b62592ff758fc58c6ab895d21702ef051d79	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	In	True	Passed	Model Under Test Equivalent Model
a53bb07c8bb719d50474a84939706b879a23475e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	In	False	Passed	Model Under Test Equivalent Model
197c60f2e65656443f8e2f8771cc67d26dc35010	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	In	True	Passed	Model Under Test Equivalent Model
8070f87e1058e6ec9c486d7882a47cd243ef95a0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	In	False	Passed	Model Under Test Equivalent Model
7881fb84550168c7e230b5798a3b41f4768fc14a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	In	True	Passed	Model Under Test Equivalent Model
5202c415f3fedf6b006b7ef201ae95eed97344a0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	In	False	Passed	Model Under Test Equivalent Model
fa4fa2fee9801f3d3704aea53b98a496e4ae12a1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	In	True	Passed	Model Under Test Equivalent Model
ca0d5305ae27b8f3305641b7672940fc9b3aa2d8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	In	False	Passed	Model Under Test Equivalent Model
65a0125af63c54d8df03fd25f9e4c7cee8eba779	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	In	True	Passed	Model Under Test Equivalent Model
8256177f048dc772a29ea65b8b606ea73c5e2f55	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	In	False	Passed	Model Under Test Equivalent Model
68c6b8df4f21b2b911d853cc647f8f4431bc1a27	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	In	True	Passed	Model Under Test Equivalent Model
4c22e793c8678f1a5e7c6cba8520137467a1fec9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	In	False	Passed	Model Under Test Equivalent Model
4dcd378632ed57d92de316cdaded2675e48226d3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	In	True	Passed	Model Under Test Equivalent Model
76f465030deb0e4109061db27523c54e8a24546d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	In	False	Passed	Model Under Test Equivalent Model
79f8b1ba2ad0527d987ddaff75c3fc7673f04000	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	In	True	Passed	Model Under Test Equivalent Model
ab70cea32e4ce6f92c6aa733c235ffb0236c6468	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	In	False	Passed	Model Under Test Equivalent Model
bc42000db63c2c4b5e640fde0686e97e55189e66	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	In	True	Passed	Model Under Test Equivalent Model
7a2d4b67c36eefd3f4473b28ea9be8c2c7a15fc2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	In	False	Passed	Model Under Test Equivalent Model
4f831e8ddec6b5989ed1e2f9984e90ddc8270480	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	In	True	Passed	Model Under Test Equivalent Model
d85625cd88d4d83d2653a75639ff486f53dfef82	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	In	False	Passed	Model Under Test Equivalent Model
5433376ec28d3a2f935b04621fb6f72c742e5835	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	In	True	Passed	Model Under Test Equivalent Model
ee2b09a2bf5e4d4adb2304ae567458fb20419dec	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	In	False	Passed	Model Under Test Equivalent Model
4a1bed1974b5c1f73843b1729d0f4cc3d52a47e5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	In	True	Passed	Model Under Test Equivalent Model
b2528a78ca715f26b59b0cdfcf9bd1dc70aaa9eb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	In	False	Passed	Model Under Test Equivalent Model
f08e27dbf9f7271f545885f6c02fb966c2b042f6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	In	True	Passed	Model Under Test Equivalent Model
1bce82eb12ca3e2d231b8cf2ca1edd177fc31ac9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	In	False	Passed	Model Under Test Equivalent Model
71bc3669f567d18bb08559789ff35ecb605fa38e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	In	True	Passed	Model Under Test Equivalent Model
e8ea5aab84025c033f17eb62a51fb7bd029def7b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	In	False	Passed	Model Under Test Equivalent Model
d91f63b63b619b94461733de45e5fc4ce3ff9650	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	In	True	Passed	Model Under Test Equivalent Model
500a9be4517a3ee60ac461d3da61b8e83d0b3f62	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	In	False	Passed	Model Under Test Equivalent Model
f7f497db9c7cd0a5f1b99ba44a9483d0c0c47aad	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	In	True	Passed	Model Under Test Equivalent Model
d62aa13ed2fadd0d0291b726c2a39310f5439505	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	In	False	Passed	Model Under Test Equivalent Model
cd59f793e4282524c334cdcaae78084a1a58edfc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	In	True	Passed	Model Under Test Equivalent Model
2253a68ead43821b5625c0b2cbb662120fd7913f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	In	False	Passed	Model Under Test Equivalent Model
eb1cf94be8012a7613cc941c8a2293f33f09d867	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	In	True	Passed	Model Under Test Equivalent Model
236f296a70273421a6856eb9ee79027b3cd2e893	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	In	False	Passed	Model Under Test Equivalent Model
306b18f12bbc9634c2bcd0d6ce8d6c9e50206a85	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	In	True	Passed	Model Under Test Equivalent Model
aba246e2925be591a50a2d57d982d115b814097b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	In	False	Passed	Model Under Test Equivalent Model
320ede28b5a2f4ee2a0ce89f0bc967bfea676954	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	In	True	Passed	Model Under Test Equivalent Model
c688513ac8a7f6db3188caa4ba417b4451844718	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	In	False	Passed	Model Under Test Equivalent Model
ba7e3a8eb0a730d64d35324cbb26202844d8b27d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	In	True	Passed	Model Under Test Equivalent Model
e73648dcc6fd695576178b1c111a0898e94a5bc5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	In	False	Passed	Model Under Test Equivalent Model
5107eb7670dc7a9216cedcf84f72556219da389e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	In	True	Passed	Model Under Test Equivalent Model
d2bb2dcc71945dca6dfb382e6d28c62737ec7f9c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	In	False	Passed	Model Under Test Equivalent Model
8a8d1740364479f31e12b368a9ff1f0511d36358	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	In	True	Passed	Model Under Test Equivalent Model
2cde658703292ca106924f94d93743bbcc8b1150	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	In	False	Passed	Model Under Test Equivalent Model
02552fa551e44ae5fbfdecacf0a64037a8f7fcf1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	In	True	Passed	Model Under Test Equivalent Model
a62aa6751f89da15c876dface4ae152a59136420	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	In	False	Passed	Model Under Test Equivalent Model
48d4fe45fc331ea18f2d49e8647a878e86236ed4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	In	True	Passed	Model Under Test Equivalent Model
f4f720a0692ba42db464c50ad8699938dffbdd3a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	In	False	Passed	Model Under Test Equivalent Model
d094b3199b2aed1ca327608ede537e962f80bcff	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	In	True	Passed	Model Under Test Equivalent Model
482929c3bdcbbcc3638081f209c66a41471c58d8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	In	False	Passed	Model Under Test Equivalent Model
0b9f29a90d4077b0cb887e11c537db0dfa78075a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	In	True	Passed	Model Under Test Equivalent Model
5e2782fd86c90581863ceb8979d0f3c20175e16d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	In	False	Passed	Model Under Test Equivalent Model
f620224e686031c54aa4cef2420ebcfe3faef92b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	In	True	Passed	Model Under Test Equivalent Model
51d201f4b79a2c13d3f533d7f6f4bb9a9d79229a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	In	False	Passed	Model Under Test Equivalent Model
042815fcb7fd9bdfb56f253466e51392fd99c769	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	In	True	Passed	Model Under Test Equivalent Model
d17fe2f59456454ceb610bd82cdef4901e88ce99	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	In	False	Passed	Model Under Test Equivalent Model
136094514cf52e6a82a5275f84b20676cf24a3c7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	In	True	Passed	Model Under Test Equivalent Model
0ad906679793da3f5c666773bba43e85c8b2da60	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	In	False	Passed	Model Under Test Equivalent Model
43375a912c1c7fb5054721474545a9aafcbe2a7e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	In	True	Passed	Model Under Test Equivalent Model
e4709f103a068b9c77c8cea798b965a8592fee7f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	In	False	Passed	Model Under Test Equivalent Model
7bc5ba0acc982c84e0f0fdb4095e4696bab9eac2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	In	True	Passed	Model Under Test Equivalent Model
6ef58f08371fd25cce8fa3b9b8d52076ffecb2e3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	In	False	Passed	Model Under Test Equivalent Model
6a1ee4c37998077dffb4528b178cbb6f2abe1c6d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	In	True	Passed	Model Under Test Equivalent Model
6ea2bc8124fc2d20876a5c70595d1fb1629dc893	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	In	False	Passed	Model Under Test Equivalent Model
84c5d397bd6c96544561efe14fd2e6a626a81227	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	In	True	Passed	Model Under Test Equivalent Model
a7e8a1af805028ab599941f236b199cd3d874f53	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	In	False	Passed	Model Under Test Equivalent Model
28820998e71b09b35bed29e149987612478946f9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	In	True	Passed	Model Under Test Equivalent Model
d8fe83e35f615b46e0347707eb8d34b5357f427a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	In	False	Passed	Model Under Test Equivalent Model
6d94938cc1ee3105e377ed619f5557ab152bacd0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	In	True	Passed	Model Under Test Equivalent Model
cd873da81365dd72c0bba86a0b47463255a023b7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	In	False	Passed	Model Under Test Equivalent Model
2baa3855407a94182aa081e80c5c2d4cfe7feb02	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	In	True	Passed	Model Under Test Equivalent Model
2de702056b505e701d64447367905425196bad92	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	In	False	Passed	Model Under Test Equivalent Model
e62da8c2b6d8424335106b4bc642538e59420504	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	In	True	Passed	Model Under Test Equivalent Model
94e005657d75a3fd8759181d546af92231a4fb99	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	In	False	Passed	Model Under Test Equivalent Model
96a89045cf769a7c87e0b5970ca4b444f90f144a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	In	True	Passed	Model Under Test Equivalent Model
20c258f56c85f85ffcea5b24201dcc4aeddab56f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	In	False	Passed	Model Under Test Equivalent Model
c53b8dec1a47c99f0abf42f2dbe3f42e07d4ac3c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Assume	In	True	Passed	Model Under Test Equivalent Model
b60e684da422388f2993265be56bafa1cbd9de0e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Assume	In	False	Passed	Model Under Test Equivalent Model
cc27ad96b17e0fea503a848989c7f623120a5d64	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AssumeNamed	In	True	Passed	Model Under Test Equivalent Model
5155c7f35d88a41ae3cee0510e9fb2ccc5daeee8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AssumeNamed	In	False	Passed	Model Under Test Equivalent Model
1cff38a6cf26e271e5e233f52c007b0d719454b5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	In	True	Passed	Model Under Test Equivalent Model
59261181647b1129cdee77e7935ebbce68c4bd63	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	In	False	Passed	Model Under Test Equivalent Model
52f3a44dd3c2c1381451217c2c6ee66aaeafdcf8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	In	True	Passed	Model Under Test Equivalent Model
be14c6ba459a3cd63efed3a0ebc4a22c1c5f15c3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	In	False	Passed	Model Under Test Equivalent Model
016fa7edea0af6231e1e3ef59f4599f79a468372	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	In	True	Passed	Model Under Test Equivalent Model
e99eb5edd793663d49145432487e98dbabc0e500	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	In	False	Passed	Model Under Test Equivalent Model
5b0f9087d7051be09c26b6c5f7cbf7a0b3763507	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	In	True	Passed	Model Under Test Equivalent Model
1c5adc769949fb06450001fdf96a5cf95ce052ef	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	In	False	Passed	Model Under Test Equivalent Model
046a4b5a37db573fe250fdddea00c4541f4be0b6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	In	True	Passed	Model Under Test Equivalent Model
05a12907474e2c5a2c16af167c8e6950b745dd9b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	In	False	Passed	Model Under Test Equivalent Model
6e0f101e6f0773ff25b6f74365037928d8320170	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	In	True	Passed	Model Under Test Equivalent Model
2e88c279c5f81449a98daa7a52d02d5a5ed54788	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	In	False	Passed	Model Under Test Equivalent Model
df98c1c27fa79d1fbd7092941f32af33cca5dc8b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	In	True	Passed	Model Under Test Equivalent Model
c8269983a888c41e57cdbdf48aedf8324622aaa8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	In	False	Passed	Model Under Test Equivalent Model
c7ea78fd1bd757e4873cd30fe4aeffab4e295b6f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	In	True	Passed	Model Under Test Equivalent Model
2360e19b054465619080a04bcde6f21249e4ea5c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	In	False	Passed	Model Under Test Equivalent Model
b337b426b2144561894fc23f10fb70ed68fe3337	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	In	True	Passed	Model Under Test Equivalent Model
c90ce37259ef89766a1bdbb55c62e29b47ca15d7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	In	False	Passed	Model Under Test Equivalent Model
04296ed00d9c12c864baff29adc43d13072fa379	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	In	True	Passed	Model Under Test Equivalent Model
f93402a81ca844f267b8702f073bf5215656fc1b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	In	False	Passed	Model Under Test Equivalent Model
a5e5d575ddc219f6ec8a0a393e4521ddfd553bb9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	In	True	Passed	Model Under Test Equivalent Model
13d1bb368408eaf73574ed0ef951b2781983a1a3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	In	False	Passed	Model Under Test Equivalent Model

Index

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