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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
a8c06cb80ca20cdc50d28bf8479c56fe13e6d845	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	OneLineComment	True	Passed	Model Under Test Equivalent Model
958d3b627f347d5d77b13e32dd6d599b80d3064b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	OneLineComment	False	Passed	Model Under Test Equivalent Model
b8edc17da5936e8bc77518c7ef8462f57bb943fa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	MultiLineComment	True	Passed	Model Under Test Equivalent Model
3bd3ddf6c9710db7286b113818c9cb6af84fb9f9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	MultiLineComment	False	Passed	Model Under Test Equivalent Model
6f575765ebd327948b18f7e581f7845eb9419e20	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BoolTrue	True	Passed	Model Under Test Equivalent Model
f11f82411aeecaeaf1e0ca466d4c513292292aa1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BoolTrue	False	Passed	Model Under Test Equivalent Model
ed332c398024356094ad777b99f8446d2c585458	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BoolFalse	True	Passed	Model Under Test Equivalent Model
f1a1c5203bad3e66da388e08b9c49e1c3fb9d794	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BoolFalse	False	Passed	Model Under Test Equivalent Model
e483094937b66cc1491bec9f070711d354c20728	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BoolSet	True	Passed	Model Under Test Equivalent Model
64c9bee23b6dd1ca9f3512ec79a4d231da0d297e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BoolSet	False	Passed	Model Under Test Equivalent Model
a05443694fe8f4e2e8bee92f17d3e595fa77f8ca	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	And	True	Passed	Model Under Test Equivalent Model
1015ee0337b3120b3c93b3d4fbb5b34c7f5b69c2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	And	False	Passed	Model Under Test Equivalent Model
f61c4845870e649f1556f0ceb1c50716fab69063	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	AndMultiLine	True	Passed	Model Under Test Equivalent Model
15aa455095e9b2614e7ebc6a3e7dfb9a63c0e55e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	AndMultiLine	False	Passed	Model Under Test Equivalent Model
f25349eb88d952b3d5ba03514bff355e74ec30d4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Imply	True	Passed	Model Under Test Equivalent Model
a705332fb78ca0c3234206c752d474fa892860ad	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Imply	False	Passed	Model Under Test Equivalent Model
5e033dc92f7f6add32cfd33cda189011b95c5bba	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Not	True	Passed	Model Under Test Equivalent Model
6b2fec56753c099047d5cdef65fca749d31923ba	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Not	False	Passed	Model Under Test Equivalent Model
d82f707afd414858169049935943acea0d77450d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Or	True	Passed	Model Under Test Equivalent Model
25a6a2dac411688e39f4e212b9d7dde578ffdbac	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Or	False	Passed	Model Under Test Equivalent Model
dcc8794992d16f8153a98f3a71200c5dd114763a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	OrMultiLine	True	Passed	Model Under Test Equivalent Model
c8380aa343f4ead0e78713e9053be051c19c11e6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	OrMultiLine	False	Passed	Model Under Test Equivalent Model
38c0151a450e76cb7c8b38634b40ca960e007da5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Eq	True	Passed	Model Under Test Equivalent Model
23d3f0f07ee6b20e7a712296d85814ec7a00e187	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Eq	False	Passed	Model Under Test Equivalent Model
d036241c90151a84fd51aa586a1ae5ccc79881cc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Ne	True	Passed	Model Under Test Equivalent Model
337f494c4813558b67b88eca90cbb7239362d25f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Ne	False	Passed	Model Under Test Equivalent Model
5aa05974251c18e10c11510bafd02a874ff1952d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Let	True	Passed	Model Under Test Equivalent Model
929e26d2fca1e9e81d8dfcb47033d85fc341733e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Let	False	Passed	Model Under Test Equivalent Model
f8e72a8aa3a39f9ac194db088d0b2b57da7b73fc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	SetEmpty	True	Passed	Model Under Test Equivalent Model
de2f5ec7e9f9b2aaf035f0b3386886096001beae	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	SetEmpty	False	Passed	Model Under Test Equivalent Model
f33af836119416ca16e20467b0ab1b1587704e51	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Set0	True	Passed	Model Under Test Equivalent Model
66f6e14d90cbc2b109b7ece56bc2c3b91acd70ee	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Set0	False	Passed	Model Under Test Equivalent Model
de0b74604c69f33b6aa5614f1875b04deff0315d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Set1	True	Passed	Model Under Test Equivalent Model
6bea35611ade464a96c024889c8ddd8a452f6f6a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Set1	False	Passed	Model Under Test Equivalent Model
4ef9a70155fa265eac597be8a14a96e50d946f88	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Set2	True	Passed	Model Under Test Equivalent Model
7417d34134cd1b7346e953988091f33e13cdb8ce	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Set2	False	Passed	Model Under Test Equivalent Model
a019496af405a62efaca789b722c7b4f37024b4d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Fun	True	Passed	Model Under Test Equivalent Model
23b298f29233181cae99b989af493301e34f0d7d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Fun	False	Passed	Model Under Test Equivalent Model
35d3b879eb7ea6aca6e08983ac52bfa0c5bcc14b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	In	True	Passed	Model Under Test Equivalent Model
ac9c2259208c630dc2696e6be5e9718754a73a1c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	In	False	Passed	Model Under Test Equivalent Model
90261a17f79b14215b0a474803b97152b4435beb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NotIn	True	Passed	Model Under Test Equivalent Model
d3e9d55641ff37f2fc5a70cb71b1b8e4ff0ebac1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NotIn	False	Passed	Model Under Test Equivalent Model
0ed0ae0d156bf811f6fcf6c55215f71868265411	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Exists	True	Passed	Model Under Test Equivalent Model
f1cfd2eca693a475e162b0d4379ba94a5ecdcdbd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Exists	False	Passed	Model Under Test Equivalent Model
7d945f9f7e167d79b631d9eaa6b4bbc5fcbc022a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Forall	True	Passed	Model Under Test Equivalent Model
6a2447c5bac498ea2cc48028cb3a4f4edd85abdd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Forall	False	Passed	Model Under Test Equivalent Model
cc54d29c8bb27de722dc5b1d35c975da0c91f0b7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Choose	True	Passed	Model Under Test Equivalent Model
d0a48ac6dc45d576b374abae67c84589b76361d1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Choose	False	Passed	Model Under Test Equivalent Model
e272c2195b916857b59072249bb92ca54e51ae93	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Record	True	Passed	Model Under Test Equivalent Model
5b37486cd164dceea8a9c2071d6e6bdf249cf611	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Record	False	Passed	Model Under Test Equivalent Model
d39cc7b34d218de0e8398f1c06791b397c304830	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Tuple	True	Passed	Model Under Test Equivalent Model
9a0f88da9f38c73b29698c86201937f4c03a748c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Tuple	False	Passed	Model Under Test Equivalent Model
2051d48b4a41bbe1ef5b7c22d35a889f58d158c5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	TupleEmpty	True	Passed	Model Under Test Equivalent Model
a59e398a88e5632f5779bfb2c7158edbddab3386	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	TupleEmpty	False	Passed	Model Under Test Equivalent Model
73ee9e5dea9192392bb33ea3efc97480893c9190	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	FunApp	True	Passed	Model Under Test Equivalent Model
a3387df36aa5ab81ac87576f0548d9b3e7c2bc1c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	FunApp	False	Passed	Model Under Test Equivalent Model
43cf0d73e76cc86d6114f836a26765e4bf8d433f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Prime	True	Passed	Model Under Test Equivalent Model
e21ac82c9337e31cc128cc1f73ff8a9b1b0102be	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Prime	False	Passed	Model Under Test Equivalent Model
d3c1295973f43c5489d899101b260fcb2c092b04	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumZero	True	Passed	Model Under Test Equivalent Model
7c14b429d473d1d348d1ecf7dfd5b6ee46a46acf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumZero	False	Passed	Model Under Test Equivalent Model
a856ffd082312ac06be105d9ff68271c3b30181a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumOne	True	Passed	Model Under Test Equivalent Model
7594b6181fff9cddd848da9a38920962be9e10d0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumOne	False	Passed	Model Under Test Equivalent Model
080484a099c88a08de6711d1cfec84994356290e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumMaxInt	True	Passed	Model Under Test Equivalent Model
e8473fb371493629122eceeb62b628ef6e38461f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumMaxInt	False	Passed	Model Under Test Equivalent Model
f7119805f04bb94a3d25acb32447a651bec884dd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
3a17cdc947a084f14ec99402f07709b420299ee9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
62c4026106e225c617e2653c2919ca47137d9f09	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumPlus	True	Passed	Model Under Test Equivalent Model
135b985cd2ebf4295acd083e72b281a31506912b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumPlus	False	Passed	Model Under Test Equivalent Model
c7f4b26ceebb0388d65f79165af2e335199db09d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumMinus	True	Passed	Model Under Test Equivalent Model
b113a9fcefea7edcb628afc50aa2280588ac549c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumMinus	False	Passed	Model Under Test Equivalent Model
de7bf04537f0fb152c22664c36e11c8c02de6407	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumMul	True	Passed	Model Under Test Equivalent Model
e9ea1446b5ada77236b8b89a18cbc6d323260ef5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumMul	False	Passed	Model Under Test Equivalent Model
bebaceeeacd97927635ffd1f1079d53404c04f19	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumDiv	True	Passed	Model Under Test Equivalent Model
3b4e9523bf8527930c7aa73702be271772e25e7c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumDiv	False	Passed	Model Under Test Equivalent Model
ba3b37d5e8724437e80aa884fe7a2f1a5c28af02	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumMod	True	Passed	Model Under Test Equivalent Model
73bb005106ec43774969d7aa88688575f8e2406d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumMod	False	Passed	Model Under Test Equivalent Model
8051a0f895c00a4aadb530ba40b18ae02597e868	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumPow	True	Passed	Model Under Test Equivalent Model
066f0ac6940417a3f69fa139f8f93e9888ba8f90	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumPow	False	Passed	Model Under Test Equivalent Model
be97519001c56612e382b548bd3eab87891c8155	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumGt	True	Passed	Model Under Test Equivalent Model
d00a90d6504b31f66d77d72387f9eb7328bf6ae6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumGt	False	Passed	Model Under Test Equivalent Model
ca492e667fff91a55d78b677a1b824ba0dbd240f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumGe	True	Passed	Model Under Test Equivalent Model
13327a38a16cbd6c6247581a718fdab8cf521e38	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumGe	False	Passed	Model Under Test Equivalent Model
4b65dbd21c6dd00045da4bafdb31cd3eef93f47f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumLt	True	Passed	Model Under Test Equivalent Model
7a60c71df20329c07888c912cf0960acbf1f6ca0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumLt	False	Passed	Model Under Test Equivalent Model
c20dc4340b870ebf654c9555d75cfd89ef0ed7e1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumLe	True	Passed	Model Under Test Equivalent Model
6e5126bd2e2b457567736d8bff5674477baae4b2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumLe	False	Passed	Model Under Test Equivalent Model
6deeeedc0a466f2e87176a53b7027565d2b96bdc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	DefFun	True	Passed	Model Under Test Equivalent Model
7859d59a9e8fe826b7732b9b01185941a92c91b8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	DefFun	False	Passed	Model Under Test Equivalent Model
fa3f9523a45c7bae65229737232c20055bb55f38	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	LetDefFun	True	Passed	Model Under Test Equivalent Model
745735dc366c718aa92672f4000dda55328afaca	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	LetDefFun	False	Passed	Model Under Test Equivalent Model
dc6b6c8c10ef919525be1c157295de909cf87ce1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
28e77910ffdc7a996d2d108a2f54c07623570fd2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
9614992055c0c5075475feb175840c30019d39d8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
5fe5f35164ddad386125a1da7ce7b2d9a10f2d35	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
836d9e7e9dbd36e92b43effcc4233b72eea8b199	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Def0	True	Passed	Model Under Test Equivalent Model
0eea46793b2cbc8144be88d2143d80ffd66492d1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Def0	False	Passed	Model Under Test Equivalent Model
6dce2a36632242c7c1e4cd42661633d52aa789af	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	LetDef0	True	Passed	Model Under Test Equivalent Model
fb59cf1e390da8050cc044ca6b36a0d435930655	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	LetDef0	False	Passed	Model Under Test Equivalent Model
75cc30c8b1fb869ee84d3588af86f0741e24b838	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Def1	True	Passed	Model Under Test Equivalent Model
002bf3654d63c7bbc79a710098bc7cbea5d0ab17	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Def1	False	Passed	Model Under Test Equivalent Model
268a416d64b58f04375e826733e91e506ed0ae7a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	LetDef1	True	Passed	Model Under Test Equivalent Model
4dbc9047f0476c982a764929fbda86f137ec6e2f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	LetDef1	False	Passed	Model Under Test Equivalent Model
4264933da4c351b229ba5c7757073bcb2a508ca1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Def2	True	Passed	Model Under Test Equivalent Model
c85a5a3e1801385d6ae87d1d87f45e24c8f7347c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Def2	False	Passed	Model Under Test Equivalent Model
a6bf62a1094308fdc65e1aeb916fdd1cd4077d11	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	LetDef2	True	Passed	Model Under Test Equivalent Model
f9bbebe2812a33986ab736d84c0443a279e20b87	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	LetDef2	False	Passed	Model Under Test Equivalent Model
f2c59891e52ec2a5e2719dd8d013dcb8b51b1e1f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Def1Recursive	True	Passed	Model Under Test Equivalent Model
48f5ebaa35757b143ba75956f5668bb20cdc2a89	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Def1Recursive	False	Passed	Model Under Test Equivalent Model
c05b7c4736a283657aead4d5b4fe4eb1058fb023	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
1b7825ee883f96a34e44d9fd677cb0ee7d2a1f40	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
47cf63129fd684e65bbc9ae812404d9a7dc0e79e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Extends	True	Passed	Model Under Test Equivalent Model
bc282f339d2388ef659cb4871dfda1ecd37be9e2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Extends	False	Passed	Model Under Test Equivalent Model
5ac250734a3f624a70aabf294801c6c63546bc78	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
0a16abd637ec9581d315f5758ea6c506650ae93d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
64e03b6a756af5369037455fa62cdd16e91a9a89	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Variable	True	Passed	Model Under Test Equivalent Model
7099af20f22099aaf6f1f3e6be5e2acdbba6154d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Variable	False	Passed	Model Under Test Equivalent Model
3325c32b0bf38aa05f1e08ceb4260ed01c0560dc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Constant	True	Passed	Model Under Test Equivalent Model
3ed2d50a1f82cfcfe18e5c319de03680d6141c46	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Constant	False	Passed	Model Under Test Equivalent Model
91eee12e82c8a6d0c73098084920bab37dca7c77	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
11734d8280d45e0f1c85c470eaf6bcffe6a29b90	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
7d1d67538c1a7c1cbafe092f5f909aa72990180d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	ConstantRank1	True	Passed	Model Under Test Equivalent Model
564770d386059389d95e5630084733e13ff51a29	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	ConstantRank1	False	Passed	Model Under Test Equivalent Model
f0d6b9fa46a5a09c6eab9b12b4e123a5ae03923e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Instance	True	Passed	Model Under Test Equivalent Model
b3769d3eedefe4995e58809d3478646b4c0fb252	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Instance	False	Passed	Model Under Test Equivalent Model
a9f9c7e2be68554cb4e263aaca9aa76b2591eced	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	InstanceWith	True	Passed	Model Under Test Equivalent Model
6f0a04ba53fd10abeb64f845f5eaa9306613fa6b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	InstanceWith	False	Passed	Model Under Test Equivalent Model
42c974ea5af0a032e8bff1b97cef4c2a0bd48803	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	InstanceNamed	True	Passed	Model Under Test Equivalent Model
29d0e72c5b81393dacf18296f19bc3b7e13339d9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	InstanceNamed	False	Passed	Model Under Test Equivalent Model
3752ad34f2633973226a75882e0f709cf6c9f9f7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
152a209fcdac4327331a450ff8b162e2577b0f48	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
05c9e3a62267327c3729ca31aebfa0510eb6f87e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
62893832b062a302360c41650fc096289bb46bb9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
20a99cc345d23c9b2c32944881132bafa22dd93a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
8bcb74612a7a1f92d841529cd3b9e222cd55e585	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
65de9b55289c5a30f32c5497fb3020ececf86a74	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
2557c3617eb52322b5f952cebd6bd3b4556fcfb0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
777160819988a89183ea0a6cd066e850a80a5e38	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
9ba4e151ad6ebc033fd09bbba8e0125a048956ab	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
0be4800b0ef52764e7f0e9d49e396c9ccca5f4ae	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Enabled	True	Passed	Model Under Test Equivalent Model
2f1f1db54ff300836c1a14c21d1bac89d1349bed	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Enabled	False	Passed	Model Under Test Equivalent Model
a613658b64b7f9b74fceffabc66260b751644c97	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Cross2	True	Passed	Model Under Test Equivalent Model
f6736adc843ad531037d8767954c6de6877c3c97	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Cross2	False	Passed	Model Under Test Equivalent Model
cfd58327eb48943af64af9f78090afe14f5979e8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Cross3	True	Passed	Model Under Test Equivalent Model
e02581c36bca3a2e4d18d1ae9748d48bde66bf24	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Cross3	False	Passed	Model Under Test Equivalent Model
628fa2f910d109c928117433fcd10ebf842335dc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	FunSet	True	Passed	Model Under Test Equivalent Model
bd5e97d77d7207ca6bd571b8f2b61b7cc9e497d1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	FunSet	False	Passed	Model Under Test Equivalent Model
5d7a9cb43be554c66b4899e577768a1574f53c57	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	RecordSet	True	Passed	Model Under Test Equivalent Model
7b84e44080a42c3e78843a18295cb7334c746419	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	RecordSet	False	Passed	Model Under Test Equivalent Model
a80a5a0362b288b65e864c0254ea5da3ef396bd5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	SetDiff	True	Passed	Model Under Test Equivalent Model
e904d217a2cf6008a63973bcca464fbbb5a9154f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	SetDiff	False	Passed	Model Under Test Equivalent Model
f53ed3d1691d090cdcb48d8cf51e0f6e4e3b2044	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	SetUnion	True	Passed	Model Under Test Equivalent Model
39d2e47b6627aa88a619fb90a1c9638d24b69b47	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	SetUnion	False	Passed	Model Under Test Equivalent Model
e53a956c5c1781a503e8582a932425e74132cccc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	SetIntersect	True	Passed	Model Under Test Equivalent Model
f2777e5bf9f9f06bdf3c07684f1a33bd6685154e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	SetIntersect	False	Passed	Model Under Test Equivalent Model
f798128e6181f730def2a896f7b863ae985d0544	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	SubsetEq	True	Passed	Model Under Test Equivalent Model
89295829f7a8f21dae59b24b5851cb73d4d86c0d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	SubsetEq	False	Passed	Model Under Test Equivalent Model
09b633a6494b1aef31b6771dd80c8220726bb38b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	IfCond	True	Passed	Model Under Test Equivalent Model
ba5189093bf9e4664e4100860d325db7a38500a7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	IfCond	False	Passed	Model Under Test Equivalent Model
becb6a113df5d85bafc5e9ad2b47fd2b086d997d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	IfThen	True	Passed	Model Under Test Equivalent Model
e2a14e2509317932f684e5d17dffcb5ac53efedc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	IfThen	False	Passed	Model Under Test Equivalent Model
84eec587f7e8c34173f44e4311ba5fd481820031	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	IfElse	True	Passed	Model Under Test Equivalent Model
8a900c6247bae99ae2e36dc7bab881a1880f717e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	IfElse	False	Passed	Model Under Test Equivalent Model
367c2551e6f0a9e6d84e4e31f37abe000ee567d8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Subset	True	Passed	Model Under Test Equivalent Model
4f4ba9e946d7692ea025d6560eb522543ea771b5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Subset	False	Passed	Model Under Test Equivalent Model
e195dfe7abe61640426e923af8eaff8280253499	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Domain	True	Passed	Model Under Test Equivalent Model
b752fe496fac11e8f2098a492da44af244662278	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Domain	False	Passed	Model Under Test Equivalent Model
ead6af67383b6fb01cf4b267e6c816dc62077620	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Union	True	Passed	Model Under Test Equivalent Model
93cc1bb438ed63a5db058138b7ebbebbd47e05d2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Union	False	Passed	Model Under Test Equivalent Model
4b8b92eb9e632d44660398d59da8382f6654c24c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Unchanged	True	Passed	Model Under Test Equivalent Model
6c1f773284fcd33bd1949d94e7f495e211057357	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Unchanged	False	Passed	Model Under Test Equivalent Model
01a258453f1ddb9b7d0d195d0d7a0d4d26594eb1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Equivalence	True	Passed	Model Under Test Equivalent Model
64cb0948e71872a9b166bfa23878d9522c39ad80	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Equivalence	False	Passed	Model Under Test Equivalent Model
0fe1db527455cf9fec2eb5261da9c945cb9a669c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	StringEmpty	True	Passed	Model Under Test Equivalent Model
b19b4a236a214dac34c5012c51ef00019cf87547	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	StringEmpty	False	Passed	Model Under Test Equivalent Model
e57d3a17e153c29b8bab4632e1c5540ae3665b4c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	String	True	Passed	Model Under Test Equivalent Model
28819ffc20ae0d5e0a1ec5cf015fd19585c13c39	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	String	False	Passed	Model Under Test Equivalent Model
f33311556c9e709fea0f737e3b229be47a628499	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	SeqLen	True	Passed	Model Under Test Equivalent Model
67b47aae72566e29517edc75769a532e29e805ea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	SeqLen	False	Passed	Model Under Test Equivalent Model
4625f22005013ab1e8c42e1dda2bd70e015c1c33	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	SeqConcat	True	Passed	Model Under Test Equivalent Model
b2a1be0bee05e5cc21d6acd1a8c4f4bd50e98d42	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	SeqConcat	False	Passed	Model Under Test Equivalent Model
92883e184cbc72d6b68bbb48772965d355f46917	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
479c177b11b2391b1888412330c3ba57aecc48b2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
39ae06262bdadcbd9d2b50adb2f714a3e5dbbb55	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
bf1bb54c902841e521b4096fd5c2c168796df8f7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
c9a21b5cebae059fefcbb5ffba3e6dcf1083e2cc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumRange	True	Passed	Model Under Test Equivalent Model
c0b2f22ab691e44404fafd1145679ec7c1ce627a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	NumRange	False	Passed	Model Under Test Equivalent Model
f3d1c72b0216f9a21bc65d7f52cd44d367745e8a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
5fee6924d0149518814a882bbeb24774e3e39476	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
6686c3a39db971de203da0c399a424f5bbdeaf2d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
1cfd0329406bbefd56218f5382e869a9cbda2d2f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
b953b85b24f6d98b2a0ab66be3ea048f82b97764	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
a7ef4cfdf0e9ed885b7ccf3188357bd403d5a094	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
75b41618564337386844d7f7f0b195f6136b1297	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
b0d30ba1c9d919cdec1c5c853977de89841d95ff	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
bd434aca84c0b2cc6e5071d70b4cf3754856f498	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	TlcEval	True	Passed	Model Under Test Equivalent Model
bc545f81c0d03b4f5f9046ce9c07ddb67941dc32	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	TlcEval	False	Passed	Model Under Test Equivalent Model
8140c1edc13b47c3ed1fcc106dace8c2588f97a7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BagBagToSet	True	Passed	Model Under Test Equivalent Model
0e3dc559320e32645e00413767518bef520992d9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BagBagToSet	False	Passed	Model Under Test Equivalent Model
291022de1801a8045e703c82974845003d791c85	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BagSetToBag	True	Passed	Model Under Test Equivalent Model
1d051c3935dc73ec07ff53762fbfd611eb363b12	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BagSetToBag	False	Passed	Model Under Test Equivalent Model
b7b676fc21d6c21576a671f5ce700eb28babfc53	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BagBagIn	True	Passed	Model Under Test Equivalent Model
7bffa18f295b23896e6532d3ee8c7d0bef7c3e63	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BagBagIn	False	Passed	Model Under Test Equivalent Model
1e2af93354332c1cc6469896322b2985ef7986d3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
daeb0b028d28ab3b2700c97246a817195bc89084	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
3f6ca704fcd006298ce55fa85df57027e1218588	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BagAddBag	True	Passed	Model Under Test Equivalent Model
455eef7fb1fe3848a6d9c206ce79139aec1c392b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BagAddBag	False	Passed	Model Under Test Equivalent Model
7a30b019cc726123178a0d3865242cb115e19ba9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BagBagSub	True	Passed	Model Under Test Equivalent Model
2b3f88edec5d150007d2e4f3c5f9747bd8825b90	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BagBagSub	False	Passed	Model Under Test Equivalent Model
a4db7f30ca176fa7a9af01ee10da7249443a67e4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
43ab3c8ecf1380be7bab59d57d03c78d8688adb5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
0c4862352dd0e919892ed5ee5424bb3790e4a0ae	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
ac0ce851e5dd821ce0863d72a3131e095002b532	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
cdb41c381c3a5fe0922abf9755e6501cca21fb3f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BagBagUnion	True	Passed	Model Under Test Equivalent Model
e659a984a9fb7c458f5c26c1b1d667d2bf530490	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BagBagUnion	False	Passed	Model Under Test Equivalent Model
635a962d0eda8e53f5aafe17865d1d1874f2b630	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
f021c60d2e2d6736a340278584fda65c25d9a088	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
452378359536c32c6944dbce0ea9d87fd3d5709e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
4d68a3a0f6882ff775a306ebce9ef229edef7e34	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
e48707aae77f5dc0401700a2828074026112edf9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BagSubBag	True	Passed	Model Under Test Equivalent Model
d174d92b4f053659878b6068781228fbfff3efe6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	BagSubBag	False	Passed	Model Under Test Equivalent Model
c78adc8b847ff72de3e675c895e30dbc861a48af	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
e932dce7ac51a0719f8af0d7c562d7a5a523bcff	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
c2732fd1bbcb3851550a9ce0aa7c4de82f4d1e8b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
df68874763665222777f13c1bc4e3eae73d115d5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
10c868e5745eb974acf6ae09be5562425467bce1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	SeqHead	True	Passed	Model Under Test Equivalent Model
5a55886acdfc7fc0fa878ee8b56159a5688d506e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	SeqHead	False	Passed	Model Under Test Equivalent Model
dd84eda7338742de258c7a89d7080a046d23b4d9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	SeqTail	True	Passed	Model Under Test Equivalent Model
ebd0cdb9b23878898edddfd14d6605e6589c8da2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	SeqTail	False	Passed	Model Under Test Equivalent Model
4987c533dab320f5efe6ef74a73b0bece2a3cac2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	SeqAppend	True	Passed	Model Under Test Equivalent Model
967b136445c7ced3c794d4d515f9bdefd171917a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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