Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e388f1f88af6013173fd4e4051c956375e803f5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And BagBagIn True Passed
15b848ace2ff8bbd2bb558952cbe0040da2b9592 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And BagBagIn False Passed
0dfbdb98227127c2ce1e847427e345f83995c515 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine BagBagIn True Passed
5786b48a565b5cffff9413d2747ca32aba778195 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine BagBagIn False Passed
ae1fe5d8ad44eeb29994ddb1a78af42780e9185b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply BagBagIn True Passed
d88ff30a4f71a4b23174bf88aa3e8139daf3457e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply BagBagIn False Passed
19c3b321df111b07eb436aabbcfdd7eab94612cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not BagBagIn True Passed
ef55da1f1f88c9bfa9353801de25de8782dccfb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not BagBagIn False Passed
661afac1f61b744dfeeb6ff04b631f63743770be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or BagBagIn True Passed
fbe5069d7484176873edfdb6c0ed43b05d941863 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or BagBagIn False Passed
8f2c2d923796a720fba9dda73e43cd48c247938a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine BagBagIn True Passed
394af5cc106464d2ffbdeb75e967c01e32978b18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine BagBagIn False Passed
0f92d394e59ee70a327569cd5932af14b4ff52b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp BagBagIn True Passed
b48d378a69c4b61cef66ab68264bde9a295a25da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp BagBagIn False Passed
fb5fd4d4e341b9ab4edc71e2be3d4a2210cba4ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed BagBagIn True Passed
0b0de364de975a691421fce9fbecbd3ddc9ae502 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed BagBagIn False Passed
b7b676fc21d6c21576a671f5ce700eb28babfc53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BagBagIn True Passed
7bffa18f295b23896e6532d3ee8c7d0bef7c3e63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BagBagIn False Passed
a7ddd7be57b09bfe2d506b975c2ae71237030a9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagBagIn True Passed
537b9aaa0557ffc61cef5407f68676f9b548dbb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagBagIn False Passed
3fe6b18e1e75a2e656321cce324485089e858924 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagBagIn True Passed
6624eed08c87502acdb3b02522fe24bc20d0b7aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagBagIn False Passed
2841f4c135ca71d839acec1a24e1e5af9e706904 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BagBagIn True Passed
c070288d9fddf0eb31cee13d3509fc31e5ff6f11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BagBagIn False Passed
3c9bd30086ad2a0921f51ea6b4a559984c855b0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagBagIn True Passed
057a121112e66b9144a51df8954d5819fc885457 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagBagIn False Passed
82bb952e97d53795871c878117b33c92c99f351e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagBagIn True Passed
5374c849e89f1551025422a67a48918582a4195a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagBagIn False Passed
be2abbf1474326bf0216b953ca31c8330acc0bd0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagBagIn True Passed
053bb203ebf564cb4659306f819af04ecccd022f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagBagIn False Passed
78f3dfe1b95bb7098a2afbfed4da643af39188af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagBagIn True Passed
52b4ae2e6a03a40e0460dfcb3a371647f80ede15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagBagIn False Passed
9f22e377b1a4a35d952a76e11da8ed2548ad2b8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BagBagIn True Passed
c9459948b8a3f9f56e186c580b711ea93c22ff15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BagBagIn False Passed
6c31c11862dfdc7bac7031a02b7d1be6c98a17d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists BagBagIn True Passed
1ee7c554d0012e784134e54716f7075bc689c2fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists BagBagIn False Passed
dc742a41d7fad3a0a486ada0617db74c27d05c41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall BagBagIn True Passed
d80914afdc3d53d857053ec4b812c1e8c588f17e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall BagBagIn False Passed
3785badd1b289dcaf31b0ae90a8bce241112f8f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose BagBagIn True Passed
c84050dd8d8cab57e2acc9671e37baeacd204591 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose BagBagIn False Passed
583f1b5806543914e3f579be778f9e6792b7f186 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BagBagIn True Passed
18c7846a86ed87eb32086d3933a6176aded7a8c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BagBagIn False Passed
8bb81fa8a3000c0454f1d2756c691f68eabecce1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BagBagIn True Passed
026ab0cc7cd0b526fd82d7a112e011a8c8883924 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BagBagIn False Passed
ebadfa9ff1f5711a264478f3cca0958a83963fd9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagBagIn True Passed
4854292535f8f7db6f6ca21e891998ad2ee2e5f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagBagIn False Passed
13008a80fd90a048a228b178609628dc02a028ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagBagIn True Passed
79ab71531c36a6801d93a789083aabf129483aae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagBagIn False Passed
1a088c2643e4d7820d47b6af521e915e52dcc620 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BagBagIn True Passed
56cdc93376814229803acc80c29f5418dc8f52fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BagBagIn False Passed
be16d31e9acba82c30d08a24a176bf48ecb186ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagBagIn True Passed
fc1b653c046baaaf3e2436d3765a9d8c5f26fd84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagBagIn False Passed
4ac9c1a2f6c1cb625e82de4bd8a216f9ad18ee85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BagBagIn True Passed
876f39e4e97de6273329915d7cd476084ac29655 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BagBagIn False Passed
72ffbcfe6b3f41a40fb621742efdae3eb019aae4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagBagIn True Passed
60f4bb40b5b23d358f83d70f8492489459c24655 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagBagIn False Passed
0b47d41bdfb3db74898efb6e28fcf417ed63635b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BagBagIn True Passed
d9b28c53b334375f525fe83114e8d5abe0f476e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BagBagIn False Passed
f61cb28432ad5da57bc7840632dada9cfe379acf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagBagIn True Passed
b0c5efb3d76dea1a920f69621d12306c2aa685e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagBagIn False Passed
810ae8c3b251e7ccd839541c623d45ae673cdaf5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagBagIn True Passed
b69605afb940e5d48348c920446175c053c40d64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagBagIn False Passed
4c9f0853be4e058eaa03afd08bfccf6a10d66bac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagBagIn True Passed
0803a779335d71527348fe5a8b2c715f8a8f1fb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagBagIn False Passed
898a8ebd0634370989e1d6113ddbc2dffd43adce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BagBagIn True Passed
de71857748258fff9a40284f2669a9166c9519b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BagBagIn False Passed
e891908f71b1db7223913affd1373196f0673f65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BagBagIn True Passed
59bb1051d27ae7f92e2610fc0acfc731cbb15aca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BagBagIn False Passed
b01ccc9b7bf2340d77aae7503c4d455452f697b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BagBagIn True Passed
e9086dddf1a655d6f6e586828d20873d2b2fd863 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BagBagIn False Passed
f0b3c6b38d5d5289148d8d6e85c206a381cdd606 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagBagIn True Passed
416775da19865bdfde1d7aba86599d4822dbf411 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagBagIn False Passed
618abda6f60cdfd82f0cb4e3aaca1e02009ca1fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagBagIn True Passed
d46ce0a21bb4b6ebfb0b64058f14037438caaff0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagBagIn False Passed
e811c054879ec41acae43d26cd9c259ae7bc8d7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BagBagIn True Passed
c2a93c27bd7476b589606b0989192690f22bc096 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BagBagIn False Passed
67e2a6cb8f81cff03eaf8c5f0482caeeedbc30d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BagBagIn True Passed
07b66de131691abb7d26da645ceb0d3f60628920 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BagBagIn False Passed
740e291553a8b31083dae99e089e32bd7357b711 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagBagIn True Passed
740c08b1e2a03aecb68d6fd02d9c8f10b8bd301e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagBagIn False Passed
64655c7c05111b929fa116e31af22321cea828aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BagBagIn True Passed
b0adb4fa4f6394ef57bd2ce1489b98645358ac5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BagBagIn False Passed
483e764330d737c1b8bc2e898b445c2ddb1691df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BagBagIn True Passed
a165d0bb44714717e0427d3b5a69098f735fe487 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BagBagIn False Passed
83751a60b8b6bc38f5c0986d1d0174fcd26b8db0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagBagIn True Passed
0167d34c73d15fe347b03635cefa00dfb07f19ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagBagIn False Passed
5f3f5631538cecdcba045bbe1e0dac5389f7dec8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagBagIn True Passed
598843352ade6257d23ca6d3beb58e3e47d674ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagBagIn False Passed
41b676db5cf47150aaaedab952928b68140956fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagBagIn True Passed
a3fae2fa9df81f72787387938c3fe03d84f4f275 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagBagIn False Passed
88666cd4af77f03b4a322ed143cfdde1524eb040 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BagBagIn True Passed
e9d0aa0847921aa88c3c6af2bdbfd8ea40cf5585 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BagBagIn False Passed
c67d1e191d30a6b2fec66c9a818a3ca3f3cbaea6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagBagIn True Passed
3b1d248baa336e4e2364fa7a853fffece1b5baa1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagBagIn False Passed
bb8153bc09e358a2693e0e07523cf3ad719ea586 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BagBagIn True Passed
cd069e354676499d08bc3fe4a7fa8200916cd28e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BagBagIn False Passed
2cc52c14327033ef3366846780069928b04292d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagBagIn True Passed
7cce7a92b40de57b599eeeb92fdcf947c6d528d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagBagIn False Passed
fe76111b1d94518518b8d4ab1a860273ce9b8d0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagBagIn True Passed
d374b29dc4c354c0310180690c83fa5f165c2bb1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagBagIn False Passed
e6aa91de220654449af1a3f8fedb7dc87a345f61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagBagIn True Passed
3a3119b56818f4e75b253dd2c3145231b873cc1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagBagIn False Passed
f89eaea6e7b1d2bff507e2b39799de268eefafe0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagBagIn True Passed
16b09062c8f6b01f52b74eacecf8f765054757f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagBagIn False Passed
0d0cca8811893d0a81895e259f5f45c71ae5de3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagBagIn True Passed
2fe94a215185294c720c0c175f356e3a3b8db922 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagBagIn False Passed
7fdfc98bd83c1f649e521b27cb6594382b4f1b75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagBagIn True Passed
7e827f4e52e4be3afb74a1f62537e6ada078bdb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagBagIn False Passed
412f8f595b63f62383a72a1037c9a2cd9b42591c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagBagIn True Passed
9d140eb4de149cf9e4c0654f6ccf784e902cd617 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagBagIn False Passed
e398aafc63291e1e159175fa3c012d14ea3a29e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled BagBagIn True Passed
0cd0fcf6d515d9127b6fb35d6d089b7bfc79c145 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled BagBagIn False Passed
1fff01c928ddda0e1ff2bd71d08cc2e3709de2c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume BagBagIn True Passed
7243570b0a13e2bbf429a04d1b73b6129086d6d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume BagBagIn False Passed
699ab5b985bae10e2c96dd54ed0bdbe26045bbe7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed BagBagIn True Passed
b8ffa50eb1520fe58032dde81bc6f20a7e73c323 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed BagBagIn False Passed
8bcd33a21c22da6007f42edee56b15b7d608d5e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BagBagIn True Passed
203ec90a554c145a2ebeb4bac0620ba9f0a44df9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BagBagIn False Passed
c7c578ecd5875671083bed1cf1fa4320a82f8c60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond BagBagIn True Passed
e81ba37895c34f5f720eda402d2c1279138f0f81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond BagBagIn False Passed
93de4c1768e217515e6f92f940a197909a6c82d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagBagIn True Passed
09d018cc440613ea971dadf7d5f5970b66a44e1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagBagIn False Passed
592d74c01897769cc3d324c2e94f23328a544059 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagBagIn True Passed
6338efd793c253c0bd4d9fe716a6223c10e9e96f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagBagIn False Passed
66e7364a4576e48b78ffd2c1ed6854025be66fbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagBagIn True Passed
96fd3bc649d96646bd94f3a8c176a67ffa491d69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagBagIn False Passed
3a9479d1a0d310172b93407b3fc24eb9b56dd224 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence BagBagIn True Passed
c3d3a12b255259f7f107c52bf43962a9b65cbd42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence BagBagIn False Passed
4a4cf687d6a0ad26a1f0ea235616a6b3516411a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagBagIn True Passed
b9b4c920ecd6bdb4d1b6b165aae949eccd72eaae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagBagIn False Passed
dfe1f907a35edfd127baaa32265c9caeaaee2649 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagBagIn True Passed
8b31cd62a07cb68a5aacf9169bfc6157df5e95a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagBagIn False Passed
af584821bc3d3c0b5d1835ecfb50c5b43e0abe8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagBagIn True Passed
30d906e52db6f8e75735345efcba5a87205cc4f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagBagIn False Passed
44b4dc727cd26271b759990c643e68f6f54ad515 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagBagIn True Passed
d478edc67efb576a94203f633b5010c46d26f4f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagBagIn False Passed
af656382f2179b5dff81a70f8cd7d082e6bf63e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagBagIn True Passed
d7685987b7d54cce437ca93a57990e9a21825843 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagBagIn False Passed