Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e483094937b66cc1491bec9f070711d354c20728 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BoolSet True Passed
64c9bee23b6dd1ca9f3512ec79a4d231da0d297e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BoolSet False Passed
28270ebcce0c1564ad9cb6941e8642afb8759620 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BoolSet True Passed
20a478df0c4e99e0c954630f176084305aeb12d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BoolSet False Passed
26f6b980e891915f65e0bf113b27a82eb8134065 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BoolSet True Passed
e1a837b2e9b1b19805cc1f496e369506b1e03f2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BoolSet False Passed
a3a92ab99b20feda70ed6ef1983567eb26eeb584 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BoolSet True Passed
d09e413c0f386d8c2a8b5e7803229219a3cc73c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BoolSet False Passed
056115fc539e9a84a9852fa0cae341278792fa45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BoolSet True Passed
c971c74dc6e73d2da9f7099f9602b8e5ef5f2cbe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BoolSet False Passed
23cea5f69f554df99cf563e6752b438803bf430e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BoolSet True Passed
c732c56025e727a81ae191335d95a02ab7fd011b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BoolSet False Passed
e629487391cbfc6f76bcc69287c59f4818fd27eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BoolSet True Passed
9c7eddbca56fa66859523808a010adf0148d2276 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BoolSet False Passed
b427b9f57e8f1e27107141729bdb85fca413f8b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BoolSet True Passed
a94b854635b6c4b859cc082b6c3b50966ca8816a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BoolSet False Passed
49ede575b50795ba549ef38704becaf8b53a767f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BoolSet True Passed
fb44fe4e1e05d73331d69ff4ae4cb244bc4cad41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BoolSet False Passed
108126beff10e2473fffee2e6287b5a5790c19de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BoolSet True Passed
8e108559217aa04e670568eab952d6eee4670989 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BoolSet False Passed
30dc7bc3a64ea64e3ffb2267af26ac6d6d87dd21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BoolSet True Passed
f1f17c02f861f8591fedcc2252409ef87df1febf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BoolSet False Passed
d26497fad07cf4802b2660698f42c5b6e6256e38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BoolSet True Passed
8dd9b48cd2e49b2d68d323b626e46b9228b6fd91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BoolSet False Passed
aaf8e9cbb8347aafad1629f32d7c0449394d043f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BoolSet True Passed
6ff86b8938c7d5b1e21d240c1b0e9aaaf4729aff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BoolSet False Passed
63f2bbec0d590462aab7521428148e32ce3ac55e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BoolSet True Passed
fdf40a5846d8cbdf02bfc17d5f30937d118f6421 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BoolSet False Passed
1736f7399c9d2fe89d168254a3c879aa011e3f96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BoolSet True Passed
e42b71a837cde785c700a7c37e66dfa229b982df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BoolSet False Passed
41c234034796f88f2f077fe1d7ab2848762f38d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BoolSet True Passed
59210ebc5927cf16d2085979720377530ee02b2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BoolSet False Passed
b577276458ddfec25111919edde8dccb0cdff0a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BoolSet True Passed
0f1257383cc75b02482469c59f83cde781def962 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BoolSet False Passed
ca41bd69315b47604a1505307275b584fc0890d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BoolSet True Passed
8a60fb174df7d60f2701887453d6592a6c25b127 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BoolSet False Passed
3ffc7fb7866c83360de545d8282d68adc6f7d021 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BoolSet True Passed
b0767575c22e48cdba3bad5658627dee7fa1838a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BoolSet False Passed
f5d8999a15701b8c2fe9288c9f39a4edd372d81d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BoolSet True Passed
296efe279cdbcf81126f319778815a7307839192 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BoolSet False Passed
0c0f93c6ffca782e87d6690d06c29407b0a8d469 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BoolSet True Passed
7bfb5afaa95308c69e75b49b3a896fd3ff23f334 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BoolSet False Passed
b350144519d04c30e6d273843796871e6ae68be1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BoolSet True Passed
844c239946befe90bfa1dc264c09a0f7ba534c23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BoolSet False Passed
ccbceeea373155fab2d8d86fb4c6f0456a720b9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BoolSet True Passed
a7e87e8611fdf43870b7f5438a756b72dee3f3f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BoolSet False Passed
8d5680347aacf6c51eb487a9812429f83ede0efd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BoolSet True Passed
2f6b1b415b4d00784ecf182051347313221d9893 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BoolSet False Passed
c156fa7b654b647a5a350709d810e0b871dff39f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BoolSet True Passed
7924fcdf7aa7ca73e3b322d1818cc02e2b3e7fa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BoolSet False Passed
41845d2eae6d1ae684fc6c03d56e06a3aed6309e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BoolSet True Passed
d958bf878a9cffa86182968545fcdfdbe67372a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BoolSet False Passed
e9d535cf9366f1e763dab23ce46a853389800703 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BoolSet True Passed
b94e1a9b7598be0163e88be3c0a60ebf42cdeaa2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BoolSet False Passed
c38cfc54a8377a0f3aebaa9c046d55b8d94268e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BoolSet True Passed
d0934830d944630f26e32287221c7b88de80ea4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BoolSet False Passed
66d7e644f809c73e5d8a852cb74b3cb2b288a3fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BoolSet True Passed
45322a9ac330f84f5c7f69b7189ec7225d67c4f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BoolSet False Passed
1e90347a77a6d09ba9c34c2290cb58011535ef6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BoolSet True Passed
d03ae07e12fec3ed0ebf1b60d25df9caf043d814 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BoolSet False Passed
d28eb0dec654ee32d469d2adb599999f1cb736a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BoolSet True Passed
4a9a56a48508a5819a64a7650131a1018b310d5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BoolSet False Passed
a9e24470889ea6e82f0f7fccf639ad0a03548950 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BoolSet True Passed
5e9b0673ff664bd0fb48d2bba01aabf7be203586 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BoolSet False Passed
e3372af2034b39a40d7b37154b666218312a80fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BoolSet True Passed
543c9b519997b807cb58b3b4aa12ecac4274a007 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BoolSet False Passed
16fac9d70755f2a8127328ae8f8d2f5b82e43b11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BoolSet True Passed
64a142a496f9cb60c0e669534e4833e832e7761f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BoolSet False Passed
3cf6a1464ab424e8cef57a7c7d0f08d121051729 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BoolSet True Passed
01b66c972baf72846e20f9f88d0187a8a9acf926 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BoolSet False Passed
c0dbc3ef9b93eb47a5033ef530221d567caf05b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BoolSet True Passed
eeecc19bfa0e98aca601fafc4622c40fe8fe38e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BoolSet False Passed
4b9c192e4e376d1baeea99ea1e595a95361c8e07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BoolSet True Passed
e62f9248d1048a29d14b23279a22e84616abd000 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BoolSet False Passed
88d7c5d16ae95dabdc6ff5af7d6f3084c38febb8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BoolSet True Passed
940b1877c6eff7ab82cbbd23f52c855f7286dc77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BoolSet False Passed
b820337c7f79539b453117944340e38df8b79a9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BoolSet True Passed
cfc688c9e99eb6d66c7ef49b94eb11e8843b5d42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BoolSet False Passed
2c340f59c8dfba84906df5e0b7c1742c2beb4caa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BoolSet True Passed
471ad3c1948f75bbccbeb1360f610d1ffc8f9e00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BoolSet False Passed
4b34722f8fd6c5cc0a06d202141ba45e00cd4c20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BoolSet True Passed
0cca92c6426fa49eb0216ec0d200ed3fdfacfbdc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BoolSet False Passed
b12e69c72ca6c32c44f1b09e28d053bb38c4f9b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BoolSet True Passed
6fc9edb09a87e131e5f45a8c305c2be6976f2856 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BoolSet False Passed
251c9e442c4896495ac1c5444511fb0f0b92a90d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BoolSet True Passed
f93e16cb51970a8e592c4714b90360ff9a6f28a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BoolSet False Passed
64fd7f9d9ed6f976acfe70d684b21679dd208b32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BoolSet True Passed
6b7f917c2bd1dff7ac47e8c66710a29431a09eec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BoolSet False Passed
4b2bb52e0ca115ece8b5e743d2f5ca37944f0e6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BoolSet True Passed
a582d3098e8476e778acabef0c012aaa3a9d6603 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BoolSet False Passed
d55813f2458f1f73266fd297e218e3e8a20d29fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 BoolSet True Passed
1c046ae89ed547c7078b50e66893c3402e9de930 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 BoolSet False Passed
b16f390798412aaef16a9f055fba3a6e43686ec6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 BoolSet True Passed
d18af7601afc1dd4fb2d376a97b936b154f12105 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 BoolSet False Passed
93b9d5923a9d97c3daeadec789f4a75020badc1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet BoolSet True Passed
530161fe400751f17e75c0b4248c9bd6fe1e7b2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet BoolSet False Passed
3cdfb0dd5dcd8def59e7d7ca8581fbd891dde7f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet BoolSet True Passed
be68bc0656710b1aa5812395a80ff3b0d7f64424 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet BoolSet False Passed
7b6d6aa9f51b8ddbcd742454d94675112f973427 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff BoolSet True Passed
ac6810a1bb54e4af2cea025ba1a997ac5bb35fd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff BoolSet False Passed
c565350ea611a71d2cb070fd381d94418cae1da6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion BoolSet True Passed
6203b9be3b2518170648e674397eae90ac7fc26e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion BoolSet False Passed
62fecba033e5394a7624cf9cd6d0c8e468011682 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect BoolSet True Passed
0149f685e70726d19215dc1e58df4df74f3976bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect BoolSet False Passed
4a4540642303b7b98d98fb5492e9420bfdc6c17a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq BoolSet True Passed
5b34a7c45069d0c620deb72b5e8ca45596a44223 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq BoolSet False Passed
4dfca975c84b79bd1b0fd2fff5c2b52896253360 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BoolSet True Passed
cbcf9252830dfac56c7583aaba22cac22b0e85f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BoolSet False Passed
0a586a73eaf1e48cbf140d7ec6abd105d4c67e01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BoolSet True Passed
34e5063826adfcb00084ed9d750703dae1e78952 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BoolSet False Passed
6fd151811c2909c01d47c557362398bb0d545929 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset BoolSet True Passed
c81381c166187e5a0e23ed5bb117a7c5f53e28c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset BoolSet False Passed
09ffbb98dcbde042375f12fcb2a7c640ff1ea22f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BoolSet True Passed
ca6627ac2c89fa650177618a7260ee42f9b03974 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BoolSet False Passed
0ca458e311b44dceb984001b7ca10273e314e79a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq BoolSet True Passed
ad7713d1fc2e4e1717889a98bdf1a830d0dc2250 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq BoolSet False Passed
ec7685a17110ee877ce3f6edd38cbb5d8e729005 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BoolSet True Passed
12d09bf5855ca64f8505934e5a7c9878d716b614 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BoolSet False Passed
d0da50d73b7f9b3d81086a79167160dd54dff1bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun BoolSet True Passed
c131a2c184e39ac71efe36861036813d0dd073e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun BoolSet False Passed
3b10f2bd378c8ec561e7dbe297e4516e3f83f587 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BoolSet True Passed
fcfe1c6ca54ec503ed963009015cc127d846cc3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BoolSet False Passed
189767c3c95a8021492499ec183f3ed5b7a4ac82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag BoolSet True Passed
a54b092b6320fc3e0aad0db5fac65ce7d7f50f9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag BoolSet False Passed
9ed79536f0c3d01600c731a059d45ccc845625bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BoolSet True Passed
02d59660ae9bf122d8f68be9083300c7d7c544f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BoolSet 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
6f391c7d4725eebc1e0d55730ce5e41ebb15737e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet BoolSet True Passed
00491caa5cf1259d716b817e460e23ae86d31884 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet BoolSet False Passed
934c518e38ed8c407eed51213f86af3d5dd4dc24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality BoolSet True Passed
7ab2affed1bb42c4d291ba26cf89b3b126030e9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality BoolSet False Passed
b54bd744b51e32d559f29c5c42690354689fbd0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BoolSet True Passed
0701d352e0aceadf2fe9be5566649c27cc70e1d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BoolSet False Passed