Index

Tests by plug feature SetEmpty; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
8cc757589d189a33f667bee8ea7030c6b3f265bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SetEmpty True Passed
6c7b55330c0305989f7d7aaf788ec30f047f6d1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SetEmpty False Passed
f447989d5b8b94d0b45d409e310ea99c6882e443 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SetEmpty True Passed
9396984a7d6181e0ec39b57362ba9d281272a56e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SetEmpty False Passed
029595ee34f4788bfba59c3f07bbe2f09d374c4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SetEmpty True Passed
83117f11d1a02ac344aa7d63c09500e512172fee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SetEmpty False Passed
6ca05e6f823c641f3313215a54a6196f2252fbd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 SetEmpty True Passed
41ae1401874f34a06570cc14b449b0551db4baf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 SetEmpty False Passed
129fdfc08f7591945542c5035fb08cdbd99b756f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SetEmpty True Passed
46980dfeb846fc9335b1721382791db9cbb1dfc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SetEmpty False Passed
7a2e47c90b35674c17f6174f2f8c2caa82f89293 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SetEmpty True Passed
2076366f9f9d2220bdca6674654246a37677484c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SetEmpty False Passed
ae60dfc5ddff10d97b38e9465f29063b24ec4376 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SetEmpty True Passed
68de81127f82c67c4b501c759f4d383c83ec5678 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SetEmpty False Passed
0cabf12b6b98e0fa5ff52b6cfbe9b45031ae75af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SetEmpty True Passed
71591b179ee2c11201150e3345d72a3258809ac0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SetEmpty False Passed
e493d6b2d198d8fcd714cc91af957091f4fb9f04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SetEmpty True Passed
d163af9bea4b32e3289caeaf3cb9120624036bc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SetEmpty False Passed
9d9f4f28b3b9fe86213e52904e14d607bef9b851 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SetEmpty True Passed
1e9cbf5ae9d64ff56a5cca78d6b2ac123be6008b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SetEmpty False Passed
5906dddec348930a17a5f5f99c0f0f559e63570e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple SetEmpty True Passed
7e87ac22b5414413613101c1b9737aa891b127e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple SetEmpty False Passed
134165b181ccbae7082e95c78cb6cf66f3c5c2ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SetEmpty True Passed
c962c39858608eeb50d9a7af6625551f785e10dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SetEmpty False Passed
8ba5f60772998f22258035b4251bca822c07be7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SetEmpty True Passed
711654ea6aa2cc7f85291fa1f05bf47ab97f93dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SetEmpty False Passed
018a3d57b2875aad7207a565ff44b8468b2a76a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt SetEmpty True Passed
0b4ad5d058bf050ee7f56fca66930cf2ec99f1c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt SetEmpty False Passed
4679f3bc4f117771741598a62784f96a22413553 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SetEmpty True Passed
b9bf086cf891c95816c6c69dc0109f59910a87fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SetEmpty False Passed
c8afbf73b0d9af077a3ad23698a638aacc9a6170 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt SetEmpty True Passed
0ff51488133ddec77e0f4478e2e2a30f2f3f753f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt SetEmpty False Passed
6c50e2f1aab1d62b771c556366304fb9eaf95beb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun SetEmpty True Passed
88c1ea580c2e89e52ee4cf726ffbb45bef94892f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun SetEmpty False Passed
3996fe0bde1af3a41f210560efb4ab553316a59c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SetEmpty True Passed
c8098329e67caa6e51b1099bad2543f7367268f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SetEmpty False Passed
b3806d8a9b8bef5afad3bc1aeaee614c54d7205c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SetEmpty True Passed
6d351d36117ef6ee5e640436bd4b82edb1dbb532 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SetEmpty False Passed
ecd77116544ccb1321f201a6142903ec531ecba4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SetEmpty True Passed
5783231fd242e59ca12f322c17a1ce50ce72d500 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SetEmpty False Passed
da7ca51dc39e5cac94cb535f1c54558c9f1810b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SetEmpty True Passed
37d061bcddb483a671d40a3cd89419d18ba4c2fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SetEmpty False Passed
52c266289a0abc6fdbfde7dfc64b7fa0c0d8b78f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive SetEmpty True Passed
f2672691551d98bb2e218320cbdd4e1d317c8820 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive SetEmpty False Passed
04bb8ad9accee6cc0155e9a7fa8d153797f36885 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SetEmpty True Passed
b91176985b7ee6538fbbbeadcdf1ffb63e85ceb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SetEmpty False Passed
300ca1a5ef10f5514088c5f701885b4e9c412cb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 SetEmpty True Passed
bc2e23ad6bbf6b155d3cf5cbf7ac68aae6554658 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 SetEmpty False Passed
27c984cd1b78cd01327bc52d1b1aaf948d352e74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SetEmpty True Passed
51e89eed8dbcc949dd66ca9987ae82f04f87f5e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SetEmpty False Passed
a6c9f680cf7f39343f968ca22c0fc25e74bda005 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 SetEmpty True Passed
769d6ae4c33ff0937ce2949fd62183417321fe4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 SetEmpty False Passed
ad18efcffd3707bee3c296d85d1383368341b18e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SetEmpty True Passed
5e594039c4e5248ee6090eca44fc3c9fb863f422 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SetEmpty False Passed
1d0071182ce8f63a4b2c93ed93d0d237185e0a48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 SetEmpty True Passed
8a07e5f79d954007a2281d81ef21211dae75b815 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 SetEmpty False Passed
8731b29c6333d1c403a4b180b4a17b65ffab3b42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SetEmpty True Passed
f22419f2f4d605cee08b6ec3a45ee0ea7e1025a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SetEmpty False Passed
2396a8e7de315bb47dbe05756f8fabb08b51ee58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive SetEmpty True Passed
d76604436459c9099a00d3e83dc432b635e16411 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive SetEmpty False Passed
8dbdb607b2e2fd1c32ee1985395c68e4e453124f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends SetEmpty True Passed
17e7aff2f918a2a99ed8a7ac1891d97b0d47b7ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends SetEmpty False Passed
2204bd62e37798eee709ea08ab12491f042f00c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SetEmpty True Passed
2cfe01e56b1cd225cc920ce9019df02bb6830062 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SetEmpty False Passed
48019fcc6492d697fb0334452745c93ae8a942e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SetEmpty True Passed
a2aa5eb3590940a2f083a55f94c3d7ad2d834476 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SetEmpty False Passed
dfffbd6f6d50485af5464f88cd46f338bc169e22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SetEmpty True Passed
12dce4009f91d2f2c973a0a6ec171f4f748851c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SetEmpty False Passed
6a4146e10ac77974f14d816ea066645e95cf01e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant SetEmpty True Passed
50d2487c70b532028e1376d28917b3836d2f2a42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant SetEmpty False Passed
354be2a3a5ad9a2e012d2d3fb57c56abb30e2ccb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SetEmpty True Passed
2e8a3e3390d7769769e6abe09138025432d5b4eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SetEmpty False Passed
f6ea0095aaf1fb683a323a431cd8ba1e158bd12f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SetEmpty True Passed
3d4d1a3bf8d32e062cec4af654b80d0139819f58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SetEmpty False Passed
f417550f1fe4805254805ccbac5873bc3d45aae2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SetEmpty True Passed
e51a2c50e391e34067c2a333bab2a80a7f3762ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SetEmpty False Passed
cccb2c9562acea92fcee24f55479c169502e40b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SetEmpty True Passed
22c20ba631100a59f1bddd0ef4bcb3886fc8ac7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SetEmpty False Passed
423c3563cacb2e286e2e81c96d55d4bc649dcff5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SetEmpty True Passed
b9ee0eb2db59b58cf7b0d6f5f9c6a709b78088c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SetEmpty False Passed
ba4d974d0d1364f95d79926c0bb4343636a08ac3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SetEmpty True Passed
69d21cc308eb23f9b425a51971c60b873e34c421 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SetEmpty False Passed
f804084bc4fa68ec0ca0ddce87c5c07486c18507 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SetEmpty True Passed
3f268b388f5c334a4e13385c31923207937d0eda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SetEmpty False Passed
62713d68f6ec66401df2ea21455e874fe61c113d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SetEmpty True Passed
285db012b926be77a8c3738ce38cd9dd4664c533 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SetEmpty False Passed
534773fcaf9c01ba4fd2d1d0b1ef45b0cfd28ea0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SetEmpty True Passed
37902bea4ddf489953e177287af042a3c5c416ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SetEmpty False Passed
c6991bfd6ad0298bf4212f09a59cd58a795b7871 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SetEmpty True Passed
f01338ae4549fdbd90e0e45930009b45efbefaf6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SetEmpty False Passed
6523867c2d6efa5e0e1c5742989909fee4340b0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 SetEmpty True Passed
07949fa7a03c3528202f5f3810dd62844dfbc833 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 SetEmpty False Passed
a560886a9701828879cb6453d309094d7939cf40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 SetEmpty True Passed
e282a08ab4d9c6acbb57aeb2ae615ac6f52c7aee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 SetEmpty False Passed
ae02bea2cfdc6ee39e8ae794587750c6900b9d70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet SetEmpty True Passed
30ebf7ee2c396c1e180f6d22ade11fdac211b5b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet SetEmpty False Passed
a4f7041846df84f3490e3f92226c737216e43965 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet SetEmpty True Passed
15d5c9e78d50a8cf9cb6b8e656ee11f76d15cb58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet SetEmpty False Passed
71c3603600cd0f2728cf01d93957b5057e8a7932 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff SetEmpty True Passed
860929d3bb315a8c2e81c113c2e83a37a9b3c299 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff SetEmpty False Passed
fb8a28c57c6abe5b7a950fc89e7f9fde35ad4f58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion SetEmpty True Passed
9fe6ad1524c020c8395c667233654b6aacb9dd6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion SetEmpty False Passed
44b5933b0d019139e70d04f9645e860585262936 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect SetEmpty True Passed
76a14b174338cf7d3998ae96ecd15f50f8459a42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect SetEmpty False Passed
4485dcb98c54990f5702bb44591966e2a7c3fc96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq SetEmpty True Passed
b7959f6bc4e66dab4c68191402fd080f7d05d761 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq SetEmpty False Passed
ebe4fcc98fe5d6bbc7cf240915399f177bf5c481 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SetEmpty True Passed
9b616e52ee8ef44cb911a6597d030b208d285618 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SetEmpty False Passed
af7f20068564c26e06f4c02243b5e98585020941 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SetEmpty True Passed
225a59e61a85982ee97312c66333ded0c63f3ede TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SetEmpty False Passed
e09bd54f104cc0b445a004ab5241015263133f2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset SetEmpty True Passed
0e4166c9a55cf4df155f29052f640c57db0863c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset SetEmpty False Passed
7333be20757c1f6ea577e0ca3af3824f0e8f3c66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union SetEmpty True Passed
386d8ed402a14006dc93c34cefd802ae1f417f98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union SetEmpty False Passed
2d14c9cf9cea39881bc54a180ea5e1ef7723c2be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged SetEmpty True Passed
4957118b429d5646c7069e9d6206dd34ffdb4591 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged SetEmpty False Passed
90750b79221ab9348257cc3747cdd5cb1669061e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq SetEmpty True Passed
7e38a47e37760a1924b27bbb68060add588e1a09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq SetEmpty False Passed
bfb761c1b22a623b3538322ffe7553783687057d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SetEmpty True Passed
ab6ca387a9c11fb28992e482a33047edc9607a09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SetEmpty False Passed
ad5db220050bb2f0473855c4f6857a5e6ae69ccd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun SetEmpty True Passed
1649fdf261fb4ab0b081c3d765382334b6e02ba6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun SetEmpty False Passed
a770d2fb3ccb2e775794b1d79fd0d3e394fbde00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SetEmpty True Passed
c1449fa96b534996545d2f387f1f7025edb79015 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SetEmpty False Passed
cd78380b6bb1c1101f3c4fe6f9c9e2f1ddc5d53b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag SetEmpty True Passed
a4eafbad371bfe5f3d7da9c8fb7d5d7feb58586d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag SetEmpty False Passed
240e5a6795e28c0315cb72642f950927a7bf6e56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SetEmpty True Passed
ce63cadc29b51dc4b7daf15ad8034a20739c3da3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SetEmpty False Passed
36ceab1a837b2ec26d138cda1e7ef9576d622a78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SetEmpty True Passed
ab076a15d7226ababb627a2af4f6286cd267c322 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SetEmpty False Passed
c66def4312bef238285920fadcc048dea86df32c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion SetEmpty True Passed
9ce66ea84ecb0949013cf20a1cc067926d099f7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion SetEmpty False Passed
6f42c4012dec3398efbdd68ab7a23330ca923fdd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet SetEmpty True Passed
5ed8ea5a740c7fe28091604152dffea2b4b7fe95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet SetEmpty False Passed
20259c3ca752cc49d466e71d75b2c8ea9a0a0122 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality SetEmpty True Passed
0c2be436f486184c4dbf715108f98253586c6d50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality SetEmpty False Passed
b17828d0fa4a6f0991d3b1a503e39a70c3228cac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SetEmpty True Passed
ec1bd7971b4ef25066918196a3bbcc5840cb3592 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SetEmpty False Passed