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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
6b59dd1df23c4579ac92a76d122acd5248fb623c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	OneLineComment	True	Passed	Model Under Test Equivalent Model
47375e56e87c6c223631421fbf86db33e05162d6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	OneLineComment	False	Passed	Model Under Test Equivalent Model
d6a85eb9f916ff1227ee432cd122ab36100f890c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	MultiLineComment	True	Passed	Model Under Test Equivalent Model
87e2f02516389f120442be76eaadea4edd7f256d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	MultiLineComment	False	Passed	Model Under Test Equivalent Model
236f6d829954b00008286241fd0640f22da05371	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BoolTrue	True	Passed	Model Under Test Equivalent Model
dbd354185fefa927c649bde55675f027e3ed8d26	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BoolTrue	False	Passed	Model Under Test Equivalent Model
353ee656a62d752f8f0d8d558998ece25b900a16	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BoolFalse	True	Passed	Model Under Test Equivalent Model
2035166b1fd2d6a3d8704734abeca4fe163e2819	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BoolFalse	False	Passed	Model Under Test Equivalent Model
d28eb0dec654ee32d469d2adb599999f1cb736a1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BoolSet	True	Passed	Model Under Test Equivalent Model
4a9a56a48508a5819a64a7650131a1018b310d5c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BoolSet	False	Passed	Model Under Test Equivalent Model
3e06d651b15e66d5c6ee19029174e8af2aee4286	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	And	True	Passed	Model Under Test Equivalent Model
2ee4986eb96768a4a15d62f709e51c83ae12c354	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	And	False	Passed	Model Under Test Equivalent Model
a71777d1ee368d62e69aab7e68d997824c8e6c99	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	AndMultiLine	True	Passed	Model Under Test Equivalent Model
ba46e39bb385a4803a06627a50dd0689307c9171	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	AndMultiLine	False	Passed	Model Under Test Equivalent Model
5c19835442fcfcdf21242adfc00a7625fd934059	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Imply	True	Passed	Model Under Test Equivalent Model
ecf674fbf7def3cfbc7e8c263c035045d97b2773	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Imply	False	Passed	Model Under Test Equivalent Model
c72099c19a76b83989db2fceace77feb4964d26b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Not	True	Passed	Model Under Test Equivalent Model
aec60abecb7a629ec2fa62244d754e538e8a7410	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Not	False	Passed	Model Under Test Equivalent Model
5d8777a1b840e95f15a2d02bdaac1c4ee8c4a0db	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Or	True	Passed	Model Under Test Equivalent Model
3f4219cd738a6af826289dd00e169bbc83b008c8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Or	False	Passed	Model Under Test Equivalent Model
ad57a5d14ce3ee3f4fc8b04e4a7ea862c9bc934d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	OrMultiLine	True	Passed	Model Under Test Equivalent Model
b10fe5155f1523a879709bb4d5980fd9b34566c3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	OrMultiLine	False	Passed	Model Under Test Equivalent Model
c7ee693714f88ac6d1cd1d42ed340d60fbc36737	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	AndProp	True	Passed	Model Under Test Equivalent Model
600e9cc8a04a0061db01a7fbd1ff19afc6711873	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	AndProp	False	Passed	Model Under Test Equivalent Model
decd71967fe277f4edf415c8d3207280ce618f4f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Boxed	True	Passed	Model Under Test Equivalent Model
0153bde57ab68912d88b1de44258fdc27a22d28d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Boxed	False	Passed	Model Under Test Equivalent Model
80e5e0c86b40326f49529fbad1e2b45bb0770619	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Eq	True	Passed	Model Under Test Equivalent Model
60c7700c8b10add28f78d40744dde65f6b1af8e7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Eq	False	Passed	Model Under Test Equivalent Model
7fcd4f0103b1db3ec4a5057cd0d8bf8062763209	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Ne	True	Passed	Model Under Test Equivalent Model
0184eb1370c04b07029516db5ba7837386d9fce1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Ne	False	Passed	Model Under Test Equivalent Model
bf308a964c6c607a9bd244d661500dbdb4ba49ae	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Let	True	Passed	Model Under Test Equivalent Model
8fe7bb423fae2f44904e3072ec553139e7dad8e7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Let	False	Passed	Model Under Test Equivalent Model
92c9b339aa66082f704712eda6713659eb5d78ba	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	SetEmpty	True	Passed	Model Under Test Equivalent Model
7b7130f5bf29e9d8943c92e51f6314c827c73a2f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	SetEmpty	False	Passed	Model Under Test Equivalent Model
539e93607668c0edbdb439ca8eaa27f720bc0156	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Set0	True	Passed	Model Under Test Equivalent Model
7200f8ae10b8632acbabf2ddab0a878dbfdc2fd5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Set0	False	Passed	Model Under Test Equivalent Model
509f67d8ecb343f38aa4bbfac19880d512d060e4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Set1	True	Passed	Model Under Test Equivalent Model
17c597090bc04ae9ac26ef569c766deb51614333	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Set1	False	Passed	Model Under Test Equivalent Model
6f3143819b1a0eff76766d2d81ceb53293ea2b8c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Set2	True	Passed	Model Under Test Equivalent Model
98b0395e2f4f45588dbf2a714e3d7a38b9007515	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Set2	False	Passed	Model Under Test Equivalent Model
5cca66c6d4379d19a9d9f396dca284175924cba4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Fun	True	Passed	Model Under Test Equivalent Model
9ba8ed6bfe298690a41b404aa1b3d705aea86a0c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Fun	False	Passed	Model Under Test Equivalent Model
48d4fe45fc331ea18f2d49e8647a878e86236ed4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	In	True	Passed	Model Under Test Equivalent Model
f4f720a0692ba42db464c50ad8699938dffbdd3a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	In	False	Passed	Model Under Test Equivalent Model
d55a098d2d70a428a8e9ca1aadaf3c5e50b4f71a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NotIn	True	Passed	Model Under Test Equivalent Model
ee5c645844fc8eed44b0152fc9d68fdac63b3eaa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NotIn	False	Passed	Model Under Test Equivalent Model
77f16d99340642023a61a246781ad45a2923ce2e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Exists	True	Passed	Model Under Test Equivalent Model
d367ebd457a8bd45a6dccd1c3cb65c3318b626e4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Exists	False	Passed	Model Under Test Equivalent Model
4c7d923bcc2ef7a26fdb30085fc76b0a996163b1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Forall	True	Passed	Model Under Test Equivalent Model
a8b0e5ad4a2b31d5452d226789cc7e5b1c5587d9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Forall	False	Passed	Model Under Test Equivalent Model
b9f09916c82e2e5fee238bb5e1375bd49cd521f6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Choose	True	Passed	Model Under Test Equivalent Model
689063dc1efacf512d095e4d3a0d5d59cd278a53	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Choose	False	Passed	Model Under Test Equivalent Model
214dc696213b1ae1bdcf8a0730cdea3548045232	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Record	True	Passed	Model Under Test Equivalent Model
74fe0938193f459c622c1d5f9acc0fdb8de1671b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Record	False	Passed	Model Under Test Equivalent Model
8dca7ba044d084df824290dfc36d331589f7ce6c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Tuple	True	Passed	Model Under Test Equivalent Model
7e38f30176706860662d2fbe115a59e3b831eaa4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Tuple	False	Passed	Model Under Test Equivalent Model
a6cb0e555217182b844d70e213d54ff0a8589a50	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	TupleEmpty	True	Passed	Model Under Test Equivalent Model
1ea6e018ef8dda4a07163c811c7378ab2a0f2072	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	TupleEmpty	False	Passed	Model Under Test Equivalent Model
8cee18d929ec2ce2cf388965b23a4caa5ae82069	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	FunApp	True	Passed	Model Under Test Equivalent Model
a36632be5a07713fcad758fdd70206011d75bd75	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	FunApp	False	Passed	Model Under Test Equivalent Model
c00253be560efe88f2badfb80747dc98e231d44d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Prime	True	Passed	Model Under Test Equivalent Model
ee996877560829a7a299b17a53bb9c6c167f6561	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Prime	False	Passed	Model Under Test Equivalent Model
cd57acfbdce2381fc1228b20af5102e007cb6bc1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumZero	True	Passed	Model Under Test Equivalent Model
feb14141edef170404e3698ff2aa748362c97261	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumZero	False	Passed	Model Under Test Equivalent Model
049da388c6f1d66f57be0af49e68c8314eff977d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumOne	True	Passed	Model Under Test Equivalent Model
d76ba3a87df6e920ae6e1415da1e5a860f23bc05	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumOne	False	Passed	Model Under Test Equivalent Model
9d2874d557ea755d69fe0dce1b707527868ce58d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumMaxInt	True	Passed	Model Under Test Equivalent Model
0b94ccb9945bb5dec1863f12cf48817b305453ac	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumMaxInt	False	Passed	Model Under Test Equivalent Model
2ff82d53d62896a7d9926a018142462fb1e5ab32	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
3f4d15c13a31a3257c8748dc083067b1fb465a92	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
848cae92aff18d2d58319246931e12b1cbba854f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumPlus	True	Passed	Model Under Test Equivalent Model
02c4853776a7642de850ed862e9234481985836c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumPlus	False	Passed	Model Under Test Equivalent Model
0c3170a5d546bf7eb8771a2c34d795e201937095	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumMinus	True	Passed	Model Under Test Equivalent Model
3aed10dd2727f249b3d8b53aced041b264fa5cfb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumMinus	False	Passed	Model Under Test Equivalent Model
b3c26011832e3f79cf2e2a9c41370cbc5b7d4bb4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumMul	True	Passed	Model Under Test Equivalent Model
c59dce8da7ff9695047e25b092be3e3bb55568ed	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumMul	False	Passed	Model Under Test Equivalent Model
364a418d5efb02f4e51babfb0ccbdf9a561a4f8c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumDiv	True	Passed	Model Under Test Equivalent Model
60741b9a837b18876fd64fc9e6a266a01a75c58d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumDiv	False	Passed	Model Under Test Equivalent Model
ad4637fea7dcab4677f237c84b10966e5edba7c9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumMod	True	Passed	Model Under Test Equivalent Model
84ee35de623383dbe70450db018b62a326e00c6d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumMod	False	Passed	Model Under Test Equivalent Model
f4f3e9e4fb4b301c4c1f3abb2243724c8f987280	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumPow	True	Passed	Model Under Test Equivalent Model
c2e706d25fba63a26e799148876b5540b1a2fcd7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumPow	False	Passed	Model Under Test Equivalent Model
9c0af2a417de13913fd08bbb303516071d740696	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumGt	True	Passed	Model Under Test Equivalent Model
4a820fd8e017fd42612c12763839ab27ca89b3b6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumGt	False	Passed	Model Under Test Equivalent Model
39bc1aa540c172ee0d74d071292f421abe597120	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumGe	True	Passed	Model Under Test Equivalent Model
05b157cb6fbe68077d87990e948c4c2babbb16d3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumGe	False	Passed	Model Under Test Equivalent Model
4330fec4d96093525b790c6e87f80221f8ab227c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumLt	True	Passed	Model Under Test Equivalent Model
97eeb6ebef972ebd24aadbc7802226c80fec8721	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumLt	False	Passed	Model Under Test Equivalent Model
8c11796375e8d90517b59cb3b1b86680ef40c71c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumLe	True	Passed	Model Under Test Equivalent Model
5a071700156ff5238e3d0212d01c643fb5ea7113	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumLe	False	Passed	Model Under Test Equivalent Model
961bdb5eab7d18421bd2b37e02cf6d21281193c4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	DefFun	True	Passed	Model Under Test Equivalent Model
6c61e4e76ef214ce891377c0fe4ad4f6afad02d1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	DefFun	False	Passed	Model Under Test Equivalent Model
a35e6ed03fc01a5412d18b99a418fa63b1d74f1b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	LetDefFun	True	Passed	Model Under Test Equivalent Model
6d6284b43c347f18c5791fb1d1d76cb0daee3ee8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	LetDefFun	False	Passed	Model Under Test Equivalent Model
999ccdea8d07ab4a51c648d1b041394658192d96	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
ce6c270cf9b0de8b982d2b824468f108e0902383	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
a4a1c4c9b052fbf01b3fea8163e98f84abb82099	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
a72da670e6aa71122e643a70761d9522b669a401	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
7e5345bee9a6e20b16a684025a13670b9115bc25	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Def0	True	Passed	Model Under Test Equivalent Model
33f43049caa0d9c12442f2c4687b4182808aab2c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Def0	False	Passed	Model Under Test Equivalent Model
bddf98f9c6efdccaf01d3efb1aa7ed6578655298	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	LetDef0	True	Passed	Model Under Test Equivalent Model
d4235f3afe4265acc85e3b98682637bcb42010c9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	LetDef0	False	Passed	Model Under Test Equivalent Model
f60fcbec7eda31b492757bf6f81bc036fc9a8c40	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Def1	True	Passed	Model Under Test Equivalent Model
84ffa6e5781f8d0986d9cf84bfb3a6312b80438b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Def1	False	Passed	Model Under Test Equivalent Model
c1e7f2019da5b1998ebfff3c7d1fd99c58a7b464	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	LetDef1	True	Passed	Model Under Test Equivalent Model
ae1bd5d0938cfe4b3a1e7aa6ab61499c6246f060	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	LetDef1	False	Passed	Model Under Test Equivalent Model
0fbab55a51198ccede0dc909cf00d3073e9e3d02	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Def2	True	Passed	Model Under Test Equivalent Model
d25de97674da5394dc5f9b0437347f27a7bc5074	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Def2	False	Passed	Model Under Test Equivalent Model
315dd5d5e827fda2b686d51e8553095e731fcf6b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	LetDef2	True	Passed	Model Under Test Equivalent Model
dc3804585a9cab890584737ad687b361bd015079	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	LetDef2	False	Passed	Model Under Test Equivalent Model
ea56bbaebbd5532c239ea8e647dca345b47db922	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Def1Recursive	True	Passed	Model Under Test Equivalent Model
3db6135d43f2393eae09ef3909fd0e35f3ecf38b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Def1Recursive	False	Passed	Model Under Test Equivalent Model
a23cf0bed87f02ea5a91305103e5f0490ef297ea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
ccdff00c64124c061f6da5ab3d82caf89d19d6ff	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
8d8cffe5151be8f3b0e10682ff7435f9b2986673	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Extends	True	Passed	Model Under Test Equivalent Model
bf5855498f8c843542970bdbfa5b59a0f93a5e2d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Extends	False	Passed	Model Under Test Equivalent Model
e0125aa0b4ae7b6ec5f020dfee9d31da70a25e3b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
1466ffa46203cf8a80730968a801112dd05d4f84	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
1c0e9c59f4d62ccd8304f7fc1dc2ea7f19713a91	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Variable	True	Passed	Model Under Test Equivalent Model
7380190951eca2fb872e06836d456483b4c114a7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Variable	False	Passed	Model Under Test Equivalent Model
cfcea4b00629e39b4963d3c2474136ecb30bdb10	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Constant	True	Passed	Model Under Test Equivalent Model
3b3cf1a9cd31c7bc5d48f7e7acbfa02c1e7fdf8b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Constant	False	Passed	Model Under Test Equivalent Model
3166f8b4fd29f6e6652cf996e3571783df614895	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
947ed49e8ca7014a81f3d794eb90d20e4d62ed75	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
9942e909e0f7b75ab21ce4194606c32e6f20586a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	ConstantRank1	True	Passed	Model Under Test Equivalent Model
44f3c605109121c5d0dc1002a1f8eba49d8a46b5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	ConstantRank1	False	Passed	Model Under Test Equivalent Model
a8c1c1c598c0a5bf3e53137e087c00505a6c89d9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Instance	True	Passed	Model Under Test Equivalent Model
1bda6532916e4d510a4125d3b093938fbefb6848	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Instance	False	Passed	Model Under Test Equivalent Model
8364238f5b39167f16e4cc57a3c3f85290b8b03d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	InstanceWith	True	Passed	Model Under Test Equivalent Model
03f4a59f01949fda1603994b362cacde5c080dfa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	InstanceWith	False	Passed	Model Under Test Equivalent Model
a3cd7b42f700ce37319fff328cb43f3cbfb1bfab	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	InstanceNamed	True	Passed	Model Under Test Equivalent Model
dd813c84d4a1b47f7faf06c4fafa5017cfeb7420	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	InstanceNamed	False	Passed	Model Under Test Equivalent Model
832b0ec7ceac74e947bcff16db8d518b6f580ae5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
c89198be8c7fffb3364ef1ce902d3cdf57aa02ee	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
3e22a40f3b167d363a041ab0e5e2d888c26d599b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
bb39025a51b904bac49442f3fbbb946508cf6db8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
e31ef07d5c4948ea8678ccb65fb314e2a2d6a687	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
a72ce58120c0f9a06c0c43156c4193752c0e0b55	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
ba3c019ce6ab0be64cf843964fe4eabb1b3c1ac9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
098c260ede91c901f55e1252da2700e015c8c6e4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
ab06540b724ceada36c5d30dd5712b88238ff8a6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
10f3f6e6bbbbad63719c9b9e8c9a5f0cc6b2a42d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
950d3a68a38dbd64dabaa8e4191f998b41c382c6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Enabled	True	Passed	Model Under Test Equivalent Model
f24b72916f4aafa1b30ed605c057559cbacc61fa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Enabled	False	Passed	Model Under Test Equivalent Model
30bde3a0545846d00f51a45c4528a2a50d2eda2e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Cross2	True	Passed	Model Under Test Equivalent Model
a33db22ae543a4d1b2f513053a9bbf8e206bcf44	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Cross2	False	Passed	Model Under Test Equivalent Model
770af5931963a34667ce19aafcebe29bad3c7117	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Cross3	True	Passed	Model Under Test Equivalent Model
703ff370315be98b2a096bdc86382f319801faf5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Cross3	False	Passed	Model Under Test Equivalent Model
842b01eaaa07c35cd66f6e56595779bc5aec4ff3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	FunSet	True	Passed	Model Under Test Equivalent Model
5d07267cda682e31c4a533535823c6b30efdd556	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	FunSet	False	Passed	Model Under Test Equivalent Model
29f0f499a9eebb8e8eb07bcebae13a9281a5b54a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	RecordSet	True	Passed	Model Under Test Equivalent Model
7790385ac8aafdada7bc608ed756c8b4558a6eae	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	RecordSet	False	Passed	Model Under Test Equivalent Model
80ae31f82c30ee69149e198913321e2a23185cdc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	SetDiff	True	Passed	Model Under Test Equivalent Model
6dab86723eda644e8aeccb890792eb29c26071ad	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	SetDiff	False	Passed	Model Under Test Equivalent Model
51b26bb94e65ef071d29af271964cb68ad344715	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	SetUnion	True	Passed	Model Under Test Equivalent Model
f972c4558a564daacd5076aa112c8548c82e380f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	SetUnion	False	Passed	Model Under Test Equivalent Model
dc5aafce7b9d65722aedafd799ea29e17b92c124	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	SetIntersect	True	Passed	Model Under Test Equivalent Model
824dbe098a0363b0302b00f6fc5a2534b2089f94	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	SetIntersect	False	Passed	Model Under Test Equivalent Model
a173a3c6cd9063ed5aff2fd7b0a17603abf517ef	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	SubsetEq	True	Passed	Model Under Test Equivalent Model
f8cc61dd480c8446f68ac92090f776e916b5da31	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	SubsetEq	False	Passed	Model Under Test Equivalent Model
475b2a15071a49454ef820df7470090a3a3797be	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	IfCond	True	Passed	Model Under Test Equivalent Model
00c078209f9b696790605a496e72fbbe03b60427	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	IfCond	False	Passed	Model Under Test Equivalent Model
8d15abbd173047028cad0c3dabde675a42e2bffc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	IfThen	True	Passed	Model Under Test Equivalent Model
f7c4852d8e8f54af1dd067ee922d0a76b2d06650	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	IfThen	False	Passed	Model Under Test Equivalent Model
d07f2b93b9cc7d4087b49730489bd446590f67e6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	IfElse	True	Passed	Model Under Test Equivalent Model
e51208b37a716a873bb83892399402e65c802eff	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	IfElse	False	Passed	Model Under Test Equivalent Model
da83f83d3286449a0a081afce99429e21c29bbf9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Subset	True	Passed	Model Under Test Equivalent Model
08ba75885b713467fb44668e0c548b803a161bbf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Subset	False	Passed	Model Under Test Equivalent Model
ae6010e338b0021700c47d3ca660aa3522ec0d25	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Domain	True	Passed	Model Under Test Equivalent Model
2f2075ba8271926962b89709bd4122e5504cd72d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Domain	False	Passed	Model Under Test Equivalent Model
91ba55b3529d03c0df2e91a73e8b187071a0d709	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Union	True	Passed	Model Under Test Equivalent Model
f44fc68e778fb04762b9656b981aed8f08755b15	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Union	False	Passed	Model Under Test Equivalent Model
f98d4c5112f0a622e89e454b0424afbdecef0797	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Unchanged	True	Passed	Model Under Test Equivalent Model
3edc25077434e63e7ec586aea0579ed60a1aceda	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Unchanged	False	Passed	Model Under Test Equivalent Model
a2ac288b0e9d3a782de7300d8a32f575f61218eb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Equivalence	True	Passed	Model Under Test Equivalent Model
b57cabe3cb1a1a47866a9bde920158687fc6397d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Equivalence	False	Passed	Model Under Test Equivalent Model
4a7837209959e92956f1f4d32285ffc8556d68b3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	StringEmpty	True	Passed	Model Under Test Equivalent Model
4aa89fd11aa3838210f7cb4a3456a451bebc3af1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	StringEmpty	False	Passed	Model Under Test Equivalent Model
c5f29fb8202d75a00f0ec8c987c5d9620581d488	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	String	True	Passed	Model Under Test Equivalent Model
8f2243350359eeab25d2ee1447b5599b9bbeb40f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	String	False	Passed	Model Under Test Equivalent Model
392fabb1903d1ee23e81cb30cffc34d1563450c0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	SeqLen	True	Passed	Model Under Test Equivalent Model
97508d8913590ffac597be4775ba21432ae9d092	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	SeqLen	False	Passed	Model Under Test Equivalent Model
a03d7547c9f2faf49467d6ccb301f759a51a108e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	SeqConcat	True	Passed	Model Under Test Equivalent Model
659ebb62be27209a5e13727f77659172952cace5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	SeqConcat	False	Passed	Model Under Test Equivalent Model
1048e61b8f06b59810031f40413b3bd8c36c40d6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
110bbcf0a35f861e4d3565431b61b242b29c4f15	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
bf135537199d061070dd0c5c3a0d7020ee764888	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
c60dc1941407fd49035f54b5ddae0bfe8280f564	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
ba3a0df263da3461b7380c8b1380758daa638bbd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumRange	True	Passed	Model Under Test Equivalent Model
b7580e93f742378de5c767deb9c92ca34e6316e9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	NumRange	False	Passed	Model Under Test Equivalent Model
716fea599a3f87a9deacf12b12515485d88d3548	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
e4f9c335adb1f89e166b575756873bffe84d219e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
85323905ef25eb5588f6bd2cbfe2ea836ff31e4d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
816a25f9ef8e2f009ee8458caab4a5bf5f08cec2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
ebd90cc32246603d7eba6b540b7f96fc2528e287	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
8de65267ec6da21dcaa732ce04347dfe121ef71d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
2ceccf167cede942759347affde9c717e8381bd2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
f4658dd72825d9968dbbec473ce99c8f4f6872eb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
f564b9998d889fcda74f1177037d9b932b750bcb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	TlcEval	True	Passed	Model Under Test Equivalent Model
0dc224f8917c1591ebcbc03a408ff8a0f758f9b7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	TlcEval	False	Passed	Model Under Test Equivalent Model
c31ed58cfc544ea1d7851beb0e5d713e2dd566c2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BagBagToSet	True	Passed	Model Under Test Equivalent Model
80f9bf92478d339ffdbfb94d869659b2c304f72f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BagBagToSet	False	Passed	Model Under Test Equivalent Model
08de30377c6393fbf3e54d86436afd90145d8b56	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BagSetToBag	True	Passed	Model Under Test Equivalent Model
edf6a4ea2e2ae823e71302f8c2e7cc09ee6df3cc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BagSetToBag	False	Passed	Model Under Test Equivalent Model
483e764330d737c1b8bc2e898b445c2ddb1691df	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BagBagIn	True	Passed	Model Under Test Equivalent Model
a165d0bb44714717e0427d3b5a69098f735fe487	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BagBagIn	False	Passed	Model Under Test Equivalent Model
f1606520db9538f6ef533b3eca248a62191a3d1f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
3175f2fd16c822c43813d52a50b2321dc04977e2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
1a749f05426aadc4e1c9e6993c203c59b164d47e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BagAddBag	True	Passed	Model Under Test Equivalent Model
b4dd9c180cfba466bb9fca8ca2c4f885fd271647	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BagAddBag	False	Passed	Model Under Test Equivalent Model
6d07888f9dd16f8d676e646be449595a7b956391	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BagBagSub	True	Passed	Model Under Test Equivalent Model
7a97581e2d49004718153e3628bebc27a721fe56	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BagBagSub	False	Passed	Model Under Test Equivalent Model
34dcebc8c32c0131a5d046a44c2b6099926e1623	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
3af96702d8bb29eb595f9db223b1bc41764817bb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
18884ea362067b08ece37059261b71fa27a5b6e4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
c9b3928612d53fab7b4a4847fac2d2e1ea952647	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
c562780f8ca77127d193565e695f27ae0f8531ff	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BagBagUnion	True	Passed	Model Under Test Equivalent Model
0415a564c4d5a8f06070db0e33d22148bf995f15	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BagBagUnion	False	Passed	Model Under Test Equivalent Model
dbfabdfb888828aa49a06d904b5fdde6b2025ddf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
17e0355cd8c8092db0160279e252dc6afe91684a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
d2750ed1c07eb07b1fcc62ca31a5ed43b18553ab	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
420621a1dcbdbe7256e176eedbbef3e8d213b958	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
75f191158afe40e263ab24cccc4e34c4fd39f159	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BagSubBag	True	Passed	Model Under Test Equivalent Model
8a49b4c10b23decc3f113b1ed693e681856fc71d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	BagSubBag	False	Passed	Model Under Test Equivalent Model
9afe76e2ac573dd2b7997fdfb76ceea2bc41d27c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
93e00ce853d61cbfe137b9d40b79f6410d7195f8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
79fedf4d25113efe83861c6a742195f98196750c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
776f8837b671d4bb169addeffcaf9b78550a1946	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
c7eb4427feb63ed7a8ee2a3115a69675f1cd96ff	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	SeqHead	True	Passed	Model Under Test Equivalent Model
694914b04b93d4c87a0a4fd77bc25d30f15503a0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	SeqHead	False	Passed	Model Under Test Equivalent Model
5cbc5b4579e7ea26c6cf33130c3e4492f54d631e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	SeqTail	True	Passed	Model Under Test Equivalent Model
572cab3572d46b1c4e03ca219cb39272338da473	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	SeqTail	False	Passed	Model Under Test Equivalent Model
203d28bb0743cb13dde8b405300bbc840343aaa4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	SeqAppend	True	Passed	Model Under Test Equivalent Model
aa9d4aed09cea545429f830c3c354d84cdc3449b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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