Tests by case feature Lambda; CLI Option: -workers 2

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
b6ef391d2d9ebc9c3c374ae068fe405bd3464a87	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	OneLineComment	True	Passed	Model Under Test Equivalent Model
b2328970809ab1ee781051bce1655dd5626ea05b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	OneLineComment	False	Passed	Model Under Test Equivalent Model
1b82757ccf2c2aa89114c7d50ed6d89ed02b6268	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	MultiLineComment	True	Passed	Model Under Test Equivalent Model
1880a1f3f579a7dae1bc6273e9f6bffe6cfa8dc6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	MultiLineComment	False	Passed	Model Under Test Equivalent Model
6b6e0924f73d5e210fee8986ce84e226f37369b2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BoolTrue	True	Passed	Model Under Test Equivalent Model
388140d596ab4f7f102fcdde694501f4b7039a71	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BoolTrue	False	Passed	Model Under Test Equivalent Model
55ea663e5de8f9629338f74901e294eed8b2e6f5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BoolFalse	True	Passed	Model Under Test Equivalent Model
19bcad6481845af85658e16d137fbadd7f3cde70	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BoolFalse	False	Passed	Model Under Test Equivalent Model
ae1ab69c8db047f117bd5e640054f6cf1ad9f9ad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BoolSet	True	Passed	Model Under Test Equivalent Model
250d17659940d8f66fc7f898cbd0f10f0ae3b5b8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BoolSet	False	Passed	Model Under Test Equivalent Model
68d9ca6a80a5c849ddfa14d947b6324716dbbc05	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	And	True	Passed	Model Under Test Equivalent Model
5601dea6c002309bb9d0eafb1cb0a42f6e31ed07	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	And	False	Passed	Model Under Test Equivalent Model
1a4b5cb4ba7d8d3369551431e7bce93f6eecf1af	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	AndMultiLine	True	Passed	Model Under Test Equivalent Model
6f2aa3c13f626ddc4ca2e60ad84f95447ddb5997	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	AndMultiLine	False	Passed	Model Under Test Equivalent Model
7d18913d83b9a4229071849aadce900eaf00b40e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Imply	True	Passed	Model Under Test Equivalent Model
63885d252578ec912f6087080c578b6edd189cd9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Imply	False	Passed	Model Under Test Equivalent Model
0c74aaf3f9e014e8861958e6686f802981fa21ce	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Not	True	Passed	Model Under Test Equivalent Model
2e13d034e54a527ebdb2ed5ac1a88a7331093a5c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Not	False	Passed	Model Under Test Equivalent Model
3e62f6b9f94e11868c41cf14716670fa88b36fa7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Or	True	Passed	Model Under Test Equivalent Model
cd5fb6f4b39925530b04edcd66b101eb2911e0d2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Or	False	Passed	Model Under Test Equivalent Model
dd52837b74205eb4741eb3c458361be99abe5f00	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	OrMultiLine	True	Passed	Model Under Test Equivalent Model
65f3a6d79dd9624dbf96a91087e88354a24d99f2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	OrMultiLine	False	Passed	Model Under Test Equivalent Model
bfa00bb82e87a76385cc6e40c55c98b4a914d318	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	AndProp	True	Passed	Model Under Test Equivalent Model
1119ea3c0cb6d1bdee2379f7ece2f7215d55439f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	AndProp	False	Passed	Model Under Test Equivalent Model
096ad187e70eed40ce4e09881636c5e01543c379	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Boxed	True	Passed	Model Under Test Equivalent Model
9a6a8466218c965a344f4615cd41f6f7a6293b3b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Boxed	False	Passed	Model Under Test Equivalent Model
8d7444d549e4cb9b89d1192ff203c90d5c1d7150	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Eq	True	Passed	Model Under Test Equivalent Model
aec83ce2fe0bbba3ac7bb0c8c7ba5757a35907fd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Eq	False	Passed	Model Under Test Equivalent Model
649d079b4084842cfc9576e0669343b103c8d834	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Ne	True	Passed	Model Under Test Equivalent Model
fe94b0c1d4b457eb53c7f2f4d7878dbd3fcdfc8f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Ne	False	Passed	Model Under Test Equivalent Model
ffb7827fb9ec03e308956d04c0f36e3d8aa6e048	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Let	True	Passed	Model Under Test Equivalent Model
9add9f54af3059e4d3262db9d8e3151aefd2ef1a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Let	False	Passed	Model Under Test Equivalent Model
c6991bfd6ad0298bf4212f09a59cd58a795b7871	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	SetEmpty	True	Passed	Model Under Test Equivalent Model
f01338ae4549fdbd90e0e45930009b45efbefaf6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	SetEmpty	False	Passed	Model Under Test Equivalent Model
fed8d54e5117faf9fef6af5c94684751d72d1585	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Set0	True	Passed	Model Under Test Equivalent Model
6b81ec175ca419b39f4cc1f3c6d9fcde1b9df52a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Set0	False	Passed	Model Under Test Equivalent Model
1137d8f7886f3ef265a0743893a14741f2aae1ed	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Set1	True	Passed	Model Under Test Equivalent Model
918751d42ed47e3c7ff11dd1e824695f07a35a56	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Set1	False	Passed	Model Under Test Equivalent Model
eb382fe52d8391c96ead276b474b8f7b2c58e09d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Set2	True	Passed	Model Under Test Equivalent Model
250deaaf958076eb6aa99c394dccb68d7dd3ff9f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Set2	False	Passed	Model Under Test Equivalent Model
76d7216671886ba24664a17f70b4a620542c002d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Fun	True	Passed	Model Under Test Equivalent Model
049667cbbec60de894ab65ba4a30616a901aa10c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Fun	False	Passed	Model Under Test Equivalent Model
bff129ce811b7591c97fe4b169ac7d3f860b1c66	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	In	True	Passed	Model Under Test Equivalent Model
4e2a1ee7f1b530d53da1c3065a11c2a13f007d40	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	In	False	Passed	Model Under Test Equivalent Model
498644c57aeecb484badd5c0c69670b471d05d4b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NotIn	True	Passed	Model Under Test Equivalent Model
fb7a3d22f3a9316feb07a608d7e820b16d77fc12	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NotIn	False	Passed	Model Under Test Equivalent Model
28fa0ddd989a7631a2300861477816f77961cc2c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Exists	True	Passed	Model Under Test Equivalent Model
0ced0da02a2c608d1ec11b0ead4d178ea2c50fe7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Exists	False	Passed	Model Under Test Equivalent Model
537d4ea6cf6ffe134b0b693881ef06986267afab	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Forall	True	Passed	Model Under Test Equivalent Model
6c751f29101826a38dd44c3f9d94680d8bdd4bca	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Forall	False	Passed	Model Under Test Equivalent Model
3528ef67d3b393fd79f92ce28c0c0aa3bbfd5189	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Choose	True	Passed	Model Under Test Equivalent Model
d9d67347ac35481bc1d686ca1c196f2cfbb879e6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Choose	False	Passed	Model Under Test Equivalent Model
8c8c435bda3a3fb3df0d2dde6f19c554f08532ea	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Record	True	Passed	Model Under Test Equivalent Model
8b071ed76da5402f8af001a15f54467acf55da1d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Record	False	Passed	Model Under Test Equivalent Model
c7d67d34a3d923b8db48c57285e45b94c3685355	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Tuple	True	Passed	Model Under Test Equivalent Model
794199a1d2a4c2f7508188dc83a1c6f3e22e6b77	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Tuple	False	Passed	Model Under Test Equivalent Model
57a839d24336f6df15606c735a90e1cc4752d115	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	TupleEmpty	True	Passed	Model Under Test Equivalent Model
b939b8d01d38a650b91d165d4613e11bb48af135	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	TupleEmpty	False	Passed	Model Under Test Equivalent Model
3a6367afc60a55e38c3b3b946f6a696916b1275c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	FunApp	True	Passed	Model Under Test Equivalent Model
0a251307dc8097de16493a9d430bc970f50b8566	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	FunApp	False	Passed	Model Under Test Equivalent Model
c62b2bcc80a3ea7992c94b16d9de20b60b026b3b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Prime	True	Passed	Model Under Test Equivalent Model
4f904291073b8912dbdb8732c0a79a1683d39ed3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Prime	False	Passed	Model Under Test Equivalent Model
7c9acd97cf99f5c0291ca965952bf10d5f44ab54	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumZero	True	Passed	Model Under Test Equivalent Model
d5ed058831dcf473b04494d7b8591f4f2418bdbc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumZero	False	Passed	Model Under Test Equivalent Model
ca6875bcb7b8baadc453c667ee9e5bcebd090518	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumOne	True	Passed	Model Under Test Equivalent Model
692d7c9c849967902b0beeb06d93a38174f26806	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumOne	False	Passed	Model Under Test Equivalent Model
768724cc55142e36a664ee97064311703e339884	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumMaxInt	True	Passed	Model Under Test Equivalent Model
be686b19017ae77fdd9201249e9bf0e6e9048b19	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumMaxInt	False	Passed	Model Under Test Equivalent Model
fb527ef04498b4d4c0a8358f9bdf5aa648485e2d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
68caf393b5d62ab96dc3f3086c535e7f3f2e1719	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
753b109e21936f9c49b63aa8ebfe18fd6a684296	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumPlus	True	Passed	Model Under Test Equivalent Model
c2927bd77e7a386ec225452b4aaa3750cb0e6330	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumPlus	False	Passed	Model Under Test Equivalent Model
1e4a7636db9609206ee3a4deb0f775f60e3309a1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumMinus	True	Passed	Model Under Test Equivalent Model
a8bfa9b1d705aa249ffe31564c33bbc91b6a4b46	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumMinus	False	Passed	Model Under Test Equivalent Model
a8a99a4a543c1e0a4a4de68638b26bd8c6ced99d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumMul	True	Passed	Model Under Test Equivalent Model
30c8a1dc7b745c737d26b7a90cbdfc768965580d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumMul	False	Passed	Model Under Test Equivalent Model
5be06da98a594a565cba9503ad897f31e87e26a9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumDiv	True	Passed	Model Under Test Equivalent Model
7e2537ad808f1933807d508e57e7418ca813066f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumDiv	False	Passed	Model Under Test Equivalent Model
a9bf803cab9f9392207875142fc183b6b5f3e000	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumMod	True	Passed	Model Under Test Equivalent Model
ed860b6f5ceae8b4406904a62084a2554099acbf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumMod	False	Passed	Model Under Test Equivalent Model
0531d348755a55bafa590e47cdd8a8cf31a76c79	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumPow	True	Passed	Model Under Test Equivalent Model
f1097d81afef09e9757efe4650a7a7cb6708f43f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumPow	False	Passed	Model Under Test Equivalent Model
caac601820d75f3f8e1da2ddb4d6391c3cfc1f2a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumGt	True	Passed	Model Under Test Equivalent Model
7b6c57794f191ca25f700b4f4a8497d46f055fb0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumGt	False	Passed	Model Under Test Equivalent Model
7848b37096c329072e9a5b16c3b53136f7235973	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumGe	True	Passed	Model Under Test Equivalent Model
9c80087fed4e471639e79415ca59507ebb83ce3c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumGe	False	Passed	Model Under Test Equivalent Model
409aebab7d881641821467280f64c744f5d7faaf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumLt	True	Passed	Model Under Test Equivalent Model
6c147840d42e05f06f35790340a3867bcbdfee7d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumLt	False	Passed	Model Under Test Equivalent Model
c8fe0e29e98f9cd1b345416ccb414cb391971eab	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumLe	True	Passed	Model Under Test Equivalent Model
c8cc772ee5bd0689ccc33182fa4a5b54e0e5c2d5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumLe	False	Passed	Model Under Test Equivalent Model
c12abbb70feeb4862daf1171f153973a75380088	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	DefFun	True	Passed	Model Under Test Equivalent Model
04715d0bf271de1556d2a7c174209ac2a2155412	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	DefFun	False	Passed	Model Under Test Equivalent Model
b50f8c355e1ec2d07aacccc8344e56ae46000f5f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	LetDefFun	True	Passed	Model Under Test Equivalent Model
60ef7b4e353293a98980693dbcd187c14cdf0c50	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	LetDefFun	False	Passed	Model Under Test Equivalent Model
ff5d584f9445d6fcec4137baee4b1f953fd53f05	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
4d574ed6148a68ca1ee703cce41121bf5ce8cf5d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
c223ebf7171ea465e22f64a4882182d8ed810879	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
188e6a371ca9fcb6d777d474db6ef6ed97b33141	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
5726dd8d1b80a19a7793ea124a6fe0654433471d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Def0	True	Passed	Model Under Test Equivalent Model
b552162b8dd936b1426ca18e25f0867dc0953314	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Def0	False	Passed	Model Under Test Equivalent Model
61f0bacf711e01386a5d85e2303c2dcdaf97769a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	LetDef0	True	Passed	Model Under Test Equivalent Model
a24214198a1c456b343cf87bfe3aa3f87c6be84b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	LetDef0	False	Passed	Model Under Test Equivalent Model
dbbc5911e4845279a3d7e1f0269c3c2061b31df2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Def1	True	Passed	Model Under Test Equivalent Model
b272fcd65d029e1157283b8f63128ab182948f4d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Def1	False	Passed	Model Under Test Equivalent Model
10798b2b67836ce6ffc7da5770e3d9cab105054a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	LetDef1	True	Passed	Model Under Test Equivalent Model
5ff1ecc177ce318e94985766d61814aeb3935da0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	LetDef1	False	Passed	Model Under Test Equivalent Model
23401dad482e74a44ee265d7d6652e0f5eb58581	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Def2	True	Passed	Model Under Test Equivalent Model
e6037028e2681ccfa60b6320ab12ef84b1d8795a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Def2	False	Passed	Model Under Test Equivalent Model
f65ec52aa9efcc90f4548904bf09b9dfb7bd393b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	LetDef2	True	Passed	Model Under Test Equivalent Model
20a26ea6a245ca4f30c86dd54f28b22fd6695fb3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	LetDef2	False	Passed	Model Under Test Equivalent Model
18201ef81cc572e606bee9fd48b513980f62bc80	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Def1Recursive	True	Passed	Model Under Test Equivalent Model
1bb95272c87e8ddcbdae6c4b6aad59559ab3a180	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Def1Recursive	False	Passed	Model Under Test Equivalent Model
7792b88912daadb9f489324456dc55d2f1e47091	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
4847b8542e0a99a0bbf6e1203acac74f41d2108a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
cae9ddbe945f1aaf8edab959d2088c4585199429	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Extends	True	Passed	Model Under Test Equivalent Model
9b91ffc05176452a2247213684ff677a746f8a92	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Extends	False	Passed	Model Under Test Equivalent Model
9e5886ed733a03668e5d9ca40840e6671bad17d8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
ea5075de5b71a949a07a53eac2c90e6a3c843c25	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
d9f50aab40f062de083c19994baa284e163d9afc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Variable	True	Passed	Model Under Test Equivalent Model
b03ec027dbec5a952f161a8e46120313b0fddbdb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Variable	False	Passed	Model Under Test Equivalent Model
6fcb979350f4b99b3acf071b15b5917d116d2162	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Constant	True	Passed	Model Under Test Equivalent Model
499d00fd6acf6512e1cb03d97ed8fac6d5cfb47b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Constant	False	Passed	Model Under Test Equivalent Model
b6c85029e4d70ce9bae5b3b9a17682fb417071fd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
49887c98bfa53f55bf90c15e40d574a30314fd23	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
df21ba86d17babc98cae77c5886a47ded88f0d93	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	ConstantRank1	True	Passed	Model Under Test Equivalent Model
5bff05d5febf0dfba16e2f914c38ca788023bb5c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	ConstantRank1	False	Passed	Model Under Test Equivalent Model
f09f324f739c6ef92d708f9c8ef94e54c6e2db1e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Instance	True	Passed	Model Under Test Equivalent Model
29b91be121af1438d1752539cb1012b0ef91301a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Instance	False	Passed	Model Under Test Equivalent Model
1c23c3bcb98ffd865a876a652b3fb06758a051b4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	InstanceWith	True	Passed	Model Under Test Equivalent Model
2aae4bbe5a938f1b17a1f91a2ba013eedc565ddc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	InstanceWith	False	Passed	Model Under Test Equivalent Model
3c508c173803a9a65945ab44a3a8b032b1431380	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	InstanceNamed	True	Passed	Model Under Test Equivalent Model
a03d3c46a447453831b538f4acb930c12f8b1a9e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	InstanceNamed	False	Passed	Model Under Test Equivalent Model
526063cae53a2b1673349f3df83eb8184864be01	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
d8fdce10a25a6a65cf36366226edddb45067c786	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
d6f46c8ae91b14e847f777b28326c094ad824da4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
29547626d43b40f2b224ff1612d5bba472191d0b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
f6a2e05df58d4358b0fb834462e17630c3a05b1f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
dd742d560c1b76fef319256e5630994c510851d4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
382e4f18762331527a7f29deb54df8bd4bdf1b57	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
de79813e2463391ca9e28865a26245dd980cef9f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
885082ad5ac4dff44159c0cf82fe34bf8dd6bcf6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
976f5f33bbc429716d4c9d2d793c15281b7267f2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
13f29f4a1feba66bd86a5236f576d6943721b4a6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Enabled	True	Passed	Model Under Test Equivalent Model
b6085ca50c12a3e97302b06c1446f24f470607a5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Enabled	False	Passed	Model Under Test Equivalent Model
d7b6dd5d7a73c8101f2703f4fa955b6941db93ad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Cross2	True	Passed	Model Under Test Equivalent Model
7435d37dd39214acbdfcab1c78789fe4a0ad880b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Cross2	False	Passed	Model Under Test Equivalent Model
b4d644d85363e31318d796c26b5245a479cf54e5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Cross3	True	Passed	Model Under Test Equivalent Model
ab612322225528efae257a51fb7cdd5646c2fbc9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Cross3	False	Passed	Model Under Test Equivalent Model
df21d8c2157d74162b463807113f5744e5d32283	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	FunSet	True	Passed	Model Under Test Equivalent Model
95483ea73f438c7d5522bb6df4595f3c53ac6516	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	FunSet	False	Passed	Model Under Test Equivalent Model
9f856793042629c2a06c971258b20477c60db4e1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	RecordSet	True	Passed	Model Under Test Equivalent Model
88688ac67375a4da6d9eb0e9c8c0cf32b8fc942a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	RecordSet	False	Passed	Model Under Test Equivalent Model
8cadb376d65e03ce558190e4207d81293fcfd429	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	SetDiff	True	Passed	Model Under Test Equivalent Model
472bc9014724582028a05b81378593790197d42a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	SetDiff	False	Passed	Model Under Test Equivalent Model
d6316ecbe4f16b41d99816e72d7d78fb61f68110	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	SetUnion	True	Passed	Model Under Test Equivalent Model
c493a03ae7edb8dc7273c6346adcd15e4d3c703a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	SetUnion	False	Passed	Model Under Test Equivalent Model
3ad29f9f0e78e0406dc16f9c9d7a45007903ae1f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	SetIntersect	True	Passed	Model Under Test Equivalent Model
a9d286530904e5e6f981d83e81d130926ecbe8d5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	SetIntersect	False	Passed	Model Under Test Equivalent Model
a11cb1163350b717133f45b597f9053302e1692d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	SubsetEq	True	Passed	Model Under Test Equivalent Model
69282be547c6c2f493084e65bad18da7fce556ae	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	SubsetEq	False	Passed	Model Under Test Equivalent Model
0000811bb8118d111c2af8e56c92570d4f8447df	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	IfCond	True	Passed	Model Under Test Equivalent Model
3e6d18ff73860ec94195288eddbf7a66c92772a3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	IfCond	False	Passed	Model Under Test Equivalent Model
a83629dcf6ba4575722aa8f670ebbc25d86a9d78	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	IfThen	True	Passed	Model Under Test Equivalent Model
4afef608fb38d15001ad9266f373bfd278c71c63	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	IfThen	False	Passed	Model Under Test Equivalent Model
2714603bd3395b6d497ee855b07b5908e6ec0dc0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	IfElse	True	Passed	Model Under Test Equivalent Model
b9f070a40506c711307145c02288ec3b3ed80672	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	IfElse	False	Passed	Model Under Test Equivalent Model
2dc3ac00490bcd27a36dc2df1f20b5d1a3c07ef0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Subset	True	Passed	Model Under Test Equivalent Model
48890e5d93e65d0788f279667f2530830388c3ec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Subset	False	Passed	Model Under Test Equivalent Model
129e81b25c4b1c8747a1ea7322b888e31db9f2bd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Domain	True	Passed	Model Under Test Equivalent Model
abfd42264ed8efe3b6602940b914bd8be8ea1d7c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Domain	False	Passed	Model Under Test Equivalent Model
20106ab15d82ad47a5a590c17baacf98104fbe1b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Union	True	Passed	Model Under Test Equivalent Model
76266f9c8741a339cef084ade39002bd52369c39	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Union	False	Passed	Model Under Test Equivalent Model
fbbfde12d6656abf6a64b0ae925ae7b471398b11	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Unchanged	True	Passed	Model Under Test Equivalent Model
fae0a2eda79955cf5e5d2dd9cd225af3d81c5d91	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Unchanged	False	Passed	Model Under Test Equivalent Model
1f813a830e21dd2cee5fc65c5f260fb232fd3bbd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Equivalence	True	Passed	Model Under Test Equivalent Model
50139f7c3097d93423969c6aeb30c08cdd50f249	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Equivalence	False	Passed	Model Under Test Equivalent Model
0f7f069d7734fa9d1bd90474e76778eb8f0c6ba8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	StringEmpty	True	Passed	Model Under Test Equivalent Model
13dd4826c7216c181e460ccd0ce0449869893cd4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	StringEmpty	False	Passed	Model Under Test Equivalent Model
df3a276b0449287275a7b13eab23bc9d62298504	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	String	True	Passed	Model Under Test Equivalent Model
b377d47adbf4cec962f2577f9ac9901381f5bcc1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	String	False	Passed	Model Under Test Equivalent Model
19487f482d5155dbe84bf1c940502f596d9c42c4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	SeqLen	True	Passed	Model Under Test Equivalent Model
f624862e0566551318572b3c0df22674329e70e7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	SeqLen	False	Passed	Model Under Test Equivalent Model
60e58da70af6f7f8a6608e87b81ffa084e272874	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	SeqConcat	True	Passed	Model Under Test Equivalent Model
2d6380aa5ef7bf370597ed717b94005444c63260	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	SeqConcat	False	Passed	Model Under Test Equivalent Model
6f3b719fee362010a982528d1712d314b1197466	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
71b361a754ee3035311660f3717ab196ba764ab0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
3f0c863b12fa3135f4a05416d6a6a65d7a5fac93	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
dbe54f5788f485103fbf8844367e0fece9685cdc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
01ab171ec0801a8c668899c955f0bfd6537036e4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumRange	True	Passed	Model Under Test Equivalent Model
6adb06179e43a6d7609abea07a9bfcd7ced3f53f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	NumRange	False	Passed	Model Under Test Equivalent Model
a4934b7fbf793191558f2b3644b7567376efe10b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
89ba86cbf4151f4068c05080376adcb492e0f126	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
402462389bb0f4e77db798318fe77b83bd58f81a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
a6559e4f5e8186ccc5c3b9dd9051fa9fb8b420af	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
b6f903e848871dba48f8cab2fa468bdb74d77a62	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
c9755bbd51e5a0230c9c5c95da2ddc6090802501	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
50928e101d8a2679f6fc4cc3c9ea7c9e3f75f0da	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
c1a8ad29b9d96b0e4f95d0e630a6a5dbf151dc44	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
76cb394a222703dbddf678bc8713f0ad9d369c15	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	TlcEval	True	Passed	Model Under Test Equivalent Model
1174cea9bb07398882b913e07671b0d5d817250a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	TlcEval	False	Passed	Model Under Test Equivalent Model
e5aa8de5191319f04fe79936de9af3498f4ffab3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BagBagToSet	True	Passed	Model Under Test Equivalent Model
8cf84f341489bc0fc61224d3eee3ede5a560b0b0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BagBagToSet	False	Passed	Model Under Test Equivalent Model
768910414596656d64e1cfbbf3ac8b0d04a63eea	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BagSetToBag	True	Passed	Model Under Test Equivalent Model
c1c18946c3690bb1d963e54e363001c244330688	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BagSetToBag	False	Passed	Model Under Test Equivalent Model
e9f302e6a53de7a5edd5c3fa610c9953e7122bea	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BagBagIn	True	Passed	Model Under Test Equivalent Model
fd5a7162539841063b79e4b5e835c7508bbb6de2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BagBagIn	False	Passed	Model Under Test Equivalent Model
643511c26b8a053322a1429399e86ae340cf0d01	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
e45fb658c8f25d64b94c62ab04ccb549f6cd5123	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
019ef2917b4fdc2b612278e75903234c297e19ff	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BagAddBag	True	Passed	Model Under Test Equivalent Model
2528c45b45594db000f94bee225bdd06ca8ddfae	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BagAddBag	False	Passed	Model Under Test Equivalent Model
d9c753eb52e48e1d39424b85f271eb7b84a7278a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BagBagSub	True	Passed	Model Under Test Equivalent Model
329830cc57f04f966307007b652c8a29db7e7142	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BagBagSub	False	Passed	Model Under Test Equivalent Model
81bb04b515580e170f54f28c8f27c4bb996c3f1d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
b42eb542ba47c29144695ef902ca58fe614a73b6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
6f8fb527f6a4f5650066a26fce7d939bc5f5604b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
9c5a3bfc07f84e549664e65db98b5a026183d66c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
c098b787d1060ef8b2a3f0131c5c4e3a51c67ba3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BagBagUnion	True	Passed	Model Under Test Equivalent Model
4bd47f632a5140c23725a76d41cec039ea66952d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BagBagUnion	False	Passed	Model Under Test Equivalent Model
29c39a3397b8e2a6f737ebae10010f75c188ba9d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
b66ded604a05835ee1675c06a004af0fa3fcde2f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
6326fc8912d056b07b78f9dfd85efcf4fb67d69c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
fbce58b2360967bffe7cdc2a87ed265ab72de96b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
fb1324a28b9560ea75da18da018f8cdbb3577ff5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BagSubBag	True	Passed	Model Under Test Equivalent Model
2306d76964cae9f2c0958e4d0f55c4a97f66c94d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	BagSubBag	False	Passed	Model Under Test Equivalent Model
6658b042d498426ebfca2b31bebcd208fc3f4c70	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
194ff595abf1fca4fba296be4dcfd5d4a7138e24	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
0d1dc08cddcc52befa03e29d772890d8744337a9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
7258f7f6ae14c287b93ed36a981dd465616ce063	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
d1c85128bb4dd2b69684901e3f09f3a253e0f738	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	SeqHead	True	Passed	Model Under Test Equivalent Model
200b599c14c90bed092ee9d03cfbf8a2971bfb82	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	SeqHead	False	Passed	Model Under Test Equivalent Model
02799c41f366fe033dfae291ac95aad11b96f48d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	SeqTail	True	Passed	Model Under Test Equivalent Model
f6d5fbb5298c164690f838425ea0cd373487a53c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	SeqTail	False	Passed	Model Under Test Equivalent Model
a6efb9e16dac07688f944d42f199e515f55a9fca	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	SeqAppend	True	Passed	Model Under Test Equivalent Model
031572dd76978084ee3bd1a931f6ff61619e0f10	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

Tests by case feature Lambda; CLI Option: -workers 2