Index

Tests by plug feature SetUnion; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
f53ed3d1691d090cdcb48d8cf51e0f6e4e3b2044 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq SetUnion True Passed
39d2e47b6627aa88a619fb90a1c9638d24b69b47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq SetUnion False Passed
a55ef6888b53f647567d052a2705bb557cd1a0d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SetUnion True Passed
c02238a8a1f58090d6ef7cde385d6066f34838ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SetUnion False Passed
5505d65b40a5e781bd254666f9eba23b6ecba5ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SetUnion True Passed
eafb779258882def0916aaa42fc51fad1a86a485 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SetUnion False Passed
3f794d45dbf2c7b65bcc08145c9c56008f9703b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 SetUnion True Passed
acfb7974c0ec0d8b860ab636bd454772db5c3cfa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 SetUnion False Passed
2a1041afdc4c72bd87468119a38a36b1b9daaabb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SetUnion True Passed
877429aa35357016fbe373e22246206957f02e21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SetUnion False Passed
d4e3dcb00f73df4aa2e6aaea10ea9737bd77c0c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SetUnion True Passed
fa6257308d7815f4f8eac6a9a40f3faab50c7d72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SetUnion False Passed
5e78dfb737c62a0662c4f6c9f48a60f0726bdf25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SetUnion True Passed
6f85bcff4ea7c2c8efca73937dea6cc51a769e25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SetUnion False Passed
f5a995ed41fd53abb034d6f3c15dcadfdc05b495 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SetUnion True Passed
3a04682cbb9a54139b630e86d389e8abc8e0f84a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SetUnion False Passed
c39e953e320cce18a680a7e58607578fdc161ea3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn SetUnion True Passed
974fb5359d95a106eafc8acdab67ac0990594695 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn SetUnion False Passed
76dd1650ef984705fb674e8315a6646950776cb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record SetUnion True Passed
c2738bae0444ea44459a6fa1f0c455a75b169d54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record SetUnion False Passed
a284127f0781a73157ec4206cf49e66b22226864 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple SetUnion True Passed
1670bc6a6798d6c2b91b08fecfa8f4db5b4fdbd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple SetUnion False Passed
32d430053dc85d9ea06f3eb977eebe113f70d85a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SetUnion True Passed
0a7ccd8e4b9b7368f40a9b95240afad8cb494659 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SetUnion False Passed
b68caa55cac789a6de1603fccf70fd1e72a7d093 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SetUnion True Passed
34fae87dfdcc73b71aca64166d505bc59e68a97a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SetUnion False Passed
99e5faa45f3da3b34b8f954ee94864f1ab31bdef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt SetUnion True Passed
04f84abd5abd7ee313d9fd7132b66c703836ed5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt SetUnion False Passed
63a608b8b10365183c8cfcdf8244139b7326b6bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SetUnion True Passed
3f8ffbe1562f3061b5ea8d4d5fd487855403ec84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SetUnion False Passed
7a9795ac561480bf81cd105f4690aa586957a4e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt SetUnion True Passed
e36557857d557ac168bd3e5a7a1b5c18d0458d04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt SetUnion False Passed
4cbc4b06f554557204885b619ea52177a50f8794 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SetUnion True Passed
c93625cba6a8e2476e38dee321cd31142cb5c56c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SetUnion False Passed
8b871dad6dffccc7985762f87ca67bf1547e0168 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime SetUnion True Passed
82c09f11cff13a149d14075dcb9c72a330e6507f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime SetUnion False Passed
fa8d1939daa1dec83dbaf534f40ad2a390206f32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SetUnion True Passed
9712a441c9896d706c16abe4e97d0195e739fbab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SetUnion False Passed
0452f98383f2afccc132f480665acf09084da8c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SetUnion True Passed
7d7d2dc8dbc78e75bf52e590b02b7d2ac2556b40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SetUnion False Passed
f6fc359f5c868ceb35d914fc36ed2912b9151bd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SetUnion True Passed
8e0147faf536eb372bbd032e81fb1f45cd2d0673 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SetUnion False Passed
d34e28b77de77563fa8bb94f43e13f9df7b6c2e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive SetUnion True Passed
0ce507d670b83bea50dbc9d2c66cad9b45892f79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive SetUnion False Passed
9b73c6fc6bd949060b749b1a72c8652b92d6c799 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 SetUnion True Passed
9decf9cff88edd938f3428990d1f0dbaa0a10014 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 SetUnion False Passed
1960809f65af0acd48ac09532081f1fffe8e4c90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 SetUnion True Passed
8698de8c7a44031b11788d5f98ed03ec4e944a51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 SetUnion False Passed
f779de6b8eeafef2839a3a5d64300876d1753006 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SetUnion True Passed
8d8879effa9e90c4ddb35104254e63546695f090 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SetUnion False Passed
36e529b974aa0941a18fcad12b5b755adee4c4f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SetUnion True Passed
5b542beda6278bc5a4973c12e36556d5ff2834e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SetUnion False Passed
db837930bbe93527ab676990168063320a7b304e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 SetUnion True Passed
6a0d42216fcbb74fc1b4a46e66217902ab4747d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 SetUnion False Passed
39acf15861e5e564af016c19fb807d2efa515ef4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 SetUnion True Passed
029bded0cf74ef8e2d64c0fd94ebcff5291e93ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 SetUnion False Passed
f641dd2f7ddf9325d98a351b4a75d56bf3b74e8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SetUnion True Passed
a3dfbb21b8a2c02b00db73105e4c81a934e64118 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SetUnion False Passed
1622bc9961bf6b10d09ca277e0c4bb98975431f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive SetUnion True Passed
3049f3cdcaf8a9552573fefb19e149594fad4db8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive SetUnion False Passed
51b26bb94e65ef071d29af271964cb68ad344715 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends SetUnion True Passed
f972c4558a564daacd5076aa112c8548c82e380f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends SetUnion 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
a95293d10e011371f12868a3b8ec82cc82456f30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SetUnion True Passed
7f74b44d41eecd7d35107e6362baeb45d6717442 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SetUnion False Passed
704163b3a602e98a143d769e1b955758d592fd20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SetUnion True Passed
832e5e828a20e48f6b8f4bbb0515614215a22216 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SetUnion False Passed
98f86a4fa3c367a836b05bc8ea941ae3850b6e6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant SetUnion True Passed
2b6b2cf64cf02b74f30dbf542d1b7733ad7fb318 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant SetUnion False Passed
e2fb194313eaa03d4da2311ac6bb04c3bb64c3a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SetUnion True Passed
37131f3aeb1e7552f83ccb056ccb11b995a5113c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SetUnion False Passed
cbd9876954980726e53d525ee0eb72b0491588f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance SetUnion True Passed
44b98620f4b3ed0559798d0b7b3b7fd7f1eef5ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance SetUnion False Passed
1f4c2638e5951e6b701b3e9f3802c46f726fe17b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SetUnion True Passed
9adf42c44f1ba3d1bb15c530c96e91d7e9748c2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SetUnion False Passed
e3a980abe6591039ccf5a3acfdd920e720d23186 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SetUnion True Passed
90a3498aa4a86c1b8fce1313dc68d9b4a3cbccf6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SetUnion False Passed
22ae128cc53a9cd17ba5aa2b7d3cbdc330e50603 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SetUnion True Passed
b14feabc52b647f2b9dc934119bfff8e9ce0f27a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SetUnion False Passed
51476e4655a021ee53eaf15085a9cf839f85ced1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SetUnion True Passed
95490a04314434c61be733b9769a668e95f76893 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SetUnion False Passed
afafe7300e5ce22930ef8c7923810e56945ff512 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SetUnion True Passed
9975de9725465268388cbd2854d27f2e8664f67d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SetUnion False Passed
adc5fa65cc39a47dbd8740954d713d1c50e72d74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SetUnion True Passed
78f2f3e236eba82a20fbc99f1968c2d5c908b785 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SetUnion False Passed
dea2cc6f78fe683b3c32081af519f8e558cdd0f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SetUnion True Passed
a7dc02ebee953b0b6a413ae5c4c37a5ea03aa8f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SetUnion False Passed
b4248061d42af8b45041c10865ffd0489601a71b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda SetUnion True Passed
3c67a81debd2504cd9730033ca107120a5eb38fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda SetUnion False Passed
be1fe6650c42bf7edc626eebea80d42e02aba012 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 SetUnion True Passed
cb2e5cc29327ffbd803ff028b4aeaea1b9549aa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 SetUnion False Passed
0397eaff61adac1aa8a6e6f50f76cecf266ed97e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 SetUnion True Passed
36bba6f1c7c310e5d4c2b8cbb1974351098fa7b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 SetUnion False Passed
7325d5b11ff36bffff813bcfa84fe71f2f2f2b4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet SetUnion True Passed
8a248cb96cb2106222d3ce797f5f6f164f953052 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet SetUnion False Passed
7792f0118c6f360e4f6afaa6676ebcd12eff6b42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet SetUnion True Passed
b82fc3bf2e500df7be3fb08cef44f4c4331210fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet SetUnion False Passed
c277cd2afe1fdd70833e4cf59c7db4612626b299 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff SetUnion True Passed
2b1895864fb55fa749c728e84cfeaf45052773eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff SetUnion False Passed
53741a0f5068ea2132188fa16d44640eb70caafc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion SetUnion True Passed
7a1e40db577fd3069c6a4cd0d6a442ffb53a5d07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion SetUnion False Passed
472e23e84d8a9dbe8c5b7c371161356c663ad909 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect SetUnion True Passed
1b48ab77b0ffb94eb86eac7aaa23967baa57de88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect SetUnion False Passed
db853411c229d2e817bd1385da14094bf8f30267 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq SetUnion True Passed
13ec5acb545a5d3a49846fbb07bc4c6de241db2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq SetUnion False Passed
e3ed4e89c35b5989368cb15a3e197479ca23d00f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SetUnion True Passed
49526be3d63c404c2f24a8bfaae7130fe1a306d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SetUnion False Passed
e9216044a0032d62ed58ceb7a81c39141480276d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SetUnion True Passed
f526fdc265ff6412795ffb2cd2dd349246efca0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SetUnion False Passed
ef9ac333e401b5d905b3be22175c1dd2bfb14096 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset SetUnion True Passed
39792a93b9022c9019f6dc975d20e62def76f2c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset SetUnion False Passed
dfa260216b4e364604f893f8009ae10c3fc2bcb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union SetUnion True Passed
e4d53719f46e3ca53befed8cd13cef0d8f932b90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union SetUnion False Passed
c15a47623ec4b068905b9e5817de96db4b103da8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SetUnion True Passed
ea6570a6edc30f67b9ef67b1e1308feb098af5cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SetUnion False Passed
e7adb710ed5e2652134d6be83bd53c9a3accf2f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq SetUnion True Passed
370c14e3f89cf4b9812115d3eaeac68f829282a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq SetUnion False Passed
70ad1fc066e887901b283a7062b1d059bb9fa82e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SetUnion True Passed
f3af6c09080e16980ea43b86828c1701cba5e0f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SetUnion False Passed
b221f6f7e34a7b9927a434f10d8ca1c51459295b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun SetUnion True Passed
34e18feefdab9180752cd1a70ebc1cfd994641b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun SetUnion False Passed
e792da34853a91ed32ab193240fa39e6b44eb7e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SetUnion True Passed
f909700a196d174acc1fc9c5722e409a448ad17d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SetUnion False Passed
981ca6fe82881d10db3bc09b13433785c93543c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag SetUnion True Passed
29bf9715dd333d305e91b7f41e573c975b9d9255 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag SetUnion False Passed
dd56d224d7f947bdd8b7de3b5b9e73ffb661f9df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SetUnion True Passed
ec99ab5a9e6e51238ec49ca5d30402c961890943 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SetUnion False Passed
33722d59c6ec103564add1e123f26444c53a7673 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SetUnion True Passed
08d1f2c7498b146426d1327a3c93b6029e776f30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SetUnion False Passed
e7cf68da4f416bfc17d693cb476825d7487e759c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion SetUnion True Passed
a435669d4d38ae2e27ae31ffd6a305b9c305c831 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion SetUnion False Passed
2ec0b9e822834cbc93e60f4e453bc7042742ce7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet SetUnion True Passed
164e49346fc8da34af1878acc966def78f3e0fbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet SetUnion False Passed
ff85b6b45e6c0b9700cf3231796b497fa4da9689 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality SetUnion True Passed
746a6f6f75e7f670a1bede16529886afea1db6b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality SetUnion False Passed
03f52482517391cf6520e156d8f47996c513c0ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SetUnion True Passed
0d42e4aeecd2cf0d1aacb2686e38eb02c4890dbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SetUnion False Passed