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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
5cc535181e8f4768a8404553c2e763ece0885cf8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	OneLineComment	True	Passed	Model Under Test Equivalent Model
96a2f7b13fce4b120d75f579b054b62c0583fbe1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	OneLineComment	False	Passed	Model Under Test Equivalent Model
c5c782a1ce3fe365730d594dc3ae8fc71e956364	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	MultiLineComment	True	Passed	Model Under Test Equivalent Model
3f25406b6d7a15148ce9a49fd5406413c7652d5f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	MultiLineComment	False	Passed	Model Under Test Equivalent Model
b0ddc1ec738691980860e6a0264037213cfebf2f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BoolTrue	True	Passed	Model Under Test Equivalent Model
508641c7c424c50f04c47af20c802c4391c8cee1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BoolTrue	False	Passed	Model Under Test Equivalent Model
cba615f98bac9a377b560e1a3b195d242cfb473a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BoolFalse	True	Passed	Model Under Test Equivalent Model
7200244a050e43baabeeb3b59aca6e3e61e294fa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BoolFalse	False	Passed	Model Under Test Equivalent Model
4b2bb52e0ca115ece8b5e743d2f5ca37944f0e6e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BoolSet	True	Passed	Model Under Test Equivalent Model
a582d3098e8476e778acabef0c012aaa3a9d6603	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BoolSet	False	Passed	Model Under Test Equivalent Model
9a4ce6d2ceb053e4a562b3a6bf38c1cc23589181	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	And	True	Passed	Model Under Test Equivalent Model
e881db8df284c5505d740508099a45843bb92a47	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	And	False	Passed	Model Under Test Equivalent Model
71e767bc2f99697bc9e980be1213ca05ed43df58	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	AndMultiLine	True	Passed	Model Under Test Equivalent Model
b79f5fa80385b366fd2b00f254c3bb7b7f6b17d9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	AndMultiLine	False	Passed	Model Under Test Equivalent Model
f158473c348c91ec00e405186b9b10c5121b8639	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Imply	True	Passed	Model Under Test Equivalent Model
6e87daede6b849bc22093a24af168e51e8c1f37f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Imply	False	Passed	Model Under Test Equivalent Model
6f23bacbf43fd48adb22af67e24d430744746df0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Not	True	Passed	Model Under Test Equivalent Model
e07da9088c7b6a49c4979bf193c0044eeb8c83ea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Not	False	Passed	Model Under Test Equivalent Model
7747ce8d0b4ee8a0789d451dc1a99f9768a05ee9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Or	True	Passed	Model Under Test Equivalent Model
bfde20900cc60fe2ee62c46f8546d1c6f032ced1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Or	False	Passed	Model Under Test Equivalent Model
7e70e9bcb5a8dc6ef2aa30f432921d69fdf8c4fb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	OrMultiLine	True	Passed	Model Under Test Equivalent Model
0b9c5184228dc6b6624d38d0c55c61affd601553	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	OrMultiLine	False	Passed	Model Under Test Equivalent Model
f443f32080d67d2eb9221551d4128dfa5fb7571c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	AndProp	True	Passed	Model Under Test Equivalent Model
7f4b764255978eb7e84ba46d9a8ba1e0c3da3067	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	AndProp	False	Passed	Model Under Test Equivalent Model
e25a2839b19ee88586c385ef4bb59cf0aaaab956	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Boxed	True	Passed	Model Under Test Equivalent Model
a6c0600765b8b12518ec78dd5822f63804ba6983	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Boxed	False	Passed	Model Under Test Equivalent Model
07637a8025d151354c620205b9051960a51b67fa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Eq	True	Passed	Model Under Test Equivalent Model
1820146ac25ca6bad9389cc87cce847996164a64	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Eq	False	Passed	Model Under Test Equivalent Model
b2e4339a52f01d609cdb3cf61db458548a67d522	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Ne	True	Passed	Model Under Test Equivalent Model
491fe72b1ffc4581ed94951a588a62225242a8bd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Ne	False	Passed	Model Under Test Equivalent Model
a3d8824afdb506c73041a14ecbf7e2d0b140a740	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Let	True	Passed	Model Under Test Equivalent Model
3ea120965282f7355a262eb61e565b7ed73b3d4f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Let	False	Passed	Model Under Test Equivalent Model
ce495ac9c75a69c8fc42b7722b4ae3eb8d2b0a25	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	SetEmpty	True	Passed	Model Under Test Equivalent Model
f4c8b3db42e318c46664736835e7aeaa460d2e97	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	SetEmpty	False	Passed	Model Under Test Equivalent Model
f5c266c7d80a06e63da6b76fea83b1934df0ff4f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Set0	True	Passed	Model Under Test Equivalent Model
d1597682f243db4c9037942e46522180d21822d3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Set0	False	Passed	Model Under Test Equivalent Model
dc28a07d8940127d2583fb47a3324efbb4c8de6c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Set1	True	Passed	Model Under Test Equivalent Model
d8edd1c9c0362ef284b9deb23b2b607d7351ddc9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Set1	False	Passed	Model Under Test Equivalent Model
e2d9e15d5f3aa237ddf0cd0dd2e5840233bea024	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Set2	True	Passed	Model Under Test Equivalent Model
3f68c7a759cde3eeb95caec866d62ac5897af2ac	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Set2	False	Passed	Model Under Test Equivalent Model
e25d6e55d6c0efb758eec007d7f89c3fa923b5db	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Fun	True	Passed	Model Under Test Equivalent Model
5d0a6c85acf5c944436d7decc162a6efe6677b48	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Fun	False	Passed	Model Under Test Equivalent Model
1cff38a6cf26e271e5e233f52c007b0d719454b5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	In	True	Passed	Model Under Test Equivalent Model
59261181647b1129cdee77e7935ebbce68c4bd63	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	In	False	Passed	Model Under Test Equivalent Model
cbf9ef892ca029352105971937c7f3ea31ea48ff	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NotIn	True	Passed	Model Under Test Equivalent Model
21ecf4de6fdf1509c3eb215a460bacd4cdacbdd9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NotIn	False	Passed	Model Under Test Equivalent Model
2354df84ddab423eebe97ff33c5d3ed49ead30bc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Exists	True	Passed	Model Under Test Equivalent Model
b0a59350f3eba2d1e0ba6327b44335663879d79a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Exists	False	Passed	Model Under Test Equivalent Model
d66e02b6a8851a3c916cf28416e4c714eda64217	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Forall	True	Passed	Model Under Test Equivalent Model
e447a5dc9e499e16dbeac5faa2c898708c45f8d0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Forall	False	Passed	Model Under Test Equivalent Model
218fa92f08ddc0ef65f0d684277f71c4af4ebdd0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Choose	True	Passed	Model Under Test Equivalent Model
93a8fad05823b6127e7088130a39f4c0439a0a82	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Choose	False	Passed	Model Under Test Equivalent Model
f522e3973b85024413569b4013e4b2ffd25b0f4e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Record	True	Passed	Model Under Test Equivalent Model
6a84d70613142dedd86415304e5f432500dc105a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Record	False	Passed	Model Under Test Equivalent Model
f50d6616f64b2e5cf12c7cfc02701e6729c2a109	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Tuple	True	Passed	Model Under Test Equivalent Model
67ac086451be12d70c8a92a686f1cc7a3a24a992	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Tuple	False	Passed	Model Under Test Equivalent Model
4e04b2b5d4502697c940701ce21040f2ad865d2c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	TupleEmpty	True	Passed	Model Under Test Equivalent Model
80ee6b730afac77b69827bc1ef4a64dcf32b5f07	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	TupleEmpty	False	Passed	Model Under Test Equivalent Model
3a267ad1ec93217eea9aa6394e7dd67455e38736	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	FunApp	True	Passed	Model Under Test Equivalent Model
80c2d78ffc1e320637545bb6d289486809c5dee6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	FunApp	False	Passed	Model Under Test Equivalent Model
3053ab16fd1356040257ea5cae3046f614006ef6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Prime	True	Passed	Model Under Test Equivalent Model
92d7c26bbd317ad80a73eebfa08f221c5b7cdb08	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Prime	False	Passed	Model Under Test Equivalent Model
ff6b3f92044d5d6b26d0f2769241a1268c568dec	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumZero	True	Passed	Model Under Test Equivalent Model
dbc6dee12459ef2d1af9826b37ba044aa27fee54	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumZero	False	Passed	Model Under Test Equivalent Model
dc05b61c3e1d07eb849ec0854354cae6cd3963a0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumOne	True	Passed	Model Under Test Equivalent Model
fa3cb15a15369d3cefbf07d6ac9444d8a81aeff1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumOne	False	Passed	Model Under Test Equivalent Model
0d6cf1802245d252dfc51f8cac696f05a09b8174	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumMaxInt	True	Passed	Model Under Test Equivalent Model
80679e70457deac0ad74a69dc62b2e41ffbea515	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumMaxInt	False	Passed	Model Under Test Equivalent Model
626a6b1fec2e5f0e5a2022a70b453ef0f7c7cc0a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
ec4ea6c53f6ed3b531b7f33a9ffa343e90ff318d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
fb52a98ef2b512b3a6f3df8cf8ce7045112a19d4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumPlus	True	Passed	Model Under Test Equivalent Model
1d4405deb491e6ff63ba16bbf4e32a7063272fec	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumPlus	False	Passed	Model Under Test Equivalent Model
193ba5f83441798c0d8992d1106f96a52cccb1d2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumMinus	True	Passed	Model Under Test Equivalent Model
ddeeaecbd3411cb2284a2a95ef43e90a46620a02	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumMinus	False	Passed	Model Under Test Equivalent Model
00462b868060fd2d2ea98ddecfd0b317c792366a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumMul	True	Passed	Model Under Test Equivalent Model
f8dd47228184575818b5122ec3f5a21658094f94	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumMul	False	Passed	Model Under Test Equivalent Model
a4f807ead705f153d06f746ee446b39d72e5f213	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumDiv	True	Passed	Model Under Test Equivalent Model
c1b51faabd095537fbd871dd47537da6f821be95	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumDiv	False	Passed	Model Under Test Equivalent Model
bd00b46069ba6393a07e7c422641fcaf60f2e321	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumMod	True	Passed	Model Under Test Equivalent Model
fa89933b41f95583afd55a0585468d928d3955e4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumMod	False	Passed	Model Under Test Equivalent Model
9d66eaeb9c38c31c199f7b17951f9b840f95efc7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumPow	True	Passed	Model Under Test Equivalent Model
2cdf21ef6e3bb6080707dd106732188cb70cece0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumPow	False	Passed	Model Under Test Equivalent Model
714dbe84ef7d13fd8d35cdd6da8c29f30e291937	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumGt	True	Passed	Model Under Test Equivalent Model
9c019f361b62db5a1e8b48788986311872986195	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumGt	False	Passed	Model Under Test Equivalent Model
b6a5eea588e5676452fdd78c2ecbc8c0c8a4a16e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumGe	True	Passed	Model Under Test Equivalent Model
df214af658ca1fbd819d132a638a58cf404be1c3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumGe	False	Passed	Model Under Test Equivalent Model
d5874e1603f87a53aa69f2161219a3606c53d5e0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumLt	True	Passed	Model Under Test Equivalent Model
d67b6bf3fe0b030998a9f340215420a96c24a0c7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumLt	False	Passed	Model Under Test Equivalent Model
259f03fd1eb8ee8ef544b1b168819225c68fdda9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumLe	True	Passed	Model Under Test Equivalent Model
d640910e77580b7c1024a4fc74158ff75a9431ae	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumLe	False	Passed	Model Under Test Equivalent Model
4381ccbc2074f10bf2d4a528115763c5f5bcfa66	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	DefFun	True	Passed	Model Under Test Equivalent Model
5aba690576c2086c0d413576d47a9ebb314d45b1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	DefFun	False	Passed	Model Under Test Equivalent Model
ac42e448eb87b46b67bb0b9de667685699b8da56	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	LetDefFun	True	Passed	Model Under Test Equivalent Model
3918bac0e40f00790e7fefbcab07032fd39f6815	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	LetDefFun	False	Passed	Model Under Test Equivalent Model
971980a70e009cd930b555bd1141372a395d4427	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
30d64e23f5d023a88e2df79b995357c93801204d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
a0ea5ce8fd0bc73c73c684ab0ea523a2194eaf42	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
db30c41918018858d7da21573f0c872d9f49e01b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
777a24247bef78197f500d715687c992ea00ba8e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Def0	True	Passed	Model Under Test Equivalent Model
f33cc8b986383d533ed01f645dd08c50fa7db6d4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Def0	False	Passed	Model Under Test Equivalent Model
4031f6ddb10270778b98a6df3fb640f6afd8cb9f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	LetDef0	True	Passed	Model Under Test Equivalent Model
67bea275dfa79272f611bc697e9558639861e1af	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	LetDef0	False	Passed	Model Under Test Equivalent Model
d8b487f92a25977c389ec38ac98937672a07ecf5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Def1	True	Passed	Model Under Test Equivalent Model
81ef382cb3e3fa452c6d4152a99d35ec76cda924	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Def1	False	Passed	Model Under Test Equivalent Model
f22bafe22e0a062bf9122d138ceaef1285b2860b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	LetDef1	True	Passed	Model Under Test Equivalent Model
89b0dedd9db72a9ed3d2f462479179a6a46ab64f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	LetDef1	False	Passed	Model Under Test Equivalent Model
c15ea963546a341822726f562d7d56aeecc44ab2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Def2	True	Passed	Model Under Test Equivalent Model
b519f33003e8ac4b71502e32b78c359c5b3782f9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Def2	False	Passed	Model Under Test Equivalent Model
f9a5d70d8c7a24a6729dcd02b45c2544ff138835	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	LetDef2	True	Passed	Model Under Test Equivalent Model
4abec53d8eed1353910ea2846f7a4f6481b1aa87	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	LetDef2	False	Passed	Model Under Test Equivalent Model
33191a585485657d2ad7715e2b2aff175b0b05d5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Def1Recursive	True	Passed	Model Under Test Equivalent Model
ff63eec263a4d9f24aacd0c81aea2a9dc1f6d552	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Def1Recursive	False	Passed	Model Under Test Equivalent Model
d0dc8578388aaa39c0a8331ee72aa9c7251a9c04	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
03e4a82cfe0e51a86606a84563bd60ca0cc32904	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
4c09ccaeaadaf82908464396aca7e9ae0054c0a9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Extends	True	Passed	Model Under Test Equivalent Model
a314b6f0cbcb1528c312ffff31324fa782bb7c28	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Extends	False	Passed	Model Under Test Equivalent Model
0122398118134553ae38caad80d3a855e8ca3184	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
e869a19223de99a2f103f51086942246144abd48	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
f151098fa57885a0d1a657419cec6e92e1604109	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Variable	True	Passed	Model Under Test Equivalent Model
1319e330b4cc8f9478aa12ae764ef29771da9398	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Variable	False	Passed	Model Under Test Equivalent Model
ba05327a284c94a08208ae1fc110f0621af97887	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Constant	True	Passed	Model Under Test Equivalent Model
57ed3edc40d84b4db89112f780059f1abcd3b047	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Constant	False	Passed	Model Under Test Equivalent Model
d661ae138120e11d998a5e10c37cbaba8eee4ef1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
05f2c966bfbd387741daf1e52776fd8175bba1bb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
81a0f4b80a725216d12a67f17938cf6e783ed84a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	ConstantRank1	True	Passed	Model Under Test Equivalent Model
ea2e936d14b09d4d9c5590f31b0bcac7e7c82ca2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	ConstantRank1	False	Passed	Model Under Test Equivalent Model
0a384c9f1bd2811b049a9c9138ef01663a9c4376	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Instance	True	Passed	Model Under Test Equivalent Model
cff759eaa8ed4db6a782d4bebb11200733f8fae8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Instance	False	Passed	Model Under Test Equivalent Model
da99b6ddcaa3f132c987b8f13af098cb2964a424	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	InstanceWith	True	Passed	Model Under Test Equivalent Model
e61979331c4d3669048045c00725c5f0603cb68c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	InstanceWith	False	Passed	Model Under Test Equivalent Model
2b971247f214b31639892e2d9e3e5421a96b53b0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	InstanceNamed	True	Passed	Model Under Test Equivalent Model
b1446c4bee63a65fbe997197d7fe693049e67e99	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	InstanceNamed	False	Passed	Model Under Test Equivalent Model
724cacea171e859757ff3d12a59b87e4e702fccb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
068593708d264936ea096dcdf3ed68f9d982c2ad	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
b78eb75b5c399709c34fff972368d02be55e422d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
8bc7dc311fcb362219319d01e6bfb5e9097fa90c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
c6a5cd4eac83fbdf3b490c94aad2b0426f2ba8f2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
14c4e04b4b4ba3af3f0408bbca9bef8ee92e0074	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
8d02fd37cea647c1005c0181477d8b214c2a503b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
3a8be8dfdb0256cd2dc19debab22ee300ccf550a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
677261dd2d77be959e44f8000a0ad2348b45f7f8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
9597d821a19c84790bcc2aa10b4614f1e8fc4fd3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
dee4af95b9e16a1f2ef37c5b33f22e2e29176bbe	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Enabled	True	Passed	Model Under Test Equivalent Model
4c5bc98b28259ee670f950721c3f0b44f534942c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Enabled	False	Passed	Model Under Test Equivalent Model
39c02d5b2f3831b7746d5cfe32701d1e784c694c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Cross2	True	Passed	Model Under Test Equivalent Model
5e4ac938dd77f7ab5e68d65b960cfad6ec31773e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Cross2	False	Passed	Model Under Test Equivalent Model
f0821510c8c45bf34307c10794d20abdbd1b21e2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Cross3	True	Passed	Model Under Test Equivalent Model
15e62180156872994c3f34a57e16cbfdc69ab7a7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Cross3	False	Passed	Model Under Test Equivalent Model
216ee7c5eca79aee797b47bb392d722b8887cdd6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	FunSet	True	Passed	Model Under Test Equivalent Model
d7ad763c7e2058d4bbcb9101dbc88dad7567ccbd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	FunSet	False	Passed	Model Under Test Equivalent Model
7e88627269c4883a21101d970fbfaccf65c39344	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	RecordSet	True	Passed	Model Under Test Equivalent Model
643dec0031c4689e5455eaa488a220e9947ff01a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	RecordSet	False	Passed	Model Under Test Equivalent Model
5c35397756da4630cf2949587d38e991431d0fa3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	SetDiff	True	Passed	Model Under Test Equivalent Model
937956267a06e5b2746968b7a6d81841ab935cca	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	SetDiff	False	Passed	Model Under Test Equivalent Model
b4248061d42af8b45041c10865ffd0489601a71b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	SetUnion	True	Passed	Model Under Test Equivalent Model
3c67a81debd2504cd9730033ca107120a5eb38fb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	SetUnion	False	Passed	Model Under Test Equivalent Model
600f6d01b7ceaf74f83e34e207ddec2788dcffb9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	SetIntersect	True	Passed	Model Under Test Equivalent Model
4c089cd048d4078fc671f4b950cad7fafb5a5539	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	SetIntersect	False	Passed	Model Under Test Equivalent Model
31d885097a86d6a494f1b4c76120e3e8b2391362	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	SubsetEq	True	Passed	Model Under Test Equivalent Model
45ae4bdbf22da21b7141361f1bf657d24ade61b9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	SubsetEq	False	Passed	Model Under Test Equivalent Model
e7f833179b4a5ac58ad246ae9fd23c9ace5da40b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	IfCond	True	Passed	Model Under Test Equivalent Model
31f058606be1a919dee0bc8d6468e327dc15b0e8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	IfCond	False	Passed	Model Under Test Equivalent Model
303228ca52da5d3071eccc3fd5d1a10a7c36d194	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	IfThen	True	Passed	Model Under Test Equivalent Model
fc2176d592f873b1bb1b9a6bd7ac4bc62b7fcc9e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	IfThen	False	Passed	Model Under Test Equivalent Model
81aa99ea64507d8b87fa844879b4c750ae809b7e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	IfElse	True	Passed	Model Under Test Equivalent Model
a7e3dc87be0bc6977c2d752e20c3c694bdb97c1a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	IfElse	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
f7d5530848ada5c5e87357b10771c9bf9b434b04	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Domain	True	Passed	Model Under Test Equivalent Model
f24e7344ad8ef6ca3cab9fe313ef454e37fb565b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Domain	False	Passed	Model Under Test Equivalent Model
1b6ff18a4afe6d5234c712d1df3087806a9737e5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Union	True	Passed	Model Under Test Equivalent Model
1fd413639cc362e87174dbea4b826294faaf3b8c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Union	False	Passed	Model Under Test Equivalent Model
bbbb2b5938bdafda7eaed58c9786e514d825299b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Unchanged	True	Passed	Model Under Test Equivalent Model
cb0ca2ac156d7627a9c78fb5790925581ed3ac13	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Unchanged	False	Passed	Model Under Test Equivalent Model
05d35f29c9be63340b2efb381809a80c4cd4913d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Equivalence	True	Passed	Model Under Test Equivalent Model
18c2fb7f09fc3d9808264a9f5c606c251cfacf0f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Equivalence	False	Passed	Model Under Test Equivalent Model
b9859b963cae8f992c86cdbb7ef018c785b27001	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	StringEmpty	True	Passed	Model Under Test Equivalent Model
514c0f937fe25b9ca30637f46bc8eba03298b77f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	StringEmpty	False	Passed	Model Under Test Equivalent Model
55d40a3ecd9820543dcd5cbecf9cdaa5fbfb727d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	String	True	Passed	Model Under Test Equivalent Model
a22f9638069955168c7d296b805df2fe257ad41f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	String	False	Passed	Model Under Test Equivalent Model
06fc612712ad90650ca8e1ffc6ebac5f05f7e43c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	SeqLen	True	Passed	Model Under Test Equivalent Model
a0c810b6a21504c84086864246fe66bfe9779737	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	SeqLen	False	Passed	Model Under Test Equivalent Model
cf00cb9049d76039f85dc4a9942ab7813fd56ef3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	SeqConcat	True	Passed	Model Under Test Equivalent Model
679df03710977cc822ee5bc69dfbf693dfebef06	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	SeqConcat	False	Passed	Model Under Test Equivalent Model
54f27b76d76d343aa4eb2777847159c854effdef	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
66bba587c3e01dc6e036eaa1caced5ed6aebd109	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
30b3f70aac1b923b105bde8a677ca2ed1824528f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
94e0039a00cce6d145e2c7872b9aa71237dd62fe	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
3fdc2093424147610e7a1e69ebe992cca9b1f6d6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumRange	True	Passed	Model Under Test Equivalent Model
bdd22b5497cc749a62efbf269ce69232a1bba062	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	NumRange	False	Passed	Model Under Test Equivalent Model
4416917ff8a30c2dfe6d6d508e7c269e98c165d9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
c790da0fa4f3c899687a386f0c42ca0897bc71f1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
58cb159af548825bc0582895377620d1ed3933b4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
9d19a05ed05905dd32b5e19a12c108149cf4ee8b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
0abaf6fbd64381a31742d7ea33222e980a428944	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
2e24ba5a36cba6cae3f190492bd6263e0da86fde	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
6c9db0fabc3c29d99cefed2533155fcb15ade680	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
a964b7df4a6302e6626145d55cecccc7abb8eedf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
d9bda3077339af8009039c94faa506c07ffb36d8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	TlcEval	True	Passed	Model Under Test Equivalent Model
3cbcf8bd384e823534e1048f1f285e3362d0c54f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	TlcEval	False	Passed	Model Under Test Equivalent Model
22153b8506227ac8f52998516c7cf8934f273fba	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BagBagToSet	True	Passed	Model Under Test Equivalent Model
1b671305ece488ec7b403239e2b78e1e0274021a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BagBagToSet	False	Passed	Model Under Test Equivalent Model
a27dc3f2a5f63859bc8b8290ae312702da99c93f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BagSetToBag	True	Passed	Model Under Test Equivalent Model
b9c397cb5554b65980f72d4d365bc99f59b89892	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BagSetToBag	False	Passed	Model Under Test Equivalent Model
8bcd33a21c22da6007f42edee56b15b7d608d5e3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BagBagIn	True	Passed	Model Under Test Equivalent Model
203ec90a554c145a2ebeb4bac0620ba9f0a44df9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BagBagIn	False	Passed	Model Under Test Equivalent Model
0db2de5e7aaa70110011924fd6c78d5d23f52fa6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
41ca7e295ccda2db1b03c00275c92e13e3a7cb88	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
5da3a2dc6705af31cebfa0742179575bfb4b277e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BagAddBag	True	Passed	Model Under Test Equivalent Model
2c77beb1f7548649c8b9428271b1b2e2e68ae4ca	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BagAddBag	False	Passed	Model Under Test Equivalent Model
14b79408da10ea69679fec88f36768c076d71cdb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BagBagSub	True	Passed	Model Under Test Equivalent Model
87d978da343f73a3fbe7247aec11c24c4936b3d6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BagBagSub	False	Passed	Model Under Test Equivalent Model
f7ed722137741e363d0e81b50f4fc78567599949	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
a3be5f902bb26d6b15ef18c4aca5540b2b681588	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
7c461199f5c216f94e27c3f2fc572276d79b1cf0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
f6e330597d2f5daea8357d8ac533e58a94895513	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
d299bab409ec2265c6ed913b2572cace6f337e23	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BagBagUnion	True	Passed	Model Under Test Equivalent Model
27bec52b48535f97bea0022d5ce630b99a70e2f7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BagBagUnion	False	Passed	Model Under Test Equivalent Model
c4e3f67cb4160e7d247ffeb9f28130f9d667366f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
8029545483a42c3c90b30a8278337d6fd4257b0f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
468eb8088919b8b1716ec1eefe8dffc54ec5b3c8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
94a74f3919f7f01a71d5d5f95e393c8d8a854adc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
6c8894e7ca68d734451ea394bcb21573a1a9dfcb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BagSubBag	True	Passed	Model Under Test Equivalent Model
10881856f12ae3911b9ef7ed370a349539778583	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	BagSubBag	False	Passed	Model Under Test Equivalent Model
7ee1e599e357f469ac129c89dc6f4b7916783ed9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
65f4fa0046525eb6e0322dae67a1ecb20b7e4b67	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
7233835711d0072c284580efc021fb1ee9898703	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
4ccd20cd36d6255ef403b1d3fef225c54a06dd78	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
2e97b615e51917a60ef2333b2fd80005b9d966dd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	SeqHead	True	Passed	Model Under Test Equivalent Model
3ee0c17d92131d3c7f848f6383970e1faa59b2cf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	SeqHead	False	Passed	Model Under Test Equivalent Model
66a543a6ea48540635c28369286b084a6d99f686	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	SeqTail	True	Passed	Model Under Test Equivalent Model
96e938d8159b8dd368522eb307fcb9c60854b741	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	SeqTail	False	Passed	Model Under Test Equivalent Model
fff662fc06c562fa22a8ff5bc883984a8760cb4e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	SeqAppend	True	Passed	Model Under Test Equivalent Model
d17dbce83143670aa533b46322f2056c15a85dd3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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