Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e830ecf6f92c4a99cc5ec39a3f0e0d3255b6c013 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq FunSet True Passed
f97c9e1684dfb44d670fabe7bdde6d70146f6f24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq FunSet False Passed
427956d42209cdd485d713252a083e1ca8e64cc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne FunSet True Passed
59050bfaae28e7ca15445a8fbe5b440c124e1836 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne FunSet False Passed
208b023fb7808d42fb29147fcdbb132adcb678fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let FunSet True Passed
87d0db0b3b4e713d188364cc4f9fe836a7b36066 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let FunSet False Passed
a1c36e431e035023375f4bcf2f61ea4cbda796d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 FunSet True Passed
cdba62646eeb00e820340ebe69f30d94a8d97dd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 FunSet False Passed
87acae4fdb7c3fa06cfe79a9b26e6b88708ba80f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 FunSet True Passed
7c92125bac3f6faf25a98fa71ce5db2300fb5f2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 FunSet False Passed
d21a777c5156ae50027810f746609bac9a9edfbe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 FunSet True Passed
08a6c317b60234798b75c888d9afc0ac600e7dda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 FunSet False Passed
ea6b006ab7d429d36ec92e2f8f2777991febe2e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun FunSet True Passed
30458350edc6f9270a5a13e563b7339fbfcf4f08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun FunSet False Passed
74e00ce6dd0a0f0baa5078251f9f6b1b853f42a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In FunSet True Passed
43e97a73194090e3f0631b0185681f098a2b81c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In FunSet False Passed
d42475ef058bc0070a48c50a50a9b895f14653cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn FunSet True Passed
82dcdb32a506f313c4045d20c8ceadd53918f618 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn FunSet False Passed
b2dbd27b04a6354b97c5d83cc246856e922a9ae6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record FunSet True Passed
ba738e6c1d048256d6f07a36430f62e2398d9a14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record FunSet False Passed
c025aac83cdb339dcf9cf9008667d11a764db8cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple FunSet True Passed
084e32ebd6edb5963252b9fecabce24ee6aa1ebc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple FunSet False Passed
352093cf0d00b7bf649f15e1a9cea7431808b446 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp FunSet True Passed
ccdb8fe3580d72b0c782fc184eb0f346f73464ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp FunSet False Passed
e2f73fe6dab470e4dfd1bee369da0e12793951e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun FunSet True Passed
2c66720149677088be952e53f3a37b57929e6bf6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun FunSet False Passed
40d4544b68f7d219f411ecdedeb83351b8565648 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt FunSet True Passed
5a2a2f7e475349238ac425a0f30dab355dd6ae46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt FunSet False Passed
8ced61d972aef15da720c389d6f2557490a2e240 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec FunSet True Passed
fc192594405d79fcc8af40022aa3ced1aa9a443a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec FunSet False Passed
498be37e4a4a8713ba47e6eef8594cfb97bc637f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt FunSet True Passed
96f34d934e9a1692b83704bb88b26d127903d75e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt FunSet False Passed
5e129d240e396988f7e8a21b298242bfb69d7df7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun FunSet True Passed
216b94a11066c795d294335e45dc2b3edbca14b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun FunSet False Passed
609205c8657b4a5c599245e9abe1726e7511ad8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime FunSet True Passed
83b07c5eafdad7dbd2ea195cd19af2aac8fd3d8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime FunSet False Passed
1afa09bda0bfe6ad9c226d008644d767d7ab0362 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun FunSet True Passed
28e96668c8868c4aa9d4f52cedb9c79b17378ca8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun FunSet False Passed
39d9da8d93e7ce3bfcfad8224116ed252c279137 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun FunSet True Passed
a5a91cd88457f90194e98fca2d322d74bc6f1b58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun FunSet False Passed
e501ff25766b75c78d03ce42db65d1b23674d1e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive FunSet True Passed
76da2ca7c675cd7c24aa39a7050460b7cf49dd22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive FunSet False Passed
fa23ba498d6d5b13752398093e4398e318e70da3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive FunSet True Passed
e6322ddf556eb9495b48e3a50d954b71789cdc15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive FunSet False Passed
4573da42c99d8421b98875db7928aafcf2cfd69c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 FunSet True Passed
1b4e00766ff33b8030a5bd648b08f61d259881e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 FunSet False Passed
11b5426f26b95b2aaa0f69ecb5027be9a69209a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 FunSet True Passed
49dc3949f4683798fe22093f7f36341e5f39feaa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 FunSet False Passed
9ad5f085284f18adb587d6f4cb8089063f2445a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 FunSet True Passed
56db57e0bdea495a00b845cd9b6060ebd0fc0b64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 FunSet False Passed
64159810353fda9aa08ea2b6725193daab021cce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 FunSet True Passed
c9d63077ab83d41c1a861f6e1a08be3a4ee6848c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 FunSet False Passed
8ca24d9180f3f86ed75c918f3160e301ee75b6f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 FunSet True Passed
d1b75bfd985336d8ed5784fb55977337244b0c40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 FunSet False Passed
4a447ef0a56e3b6ddb3b080ca5beec77f5197e5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 FunSet True Passed
2e96c5bdfbd6fcc5fe6d1da67ac4179abda927d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 FunSet False Passed
906d4e450aac1a331e5aff65031641042da51729 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive FunSet True Passed
12456184dacb2e08bb9358de37bb9f33d9498314 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive FunSet False Passed
dc025c1973cb0e2e00ef5c4f27c95190fadfb22e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive FunSet True Passed
7b96416c0b8ccd95ea2dc509e7ce4731545e410a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive FunSet False Passed
075bdfbf32293ad55c8edc9fbd3abf875ce73a9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends FunSet True Passed
d3b8c4e315636501c0ca5d0c8639b007eea35b16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends FunSet False Passed
40ff1755a504a4b1aafbc38e9a823c21cb6eea6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder FunSet True Passed
94f3f8a4ae2cce62a1b90dd0fb010600f67040b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder FunSet False Passed
c866dd83ee976363c6e221319dacbbf85249173e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable FunSet True Passed
ac1a09c15cc176100b5d290c60b29a8f69e7100c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable FunSet False Passed
233148977d1b3f7cb4b793267872fcac82ef05f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude FunSet True Passed
e3c2aea0f788dcb5a39ebb74bfe6a459d8d3b14a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude FunSet False Passed
b4d2d3cd2cbec2ebab31f5adde2605d08ffb6937 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant FunSet True Passed
578ef6788b07eaa198fb9d66d9b48933a9fda8f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant FunSet False Passed
d79623304f29aeed4b59d62f7a4af08498b3a72e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 FunSet True Passed
a8b9c9b2939b842a890001b8ce3c4e0828f12832 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 FunSet False Passed
c7c2bba93e258715687e075293e9c8a65f0bcb2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance FunSet True Passed
eaf4c8751fe39ff4cdd54b336b4f3a376dee8e00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance FunSet False Passed
3bb02713a64ad7359f2ecb01e1b7fd73b18eee54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith FunSet True Passed
7bf7f2967eedd350075211e7675b5b489395ef44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith FunSet False Passed
9d1d7699014920ecda0067b027b3dfc72d286011 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed FunSet True Passed
7e2453abc7a84b3618514e39dd85b8bf71702eb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed FunSet False Passed
68765c85c065f50bc715609f35f4e2a4cff7baf4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith FunSet True Passed
721598f71c021297e77289d531fdb272861f5608 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith FunSet False Passed
f79f86bd555848fae2250b4bcf039ad8aa97e84b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder FunSet True Passed
52b3e2b9bf308250231fcad2d0d722b2bab0a736 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder FunSet False Passed
fe88d218837528e4f1634744c392f9ac05e25bda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder FunSet True Passed
3b61bfa837bf7849896fdc720290c6cb345f6497 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder FunSet False Passed
41121e5e08aa1a089f118ca608562abce176e02c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder FunSet True Passed
f34acaf8764e6c4e103c916ea46ff77c6ee01f86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder FunSet False Passed
f2a3a3655dbdcba00590b43eaa76551e4c431f4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder FunSet True Passed
2282d492fdd5606f6a6b347ac1ca2f9a4f1ff13c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder FunSet False Passed
df21d8c2157d74162b463807113f5744e5d32283 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda FunSet True Passed
95483ea73f438c7d5522bb6df4595f3c53ac6516 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda FunSet False Passed
aa39af8b654eda95f0ad9e43d8c6bf8570dbd3ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 FunSet True Passed
f8f79770d9904ad3f07709a117e589b90b913337 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 FunSet False Passed
14265d583abf479b21168a14be85cc3f05fd4f3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 FunSet True Passed
bfc81eb3e62eec7d03b9903ab60580d03cb02115 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 FunSet False Passed
15b7d1577f819a81646c07e75be13e97fefd29de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet FunSet True Passed
fddd7bc63e5ff91c7bfad57848e645221fab4472 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet FunSet False Passed
ad46d0c2133a6e60288523067c9d6893dd20a0d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet FunSet True Passed
b788846e86e0b2d0117b32b253122dabdb9e8a9c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet FunSet False Passed
51ebb76e81a831fbd1b8f9e41c37b2c316cb58dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff FunSet True Passed
4e1f43c1ca50b2a6877849fbcc177a74e5949c0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff FunSet False Passed
82f09faa0c6a043f0494aab2ab01c8988ac7daac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion FunSet True Passed
5e3f736d0690300d3c077c13b1ffcc5dc180e58d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion FunSet False Passed
d6cfa70443c834d4bfabc2cbfb1d5cb1c5f0607f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect FunSet True Passed
d9d75bd111c179f902f533e17a6f0eb22049c996 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect FunSet False Passed
d18dc427c9812f891f0a0fcdfa4e7b2270a630dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq FunSet True Passed
b41865dcaea6469e79413c8ccba3b617ed98562e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq FunSet False Passed
a5531e26c71aa30c79c4f2d62651cf0e668f3b42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen FunSet True Passed
6b6c63649647cde1073d666f45418d83e3de57f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen FunSet False Passed
5811442169aa8c69f12af35ba25c6d83136916a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse FunSet True Passed
9620cf391c8293457906f62fd5f5260c014a2fe5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse FunSet False Passed
4b53744096e8659a0f53822f25c08dc6c8d9d65b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset FunSet True Passed
9a6aa811a7f635b6e3e2cdeb480fa1e90683bc33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset FunSet False Passed
58fd30ad4560ea1e607c9b8425fb783ec29d9cb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged FunSet True Passed
84c8d4d3c4d72b81660f88cc2c27e7c7aa7a068c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged FunSet False Passed
596db0b143a8248f4826623694725d773fa30da8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq FunSet True Passed
a3b0a18da350c691980f7004d94e6cd63f0d1e48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq FunSet False Passed
8fa589d398a7b7163dab7829d24618d93b4593a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun FunSet True Passed
b34a346cc46e72e5beaf91fe2ee8699f2d80788a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun FunSet False Passed
c329cb20e2100708f90a70aa1efdaadf73ea3325 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun FunSet True Passed
ab43a5f0cee6e2b1be4b0e954f8e071cf51af7f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun FunSet False Passed
f650643a90a96b02ae44368a2258b2221418dd40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval FunSet True Passed
75aee0c961b9ad369000adbf8ddb809d695ca1da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval FunSet False Passed
b0de781de06fedbd05b149516b7229c7690cf11b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag FunSet True Passed
23b69e83194e6f82916319f83d22f8534c117e28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag FunSet False Passed
9c5acb415e77e93162a5d8154f8dc5b1d19fad0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn FunSet True Passed
fd63ede41db15020119ed2a2688570e32a61410e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn FunSet False Passed
818a386bb2977b398bb900301d5eea6842c16b98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn FunSet True Passed
fe80cc1dab0a04ec2ed4fb0f184f69e34cd83e46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn FunSet False Passed
bcb7a0b3412cf8ee910f1e65977c9029e73c03fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet FunSet True Passed
59f51f42dd381afdde7744a4175b62092d397239 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet FunSet False Passed
e1baacc0f14e1616ed77733e5e350c7e77792876 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality FunSet True Passed
33f536c7a08e13f908152772500a4530cf689edf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality FunSet False Passed
3d30e8a73707568571bbffd9b463bff9603cb76e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend FunSet True Passed
35196bf66c270d329557e713c97de8f04ed1bd5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend FunSet False Passed