Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
70d8d7b7fcbc90e928f9fe3a2902b3c75b16dc4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And IfElse True Passed
d345e96dbbfdc7fa0e0028acff211dbe8353417c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And IfElse False Passed
756001ece1a5d7d692e407c3e76140b05e6479d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine IfElse True Passed
6c65df30cda34365069fb315d62cff800e7be880 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine IfElse False Passed
a70c4ff182d79df7d8cdbd783e1d026890b78a24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply IfElse True Passed
b1ad0178fde9359b2b60a810271745aaf3eaa505 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply IfElse False Passed
aa460060b5998c5e051d00a330cefb6c84ba2880 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not IfElse True Passed
4feb0223f52fac913ac8d1ea891dd8836010a26e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not IfElse False Passed
8905c41af81a05c521b2b1f1abdc568194a4cea4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or IfElse True Passed
416e6d3b342a89882d782426eb3ed5422d5bc128 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or IfElse False Passed
090f1c3274068778689759509b2ca6779a1bfb2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine IfElse True Passed
a93b395af3abcbe1203ceeaaabd695b1aadf972b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine IfElse False Passed
1513028efdb3dbf33bcb344e0ad7d75eb9a83bd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp IfElse True Passed
14c63bf868a42030aa2819c94c981085714671f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp IfElse False Passed
8c69313d3a9bb90af54d9d745d4f43d6f52981e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed IfElse True Passed
7d8eed38c1758f0e45c3124360b4d49d879956b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed IfElse False Passed
b07ab5374b95c3651e0a76bc76044604f7049c26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq IfElse True Passed
0b5eef3476e4b8d112f783c133cb481a4b43f736 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq IfElse False Passed
35800a62a69f915a66954cba2d712c187e199c0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne IfElse True Passed
d37dcce596ba69562fd8eb4bd61f2bd1103b25cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne IfElse False Passed
530f033f27207e4235324e86cdc1d11df854574a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let IfElse True Passed
12d12e456d1d40d26b1f5eaf4e98b03b3e7c0588 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let IfElse False Passed
9063eb0c8415ef4d4f6130d578a59bad2f049d4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 IfElse True Passed
b76c51ededc2d0ea218e9ddc3093ec30ec8e7c04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 IfElse False Passed
46cf07ced9de6f6808281780e032f1ed0a282581 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 IfElse True Passed
2d342be09563867e411f672df78f07b52cf95474 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 IfElse False Passed
711fc0fca61a99b55bcce0933a08f2f2c7fb17ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 IfElse True Passed
b6e5dd6b88c5c29c1d570e3df126904ac00370e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 IfElse False Passed
dfb79a1fb500a6df5f9c0e98ae64c248e4a875dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun IfElse True Passed
07a663d22065eac8b15ab61a49f87bcaf74631cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun IfElse False Passed
31784c4ca13e1f5b296ab66be2cb47723a40fd29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In IfElse True Passed
6df4509685c3e5138759f5108ca18bcd9fd39a1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In IfElse False Passed
4c05afaf358a63398a11ae593fb93697bf473122 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn IfElse True Passed
5bb392f8ac0254b279829fd5578bc13310962239 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn IfElse False Passed
cf0b7f41fd4e08aa5be0311c589a7f67e69b62cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists IfElse True Passed
54b4c3368192032fe4b2063b4271fc8314af7eac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists IfElse False Passed
237b4365c9221e3a41ad85bea343b1b6e56ac384 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall IfElse True Passed
6c5cb5ba60600b07d0d258a084bf731d9271e8bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall IfElse False Passed
5efa18ae6a1547d656f65ee3137bb8a9635161d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose IfElse True Passed
b47d80dcfc6c72522a005a16b63fb3626cb83010 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose IfElse False Passed
e3bbfa7bf9b9885c6d0fce1f041e7fe07ee81f40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record IfElse True Passed
c838c1ae76a3f5415023b619888b3ab0fc9aca8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record IfElse False Passed
b5c5d7c62119128de0c4b2e1c74a37997ac4a43b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple IfElse True Passed
94384721cf86be755453a7ff4c41b3b9adff3368 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple IfElse False Passed
d98c2b9e07f73b85d731448c1ec29e54981a0382 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp IfElse True Passed
4a5b97257b1b8e936913d2e758dc00c65c5c2df8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp IfElse False Passed
73a42ae9850ab28908bc5529eb1779747fd3c022 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 IfElse True Passed
3fff70b4525fcae8ce232eea71351067dada7ac9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 IfElse False Passed
72ed1c2e50bb052d83cbbb04bd07cb3ba2d17533 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun IfElse True Passed
f270bc9d70e91ce98f0bddf91228f1a253ae97fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun IfElse False Passed
b537a342420b1e64654e595b7c11ae9af6af236e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt IfElse True Passed
e5330a40b82b44942c964aa35816cf20929bb2ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt IfElse False Passed
b44d00c858ae7923203a6c83f9d41ad2c3f59f9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec IfElse True Passed
a4c926d001d3823e905b2b08599fd64f1933955d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec IfElse False Passed
0d31d691a145227526e9a6c2c288aad87bda2eb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt IfElse True Passed
e7eb1673bce447936cac972870e7cafb690c5520 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt IfElse False Passed
41d94c10fe0d3a5ca3b04f027e51af6065cbcdea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun IfElse True Passed
6cb1011788663bb64da2b82a970b505f632bb4dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun IfElse False Passed
63ca4d9e3a991341719a42a896310fa2b883bc80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple IfElse True Passed
c40f570aadb1c93b9c4924c4616259546cfca7a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple IfElse False Passed
670866e3951d0369e372bfb701e9d6c0ee7aece6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime IfElse True Passed
566c2f6779c622f02be104e1a0e8840a8ec36b5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime IfElse False Passed
fc049e8b04f46efa55582277ecb589633f037466 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus IfElse True Passed
a767175336786d07f4c5e8f97aad947d05d5e074 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus IfElse False Passed
3501ae055eb55e639691a0e58051db52d711b593 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus IfElse True Passed
ce92881cfd78c9942aeb91bec0c9397c9b1d4473 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus IfElse False Passed
491926e7cc49397aed29be054fd8cd98d5e01534 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus IfElse True Passed
a1ed0b5ffe67fab28cb10f66e9d42bb7ad505412 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus IfElse False Passed
d224416f1d2464d6d6ed0223fa6e235148ef217d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul IfElse True Passed
232a65b82cfbadbc2b125acab5d1511b324bf3a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul IfElse False Passed
338ca0051229dfcef25c4cf985c622b4083cd0aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv IfElse True Passed
8970eface06155c760e718e270b9a75915c4ed7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv IfElse False Passed
c0d35edd79d6db0fc2be17ebdad834b9482dda41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod IfElse True Passed
ed8ea58852c4f4d664ac4541c93a6e532f1a8ce9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod IfElse False Passed
626895a7ee59be10f9465a6503dc8a64f57a1f1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow IfElse True Passed
69c64f9d646577083ae2337c3bc0ac7d14b2ea37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow IfElse False Passed
3e514f9a19251e19e38c6c1a7e36dbaecd37b350 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt IfElse True Passed
0f166db354d6be1b0b82cf40cc6313c1671442c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt IfElse False Passed
6a418a19859753af88a4312257c37f334ccad8fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe IfElse True Passed
e76a36b23905b389419c59af1b3df551c9d2fb32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe IfElse False Passed
a47a1f8d1f1c115a08aa1bc437420bf30291fc12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt IfElse True Passed
b6111d368452dc7a9d01780fc39367b8b2c63b79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt IfElse False Passed
79cc057d8a4b1dd7f6ab43a207a3f8120343def4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe IfElse True Passed
ce5b3844df5fba92b73c5039688726f648abbd8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe IfElse False Passed
45b2ea64d49d38f6f1367e367b4de5b5dc27663c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun IfElse True Passed
3e6bdd3049e4ca145f6a15c9861bfc0e017a7e5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun IfElse False Passed
8203450fdb787c03f563e6540bbefb4c15f7fe20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun IfElse True Passed
c3a2e972f0be1b9089ee7ae141e1ed48925c1dcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun IfElse False Passed
79f6a4fac8c14df6e54bfab6068bf47d1ef0dfd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive IfElse True Passed
a3a0756cd88c041d24a90da119ec9c26c497058b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive IfElse False Passed
ae14f72f93fa6995bdeabc85cd337ccb09b2e337 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive IfElse True Passed
f9dab8a662e15e0427c9684c8dfb7b07c5abd4e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive IfElse False Passed
8afc9ae96ddf190bf0007b681f578ae1090641d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 IfElse True Passed
dab2f6c180bc534b865282ff8bd07ce726993d02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 IfElse False Passed
331c4cc79f30964c652c69303ec1e26d70250da6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 IfElse True Passed
dcbdcb33a07ff9406e6b95f63de6ec815bbefaf9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 IfElse False Passed
acc48ad945a60fe6f0da120ba16a3cba477b0bb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 IfElse True Passed
276aa5fe4e799e6825d0fc0f6ebc195660a7d34c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 IfElse False Passed
70cae20e04875b52eebcf9bc298f199e1fdbe420 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 IfElse True Passed
7f5bffe97764c774dc1e1f6619cdedbd07a3ac1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 IfElse False Passed
d00b562bdfd19ecac4e2b61c5b60ee43f51f2ce2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 IfElse True Passed
2d9c8cd5ff6470a9447fd2a89078f756d01a0fdc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 IfElse False Passed
f6085713d114974b047e15bc0cc9c649d4af1072 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 IfElse True Passed
d1fbd578672abce994c1bf423b09f6821fc0f71f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 IfElse False Passed
3bd8d0ac4a90db80f095ff090e62840d84e3c22f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive IfElse True Passed
6ee26d3151d65c23d7471b91721bb5697745cf86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive IfElse False Passed
175ae7fedf214e84e331a5b78707d63b6354e061 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive IfElse True Passed
8095363ad8ffdcc185f1476b28a4e6fa73ad649f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive IfElse False Passed
469e506c2967ef0b9ff7ae695307b32b14e334ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends IfElse True Passed
3ed1f98c0ebbdd68e532f554604020cfd189f035 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends IfElse False Passed
e8c7812928d84dd7cbedb4eeb25f3626cbeec4e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder IfElse True Passed
8bc0a5928e9bc3dc47a800edcc2bbf0d42c7bc41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder IfElse False Passed
37188dd8ec3ae95dc6b7e0e82462e7d9bb9b93d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable IfElse True Passed
772a76469dbc5128642825499a0e5496180e7f99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable IfElse False Passed
2674539e30b11f2c3e6eeac644f047cdf9cc5bab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude IfElse True Passed
f90e9ec8844dd17da149fa9bc6cc167a5c2b2ea3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude IfElse False Passed
b5e8cc4531336b5f3d686a6abfd6098eaae89eb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant IfElse True Passed
b66e091b455b46695623b3652311ae169b80b4fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant IfElse False Passed
470a71a0a34fe4a0b74900df8ba1a6d217ee6792 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 IfElse True Passed
3bbc2f7391c8cc8b204d92e8da9835f3d290ab62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 IfElse False Passed
69edf79a26da7b9c9b8ae77b3cfdce11e8cfba96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance IfElse True Passed
5cfc43b4c59b0505de7d1cfb52cbcd0aa5f0f67f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance IfElse False Passed
4b86e81526f4a6423b7464b970f2185539728d57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith IfElse True Passed
bda4e01feca78a0f7e00b23cc3b901e9285045eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith IfElse False Passed
3b34737056466a636f98234e28740795dc745af4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed IfElse True Passed
f7d5cc6d8ba1ade9604ba5df1549f9df6748409a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed IfElse False Passed
483c7e687b0e6b26502a1e3565ec28ea19110017 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith IfElse True Passed
ee8ff7c1d7520050fd46c28465bf6f3b71d0e78f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith IfElse False Passed
4e9b05b3f92a5c246e13938bf24d355d99304aa8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder IfElse True Passed
8aa8010243f74a39cd2881e0291068acacf86c65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder IfElse False Passed
de705da2ce6ebbda414bbcc0274e490a64fbf0b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder IfElse True Passed
fd193035a2c30f800fb6af162ee16e7809083d94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder IfElse False Passed
15e40870eab62ca2521b08072099a5107bccf8c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder IfElse True Passed
afcb469cbb0fb503f6fdbba1a74749dda7899d51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder IfElse False Passed
8fdde3ee2eceaa7e66bff67cb2d6b5ee321057e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder IfElse True Passed
e7e562f6e12531ba8e8213b1262513780a3389d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder IfElse False Passed
d6267dfa8618773612fdda64a8433b3469f841c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled IfElse True Passed
2e0adde080d1365833bc0c701f4d88f0f07c0953 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled IfElse False Passed
e21fe511cf65c6b4e7b509550194c70cffa5c41a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume IfElse True Passed
81ba053045245620bdb77fcff5dbe443ddddeff3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume IfElse False Passed
7ac9982567a581d395d243559ea43809fd4a75b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed IfElse True Passed
a813c90743e58764ea758f0b009e7e263b60d84b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed IfElse False Passed
2714603bd3395b6d497ee855b07b5908e6ec0dc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda IfElse True Passed
b9f070a40506c711307145c02288ec3b3ed80672 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda IfElse False Passed
d770b658541d8eba171a79a2948bdb6e4d60fea4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 IfElse True Passed
49620e48604ed723eb12088636d2fec798d0ae02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 IfElse False Passed
c254e712178b88719f6e50aebb94d52ac179952a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 IfElse True Passed
95deca4495394215994eba2b6bc6781c6287e8a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 IfElse False Passed
cd0deedd483e6feafdab9c313c417bc37c526255 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet IfElse True Passed
f9bec4eb1f9aa5eb8a80cf330dfd5982a6a37ec7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet IfElse False Passed
a0d249111bb55eeff3549cba88752ef2d960768e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet IfElse True Passed
5a538490629bd89f44f85f49a08d5e9adb2b9d2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet IfElse False Passed
c81540f23ec7c5818ca3b6fd33d80f64fc16df00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff IfElse True Passed
53c933e7a0ddd41d98c83c2ebb2fa085417a9f72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff IfElse False Passed
3b090985a05ecf8945e522240db83df5cd9a66dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion IfElse True Passed
15811bf001cb62d471d1022c40f316602c6dd157 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion IfElse False Passed
064bd96833d16f499afd6e6c86de9cb0ee4161df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect IfElse True Passed
670b64ee40a55b7c96e12d48ed2da0974d23428e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect IfElse False Passed
a92877b104bf999904c62fbfac346ff16bb9c7c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq IfElse True Passed
c6c3bb845b93109fbff9f9fb384a6e98ab9cfe52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq IfElse False Passed
3b2a1903e56c0f69f637e8a4ad26abbc81ef929f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond IfElse True Passed
7b0bb6621e9eabe4ebdc2d573e6881cb78c24cc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond IfElse False Passed
848583eb27a9f5f57af775060a5ac0ddc179384e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen IfElse True Passed
4b975e620793da95c73c63d5980e6b760acdafcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen IfElse False Passed
de1a51cdb22dff3769c164b84c7eed38c9ff7088 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse IfElse True Passed
11d7ffc45fdba0f8580d922857e3c7c3abe495ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse IfElse False Passed
a2286532e934651cf38cbc00e3021ec9ff3ab9bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset IfElse True Passed
43b9b836c7083ce31db99c3ac8fa90ffcd753d01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset IfElse False Passed
80ce168e4405efd7437a50f44e47b75f887b12a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain IfElse True Passed
224bd187e0d4a412508364c5a7201e6e7b592543 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain IfElse False Passed
8f40a7c7523e587e4078d11e95a9907f95e7764e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union IfElse True Passed
682a7cb5107a18b8d4e5701b512b2191e7a1d4f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union IfElse False Passed
675ce686a61288a7648dc7588dd16e1ab136c068 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged IfElse True Passed
948c4f3988a454edd9a6a59609e4d236d700c064 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged IfElse False Passed
3c72d154ad0808d4a331943d0c6879263e1c76c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence IfElse True Passed
0c959fbb7ef97bbbbb0569b24d1cbb983220057f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence IfElse False Passed
48620452c88ff234d32cc82b96584522fd798d5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen IfElse True Passed
5fbd67b6d62cc8f5836a71cd53c863df736fe79b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen IfElse False Passed
28710fc566ba0eb76fd7c1ddc388d594c600e339 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat IfElse True Passed
42b0041b265956aee35c25c455e9b544253c4fcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat IfElse False Passed
113cdc6ce968f6698ff95c313f261f12d8232df8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq IfElse True Passed
a9d1b8959438fdedbbae7431e73d74a1487acca1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq IfElse False Passed
f6dae7ff303f13fc6555b8faea4f040a6279e8e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq IfElse True Passed
5016fdb08a3a4f4bff3b24bf2b71c43957ec774d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq IfElse False Passed
ce249206f1c294cf6f3210e39e8669ffb46174f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq IfElse True Passed
d2e6d5ccb3464605f6493b06a3567bc58ea73b56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq IfElse False Passed
1be0bfdb8c4c2cd9b7b07a9166f17393854ccd4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange IfElse True Passed
dbdbb397b0f0301865cc7ba585253dbacf165fc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange IfElse False Passed
46dcc4f18130c373806dbfd001fccb73b7c5f6e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun IfElse True Passed
1251afb4863526cc08e70cc5d4ddfb961a9c4a47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun IfElse False Passed
e437882b7dd0f2a8b608c009c5bc87cf64ece71e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun IfElse True Passed
c97365b1146a15630c145523b81b956fdf4d390d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun IfElse False Passed
0c4702b5b88e682f66919d90f510f970121240f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun IfElse True Passed
577095cc158d6a17c869e35176fb2c3e34495ba5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun IfElse False Passed
42f2d9bd65c3975c55f303e512747c3a5dbd830b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq IfElse True Passed
f400d4f81065dd77597c9136ff69c6c62e2d938a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq IfElse False Passed
804ab63cd0c14ae85afa7707db0689e70916b47c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval IfElse True Passed
772d66d2c12f5ec93103737a3fdf6a66c3e6f68e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval IfElse False Passed
af722024a786078033735437fff4e7530cfd86cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet IfElse True Passed
b3ba7a526760c2ff5b6c8e35a81f935fad305b66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet IfElse False Passed
a5fc1fcdc2b9e8b7cd7b88d2e8660287b9056317 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag IfElse True Passed
7c00234140982ff332ddf872ea3b1129986778da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag IfElse False Passed
dc4bfdadfc29f3494e90953a91da53512c1285b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn IfElse True Passed
c7295476b1901d6f9e7f38bc68932a293cb62406 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn IfElse False Passed
e2cbc2885eeb6c731ff0f2182b6cee2f4cdc1763 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag IfElse True Passed
f58504cd119930ab49262d980d91d7e73f534bf0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag IfElse False Passed
89e6367068c37203b374d85f8130f299f5366b0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub IfElse True Passed
4dc1a19e8891fb6e220737ba67e03e6670841450 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub IfElse False Passed
5fb4f17d969809c929eeaaa1cbb8eb6926b18016 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn IfElse True Passed
80ac0d008f0fe3fcf60128e538b5f2ba7e488fec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn IfElse False Passed
5fb41c89749d674c680fbded5cb30ca63f052325 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag IfElse True Passed
25e19a480f6d61438b4edf4a4de9741ffd5ad7b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag IfElse False Passed
dc5ea3d07c366efe4498f6c9fab2157ff479d62a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion IfElse True Passed
6835e3d35402cb0a32eeea281d42f4f7b33cfd28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion IfElse False Passed
19efbd611280d6c2a0517b52cc25b80ad0f0ceba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality IfElse True Passed
4e25fcb5e3f40ae276d4c3c4e8930b5fec4edfaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality IfElse False Passed
8d72bef1e1e932e057bd0d3e98af2ae8fed4c67c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll IfElse True Passed
bb821fe58b09780ce8144aa56d27495c7334d699 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll IfElse False Passed
3c1fb5a4f18549007e6d89bcd468f17d2314f7cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag IfElse True Passed
a46ee685a3886d33b90dfb1f87cc63024d6b4d3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag IfElse False Passed
62998d3727f20fbd0f1f296a9d6bd43b9c5394e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet IfElse True Passed
f01be7e34592588d684754a76d3fde231c71c71c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet IfElse False Passed
efe3748dfe1ddd4296ea536907c9dd3090f64530 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality IfElse True Passed
706154f07a821c22f12c65d594d8800a0261c94b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality IfElse False Passed
ee67ba8c1751f47ff1fadd266455c1e6f2e04594 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead IfElse True Passed
66a768c230815ad88c115b861f91269b849da27d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead IfElse False Passed
d0f00a82f94eac0844889602b151ab364cef42fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail IfElse True Passed
5712c1faf2072b80df37a5088a99497c4a5c1e7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail IfElse False Passed
52610a5e37c717d3d1fa5545b2c9a9b073640404 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend IfElse True Passed
12c0eafc4ff257ae057a23073d41660848585c78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend IfElse False Passed