Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e3d2b236bf289664924e30d91eae51f522189f46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And FiniteSetsIsFiniteSet True Passed
4885fbd48eca174d47e385b3310b82b5ae1c4996 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And FiniteSetsIsFiniteSet False Passed
57b4a0286baaf1eb7aeaac166c29b916a6a730c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine FiniteSetsIsFiniteSet True Passed
67f2c7a08627442f1e481f920803f5f5e97bacdf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine FiniteSetsIsFiniteSet False Passed
b0c68a7fd4ad57da530761ef514d4da4a755906d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply FiniteSetsIsFiniteSet True Passed
775c387ff4159a73e53d6aa54a0fd467a24e3cf7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply FiniteSetsIsFiniteSet False Passed
4d779633033e728d7edcb3901e70175fcb36218b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not FiniteSetsIsFiniteSet True Passed
ccd01295936fb471994595d7f6b8b599490abb1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not FiniteSetsIsFiniteSet False Passed
637f148336abcf21bb2f5f785db1a73ce79cca97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or FiniteSetsIsFiniteSet True Passed
9008b0e1371d378ee7eca08724c050b60e017f54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or FiniteSetsIsFiniteSet False Passed
a796ef56a2628e41143e0fcdbdc5ad8c8b494884 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine FiniteSetsIsFiniteSet True Passed
9776ed60a9d5d411fbfa8b36b5a0a5cc9e4cceec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine FiniteSetsIsFiniteSet False Passed
1365d3453de7bafa4f9e6a59ee32671e625af0c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp FiniteSetsIsFiniteSet True Passed
62b99ed77d3fc73d60181955d6cf4a1a99422a43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp FiniteSetsIsFiniteSet False Passed
d8d4b5d0eb28873c2bb32b5780fd655a8c54c493 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed FiniteSetsIsFiniteSet True Passed
a20f5a7eb70a4cc91ac178ed7c2da9e8b1d5c3af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed FiniteSetsIsFiniteSet False Passed
c78adc8b847ff72de3e675c895e30dbc861a48af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq FiniteSetsIsFiniteSet True Passed
e932dce7ac51a0719f8af0d7c562d7a5a523bcff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq FiniteSetsIsFiniteSet False Passed
084049158d3eecc0d0251a6047c23a6d8ba6465b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne FiniteSetsIsFiniteSet True Passed
b3853b8a6634b0c9a72d4fd9dc5289fadc96864a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne FiniteSetsIsFiniteSet False Passed
a7953ca4ba5c71f8eab62b87abcde0c6f13e360d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let FiniteSetsIsFiniteSet True Passed
2e180b685a0dce5291e394cb9dfcf9b336ad5b2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let FiniteSetsIsFiniteSet False Passed
0700856ee4767814002bf9de515c8c2f45ec58c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 FiniteSetsIsFiniteSet True Passed
9a59586e6a013cceed3a4bfbe461ee38a13ef82f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 FiniteSetsIsFiniteSet False Passed
44b64d4358e4762a4b2977f1079311c7a9bf5de5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 FiniteSetsIsFiniteSet True Passed
6be478195e8e74765b4e6b14b09b7a3dc49610b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 FiniteSetsIsFiniteSet False Passed
ccc0b4e1fa9c3ab305dafbbb60b45b17fc75d4da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 FiniteSetsIsFiniteSet True Passed
fed38c656dd73ec499d0b9717d4ce126544a68ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 FiniteSetsIsFiniteSet False Passed
94d23f684f728181432fa3abcd46a5896c2877c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun FiniteSetsIsFiniteSet True Passed
fc105ce60779e57dd2be87580aa35a333e9c2f7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun FiniteSetsIsFiniteSet False Passed
6cb62c3484d68506e82e82737ed2dd1d2bfa37d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In FiniteSetsIsFiniteSet True Passed
7569e5827389b044b894cb1ad20242831c2ece0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In FiniteSetsIsFiniteSet False Passed
550e43c419727719d7366b2ae7e1a939a9ecca73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn FiniteSetsIsFiniteSet True Passed
19bb72e3a5c1cf0838e73493270fba5b24639eda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn FiniteSetsIsFiniteSet False Passed
220465625dcb4c54a930313b2f99bcf93704434e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists FiniteSetsIsFiniteSet True Passed
94ad22aef5da2d17405de4b1fc13306a9a5279b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists FiniteSetsIsFiniteSet False Passed
5d79f16eddd2382e715ee6c382467f6d05777431 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall FiniteSetsIsFiniteSet True Passed
7821ff75767a655a5746b1da3d25e1dc0e745122 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall FiniteSetsIsFiniteSet False Passed
5044226103a3e8daefda52639230887dec1e2994 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose FiniteSetsIsFiniteSet True Passed
80755fd06f5251f7cb6dc008a24e1af27e513910 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose FiniteSetsIsFiniteSet False Passed
dd027969ed596ed87cce9287dd82c63476638b94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record FiniteSetsIsFiniteSet True Passed
30fc10989d36e468f62f1e0f8944291ddefbc83e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record FiniteSetsIsFiniteSet False Passed
4e7409e0c6edf533bdf88865d3024bab1758247f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple FiniteSetsIsFiniteSet True Passed
ef31cb4375f58b5c1ac67da8e4e41f7932a19303 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple FiniteSetsIsFiniteSet False Passed
2886d21d1ca1a995fbe31b3f79fb171196bea95f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp FiniteSetsIsFiniteSet True Passed
048a019fd7b6cffdfe00d50e2ce5ad343796b13f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp FiniteSetsIsFiniteSet False Passed
71506506b45c6f1f5502ac8a577797f4cc611909 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun FiniteSetsIsFiniteSet True Passed
4bf947386997b49e022b0f6f76c3d2645fde908e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun FiniteSetsIsFiniteSet False Passed
cdc8ffa4f43bdf9d2f73436ec9639b187682b8ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt FiniteSetsIsFiniteSet True Passed
ae22aff98e9459aa7f95a46da27e6702b1c7fc28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt FiniteSetsIsFiniteSet False Passed
1aa8bd4c93fc4b5afbb3b4fe617a788baddd6b3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec FiniteSetsIsFiniteSet True Passed
a1edcb570adaf9fbe96cbab6c45d138c3d565cc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec FiniteSetsIsFiniteSet False Passed
1c7b20387550660f216aa96c6e498a2d536be696 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt FiniteSetsIsFiniteSet True Passed
5f5e612deb75e8796902988ed8327ac474818c6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt FiniteSetsIsFiniteSet False Passed
249537732b6c4b08e4f0e575b14c669084efc631 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun FiniteSetsIsFiniteSet True Passed
32d84901e8c46f93572bbbf7ab9e5a3d12173d42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun FiniteSetsIsFiniteSet False Passed
18a7ec8c4531262dbc2ab427522b1f3dce2833f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime FiniteSetsIsFiniteSet True Passed
0688bad8455d6307136b4247b6ba96ae9fe7d201 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime FiniteSetsIsFiniteSet False Passed
074d7df5a2fbc5cd82cd81b30cb4270f78b137a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun FiniteSetsIsFiniteSet True Passed
37b982e1f22f2d11899504b400233dc29d86c41b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun FiniteSetsIsFiniteSet False Passed
09e8a1ac83bfc5c44252244fcf4a5c348cb0d285 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun FiniteSetsIsFiniteSet True Passed
f60b9b3f0e23eb94468d9ba2696052b05fef57d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun FiniteSetsIsFiniteSet False Passed
2f805502d642ba7a6a8bfc4a2af913df28c03985 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive FiniteSetsIsFiniteSet True Passed
a4f8b2a663278d821599d6a5f34d78351a25be4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive FiniteSetsIsFiniteSet False Passed
903e5c4a0cc3df774055a7cf1cf630abd5414928 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive FiniteSetsIsFiniteSet True Passed
5d4a4eee7dc65eeae578da9fddc890723b0e7549 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive FiniteSetsIsFiniteSet False Passed
7a4314cb7887a1107fecbc3aa9f35b346144fe6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 FiniteSetsIsFiniteSet True Passed
f003a79e90b044fc319c76f67c9d5eb6152d4e70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 FiniteSetsIsFiniteSet False Passed
1231c1ee1e7673a655d8b42441d2bf94987adfad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 FiniteSetsIsFiniteSet True Passed
641813d3cdf7b33178c2c8a6f576d055a7d6a697 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 FiniteSetsIsFiniteSet False Passed
9698c0b063f749a92937abfc9c9812b21fa6c945 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 FiniteSetsIsFiniteSet True Passed
5fa99ad52334e95a8859b4023dcb0fbd40296d27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 FiniteSetsIsFiniteSet False Passed
37510721aa6551a7c30b0cea1101d8b84fa7d305 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 FiniteSetsIsFiniteSet True Passed
0552959c85013585fee00e7be4a1fa47eae0703a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 FiniteSetsIsFiniteSet False Passed
4c11ab84d99d409ec4005ef9b43512782526d48f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 FiniteSetsIsFiniteSet True Passed
428285482518c6142f611a80282cd1fc62b2f0b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 FiniteSetsIsFiniteSet False Passed
e42f27468a4e0614cdf494a4d57b8585d51234ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 FiniteSetsIsFiniteSet True Passed
21c8a614dcdb52d40cf4361645b395b44ea72798 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 FiniteSetsIsFiniteSet False Passed
ab26e41bfa69a12e4c322390db8fe2f3a00c1124 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive FiniteSetsIsFiniteSet True Passed
013e32b0bb017266302459a0dc19fb4bff320aec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive FiniteSetsIsFiniteSet False Passed
ae65da9c7fbd370d8563dcddc5bf81918273a8cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive FiniteSetsIsFiniteSet True Passed
f4350e1208302b71ef7d272b1e2de5e2dd3fe32e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive FiniteSetsIsFiniteSet False Passed
9afe76e2ac573dd2b7997fdfb76ceea2bc41d27c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends FiniteSetsIsFiniteSet True Passed
93e00ce853d61cbfe137b9d40b79f6410d7195f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends FiniteSetsIsFiniteSet False Passed
3641f7aca15b5a969592a23deffbbb97f9222e84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder FiniteSetsIsFiniteSet True Passed
db9dbd4bcbf19b9e202e712d14cfac6a80b00baf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder FiniteSetsIsFiniteSet False Passed
ec2da090da72007c3b4844f3283bccd8e571a697 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable FiniteSetsIsFiniteSet True Passed
b56d8f6fe2418a1421ef70e11d40d4baa3af9154 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable FiniteSetsIsFiniteSet False Passed
482a886a670690731075be16f42242c04ff96f87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude FiniteSetsIsFiniteSet True Passed
1d6b986ae0953dbf2cb818df532cc539523ae2de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude FiniteSetsIsFiniteSet False Passed
46092fe08653a33651999eb6017e7e646a2fe56d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant FiniteSetsIsFiniteSet True Passed
61c0d2d503dc655bafcec94c3a298c61e4db8aeb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant FiniteSetsIsFiniteSet False Passed
f26afa14caa6bd0f0b8988f7e9f49e36cc946133 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 FiniteSetsIsFiniteSet True Passed
e6cfb553f345bc81175364d4c23221f0b462c5fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 FiniteSetsIsFiniteSet False Passed
b74407334be7ac05d9b6d671730c5864188d3475 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance FiniteSetsIsFiniteSet True Passed
901b9c75f5cfa04919d4d1dba07e51b72ac60318 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance FiniteSetsIsFiniteSet False Passed
2338d087820f64118d3ec1221098cdc0f27b70d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith FiniteSetsIsFiniteSet True Passed
da4a5011cd64f19f86668329b9a1371cf2c6c689 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith FiniteSetsIsFiniteSet False Passed
0c4807005a3b019b66b4caac66c16effaec16771 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed FiniteSetsIsFiniteSet True Passed
0213cbfeec1a394767f410c1f8c47fa7f205f92d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed FiniteSetsIsFiniteSet False Passed
3287baa23f48d56c31fb3edd06a4d4aa65000236 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith FiniteSetsIsFiniteSet True Passed
5f1481a60fc214b39470ac9a8aa07d616a455ff2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith FiniteSetsIsFiniteSet False Passed
fa30fbf763b9865f3146a3f9ae21255bd0eb19a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder FiniteSetsIsFiniteSet True Passed
1fa8fed3d310a754addcd897da66fe3b3a73445d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder FiniteSetsIsFiniteSet False Passed
cb795bc4cf596049cc0de3535ee0ced10f29ee09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder FiniteSetsIsFiniteSet True Passed
40a0a790c070ca7d88b0aa3730f194220fe06f59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder FiniteSetsIsFiniteSet False Passed
5e1ec2debb6083337b46ba6f67e692bbc71cb8d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder FiniteSetsIsFiniteSet True Passed
6e9dc4ef3227db1e8776c33d081e7c0469a09707 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder FiniteSetsIsFiniteSet False Passed
1660d2c914e58581d8ed6d993056108e1ecc186a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder FiniteSetsIsFiniteSet True Passed
cc8870a1d7d8771bb6f296a2f7b59d3cf69c0fc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder FiniteSetsIsFiniteSet False Passed
0473c0ae9d27cd09a64d02ab7a825023e44f4ece TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled FiniteSetsIsFiniteSet True Passed
a1be1a75785f3340fcd464423e716faacb3b6489 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled FiniteSetsIsFiniteSet False Passed
54d332852e700c59f9bd79076ad1d4a1ac021498 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume FiniteSetsIsFiniteSet True Passed
d056c344dece683a978b0abaace54c7f0a9594ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume FiniteSetsIsFiniteSet False Passed
b7f85f3ca806a8622ac23e837796398c72063c5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed FiniteSetsIsFiniteSet True Passed
aea28af88031dfa24c28d96ddc4a0a37ccadd35d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed FiniteSetsIsFiniteSet False Passed
7ee1e599e357f469ac129c89dc6f4b7916783ed9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda FiniteSetsIsFiniteSet True Passed
65f4fa0046525eb6e0322dae67a1ecb20b7e4b67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda FiniteSetsIsFiniteSet False Passed
97f6a4022a908b49eb4f210ade45db3fbc8fc814 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond FiniteSetsIsFiniteSet True Passed
3be997c2bf9ccb9b0e965692493177aceb5e1a58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond FiniteSetsIsFiniteSet False Passed
7b9fb8c3860f96cd82cc28bf55681fbeabbf08a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen FiniteSetsIsFiniteSet True Passed
d9550b7cf210ae7b0d84237fca2b885a17fe469b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen FiniteSetsIsFiniteSet False Passed
819b0c09622caed0a44a3f23c1a1cf07de54f2f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse FiniteSetsIsFiniteSet True Passed
512592e0297950972f181bb41d7f81065f596c4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse FiniteSetsIsFiniteSet False Passed
ca69447e4f46e6c273261ec03a613c7d025ad71e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged FiniteSetsIsFiniteSet True Passed
7c7549b12e950dab773d2ba6d41ddc57a3266175 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged FiniteSetsIsFiniteSet False Passed
929889b73c85d10d791952cc2dbf9507c2b1ca11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence FiniteSetsIsFiniteSet True Passed
039039f8672a587cdcd2ea1be72b562e10fc9e5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence FiniteSetsIsFiniteSet False Passed
f113253ac1b57314cd81d5b1147f6d30676ad81b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun FiniteSetsIsFiniteSet True Passed
0c3e7e5be7fa6acccc951585c9bf0c1c588f7e68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun FiniteSetsIsFiniteSet False Passed
9ee8946f3d3a4d9c483e92b14f06708a822369de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval FiniteSetsIsFiniteSet True Passed
86c4f02f6d130e63a226ef940bffd69d831c515f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval FiniteSetsIsFiniteSet False Passed
00a33f3682cfe181d1ac86785639614aceea8c93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn FiniteSetsIsFiniteSet True Passed
8915cd8c4555d99c7e28e0c5e97d5880812f74ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn FiniteSetsIsFiniteSet False Passed
e7ee6c8297d15690931b56009d3c94f347e0363b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn FiniteSetsIsFiniteSet True Passed
b92d85e4c24366d4583ed0c88f6368c7ca1f8747 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn FiniteSetsIsFiniteSet False Passed
ff606794d174262aead12f43753c1b653e293052 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend FiniteSetsIsFiniteSet True Passed
550de5babac1db60ac28c2b52c71a831ac8f2d6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend FiniteSetsIsFiniteSet False Passed