Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
f33af836119416ca16e20467b0ab1b1587704e51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Set0 True Passed
66f6e14d90cbc2b109b7ece56bc2c3b91acd70ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Set0 False Passed
41c00df99002190a223484f3c9432800cdc4da23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Set0 True Passed
796c5492dd00bf1ca628ee0c642ee00b134856c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Set0 False Passed
de16a3c8e47493d4358f46282dfbe93becdc71b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Set0 True Passed
df2ff728b3d2c25272c1307557a8a1a91e1a3f28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Set0 False Passed
3a2b8fcab3d87ab8db2f68dcf11c933ed769f827 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Set0 True Passed
b5f2442d7f01f5429f8ccf735dec380272525541 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Set0 False Passed
474911d14f174812188da461a8fa73862535e93c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Set0 True Passed
5d48a59b95c31513be7069f8396f5a2d5f367765 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Set0 False Passed
f4d77cc5f69973c428a773d53e6f525872d315e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Set0 True Passed
61bc67f23946cfaa35955e89c549e0804aea34a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Set0 False Passed
c887382083e129be19d3ad1bb985aa6fc2f7f515 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Set0 True Passed
1519b2b1a83761df37ce4e8808c9553a0ea6e4dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Set0 False Passed
80afaaa5d3ceb8aaa840c08fa1b38c085c87a2a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Set0 True Passed
5107b887e2ccd90be1de9d5ba9579c8ff4fd596e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Set0 False Passed
a0239af93f4221caa0f166dc107902fc38ddbf11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Set0 True Passed
af2e87ec485864690d8c14f61700d6a16298d717 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Set0 False Passed
9e04f08b33dd6e6b5916ca55ad0cc9d2220c25a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Set0 True Passed
e607eab8fea0682658a5b57c9bee9488c7e16fc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Set0 False Passed
765dd3de2a2bae4ad08d39589205bfbc95c77a04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Set0 True Passed
df858def52954dc11eb6e9ad6ec337ff4050ff1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Set0 False Passed
94666077f97191abd40af105efc1d8a0acb07066 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Set0 True Passed
0fc5dc1ec5540e7be0a274049511c41af4056ff7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Set0 False Passed
de98e39007e4ef8034d4bd8d2d050bdacbe4c242 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Set0 True Passed
d71629ffe22577b89fd58947e8e011175fc51a7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Set0 False Passed
f99fa74e3dfcce420c62c0f90c901116d70f4efd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Set0 True Passed
073b0d15fc8db548ce17386f2643a8559bfc16f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Set0 False Passed
3c7de50ab0e9e0de4af8942e1ff58085f350bba6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Set0 True Passed
66f39c362eba684ed62d9120f83b5fb5782712a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Set0 False Passed
11cf5ad2d330e14b40e6d41086943caf11691bad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Set0 True Passed
7a591624b03671ab0ee373841e5c51084dd8a195 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Set0 False Passed
3b2236b57334594b66a5bdb8b0cb52e34db8c24d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Set0 True Passed
1dee6045a85eaa2cd88946c44765740b474c1073 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Set0 False Passed
44ec64e695ba21b8a433c915e394bd37689e4633 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Set0 True Passed
41713892663f53aab729bb0d66cd971d88147bfe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Set0 False Passed
6923baf261adf8e79fd52b95d1926ab45e0b7ed6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Set0 True Passed
310c73589a02d122303fb7cf0671cc2d74cbb561 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Set0 False Passed
4c8cb9a93e77264b9af8f4b22612808ad1b6b947 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Set0 True Passed
49fa7f3e836ea1d67b55083677817c4a71c335b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Set0 False Passed
cb1b24de737f020baea2512c62f48d027d8ada51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Set0 True Passed
a480615f026e6ffa542678f8b0ea21bf68b34ed5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Set0 False Passed
c198c6baebfbb7766978c42cc0908599444ba065 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Set0 True Passed
c7dbc2a53ad0bad7d2cae04a7dc0957567babdb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Set0 False Passed
5a1c12627baf198fff09ce6f36329a54a54a5c0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Set0 True Passed
d04b617c719c5f2aca2cad3c894fe5d04056bd77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Set0 False Passed
8bc225c92a1bea139d6bf9d28f8ef97cc44f6c43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Set0 True Passed
fc7d582d1a9d93b435bcab469ddcc5613c22a2bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Set0 False Passed
299a5ec2be689d464aff20475657669fc3079c2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Set0 True Passed
fc16e933839f1c3617fcff924188f3017fe1fc85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Set0 False Passed
5bac7b8f6d608ef207f2729d1bdbf77200b07884 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Set0 True Passed
291caa1301e14e4576bbe56cae32977e99152dac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Set0 False Passed
6f6c162e82dc5ecf58b3f1e89c1b5c187ff49398 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Set0 True Passed
8beebe21b8f77432c62f2f98980b32d5e8f7b6f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Set0 False Passed
4f0f89763720363dcd6b44fcdfe20313884a1b29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Set0 True Passed
3abe13b1a1ae673051da3a74e08aaf40d0df9daf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Set0 False Passed
d8e94cdd42ab5d2f7bdecf980464bf397b712beb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Set0 True Passed
0533f0a8bcb60d7072c9a67bf3265516a14d3eca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Set0 False Passed
9ac924b74212bbb8b6b9a0e07c6e01d665f92d65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Set0 True Passed
ff33b0d8253b3c5b3a8eabcccf63c8d0d3e19619 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Set0 False Passed
539e93607668c0edbdb439ca8eaa27f720bc0156 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Set0 True Passed
7200f8ae10b8632acbabf2ddab0a878dbfdc2fd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Set0 False Passed
4fc4c6f282e1e237766d252980788052f3f3b70a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Set0 True Passed
30cbfdae916e54c5ac237b9faae472b8231703cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Set0 False Passed
5b2068ec230b06ad47d35d5ef7540247d07cfd8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Set0 True Passed
34da7fb2c916db617875ddd0ff85762bfcc5fae1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Set0 False Passed
d8a48c503aa67ef65034341e1b95d9cbd29c4929 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Set0 True Passed
6a6cedcf8a15cd5cd56c91ee3b9df304604d3027 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Set0 False Passed
8fcbeb2481899dab902e18877ef6c68323259fe4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Set0 True Passed
7e564c13e6026bc5b65dcbb895aa34751763f096 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Set0 False Passed
62beefac48d6f576be69fdfab2cc4bbda0deb47b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Set0 True Passed
12ff32e596c16db0f8fdf0ae9ddbc4e7c9722c62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Set0 False Passed
0246067535b1cb2d000d0b866081117c6377f049 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Set0 True Passed
01515c20b1f5f966c3e896feb4dc17edb4f466fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Set0 False Passed
392e76470f036e1af39447fccac577edbc043eb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Set0 True Passed
0a56b410fe48945dc77ed1795387b0e68c7de1b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Set0 False Passed
b961c944f471ad59a9db26f1839e27686dbd2b95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Set0 True Passed
ad5934026c4f79c56c990342fba1692880de7603 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Set0 False Passed
3504ce855c09bba66765b774c055e94d862aa596 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Set0 True Passed
98ffc38169afd29f313729811256323545605b2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Set0 False Passed
b21b750b9ce1d78e1012a12b18bf113a64fd3727 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Set0 True Passed
ce1042f0334156da9d2429c027ee3ff01f6aa448 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Set0 False Passed
504aac05857b69071525edb7fa1d59ecf1d96b26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Set0 True Passed
1d450c4ab2339b233acf57bc397d6832cbbcc38e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Set0 False Passed
43b1dd777b226a9291ddb1094ebba51e48e81804 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Set0 True Passed
7ff006c82502632af8d588fa7860295da0a71e6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Set0 False Passed
d6085a48141df5ff379bf7038e3b046895a51058 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Set0 True Passed
7e2508e8e0d196901731b3ab745786219126b4b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Set0 False Passed
f5c266c7d80a06e63da6b76fea83b1934df0ff4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Set0 True Passed
d1597682f243db4c9037942e46522180d21822d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Set0 False Passed
52d1c4c3a11a445433bfd6afd1874c49dee6bae9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Set0 True Passed
ec2047e25515de21c468018ebef93e4a5f64d97e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Set0 False Passed
51306be33ba638f30216141ef436d41c664f360d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Set0 True Passed
0e0c9b069ecdb850f715e62e1234e4cd0d7544f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Set0 False Passed
27aa0515e092665c12052675793c28aa7b9fc26f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Set0 True Passed
5a89e9558fc8b058418fabf9b081351501576238 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Set0 False Passed
5f43aa0c5a08ff3a30669bdaf4e9bc673e8b1b10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Set0 True Passed
ea2a637417485ab5ef48610d224509c045b63580 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Set0 False Passed
2c341cb549e3a1e9991b7a05408b4cc72159aefd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Set0 True Passed
bd58db1f1e4ed6cef6a0d43ecb223afc90abf127 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Set0 False Passed
b74e94b7c0d43450ce82e4741e4dc23f764b0696 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Set0 True Passed
a5077edd628cafc0c43f4252914ba95e9f7dfa81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Set0 False Passed
c1e0000d87cfcca80d910954c6eb3f92e2fb0fbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Set0 True Passed
22f63dec5d676a68599280fbf1ea4218bba7e442 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Set0 False Passed
b89773d0250809eb2fb6a02a221e56365f92b38d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Set0 True Passed
aadff23977f982d6ff89b4907d94d358bcc4ddb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Set0 False Passed
ded38af45c3a634454c8793f18587283b5843704 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Set0 True Passed
cd5ae8b214a1fb655bfdfb069d362ffd6a4d5795 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Set0 False Passed
0a907b71b07fa26c77377d194fd93beffad36159 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Set0 True Passed
46d97cb019a99203a2b6a5957a49ae303ca7ff4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Set0 False Passed
48990d396b0c10149202b5dfb5b0619f5db14581 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Set0 True Passed
adccea4b4873b98e77bde9bf0e83debee5068d6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Set0 False Passed
feed8444352d7a36dd10707a5ba616728d3630da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union Set0 True Passed
9177f778ae0b383f359b7db9e2e714ece4f60de7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union Set0 False Passed
6280c2d8a8765867b6f73e7efe7e1c007da5be32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Set0 True Passed
05d37ab74962d5352be7d61659ee145040c986a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Set0 False Passed
b02b49361d053243aa297e2a4b65ff611187d4f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Set0 True Passed
0aacb7da88d9ef1e064daadfcc14dd92c2024580 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Set0 False Passed
23786ad7318c0df46ca6f36d842a1d5b23cbe9fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Set0 True Passed
7e578e4dc61fa8e4042be37a845ad2eae5e97013 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Set0 False Passed
ebbcfb9fec0d5add6daf837bcda815e4db881d1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Set0 True Passed
ebfac213f10f20e82e36890ce7e8d94a223ea58d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Set0 False Passed
13bad0192230eb7d741936c69d2aefd7452719ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Set0 True Passed
dcf2fe907e0e32fed6c2fc95c23cad36166dfa81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Set0 False Passed
6711934b0fa0f8fbc6acf4a00c56cb0f0eb97f0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Set0 True Passed
33dbd3f747d0a3a81bfdbf035bb6e6b1042aa94b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Set0 False Passed
5f67c5fa3d5ce81553424c65bdbabacbd3faac68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Set0 True Passed
dca50c469de67df4e442b60b3bf9eb34e2ffb7cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Set0 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
ce8c218124034d5c72771774a07579af03479bec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Set0 True Passed
cf061f5bb2370f192ac3f54327a2c60b2637a9e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Set0 False Passed
3d7f498a24c730843589139ddc946bb8c6a2980b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Set0 True Passed
79d0f941767a17dfd59e2bca5d1085a5ae716634 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Set0 False Passed
056f8d30177b319468d2e4abe9afbd13fca84909 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Set0 True Passed
c9dec2e850c4d355357d596d06f469506dda4999 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Set0 False Passed
1cfab2fad2fd365a11674f7e3e08fba0a23c5050 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Set0 True Passed
d62ce6eb17b8ba9792d8e4df32cf0d38524f702c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Set0 False Passed