Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
a80a5a0362b288b65e864c0254ea5da3ef396bd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq SetDiff True Passed
e904d217a2cf6008a63973bcca464fbbb5a9154f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq SetDiff False Passed
fd1cc3e4c3c9a1cd708523ad804be7229913e7d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SetDiff True Passed
1e67247b09a22da2fb7a5a4458de067dcc79ae8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SetDiff False Passed
fb91234a1753322d8bca1493ef671b46da8bd174 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SetDiff True Passed
44b4fa8f2168065621e72474a9a5d5aee40bfa4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SetDiff False Passed
f9a878184f6652ac60f76738a731e61a64dfd5a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 SetDiff True Passed
619c8f5668a3120d0fd508eb9b4b3779f582b38a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 SetDiff False Passed
28baa50bf32760639c4bc4a8c3c6c2fee868c9ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SetDiff True Passed
177a26e68c09a0838210236e9777aa81e417e041 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SetDiff False Passed
5f53a0ffd30418192ef51899c2d62ff975d9fd6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SetDiff True Passed
050a19f4a43e3ae5b9e3e70c6343f406cb2914c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SetDiff False Passed
e84a137119b22ccf79eb8e47cb8255d0a1b960a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SetDiff True Passed
c4cc10f215be9c7b683cf3df9bb88d13bd99e8eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SetDiff False Passed
7bad8cd89a59fc41691e0cfea0e33bc1533ac7c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SetDiff True Passed
f836e08ec25b7bcb98387b6878959ac4b5a6a891 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SetDiff False Passed
8d91b345883162e439482e164d4eff5da57f2e35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn SetDiff True Passed
8b9eda8156bbaee593d650e7fcdd2d85fe8cca2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn SetDiff False Passed
ae41f7b9015ea050d24faa5d91b17432caefb2d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record SetDiff True Passed
bf37db60f33bda89f4683077b6745a40acd92a5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record SetDiff False Passed
3fef6e04df09d6e40777002ad28e28d435d40f88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple SetDiff True Passed
9ed1dbdf40e05335d988524f596c3bd71d395f97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple SetDiff False Passed
128a67627f75b9db5f12610c8feabfa51f1227f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SetDiff True Passed
f9b161f6fd9aa99aa051c3cadc664f23e75a70d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SetDiff False Passed
b90ce6759fba537d12941ed4bc6b702ccb33cb67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SetDiff True Passed
c162b269b649abbd1bca520135640c9f67af03a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SetDiff False Passed
85006a83995a78bf2abfafc696ec51a5ae62cf44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt SetDiff True Passed
b813176083f92f2a0f39d0175c8576692ce168a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt SetDiff False Passed
719e2a224df92341de7421bc2bbdf85db3ad3c51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SetDiff True Passed
e80cfd248543c0b10acf0b24d0d26f3f8fcc7a1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SetDiff False Passed
448c80ab9cd399c65ad91bdaae221578939642f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt SetDiff True Passed
7e8ef0d68e56fe5596a8bb25413e01db82cf6353 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt SetDiff False Passed
989ef9066d5b0b4d0427edf1e939496a34989d32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SetDiff True Passed
3dd822eb22c22eb0a6273799f17533d2efabae3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SetDiff False Passed
226537f08fcb2d9d0bde6e1e7b539f1fe29d7fa4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime SetDiff True Passed
ebf8c7a1b58398c1aa44b2221b6ba07f76fa9310 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime SetDiff False Passed
b559ed7a1a21d728a8722cc6eeee6480ba5e433f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SetDiff True Passed
f7d1420cc442e763fd4d67feb2253902fad2fe35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SetDiff False Passed
8d78b4fe1914dfe77c6c8c1fc5af67fa2ccc6b00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SetDiff True Passed
42d70e6f895ebe84000a29b9def21048d56aa56c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SetDiff False Passed
37716f6c1c28fd3c401a1a92d4c100013aac0a53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SetDiff True Passed
1b99c15315b04a42797460ed373b4f673b8eee84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SetDiff False Passed
53bb2b78e703cf85803d7b394cea5466cc4cc54a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive SetDiff True Passed
a267170d035e36dac6533c58f98ee87d41d5432a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive SetDiff False Passed
cbea9a8196ca8696084a56e2c7bd9b74e5c4815e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 SetDiff True Passed
b735210f8c4e790c71929d8a99e586d6c1f9ddbe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 SetDiff False Passed
f51bf4e0d0b98b6032456d83d11cdc9fb8b2ed63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 SetDiff True Passed
2f035a59dd6b12ba747de688a53e83ad74293710 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 SetDiff False Passed
09c20a261cdf0fea25a6457f6d8b45f64f4e8790 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SetDiff True Passed
6b91dbae80fc06924fdfd0a6bd54c5ad5894f4a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SetDiff False Passed
aa2225d6bfa1c3cc5e18f69effc7116047ad50bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SetDiff True Passed
06a11f0ddb44c0f5e13dae8d80f564e18f408efc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SetDiff False Passed
0b596e75946659ee7df5600f957b99d3ad3896a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 SetDiff True Passed
683c33f56c5d3a7a21101d2d8fe60c74386110a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 SetDiff False Passed
686f31703a572cecc7458c734a19d87e5609b46e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 SetDiff True Passed
85690bfe721fa6b6f0f3a61fff954f0b9689d3fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 SetDiff False Passed
5398f66e47157602f57a59e9942cfdd3d4ad2a43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SetDiff True Passed
d99ef640538bf1e42e4afe768ccbe2e3bc0e3858 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SetDiff False Passed
1809483c76c17afe3f1cb3342727a488ab1e0a05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive SetDiff True Passed
e234828fe68580d6d1ce2684f51853a5d5d7212c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive SetDiff False Passed
80ae31f82c30ee69149e198913321e2a23185cdc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends SetDiff True Passed
6dab86723eda644e8aeccb890792eb29c26071ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends SetDiff False Passed
406b1ab131685130afab02ccc764dd86a5428508 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SetDiff True Passed
c1e338517a38437747c4760c935bd0b5d00caa5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SetDiff False Passed
767a3bee90338ae5a6c8bfb66ff377d94cfee42c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SetDiff True Passed
f25e071b5ada8dea0dadfdc629c50989cab0040d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SetDiff False Passed
e9d7338f71cf8498d7ea533cc9d4c2dcc8adc6d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SetDiff True Passed
11217b53496840c71613808a8136032fa5b1b710 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SetDiff False Passed
a344879442ddb6b168c4310e11c39601fc5cdfb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant SetDiff True Passed
228b3e15b8519368773f4c229d0aaef2180a3e07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant SetDiff False Passed
2e9879a47bb9a0d05f58986bd2e06769fa6755e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SetDiff True Passed
35e8304147a752e0e58eceb4bb36d44d1464e5ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SetDiff False Passed
78ecaa7950cb28c140959841502a738eb6077857 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance SetDiff True Passed
22ba8f5d0f769947973d0d2a34e20f9e78856847 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance SetDiff False Passed
d9f0ae42d361ac561144fd580fa4918616a07e4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SetDiff True Passed
73cfb0cd5b61c9d25140ce34df22c6377f25b381 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SetDiff False Passed
28c23aa5f51db696870223780db98dc9d50be358 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SetDiff True Passed
ec9dcd5083c68470de815a7ee7e958c54423ec7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SetDiff False Passed
2a8f93d487fd8e207b280979bc14ae1722a32aa0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SetDiff True Passed
7635977a6a7c6157d2b115d86eced70d5084422f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SetDiff False Passed
30cd137f4260be94ea5c061724e7240391fe304c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SetDiff True Passed
dfc5614b2d290cd250b6b9998917ddaf215d92fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SetDiff False Passed
c7bb4efa62de0f7abfc2c8efae0babd0ffeaf2ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SetDiff True Passed
7e5225eeceaefb1e53342e9210d15b487456f252 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SetDiff False Passed
c54344a818b142016e29cb08cb9ee792b35edb83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SetDiff True Passed
16b6fa1552e1b48cbcacf608e14683d696bfad98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SetDiff False Passed
f8f7bfbf6f89d773ea638046e8a4541e04039b4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SetDiff True Passed
e28339abd7124117754dc672d4266c25da18d95c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SetDiff False Passed
5c35397756da4630cf2949587d38e991431d0fa3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda SetDiff True Passed
937956267a06e5b2746968b7a6d81841ab935cca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda SetDiff False Passed
5da733533486a8602981bee931bc1d3ced645062 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 SetDiff True Passed
63980f732fd9b3894e3657c9703708b21ff0fa1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 SetDiff False Passed
acca4e4fe5f4af1c593b06750a3d7372d123e012 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 SetDiff True Passed
839be478cfb42ca8e7e16d4d6bea5c47a3f2b64c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 SetDiff False Passed
40d2d4655f221956fea41655c3aa1cd807f05d9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet SetDiff True Passed
ff2908ca46d6af28038f50be98f58f4d921141a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet SetDiff False Passed
9e56dfdb6bf7281c1b922be9847898098a9dc71c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet SetDiff True Passed
40fb5df5f84b67f02afd51b1b91003297d9e688e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet SetDiff False Passed
59eab371e9f71d99840e9dc73489163075e8291e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff SetDiff True Passed
0b59b31e865afe0853b441cca69ad22773492181 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff SetDiff False Passed
93f9fdfd055581f60bd6d8d001e8a40fa29b1115 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion SetDiff True Passed
47edd4a393df1465d98b9eda107434e3ca97ab56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion SetDiff False Passed
a327be2e763d8a048b304390d839651a083e659d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect SetDiff True Passed
de02fbf531a42da435a4ab9ba769b346ee4c5174 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect SetDiff False Passed
5f4a2dbcf554fd499b32b401aef807f31dc6bbb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq SetDiff True Passed
6738d774109a038542f6b98470751984f456418d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq SetDiff False Passed
945d6209c575dc8c1fa76a07f6b254bcc82e4e6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SetDiff True Passed
b50f91ed2e9dd00cf74f2b32a72520d1646d0984 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SetDiff False Passed
aa8f018e4d76976148297bac6886ebe2a68cc16d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SetDiff True Passed
3f7944d6f5b9ca6a2272d6f9c462830564187732 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SetDiff False Passed
4c36a9ac71c98ac284a52401488481b3a10ca7fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset SetDiff True Passed
1d8ca5913bcec6c017fcf2fda69211d551eafe2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset SetDiff False Passed
33314b3d7f3968f61af79cc7324e00ccef12d521 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union SetDiff True Passed
ebbe8c6146781d64749db3ce6768bad75d6dd862 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union SetDiff False Passed
10b582da796a5029e81dbb92fa8183b071e3738d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SetDiff True Passed
1b407b636df2447ea113a4c422a0d993c373dddc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SetDiff False Passed
d9c9b05f038e7821a02e21b088828be9654636b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq SetDiff True Passed
7989fd832a0b8bcbf939a9da6c490e5036764ad3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq SetDiff False Passed
2c56fa9baa7d8e98f7448ff71b4b792bfce5afa5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SetDiff True Passed
2d07abff18c667a09605dddc2ff0e957b37c0023 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SetDiff False Passed
c827ce58bf8579c1914f48e3325a7e3cd267b834 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun SetDiff True Passed
5316592ec7210ec8e913ff3d2367f159303653e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun SetDiff False Passed
abbc0a1c4042664c517a0ebf661ba17d63042dce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SetDiff True Passed
906460c672fb6506e3cbb29c9db2f1b673f71f71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SetDiff False Passed
d922b151d63cd8ceffc1fadd5e6aeda9e1911f03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag SetDiff True Passed
fe8cb3ad27e0cba2cc95a554e4ca731becb7d13c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag SetDiff False Passed
8301dbffb30e163c5367ab4be7239c924bb5f31f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SetDiff True Passed
2989cb6c8e91fb9277ef20d0ca6f75c5f6eafbe9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SetDiff False Passed
1a6339ade79557179b00df6f70d99ea2582be849 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SetDiff True Passed
5815c8a86de1a35910f0266c30184f21710504b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SetDiff False Passed
a6efe98e78a247be048a9909b33fbc32064cb04f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion SetDiff True Passed
7c0f4616a3ff3d7b9bbd3eed33737fff628926e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion SetDiff False Passed
4fed57d65c8a3f9bb62b631fa1712bc04bc392a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet SetDiff True Passed
08817d9469fc06b6beb4d2e30bda0aa4175035f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet SetDiff False Passed
9b23aa95f6ca73b8734e7f5d1c7f37fbd345c418 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality SetDiff True Passed
09a4af6730673579db63a36e334646d8c7215541 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality SetDiff False Passed
f73279cfcbbd2330e55a7d4fcd31804c9805e452 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SetDiff True Passed
fa3798be03840094a5723b529e419409e88551a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SetDiff False Passed