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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
f0773fe54cb6eb071904174e402a59451c686bee	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BoolTrue	True	Passed	Model Under Test Equivalent Model
fa6fc69c3f02762d9c40220bacaec0a541157c07	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BoolTrue	False	Passed	Model Under Test Equivalent Model
d07de205103053a314d9503e1e04244a26949d39	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BoolFalse	True	Passed	Model Under Test Equivalent Model
67709253aa7c0443d3f8a38d23b8be31a31b977a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BoolFalse	False	Passed	Model Under Test Equivalent Model
49ede575b50795ba549ef38704becaf8b53a767f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BoolSet	True	Passed	Model Under Test Equivalent Model
fb44fe4e1e05d73331d69ff4ae4cb244bc4cad41	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BoolSet	False	Passed	Model Under Test Equivalent Model
8eea2e9a6efc772b310bf3d5512f71f49a20430e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	And	True	Passed	Model Under Test Equivalent Model
65a3f693f9bc2dfdda7a4b518b973eea75b97735	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	And	False	Passed	Model Under Test Equivalent Model
0802ef9277b9defc98a87cf44904e0c2ec8303b8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	AndMultiLine	True	Passed	Model Under Test Equivalent Model
0888c03befe7581c05ba77e9c4b423527cf1dba7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	AndMultiLine	False	Passed	Model Under Test Equivalent Model
f0884d2b22a5b684a80f961bb456b1228e64e024	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Imply	True	Passed	Model Under Test Equivalent Model
2789433639a8e790627a54079314235f697dba7c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Imply	False	Passed	Model Under Test Equivalent Model
1ffeb6d369886d8efd007a6203497241f07ab7aa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Not	True	Passed	Model Under Test Equivalent Model
7552f23f1338aee18f39b1906556824a36716413	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Not	False	Passed	Model Under Test Equivalent Model
5af035f67643c599833f4e1bf2d0459c2c855c0e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Or	True	Passed	Model Under Test Equivalent Model
112d90992cf71a45dd1b7f0ae9287857d74ae45d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Or	False	Passed	Model Under Test Equivalent Model
d5d818a99c78012683186bf582f3685d6709836d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	OrMultiLine	True	Passed	Model Under Test Equivalent Model
8fe5133baa7cd8731bdc672302399ca82c2d9a71	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	OrMultiLine	False	Passed	Model Under Test Equivalent Model
b1abfe3b5122d7f3365cbbed56f6e29eab4ae8c0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Eq	True	Passed	Model Under Test Equivalent Model
1d262a4952e0bfe6fb0cc0e471c8d4b69b1983f2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Eq	False	Passed	Model Under Test Equivalent Model
d7cb86277a56bd1d18435ead13f03aed9344db21	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Ne	True	Passed	Model Under Test Equivalent Model
ea98b9b534b184b4c03fb76b819ddf7971616b38	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Ne	False	Passed	Model Under Test Equivalent Model
89bfea311d58f9dc22da97fda429ec99bcccd053	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Let	True	Passed	Model Under Test Equivalent Model
513b4c82a95b3154a78db6b4675b64c944a32b0e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Let	False	Passed	Model Under Test Equivalent Model
24c01bfb2dbc106539062dad3a89997a3d3bbee3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SetEmpty	True	Passed	Model Under Test Equivalent Model
ece2cb7d555d7f4a2dd4661d826aec9c5fc21612	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SetEmpty	False	Passed	Model Under Test Equivalent Model
a0239af93f4221caa0f166dc107902fc38ddbf11	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Set0	True	Passed	Model Under Test Equivalent Model
af2e87ec485864690d8c14f61700d6a16298d717	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Set0	False	Passed	Model Under Test Equivalent Model
2555f9caa80b58a468531920172e8e39cef28ad4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Set1	True	Passed	Model Under Test Equivalent Model
9cae45fec9571b7d8e8cd0c1a1fe9dbc6ab37ebc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Set1	False	Passed	Model Under Test Equivalent Model
afe92a16ff4c8e699863bfea7c00b0fc212dc55c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Set2	True	Passed	Model Under Test Equivalent Model
75d425e68ca47d0a2e0f1c5c8ad9e5a093100922	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Set2	False	Passed	Model Under Test Equivalent Model
35a17ad33412781ea3dd13eddc20178072832c90	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Fun	True	Passed	Model Under Test Equivalent Model
a68338257ee17fce32cf921f966f7349616d0bce	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Fun	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
2b6bc14754ea79cbe71acc6f6bff10f998cadd64	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NotIn	True	Passed	Model Under Test Equivalent Model
00803f5f515351c7856f4ae7d9d9d1bbfa0defed	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NotIn	False	Passed	Model Under Test Equivalent Model
eb8401e2112d36e0a0f49d592501183f9f9d4111	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Exists	True	Passed	Model Under Test Equivalent Model
fb34d9ad14a2c95dbcfdf4ce3f290c631b66cb04	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Exists	False	Passed	Model Under Test Equivalent Model
b78341a2efeea7ce8bf7c7a9c7dc58e3dd9e422d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Forall	True	Passed	Model Under Test Equivalent Model
0890d902c251679f182d363832bd82fd172a4ea5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Forall	False	Passed	Model Under Test Equivalent Model
1cff6ea4ddf182220bc4abac5195e0a9ea2a8ec4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Choose	True	Passed	Model Under Test Equivalent Model
6c2ed62534680dedd78c9631cb8db79075d45281	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Choose	False	Passed	Model Under Test Equivalent Model
56f9c2bcad889b80198be46f1a181dfd5890bbc9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Record	True	Passed	Model Under Test Equivalent Model
226268982c4a398b6e4fb1435871fe71b2b47154	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Record	False	Passed	Model Under Test Equivalent Model
b40bac22a7c1ad47e532b68cc23f3e3fc6cf1d93	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Tuple	True	Passed	Model Under Test Equivalent Model
5c237cbe9cbcaca6382fc5e20b84eb24de5efdac	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Tuple	False	Passed	Model Under Test Equivalent Model
3588fc06c7b8c9a27a2c7c74d1888b626a91d09f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	TupleEmpty	True	Passed	Model Under Test Equivalent Model
2f2b9172913beed308b6d08dd2d30ec01a1226f7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	TupleEmpty	False	Passed	Model Under Test Equivalent Model
695ae7de80c9c6cf3b136cdcd577862ba0125196	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	FunApp	True	Passed	Model Under Test Equivalent Model
2407dc6390c4a79f438931fd725e8bbd2eb21d36	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	FunApp	False	Passed	Model Under Test Equivalent Model
7048c9574836d7df88cbd8af36aa7b7dafa9965b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Prime	True	Passed	Model Under Test Equivalent Model
ef7f38a3f3c09f39fa3205b41c75d87d31daa723	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Prime	False	Passed	Model Under Test Equivalent Model
106f61a29d1f4448b6d497e6f34d44cf7de31f5c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumZero	True	Passed	Model Under Test Equivalent Model
2c0e2305fe5f8449f0d59a042d15dea94c4742ea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumZero	False	Passed	Model Under Test Equivalent Model
33bea78fd975b4c4f9d7bac1df52b81a0beb7954	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumOne	True	Passed	Model Under Test Equivalent Model
cbcf3b3ca8ef37bb89800322bc74ab8581e0b268	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumOne	False	Passed	Model Under Test Equivalent Model
c899d2dcb1272427476d139b463ed8b8d2da77f0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumMaxInt	True	Passed	Model Under Test Equivalent Model
3e93d349f9489eb671e2314577963b5fb33c5729	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumMaxInt	False	Passed	Model Under Test Equivalent Model
9a11508a0e7750eb00f4acab82e89603567b9108	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
a99c9610ee527f4647a6feb485ce8f469c5340e9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
ffd6eb943b5de1f0cce5968cd175e879142705e0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumPlus	True	Passed	Model Under Test Equivalent Model
1ed99b219cffd785bdd978e0da9ff07ff7a285ab	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumPlus	False	Passed	Model Under Test Equivalent Model
c9cdc7f5902f3ded0eec390d400f70c315266835	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumMinus	True	Passed	Model Under Test Equivalent Model
3ef39d5887c7830196606c877a063f5531761431	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumMinus	False	Passed	Model Under Test Equivalent Model
ff6f5cbd693042c4651c5c0f04c96d85baee0d11	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumMul	True	Passed	Model Under Test Equivalent Model
00e70b33fa28d0e03bfdf619c7f2f34aa25fbd99	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumMul	False	Passed	Model Under Test Equivalent Model
658b467fb52d4a08aa34c959bb485f86feb265bd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumDiv	True	Passed	Model Under Test Equivalent Model
059f802185b887c6a0fe0aa2e2a7c30496a5d54c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumDiv	False	Passed	Model Under Test Equivalent Model
bafddd261d1630185c9a9220daef8960904d3480	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumMod	True	Passed	Model Under Test Equivalent Model
1c09bacb9ad177ea25748834006d8e240e564d73	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumMod	False	Passed	Model Under Test Equivalent Model
cc12932d4688798184b34a630d39ff2403b55275	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumPow	True	Passed	Model Under Test Equivalent Model
45f4bb26ef9b82d534188abc5b39dcc19c0f598e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumPow	False	Passed	Model Under Test Equivalent Model
2231fedf5d6ee97bf22988839c255e43fbe78279	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumGt	True	Passed	Model Under Test Equivalent Model
c0ca564eadd08582272cfc09deea5c8f0d9e7cec	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumGt	False	Passed	Model Under Test Equivalent Model
ace376a192f9b18a888697e49e98bb2dfa889d9f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumGe	True	Passed	Model Under Test Equivalent Model
cd609954672c4cd8a5a896937f4d97381b3119f5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumGe	False	Passed	Model Under Test Equivalent Model
e5ea4966e23d1bf566034bfd4948823fe1e49abe	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumLt	True	Passed	Model Under Test Equivalent Model
7c544bdaa339c91f1c8eccc9ce0db7e21dfd1c96	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumLt	False	Passed	Model Under Test Equivalent Model
47e673300eaf1a3689e07792872127ca161429a2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumLe	True	Passed	Model Under Test Equivalent Model
fc33b894983b2705374e843edca5ca29eebd4499	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumLe	False	Passed	Model Under Test Equivalent Model
f38154e2291b58184b2e9aaa26078e8723bfc286	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	DefFun	True	Passed	Model Under Test Equivalent Model
7b06265a1e358ecb7388b2c9e9defbaf23c0b6db	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	DefFun	False	Passed	Model Under Test Equivalent Model
1f45d68389bb1f129121f6b0c492ab3de536123f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	LetDefFun	True	Passed	Model Under Test Equivalent Model
016c73a23e1bddf69ac27338858182b40506c5f0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	LetDefFun	False	Passed	Model Under Test Equivalent Model
de6f382146a0f660465a26bea6a9aa9dc8edb659	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
c65e448aca976193a05b825230fa9d4ce5941905	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
4e0f431f845072bbdb9c42151a2f1462533dee52	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
5e7108af6eb5c990fe73547a5678c888d03f1093	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
e2b392a41a4e97a7b0a2e71c4899ebffe40bd772	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Def0	True	Passed	Model Under Test Equivalent Model
a64f70cb8655c1280aa85857c61d59d1b3401483	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Def0	False	Passed	Model Under Test Equivalent Model
10b9bb71a0019645b50480faabaa8f9ffe239058	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	LetDef0	True	Passed	Model Under Test Equivalent Model
3b2110c584b0233621a46f3999692a09a949c331	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	LetDef0	False	Passed	Model Under Test Equivalent Model
d28cb98bc83fc0c57ae95cf41fdaba10f047642d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Def1	True	Passed	Model Under Test Equivalent Model
d3f308eb8750a64b51628a2a01f8159d49fb5026	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Def1	False	Passed	Model Under Test Equivalent Model
f0a205631ea21abbc56e4df8e21b77f322b0ff89	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	LetDef1	True	Passed	Model Under Test Equivalent Model
52ba4755cee70b8e427f562a8308e352e47356f5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	LetDef1	False	Passed	Model Under Test Equivalent Model
2606bf1cf27462c1c4185e509db8d59d41fd3c6a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Def2	True	Passed	Model Under Test Equivalent Model
22f027db26f995138e03d71e1caaf149e94ad2d2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Def2	False	Passed	Model Under Test Equivalent Model
96752732cbc6a99cded8ef67b75b9d1a6381d9e3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	LetDef2	True	Passed	Model Under Test Equivalent Model
8cc04f7c85d5d63cd0fab54eeb516018a33b2db1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	LetDef2	False	Passed	Model Under Test Equivalent Model
aac8303ceaa26a3ba1726667a58a940a99b907b3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Def1Recursive	True	Passed	Model Under Test Equivalent Model
7e1af8c7340d467b5e5388a45638617e2ecdc779	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Def1Recursive	False	Passed	Model Under Test Equivalent Model
2ca74bfca1524a89f2e0cc47a9ab1022ffacb292	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
3399ca9b1f2726bdf0666bf70955e3ad5b72cf4e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
429d08e3eeb5b91481e617cbc876a5a6d0ae014b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Extends	True	Passed	Model Under Test Equivalent Model
2e83e4732329074c0844fd3f3102631a2a93f17d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Extends	False	Passed	Model Under Test Equivalent Model
a6372a5f9c6c1e5b77643d42060d13f911357482	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
3adb8ddabf8febff7463dec065f5e96f265ea3af	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
2b1fcbd70af012cc454941f3ef84e05cf562f526	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Variable	True	Passed	Model Under Test Equivalent Model
66ebefef5781aaf6b8d0137246b683254cf53a00	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Variable	False	Passed	Model Under Test Equivalent Model
114a544d3597346bcc8ec000be12ca69e8eca86d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Constant	True	Passed	Model Under Test Equivalent Model
79d4720506a2fa2f03fd942f1f4b0b0ec82cd4d3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Constant	False	Passed	Model Under Test Equivalent Model
836b91dee6050e24b7c19d2446f38c2d3b49b592	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
3f806945888f19c0a43a373f615fb20890357263	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
e59371a29336a1cc0b0dc252921fa0b8a3f74e7a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	ConstantRank1	True	Passed	Model Under Test Equivalent Model
aa7764419ac2a06cc96b1e5b8ef33a244103e434	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	ConstantRank1	False	Passed	Model Under Test Equivalent Model
2a13f0ed0b59c430ccd9549c23396103a79f563d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Instance	True	Passed	Model Under Test Equivalent Model
195196970f9c1901cbdf7e13ec978370fdbd0abe	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Instance	False	Passed	Model Under Test Equivalent Model
697ec1dc42e9264b90449a15f687f09bf37068ab	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	InstanceWith	True	Passed	Model Under Test Equivalent Model
036e075b8d0b47cc0d908de8282684a31326a747	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	InstanceWith	False	Passed	Model Under Test Equivalent Model
a475f3c5502631a14bf3ad87f690cf33ad91f029	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	InstanceNamed	True	Passed	Model Under Test Equivalent Model
6b58dc9c5afe0d69406eba37f3b077f24203dec9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	InstanceNamed	False	Passed	Model Under Test Equivalent Model
69665c4c9e7c29c3568652262f144a57284b675f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
c7fbd60edbea24bfa6ca6f67abe45edc914e8459	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
0888c7b246fa94916e034a2954008739830f5af2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
0c3efbbfb98954553e3d6e2c06f9b6b7df58d108	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
f8a24727dd02b1fce10221012693167c648b0e79	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
8009f7e2673c4db324626c312814dbe40f7f6f6c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
7ed0f360dda84a8b564c5d763bf4980cc2bf2345	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
3fe27ed1ce2a06be7d4e52abd61fcbef022923b5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
5657b2c510a7848581ce1bcc4b6ba96e5acd47c7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
a29ad4222d90c83042eb56d1a2d0c5ae84e1a457	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
e1121187c67b6d25d54cd35b811856cda926a608	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Enabled	True	Passed	Model Under Test Equivalent Model
c82023c605cff1ae7df02fd08d27985da95b08a8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Enabled	False	Passed	Model Under Test Equivalent Model
7f8dd0fa4f7e8c1f7dfc6b76a4c2bd9c79e68eaf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Cross2	True	Passed	Model Under Test Equivalent Model
60f154520fbbbce4cadf82c2017039f44f81e0f3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Cross2	False	Passed	Model Under Test Equivalent Model
7fcec1e3b33262b71901e875f59e3660d453bc21	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Cross3	True	Passed	Model Under Test Equivalent Model
61be6d62ad4e768225a55f07c2be5c00a2568224	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Cross3	False	Passed	Model Under Test Equivalent Model
9fd2a336b46539e9453295f18ec6dafb5993519c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	FunSet	True	Passed	Model Under Test Equivalent Model
68d444ed10c39321adafb126dc2d69683aaa503b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	FunSet	False	Passed	Model Under Test Equivalent Model
bfdb50018bda6fe2a50f4967651dfd776742f6c7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	RecordSet	True	Passed	Model Under Test Equivalent Model
d16c93495a0a50c732f208cce0d02f9f253a0b99	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	RecordSet	False	Passed	Model Under Test Equivalent Model
8d91b345883162e439482e164d4eff5da57f2e35	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SetDiff	True	Passed	Model Under Test Equivalent Model
8b9eda8156bbaee593d650e7fcdd2d85fe8cca2b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SetDiff	False	Passed	Model Under Test Equivalent Model
c39e953e320cce18a680a7e58607578fdc161ea3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SetUnion	True	Passed	Model Under Test Equivalent Model
974fb5359d95a106eafc8acdab67ac0990594695	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SetUnion	False	Passed	Model Under Test Equivalent Model
ca3b8f54a33d26d4056994e27a2fe581490df757	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SetIntersect	True	Passed	Model Under Test Equivalent Model
2dc79dbb60c0ec00b918029df9f092eda207c580	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SetIntersect	False	Passed	Model Under Test Equivalent Model
8cc3aeda1828e51670af1aa6fcb94934db42902e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SubsetEq	True	Passed	Model Under Test Equivalent Model
f4fc03d8f06283664ef8c1646f1c31f7f55b4a31	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SubsetEq	False	Passed	Model Under Test Equivalent Model
ae604f73c40bfb0825bd4af14f12139ebc3b3127	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	IfCond	True	Passed	Model Under Test Equivalent Model
57c8a9d07bf9ef3d68eebd10bb156cc4095cc57a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	IfCond	False	Passed	Model Under Test Equivalent Model
88c3fd67834ebe184b662bddd0b908dff5adb1f5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	IfThen	True	Passed	Model Under Test Equivalent Model
58fbf951e05c12fc87b95fbb9079d2b6db3e3a88	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	IfThen	False	Passed	Model Under Test Equivalent Model
ebafd54a3f259fb656be64dc3dc14b884d0ada51	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	IfElse	True	Passed	Model Under Test Equivalent Model
be08319e61cc1356a7016a696c2e94bd13b4d9d7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	IfElse	False	Passed	Model Under Test Equivalent Model
1c155e9ca14fac12015884013261a51f78b0f7ea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Subset	True	Passed	Model Under Test Equivalent Model
7f5820afdfbd5f81019968c4d7d6826a988d0427	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Subset	False	Passed	Model Under Test Equivalent Model
473b4ccc7bdd9940c5753b45e92f03de25d2cf5e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Domain	True	Passed	Model Under Test Equivalent Model
e28d79efe90a5adce1d22b30e400d2a4a2a844af	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Domain	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
5b8b01b2e95b695513735420b1145e9618110f95	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Unchanged	True	Passed	Model Under Test Equivalent Model
3a39f4b4f3fc7538e5ad1ef99a1e1ef15f845390	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Unchanged	False	Passed	Model Under Test Equivalent Model
5a86334e5985e050ac5191646cb0791ed70d1f8b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Equivalence	True	Passed	Model Under Test Equivalent Model
f4e6e9d28d2450e2e3daf1c111625a39afae98c3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Equivalence	False	Passed	Model Under Test Equivalent Model
7a74f162b0615a6a753a66db72af95892f8c8c6e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	StringEmpty	True	Passed	Model Under Test Equivalent Model
ec06b8afa5fb666e484afc8bbb6c44e5582b13b9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	StringEmpty	False	Passed	Model Under Test Equivalent Model
848b478ace755dc25ac4da4b2b505c30c4bd9c87	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	String	True	Passed	Model Under Test Equivalent Model
38d5288b4bfb85f19eed254a5afce95ee34ceb7d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	String	False	Passed	Model Under Test Equivalent Model
783b49a249f9ac627857a3e051ab1e58e0097b24	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SeqLen	True	Passed	Model Under Test Equivalent Model
ef301435f753a2e62e805cdb99b43e860347834d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SeqLen	False	Passed	Model Under Test Equivalent Model
7a3a1e851465d403747ffb1369592bf88544373e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SeqConcat	True	Passed	Model Under Test Equivalent Model
b923f3b1e27a95e6724d34fd9d4a4b92429abf81	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SeqConcat	False	Passed	Model Under Test Equivalent Model
5868d77b3b177e45775db3a7e280a0f8aaac139f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SeqSeq	True	Passed	Model Under Test Equivalent Model
fb00f4dcb4669b22b6fed0024ff08b0c10cb9cdd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SeqSeq	False	Passed	Model Under Test Equivalent Model
9f9aa2f9b964d0c37135f2940908075bb5266605	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NatSet	True	Passed	Model Under Test Equivalent Model
26e0691f183ac89e49d582164464da8e62adf5d9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NatSet	False	Passed	Model Under Test Equivalent Model
87a698e207451f944f6d863e3dc3ba93ca9ff19c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	IntSet	True	Passed	Model Under Test Equivalent Model
137952a5b76bbedb6db3df4fc5668be58cd42a70	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	IntSet	False	Passed	Model Under Test Equivalent Model
1b9b38e4dc7e49657a20365a7de3bf65e80934e3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	StringSet	True	Passed	Model Under Test Equivalent Model
a2f88edbd337bbff848b3ab794cb70aca9e3d8ed	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	StringSet	False	Passed	Model Under Test Equivalent Model
f0deed5d8b6eb5f62d33d9c26d14c92b904664be	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
72a8d57666b828c6f17b415fedf3e672eb703d99	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
6e83701b005cd5c5301ab9aa2d5d9c9d48406829	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
e198c872c089478e58acdbeaceef50c7a7066a51	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
d71ffdc6e76a92fea927f9173b0e5e85a3c6aad3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumRange	True	Passed	Model Under Test Equivalent Model
0e19974ab39d8c2e28fbb074e4de4118f65cd4c2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	NumRange	False	Passed	Model Under Test Equivalent Model
d4b6b505cb8440552cf63e293efe5e821ec243e9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
a10b0834561285ed11389c6f2eb01096ed92ab60	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
b5e97575380bac0958cb6cde0d7caed614a6abbc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
c627a7d215bce58237cdd7693b34971777eedd82	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
bfd47f1bd54ac098b6bd68342f9fed41ec6d69f0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
a86d3f812b0fd11be8b732f295ee37346c014773	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
750dd1718954566cf1f5c161ae0740bd5fa296f7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
7cbd7dd16915453bf9bcfc1f2e11f4bb7c9a6791	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
2940830277bf4dd08a2753d3f85767de30c57119	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	TlcEval	True	Passed	Model Under Test Equivalent Model
1389adafb52c9c098588370fd30d89926c74f1ce	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	TlcEval	False	Passed	Model Under Test Equivalent Model
08cf0a12313d24add9a95c9ed1a73358f718f425	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BagBagToSet	True	Passed	Model Under Test Equivalent Model
bedc4b692a5d1c2474d3ac9ebd77b633b1246dd4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BagBagToSet	False	Passed	Model Under Test Equivalent Model
e6dc02505ef1bdae11311b917e681e4d0456f781	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BagSetToBag	True	Passed	Model Under Test Equivalent Model
37f827ac8b25ceae8eaac88ca2822e2d9e056b16	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BagSetToBag	False	Passed	Model Under Test Equivalent Model
9f22e377b1a4a35d952a76e11da8ed2548ad2b8a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BagBagIn	True	Passed	Model Under Test Equivalent Model
c9459948b8a3f9f56e186c580b711ea93c22ff15	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BagBagIn	False	Passed	Model Under Test Equivalent Model
707ad16bc55ce81caeb0de4d85983871d814e5a0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
40026dc121e91b67585fdf34d0934a3d3888f0c0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
15294c08e48dcfc3ffee2192444ffbc98d992fd1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BagAddBag	True	Passed	Model Under Test Equivalent Model
3a3777e5efb58835ad99ceb6326e34aaf650796a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BagAddBag	False	Passed	Model Under Test Equivalent Model
de4b768a856f49315d56194251d4e761b95dd5b2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BagBagSub	True	Passed	Model Under Test Equivalent Model
a388d3d9a63219915cf6fb9647611b2cd45229b2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BagBagSub	False	Passed	Model Under Test Equivalent Model
09771b683f77f1ade57ee6900f57d34abfd7bfa9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
0728ef7ca9b0aec210e85b8a90ef5ebf98b26714	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
474b68c8864a2249917f01b8bc46d1fcc59495c6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
3716fe10f2010a34643df69107ec6d17e65d20b0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
1d062d010975de357ae539cb31f604d39b44197b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BagBagUnion	True	Passed	Model Under Test Equivalent Model
95134a2f5f7da4adf723e0425f76f200da98a2be	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BagBagUnion	False	Passed	Model Under Test Equivalent Model
86eceeb84b7239911ee80f292eef455011024049	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
950d1813ecf2b64f807bd893e51482d258242374	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
508531ab6e2e23ea96681602eb9ffa0ffcf50831	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
8221119aa8637febced77b3c6ceeae809b79173b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
55586e8eafe18bdcc7c5a075fc50bbd0a4cb8694	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BagSubBag	True	Passed	Model Under Test Equivalent Model
81b7f3a2c0ea1d14202d9a82e45269bcccb6d1a1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	BagSubBag	False	Passed	Model Under Test Equivalent Model
550e43c419727719d7366b2ae7e1a939a9ecca73	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
19bb72e3a5c1cf0838e73493270fba5b24639eda	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
0845173f64a387100b38b5f660762fea6904f63b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
c1326b34620c877a77b7c245d1e5c7b8dda33cfe	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
8ba9311e1c938f2704dcf5b033ab5d1ac76b295e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SeqHead	True	Passed	Model Under Test Equivalent Model
c33fb826023a52096a2ff3af40f0cdfaa5c20985	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SeqHead	False	Passed	Model Under Test Equivalent Model
a55b81d42d9844c8f120474ed422875b5eb492dc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SeqTail	True	Passed	Model Under Test Equivalent Model
88e86239e0d17403f0c787ffa582b89919535fd3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SeqTail	False	Passed	Model Under Test Equivalent Model
efd9cd4f77de32256374b19cd8b574e69f08d6d8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SeqAppend	True	Passed	Model Under Test Equivalent Model
57c728a82ac3b45d9b9e89de34b17cfc1846d8d2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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