Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
628fa2f910d109c928117433fcd10ebf842335dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq FunSet True Passed
bd5e97d77d7207ca6bd571b8f2b61b7cc9e497d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq FunSet False Passed
c60b0e40cf3243916a5f4d2accc0a83dc20e15d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne FunSet True Passed
3d07dde4edd0c8c04d792f83617c1fd3701c5e8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne FunSet False Passed
dd518ebe532ce7e8d69a0182ca07dab78988d3a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let FunSet True Passed
be11af5a711ae75d1b1d704f3c683485845cd6e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let FunSet False Passed
a4beca540d8153ab1129e1541ff584db9f4d0411 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 FunSet True Passed
896b444c72b116735e570426a9c012015a7148f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 FunSet False Passed
1f147f257645880bc944b260f096213ff26a4715 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 FunSet True Passed
3c1f0b4bd094817e971d35b1606ce200b741359a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 FunSet False Passed
1eaccbb2e5c2c89c48ec68a075e29b0f788fc721 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 FunSet True Passed
27333c20cf874714059e9bd9f8948ae2ef6798d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 FunSet False Passed
e1736704ad5ac0c3f42ba1f3859720913bcef885 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun FunSet True Passed
65128d4f0d0601b87dce39ec9c0333bd570e40a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun FunSet False Passed
f4010491a589bdeda57c5e5eb9c2739137a7142c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In FunSet True Passed
d6654b92054599cd759e0397f218b186ccb09b13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In FunSet False Passed
9fd2a336b46539e9453295f18ec6dafb5993519c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn FunSet True Passed
68d444ed10c39321adafb126dc2d69683aaa503b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn FunSet False Passed
c049b91d34f37fecb43b63e946dfa855e1ca5281 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record FunSet True Passed
7911ef1a936149db8c7f33dc27693366fe8e9d19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record FunSet False Passed
4a3de73f6b00cf21e4c6e14b1fbfa0035ff5f3b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple FunSet True Passed
b613bc2276e85ce0d80abc9188ed45dc6a58c357 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple FunSet False Passed
58c00a3ed766ba3c484366e1f30d9969d7c48ad8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp FunSet True Passed
192c0d5607981abaa84fa0b354f0b6d29ee932c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp FunSet False Passed
006b93dd5a23b96a6e8ca8c6132764bffd9d3e60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun FunSet True Passed
6efc486d9af94cc8551ba55f3d3029d324dbf838 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun FunSet False Passed
7d5e29c3af10f6001e2cbbf57cfc60487b5179ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt FunSet True Passed
85e1413f96438001b899c992fd5fb7cf265c0c6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt FunSet False Passed
7c47ff72b82674f9d033b18b71a9aa71051467c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec FunSet True Passed
d48d0bea0c49faf3ac88d15063680a17dba9fc6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec FunSet False Passed
8e731055d7f507a8f90ef8901e0ecd246e1fca00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt FunSet True Passed
5e6bb6a8a1668df454b6f520fe212f560ac4dac2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt FunSet False Passed
013a18186eb93a1514aa3afbc32ed8c080a16837 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun FunSet True Passed
0808547380568588edf9820b7e6ad9f86135faa0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun FunSet False Passed
60115b0bf021f113c444e5b8fd419f914eedd8ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime FunSet True Passed
5003b5abb7436b08e28ca46d16304319eb06a91f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime FunSet False Passed
46de4c4f1ed043142d743a3e4bd156ddf689d1ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun FunSet True Passed
6348c361b7b2b227784e3c8c522f23984cb7f51e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun FunSet False Passed
e1fdbc314ba9b01471f41d26d40ddcbbf4dc8ffb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun FunSet True Passed
dac8b194b6b0e69c24c017c9caedae1d95bb25d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun FunSet False Passed
ad488f4a446c58f54c787c7abd7ec74de75f82e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive FunSet True Passed
38fb7d2145e874fddc42ae1db4d6ba98dfa4d1b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive FunSet False Passed
9e7f6a6d8c26dbdbe5a76a25d246bfbe4fcf92d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive FunSet True Passed
cb103a16bd7ebe54cc3580e1913f368011facfbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive FunSet False Passed
802cf0250a9b9d94761c0bccda4324e41f2c1670 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 FunSet True Passed
2b338ea7c5bd161615be0eb64d7749103eea1813 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 FunSet False Passed
ec774dd45102ff36bbf828e4d4f15d6934d12e96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 FunSet True Passed
86eec24c3ba774cffc7ae8119eabf88bf13bee26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 FunSet False Passed
adc7c3bc9ef047f43833ad65571e5430c2ce8f8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 FunSet True Passed
8433184d738aff2e8719cb0e5ab95c6396a03d7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 FunSet False Passed
4c60b3b5133017e7a6326a137fabcc2504c17d01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 FunSet True Passed
7cc8e84aedf9e0b2aea7d9fac2b2df43fddb7200 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 FunSet False Passed
1bf6b485377f10f5231fbf493cb1256bcf900725 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 FunSet True Passed
78d68bfaffc79fa891f710838ffcfabfdd423f12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 FunSet False Passed
438d2db1cfbe2d7870c967f1dd0361fefd52e71d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 FunSet True Passed
a5e2bbdb301b051196d4e4651eed92d0b82c8687 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 FunSet False Passed
6353b753e266dbec4d3444f67e859fe9f7f363dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive FunSet True Passed
b33a9dfd847a5c92d4e8aea35b9b6b7ef825617d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive FunSet False Passed
bdda33c7a78e1a060a96d8dc0e1fac7355adc058 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive FunSet True Passed
364c36ef0b804c92ff8f043ba2542a43c5ed21f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive FunSet False Passed
842b01eaaa07c35cd66f6e56595779bc5aec4ff3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends FunSet True Passed
5d07267cda682e31c4a533535823c6b30efdd556 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends FunSet False Passed
028e8d79100665d215580d2f69e3eb11a94bad3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder FunSet True Passed
6a34b4b4830de4354bb43b7de96fb0f212bce78a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder FunSet False Passed
1a8874bc2a1091d10e444493a88478c254ece862 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable FunSet True Passed
fbc9c970ea513bd6926becaeb8c71324b151e244 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable FunSet False Passed
98afca54d490ea2cac5f6c2c382afdd4013012a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude FunSet True Passed
13b330a317446ce20b5f3d2ae46e4106e1984af9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude FunSet False Passed
de885916eadda3adb0be7ce0bf12d9e6edc5f158 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant FunSet True Passed
544f697b59757b81197ce7f7426baa9f883c08dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant FunSet False Passed
ed84e086fc219f8c29cf305ab8bf876cad8b05cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 FunSet True Passed
1c1c006e1c09b24fbdb72ac122a0011bf7b143c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 FunSet False Passed
c534caacb816c28ca9eb61b0ce301f720048480e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance FunSet True Passed
ea15846c829ab9db1ad21b0957d8128b1a66cfa2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance FunSet False Passed
0dd1700733489bb02be2bf6a9f007ecba2aa6883 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith FunSet True Passed
faef7c90cfaf5aaaced076ae47fc858f07d8fff0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith FunSet False Passed
b211b0c629e6823083c510634362d1c3ef0a40dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed FunSet True Passed
e04f33540aad211a3708910deb704e7ee82b42d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed FunSet False Passed
d0d54f6c700e6e50f1d7268b109a12a9b9fce466 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith FunSet True Passed
a16bd9bf1ee2bcc14e354d37bfa7a1eda63a1a37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith FunSet False Passed
acc6bd3534c6261836430e7e914a8f7c2650e237 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder FunSet True Passed
8399870934a1993651ce0570dc42876155e3019c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder FunSet False Passed
5d049f0728a88bf340ea8e7e971fd40d2a61e7e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder FunSet True Passed
21d5e735108297cfd7b9a07cab5c5a8b19159eef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder FunSet False Passed
b2dbba32a28d83ea526adae9b09773546407f3c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder FunSet True Passed
325add2b1724e67edf2fd27f52a9c58f3e34bf07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder FunSet False Passed
4086c420d91235573e2f798945502ea070b22430 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder FunSet True Passed
ea4029c5fc22779fea6e04d2e4f9e8116205fcde TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder FunSet False Passed
216ee7c5eca79aee797b47bb392d722b8887cdd6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda FunSet True Passed
d7ad763c7e2058d4bbcb9101dbc88dad7567ccbd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda FunSet False Passed
e311df3e5ce76c17fea0ab9c9e448c8797f325d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 FunSet True Passed
99bddd36185be4ad7c97369105963b141a820d92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 FunSet False Passed
8b0b62edb9ce4e1934d7d57338b43c49662f20dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 FunSet True Passed
563233d07688b5f6eccc19e06d119e499f8a0a18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 FunSet False Passed
ac2c5ebaee8dff917d81d248205f03e9e4eca3bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet FunSet True Passed
aadb7560300753196547231407b79be74ee157b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet FunSet False Passed
4a6459cfd6e01bc220d4bfdd85abee92d6860309 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet FunSet True Passed
12d51cf6e3bfe56c7e6dbbb5c9514001fb3c2393 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet FunSet False Passed
a4b14bcd8f2dd40f7020cd1b1484cc470ce9ce5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff FunSet True Passed
2b6e72421db04f7f7e33690e8c29dbf625513501 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff FunSet False Passed
f77abff68dfe82dfc43b7aedfd4a4dcdb848e659 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion FunSet True Passed
67c07c2865f601c21bae69fc678854477922fa94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion FunSet False Passed
65ef6b728e9cc804c90c46e0ef5368f6459b9a65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect FunSet True Passed
9b0402796d54313311195f7ce3c6b574ed77a538 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect FunSet False Passed
e061196f9693d8015c17aeeccaca28b682f4a056 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq FunSet True Passed
a921995c7874be7ce32911b5d147c88233526166 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq FunSet False Passed
c168a42f88ae1c169a09bd9dfe9607b96f41e2c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen FunSet True Passed
242040075442ef1ab7ab054866d1c098683cc253 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen FunSet False Passed
96bf7f44f75499dbb04e95bb9ec3ebcaf4cdbfa2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse FunSet True Passed
aa0b07bb2f038442d11cc6b1af3b710d64757dd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse FunSet False Passed
5fdfad224a4a80f480049a805dcf6e3f97b61fb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset FunSet True Passed
8c95ee6d2e135a0281c19da0372e1111edfda2e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset FunSet False Passed
10fd5a8169cd3ed7dc5e260bd7717d446279ac83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged FunSet True Passed
b70169fc79efaa010d0be94c705b575189dd4eb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged FunSet False Passed
74527bb2f92c76e7dde57fea64e2542e08f21452 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq FunSet True Passed
cf1082a57a1e4d06ac5a8814eaa00d861c7e2234 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq FunSet False Passed
5a89e411b9a95482c91f454343e49ab0dbf6655c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun FunSet True Passed
da0658f345f10e41f943c456b47eb129358577c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun FunSet False Passed
d3559d93441f2bd3a7857a88a424d2ba26be9e6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun FunSet True Passed
0e36dfbfb342ff2abd56f2a49afb7acb24e35f58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun FunSet False Passed
767b385aae3acd4d65903b60754dcdeccdaed052 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval FunSet True Passed
22326922a9eb9fb75e587377fb1778dd1131cb2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval FunSet False Passed
ec9da497005bb33f31f2ed54300084bc0c15166e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag FunSet True Passed
a2b1d12314efe14a3c50092ebdbda54f0e994849 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag FunSet False Passed
e818a276349736c8ecbe99318b0ea400b6dccec4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn FunSet True Passed
a5cd3cfc8ab1cafea59fe57540464f35b3ff29bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn FunSet 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
39178909dcc7e65a367980cc2d947154b4685f3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet FunSet True Passed
5c598d588d3a5483d8dc6340d4528c30bf380c76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet FunSet False Passed
dd9a542cd9bd945bcbf5bbd3900d79e3ead0b773 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality FunSet True Passed
757074a7d4f7cc573bb789484d3910970d5e74a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality FunSet False Passed
6ca3a4d0cf472e8adc4c795f17cdf9fcb58f4459 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend FunSet True Passed
a054d6fa3123887d15ca8d61fa23bd1d78c67312 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend FunSet False Passed