Index

Tests by case feature BagBagIn; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
ba75dcd25da5bbba11d06d1fd38eb730674fcd9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BoolTrue True Passed
a13ef05e9d2349a6715105092bc45209ea144cdf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BoolTrue False Passed
a410705d390faab07f3122e4ad00229568448737 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BoolFalse True Passed
9514201eb75cec0ca4aec4c673ebdbb4da30e52f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BoolFalse False Passed
931c5e25a9dfe3c93a6852308495615de6aa7106 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BoolSet True Passed
b93d6d8b638655ea1af4314edcf7ce5232d55eed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BoolSet False Passed
7b8e83f6409a936957477aa529541d92a4eb14dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn And True Passed
743ff63f07a6778ad0edeb47abf0b92ccb3373cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn And False Passed
baf013ff394add34f5b5b3079b5d1955f4f993a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn AndMultiLine True Passed
57239172917de04602fa716158146991a253eea1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn AndMultiLine False Passed
fbf8b11e5a8abe2f92a8d70262988c9682d4f369 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Imply True Passed
2adebd9e09d44c32657879e90f67c68a0e56f841 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Imply False Passed
328fe1fdbba297158d1d79791d377358eb388bae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Not True Passed
9d181f86ff8c3e21568084edb1621c72ea011fb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Not False Passed
110028f8df4ae8a24b0eae2d6a185d18915af48f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Or True Passed
1be2aef52458b41eb81e1c9df806c94dea82ae5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Or False Passed
97f2097134c25ac1659a4950128ebb1713b0ffbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn OrMultiLine True Passed
a1b97f072bab24dbbec78a0a37e1f453a34a8f17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn OrMultiLine False Passed
1c7169a0de7303aa3c3b9f0bcdf52fc63af74245 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Eq True Passed
4d5d90a7032e6713ec0f0bdbb06817939d31c15c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Eq False Passed
6b154c7f730031159d947f34d1ed4be856998f18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Ne True Passed
a26f673a765c92a89f860e08dbb2beec8351660f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Ne False Passed
c3d54b018eecb76aaac7530b34b0e640f8533f17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Let True Passed
4797ab2a84b9244fdb1d7143883e584ead858db2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Let False Passed
240e5a6795e28c0315cb72642f950927a7bf6e56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SetEmpty True Passed
ce63cadc29b51dc4b7daf15ad8034a20739c3da3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SetEmpty False Passed
c3d7397dfc3711267286e207648c35b9adfa3f49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Set0 True Passed
d027cf5d31858589f0441502136ac88f5a459696 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Set0 False Passed
d181202c4609f1eb081883e344f0772bc9d3ec62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Set1 True Passed
662fd5c5f1644b1f6e072ccf2aa6ed9b6f0cc1fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Set1 False Passed
cb7098f24c6c20b0d1762403908b501aa640d8df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Set2 True Passed
1d79fe175d6257efdd79016c1b7e4ba65c5c6823 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Set2 False Passed
06c4009e5084fee501c63466a684cd7716ae5b8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Fun True Passed
36adacb28a1db1b45c2d21f5452e90ecce46f2ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Fun False Passed
5f9374c10177ee4f0ec9a0faff88489579e67d0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn In True Passed
cf9fcc20843f8c7470d2c3d59bb2d1b939247d6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn In False Passed
cbed8bd59f00ab70862ebbe4d383c02890a757f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NotIn True Passed
1beaa4071871a9f098f4d61628f90451b40fba59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NotIn False Passed
3a6f365e1d832930ae3be3d93553eca231efa285 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Exists True Passed
c619126c644c547f06d1aae91110d5286c408aab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Exists False Passed
24183318930872e2d902bac383e9e24cbcea9271 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Forall True Passed
b2427bcdc94eee33a4f1386e3542b0b6ae895c2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Forall False Passed
37e2958d4c654dc6509d3852ebca5364034a2e50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Choose True Passed
1e81e35c323d6ba0ab54804fff44ea7ec4e9b2e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Choose False Passed
4a39a113e5288d3968e849d280e3e56593640cce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Record True Passed
e7939641ae0eb3e156935f6bf5c135d80629597f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Record False Passed
c55e01cd18f2e4add7988ad2b10637c97fe5cada TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Tuple True Passed
33e058d1d982e299ac0f6c46fbb821fd2be3272b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Tuple False Passed
569fb348009cf30580c29c6bf08ed817341caab1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn TupleEmpty True Passed
bcf2cfc10e2ca465085af3cb30906b710309987b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn TupleEmpty False Passed
51f5162eba8cfdd45bde6c8d6d68f3737e20a548 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn FunApp True Passed
4b96c0188426442c48d283150b3101e81f744101 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn FunApp False Passed
15bca1cbe8888840d4b0fefe1a1eb663eb73da18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Prime True Passed
32f77ad81ed4cc5e082ea1c7de48c4edeaeb0fc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Prime False Passed
a357d4dedc511e13fc5be18274506c392a94c578 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumZero True Passed
083e2e1060d362050605a06d597405cc99f500d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumZero False Passed
a73f1843db1d728e466332284fb8ecec1e47ec7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumOne True Passed
20f16fa037e3872e6ffe1aba4a93be1595c6ff18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumOne False Passed
d4869af46c9ad18629b3b40016a359090cb4dc9c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumMaxInt True Passed
469a7ccdc7ad7098294ef12d2c8da2b97a2f9270 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumMaxInt False Passed
966657bc5db1998831b3ba65d928d9020298107d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumUnaryMinus True Passed
1b4afb942a6dbfdb81087ad3251d7f43e6a5afc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumUnaryMinus False Passed
0dc8e3033f62f454f41533fe28aca7044d4cedf4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumPlus True Passed
72ac718a36e6c0dfde78ea17a951f863fcada32f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumPlus False Passed
fa18038fee77e04ae29c2ce5f1a7c9ad135b49e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumMinus True Passed
066f1e403498c0c16c2bb58969697913943a8ba9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumMinus False Passed
4a1ddc5d457f536adaaca867e0f721792c0660a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumMul True Passed
1be2c150f02d6f65a2ab50e121965ce7f4c2daba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumMul False Passed
07f135d5d92e1ed8b3370f647f06618ef1ede856 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumDiv True Passed
4deecaa99843b95cb65c098f3ad9d17110536a61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumDiv False Passed
b2dc09915a0fb43b0b2e20a0e6a13edb3f9e17a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumMod True Passed
75ae1683724535644ae611a25db2922cdd3c1948 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumMod False Passed
18031e404527ba1f9aaf0d6203ed179c282dafca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumPow True Passed
15deaa7cad25d9fac64e5b83c768f2c005fc4605 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumPow False Passed
699ee708466a086100de477b1053254bcb9123cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumGt True Passed
85a44ea2c7a2826dd27de0c09b338b55a8215a5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumGt False Passed
8443961ee9fd99672fa0f2908dcde5ce2d496198 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumGe True Passed
be5a562e4031a0cca1797372dbbca3994cfc1374 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumGe False Passed
450f3f049bf5dd3c163fdc68c5573145ca176c15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumLt True Passed
64bb29a9d475aac13764e4b0e59f2a67a028cfbb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumLt False Passed
3ba804f7f9b447702a208fda1588a34ade101706 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumLe True Passed
31c645d8f37957407da1e06c8f3ce90e70e9204f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumLe False Passed
928001cd59d1c511e5864ed94e0ee7d7736ef875 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn DefFun True Passed
3922ff52a8f3c06f14e09fb8a2de321917bdea16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn DefFun False Passed
99cd6c3a4ea22426cfe596d148650e550d24d922 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn LetDefFun True Passed
4491eb9a2029a4252a9561d0e7b41e5affe6d29a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn LetDefFun False Passed
7f131e9b47ca10f4b22e7d85cbf842295fabeaea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn DefFunRecursive True Passed
b5fae29c99f217fa38c74453548e2c0d81c83483 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn DefFunRecursive False Passed
8fac3a16f4fe75f1a892ed1c6a9216b6dd736af5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn LetDefFunRecursive True Passed
0eb7c9933042375922bb3af066ff59ac6d24e0a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn LetDefFunRecursive False Passed
a04c74dd714978a95fec10f00cdfb3a7677a5de8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Def0 True Passed
28b7df455e75a295a24ab0023619e56c3ed7d35c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Def0 False Passed
d7f5b45d4f35cffce799495db70706e3fcf38e44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn LetDef0 True Passed
5c15d29c6f41c502c3450c02c709672227e6d97f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn LetDef0 False Passed
b715ad799a234d0150887b35ab1b7585c9c4351a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Def1 True Passed
47cc40bd1b963cf48172ccbf5a49d89241154a35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Def1 False Passed
d573dfdfeafee1c794950804ac8112e93cec36fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn LetDef1 True Passed
56b9beda4dd1d249e6c2fe0b68086aa998f79282 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn LetDef1 False Passed
f9e19c6145a70ade0c6aa3eafa3824ec46c13f74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Def2 True Passed
43c276cfb6aa6656be8186b978f81ae612ebfce1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Def2 False Passed
a9f8c1e84722bb1f6127bde9f4b3a0bebd7a4dbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn LetDef2 True Passed
4cf22294edd6e3c6b8f7ebd1db92fb16bd3a0e5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn LetDef2 False Passed
afbf38164129a13b44ad38fd35b300bb84a3c1a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Def1Recursive True Passed
10bf51143fdcddb8e6fa598ba1a76707c8b2fd23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Def1Recursive False Passed
d8cdc0caf273b9a8e81a54d597a869e009a22d4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn LetDef1Recursive True Passed
8145d7cf937ecb7edf33929c510f940eebcf9d5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn LetDef1Recursive False Passed
69d7f7762f4e586fe2f4bc6c4cd517053ef17eb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Extends True Passed
46577aded414c550f1a8ff9f22583b175eecf1dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Extends False Passed
42f272109e379eb95b2892ca75a2c4a01c22b8c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn ExtendsInDifferentFolder True Passed
5980e39d0e71b4bbb45070a6ded27c7d633afe14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn ExtendsInDifferentFolder False Passed
36c16d7c9c453c244004804e139a95871ef9bcd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Variable True Passed
32c0a549d0dd48a471ae1d0dd5445c23488f9223 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Variable False Passed
2c280a292f3bcc7519b6c53ad32e7e0b6bf57e43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Constant True Passed
e680a0241ee1ab5a752ef868720dfecd556d9ae0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Constant False Passed
654370c4ac4ea547be33a5da1682d79fd08e6c4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn ConstantRank1 True Passed
3d934d998aab292d9870af214fed862f1c1d3d4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn ConstantRank1 False Passed
7ec3c205a620d881813a745648b565ae4840b6d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Instance True Passed
d2c3f1c41c4526458c4b6f667ebd8c712376b8c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Instance False Passed
2318f26da9b8fa3f4a02f63df663f800b15cc077 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceWith True Passed
e5924a7ac68ade0d1b47e426ba1eadd471a5c44c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceWith False Passed
bea57f286f50c8cb60848b432d6e611dcba120b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceNamed True Passed
cb490e2f7a45e68996fff011de5fe9e30266b939 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceNamed False Passed
aea69024ce12220f0756e95b85a23be5c8884d8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceNamedWith True Passed
7a648c379a066e538ac348e25a9bbc145f5b624b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceNamedWith False Passed
ded88638d81efb9ce39f71f842780cb8a334b4e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceInFolder True Passed
9eaa37e7abd67f180555ca6eca2e6812568caff1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceInFolder False Passed
48057fbccc6f907b522de23e6e0117f6a6d2ff52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceWithInFolder True Passed
89cb58c12df1ac6e56bda8fe130ff3a2db9944c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceWithInFolder False Passed
0e68bed56c43c1c881daff81b7d4a8241324d834 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceNamedInFolder True Passed
3b5d4946b8b91fd5fa61cc274884ced49499810d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceNamedInFolder False Passed
f71b71e17fded5a6d0a37e9ee8d89ba94af24015 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceNamedWithInFolder True Passed
7c0feac1d9efab5adde8c91b1ea4056b87b1aac5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceNamedWithInFolder False Passed
8d5f54cd26d7bd325c8e1e00166212a24562d6a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Enabled True Passed
c654a69959fa2436119ef47c8055ad267edc10f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Enabled False Passed
a85b2f7ecade46ca3af625eb2787bf10143b7013 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Cross2 True Passed
762a09650ae9450f85c46fcfccd6d62962db1ccf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Cross2 False Passed
29563f02e2cedd9fb0b6359b478a1335868d7149 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Cross3 True Passed
f6f4e4c810ce2ebf3a3f83b8a74ff3f44c13f9bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Cross3 False Passed
9c5acb415e77e93162a5d8154f8dc5b1d19fad0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn FunSet True Passed
fd63ede41db15020119ed2a2688570e32a61410e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn FunSet False Passed
ad6b04d449197c41d3b95f5db184c62eec36a954 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn RecordSet True Passed
353b05dea466ff9d712b0894e0df5f2c1d4b559b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn RecordSet False Passed
c62c5519a7ecab43f89e81a6c6a92d25dd6c9761 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SetDiff True Passed
aafb854829bd7420d4a3277165c1193e839a7f53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SetDiff False Passed
98af9c874aab746e4eb2c412a236e4df9acff6ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SetUnion True Passed
876c66224fd5e4db950789f1ec85e51a91cd18cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SetUnion False Passed
b96958e9831a0c2bf84b2129b0ef13d1c2f72957 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SetIntersect True Passed
d37f7b8634af1094a5643806fca2945bcfaebf14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SetIntersect False Passed
8abe447decee0a626eed2e08acf82a7994a3c94d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SubsetEq True Passed
8f2ae54ba5375f4880b9936d5ee850fc9df355d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SubsetEq False Passed
e74cedf8828d58730ccb1a9b2306b6e47475f120 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn IfCond True Passed
18aa5cd482de5749a5b7778979004ac9737b386d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn IfCond False Passed
3b02a6c73080e5e1010226326ca22c3ed26f26b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn IfThen True Passed
10dd15971d943b2df79e940876af96d6cea01a39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn IfThen False Passed
dc4bfdadfc29f3494e90953a91da53512c1285b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn IfElse True Passed
c7295476b1901d6f9e7f38bc68932a293cb62406 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn IfElse False Passed
e45ddc060c75839cf7f1735339a261475961f5f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Subset True Passed
a4ca9eecae666a584009197e947474744edabea3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Subset False Passed
e63fe06680e8a23cbfe02bf59b7c35fdf15f0698 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Domain True Passed
f1a29a91df3ae2a1306ef7e9a186e6179c288f7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Domain False Passed
b542bcc25581dc3ca368dcbf1bdc2e189ebecfa6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Union True Passed
5368d669c20add730247f625fe2c2b37422993f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Union False Passed
6f8f446ba0b238032c65fb7fe8c657d4ba4df867 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Unchanged True Passed
aa6dd4214a4bea8268308eb327a92cd19bf067b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Unchanged False Passed
45d0c057c984c2fd54cb0cb633f98b5e43ab60d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Equivalence True Passed
c8b4dc678f8bc50a676de986d8cc33e404cdc36b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Equivalence False Passed
48764566e301487d622ca6dcf5c86e0888895235 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn StringEmpty True Passed
a99e4f1b96d66dd68dfce86c53a492bb27f22a0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn StringEmpty False Passed
97bc833789e6b6783befe6b02d1b706ff6dd2993 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn String True Passed
32865c9ed463a9bda2aaf57a05fc3a9190e6f4ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn String False Passed
cd95ba9a9fd6cd160782131fa779fddda5a257f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SeqLen True Passed
98ba44116b1120f8530636382f924988b565aac5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SeqLen False Passed
98f0f8ef343f31363145af19149e00f37ebcfc10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SeqConcat True Passed
7d24fa793b06f805c1914d98276638b830a46b0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SeqConcat False Passed
0151a60ecb566db7fccf211d1804facfb1333d70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SeqSelectSeq True Passed
9c472151aa917304045f6af27feb104762687df5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SeqSelectSeq False Passed
fb6605b2cfd031ffe0920426958a353c6e74076a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SeqSubSeq True Passed
b7c5104d861b18d01248382e46521a298fdabdfc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SeqSubSeq False Passed
5b5139c9df3dcd14ff4f7750921e7ca9910b276b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumRange True Passed
8264a3049a17b3f96443d9877f21aa7c2a5dc046 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumRange False Passed
a9e044590182250b162448555f0e6b829f7f468a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn TlcSingletonFun True Passed
8de008cbb60a2b6f84fa5941bc9571a725aa6387 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn TlcSingletonFun False Passed
68d3f30c90a2ab681e86a5be0ba2a0f6a4e1064f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn TlcExtendFun True Passed
5a812386bbf1b9926b59067b7849aa8f3dfb785f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn TlcExtendFun False Passed
485f5b2aa257327d01720b83880ccf96c516a692 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn TlcPermuteFun True Passed
99609bee88763da5098d79d9048e0e44ee582e44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn TlcPermuteFun False Passed
353ef577595d8de6582d50f2c09d43513b36ff03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn TlcSortSeq True Passed
0ed155eb1cbe96dc5d57b1516adbda2c47f03c56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn TlcSortSeq False Passed
453a2810d67d5eee81b3c4e4f36ac95d6a39d8f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn TlcEval True Passed
424b58e9a822fb418b1bfc4117f80053cfd2e625 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn TlcEval False Passed
3cd8524ad8e4d1510e675606b50593a1312e5e38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagBagToSet True Passed
2d2a013abf81849d01e67ad2449a724d6cbf7452 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagBagToSet False Passed
1551c394e01c47dba5c98d59a450035312547e9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagSetToBag True Passed
87d1480258ae8108f41378073d265b8ad5f985f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagSetToBag False Passed
b8df96414fc079c4d857dc6b23e8e516d4fb4d00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagBagIn True Passed
be390ea2cf6c660eb783e298ae59c30ccc1d5de4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagBagIn False Passed
5e26ee568a9ce66c34eaf3ebff2bd856eee26392 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagEmptyBag True Passed
f998cfb55d8f310b0d62e563b47fb8ff7650ff94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagEmptyBag False Passed
967f067e50d34018390184f0357a2fcff62f09c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagAddBag True Passed
2f0d4ba6ce1eee61ff12398acad46ed320ad8c63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagAddBag False Passed
8150df3de4ea800bd3b96d5c55b5bba2d5db1e91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagBagSub True Passed
73370ce96305f9e4c5a34343b061d1e7c21df27c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagBagSub False Passed
3fb1e64eb5850e2dbbfbdba5a60a3d439fafc2a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagCopiesIn True Passed
6f7865f5957ba0692c61c8b3883899ccd8853b8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagCopiesIn False Passed
f8d54373c9459d5c8f9e0090dd7b82cd32345b83 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagSubsetEqBag True Passed
b9e8d4a9912193dab26d2db1576506f8276dadfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagSubsetEqBag False Passed
be5af5fbab713ebfd9bbf520880ae3e33af712c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagBagUnion True Passed
3c5f4e1ea3ee3f2d8e53bbf2874fc2984126f09f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagBagUnion False Passed
4a37468a4c714af546a10c9dadcfe6838eec6af3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagBagCardinality True Passed
9c01216840d9c72a7e825ff9f23906f09de03de1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagBagCardinality False Passed
775a3f122d708c4c1e2f2823be56cd5ec1cf831f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagBagOfAll True Passed
e5ed210473d9980806fc24b6cdde64b7cb7df63c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagBagOfAll False Passed
d77677d3298672dd0ac059ea154ffea252bd8647 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagSubBag True Passed
33811c8d1c93a3d79aa8f7a0d68495c43ad6440a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagSubBag False Passed
c85c39efb447ec55d88b04a34c9648695c784555 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn FiniteSetsIsFiniteSet True Passed
4da779e614b2105a061611fb68993e344c8117d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn FiniteSetsIsFiniteSet False Passed
cf140eda7246c6ff9eeb9e7d6e49901e28c3dc39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn FiniteSetsCardinality True Passed
88bbc5dedb89c1173ca4960e82860a582d54e8b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn FiniteSetsCardinality False Passed
721bea38990ce0b6e2e905d07d41692bcdf10412 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SeqHead True Passed
185e8de62b33eae8782b67faa2ba50add1edb5d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SeqHead False Passed
1b0c78fa1b7b9bd8aa4ef63d3788a86a8d46f40c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SeqTail True Passed
4c828f6b90827399aecf9fd6432dbbc812841ca2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SeqTail False Passed
9d530855becb112f84962b245fb06472a81118ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SeqAppend True Passed
fe881afb41600a0395574a8767c72e8c3cd22ac4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SeqAppend False Passed