Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
a4db7f30ca176fa7a9af01ee10da7249443a67e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BagCopiesIn True Passed
43ab3c8ecf1380be7bab59d57d03c78d8688adb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BagCopiesIn False Passed
98fb504a270df171096dcc566092048acf3a2021 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagCopiesIn True Passed
606484b33522a3f9c38ac32a1b333ec91721b0a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagCopiesIn False Passed
5d2bfaefcb3dd7942c9fa4a61b03a23edb8a260d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagCopiesIn True Passed
f1cf91af183c45a1ab25797a54bed0f43135fbe4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagCopiesIn False Passed
50d2ed9c00836eff561f405276e7bc9d5bc25ad2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BagCopiesIn True Passed
3721c3044d4da44910007564e04f3943e4e2aa25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BagCopiesIn False Passed
cd156dec89252823c61b23e99d421d40b5e42ba4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagCopiesIn True Passed
356acd54f9b1667983f573936ac0a10cee2b53b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagCopiesIn False Passed
90fb0d486c0f9538ccc02a6a3769d64628b63c6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagCopiesIn True Passed
9b155cdf835543354fa35492dd8ed3dc4829bfc7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagCopiesIn False Passed
7918958b1bf8b62b2f95e0bd9b36d53366f60dd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagCopiesIn True Passed
f1c3a790d3e1176e7419b3613843c2ca65cf5793 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagCopiesIn False Passed
ca67fb8527372146b5d046d4b8d1ad5982d4d80f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagCopiesIn True Passed
884c7b3ce865bb1a509111855a376de02c50fd98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagCopiesIn False Passed
09771b683f77f1ade57ee6900f57d34abfd7bfa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BagCopiesIn True Passed
0728ef7ca9b0aec210e85b8a90ef5ebf98b26714 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BagCopiesIn False Passed
bbd94920051242470a65e9177cf49eac5986087b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BagCopiesIn True Passed
d725c03043a0f0d812306a693d88b225c81e47e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BagCopiesIn False Passed
5df5f04bb91497f031ad8746dc24b317c731725f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BagCopiesIn True Passed
b5fb33a3679b4783a2a474423a3fbe458788aa84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BagCopiesIn False Passed
cfd31095d5e12e840ebc785c9ede5841d7ac28bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagCopiesIn True Passed
3b45e4cadfd5a494a5bc4fa4bf81b782740f6952 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagCopiesIn False Passed
1f2a47a183df6bace659ea1ac019c5e5926dd6f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagCopiesIn True Passed
98129244d702b5e697a78c3af8f41f017c704f0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagCopiesIn False Passed
5d950cdf892a7208e9fbb27c92bae9d87ebde31a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BagCopiesIn True Passed
c45a6fdbbc934e1d3761770b643191d45112aa62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BagCopiesIn False Passed
41b0e1355d6396e562dbccc3f53fc658ff5c585c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagCopiesIn True Passed
fd3fae65207dd34ee28860dc6beabea9fab12bde TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagCopiesIn False Passed
61e1a8858cea9d01a3eb4356ea8a81164c153d55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BagCopiesIn True Passed
3046b0c909bfb7165cc57b62068dc54e951b69b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BagCopiesIn False Passed
e9e30653980443c3fba7721e1e74764f2837ad38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagCopiesIn True Passed
77f51d0ac7ca73b40ad3ce7bb624b50b9e6b7050 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagCopiesIn False Passed
229013dfe41bce3991a7a355cf6d1ad603e563d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BagCopiesIn True Passed
2fd17087dab4059c4f260cd7366626fea6169aaa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BagCopiesIn False Passed
d049fad3bdae82515c7680f603a0ff979fe49fe7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus BagCopiesIn True Passed
0023de7555d7aa388a13a891b569c2f1d7763d00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus BagCopiesIn False Passed
ddd0b712877ac49c192ff0afba6a814b89be71bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus BagCopiesIn True Passed
4add5b61cbf61e689a7efbf5bb45182ce90c793d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus BagCopiesIn False Passed
a0ba36a88ee806bcd926d1cf8467eed9ad2aae8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus BagCopiesIn True Passed
c0a00994870f405b42be821f90fa92d5cbbcfcab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus BagCopiesIn False Passed
6315fb82e1df26c2b186ae7e7ccfabda04d6211b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul BagCopiesIn True Passed
4a58aa223d88544d038d0d61e3ffb472739f98ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul BagCopiesIn False Passed
db0c8a88701ca9aa27f3326f319a2c546e3a2b82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv BagCopiesIn True Passed
1bf742dceebf1430fc5e42dbe5e5450a6b8a4684 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv BagCopiesIn False Passed
1ef65f993ee080622ebfb9c6eece7f237e1dd3f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod BagCopiesIn True Passed
39569620c4567c1265b5de69faaaa0b25dc6c518 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod BagCopiesIn False Passed
7106fca4261f2966919433bdfa1eab883294e946 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow BagCopiesIn True Passed
1b9cf64e5c9d37a37320c1788c0e6e636fb3cd23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow BagCopiesIn False Passed
eacceeb269d72a13949584d0e32ef491b62c79e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt BagCopiesIn True Passed
947cd8ec97eeaca930dec6c1181f82ee39a45a64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt BagCopiesIn False Passed
ba91cd47451f2cd0b66797dcc81526df0e2afa6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe BagCopiesIn True Passed
0f5fbadb7c247299ff7354575e04f39bb44ac2cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe BagCopiesIn False Passed
26367999b38ed5c6151e35d6384da151e1dda357 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt BagCopiesIn True Passed
3cbf47ca72fd7adcda8c8224f2a0095e696b3479 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt BagCopiesIn False Passed
12e935a58b3b193ac25753255132e16b8136220e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe BagCopiesIn True Passed
ce3c4729c69c6533e9a2739e7043846d6c86367c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe BagCopiesIn False Passed
12ee86dbf6c6d2033f8423e1531bbf70a3107ab9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagCopiesIn True Passed
c9fb08a57fd277765e21605bbfffc6db9ceac874 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagCopiesIn False Passed
4ea008b84e53b9b9cdcbda7a43a8a90ca470320e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagCopiesIn True Passed
11e11fbcea4e97c40d6c08318620696d52649157 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagCopiesIn False Passed
967716a11174d98b77ece00800582efbb264f67a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagCopiesIn True Passed
e17ef43bbb4359f089438ca63c3cfeea344e30d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagCopiesIn False Passed
6fc3e757747f2d99eec17e2cdc0fd1d13febc9f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BagCopiesIn True Passed
6650c2f0bfa0976509186776f144be621897b911 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BagCopiesIn False Passed
f6abe67f402926c293a8410c9f3c25f033ebef6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BagCopiesIn True Passed
2bebd114ccc0bf602f95f5fc7748bad2555a9b05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BagCopiesIn False Passed
a9e30ea2246a3d01a588f9a0cd7fec01bd0c267a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BagCopiesIn True Passed
f49e346e1791edf470b693adfd685b32fe951ecb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BagCopiesIn False Passed
e6691f51957b30b723db01b92a6bf36c6223c959 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagCopiesIn True Passed
08b7b20d88865b8ccce8b2cf318b7b87ee9f198b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagCopiesIn False Passed
957361fd2ce961a0fca666f5031d306413664feb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagCopiesIn True Passed
6494694414aafeaf6fe18c7d76b792552947963c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagCopiesIn False Passed
d585be01a699c20a72445cf0d6977f081ee4241c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BagCopiesIn True Passed
764fc754148b762066a6e99e7099c4a30fa80db6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BagCopiesIn False Passed
45d3ae1979f26da3120b22a17e4246e644ce7ac5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BagCopiesIn True Passed
ff81c94ce858fd52912652f8757bcfd1bf778da5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BagCopiesIn False Passed
6889e5cc398333d2a193591a4fd4d27c27db5950 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagCopiesIn True Passed
bf877a1c9605429b6a1454429ced7b57fb856bc0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagCopiesIn False Passed
8e4df4d9e29167021d57a295d1463340d65999c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BagCopiesIn True Passed
df6dd35d2a3c68dfb35acdf9d39651e61e8919b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BagCopiesIn False Passed
34dcebc8c32c0131a5d046a44c2b6099926e1623 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BagCopiesIn True Passed
3af96702d8bb29eb595f9db223b1bc41764817bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BagCopiesIn False Passed
390f570dfb8074bbe07d3b230f8b51aaf36287ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagCopiesIn True Passed
144fd921f036ba86ab6f6da89be770897a15b129 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagCopiesIn False Passed
a2a1761f3bf4d184e2a3d01140a68f8c4544b396 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagCopiesIn True Passed
50cd500bca37d95f0a44e6e6bbc7924c3c51d965 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagCopiesIn False Passed
e12c405f3b82fc49f8025382734d7b0c34f7189e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagCopiesIn True Passed
7d134be6208b50d32fe4cac91e889c9e8287343e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagCopiesIn False Passed
e7460391976d82f9ffed5f2a6a6224a09e974967 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BagCopiesIn True Passed
267fb93dcec7d447b321e0eb68f97f068617a5dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BagCopiesIn False Passed
025287ea92185fb8e381cd49c5a09308151a8b94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagCopiesIn True Passed
24949271378604fdd97fdcc7a8a687629820f051 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagCopiesIn False Passed
9b4687c7a5327cfb22665fd48dbca285b1929fa1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BagCopiesIn True Passed
6cf3486ef6108b3d6f98c9737220e6b47f5adada TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BagCopiesIn False Passed
c9dc99bdaacd53b5adb3b7adfac831aae746a572 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagCopiesIn True Passed
056dfd1eae96ed08a8e062279919eb07236c7ac6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagCopiesIn False Passed
af592debcc83254edbf8fda4867e9918e2b97217 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagCopiesIn True Passed
5ae5289d0f26c3461ad318d6f023ad2049adc176 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagCopiesIn False Passed
00f995af67c3a3e98c6d98c3af60ba07f2493695 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagCopiesIn True Passed
f805fd068ec765320f0e29fdab5b91b4dc9640f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagCopiesIn False Passed
40d58a52c43b1f2bc5e6c653182eedd835a5e6f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagCopiesIn True Passed
8e2a9269bf492e7ff5cc398be27852ed5f9db975 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagCopiesIn False Passed
247ca6c19d1231f352b3dfac6763f9afac156c75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagCopiesIn True Passed
a9ca6a17ca57459c2dfcc04ef18d2d8e083e9273 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagCopiesIn False Passed
ee65d278c2a16626f4db741c25c119a7bf941c0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagCopiesIn True Passed
5669c720a7ad399bf4d0e5f8d7ea32177a054841 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagCopiesIn False Passed
764923dd68f3bfbca416e6f8b756798996b50e3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagCopiesIn True Passed
8fa02998cf630de341e25f20614d68b36901190d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagCopiesIn False Passed
f7ed722137741e363d0e81b50f4fc78567599949 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BagCopiesIn True Passed
a3be5f902bb26d6b15ef18c4aca5540b2b681588 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BagCopiesIn False Passed
9d8b856959ab9c85eca21743a5f06fe5c3444676 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagCopiesIn True Passed
16220d74373011d3b8f0b999878e3a7d3ca250f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagCopiesIn False Passed
15efcd7f50509afa3e616724067bb0bf3a904453 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagCopiesIn True Passed
763829dd4565343519283ff34239da9257e91902 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagCopiesIn False Passed
671f7da043ff9d857d61a88838534505c6f95412 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagCopiesIn True Passed
341d67b2b7efef01966f1425c592274308ca717d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagCopiesIn False Passed
36761836ecd4f8462f18d48cc637d80183ffc846 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq BagCopiesIn True Passed
256d10b0220cddc9a51ce83612a33bb2d813e471 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq BagCopiesIn False Passed
7b7386c9fa658a145fd7c9749bf7db20cf8fcbce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange BagCopiesIn True Passed
eed6f0e0ed1c8811e3d976d4e3694bf289ac193f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange BagCopiesIn False Passed
7a587343380f63be6eb52f77deedb46729ee2e21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagCopiesIn True Passed
899c9c770c7fdc06382f77be6c32584b41220b3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagCopiesIn False Passed
322e7f8c6ce5cd12dc85dcab6add033ff7b0e60e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagCopiesIn True Passed
8e38d4503b34710e884626e3a8261447bedd09ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagCopiesIn False Passed
7dda397bd59e223bd69f72a47016b9b5479d5173 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagCopiesIn True Passed
2d46d9f2b3b8908c928a1d7f18d8c2d19283a6cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagCopiesIn False Passed
4a7c7b55bae90e95484d1be523d9abda5afb28b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagCopiesIn True Passed
c16406c4874b1bef63271ea92981869704528edb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagCopiesIn False Passed
b062e94387a91f61432fac37ba7f20a5a76d5fa6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagCopiesIn True Passed
05850ec35b76d44db6f891eacc1cccc295d66ea6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagCopiesIn False Passed