Tests by case feature Def0; CLI Option: -workers auto

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
6d801976f51bd9d2bc6afea4727a6a2ba06d92ea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	OneLineComment	True	Passed	Model Under Test Equivalent Model
2cd0251965bde0387def6888eec881054c8aadea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	OneLineComment	False	Passed	Model Under Test Equivalent Model
87dad6e09e5c4e34f4ea7089ee0568243c137fe1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	MultiLineComment	True	Passed	Model Under Test Equivalent Model
0f429b94b14b4ec8b18dd9acc0ec068ef4decdff	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	MultiLineComment	False	Passed	Model Under Test Equivalent Model
9f0a21b08a065e1795957f23bafe3580d5013c6e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BoolTrue	True	Passed	Model Under Test Equivalent Model
5d0e974a69e5c3c0b5cd761880322591ecd29fc1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BoolTrue	False	Passed	Model Under Test Equivalent Model
b499c7e85a537248db29f0daf48d94275f4f2039	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BoolFalse	True	Passed	Model Under Test Equivalent Model
6c309ab5732d4226c2a5696dadb4c5b1ce200fe8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BoolFalse	False	Passed	Model Under Test Equivalent Model
ccbceeea373155fab2d8d86fb4c6f0456a720b9e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BoolSet	True	Passed	Model Under Test Equivalent Model
a7e87e8611fdf43870b7f5438a756b72dee3f3f0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BoolSet	False	Passed	Model Under Test Equivalent Model
c1c534d7cdf6380fa98d1f3a796f6cbae17d1c5c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	And	True	Passed	Model Under Test Equivalent Model
39fcd76faf1d59e5acc8aa86450f27d33adf6355	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	And	False	Passed	Model Under Test Equivalent Model
1de773ff8f34e68425fb827857de7a2615d679e4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	AndMultiLine	True	Passed	Model Under Test Equivalent Model
a89b27c031fb5c3ae1af2f7cfcb89c7a754b1cc1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	AndMultiLine	False	Passed	Model Under Test Equivalent Model
98255b35502ef5cfd82af10e57e7d2a61126d930	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Imply	True	Passed	Model Under Test Equivalent Model
33fb30b82b25c35906e9faee0ea6f0fef411fb4f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Imply	False	Passed	Model Under Test Equivalent Model
a78628df56c6803055db077759c8eb9e7e2434f1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Not	True	Passed	Model Under Test Equivalent Model
6e1721c728ea6bbed96cb5257630e6c2ddfcd312	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Not	False	Passed	Model Under Test Equivalent Model
f239e34cb4162ef242df3bac0a301301a23995a3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Or	True	Passed	Model Under Test Equivalent Model
6628b1c9a5b878ff0e3a4a90510a14d6b3be0cb0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Or	False	Passed	Model Under Test Equivalent Model
d815c2c96be0231d56e4b95fb14410c079e0599c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	OrMultiLine	True	Passed	Model Under Test Equivalent Model
93aa887742f0cae058e641361395bc3622200f0d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	OrMultiLine	False	Passed	Model Under Test Equivalent Model
8859d6c34d05309ecd15cb2fa8288314e5a622dc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	AndProp	True	Passed	Model Under Test Equivalent Model
ed13848479e359c68f2dda01a76bb58af8b5651e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	AndProp	False	Passed	Model Under Test Equivalent Model
60bf55acdc554aeb00130d8d8b9aa33b6982f423	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Boxed	True	Passed	Model Under Test Equivalent Model
54e04e2bee494b86c72fb0633f38d4e2ae1ebcfe	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Boxed	False	Passed	Model Under Test Equivalent Model
90fde079425bff9dac77e85212f9a48c803c761f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Eq	True	Passed	Model Under Test Equivalent Model
893c33973a8f25d2a5b9a611799970275cb9a9ca	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Eq	False	Passed	Model Under Test Equivalent Model
ec0e27c32ed3b4f8f11b290efe8bcca286096edb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Ne	True	Passed	Model Under Test Equivalent Model
c5238551153c4dc51829feb4820c0a980d2a4a9e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Ne	False	Passed	Model Under Test Equivalent Model
ae11f3fe4285bde3efb56b1cfb2f2465a2c67c89	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Let	True	Passed	Model Under Test Equivalent Model
c936136ec745fde24a8a974cd1ed6acfe66297d5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Let	False	Passed	Model Under Test Equivalent Model
38a8e7f504a90060396e3b844abd6be09089e3e4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	SetEmpty	True	Passed	Model Under Test Equivalent Model
b1796432999dcdd859754bb46e24afcd55ff14d4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	SetEmpty	False	Passed	Model Under Test Equivalent Model
5a1c12627baf198fff09ce6f36329a54a54a5c0e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Set0	True	Passed	Model Under Test Equivalent Model
d04b617c719c5f2aca2cad3c894fe5d04056bd77	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Set0	False	Passed	Model Under Test Equivalent Model
be9f2feb3027bf2dd072b5a29a8f796ff4c0ff62	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Set1	True	Passed	Model Under Test Equivalent Model
993fe2a82c4e7cc65236f46a5ad6a1c1ee66b5bf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Set1	False	Passed	Model Under Test Equivalent Model
42ce929940e3e5b97f86fae80c248fd8f5d11565	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Set2	True	Passed	Model Under Test Equivalent Model
8db9cd8d026516b05bc2bfe64b2c472445a58c90	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Set2	False	Passed	Model Under Test Equivalent Model
5b67aef8caafe6cf878e1f6afc8d82909c785645	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Fun	True	Passed	Model Under Test Equivalent Model
35ae530226f9426f7c6cfa434019044a00010cd2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Fun	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
a894468976808aae89a8f1553a3497a870a2736b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NotIn	True	Passed	Model Under Test Equivalent Model
0c675b03056a7b747de1468a986bf3d98f794d1e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NotIn	False	Passed	Model Under Test Equivalent Model
dcdaf50b3602f23bedf31efe27c12af4e17a52ef	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Exists	True	Passed	Model Under Test Equivalent Model
a6d1030b5094838157da31210bd4ae81b9303fa7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Exists	False	Passed	Model Under Test Equivalent Model
040eefe967bdde6d61bad2e54891e61e954fffe7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Forall	True	Passed	Model Under Test Equivalent Model
d484508f1a454dfc70a0f72f2e1a7bd6e90d2ae2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Forall	False	Passed	Model Under Test Equivalent Model
10f12e36e9b3705d6dcffeff0f33f37d44db4ea6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Choose	True	Passed	Model Under Test Equivalent Model
24be45b22596251ae0921f1ed1befa2d1b45ad95	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Choose	False	Passed	Model Under Test Equivalent Model
12c36b845e755573b10327674f9c3e91eb6aac02	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Record	True	Passed	Model Under Test Equivalent Model
ea925063c94e7f76d0d402e331c39de8a3772d14	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Record	False	Passed	Model Under Test Equivalent Model
74aa22cdbd328f741040c5793fcba671dd340af9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Tuple	True	Passed	Model Under Test Equivalent Model
0b461945c31a99a95d8effa569ea85f985c7cd93	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Tuple	False	Passed	Model Under Test Equivalent Model
c08e9ad3f5f19cf1960e3728c2a2665229c7b81f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	TupleEmpty	True	Passed	Model Under Test Equivalent Model
680fc88a55ff4b4035400168b7bccafccd171113	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	TupleEmpty	False	Passed	Model Under Test Equivalent Model
bfc728625e355eafc34cd89892e53f284918f5f7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	FunApp	True	Passed	Model Under Test Equivalent Model
3d4aa81cf0846e1892505386dc576a4230be7be8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	FunApp	False	Passed	Model Under Test Equivalent Model
0a51a89e55accc62003a112b3dd5f66020b25c4f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Prime	True	Passed	Model Under Test Equivalent Model
763c2c2a138a52b41e872de8f1b5d46432cb258e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Prime	False	Passed	Model Under Test Equivalent Model
ec5325b0968f739172eb94926b0f1d1666e3789e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumZero	True	Passed	Model Under Test Equivalent Model
453d907893ec4966b1513739c33b746181eaad47	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumZero	False	Passed	Model Under Test Equivalent Model
f98385620993c1fa0f82593b2f8c5be4e4623afb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumOne	True	Passed	Model Under Test Equivalent Model
d80a1bbc842e5b1e778853374526ded856f59723	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumOne	False	Passed	Model Under Test Equivalent Model
d8775cf7f0046907b0ba9cfe9d5567585b5cddf8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumMaxInt	True	Passed	Model Under Test Equivalent Model
a04f88bdb2bafa527a1d17438629e622572c8ab8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumMaxInt	False	Passed	Model Under Test Equivalent Model
15e0a97b0d80d74729fcefaf862ecae19edcf70c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
351440b35ce067ece3c5f4174a0a833107bfc452	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
0fb8cf62f358136ce8164e88cfa5913921f3e7a2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumPlus	True	Passed	Model Under Test Equivalent Model
e8504152d3728caec8b1e15b893997f7d47f2404	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumPlus	False	Passed	Model Under Test Equivalent Model
e34a2090369c303d24ded9080aa6d5eac5b250fb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumMinus	True	Passed	Model Under Test Equivalent Model
a1e5481d079002406a9e073a0ebe5c296f3b0f85	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumMinus	False	Passed	Model Under Test Equivalent Model
09993ae1d53c8da32275f541f8bdefd5ddad1c6a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumMul	True	Passed	Model Under Test Equivalent Model
65b1ce1ce8bd844f70060f3110848a8a1a9d1258	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumMul	False	Passed	Model Under Test Equivalent Model
8aeab4e244ac3ae3ad5968b6126d32782263d49f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumDiv	True	Passed	Model Under Test Equivalent Model
28392c6516573c587226003a9d1e2a269dc40877	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumDiv	False	Passed	Model Under Test Equivalent Model
12162b70397c5922c8d9838f84830964f4b86e24	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumMod	True	Passed	Model Under Test Equivalent Model
06b8b86f43f2d4a5d3ec754393e8bc0d3c0e1de6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumMod	False	Passed	Model Under Test Equivalent Model
710095c886e0ce913ed79f3a03b0a46c48adb1a2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumPow	True	Passed	Model Under Test Equivalent Model
7d45cd32d779831a4b0538223da3a3b106509a40	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumPow	False	Passed	Model Under Test Equivalent Model
47f9743743e7bc6bf5b16c2fdb4f43ae2751c7f9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumGt	True	Passed	Model Under Test Equivalent Model
f2e098f22ae208d81fb6ab92537b83782c52daad	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumGt	False	Passed	Model Under Test Equivalent Model
49bc388de6d66e5a0fb81ca498cc094aeb7cf048	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumGe	True	Passed	Model Under Test Equivalent Model
918ecd6f2cc95034dc067eb7f794a37fad107194	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumGe	False	Passed	Model Under Test Equivalent Model
2ae85a76373ffb6ba15635b0f4ded5c5e6ea3c3b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumLt	True	Passed	Model Under Test Equivalent Model
01820071f025673fe4f57237661c27d6d97da71a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumLt	False	Passed	Model Under Test Equivalent Model
e1e7afa37c4c80a12d28c8f8d1a8830046e3c136	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumLe	True	Passed	Model Under Test Equivalent Model
daf6747d3933643e027896ea94ed6600498d92b4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumLe	False	Passed	Model Under Test Equivalent Model
ba5727cd7893956ea474b5d012fcbe20c0865838	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	DefFun	True	Passed	Model Under Test Equivalent Model
41c6bd5063fcb21faa88602ddfc93d8b38f06903	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	DefFun	False	Passed	Model Under Test Equivalent Model
83229e639b19b309b1a174aa2e79157cf54890c8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	LetDefFun	True	Passed	Model Under Test Equivalent Model
e8d7cd7afbcb9956a547d0e7f093b0a36155834d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	LetDefFun	False	Passed	Model Under Test Equivalent Model
124a7a3f361400fc3f60da1ab7e799aa24ea40dd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
596a194ff238842c3b67a3405eb671cc2d327f77	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
ba73dd5e0cc091c1b622877eb4b57ee575b7075b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
dbccaf48b6130ca00baa20c312c5196171f63cdf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
5252c3462eeb0c6c50ab0e6d2c263970e3d4b5fa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Def0	True	Passed	Model Under Test Equivalent Model
9ae74ced418599dcc817d7895530f36c06564083	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Def0	False	Passed	Model Under Test Equivalent Model
1b83dbe0f70d989618fbd7e533aaafab93bde9c0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	LetDef0	True	Passed	Model Under Test Equivalent Model
434f75baee139dec0c82d8225e00b483a867e0e9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	LetDef0	False	Passed	Model Under Test Equivalent Model
fe870787a29e562bf51c70de7cb6e4c2bb6137bd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Def1	True	Passed	Model Under Test Equivalent Model
0b0fe9bfb1ff24750100f27a56fd7ba3a3ab0db3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Def1	False	Passed	Model Under Test Equivalent Model
ba6e5f48b0a54039382f704b4a50a95e001525f0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	LetDef1	True	Passed	Model Under Test Equivalent Model
de1d6f469b33e005322127f18fa147a527f6d090	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	LetDef1	False	Passed	Model Under Test Equivalent Model
5fc2ffd95454537d931e6e8978caadc4fca6fab9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Def2	True	Passed	Model Under Test Equivalent Model
e218fcf4325a5ab5fe8ab2d94163c8a35c61ff0f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Def2	False	Passed	Model Under Test Equivalent Model
129e63dbcdbe6936c2e2b2e4f1ace5538ec5fbe8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	LetDef2	True	Passed	Model Under Test Equivalent Model
1b567336be6f0b89bc96883f6c13e8ab4a3c61ee	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	LetDef2	False	Passed	Model Under Test Equivalent Model
5d40a0bc1d087fcddfbea278d4f63a067a7b9400	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Def1Recursive	True	Passed	Model Under Test Equivalent Model
8b5a459fa6fe02812bc70ca4091a3eee56619a80	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Def1Recursive	False	Passed	Model Under Test Equivalent Model
c82c7359c0236d6a5850293f529aefa11c418b99	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
7842b1c6323ffc5aae0c56fb5da1350c1cdad81e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
cd1f6a45301f9555f35c9168536f47062b935d64	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Extends	True	Passed	Model Under Test Equivalent Model
e814012fa41b8a815c4dd3204b40262d9ba1c958	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Extends	False	Passed	Model Under Test Equivalent Model
70b86cdea4dac5ab138b58fec2976d8e4faa3024	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
30af937c5db78ba1aace66d6ea251a77562b48af	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
c5c8169f95108cfe86fb6b01779805232da17bce	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Variable	True	Passed	Model Under Test Equivalent Model
427931c96b5f7f6658e41561fa9a75060c5344d0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Variable	False	Passed	Model Under Test Equivalent Model
ef26f1ae6760ddb2d96e4c9e5ade7306d4fdd872	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Constant	True	Passed	Model Under Test Equivalent Model
8e72b785fc7a11d35df736f20f3d36444e46b15c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Constant	False	Passed	Model Under Test Equivalent Model
ca12701b5e5517caf007bca006327e5ebc61621e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
ad3ae20449790486002e0229e9b10576538bc169	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
1c37517415293f22c8627d82aa3c0e3b27990672	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	ConstantRank1	True	Passed	Model Under Test Equivalent Model
9bcfbf49b9013aa7c1f707b6191b6ea9a8d4c42a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	ConstantRank1	False	Passed	Model Under Test Equivalent Model
48c14f405f38cb72e01175aca845bd00c29eaeed	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Instance	True	Passed	Model Under Test Equivalent Model
f32e2d9211973db875f0266e553b6bf3a2cf3cff	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Instance	False	Passed	Model Under Test Equivalent Model
7cff5b25345cca94fbf7820ef04fe9e2dd3a2a6f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	InstanceWith	True	Passed	Model Under Test Equivalent Model
7c0e0aedb32aa95279cb978c64c721beac78a8df	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	InstanceWith	False	Passed	Model Under Test Equivalent Model
1bc9113f4f5a3d7e2cda7856b251fb9844f4cfc1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	InstanceNamed	True	Passed	Model Under Test Equivalent Model
6d5c057d2b63d921513b134d1292a00292bf98b9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	InstanceNamed	False	Passed	Model Under Test Equivalent Model
2fee3a1263d743ed54741dfe315a1a9448677c39	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
ef2f647e894bfd83dafabb5111a381deee7f9feb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
86d1512e91eeef6c46a52c631dc959f299323a27	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
f792efb563443df7f276aaf02941270e38d4a159	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
af4258d577fe3df685426afa7dac3cd55365b6cf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
b6b33a5b9fc9aae91d177fe60ce291a738306368	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
363ba04fa112c731295073f3ba52768c9edff015	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
8b893da8f54ae95390a5795232773a49d5f08a98	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
d0b03ed89962a97bf01d0b9426de8a58d0d6be4c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
698ea5651f267a9745dc4f67e211ea959f4b2667	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
268356901f0d5993ba6d99954590bbcbfd92798d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Enabled	True	Passed	Model Under Test Equivalent Model
c66106822892cf6cd357bfc3bd81dbd7500fa844	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Enabled	False	Passed	Model Under Test Equivalent Model
d69e8d025f0d7ae8533070cc73248feea8b412b0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Cross2	True	Passed	Model Under Test Equivalent Model
6c856adbab2ce6b6ed204eb9db45200e44b48416	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Cross2	False	Passed	Model Under Test Equivalent Model
b209952a7df6d7378c53bc02a3fcffb1ea847265	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Cross3	True	Passed	Model Under Test Equivalent Model
cb6af4587fe0165abdb69a9020147432ee49470d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Cross3	False	Passed	Model Under Test Equivalent Model
802cf0250a9b9d94761c0bccda4324e41f2c1670	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	FunSet	True	Passed	Model Under Test Equivalent Model
2b338ea7c5bd161615be0eb64d7749103eea1813	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	FunSet	False	Passed	Model Under Test Equivalent Model
2b9f0a43a9e80c1e962c9af8e7a95d6d8b19dad5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	RecordSet	True	Passed	Model Under Test Equivalent Model
c26b0a4dbafd938ed442f41c5d1676ba2ac52c93	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	RecordSet	False	Passed	Model Under Test Equivalent Model
cbea9a8196ca8696084a56e2c7bd9b74e5c4815e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	SetDiff	True	Passed	Model Under Test Equivalent Model
b735210f8c4e790c71929d8a99e586d6c1f9ddbe	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	SetDiff	False	Passed	Model Under Test Equivalent Model
9b73c6fc6bd949060b749b1a72c8652b92d6c799	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	SetUnion	True	Passed	Model Under Test Equivalent Model
9decf9cff88edd938f3428990d1f0dbaa0a10014	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	SetUnion	False	Passed	Model Under Test Equivalent Model
4c6b9fc8d93254340a7482f2afda2d00b13e439e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	SetIntersect	True	Passed	Model Under Test Equivalent Model
a2c99ec162200dabffc03cedef39ed2a227c7ec9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	SetIntersect	False	Passed	Model Under Test Equivalent Model
6f0808fa23694d76f9c42089560a0a1dd4e6b3ea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	SubsetEq	True	Passed	Model Under Test Equivalent Model
4f8a9468c8ba7f2e3f16300a1cb71760dc9ddaba	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	SubsetEq	False	Passed	Model Under Test Equivalent Model
957ef9a4c90c4378de71f71e4c82666f678d3eb5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	IfCond	True	Passed	Model Under Test Equivalent Model
76e9d6de90200b86802fe6c5210c47d315b3fd5f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	IfCond	False	Passed	Model Under Test Equivalent Model
6b1b9b614494b206cc891bf0e0549900483d818d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	IfThen	True	Passed	Model Under Test Equivalent Model
332190d4d4d775df0a41fec32f1f2e9df504b101	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	IfThen	False	Passed	Model Under Test Equivalent Model
bf3fb13878d5b5ddfed8211bd72bdf7e92a81773	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	IfElse	True	Passed	Model Under Test Equivalent Model
e2479f40341bc23f37a7a4c44e25f4009423ce8f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	IfElse	False	Passed	Model Under Test Equivalent Model
30606ff7ab757a0486280cb6685d9f61e29824ea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Subset	True	Passed	Model Under Test Equivalent Model
b3acea53cd9bff0b1adb396ae30dc4ada9dbd13f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Subset	False	Passed	Model Under Test Equivalent Model
73dceaf377492cffd5d9bd54a24eb93116ea6fa3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Domain	True	Passed	Model Under Test Equivalent Model
1ee85c49bbdf64cecff76e8b4b7e077adea722b9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Domain	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
899276cd483ce1f9a3edd540647c236339652a29	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Unchanged	True	Passed	Model Under Test Equivalent Model
90582b18a1de5a51e533aa10b954382f4965bd2c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Unchanged	False	Passed	Model Under Test Equivalent Model
7949a04f211198c66ac27643574273c343f89fcb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Equivalence	True	Passed	Model Under Test Equivalent Model
912bfdbafecc52f82e15b58fdd592e4b02e5f163	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Equivalence	False	Passed	Model Under Test Equivalent Model
79b89a6252e2c6acc3a3959f645503fdfccd9ee7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	StringEmpty	True	Passed	Model Under Test Equivalent Model
db255d5d1e2164a5ec9197662c5a32512ad42dad	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	StringEmpty	False	Passed	Model Under Test Equivalent Model
3a4d7a7d94179e571e57cab7379da864ddb57109	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	String	True	Passed	Model Under Test Equivalent Model
b3034cf2db71349a1a2f43ab8b66be4cbf12755d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	String	False	Passed	Model Under Test Equivalent Model
91c960e5f7ef0c3a2894545f20d7955010306522	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	SeqLen	True	Passed	Model Under Test Equivalent Model
bf5483524ce57b3d7ab9811a9016dc5381e3d097	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	SeqLen	False	Passed	Model Under Test Equivalent Model
4246d3e403e5d84425da2824c592b6e7c531e8c3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	SeqConcat	True	Passed	Model Under Test Equivalent Model
267630f76e2986e22132c307889e866f6fcde60c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	SeqConcat	False	Passed	Model Under Test Equivalent Model
3bbb7d91f0adc1aa6f271f543b3d05af0ceb31f8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
bf63f5bfc037c92f2820153ee33fcd7836303d81	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
580fa0b2dd1a06071736c9f2c758b73635ad55c1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
6012a59b0c1fa6a0788e26cae3eb1c96a76fd5db	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
876d504a30fa5fffa72715f1581e1c92510ef7e2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumRange	True	Passed	Model Under Test Equivalent Model
dfc87f6ad17ea2f050b92e1f67c993103edbab9d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	NumRange	False	Passed	Model Under Test Equivalent Model
b3ac781f25abf7b3da20aa7e1ac060f6ac1d7ea6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
8b01a621ae5f02bcea045ca282d06eb975859a88	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
fe458cd7a10fde70d6e72983340a9a7544377171	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
1f57aa6192c2024549b2c7a185e20a40e2a1bf7e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
993d86633027ef3ca6e0bd693b95d1942daede63	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
97b0e6be9954ad82d032233177ac1181b5a6cec0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
8e267e2f2dd1784096e4efdc4fe6a97049ede6e7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
68bed18d4bba0b2445b9785bf7022073e6b13aee	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
2610c52aa81157a567fc3f3bd5eb2a6b2e99e42b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	TlcEval	True	Passed	Model Under Test Equivalent Model
2d7b76d0e8400f792cf299daddcab451a0ea5b82	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	TlcEval	False	Passed	Model Under Test Equivalent Model
9c4385f64c916e734a989f2d0440a8d98153e1f9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BagBagToSet	True	Passed	Model Under Test Equivalent Model
9667e3270fc859cb81ec047d1e2669467c1cbc92	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BagBagToSet	False	Passed	Model Under Test Equivalent Model
13a9737631960aebad895ebdf7fc14aa27f4527f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BagSetToBag	True	Passed	Model Under Test Equivalent Model
b92947952ef50a31c6c12ebd40c894b3c60ea4e5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BagSetToBag	False	Passed	Model Under Test Equivalent Model
e891908f71b1db7223913affd1373196f0673f65	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BagBagIn	True	Passed	Model Under Test Equivalent Model
59bb1051d27ae7f92e2610fc0acfc731cbb15aca	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BagBagIn	False	Passed	Model Under Test Equivalent Model
93efddabdcbbe35dace8d8fdcefc7f11d6fdecdb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
05c08154f126e2a4295c08af66a7b8523dcdb0dc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
652c86f231541fb92d60624dcb2ae6f1ea6982e2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BagAddBag	True	Passed	Model Under Test Equivalent Model
003c5b69678143c5bec58522c1f9a5c12f52f167	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BagAddBag	False	Passed	Model Under Test Equivalent Model
dc3db5ac8b7af3d22a88b4703cca754861b06ef2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BagBagSub	True	Passed	Model Under Test Equivalent Model
96a3baf424eb9eae218471f0f86c81358d916d27	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BagBagSub	False	Passed	Model Under Test Equivalent Model
f6abe67f402926c293a8410c9f3c25f033ebef6b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
2bebd114ccc0bf602f95f5fc7748bad2555a9b05	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
acf63f9c072bf9affe8dc7dd0df6c8f837879540	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
fc112b934c4a6e63ce4f718b0ef3d6cdf786620b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
71186c807e7223b4bf8e8c2e115c6418d2c0373b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BagBagUnion	True	Passed	Model Under Test Equivalent Model
b7846d1b7a93ca55b7ae5bfabbe3a6f3856b06d5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BagBagUnion	False	Passed	Model Under Test Equivalent Model
5a1326c1263f914a93b4c8ca96a74a153ed32040	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
b0cc3caedb5eca92ded76d8c93553b9b7a1922ee	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
b93442f91a03884b1c07a62ada3f904dd87a272a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
a73eb814b0f8d52f838c54fb3b9f6bce0e4f38f8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
07405c3ccec9925a0f8c0b7da2ec3143161f96e8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BagSubBag	True	Passed	Model Under Test Equivalent Model
ac54416933f470f616b205002227bc4e2f70593e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	BagSubBag	False	Passed	Model Under Test Equivalent Model
7a4314cb7887a1107fecbc3aa9f35b346144fe6d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
f003a79e90b044fc319c76f67c9d5eb6152d4e70	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
2c147e73b78d69037285124e61deb0f224cea622	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
c83bdaaceb9146af464611865aa4fcd1504e1b30	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
100887d7927595706118658f4a57489c922328ff	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	SeqHead	True	Passed	Model Under Test Equivalent Model
0fea240922754b4d322599cf888d06c09e7a80af	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	SeqHead	False	Passed	Model Under Test Equivalent Model
25bd2de5e38d9524638d7cf25304933752c58203	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	SeqTail	True	Passed	Model Under Test Equivalent Model
de624c6e63550547eec82619f99f8d9dfffbc585	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	SeqTail	False	Passed	Model Under Test Equivalent Model
2ad6468fd739bfedab8d3eb5757f516bd6a1e579	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	SeqAppend	True	Passed	Model Under Test Equivalent Model
767260df4753d37eaddd0ef74ce3722c57f64f42	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

Tests by case feature Def0; CLI Option: -workers auto