Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
080484a099c88a08de6711d1cfec84994356290e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumMaxInt True Passed
e8473fb371493629122eceeb62b628ef6e38461f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumMaxInt False Passed
835ead4c721c3b13339855c1e42b7ef0eebcd1e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumMaxInt True Passed
461b5ec416331afa02506d14f43355d60198c64e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumMaxInt False Passed
b3c98a76887baf201587baccd943b34698c1a9ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumMaxInt True Passed
8092d4286adf78cf0f1131b1212bc981ec1652a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumMaxInt False Passed
2f8ea308d2a4c5292e479cb229eac1642ce01b71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumMaxInt True Passed
9550e0f3f852757a6b0c1d708c47d126b4435250 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumMaxInt False Passed
1686ae94aa113cebf2c39134f4f185717c07c9b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumMaxInt True Passed
aef2ff5ae3a6459f08b12749f65814bbf6391bd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumMaxInt False Passed
6498e017026d6286b097edb3c92af743be6e8b29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumMaxInt True Passed
580f20a1a553192aceff01ca11190b644869436b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumMaxInt False Passed
85642c465ee73d6578afb4419615f9293a13df0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumMaxInt True Passed
dbe8c3b55fb522a144f70a4fb5e77c5d5489210e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumMaxInt False Passed
3d62fc7e05c301b7bf639c0782f25d28306f8e4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumMaxInt True Passed
b0522e4e85027f224383b345dca8eda0897d6c80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumMaxInt False Passed
c899d2dcb1272427476d139b463ed8b8d2da77f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumMaxInt True Passed
3e93d349f9489eb671e2314577963b5fb33c5729 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumMaxInt False Passed
16508172c41d14e3352acd038dcc1793edd73294 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumMaxInt True Passed
ff661f07882aa9be8067d91778d977355ff968e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumMaxInt False Passed
1fdfa8b8723ccc069f28fff95e6a7a80b0eb1f88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumMaxInt True Passed
0b23bad6827586226f390f365df9935d960f2677 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumMaxInt False Passed
10a47c40e043045b48f07d708246800565b79ff1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumMaxInt True Passed
4631f44ca3d3dd91592292b396ef52cb2e3f3427 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumMaxInt False Passed
f8fd8ed6527280b06dae30a3ec68490f19d230e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumMaxInt True Passed
b48e603ea8f300f8b1ec340d3872102186e9d259 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumMaxInt False Passed
9acbf8b89202f3cabdfaea05fb93da19c083fb31 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumMaxInt True Passed
2743c57307a74c49d715c436f91022156eccc156 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumMaxInt False Passed
2efea5b142ee2fdc00487acfedf260a8931cc651 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumMaxInt True Passed
383061d3290f594183ddbbba5eac05696859b7a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumMaxInt False Passed
9abfd5d3540cebbe62d351dc1b658c9edeb713fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumMaxInt True Passed
f0ab43a35c1151deae055a5980917982ff713141 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumMaxInt False Passed
0b3d43eb6bcff02eca9b83e43ff0ace38ce6e23e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumMaxInt True Passed
15c84b50a970dad449c786cc81dd40ab787a0e14 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumMaxInt False Passed
5fc16148899880728a53e28d9f4aca47780a3313 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumMaxInt True Passed
cfd254d0c3d5916a79d6c359b8d4971fb462657f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumMaxInt False Passed
546283273e2a331ab2e044e8724d3745a556ae76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumMaxInt True Passed
8b433d92ae345d0c264b35db8929747b6dbcd061 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumMaxInt False Passed
5f3bb61d63c85ad099a07956deae3b3ec28e80e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumMaxInt True Passed
cf746ad6698d1c5a92d31d02758f57b3af8a3b5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumMaxInt False Passed
d31cda80191655a95d91e82f0175703b3d2d7f77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumMaxInt True Passed
79aafe2cfc9a48f6a900ff35c6813e4aa77b16b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumMaxInt False Passed
c67e8c7e204f073390c70b395dcc0a286ecfce46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul NumMaxInt True Passed
af58c0c1471af760436d7fcd184947dfa5d8c7fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul NumMaxInt False Passed
c2bc701116553776c9bfbe5e46513e0e6d803d70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumMaxInt True Passed
125e9d181dbb4ce4bf42bce03b99b3760fdc32bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumMaxInt False Passed
c92e31004ecaa063998f3a33cb3429e6399a33f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumMaxInt True Passed
f2d3eaf49823148f785bc52a38ffd6a45d825460 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumMaxInt False Passed
c90fc1a2b6d96870a016c417ed09d770a90497dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumMaxInt True Passed
d623706ae3f3246c3f723d5f149fc3bffb4dd35b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumMaxInt False Passed
84ffab5d965ec283177a8dcb6d0a730b2f29dfd9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumMaxInt True Passed
be0dc097766c2c51f4f3cea18068e93fcb7947df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumMaxInt False Passed
b1670851755598194e305191441767a7f0455235 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumMaxInt True Passed
2360660c89141e1cf5e96b79488cf0a6ba1eda68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumMaxInt False Passed
9d77a849cd2f14198abdee206928f00d82c2f485 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumMaxInt True Passed
80165f405ff147d9020414a3ec117236eef7d20f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumMaxInt False Passed
2e6d58b37bf037e691c1bf1518fc990e7c1cdd11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumMaxInt True Passed
e749346cb7ae2b5fbc8849aa7456592d91658292 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumMaxInt False Passed
d8d88dfaea7df6a66bd70f9764dc2fb8f4791b11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumMaxInt True Passed
4a1af030e355285cbf459e2a4b394a5f47d4b897 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumMaxInt False Passed
f5e9f3ee5e8285d733a5b14960d4085773cfc2b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumMaxInt True Passed
8eeaa182c76d114d7d0c6c89d391c32bef881ec6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumMaxInt False Passed
a991f7089c61297b45eb01209f0f04610daa6344 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumMaxInt True Passed
8dba893bbf73ea52bff0becd5a9f68ad92374100 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumMaxInt False Passed
3a7d877737a3abe0e9ca575cba9950937f766b40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumMaxInt True Passed
1b2a56cab620bd2a75107f07e7a7f0b9c67a36cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumMaxInt False Passed
d8775cf7f0046907b0ba9cfe9d5567585b5cddf8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumMaxInt True Passed
a04f88bdb2bafa527a1d17438629e622572c8ab8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumMaxInt False Passed
3ba12a354f5e63131dced1a67c6ae9be84370885 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumMaxInt True Passed
219c04a84a3d5d62e1136c601c21f3faea1ab693 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumMaxInt False Passed
95ce703c1d5a9ea6b59a35ceeae875caa8fab303 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumMaxInt True Passed
25e8d01599bc6104e5ae4cc16407c60ca95f5582 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumMaxInt False Passed
ffaecab85cf7fed8f0cb7d757475b515a1f4cd8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumMaxInt True Passed
2cb74d5409a6535f83241f811e0639c75c69e713 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumMaxInt False Passed
32813803ad59e33e2d25c91bf2424c0f2e568e05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumMaxInt True Passed
4802192db3d8313d7431c902eb9d8dc9cd2240ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumMaxInt False Passed
abd533156b3a68e0e19da911e9960c080f7c1bca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumMaxInt True Passed
b36dfad449d864745217de7daf18ed9b3c0b8525 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumMaxInt False Passed
847bc25ca33f3ba2ff11592eaa364f52dd9dd712 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumMaxInt True Passed
5bbde35984719590717ca1246548269a84a86c48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumMaxInt False Passed
ebbb2720ae4c51a0dc2421f4db5034398f517957 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumMaxInt True Passed
d61b2932c5e4721b3e53e7eb1bb621242ed556c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumMaxInt False Passed
9d2874d557ea755d69fe0dce1b707527868ce58d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumMaxInt True Passed
0b94ccb9945bb5dec1863f12cf48817b305453ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumMaxInt False Passed
c240d1cdb050b99ecea1116d56f7d3872b7fbee3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumMaxInt True Passed
393d3550785ba5fcc76eb2256dc2bb3e88fff358 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumMaxInt False Passed
f115219b87d8b790f54595c2e226295770c094b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumMaxInt True Passed
d513aa053c46498022055fa91bb9332a0dae1393 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumMaxInt False Passed
54279a50189c6eaaa4a6f0818425c00c2762dc54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumMaxInt True Passed
9ae84647b8686b037f8483f38b61eae9171e8665 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumMaxInt False Passed
1d81dfb88e0eb8fd09137b25af37de36a0813087 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumMaxInt True Passed
52ce25462acf17198d4c48a292d3a7b7caa94427 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumMaxInt False Passed
1646f9af7742f34954a7727bce1f54e3bc8e2bdd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumMaxInt True Passed
2d6f8cd57b72123583f371ef18fb08594ed3f15c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumMaxInt False Passed
31f7581e49ca2bc9e397423bd8193a5a847e4346 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumMaxInt True Passed
0a436b58907b24be43ef3147033a973e95117d73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumMaxInt False Passed
1f0f4099591378e9e2282a73f6bfb6eda72bdcb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumMaxInt True Passed
ea7b53976d6be491c39904ac5195b2e9aa0fc9bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumMaxInt False Passed
abf3f6fa337eeb0315e36eb487e95f4da919cd88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumMaxInt True Passed
5d21e64258f993aefa04e43a9e48c2a0d6e54a51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumMaxInt False Passed
03c69a65be6d2ca2f35cdaacad37d7916f01cccf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumMaxInt True Passed
91371f3bc33462c97b171f146df242db4829bbbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumMaxInt False Passed
f84f3197acb206815f57bb89b9e9245e834c8681 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumMaxInt True Passed
5ec651e99fe5290d38594ef3be8ca55c4f567239 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumMaxInt False Passed
b5414dbca4d0860e763fe1d644fc0c62d5ca0a05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumMaxInt True Passed
272463c7ba6cc593cfa871bfd696f1cb63a32d9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumMaxInt False Passed
eafeede44855844b89aa78bfe704d3a7c0d90d2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumMaxInt True Passed
96a1018f710c5f3adf511b0b420fc0453abe6526 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumMaxInt False Passed
511bbd667d5a28af78f0d9c1501d61f081e38da7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumMaxInt True Passed
f496e37a10c495fd1fbf0dd3fc68e5d521ef1dd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumMaxInt False Passed
0d6cf1802245d252dfc51f8cac696f05a09b8174 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumMaxInt True Passed
80679e70457deac0ad74a69dc62b2e41ffbea515 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumMaxInt False Passed
d958bd7056475ad93c80165f1bab41bc3f79e344 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumMaxInt True Passed
03e55b231a43cddabd11340775ef933af426fb4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumMaxInt False Passed
4d8ef5b2c05b53b605bd3913249dd8b3cd71430f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumMaxInt True Passed
4f3e398828b8037368f718ac2ee447dea818711d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumMaxInt False Passed
d350584208ddffcbbccf59da53c0df670abc8477 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumMaxInt True Passed
0398d597c2d3b0a4130bd89d94473967ca308d30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumMaxInt False Passed
268041284b002236e6a5344be8ed5973e607e9b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumMaxInt True Passed
78c1f92b50d66698d910377744a5c7334c92690d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumMaxInt False Passed
d6d6d0f91ca6fe67a52a2408ba15eeb76f513541 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumMaxInt True Passed
1e8b626b27fd5a40d3f8ef62f9f9ce3470ded843 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumMaxInt False Passed
61715259f9a3f03a327a07ffcb606632c9cf30ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumMaxInt True Passed
b27e80aa6fee2f81c1bee998638a6ab73188e8c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumMaxInt False Passed
16fa6dce2bb5424e054116d5ed817407058911e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumMaxInt True Passed
bf3335f06dffa883e3395c05b2ebc82b1636ad9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumMaxInt False Passed
ed6d81257cbdc6bbbde7432a1ceb7c79a481ed94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumMaxInt True Passed
ef3b481544562665624aa2de1a60d44b051d24fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumMaxInt False Passed
672aec6f6fbd4e9f9c2c5c3cc33cab78feced7a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumMaxInt True Passed
07d2b2860a71741ed44caec725cbad4a35a74957 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumMaxInt False Passed
a143130123b9002de46bed5910ef983b2bc6a80d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumMaxInt True Passed
6550d58c31a75ac76679b4c01f8790b0664deb86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumMaxInt False Passed