Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
3a1942a6a5a2c829e63ad2c071dc91006f6f03e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Set0 True Passed
3a209f3ae8ca91e8a42a55c7ebe40444cce5b8c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Set0 False Passed
c842a2cc3f69e634ea29f2f2577c15a55b46cd08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Set0 True Passed
1f181c968b9ae0371af4da7dec358de0066dfe05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Set0 False Passed
54bc8d35e799ba8b2e456cd556c39b5ff19fa4c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Set0 True Passed
b2111e04f0cd7c7abeab29bdb40468ae8a3d7de2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Set0 False Passed
d23401649b872fb63539e6a67e7fc18ccf213057 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Set0 True Passed
0dbe3a17836b0dad3abbb3e279f1eb13c246d545 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Set0 False Passed
ce3e18ecc0163bd16d4d2d8277e53cdc4adf75fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Set0 True Passed
281b08cd36920ef766b923e0cf34338d212a7ad1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Set0 False Passed
f58f011d2e7ce503b44cc8909193f0d6bc441e79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Set0 True Passed
1b5552b785596e4b531717a031fe4e07601c5f37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Set0 False Passed
98d2411c9df0ba783cd48081216e0716b855ca25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Set0 True Passed
d724ca1d8c280c9ff676cc3ef4444797c2f07ce3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Set0 False Passed
f818c347e25fc730f5a933cdfd0ba492d8376814 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Set0 True Passed
bdd9a67a8cb4c699cbe8d4d83b1813277eede10c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Set0 False Passed
a980e61cae0b104b9be8bb7caee721c4f9cc1761 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Set0 True Passed
4824a3750d69188986cf3c25f9f6daeac0460e52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Set0 False Passed
deee062990604bc1d49fb6195ce0fbe4a18bcd69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Set0 True Passed
8f71e7103266562a9249d557c4ddf868582c4257 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Set0 False Passed
0594370f172ed2a323efb905feaa84ed7e664282 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Set0 True Passed
e18009b2f55a243d484c0d124c88e9e61327b895 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Set0 False Passed
a98e2f1d8d6510fcb9d21fda53128efc6eae65a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Set0 True Passed
4963b7c1a2b60b5a8b678ab7a7102fc9208e1888 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Set0 False Passed
2aaa083e289b6bfe52578776a29d9ed994871458 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Set0 True Passed
fec4391499ae967c8e81240ff0f0b95306ba4383 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Set0 False Passed
fc6646cb6e17e6bc5ea158ddc4a88182c22a33be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Set0 True Passed
469562d2f5559909f3a5aeec7680a1ae5292be98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Set0 False Passed
fbf52832e76ae4c5bc3aa469314a722ea9beff07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Set0 True Passed
0ac54760e22a89280e30d7ec0ed39ffbf0452522 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Set0 False Passed
a0d7f817ab117a0e9aa4624527153da3f5c636f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Set0 True Passed
d0f830ea637d7edd6d3585aa66d4eac836ed09a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Set0 False Passed
18459ef12fbcb88da66bc5684fb86cfcd5c316ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Set0 True Passed
94843bc7f69d554301696028debe76b5bd39e723 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Set0 False Passed
3c2575bfe747c73712ad55e3cbf2d0d56639089b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Set0 True Passed
e94bba3c22ebb77664134e51be0d7ecad5991a00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Set0 False Passed
8a52a5d0d63e94173fc50d97b678ba2af234247a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Set0 True Passed
51b47959c997cdf8e8a15af43048d063db08b9c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Set0 False Passed
fe2197ebabdbf8e601e96db20cbf827ae119f999 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Set0 True Passed
81675e7b031a656c67cf44a68cb052d7b3fa207d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Set0 False Passed
06c4ec5719a74ba7e01bb8f2c0f4ecad6b0a1e95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Set0 True Passed
4d66479b0c98073917a987ce790f9c08627b4ed8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Set0 False Passed
bdf5360a0781547e4562a5acbca9025944b9ea78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Set0 True Passed
31f60666770d39b66c2ca4a6d72f855acdcc0cbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Set0 False Passed
2a7d8e7daba6da5da50d004f411209fa635fa987 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Set0 True Passed
7517b009061ba9fcb72ad6cac1766ac965388220 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Set0 False Passed
d15e7f3a6ce5c310928d7e179e0c6e6f46b3ed0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Set0 True Passed
c67c13515ba52450d98a100de57d48c67b3c0b36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Set0 False Passed
d4fab99c872fff79836be3ed1cc0928071a90d52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Set0 True Passed
23e978a191a269f62b2fcba3205d9c03bdd19fee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Set0 False Passed
53a874ef5cc017534f206622c3a0a73d4ca8df5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Set0 True Passed
7d4b3a7cd7c2e797688284cbb0d02fbb9b341956 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Set0 False Passed
44e177738c10d6e68bf83184c96d031e1c071d8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Set0 True Passed
0fc6006548efb62fb9877c451b942c7c0c639cba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Set0 False Passed
0c8295f8b1ed93986193a3b9bf536386f3f16afb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Set0 True Passed
444600a2cfd5095b5e3ff92c261ba9d275f4c0f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Set0 False Passed
7ee4313d8894d63848edfcb1a87ac23dabbca9dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Set0 True Passed
a787db4d653234635b522c3183adb0882e2bf043 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Set0 False Passed
a05ed636989003b17025b289f5eeb7c74d7db127 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Set0 True Passed
36db43bf90f3b2ddae0214de4b87b306ec002688 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Set0 False Passed
8418808b54a92a0537d82458251900724b5cc139 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Set0 True Passed
1f615dc8c8f5159d7a0d1c112cc21ba496a0a8e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Set0 False Passed
a8eacae4836f721370912ae55008ab768994b370 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Set0 True Passed
1345e7b4da6e8c3e0c36890ea432042ccc39b1d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Set0 False Passed
69c168884ce4fe2b244c1cbbfda17985355e1faf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Set0 True Passed
b937f0c3392d37392f26dea83e553d4001a2001c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Set0 False Passed
cfce4b69060ac6353c293f4cf9567a48805684f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Set0 True Passed
763744cccc40a933edc9b1c67981178337dc5712 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Set0 False Passed
12d103e59af68cf176c21029d4854dabb375eda5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Set0 True Passed
ee9b8a0142566f81a87c88b1b0ad94b1bb9cb6b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Set0 False Passed
2e947c236b9a78b18444fa39f54c1d74058d07d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Set0 True Passed
24568a6267cb6ed3eaccbc9f2fb0c2c530c5d66d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Set0 False Passed
c385aa9ac54c2a8395aa4d13799e55fe89fcbe35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Set0 True Passed
dc2ef580abc2390a6e99d4e06b914a4c343ee9f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Set0 False Passed
5abd2323be9d78f3694fc56c83f201fe7839c38c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Set0 True Passed
6f9b84e99d7000c04c4944a662b86f4c0192d02f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Set0 False Passed
3addc05074e5cb1e382963c1b2092ac9eb336469 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Set0 True Passed
2b7e006fe38c3b74ab1e5dd3c877d3e1fbcb83ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Set0 False Passed
4555129727c28df176822fb91199096ec9668848 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Set0 True Passed
e814f3d6dae757fdd844de5712b389c66297ecef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Set0 False Passed
018917c740dff3510f6847fa30420ea693289fc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Set0 True Passed
e295e85e497326dab12f34544817688dfb44fbae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Set0 False Passed
cec0ef99972498f4f4170abb3f7fd82f2fab370c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Set0 True Passed
df28fdbf854f3a44ce1935454b617f89b5908a5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Set0 False Passed
f8960a5a1acd869bcf6428bd6f0318e1647003ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Set0 True Passed
e6e96e9b40106e4b3c19df6dabd0e9fc24985760 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Set0 False Passed
e0ad9ddae91a99da7310a2f27b73cf82e91a5101 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Set0 True Passed
71dfc0808ea5fc949a89ddd81905ce6af1961805 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Set0 False Passed
fed8d54e5117faf9fef6af5c94684751d72d1585 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Set0 True Passed
6b81ec175ca419b39f4cc1f3c6d9fcde1b9df52a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Set0 False Passed
153a18b3237323b12a410a6ee85b1e751f270f41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Set0 True Passed
d1ea74d8890db544f5e66e8caea0ecf20893c6ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Set0 False Passed
e731351ebd1d93c6e49687b089b759b7c2fd62cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Set0 True Passed
b2725789c769a86e91630730099a1afeccb844fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Set0 False Passed
a6cdd8a72b5dcb70e9b86e615b5c6856229fb35d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Set0 True Passed
67c966f5eabca0ab1f936a0e68837083b3627beb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Set0 False Passed
f4758cdffa6614eafaf4604d144ada2815b372d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Set0 True Passed
8ff2e81ec115239f8dcf72236ea8b205a329cce3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Set0 False Passed
9f937c83f208da2974703e5ef3f7829ee40acf64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Set0 True Passed
9106c5fc5ad7b9b3a6e6a3cb2425b3d59fcad629 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Set0 False Passed
710228d03351dfbc927c6d766594cedfecbd53fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Set0 True Passed
52183281fb64321cfc52ae0ab3ef9da347c5300b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Set0 False Passed
af99c95f53b0173205b3395665c4f9c2c1af23cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Set0 True Passed
f542a9f8fd7802eec409ccc365c669b7803f7e16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Set0 False Passed
172cdf47a1e35a214d9bd65e15dc9a12141609ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Set0 True Passed
935ae7c5aa71440d3a5bc706f3b27b22ed297bc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Set0 False Passed
8d8395931173b6d19f4081ff3b716c0de383c1d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Set0 True Passed
9827f215b84ca50514cee645f86e62773145e9a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Set0 False Passed
d30522ec934db1f3425a509ae329a47d25a26811 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Set0 True Passed
dc526cf08c2da4ccef45a21971a8c94a6df8940f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Set0 False Passed
3ef737d872aa103422d93c1003b644b505bed958 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Set0 True Passed
49d7502747650d5ec771fd6d700fabbeb4a00737 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Set0 False Passed
e18da5fad32acd5204692665ab890f8689227da4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Set0 True Passed
956636a13ccbf9ff6b2b7c253d79d4e6cb6407cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Set0 False Passed
3bd225f4818f38c69b870592b3bfadc3feba5908 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Set0 True Passed
285eb973bd416c27ef8c0e92f6bd75d059e7437a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Set0 False Passed
2560ae6053764aeb0754bcc6cf2cd9a215d80363 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Set0 True Passed
a60966877fc01c52b5b8125597a4c53535662908 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Set0 False Passed
3eccd9bb065b60f2a3785f6f7c5c82c7a02be529 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Set0 True Passed
e68179672c01d64b089ab2f85189e543e9b21981 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Set0 False Passed
ef30206a94af2ac7cc9be0d13378eccf731f941c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Set0 True Passed
8aaa46117519712ef60cace88cae881631b9509c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Set0 False Passed
c97e03d3b791311a026cdfa8bc5fd2070781a09b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Set0 True Passed
a24a5877de6b0bd1445ae429c2a6a0801d541a47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Set0 False Passed
7ec9d2ed433225dfd9f3c6aedbac65e4db5433d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Set0 True Passed
24bd9aeac1f5c500ddb063009612e0f8acb6912a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Set0 False Passed
c3d7397dfc3711267286e207648c35b9adfa3f49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Set0 True Passed
d027cf5d31858589f0441502136ac88f5a459696 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Set0 False Passed
eb331483bf1b72b32eed0c2bcb291e2895a0804f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Set0 True Passed
980905942b6e77d9517c7f3df00ba23af093f3ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Set0 False Passed
04636aa6174769fb7a977abef8440e12b48e75e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Set0 True Passed
1a326ebd4247f01094abdd1212d3b22f877d3cab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Set0 False Passed
ce72a4d1d2685a4929a0cb0265c35d28ff4f79a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Set0 True Passed
d14ea56686a21e0812c5a7449c465674f74e1208 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Set0 False Passed
6255c1a1617a317fbcee1dbdc2e5cd7c135e7b0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Set0 True Passed
0c5a8ab8183ed1e1d5aa541c77828856627fc120 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Set0 False Passed
f99df1e82c300d473f9924664dd4bfcbdfa61403 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Set0 True Passed
1edd5006b6c7c9d66970f494e28ed836bd4b8289 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Set0 False Passed