Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
b19aa65d5651d8fb840ce56d250ef1777c33fc26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumRange True Passed
8de5d2f274f8451cfcfb133e80d482ecad620068 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumRange False Passed
3ef18b6d13a7c76b93cbd7961f976625ea17978f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumRange True Passed
5ca2ca4f3d462bfe4c005772297a2d2231a22f03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumRange False Passed
51fc7b4d7a0d043ba5424692baca582446b5e5ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumRange True Passed
134175fcbc8144ded1a2fe00aa705d99b626dbca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumRange False Passed
5425c2756d0116f7f63501a3d0392d46f4348d8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumRange True Passed
57f3d8564c9f7942bd8d67e61fe925f7ff36fea5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumRange False Passed
2a0bb0a689201c4cb379398edb4c403409ddc51c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumRange True Passed
aede2e861a112ee58f9313ba2ae8ca19d6dc6917 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumRange False Passed
b06d3ba3418eb65e32840b972927ae123f43223e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumRange True Passed
9e5991a8698e34159c52626c8f2135a1cda0004a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumRange False Passed
8c9d60f4941a79b48be12e07d337a64ed51c9845 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumRange True Passed
76643877f9c3f37ad4c7f68aa410d4f04cf2240e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumRange False Passed
d24e3f10743312a854f9c006db62537e411fbe1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumRange True Passed
443e221ae6c4a8500ee010d2aaaca09447ce7845 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumRange False Passed
9cee23a74be3f00b655d94df9c0cf6538c029c62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumRange True Passed
12b10f9c1ce6142f74ccdaa1b926c226092f7d68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumRange False Passed
0ac94539002e8c3b7f56b7db6638fe9a3272c427 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumRange True Passed
5ee21957d2bc632748f667c13cf6200890c808de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumRange False Passed
811c7c99b836e1217511398134e0e78b956e0205 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumRange True Passed
05ff4ab601eb6ecbc161fb6342112cca69a937b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumRange False Passed
5c6c989254ca76f8c5c47fb980686a806d9f9568 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumRange True Passed
8822ef449d6fe97d2c0a6448ab33db34eee25879 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumRange False Passed
f2695179afbc5f04f3a1f1f7c55b89b71fb3a4ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumRange True Passed
e3129ad1849aa4bd3ace46db2c0f7bce667e4bcc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumRange False Passed
aaf88a581652343477b20ac417071d7609a4db52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumRange True Passed
d15c9686e20528fece71cabaeca7808fb26409d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumRange False Passed
b33e4f7ff8cef9fd2dd0ac02d906c3ebc9579909 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumRange True Passed
512b69ea7954f51d1ab4fdd7d0aca5190f01799a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumRange False Passed
6601cf7abf04c4914a0f669dc8015adacfa7d6a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumRange True Passed
a28535ce04538bf380a76ae1318c1d7d174e5bb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumRange False Passed
8c561b130d79fcaca3c7be45ef24ee031a38b4e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumRange True Passed
44f8e19956622d2fa890a531c07de2dcfaf1439f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumRange False Passed
2ead1bbeb5feb1cd59ccc5b00fce555cb72fb0f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumRange True Passed
31190772363b584d98d0c8902989063591dc254b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumRange False Passed
bec9fb0fa9ec7bad7e5a67f0ac80cb368d96b8eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumRange True Passed
d512fe2b85d56de6f9cfad6c679c1222bdb9dff4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumRange False Passed
3b219b817e631afa21d35af5a5cacd6eede4a4bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumRange True Passed
80370886f9456c90bfc9f14016117d6ca742fae8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumRange False Passed
8e97bc0daef1147782f8e51974584388f6567077 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumRange True Passed
bc38d472aa315270302f3cd5151ccf8ef1f1c7dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumRange False Passed
2793d59e32c09eea7c96cecca06e71a77935ee63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumRange True Passed
5808df51744422ea4dd84493828c10003ee70b5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumRange False Passed
4543c5c45841fcd03dee9f5249610b93af9acebf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumRange True Passed
2e1bc3c483eb66482b5ecab6f4cec1e8f42c9b88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumRange False Passed
ab0a7b9b332337c66a0271b3f918f11cf1a9ed40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumRange True Passed
7b9efc29c55afffaee57877308f80940f6b4f0d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumRange False Passed
f9db2fca9e6e42dbb004e6bd28152efac72d5e1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumRange True Passed
3036daa24c4a97c91d0df1c3c3d9ef6f96f3b471 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumRange False Passed
d823a92c7daa04484ffce39aeae6be066e544a4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumRange True Passed
ddeb0401e46a70db32540bc9bbcf3d0121302486 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumRange False Passed
5e08dfb0f4c71ef61280630e3dd3bdb18f97c2f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumRange True Passed
14d5d89c885d70244bdadcfecf8cdbe723b4ed0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumRange False Passed
4ebd6dad05344ff7e36fa58bf34994cc3a2f733a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumRange True Passed
cd971dafb86f09722d1ab6807aa189e5ecd33f8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumRange False Passed
9fe2f188df82d8faaf1cc7b32c38197ef1872c7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumRange True Passed
57237ddf3da354f4a88f019b559aa929cfcd0dfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumRange False Passed
74d3bd749ba3d84e7958de185ea163ff0db400e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumRange True Passed
70d71d60c44eb294d42bee407baf36aa04993ff4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumRange False Passed
98bc72ac84d30614cfcccbbf972bec139af71eb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumRange True Passed
a704e8202bf8ca87f0f9a129f15d01f9ca8971a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumRange False Passed
7d46c0912360431751a424948b95ff09da38b6c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumRange True Passed
dd4bc2f39fe21f241f915e068c18f6cb14109fe9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumRange False Passed
ea69a5435c11171e3cab6dc58a315fbee8244177 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumRange True Passed
90713c0115506abc701e19803eb77cf5a39b8929 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumRange False Passed
407a01b580bc3a571a8e480097efa72b6237816e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumRange True Passed
e9e1437bb381b58bc3d63e6fd14d4deffb03b1e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumRange False Passed
570559e66403d1cced01dfc8149be00cea1fc1a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumRange True Passed
ac10a2c1a7136ec07ab5cd30e2bf21feeaa27914 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumRange False Passed
5c9c33139b92cff32ebf498b9649166c54790b46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumRange True Passed
6c4fb938361c6333a6a1f1dbf991553a10b18e03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumRange False Passed
f0a6d6c1bf56e74c1567013760568e476a27ceeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumRange True Passed
4e97ef397443bd7d34c61a247131b0eaa1f71b82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumRange False Passed
0defb9bd5192d66035c6878325ef29df3b62e0ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumRange True Passed
b6241f7ec2de4b6e5808335fbeb97b418fcfc396 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumRange False Passed
ff81d1df87322f38243d3f067cd3438aa9ef253b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumRange True Passed
5d86320ea69176ed3db1483e2552b2a65a3409a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumRange False Passed
54c9a662051d7f10777f09cd9fc6cde3e38a41bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumRange True Passed
d44a0bfef09e6ea54581fa5ac5682dcbd35c0c1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumRange False Passed
c3b9cebc09285c32b9608e2e7c8fb7e94cc64579 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumRange True Passed
68fbc349bf4dd3df1c9cec7d26e90696f031e882 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumRange False Passed
46819f818dbaf73b14bc51c41b5f28a946e763ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumRange True Passed
95e0feb3b4379436fde60658d71adf30df0e7973 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumRange False Passed
15c3840cc1c6d3a3fb5899d41db93a4409a4f17d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumRange True Passed
b9cde6dfa7c1b8c3824da141f0b7d5c7f405baad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumRange False Passed
85651a6e7bd0fa414e0e165fdcd3afb74b25fc3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumRange True Passed
b1997a1e52101f20970baf496ac0b485ac43c567 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumRange False Passed
01ab171ec0801a8c668899c955f0bfd6537036e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumRange True Passed
6adb06179e43a6d7609abea07a9bfcd7ced3f53f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumRange False Passed
931bac5ee2772ed0478395327815cc21367e95b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 NumRange True Passed
a8eb500ead13d0eb0668afd0b8654e76798d8fc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 NumRange False Passed
85edeb8ab7f629b6cfe81c279d27dabecd6dc01c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 NumRange True Passed
78486208f66938d91cbe81cefa44ea54a36416cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 NumRange False Passed
01d59e3bb3ace48af5188de76d0d7e686bc6c3cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet NumRange True Passed
3ef28ce32f72d10253c6dbf6064652b6b8730675 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet NumRange False Passed
fd13028e5e724eb6d20c492bda3e508cbcbbeb21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet NumRange True Passed
6344999ca14e43f491e9df624fa4614bcf827320 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet NumRange False Passed
95da0dfa69d84c7446a58ad0a429be42b50a9c1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff NumRange True Passed
405659e853ef4f58d6d98d3817c82578ee6fabe8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff NumRange False Passed
e8b2f6b97d0aeaa39f6ea69e918966e8a80dc834 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion NumRange True Passed
7989a85c9ad430aa9c9fb454c8080fd950c85d9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion NumRange False Passed
06764dd3e7a6ee20ae297eb9ff473aeae0014b18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect NumRange True Passed
38fb9b7cc3c7e548a7a1ed109592f6c04af4acf1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect NumRange False Passed
8c52bc95f9f46b2f0b5a94eba8081bb4cde173a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq NumRange True Passed
618029004233a70315a829e30df9ab90fb55f5f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq NumRange False Passed
6d4296f04dcdacc32537e52cd8f3fe55ae5293a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumRange True Passed
5c4aa51f69ab6720e4e770227aa2c93c5a3f30aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumRange False Passed
4799d76f245e9b41eee858308e91f6f6073f79a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumRange True Passed
1437773d992b5189b7680bd40eb68108218ba449 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumRange False Passed
702e4e04ccb75cec4503bb87ed51fc6bb098cdf6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset NumRange True Passed
1a666dc5b420fc5c04e125b795761d4f8990f405 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset NumRange False Passed
e97d21cdd8436545b8c25b8b3245f2ce128b9fc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumRange True Passed
b1cb9394b44d235e80981ec2f14bdfe7afde7f1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumRange False Passed
b9aa8a839c5110784eb6e85ec27bce3f2c6a0a18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq NumRange True Passed
66830490c302de540821b1f3a40292a11dabdabb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq NumRange False Passed
7d3f8ed1c1e77bb696ea245d0278512bc8f5be13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumRange True Passed
8b1e9adbb1492095e3e58b86ba09d024a58d9718 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumRange False Passed
2d4cdd79b0340bb8a7a68e2d0a731706ced00ecc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun NumRange True Passed
d61a794c899d85083f0adabc4ff12b46955e28ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun NumRange False Passed
52d05228ea98c4cccaada2bed810d87207665e82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumRange True Passed
7745bbfbc9f30c8ad5f8638d0e5587c1feb223fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumRange False Passed
597b0b2107fd5fda71ba67811440c40a7e2eb6ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag NumRange True Passed
27b9808d69ec7d4f04efc17c47467ac20c4ca0dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag NumRange False Passed
5b5139c9df3dcd14ff4f7750921e7ca9910b276b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumRange True Passed
8264a3049a17b3f96443d9877f21aa7c2a5dc046 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumRange False Passed
c30139c78b5f5c62faa31007d82c5873564f7609 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumRange True Passed
1693a046823adf8dc2a6c2d87a91acaf7220843f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumRange False Passed
ee510396eaeb3f8248defb5756be9b131d10536b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet NumRange True Passed
a6fff2dbb5a12ffb1d87afc38f1e0725d734b2be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet NumRange False Passed
2db39ce9568258ee7c7302c6fd1d905739744500 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality NumRange True Passed
5b3b80dcef25ca80815337b8ff5f7320de4ee5ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality NumRange False Passed
1324244632485529c1f2c8dec3a5dfa6acdc5b32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumRange True Passed
816e16201795e22da19e1e04d685118838b79342 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumRange False Passed