Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
8a50e4d2f709d516f5f5c738020730d19f177a40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BoolTrue True Passed
ccc7a2eb89b6dd7ae12277c72f33ce7bc0a854d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BoolTrue False Passed
da6b4ac6cbf107eb90713fb38e6f209f4f9766b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BoolFalse True Passed
9ef6a77f08f73b8d2df0fc0afc6d25264ff936d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BoolFalse False Passed
4fe6c37d15dd0dd6ddcc012d7a80c2b81b991ef4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BoolSet True Passed
e4aafc0fffb1180bffac36ac18d785d36d777ac7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BoolSet False Passed
3cdcf95631e5a70aa4ba49077c71a217a14ddbfb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn And True Passed
78e2b1295e4660575b28b131d65efde714fb1906 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn And False Passed
899eae7b5e30d7de685d176b163d6be9159fe7bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn AndMultiLine True Passed
57655713077ade73735d102a606a7ced168ff09b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn AndMultiLine False Passed
8a61de2a4c27004b351a3f09c8e8dead947701af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Imply True Passed
b95eb8c60d059631d12ed050923f322c9cf5d901 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Imply False Passed
61d9376dc9e573356aec134216d3d07a703cf7b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Not True Passed
4fcc3babbd13ea1fa2ba304df59cc2ac477c0c9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Not False Passed
289c19112d62c0a070c2e044df26d3359b611a0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Or True Passed
14ac18cbb340345ebb4c7c9f81cb9b4ec3c7ac27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Or False Passed
c3db0c6b4a23cb6d4bb19c7e67fad39713056858 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn OrMultiLine True Passed
0fdd47d8031457f192904ac5fc7bba2d471bc4b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn OrMultiLine False Passed
98a366d35b2b2b04eb7043b04125fa6e368b5594 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Eq True Passed
45ac125906af512897f5569e4c8d73151994bd8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Eq False Passed
d9dc238f0635d270957cf361390968ef2579f641 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Ne True Passed
5d6f6191305bb1bf9c25278d1396e77f53d59748 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Ne False Passed
9d772b3dde422d00ec19ef95abc9ea30dd72bdd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Let True Passed
8bc3483e6269708dce34b137bd2e38a26f8f0792 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Let False Passed
1b1d69251e9bb846f2be7481ab5c8ff2daae1959 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SetEmpty True Passed
be6d67ed83a6bde19abdca29a7e1fa5c23d6397b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SetEmpty False Passed
e384146c5515b407120ba077da2ba7b63ceeb79a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Set0 True Passed
0156f6fa241a9a3dfc35fb4c5a72f7072cb3d9eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Set0 False Passed
61d4557c953157d705335c83bbfdc7f3a3540fae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Set1 True Passed
092691a301158dffd884399527dd3907b5a81c79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Set1 False Passed
b1ce0cd3e292bde9df0186192a785f27225f1bc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Set2 True Passed
0907f3468dc48c5b6670b801fb254c7e8a235917 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Set2 False Passed
773f6f705a0db1b37d1ba25b4f3e8267a0b51a7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Fun True Passed
ac5f5a80dc90a4a9f3faabe3a721ab5ceff819bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Fun False Passed
04296ed00d9c12c864baff29adc43d13072fa379 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn In True Passed
f93402a81ca844f267b8702f073bf5215656fc1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn In False Passed
fb8c0aa828e1f5da3009fbef14c85564a8716a02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NotIn True Passed
ef9615de16a2079de39a6bd2151382663cddb8a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NotIn False Passed
9c818c446774ff0bede134a404adf36c31ec9f8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Exists True Passed
60b5ed4c516087644cadaa3fd4aef80a2afce93a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Exists False Passed
64bc27e891488bf6d3978112506ccdeefa95298e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Forall True Passed
a761c08f23e38f73df0b7f2e542aa8d17c9ea66f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Forall False Passed
ae8b8a24c0c7609f356476c681c24e6d3524b4a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Choose True Passed
5c4472a93261995788e7fe55b3687d366b7a4028 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Choose False Passed
05d43e5e808b1c9e8573d2a3f460e4bab811ab87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Record True Passed
1b58809ac563ae78be41c287827ae7138d5afb66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Record False Passed
19fd28877ff160274534f49d1b46e79b73cf3728 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Tuple True Passed
82f09a8fcc49972bf64d7333079e7a703c6a0900 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Tuple False Passed
3d4f03cc1b54cd13a0d48882b3e4d960ce752899 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn TupleEmpty True Passed
b68cdcc1de4ef423749183e5e44a9fefce540a8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn TupleEmpty False Passed
112841f4034d1d8afd816ad8355bb211659cc6e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn FunApp True Passed
f41a8036c7725a86383e94883d75c186590c32d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn FunApp False Passed
8dce06f15f82a7be332d71b984244ea49a4ef037 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Prime True Passed
6681cefbb87dfc3d024c4e742d173de36076ab15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Prime False Passed
2846f2da70b3bcfa22f2f812484a3a37edd88b23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumZero True Passed
52ebe3673912d8f598232e531335744c86478d03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumZero False Passed
7cc619e81b8fe7b6842d1f96fd19eaa972e655a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumOne True Passed
316bc6136ab6d7f6f6faa5b350e479c339161f2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumOne False Passed
672aec6f6fbd4e9f9c2c5c3cc33cab78feced7a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumMaxInt True Passed
07d2b2860a71741ed44caec725cbad4a35a74957 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumMaxInt False Passed
22585e4cee1f54100b6f317aab5f550941302d69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumUnaryMinus True Passed
4c5f03b109376df6e59bfd34407965f14712018f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumUnaryMinus False Passed
83cbc84f071feff13290fd7bae739ad99bd9901d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumPlus True Passed
81d458944f7e9e36284998c3343e05ac302adf96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumPlus False Passed
7017256588b82c4b9cb1c8af3ba137859f6cefc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumMinus True Passed
f6b0e51605b46b816d1e887b29914f1bda2cfe4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumMinus False Passed
06d4cc2018591bfa58477b0c35db9e6b8bcac85d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumMul True Passed
da5e7322c66ccf1885c385f1faf401750975a179 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumMul False Passed
8ca2603983c8ce8f37977a48f8e72fd643f74cfd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumDiv True Passed
f3d29a953ca2034598b3ef17c8e32363bf31bf64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumDiv False Passed
95627b366d4f340abef1178a051d08968906bbd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumMod True Passed
24b7669b5c56adc219ed8c125c816dc183d42fd1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumMod False Passed
7ea801aa6b10359e8eccdc41bd0859df6b722097 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumPow True Passed
6590e504bccf2fd131c0cbef8676b365d055d208 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumPow False Passed
33dc3614f779258c8f0162b927de2b8eff820d74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumGt True Passed
6bf43132791614cda81b90e31fbf57b8c5c5e8ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumGt False Passed
39de0df55c95a2f1be683f98f16cbf3fca5c293f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumGe True Passed
95ec9525e8921c00a99b35e9c95d7c8c80f23214 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumGe False Passed
9286a9a7437e7e882426919e4ca98099ed74b307 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumLt True Passed
797262241c5700dde6b7c0bf8a202182bfbacde1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumLt False Passed
3d2f333d423177325ccc14dfbc1e5eb81da4271e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumLe True Passed
ba600746351f9c76a7606a0b2a11584763802c02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumLe False Passed
430fdce0587073218444eaa82649f63d3b528186 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn DefFun True Passed
1499475949715cbc6615afed05f5c79f9577da81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn DefFun False Passed
eaa9c7ed651ae6ebd9bb648a0eb36a6a4142ed7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn LetDefFun True Passed
578ae81d285ab6d8e5373fc46dd0f2260e281f12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn LetDefFun False Passed
25b020c0043eeceff53bdf1379e3101519056cc5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn DefFunRecursive True Passed
23b64e3c4421fc076f1e1df964457cbadb7172d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn DefFunRecursive False Passed
d71433c149b72b06cc5bb008099dcf485aabe66d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn LetDefFunRecursive True Passed
1b51747eb043a12cbcceda5213b166e584828b53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn LetDefFunRecursive False Passed
7f2fd0468c63fb4a71264766d6aef0d1c914efdd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Def0 True Passed
77ed4ea5f4b0392781deca4816e10311ea05457d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Def0 False Passed
902debf0cc348b8e178e3e3554bba79e41df5204 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn LetDef0 True Passed
227778ec46ad969abbf4fb41da4e378f4788f9e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn LetDef0 False Passed
8114d61b16490ed91b128370eb2a0c1a1c6384c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Def1 True Passed
4c9a80b3dfe5bc9335e2162fc64bc21146924d25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Def1 False Passed
2532095a4f53d188092d4f4f53d0a5801d058ecb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn LetDef1 True Passed
a729af185a67165e11cbd0ee77d22af29c6de63a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn LetDef1 False Passed
38929feeda17554c481acc5efe5d94f1b259b101 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Def2 True Passed
2d1cb914748abc4f72d3dd9c4fea8845a8c524b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Def2 False Passed
d92789eee6cb94245e9600a5db415037d3365238 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn LetDef2 True Passed
c415c449599a25cde64c932815d4a67cb91990bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn LetDef2 False Passed
059b5ea3582b766ba7bea21f9a0ffa348f262cdb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Def1Recursive True Passed
4c7f14731a80ba4e861d81490ece4f0363e0887f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Def1Recursive False Passed
c68d33f44fd548214910430bbcb9d84b52ebc8c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn LetDef1Recursive True Passed
973cc7728446efda4374ae62ce0b10c7b2327e75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn LetDef1Recursive False Passed
f0c9e6993cb6d810223a066cc2f503335243baa5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Extends True Passed
bd9d87f0d4f72a5debdefdcd273b3aa8104876cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Extends False Passed
6b7eb54db547ceec6ee38b7c9607a8820788c359 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn ExtendsInDifferentFolder True Passed
74f4e920593b2480ebc7758047f33f8d64f7054b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn ExtendsInDifferentFolder False Passed
8c8f946e8a3ac2308cc4a1ec40f494840ac964fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Variable True Passed
b9b2232c881e854f1ac7cbed3e5400442b92cc05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Variable False Passed
d6885b2a770e4207c33592b664cf91c07ef172cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Constant True Passed
af3c6f403b06cc8f20a6069ffe6ea07a053051f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Constant False Passed
3799eca739c87b56adf0b3571387ce27e06ff86f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn ConstantRank1 True Passed
153b5d6f3bcb48190ca5bc672c87ba849f82a3c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn ConstantRank1 False Passed
f09071896d83f626362917048fbc6bbd92d04ce8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Instance True Passed
c9aa390fd601c4983528b053968bbdc7b9086711 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Instance False Passed
48ff5db17931d729dfb815cd9e00d179610a6e99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceWith True Passed
7d26919613dd2d5b1fab823f73540370e235abcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceWith False Passed
4a4ba811751236b82c5667bffb9ea0f026a14431 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceNamed True Passed
aab738c52528a1dbac6abe69206d296327ae5179 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceNamed False Passed
af6d29b814680da1a5b642bda2efa894571d5eae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceNamedWith True Passed
8e6a9703d3aae2bf34a6f90d2809ed388aecb236 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceNamedWith False Passed
eb3d18ed531762552871e0389f2d3efbcf0b5a38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceInFolder True Passed
127ac7cfb3a412703cbbede5213277eacfea541e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceInFolder False Passed
07004d3e51fe2457ef45372531141f5467f69fd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceWithInFolder True Passed
6cbd97ce5c8a9689b2b6ec44550a0c32e5c2854c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceWithInFolder False Passed
0330e39714c376ffece5f587f35714bd332504c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceNamedInFolder True Passed
1bad807988933e59880bf5b983cfabc592b9f7b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceNamedInFolder False Passed
f9062e8dba32707e6a2b6724c2d24b5b87b585c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceNamedWithInFolder True Passed
cd898182144fe03c8e4c2333be0f18af0fbbb8be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceNamedWithInFolder False Passed
45f6206309f0c5b74264bd7055eb1d0d0e0bb7ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Enabled True Passed
c2f778d10fab39430698504761ec610f52a730a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Enabled False Passed
349b578e5c6344e15c44b132654d32d4da5462ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Cross2 True Passed
dd06f639cfdc1d618a2e870367aff8d1d91163d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Cross2 False Passed
50759fce2907f370beb54313608e4e5dc30d9f3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Cross3 True Passed
8f80452a52e0e01325ac6ea397bc95ee97640427 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Cross3 False Passed
2539d58f185ff95b07554b482c5684c791bd8a06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn FunSet True Passed
b69d5e90a0a056fb4194fc64ef91ee2d11a252e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn FunSet False Passed
f047d4ae5f3d04470bbdd2681d1515dedb2b4f43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn RecordSet True Passed
967d59422530a8746fa354dfff431cccc58b6e26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn RecordSet False Passed
1a6339ade79557179b00df6f70d99ea2582be849 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SetDiff True Passed
5815c8a86de1a35910f0266c30184f21710504b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SetDiff False Passed
33722d59c6ec103564add1e123f26444c53a7673 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SetUnion True Passed
08d1f2c7498b146426d1327a3c93b6029e776f30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SetUnion False Passed
494be29486dd4b1d9fa8cdeb8d2682f23d8fcbf6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SetIntersect True Passed
236dee16bc74a7b3c1a210c60de0bcf9ef51d3c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SetIntersect False Passed
227c68adc3eac2b7c865a3a1e6e83da8b3cbbf68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SubsetEq True Passed
bef9176b6e6da4f3c9016df04abdcf94d4b4648e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SubsetEq False Passed
f23675532a7865183bbcc376f5fb7048f1d05dc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn IfCond True Passed
95ecaa60c484a8e8489b2b213271deeaa1f60dd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn IfCond False Passed
932fc7d0f855eb114917cdd404d6c9556880fcce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn IfThen True Passed
135e5d891371f7f26ab9fe44dc02642fa6545a09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn IfThen False Passed
8503a998770b615f6403458788d17d2aea64d94e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn IfElse True Passed
1f2f986ed0569790a51c60fed9027975d103d72f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn IfElse False Passed
bb969fbf7298ae5ba6fe473106882aa178055a70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Subset True Passed
3411749acec6df47ac229462f0b81474049a3ce1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Subset False Passed
387cc227498e60636f7f4970d5920f56113bf8fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Domain True Passed
e773ac9aedf5c16d949e18beee4bdff25e6d7d93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Domain False Passed
9bf90e9f54497cad5d2eca41e00bfb8d03cebfcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Union True Passed
b8ed57c5c5d9756f3a3435cdc2ef2a8a4013f021 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Union False Passed
39fefd378428278bc3ee01636a63a1ce11de9304 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Unchanged True Passed
c1d9d5ea937a8cadd77a1001ce47d66eb0e8edd1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Unchanged False Passed
9a566f8c0301d04414246048ebc9e82d78f9a6e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Equivalence True Passed
bc1974d8c41cfc9a9a4889e2d083631e18e15839 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Equivalence False Passed
dee12614a2bedf9dfa3b451c7f18eff917a29d95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn StringEmpty True Passed
db9bc778630e8902dca18f53f99fba79f03c8f04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn StringEmpty False Passed
aa0572858b13f4dbd9ccbbb2b717acddabbdca9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn String True Passed
267f69e19ad3825f48627a0ba3a87f06525d0eb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn String False Passed
595c83322564d2d7240ff19a15a1d051175f4161 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqLen True Passed
67b68603c564ecfec4df6ba04ab102cf9f6ca646 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqLen False Passed
1e76e2b7c5de655491366b9a41c7ddad7653d169 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqConcat True Passed
cd4c29a2c04c842a3513fcbf3f7aa4d88d060703 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqConcat False Passed
8124b2fd617a81bfafb7624d1a4e2dd3945de53f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqSelectSeq True Passed
6a72c7aef46a9bd8758eaa4d814f61372da60a00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqSelectSeq False Passed
010a9a1a8f07b5e380344078d1c9be0cb212cee0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqSubSeq True Passed
57df985022ec8643b8fae572dc94816b5197096c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqSubSeq False Passed
2bf33edabd32752d5fa83f4d852dd019e18593d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumRange True Passed
cab6f59b79ec2049d1d82f56fe6e400af027767d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumRange False Passed
79447a26c6017d77ae23634abae75b379e7bf8cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn TlcSingletonFun True Passed
1d1b8dee04ddc98e50ed476aa0a0f0b786ab59c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn TlcSingletonFun False Passed
d083c7cd79d9f4b6ea12f54e57d5fba45671e561 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn TlcExtendFun True Passed
1c008f05a66302a1065ba5382560515f8301fc84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn TlcExtendFun False Passed
3f3a27bfb25fcaafea7d6245e5b660399eb16990 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn TlcPermuteFun True Passed
974e83b18f62a4cc24c3c8d0733e08cb6b6dfb2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn TlcPermuteFun False Passed
4b4e61dd2d113702ae4c1ea9c495bfad8903304a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn TlcSortSeq True Passed
2eb53be1135194a8638a9bed4a8ff47cc1d6711d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn TlcSortSeq False Passed
af237dba81efa48a7b604e0a4f4c6640e1d34f03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn TlcEval True Passed
319b49f97057d8ebff609f12cec8cef767819021 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn TlcEval False Passed
587249387295d98e62dfdf02901e2b55de06bb18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagBagToSet True Passed
c3a0e9a06681b524625f07600c5e7b05aa731a1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagBagToSet False Passed
0d6277fab71f9b0ec165ffe5f6721a7e2f2ecb61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagSetToBag True Passed
c84705f0e56872cf3895d7688d3e7cbde46de8b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagSetToBag 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
7e10d59ff9a73a0370042e83f4ef881927c53d67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagEmptyBag True Passed
5f612562db254c98b0b5fcecc8524e6c42675866 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagEmptyBag False Passed
5597eea89f2e3c169aa9cf82aed3d2a3c982fa33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagAddBag True Passed
fae1b2af62c8ce83decbcc160cebf5c5f4907ee1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagAddBag False Passed
259502c49093a6df2a66d77a3682da0e0da5feb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagBagSub True Passed
83a25faafaabc35d540dba850bfc84a62fff7288 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagBagSub 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
1ecca6b50f13d844217c84aac060df387c00786c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagSubsetEqBag True Passed
6b6c28c72b4bc2382e0478c6f4ed0c209c8d396a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagSubsetEqBag False Passed
7298398a679b47621de2803f9b478714cbdd31ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagBagUnion True Passed
ee788776a071e9f2f1db316ee1ab145f370b45b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagBagUnion 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
d54e47ea7f53662377ba637e06c1a2c488ab9a3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagBagOfAll True Passed
b1a751d734ef7347778ec3d30e49d83ccfb840b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagBagOfAll False Passed
db84b1a196e650201b531339883b3ab987b45f53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagSubBag True Passed
dde77879468f165431664e1e4d29e827585d8f2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagSubBag False Passed
e7ee6c8297d15690931b56009d3c94f347e0363b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn FiniteSetsIsFiniteSet True Passed
b92d85e4c24366d4583ed0c88f6368c7ca1f8747 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn FiniteSetsIsFiniteSet False Passed
3203ac9bf85716dc8c992d080fb5b23675c74e4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn FiniteSetsCardinality True Passed
5a7ff8fcdbd45eccc86dc0dffec9b05b9d0210ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn FiniteSetsCardinality False Passed
27a2b56ce4f646c074bd2379046ebf4e2585e66e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqHead True Passed
930a2d775b51e01ae7defe13cbc1f701deab080f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqHead False Passed
fcdf7c5f50f6021d57fe8baa449dcd3069c0ac72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqTail True Passed
19d0740058ade733b7d3932e7b1ec66bcf019b5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqTail False Passed
61d4751068bbc06adcca2bab219dfdb0bd90856e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqAppend True Passed
84770c8d26a5158c4a4f0bb4adcdca9556fc03b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqAppend False Passed