Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
7fc3a24a32798f92c013c1fae1aadca241e06161 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder OneLineComment True Passed
caef5a9c9ec0224b0f1f1878444016f9e70762d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder OneLineComment False Passed
27bf4817135e479a6f32cd13a3ffee8ea2174ed2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder MultiLineComment True Passed
cd8b78c0e748f74ebfc50615d38ccc654a267127 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder MultiLineComment False Passed
7b7dbc5460863e5807841821c9a3dfb6e7d457a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BoolTrue True Passed
d904b8b0e688355bbbdb291d2f69eb070943ca3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BoolTrue False Passed
de20ae06f481f241ea81e98cb8e5c5f6f83799e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BoolFalse True Passed
398421ed80dafa4599bf6e3f8f73a748ef6b4ba5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BoolFalse False Passed
a9e24470889ea6e82f0f7fccf639ad0a03548950 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BoolSet True Passed
5e9b0673ff664bd0fb48d2bba01aabf7be203586 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BoolSet False Passed
186c8813bb0b8d1f5c761e912dbd40ddaa0da207 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder And True Passed
26bffa440298ed273649800299b45a519e5cfd76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder And False Passed
396022d0e5ec7269e310c748abb8f2d548c4f7b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder AndMultiLine True Passed
d1e2a04b0afdf2513042dbc4af033f716abc38f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder AndMultiLine False Passed
1f34e64bc93acd40167113269fb960683e744de6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Imply True Passed
522aa489a078d35936b530619392c8374ead1a1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Imply False Passed
9c2a617adf2a1232ecb210c01104d24e23e60496 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Not True Passed
657bfe6a8d27875626ec75cc575a82d737f260b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Not False Passed
78bfbf1a0eaa1c61e26a33ceca38d1ffd65fe0c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Or True Passed
83a21a804e1b28002a52592cbfc7b0dc5ac6a628 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Or False Passed
691d540570f9450818d62408c0a28050814d98b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder OrMultiLine True Passed
d41a06be5fe308694a7eefb3da0d4c8d4bad522f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder OrMultiLine False Passed
2da0b4312c5f7684e2a6cbaf98c1b805f5e2a36a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder AndProp True Passed
1da563b5d4debb0c09e0683e9af98efda5f9bb5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder AndProp False Passed
0612b223b9fe363c574a0beae7a5e7f2b769ce6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Boxed True Passed
d2dcd28a7fb8d107892bcd43719b212e8a04a6eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Boxed False Passed
73cb63bae064726e77855bd32dd6562ff4697965 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Eq True Passed
46d1258f191f8e4c42a12b62b37662e6dfd002cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Eq False Passed
b4b72472909d100358cb627a597b84b5d4219f94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Ne True Passed
caefa7b576b1d5404aa95c85f7ee0603f34c523b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Ne False Passed
4c16d8ef1fe6beeff0660a9125719ffd497c974f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Let True Passed
cd80ceae8da72f555119bcccac5ca86dfa177931 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Let False Passed
f7ca8f9cf7f05f88f730552b2fc08b0bc164f5e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SetEmpty True Passed
7bb83b9c7b82ce17a25df742850483bc4cc8208b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SetEmpty False Passed
4fc4c6f282e1e237766d252980788052f3f3b70a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Set0 True Passed
30cbfdae916e54c5ac237b9faae472b8231703cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Set0 False Passed
99ef67327a4d98a9dff7883c37346396d9c101ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Set1 True Passed
7edd26ba5bfa6137212b2dc9546a1b4677d603aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Set1 False Passed
090ded5077c64df1cb53b6d0127295b6da34bfe2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Set2 True Passed
0f63d18442872d26e55557e08e81dfd27f14f9e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Set2 False Passed
1dacb21272478ca121309b4ce8efd7ccce1396fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Fun True Passed
6414bf1b45cdec3c611b6a53a53a6d699aa8823c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Fun False Passed
d094b3199b2aed1ca327608ede537e962f80bcff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder In True Passed
482929c3bdcbbcc3638081f209c66a41471c58d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder In False Passed
cf66377bb6bda79ce15d4e064abc989e091ec31a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NotIn True Passed
1d074fd3f8a87dd95373f8e1394913fe7a7ff203 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NotIn False Passed
46a22be8e8cdc92b238652a937bd4a003123c813 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Exists True Passed
7d40c0e1e32d242afcd907f12ea8487a56d77e9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Exists False Passed
e4ef22f4141f8a0355972b9f0a92475260a96c75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Forall True Passed
96a6f0678071eee2698c3ae840c9be0d5f0b2d2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Forall False Passed
f9210d9dc0f8aef53b207a3c0682984fdf5e6fd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Choose True Passed
e08095871f2530af24dc840386198b55bcedf71e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Choose False Passed
f7745f4aa4d40735cc79a656ac7bdfe87737ae3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Record True Passed
bbd8914e5985c4c5eb0edf0904dbdc0c2d5ac6bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Record False Passed
28fa49c17e84b19df945bfe2f67cef683aee13b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Tuple True Passed
d858f5b4eeafdb9d962b5f7266aa3340c7093067 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Tuple False Passed
92c791fba4f1348feff281eda450c11e7310afe1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder TupleEmpty True Passed
1a4853fb3ae1560dbaa3bdfe2f7e19483a26dbe0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder TupleEmpty False Passed
93c4fa4246548a92321d39db0b54e5d272a9c49a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder FunApp True Passed
8f3ec16655e1d9418f5b9e7c2e95ceb18001cc06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder FunApp False Passed
2f225bcf8ff22357990a02d5e4fe4be3e77d5df7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Prime True Passed
c5c0791206fceb22cf962f48e28c2a01e5447b64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Prime False Passed
afc63a29207c21bc8d9b4a34114806a6025dfde0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumZero True Passed
b7394cb6be6d5888c55651d740fa5a8a4a02962b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumZero False Passed
e7741ec88b457808ddf8fe2841bd6c637cd79450 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumOne True Passed
c3653176025628cc6b1d60cbb39dfa5f7a6aeb0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumOne False Passed
c240d1cdb050b99ecea1116d56f7d3872b7fbee3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumMaxInt True Passed
393d3550785ba5fcc76eb2256dc2bb3e88fff358 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumMaxInt False Passed
c0f05cf0b8040be121bcc88a18ba32b772f8bcaa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumUnaryMinus True Passed
bccecd15950aa48486ee4c7bfa05a4f3f120b1f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumUnaryMinus False Passed
78351715126b4debd44fa58de4e158c6b4b9ebeb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumPlus True Passed
7a555f2e92da13e7a8651778026643986718e6c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumPlus False Passed
aef340b4d4290f44b71ee9ddb9c865ecbdea4d18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumMinus True Passed
db04df2c3fd9bf53c7c5af9015b4288573eb79db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumMinus False Passed
506d7b415762ab928492eef68f08d1a766648cd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumMul True Passed
f3606a2ab2242173f166c0bf3e01ee20224f1eb8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumMul False Passed
5d9a397a56f0719ac2b3c5f52f7645f9d2f4fbcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumDiv True Passed
9f0ec70c2f57a08a77bdb4a27029ff62cacfb5ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumDiv False Passed
7668af4c12832a0496c882bceee35bdbb9fe7c35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumMod True Passed
457dba31c534620015e197d5017e4b83b4908292 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumMod False Passed
6906b2820781fb76ed2c6c4b90a44085de61e8c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumPow True Passed
81316d584812a26ec3046091010937d6c0d39921 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumPow False Passed
090ddd2b6b07647588add42a6e6c98a5d991b998 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumGt True Passed
d70179417672bdd6b3417dfe549db3b39741f005 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumGt False Passed
7887dee2de3c96df532cb7a8fda5094a183e8586 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumGe True Passed
9a404a015a033947241cdfd56e39d08e2df9512f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumGe False Passed
ba5180d0c298c6a198715c0f5e465436af8fea90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumLt True Passed
752cce01fd6cbb96f162703a242fa4f165ff68dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumLt False Passed
3cb66dc035c4b27549a08e16e5ec530679f6ba1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumLe True Passed
a63de5546b5346cc3b3f437f79e19fa56df11edb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumLe False Passed
9d5debf022696de4a285950257429ebeae45203a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder DefFun True Passed
4eda60bb06bb942000a7946825697a160068cb92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder DefFun False Passed
21b1d8e4218ffd5acbd4bb35528f191c83d6182e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder LetDefFun True Passed
6ddd70296fb0eeba655cdec50b6d547258817074 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder LetDefFun False Passed
447ea285d59cd0d6109c2933a79b00851fad7e4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder DefFunRecursive True Passed
e181556a37ffad626c63cb4f40b3dd2c5b039282 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder DefFunRecursive False Passed
c0b5bca593e27a817fafe3456d891e49c8ab8443 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder LetDefFunRecursive True Passed
15b4460deb0ad543f429889b69349ae3dd734bad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder LetDefFunRecursive False Passed
b2f3b7f0cfa39848cc15ee585f9511dc56bf1446 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Def0 True Passed
fbe0e07e4fb8fb26aa61e26d5e08d5c6a3c1d537 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Def0 False Passed
903df29f549a3d83f38614e2be0379295be71524 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder LetDef0 True Passed
8dce0a80209f8f8110b024f4945ef979efac0206 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder LetDef0 False Passed
9bd7e295dc5a4b662f1de650fb75698b690981e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Def1 True Passed
848887b577bbc8c8148eb424a9a315af6ea2b9eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Def1 False Passed
63860bde881ee815a94afa69cbf32d577feeaeca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder LetDef1 True Passed
6607720d07d7b35e6516049e9f418796433a0b8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder LetDef1 False Passed
3328b4011db9169ee2b44d2f7e172e1a8330ad55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Def2 True Passed
1b703b455fde0e8cafc2cd54099d2ae9662cab27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Def2 False Passed
64607346f4e1df5ab40fcf29844504246ad352f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder LetDef2 True Passed
9e7be2633426d44c36f9eff196f0516c87f195f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder LetDef2 False Passed
0ae6fae09cd6d9d97f2a963add6414054ba377e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Def1Recursive True Passed
7b66725c31f64f16ba6bf82148bbe9e4880573de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Def1Recursive False Passed
70d4e2c3e4b49faa2a9a76b3f9094ddc37572ec5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder LetDef1Recursive True Passed
8166cad7b11d6c48de067f1263a66a1778f7f97d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder LetDef1Recursive False Passed
c0471d1a2bec833ec6b1dfeee2572d35c528d7c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Extends True Passed
2f86cc83fa2140e587bbf466b38b44d3219f04dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Extends False Passed
68f735ac836256f796315ac1554c00b524668add TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder ExtendsInDifferentFolder True Passed
61e71e86c019fae079d1fd8f30d75a7e8d6ec216 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder ExtendsInDifferentFolder False Passed
3e6ebd4dcfe9b3a27a800cd38499cd79a4bb63ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Variable True Passed
53eb43d7c4973bc7fd385b348d83e904e02463c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Variable False Passed
fcf12ba3405f6aa154554910e46e35b0fcd7cd53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Constant True Passed
ebd2ecfdaaa391cc3f1790613b41e80fc96751cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Constant False Passed
8c43cd586d4f0d46f7c7fd916696265f757eeeac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder ConstantModelValue True Passed
e923a42208a912b57a5fcbfba82acba0fed746e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder ConstantModelValue False Passed
cf5da42730bc0b8391286949fa3af30147b91930 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder ConstantRank1 True Passed
9f28efc3e718fc4c27bcdc227c768514609eb03a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder ConstantRank1 False Passed
50efa4eafb2a24232f89702c0fe08ff201f96514 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Instance True Passed
a4d35afd5b2ae1e06dc82af510b1cb5dfe5d4ee0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Instance False Passed
4cd4e183aca404f5b094865470bb1a1179ea55bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceWith True Passed
eabb0e7464fa9e15e32bba17401b84d0b3e7fc9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceWith False Passed
4c7c3526adf01f2641a88913bc7d13bdd7bddf50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamed True Passed
fc06095cc023266f7dc2b8fd1276a6626932aa35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamed False Passed
3b741423800be88762338a42a2588cd2f30cfd4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamedWith True Passed
2479692088a05d576f0edc540b052840d6d91000 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamedWith False Passed
e5f5d139c7c1a33e65424dd77fed985a032f83c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceInFolder True Passed
0274d608965304e3ffeea953ca13170e3056b4a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceInFolder False Passed
0d9d3d7a7a967dd9da0db357b853c45a2c329122 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceWithInFolder True Passed
f6d40aa552db053ab42d3ffbc1c183b0215a8bf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceWithInFolder False Passed
3f1c404e5ecfb456d0818793d3b82cf239cec82f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamedInFolder True Passed
36d1a2efd4a1eb0e6aa0fc89279b1e70ec5bb22f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamedInFolder False Passed
9221c4155a5e0f916ae1fb0cc0d0f287593cbc16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamedWithInFolder True Passed
1d21ab78ec428f5202dbb874c7aa3542b669970b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamedWithInFolder False Passed
8c87bf2cb3fdcb0de3c60a1159ec02631b6b6d5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Enabled True Passed
d8f9b2aaeb7f36ef0c12d18ca1354bba6f717ece TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Enabled False Passed
8b14ab0804f55fcc2843a29911bf6ec3eb54b93b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Cross2 True Passed
ea865893c485f830e04435183d43e7a2d74c209f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Cross2 False Passed
d21fd4ad53ee3a572657fa4b5cfbcea299648c92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Cross3 True Passed
fd16c3d945d6e690c4ece3e91580dfb106074716 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Cross3 False Passed
028e8d79100665d215580d2f69e3eb11a94bad3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder FunSet True Passed
6a34b4b4830de4354bb43b7de96fb0f212bce78a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder FunSet False Passed
2dd03fd52c5f007050afeed019c0cf71125b8ea9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder RecordSet True Passed
cc037b5e4109ad2a0304c6161da1086f1e6d5d42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder RecordSet False Passed
406b1ab131685130afab02ccc764dd86a5428508 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SetDiff True Passed
c1e338517a38437747c4760c935bd0b5d00caa5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SetDiff False Passed
251c0317434ec86647660ce1d6b66d327378bfa4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SetUnion True Passed
83d6b459305304d7a8ed8397be6cef0e13d456e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SetUnion False Passed
9f0d3e1044c8fc908c48a3515bb41f18538babda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SetIntersect True Passed
3ca66ec5f47c054a53b72e131e4ce485ce23d63f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SetIntersect False Passed
193344437f0ae4b67ae96c3233f85783dfcbb42f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SubsetEq True Passed
72b57b95492e5e284d3f6b99f40b0731b617a69c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SubsetEq False Passed
aeccce8790fe0aec94881e27fc19f6f74687ff51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder IfCond True Passed
169610805db930897249ec5838c9c1a31a58cdd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder IfCond False Passed
46b683de82928c585f526b846ffb7f8baa986671 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder IfThen True Passed
590ce6acb194ab73f644d44b15abb37f3179d7c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder IfThen False Passed
efacbf798f9015ec328c752d046eae0c87f42c43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder IfElse True Passed
f0fb7bcde81f8fb93b1a62beeb0193a7c42e6aa3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder IfElse False Passed
e8d56622dc66df0128038df9f0043bd4e86907c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Subset True Passed
c1c89ce3852865e0625876eb56abf18972387b98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Subset False Passed
9c0022a32d685162f8217f1b6620addd7434bd68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Domain True Passed
43d8ab2a9f2f3c99713a952d27093d523dc3e369 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Domain False Passed
f937502bd55ca201708a08b4e18bfc0d92e0661a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Union True Passed
8bdbaa7b8d0596b490c32634f58c182c50a92360 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Union False Passed
27cf8ee989a45d351fcd85568023698c8dcc8501 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Unchanged True Passed
2ba7ef90a2094d4f71e252ade37be60b7f68b5ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Unchanged False Passed
8fd5ae1f38e70db42895256d8f0129f60f184d65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Equivalence True Passed
aaabf2903a2805f8ce092d87caf3e79df97e2beb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Equivalence False Passed
5987c1da0cefb88eed54578c87540a015e4474b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder StringEmpty True Passed
4f2b343d9acbe055f5679aabdec769336649a40e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder StringEmpty False Passed
23e76361f81c170929cf816af93d8d059c3bff63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder String True Passed
c05646689701934bda93201bbb2eddefe0c44fc9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder String False Passed
956510ae4fa66ccd71f80b16a91a891c5891c1c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqLen True Passed
d384afec2ca64524e21dd9d7a63b59aceab130e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqLen False Passed
dad6c36fdc22d6e889067a83998bfe20ed9181dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqConcat True Passed
a74ec3820380fcea8282b57aef69dd4cd1eb2c97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqConcat False Passed
fde19911c532675dbe4a5b51c8a632315ea4e544 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqSelectSeq True Passed
0725da71ab7cf5aacfed073e9340053ae2d9c143 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqSelectSeq False Passed
05a539f6c5e2874d9dbb0c456546d0e2a69bc702 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqSubSeq True Passed
1b4e3ee4aaa9eb177ba4d86919155e24da6e1529 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqSubSeq False Passed
01b35fd6a3139c91d449e4fe928c0b1473521b3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumRange True Passed
fc7731ec7245b11e17e8532e8663949d130f58d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumRange False Passed
48d7352eaee8a5ae7275b619ad963c3bbf919e67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder TlcSingletonFun True Passed
4ff54e93c24dd5afe06072756612b6e720bbb6a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder TlcSingletonFun False Passed
20b1d162521f6dbd245895919f60bbd34b9726ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder TlcExtendFun True Passed
f1ee4008e2f3735bc5ee13cd7cac00c1d167f555 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder TlcExtendFun False Passed
25a20679a78972c6a267576faef78a9d1e8691d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder TlcPermuteFun True Passed
87f401e4294083d90a3fcede21d8e4323a71ed4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder TlcPermuteFun False Passed
f315933ee02ab029f44ba9cf4d098bd81140244f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder TlcSortSeq True Passed
9c4a0f82915313564a2c0f9d7fe3c6ed9673a905 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder TlcSortSeq False Passed
9237056a8e8dff0b0a8bd4d8d155570dc2c7d370 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder TlcEval True Passed
337a9f85884a26658c52c9e9c801f92b338336d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder TlcEval False Passed
3657ed26581ad7b78051fa8caf1070576f50a98a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagBagToSet True Passed
2927091be3636598f8e12d8207dabe496f50ceca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagBagToSet False Passed
77e9561e0e4fe161137e3488e079427fa17c80b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagSetToBag True Passed
07d1d79c1e1bb82445a9a6a489927607cf69cb9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagSetToBag False Passed
83751a60b8b6bc38f5c0986d1d0174fcd26b8db0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagBagIn True Passed
0167d34c73d15fe347b03635cefa00dfb07f19ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagBagIn False Passed
987674639ba304a27172d9887f8e526f186a1046 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagEmptyBag True Passed
239f9743fdd313ead09480fa722374e87697de8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagEmptyBag False Passed
85ca8b723019adcbe9f3e857d2f0491d4e599e07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagAddBag True Passed
9437052b0c1d151da6a9b182d4cdf8f94af8d22b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagAddBag False Passed
f2c2cdad39d70d7b617979c474e8255b67f4b4ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagBagSub True Passed
4f3a13e4553d3196e77d8409ac6103de7b0dcb70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagBagSub False Passed
390f570dfb8074bbe07d3b230f8b51aaf36287ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagCopiesIn True Passed
144fd921f036ba86ab6f6da89be770897a15b129 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagCopiesIn False Passed
3d540e81648e9856a8dd7d677a8ba7142ee88810 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagSubsetEqBag True Passed
a3e06d029d12cd742fbe4604a953acb8f4eee281 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagSubsetEqBag False Passed
b063047d14fd386da6b240d12ca53c4b1f3a1af4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagBagUnion True Passed
34246d492d7accc0b0a6104dafc32cae11a45470 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagBagUnion False Passed
42faf2fed8ae6054a650bf2b5f5497a3ed231a13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagBagCardinality True Passed
a540b5176acdca4a3d12ade66b223a8b19e5d35d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagBagCardinality False Passed
efe5c35c29fbb1cfcbb0f6db1321274d61bb0166 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagBagOfAll True Passed
a526e45de1fbcdb2c4366053c9ac45d34f6c2be3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagBagOfAll False Passed
9063ad02cbfe6cb8dca90502bc39efdd22dedd71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagSubBag True Passed
01ca7551170cde8d3532b8ed3aea7321bedd6622 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagSubBag False Passed
3641f7aca15b5a969592a23deffbbb97f9222e84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder FiniteSetsIsFiniteSet True Passed
db9dbd4bcbf19b9e202e712d14cfac6a80b00baf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder FiniteSetsIsFiniteSet False Passed
6dfdec656f849589751b24e74f86803068c49a5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder FiniteSetsCardinality True Passed
f211d3ba28a6f524fe9becf5373029569896f275 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder FiniteSetsCardinality False Passed
b98f0641dd79d386af133e1665a2b35ff64d86ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqHead True Passed
5d108e50cb50e1b636011cb9eaa24ccfc50e6881 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqHead False Passed
eac3e664ebaaeb0011ec67fc906dfae9a4d90257 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqTail True Passed
289f15047e7f580bcd9d1feec9cbc5752cf55976 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqTail False Passed
b2d2dc207ac28e53aa5a7c1f02f67d37bb739eea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqAppend True Passed
5627be65a52eb83942546e3c70a2ba814c7bfb10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqAppend False Passed