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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
ead6af67383b6fb01cf4b267e6c816dc62077620	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Union	True	Passed	Model Under Test Equivalent Model
93cc1bb438ed63a5db058138b7ebbebbd47e05d2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Union	False	Passed	Model Under Test Equivalent Model
d4225c5fbc09db5d1eabeed4c4f41078ed349a7d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	Union	True	Passed	Model Under Test Equivalent Model
fc86f09198f36a043564b3820bfd763ff8fb8b8b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	Union	False	Passed	Model Under Test Equivalent Model
f242ff42a1781cdbcc377ea27f975455a15c45b0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	Union	True	Passed	Model Under Test Equivalent Model
0bcb9210cb348aaa79f00d8c58d8a55f72e32dce	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	Union	False	Passed	Model Under Test Equivalent Model
be2f22f2b4173bbf1b2e687a7ca8441ac6340e2e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Union	True	Passed	Model Under Test Equivalent Model
94f7cdccfe2fdd001cc24f6830353982b03391da	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Union	False	Passed	Model Under Test Equivalent Model
4c1a165b397d2e41e1a1631d1ee42595cbdf56cd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	Union	True	Passed	Model Under Test Equivalent Model
9b49ee13e46ab9caa80918bd05243b4d0d3e8127	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	Union	False	Passed	Model Under Test Equivalent Model
5b33d4b73751a064f98223908be61af480e8a838	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	Union	True	Passed	Model Under Test Equivalent Model
08a80c345d345d80065d94cba374154bc5751b03	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	Union	False	Passed	Model Under Test Equivalent Model
50d4c6a06a9df27370d77ee13d42b57f448e3734	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	Union	True	Passed	Model Under Test Equivalent Model
56e27aa99583291d99b3e7fe3d10242a45024e5c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	Union	False	Passed	Model Under Test Equivalent Model
9054a154028fefaecc3687221d8bae1683177294	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	Union	True	Passed	Model Under Test Equivalent Model
a8af92fb272d315a9a53cf73e513a8e8a75df8c8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	Union	False	Passed	Model Under Test Equivalent Model
5bf7d59261c282391a224629d026dea1ef4a49e5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Union	True	Passed	Model Under Test Equivalent Model
6ec68951172cb88bbc0fb6e234995775859a4b60	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Union	False	Passed	Model Under Test Equivalent Model
831062b9c0c372c15a389497e08060ca0d6263d5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Union	True	Passed	Model Under Test Equivalent Model
870ed846fbace7da3db3c20ab265be0100f97760	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Union	False	Passed	Model Under Test Equivalent Model
c9173deaf93abb1e36bc0bfd575a03dc5ae940cf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Union	True	Passed	Model Under Test Equivalent Model
4db679b929c1e21af50eb1bdd1960ad1972f4b67	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Union	False	Passed	Model Under Test Equivalent Model
fbd004e3caa6bc7e38e01024af655534d783f4d0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	Union	True	Passed	Model Under Test Equivalent Model
7ecc913d6fead74382f453ccdd50ba792a291426	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	Union	False	Passed	Model Under Test Equivalent Model
b4a307db7fdf6f0d9e5908a96db8969b27da05c1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	Union	True	Passed	Model Under Test Equivalent Model
5c424f5a5f1a254270b5310757d74d194da1d9ea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	Union	False	Passed	Model Under Test Equivalent Model
2c15d3f21fdbe46958e528cc3677a8d85626e483	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	Union	True	Passed	Model Under Test Equivalent Model
203ba80611d25c6d097d3cd0424bab162adb4633	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	Union	False	Passed	Model Under Test Equivalent Model
755a2686d3c1a23905b48b61e70a6f2662791d39	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	Union	True	Passed	Model Under Test Equivalent Model
1f71b48ebf3abff48b92544874cfd3f3c155cac8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	Union	False	Passed	Model Under Test Equivalent Model
0781c193e87f0c469a4699fa9c59c966aa338f86	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	Union	True	Passed	Model Under Test Equivalent Model
b737b0adb09adf6cfb8e222c05f112ed46150033	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	Union	False	Passed	Model Under Test Equivalent Model
2de75f3cff35461062530b1e1397dc50b17faaff	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	Union	True	Passed	Model Under Test Equivalent Model
de53f1b607a28d9ce6171962b69a4efe4f10ceb7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	Union	False	Passed	Model Under Test Equivalent Model
75c0363ab45f58b46a5bd93f136495dbca4572df	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Union	True	Passed	Model Under Test Equivalent Model
a36f188a9b9cd22b76050f5265096892d398a418	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Union	False	Passed	Model Under Test Equivalent Model
e56b5c866cf1e94896a3763c7378dc70462a5b82	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	Union	True	Passed	Model Under Test Equivalent Model
3342358f6998ad374891e79fcce7b0af740d15da	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	Union	False	Passed	Model Under Test Equivalent Model
9729f34bea45098c77acd77ef35686595d33d3b9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	Union	True	Passed	Model Under Test Equivalent Model
37768d83251897bafdff3158d5fe5d95ec1fa907	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	Union	False	Passed	Model Under Test Equivalent Model
d56e0ed29b276e06890f40b0e143ced8b52778a0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	Union	True	Passed	Model Under Test Equivalent Model
28fb3c66fb7c4d351d5bb593d774a751d85ff095	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	Union	False	Passed	Model Under Test Equivalent Model
3db1f29ffdef37c1b38fd8d2c2b8432c791ac0fb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	Union	True	Passed	Model Under Test Equivalent Model
73644fb4eedcd7039fd69631506a020508cfc9a3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	Union	False	Passed	Model Under Test Equivalent Model
cb475cf72afab8e067c2d6ddf9d0b367c35cb25f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Union	True	Passed	Model Under Test Equivalent Model
4539f7c063ca6a96a8f17d3cfecb6f4d375bcde4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Union	False	Passed	Model Under Test Equivalent Model
72cbb63a501326d1c1dbb1e1fd88a5bc12d49f3d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	Union	True	Passed	Model Under Test Equivalent Model
072de5f4577975150236fac236472fbd3476ce02	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	Union	False	Passed	Model Under Test Equivalent Model
cf5ea8c58359c5e2b4d3ee942193f311efa85cde	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	Union	True	Passed	Model Under Test Equivalent Model
e6cb0be194cdba28f301f3cfea8d09a0bf49b8df	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	Union	False	Passed	Model Under Test Equivalent Model
136d4a8898668f77e902d88ef9441f2e44ffbe12	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	Union	True	Passed	Model Under Test Equivalent Model
5d5d7a27222f56301db8f8ea9371ca3728d3c0c8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	Union	False	Passed	Model Under Test Equivalent Model
6f7ae9c44a04a3a6113a956186b4ec8ac2b8e239	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Union	True	Passed	Model Under Test Equivalent Model
9743c5801db6f4fe822165f56a51452c603b5ab7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Union	False	Passed	Model Under Test Equivalent Model
ec60e5a36dfc560fd42d27e3504d26754cfe4dba	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	Union	True	Passed	Model Under Test Equivalent Model
ea86759d2eb966fbcf4892eb87308afdb785450c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	Union	False	Passed	Model Under Test Equivalent Model
d23fe99ddc36e9716aeefd4dde803c99e0c9f124	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	Union	True	Passed	Model Under Test Equivalent Model
bd18eb1837bab4f1274c04295e4aef5bd2efa3e2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	Union	False	Passed	Model Under Test Equivalent Model
ab973f5ecfc174377d80247b2e0c1f799511ea65	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	Union	True	Passed	Model Under Test Equivalent Model
0f7a3867828d851721c267c414ace24d3ab5eac8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	Union	False	Passed	Model Under Test Equivalent Model
91ba55b3529d03c0df2e91a73e8b187071a0d709	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Union	True	Passed	Model Under Test Equivalent Model
f44fc68e778fb04762b9656b981aed8f08755b15	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Union	False	Passed	Model Under Test Equivalent Model
f937502bd55ca201708a08b4e18bfc0d92e0661a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	Union	True	Passed	Model Under Test Equivalent Model
8bdbaa7b8d0596b490c32634f58c182c50a92360	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	Union	False	Passed	Model Under Test Equivalent Model
c71cf54dd6d55e126a835aba7df2d2e1aaffd6cc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	Union	True	Passed	Model Under Test Equivalent Model
1b539fff9c13ad2034b6408bd7b4e5e35b4d1e6b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	Union	False	Passed	Model Under Test Equivalent Model
4917a22ed00290db789b9c8131d22c86f1076c94	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	Union	True	Passed	Model Under Test Equivalent Model
678c97520f4c87df9af63928fafd3f0818c311d8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	Union	False	Passed	Model Under Test Equivalent Model
c8d4e262fccf5d126e954b0c56d964b271c177cc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Union	True	Passed	Model Under Test Equivalent Model
c2b595268f767fd946f7663e1c0d47f0120afb31	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Union	False	Passed	Model Under Test Equivalent Model
ed5b86888bc3a17d1b7bc5bcc06c50cce48a27aa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	Union	True	Passed	Model Under Test Equivalent Model
eb1fb91b627eac90dd4cdabd3226afd63cd6766f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	Union	False	Passed	Model Under Test Equivalent Model
b1a821f0944f8344ba6e2a4a6a7e38020d6bc429	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Union	True	Passed	Model Under Test Equivalent Model
b17fccce2285d1ef29d27801b28411998d11b80e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Union	False	Passed	Model Under Test Equivalent Model
c9dd7da5054b77ad3b28e797f414a9e2c7bd4470	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	Union	True	Passed	Model Under Test Equivalent Model
fa54984fac310ed5907ed3edcf78e846030646f3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	Union	False	Passed	Model Under Test Equivalent Model
572bc60bd1f2382caa79553cf2b21c35f3f4c9af	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	Union	True	Passed	Model Under Test Equivalent Model
bc76c0b5c438c7836d04ddd1f93581cd13c07f77	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	Union	False	Passed	Model Under Test Equivalent Model
cf7bfccdf8c1cd0152b51fc6caa764d54398bf35	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	Union	True	Passed	Model Under Test Equivalent Model
745eb41f1d7612123c07ffdb3776457bd66322af	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	Union	False	Passed	Model Under Test Equivalent Model
297055d68bdf8d168fece3c39f860082ffc52689	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	Union	True	Passed	Model Under Test Equivalent Model
90a2e108d54b85600687f1a116023ef95daafe5b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	Union	False	Passed	Model Under Test Equivalent Model
11edd042c914cc3e530028bfb2a88cab781be6e1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	Union	True	Passed	Model Under Test Equivalent Model
d0660f8e069389e2e90c5fba0258346622236079	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	Union	False	Passed	Model Under Test Equivalent Model
b42c3d6d781da0c30ec77b8cb98aa95e64777256	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	Union	True	Passed	Model Under Test Equivalent Model
6892ea770d2348affa56bd74e81bf2563a10bee0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	Union	False	Passed	Model Under Test Equivalent Model
be8bd74d7918fc493988b48a06917692e222f5f2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	Union	True	Passed	Model Under Test Equivalent Model
590c84b70cadf36b9c6aa75f1e87c0e1dafd7faa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	Union	False	Passed	Model Under Test Equivalent Model
1b6ff18a4afe6d5234c712d1df3087806a9737e5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Union	True	Passed	Model Under Test Equivalent Model
1fd413639cc362e87174dbea4b826294faaf3b8c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Union	False	Passed	Model Under Test Equivalent Model
a87ed512361c9422fdac808bd35c3a0c7ab0613a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross2	Union	True	Passed	Model Under Test Equivalent Model
0cb6e329955369b825292d977ab9be478f7b8670	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross2	Union	False	Passed	Model Under Test Equivalent Model
214cd6e2ee60b4c83c5c6ac4cbc51c1577241760	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross3	Union	True	Passed	Model Under Test Equivalent Model
8b4a30fd162af6d487d084efd32afe65cba218b9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross3	Union	False	Passed	Model Under Test Equivalent Model
b9f05068f6e6cc9d684330e41a22e2bf47482f81	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunSet	Union	True	Passed	Model Under Test Equivalent Model
85323f2c92a2b738dd86ce61e7203caeae2d9b90	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunSet	Union	False	Passed	Model Under Test Equivalent Model
4e230df0a99e5d522b1aece3b1fe90d1e9bbdd7b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	RecordSet	Union	True	Passed	Model Under Test Equivalent Model
dac24979b5892e121f7a8c7c0e19c5e713e4df7e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	RecordSet	Union	False	Passed	Model Under Test Equivalent Model
f02fc41cfe0fe684e2ff0a336862c99b7180f54b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetDiff	Union	True	Passed	Model Under Test Equivalent Model
0af811431c485e4ed1ff38c15dddee24a27b286b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetDiff	Union	False	Passed	Model Under Test Equivalent Model
4db59cc2ad857c1d10dc6d5cc78adcc04e83ef4c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetUnion	Union	True	Passed	Model Under Test Equivalent Model
fce3eb139b31bda6251986f2123ab21350211cd3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetUnion	Union	False	Passed	Model Under Test Equivalent Model
7b57c7dc3b87cb91ba61a04894324d927417bf1f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetIntersect	Union	True	Passed	Model Under Test Equivalent Model
af450fa117dcd9e8be8129a178b3d84580fc8d46	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetIntersect	Union	False	Passed	Model Under Test Equivalent Model
aee8193095cb25f5f9b564eb5fc4973483f1a5b5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SubsetEq	Union	True	Passed	Model Under Test Equivalent Model
f97b097947dde5ae0e5e3af19d335d5730197643	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SubsetEq	Union	False	Passed	Model Under Test Equivalent Model
f5351dbbbc2888409d9f207f3ce4db2b9a325cf4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	Union	True	Passed	Model Under Test Equivalent Model
4269b27bcc56552a7cd44fd74a7785c0a2aac2f2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	Union	False	Passed	Model Under Test Equivalent Model
67dadd774c446a29375600bd0b26d43eecaef083	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	Union	True	Passed	Model Under Test Equivalent Model
cab8ee6a2c075a8dfcbf7f4e745545c064569b5b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	Union	False	Passed	Model Under Test Equivalent Model
097a0ddc506435e08bbed07ffbbdd95686fbd161	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Subset	Union	True	Passed	Model Under Test Equivalent Model
764078f879052b6635a0cf8100c3635b2e7368db	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Subset	Union	False	Passed	Model Under Test Equivalent Model
99b7bf1c565d31490ec0ebf81205877a94bbee37	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Union	True	Passed	Model Under Test Equivalent Model
99e65aab88010468fa6fe4ec94afac4c0a5a7900	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Union	False	Passed	Model Under Test Equivalent Model
5c719751c908b1745e4a72e6aa437bbe409b32fd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	Union	True	Passed	Model Under Test Equivalent Model
e762bac7188da5b1c743f5f9cc5e07bb55ab2272	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	Union	False	Passed	Model Under Test Equivalent Model
ad30918642383fed309c9f95fd92bdcb4e6a1c1f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSeq	Union	True	Passed	Model Under Test Equivalent Model
e07a543b3396897c22e2fc1f97ff57a4a7fe5f96	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSeq	Union	False	Passed	Model Under Test Equivalent Model
04c232de0740690d1b297889a185057bd200e94f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	Union	True	Passed	Model Under Test Equivalent Model
7757b0684fc5f3a5ef5f4567df10e3b35fb46fe8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	Union	False	Passed	Model Under Test Equivalent Model
2fd3f34317ddeb07613a0a495cf7236ab240f772	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcPermuteFun	Union	True	Passed	Model Under Test Equivalent Model
3ac6d0b10c735eae765fe03d7f3b49b4af25e007	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcPermuteFun	Union	False	Passed	Model Under Test Equivalent Model
0465ca9b4032f145946c5a9b0b7f6f3db242a584	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	Union	True	Passed	Model Under Test Equivalent Model
ab12a53a3bba0e2d84cbd5613a21a50127f88018	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	Union	False	Passed	Model Under Test Equivalent Model
f5fcb561a04cb5dbaf6ded6b0eefb25fa4d316f0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSetToBag	Union	True	Passed	Model Under Test Equivalent Model
c3a03e2fa5bcca6da5405cc706b6d8fd2bcee5ca	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSetToBag	Union	False	Passed	Model Under Test Equivalent Model
38ddd9819bbe9260a1e15d6a9e11f8735f877002	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	Union	True	Passed	Model Under Test Equivalent Model
0aa64e17779b90aaaf4561a1e7629424cd5182fa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	Union	False	Passed	Model Under Test Equivalent Model
9bf90e9f54497cad5d2eca41e00bfb8d03cebfcb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	Union	True	Passed	Model Under Test Equivalent Model
b8ed57c5c5d9756f3a3435cdc2ef2a8a4013f021	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	Union	False	Passed	Model Under Test Equivalent Model
2a30b128a415d8e5ec63cd5bfb4f62bf2c949efc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagUnion	Union	True	Passed	Model Under Test Equivalent Model
14f3f47dd024502ff724826a1c7c6c3faff3f1f8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagUnion	Union	False	Passed	Model Under Test Equivalent Model
652402d5dc2a173d6dfc4fca83f5ddd201cc2aac	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsIsFiniteSet	Union	True	Passed	Model Under Test Equivalent Model
c69bac79e102fe087958a2a860091604df3c6f18	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsIsFiniteSet	Union	False	Passed	Model Under Test Equivalent Model
c7434ee7a19e0e07917828cbd92393b35cd009b1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsCardinality	Union	True	Passed	Model Under Test Equivalent Model
85c8d091c6df060ff7f53a8f0bfedeb8ce5b46e0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsCardinality	Union	False	Passed	Model Under Test Equivalent Model
404a58ff4fdf4f2d8408c7c56760413e40949a68	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	Union	True	Passed	Model Under Test Equivalent Model
9c59ebd08b3553496fc941c830e4bb72fcb4d283	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	Union	False	Passed	Model Under Test Equivalent Model

Index

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