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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
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
f8713ec87b52c9613ec240813c64e3867195a039	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	Subset	True	Passed	Model Under Test Equivalent Model
87a1af44dd2afce12a4bcacd869cfc90f3b189ee	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	Subset	False	Passed	Model Under Test Equivalent Model
a8351f068a1ffc88021dd8b9b937a73887725636	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	Subset	True	Passed	Model Under Test Equivalent Model
ff9877e4f66f063b54978a1ddb539fe7ab78a54b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	Subset	False	Passed	Model Under Test Equivalent Model
10a2645d312d41f0f3e5c3f6f9db2a3c07ce52c0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Subset	True	Passed	Model Under Test Equivalent Model
8add73c8a22b704d9c1e681f88bec90b66c679f3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Subset	False	Passed	Model Under Test Equivalent Model
d2fcdea9a197e3f1233aa12d00fca0e12b9386a6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	Subset	True	Passed	Model Under Test Equivalent Model
6f86c3de090efec9114a6c78effa25c1b814efa3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	Subset	False	Passed	Model Under Test Equivalent Model
2e573160acb730b180d02acd3a8a81b5d8552c80	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	Subset	True	Passed	Model Under Test Equivalent Model
2e3a52c674ed561b2ab9d1b69a1a8b48a02a9aa1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	Subset	False	Passed	Model Under Test Equivalent Model
f5488d62a714813c0cda8937c1a1024edab3928c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	Subset	True	Passed	Model Under Test Equivalent Model
26f7c840cc796697e27bed62c5d5ec834ef09326	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	Subset	False	Passed	Model Under Test Equivalent Model
961e491ca73d6952013109f501f31f791c5159fa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	Subset	True	Passed	Model Under Test Equivalent Model
a4301032bb121b64e0af98a87397d9583b7ee441	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	Subset	False	Passed	Model Under Test Equivalent Model
1c155e9ca14fac12015884013261a51f78b0f7ea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Subset	True	Passed	Model Under Test Equivalent Model
7f5820afdfbd5f81019968c4d7d6826a988d0427	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Subset	False	Passed	Model Under Test Equivalent Model
669c0f3b01c9a52c10d36b8ebaf9aebc70b422c9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Subset	True	Passed	Model Under Test Equivalent Model
3736ed8cbcee8873ac33c13afc080b1022565163	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Subset	False	Passed	Model Under Test Equivalent Model
101c699bf2ffb5b460bbf0dc9e38b93b90a02bef	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Subset	True	Passed	Model Under Test Equivalent Model
a5236aaa37e7da9b1f17ddde035962191cbd3220	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Subset	False	Passed	Model Under Test Equivalent Model
51d8c9f57435c9c46412e9cbd21f0cb2e04b1e37	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	Subset	True	Passed	Model Under Test Equivalent Model
cb5739d444df714034ac3e7b2a51eb6424be16b9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	Subset	False	Passed	Model Under Test Equivalent Model
fc45fd372d84403d3463817fce36c824aa425e51	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	Subset	True	Passed	Model Under Test Equivalent Model
2f4423b5826cf5b1a71804dfb6dc60378a55a493	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	Subset	False	Passed	Model Under Test Equivalent Model
e22cbccf84763dfd47c469efcf133420b3dc71b4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	Subset	True	Passed	Model Under Test Equivalent Model
4f5fe1455014ce65942a1c417e2280711c1e6141	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	Subset	False	Passed	Model Under Test Equivalent Model
d3738c7eb534785e74a81b4e8a46bb6dada9955a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	Subset	True	Passed	Model Under Test Equivalent Model
95fc2ccacda4f3850012fd2d045a4a9745f36072	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	Subset	False	Passed	Model Under Test Equivalent Model
2f2f301ae2390b98c119d48479b12035ca07b3bc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	Subset	True	Passed	Model Under Test Equivalent Model
92bbfd7385631d8e4413bb9579101fcc879b2e75	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	Subset	False	Passed	Model Under Test Equivalent Model
3aaa3bd153185f5a921e4258707ad03f00484edf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	Subset	True	Passed	Model Under Test Equivalent Model
07d003e0c868ed988a93d5309922b7f20b72338d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	Subset	False	Passed	Model Under Test Equivalent Model
c0277e0b701bff5183e25e7268f88f82dc29e3fa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Subset	True	Passed	Model Under Test Equivalent Model
8a679d2c0ca293ca606d9884e81589efe3bd0e7f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Subset	False	Passed	Model Under Test Equivalent Model
d3dfeb4cd79d8ec847a6b304b7ed910010804ec9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	Subset	True	Passed	Model Under Test Equivalent Model
4834244555e4baf7eac6454914fb486306f3aa2c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	Subset	False	Passed	Model Under Test Equivalent Model
a54b0a40621d7670e76523342a9d6d7cf4e6f568	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	Subset	True	Passed	Model Under Test Equivalent Model
6bc32d1a70520b051dda8f1fb0e59db6edb3c935	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	Subset	False	Passed	Model Under Test Equivalent Model
b3760f6074d33576a07c57605a4b38e2d7861c9f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	Subset	True	Passed	Model Under Test Equivalent Model
707b88dfb3f61df0d1415ca791c297f8d93e0e45	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	Subset	False	Passed	Model Under Test Equivalent Model
d6d8cec537f71f66af255d103a2c91bafffdc452	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	Subset	True	Passed	Model Under Test Equivalent Model
0133501a0203104776ead1dce4b988deb0642db5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	Subset	False	Passed	Model Under Test Equivalent Model
30606ff7ab757a0486280cb6685d9f61e29824ea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Subset	True	Passed	Model Under Test Equivalent Model
b3acea53cd9bff0b1adb396ae30dc4ada9dbd13f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Subset	False	Passed	Model Under Test Equivalent Model
9021dedaf408dd44323922f81a344469c8baeccc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	Subset	True	Passed	Model Under Test Equivalent Model
400b14ec09815c8ba7534095f1d62cc769d96fe4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	Subset	False	Passed	Model Under Test Equivalent Model
32e0ea01441b7d50dd34f13d2e36111d74e51920	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	Subset	True	Passed	Model Under Test Equivalent Model
7646e51e7dff6a220afdb764fd62252427bbee52	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	Subset	False	Passed	Model Under Test Equivalent Model
84d6235d67047c0e35afc047939209b8cea64aa4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	Subset	True	Passed	Model Under Test Equivalent Model
96444aea2d74e6249d6df81a37a4c093a2463f61	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	Subset	False	Passed	Model Under Test Equivalent Model
1c0d9e4fce04bd77331e60c690e8050fa7a15fc9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Subset	True	Passed	Model Under Test Equivalent Model
fadff56b321f08c5754c30be941f4b9beef8b0c5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Subset	False	Passed	Model Under Test Equivalent Model
3b8c76b6fdb25011bc894bc2485494f8f6893a50	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	Subset	True	Passed	Model Under Test Equivalent Model
ef8fa74390102e4cd7e347991fd1cd789444c0d6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	Subset	False	Passed	Model Under Test Equivalent Model
11807db1db6fab2bc74fe28dd30464df713a9791	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	Subset	True	Passed	Model Under Test Equivalent Model
494f4c7a448dfb465acf7703d9502a34ac587b26	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	Subset	False	Passed	Model Under Test Equivalent Model
d871d2d6d27b61b7158652b3226435d29810775b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	Subset	True	Passed	Model Under Test Equivalent Model
ef018902b476fa37db81d3c9421713ea93202efd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	Subset	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
e8d56622dc66df0128038df9f0043bd4e86907c4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	Subset	True	Passed	Model Under Test Equivalent Model
c1c89ce3852865e0625876eb56abf18972387b98	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	Subset	False	Passed	Model Under Test Equivalent Model
1207c85bb82f594a08e97bcb7393230aa78f3a79	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	Subset	True	Passed	Model Under Test Equivalent Model
ecf2e47bd77c4332629a6d15ba75f73c4232407f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	Subset	False	Passed	Model Under Test Equivalent Model
fabbedd3ddd1b9979451ad083ae9afbb9c4d801c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	Subset	True	Passed	Model Under Test Equivalent Model
f1e6eb70dbe1a617bf83ca1985363264dc0b40ff	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	Subset	False	Passed	Model Under Test Equivalent Model
538356e4098ce29f52563dbfcf94d0aa25f49067	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Subset	True	Passed	Model Under Test Equivalent Model
de1024a1b3ed4c4cf4488f6eeda89586fb1af545	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Subset	False	Passed	Model Under Test Equivalent Model
35e4e41764c66e04fe6677f9d3a0a9e4d98bca76	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	Subset	True	Passed	Model Under Test Equivalent Model
b630eb062cd1375dbc56b757f0f1069cd7c4aca5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	Subset	False	Passed	Model Under Test Equivalent Model
8d85c1fef8448d5b3796cd50659445b558caa41c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Subset	True	Passed	Model Under Test Equivalent Model
191b62b7d07e8ac885962d007954cd342078d438	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Subset	False	Passed	Model Under Test Equivalent Model
80b7a272f26d9cdb5421ae044e1eb509804aeae5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	Subset	True	Passed	Model Under Test Equivalent Model
f7006143eb14284121d8aa2c51fb4e31e6a7a548	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	Subset	False	Passed	Model Under Test Equivalent Model
69f399630fba5cf1ba01da8e7f962ec873892aaf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	Subset	True	Passed	Model Under Test Equivalent Model
8fdd16af11e42db2549e9c740f7c316accf103ef	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	Subset	False	Passed	Model Under Test Equivalent Model
6c9991d9283b3dc90dc488bc4b0e256facf06066	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	Subset	True	Passed	Model Under Test Equivalent Model
7208a570e362f230db3e72631e04458b518d1573	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	Subset	False	Passed	Model Under Test Equivalent Model
3572cd3625eb3e70bbe4b1f05f21dfe0a4c94f8a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	Subset	True	Passed	Model Under Test Equivalent Model
781c8b734eee1eb560333c246f7ca589a8a9ed76	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	Subset	False	Passed	Model Under Test Equivalent Model
8c4ff783305845826ffa94c87ec8cfae324ac7d4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	Subset	True	Passed	Model Under Test Equivalent Model
fcb484dcb36510ce7c6013916a0109f3b4a38901	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	Subset	False	Passed	Model Under Test Equivalent Model
d51ae612c1295244aa29fa33a01ecaf27a30e5f6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	Subset	True	Passed	Model Under Test Equivalent Model
600886da15e97f622a923be29dc7e9085aaa9cfe	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	Subset	False	Passed	Model Under Test Equivalent Model
681229097f4d8c4e19d2927bc8cc576d94cd7a8e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	Subset	True	Passed	Model Under Test Equivalent Model
0c0bbfd61235ae338f9625e8ae6784e1773953b2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	Subset	False	Passed	Model Under Test Equivalent Model
779fe3668ebd2ff14d318f48237ec134a4a81ae5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Subset	True	Passed	Model Under Test Equivalent Model
bf43f76addef55185ec63368ce6d497f4591b1b5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Subset	False	Passed	Model Under Test Equivalent Model
6f2251d986fd042264393f781d34db91e8e8e866	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross2	Subset	True	Passed	Model Under Test Equivalent Model
644147adcb1f5d1bfce41afdb17d1e4cf695bd1e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross2	Subset	False	Passed	Model Under Test Equivalent Model
b7e2087325ee01d27f18a598d67ba595a8d02912	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross3	Subset	True	Passed	Model Under Test Equivalent Model
53522c588e11a84c26d113d063b3dfe3ca82f7f2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross3	Subset	False	Passed	Model Under Test Equivalent Model
f0a4031537d9512eb2041163679e1580f91784a3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunSet	Subset	True	Passed	Model Under Test Equivalent Model
31d6fd53818dbd4f87fafdadaaca3417ea61ac03	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunSet	Subset	False	Passed	Model Under Test Equivalent Model
119892ca079065348d0b8b96f51eff76e4f4d03d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	RecordSet	Subset	True	Passed	Model Under Test Equivalent Model
7dbcb4ffc7d674dc9e7a05e21fdb01351d52b4ea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	RecordSet	Subset	False	Passed	Model Under Test Equivalent Model
3cc40777b35a5af196fcc894c5d648ec1c37d23e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetDiff	Subset	True	Passed	Model Under Test Equivalent Model
1b77f5d4daad1d971975f54fb85d4b03c3594798	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetDiff	Subset	False	Passed	Model Under Test Equivalent Model
8a53bd8977604423e9e7bd9d5690cb662720744c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetUnion	Subset	True	Passed	Model Under Test Equivalent Model
cc5e698c9693885f9c252dd3bd248b4e2b21be04	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetUnion	Subset	False	Passed	Model Under Test Equivalent Model
db35e747b97198ad39770bc34f782353a0df0f33	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetIntersect	Subset	True	Passed	Model Under Test Equivalent Model
4917121f661f7a40e3e3c46222806dbd09d38a59	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetIntersect	Subset	False	Passed	Model Under Test Equivalent Model
3eca2363a6cd7b44c0eb8b4d192f2d81c22d5dad	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SubsetEq	Subset	True	Passed	Model Under Test Equivalent Model
84b43847752e549804e5889fd8aaf5d4f7198449	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SubsetEq	Subset	False	Passed	Model Under Test Equivalent Model
14a3a6db7053754733e4caad5e102a4cb6b18ba1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	Subset	True	Passed	Model Under Test Equivalent Model
783739d2ecc9cc55ee8d7533ddad41b8049ecb44	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	Subset	False	Passed	Model Under Test Equivalent Model
f3878a27ca29e426778f3d6c0a4e361a9cab94fb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	Subset	True	Passed	Model Under Test Equivalent Model
86749fea552b3a18da55425f5d4e335031a1cf13	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	Subset	False	Passed	Model Under Test Equivalent Model
50dc7e52f17d2cd5b0134b84e0418a9e47930bce	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Subset	Subset	True	Passed	Model Under Test Equivalent Model
8fdaaa9bc1662007ba53c62d3854328793524e2a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Subset	Subset	False	Passed	Model Under Test Equivalent Model
4ea0357c7af771a2cb647b9fe6891cd4ef9ad60b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Subset	True	Passed	Model Under Test Equivalent Model
135d3407b554b04393b60c8793115a823ec3fbee	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Subset	False	Passed	Model Under Test Equivalent Model
408f2ed93c1e092834ba4fcdf872d8387ae3b56a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	Subset	True	Passed	Model Under Test Equivalent Model
e70b2bfe58bc6d4b1314d4b7a269afd5b32fe979	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	Subset	False	Passed	Model Under Test Equivalent Model
d3658a5d46bbef09c8353cecabc5ea562282d5be	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSeq	Subset	True	Passed	Model Under Test Equivalent Model
7e649814f29f81b976585d6d001fe8e99c4ea70c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSeq	Subset	False	Passed	Model Under Test Equivalent Model
b67c03e4e130d1d2c72ca089b72be49c017ac912	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	Subset	True	Passed	Model Under Test Equivalent Model
5363ba5f0f2187660b977f9fda62d55dc022f181	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	Subset	False	Passed	Model Under Test Equivalent Model
4b3cfbe84471a89163aca7ce7cee54facef797ed	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcPermuteFun	Subset	True	Passed	Model Under Test Equivalent Model
2a56d0359ba354d769803654d21f6213d8538123	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcPermuteFun	Subset	False	Passed	Model Under Test Equivalent Model
1bd11726aa8dff18dfdc67fcb52f37fceead59a8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	Subset	True	Passed	Model Under Test Equivalent Model
54d1a662f3ac21ea987b6fd4559024c0edc33890	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	Subset	False	Passed	Model Under Test Equivalent Model
a63a741f87fc6f2ad540360ea43dbf89b8453ce0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSetToBag	Subset	True	Passed	Model Under Test Equivalent Model
1a3f5c11d19f970d381d83d960daa0bb8d63c2e8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSetToBag	Subset	False	Passed	Model Under Test Equivalent Model
407e219d089d92e9f5b71f22f47668705eae03a4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	Subset	True	Passed	Model Under Test Equivalent Model
657623b9e4a626ba9b7317b713169cd43461e403	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	Subset	False	Passed	Model Under Test Equivalent Model
bb969fbf7298ae5ba6fe473106882aa178055a70	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	Subset	True	Passed	Model Under Test Equivalent Model
3411749acec6df47ac229462f0b81474049a3ce1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	Subset	False	Passed	Model Under Test Equivalent Model
6f944dee8d780ffe728fbb53884773ee3cef3feb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsIsFiniteSet	Subset	True	Passed	Model Under Test Equivalent Model
1fe8d5d9edf34f896f37b89afbc89c30ab1d154e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsIsFiniteSet	Subset	False	Passed	Model Under Test Equivalent Model
720da8cb5aed19df6d4befb43e8b444b68ebe5e8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsCardinality	Subset	True	Passed	Model Under Test Equivalent Model
5dd57f8ef1a037bece8612afaa8c00a8e28b8ddd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsCardinality	Subset	False	Passed	Model Under Test Equivalent Model
aa8e51baa83ecfd461c9c5be35cbaeb87155b6a1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	Subset	True	Passed	Model Under Test Equivalent Model
7cd9d9896ca2a4a9a43f21975c28e0d16bae284e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	Subset	False	Passed	Model Under Test Equivalent Model

Index

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