Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
635a962d0eda8e53f5aafe17865d1d1874f2b630 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BagBagCardinality True Passed
f021c60d2e2d6736a340278584fda65c25d9a088 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BagBagCardinality False Passed
8b285b71dcb3d73dd1aa4367736402f3f2ce2ef2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagBagCardinality True Passed
e821409938904792a621520549c1597ea15fa369 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagBagCardinality False Passed
5ca20cf370a7791d629b408e97e9c1116d9af50a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagBagCardinality True Passed
43891593eafdccdd578e73147aab31ae390595b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagBagCardinality False Passed
d01b3f2f8fe566732d183c287e7f01b1e3eb5a52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BagBagCardinality True Passed
b90a4c9e3760a5a81f29aa421de78a1115ea40e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BagBagCardinality False Passed
13d68af027d24f1a8f37d27fc0fd1880f5260d7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagBagCardinality True Passed
3b7bd11467405bde9ad6e274e42d32e40fc2c064 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagBagCardinality False Passed
8753ea53267dfad5e59fb3c1d13c30f075960e6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagBagCardinality True Passed
d8b7eebe9e3777f26ae17d641593c4babd91d24f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagBagCardinality False Passed
dda30441a3f4443d626b35337d693e529edfc238 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagBagCardinality True Passed
d9d4906209ec4b6da39e03100fa1d4f04630f206 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagBagCardinality False Passed
e683f85ff3bdbbc010164de61942a4c073cdc3f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagBagCardinality True Passed
da6eea439a30aedd9bea1827d1f2603319a135d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagBagCardinality False Passed
86eceeb84b7239911ee80f292eef455011024049 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BagBagCardinality True Passed
950d1813ecf2b64f807bd893e51482d258242374 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BagBagCardinality False Passed
748673aaf0f9856ece967d713d1087d37f8427ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BagBagCardinality True Passed
a2a5d300c65940d89c5241ca869156c810757973 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BagBagCardinality False Passed
97a61d0cbc2122191d8bd8d5d2aff6a1148c87c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BagBagCardinality True Passed
3c0ef6748a51f5ffc845fc7b717abaf3f7fa9b68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BagBagCardinality False Passed
953e02e4c0946d9141a2a6bd3f163a9fa247b029 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagBagCardinality True Passed
9983ecf65abf9027b3901c4635db7086bcab636a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagBagCardinality False Passed
2a3b100b3fd56ccd79f1d59c5ef1bc8e88a116e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagBagCardinality True Passed
e45fb2702573c7b386ba1422b8256392aafa6268 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagBagCardinality False Passed
97d98294c863fb95319f2ed5bfc0a550af8f0add TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BagBagCardinality True Passed
5f39f0b91ba55a3f1bf4c0139cdaa9ad6d5719b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BagBagCardinality False Passed
734a2f07f3f416874dad03fe5247bff2f3dbc895 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagBagCardinality True Passed
3881668c572ced0c2b8732fb3db867ea9326733a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagBagCardinality False Passed
ccb74efcc01955fa13e184be013128fe5cc12f4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BagBagCardinality True Passed
1d8357671788bd5285d574090872809558f2fbe8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BagBagCardinality False Passed
bb6a315a2604dbfdd830a2bbcccda93f57c1bd6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagBagCardinality True Passed
b5331259083741cdb215897cf0eb275d8c5a1581 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagBagCardinality False Passed
22008231efe493a4038d62052225a5c35c10bc0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BagBagCardinality True Passed
1cb0c7a04dfb941563ef165d560510aa52074346 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BagBagCardinality False Passed
21bde95d6fe45888ea9a9fece05a030676f763d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus BagBagCardinality True Passed
6cc9979a7979638d4d04b4e24d7c7bc8ace1b603 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus BagBagCardinality False Passed
bb82924816e062e8363775ef289f0aa48cc010b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus BagBagCardinality True Passed
34f05553c30a4ad7e0470667d39b0257ac4e93c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus BagBagCardinality False Passed
60e323f454f9953a7a616aeaf7eaa0e14ba658cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus BagBagCardinality True Passed
37c51412b62ba4d4153a1c242e9a7164635ff67b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus BagBagCardinality False Passed
b6ce7a2511063e6943aca76909c8ec4317afb855 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul BagBagCardinality True Passed
cffe09e84359b064ccfffd6f11decb05e7c2d54e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul BagBagCardinality False Passed
de6f643ea285bea2caee4766686981432adc04c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv BagBagCardinality True Passed
48bfdecd3f3986905ab46152ba9f59512c92ee60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv BagBagCardinality False Passed
eea9279d72abe187e7d50d48871608e36a964193 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod BagBagCardinality True Passed
205d39014ed516b29f91b0c0f0d797a380802a9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod BagBagCardinality False Passed
f1820fed2bd3a84f0d15183108b06e6a5f69066d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow BagBagCardinality True Passed
85cfcbf3305f5925a2353a4c75aa3c3dacad602d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow BagBagCardinality False Passed
a0f9da573da42647e5bb865d4aec2c1fae8bd020 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt BagBagCardinality True Passed
546c6cea567a61fed91b83320f7ba2d18dc02711 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt BagBagCardinality False Passed
bbd949031612893780dc38ea6349469eaf69efdf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe BagBagCardinality True Passed
45148eb9499e837fd6c68f0971ddd0cf8469abc4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe BagBagCardinality False Passed
144a1826c77e62fe2bda0705cea106450904b087 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt BagBagCardinality True Passed
f39891ab046ccd053749e84586855bb8824e632f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt BagBagCardinality False Passed
552467276b48f816399512d4543e357481351edc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe BagBagCardinality True Passed
72fc0e14254f98949fb16e52818489f50c1d9a26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe BagBagCardinality False Passed
a9067b5100d3f12fbb64d2931e7540140058f7a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagBagCardinality True Passed
7e1fa84229a1f4c74a5081e4ec7715d8a9430d43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagBagCardinality False Passed
3b12dbcb4c43d5c413bd50e458fd91addd16dc8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagBagCardinality True Passed
48bb2ba85a2ec00619da870ee8d538aa0a4e3733 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagBagCardinality False Passed
b8c9b65b9d8a5fc314bf750667e46314829663c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagBagCardinality True Passed
f76509bd6f4399ebedae33d11cd088c66596b6c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagBagCardinality False Passed
c158f3a60aaf39cf4a04f18024c23fe951b90f4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BagBagCardinality True Passed
a379d9193b1d6f560cf7ac0d94f779b9f28983dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BagBagCardinality False Passed
5a1326c1263f914a93b4c8ca96a74a153ed32040 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BagBagCardinality True Passed
b0cc3caedb5eca92ded76d8c93553b9b7a1922ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BagBagCardinality False Passed
405a507d2d3c08fe4ddff0552ba2fdf63326df44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BagBagCardinality True Passed
576ddb052982ffe52159ddb7a59a90b1a8dedfa4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BagBagCardinality False Passed
14637c4510c8b7a97ac345eec4b1c4619004f076 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagBagCardinality True Passed
7c44f0f3ab4e2eec29f1000563d101817e6d0a51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagBagCardinality False Passed
cfd7e7db9fca8efb0738783eeae30e3837069374 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagBagCardinality True Passed
b83dd151816f4d509e546b934e53fd8edfd6070c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagBagCardinality False Passed
9a65407e14df727cce5917f49cf0a416b55012be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BagBagCardinality True Passed
ba13a12b7f163a5b9e1a47dbc7f29863b68d7c05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BagBagCardinality False Passed
964ebdf9253a4dfde61920c29b7e94eec5847714 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BagBagCardinality True Passed
7b26457fea0467260dc807470df23c54c1b274ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BagBagCardinality False Passed
279d7c2e2e25207df7f778423892225f97ff1052 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagBagCardinality True Passed
3a0ec55e4586959224d394ca8145b2fd02e07a6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagBagCardinality False Passed
8004f286f8b5a2295189d115aaa5c97c60146f55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BagBagCardinality True Passed
7cfbb4dd32adfb7ae065fa7fe25189ecd6e09d37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BagBagCardinality False Passed
dbfabdfb888828aa49a06d904b5fdde6b2025ddf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BagBagCardinality True Passed
17e0355cd8c8092db0160279e252dc6afe91684a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BagBagCardinality False Passed
42faf2fed8ae6054a650bf2b5f5497a3ed231a13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagBagCardinality True Passed
a540b5176acdca4a3d12ade66b223a8b19e5d35d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagBagCardinality False Passed
edb1f2b637c6b7ed80b162a6f5df89c8e898a48e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagBagCardinality True Passed
d2a2960e1ffa0faac551160b55757ab376ac404f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagBagCardinality False Passed
b6e0f81a5f081791612d9bc4c18b573086e5ee30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagBagCardinality True Passed
5072597c0b0c4e706452be42fa93d5c4eb23ee6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagBagCardinality False Passed
fd521c7770ace32dc13770dbe7356a58fe18ce28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BagBagCardinality True Passed
b66e1c3bb6f87827a9224f45e7547cd853473ca9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BagBagCardinality False Passed
40409ad3f9fbf6b95bc04a8f7bcc0a9240efc42b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagBagCardinality True Passed
28f3538faaba7efb4ec632cf5a2b2eac05bdf3df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagBagCardinality False Passed
6bc2926365862146f77704d8d534812b8b31ce50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BagBagCardinality True Passed
a64f5b423f28e0c856f4f5de6c4d7049e66f9562 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BagBagCardinality False Passed
d51da0bac383ef1978ced9e16f1f054335a9bc62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagBagCardinality True Passed
d75e5449a398391d62f69195ea9d6bca6ec90a6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagBagCardinality False Passed
1a8d7b320ef47528c0684f1676df385dd9ec2fbe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagBagCardinality True Passed
5bfa14451236101d23eba70b91601c63a1879975 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagBagCardinality False Passed
34da732019597cc082be7391029906a066583333 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagBagCardinality True Passed
f283c4c19aee5357313a791d4078dfc4fa34431b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagBagCardinality False Passed
21ab390d44299a196afa9cbead2da38fe6a9bb09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagBagCardinality True Passed
704d095218171ce9f3bf667a9e54da9a6f59f096 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagBagCardinality False Passed
990919eddce9367dd9cd81e66241c88a49bbd5b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagBagCardinality True Passed
fb5610d4ce32a9256f578d1fba1930c84b449095 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagBagCardinality False Passed
bfc2898fe8d405b96b35f0474ac3a993ef65d01a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagBagCardinality True Passed
c9b7b338951bec811e73b097f548f649be434b65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagBagCardinality False Passed
ee0822cf0a12bd1a5dfe0e2556332b5983371f40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagBagCardinality True Passed
feef992d662c4378994ec872824f7f210d7688b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagBagCardinality False Passed
c4e3f67cb4160e7d247ffeb9f28130f9d667366f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BagBagCardinality True Passed
8029545483a42c3c90b30a8278337d6fd4257b0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BagBagCardinality False Passed
91ed9aeaca8ed3ef330652db4b533f8d2f9885cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagBagCardinality True Passed
b9d867c94e096eb7a81e439fdc9aaea2b02487e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagBagCardinality False Passed
5dde8f41d382f567cc3c6a4ddf4aad7230d904ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagBagCardinality True Passed
b2a19f2da84a1828d3e1e686b4fde98c1bbc5b12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagBagCardinality False Passed
494b57f13ccb9078591c1326046a1af6eddf7b81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagBagCardinality True Passed
0c026f6a5e37c1b9542cadab16ba48cb59cde786 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagBagCardinality False Passed
5e37a8af0c4e7b8875a135fe94c5aaf5ffd0e9ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq BagBagCardinality True Passed
0fada821cc405147b999514f8934375814d29f0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq BagBagCardinality False Passed
35efb7d57feadcb20fb5a39d99d1122c3c4ffba5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange BagBagCardinality True Passed
5ec675d04eda613567d2d9ed8b891d19b99ea376 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange BagBagCardinality False Passed
f30a206d7869d58ff703336c6285a43453a2b504 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagBagCardinality True Passed
1b9f29af4f5dd208926a33e06637c6fe32031503 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagBagCardinality False Passed
01b6f2dfdfc5cd72d383c83ab8b349677e1c02f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagBagCardinality True Passed
22a977494e5392cce4c8b4ba3463af1782da1853 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagBagCardinality False Passed
4d58ec70e5159eaf1883143123f613de2e2547f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagBagCardinality True Passed
073cd0a01803e8d4ed2dcd606f5e2ace8b2794c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagBagCardinality False Passed
b1f5d8b0c6e7e757799c02e45f33566dfd2e97d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagBagCardinality True Passed
4f47620de1aeeb3c815884581d0a0300a81ec902 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagBagCardinality False Passed
362a3202624686beb58e8f3cbfea25c9c1bc016b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagBagCardinality True Passed
970684d1a3a473e6743d43366ac0a981a395dfc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagBagCardinality False Passed