Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
69ee86ca0f7d6043df6973329b2e2a262866f066 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceWithInFolder True Passed
a89130a0bfe891319c31958e63e46b9e5fb558ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceWithInFolder False Passed
125183362568138372182b46d21e630319650096 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceWithInFolder True Passed
9540e6fd5c7d2e0af7476da190ffbefb69f6fb49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceWithInFolder False Passed
63b2ca6a76e5d859c78e759ad713e7587c8c3f08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceWithInFolder True Passed
2591f5c211d5f6da46f2c62187728df6d4765de7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceWithInFolder False Passed
10604a7c975aae0008d2f50d8d24e6ef07ad93e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceWithInFolder True Passed
cf81e788a9ca45c018d47fc556a1d01e87522554 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceWithInFolder False Passed
19e630c2d1482b0c47614e7d5ca302fccc871ec3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceWithInFolder True Passed
c348ecbc41b425f660dfa5fb2f2a1d9939d55d91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceWithInFolder False Passed
3cbeecfe16ed794ee7f5879f965384fb5d179bc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceWithInFolder True Passed
d33a2721b279a5ef71cfc4d91d2d28616822cab2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceWithInFolder False Passed
5102e552772c65dcf6409993cdefde45c55f01c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceWithInFolder True Passed
dbe55f16bdd55e449fd35af66745a1148b397283 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceWithInFolder False Passed
679913302ef5abae314e338d0a911dba4fba4d27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceWithInFolder True Passed
8612d7cb96e015a91fb15c69fe3671c86b67e05c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceWithInFolder False Passed
19a6d39dcff355e49d5a93cc50f63f1808a7fd36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceWithInFolder True Passed
079c7267015487696aadfce27d0491cc68b4407f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceWithInFolder False Passed
e1629791981c1407e3ae211f264b184426384ab3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceWithInFolder True Passed
0688a7f526735620e97ee7f1113817732ed895d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceWithInFolder False Passed
056937a4e9b3171e5674b0f8808e654a237070b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceWithInFolder True Passed
9c8ec43363b25508a9c731723b3ca8d7e20a135a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceWithInFolder False Passed
ef89675f299ca195d37bbf176416018c4efd4cb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 InstanceWithInFolder True Passed
1ada001c981b1b9393f5df91d8c86fcd5954ad59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 InstanceWithInFolder False Passed
52997096ff17325d4cffc8e4e755b28e84816aa7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceWithInFolder True Passed
108dcc0f44ed1a7cc14e9cb73b9e47e4b4141202 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceWithInFolder False Passed
114bdef4e54810be203ddd1c0f91452e82bad021 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceWithInFolder True Passed
5b6c8e2a7193ab1aca613fc8eeba262b00fb33a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceWithInFolder False Passed
22487e5c1dd8d5e46bbc16963e588a2290b1864e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceWithInFolder True Passed
0c955dc7576c71f47bd2fb3f89bf2dcb82d74c1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceWithInFolder False Passed
eaa942283164c702804b1a0746c522dd963f5c55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceWithInFolder True Passed
4bd4aa5375d04d8fc6d7c2c45b0f653fc900ad34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceWithInFolder False Passed
642563eab2fb0734b02872dbbcce274e32f3eedc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceWithInFolder True Passed
fd88e6a869ecd8b3bc44623c056f6c312762b815 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceWithInFolder False Passed
2000ca94ddce1bf233700ec331ae54c12043a2ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists InstanceWithInFolder True Passed
eba6527070aeab74d0e7af0dcc2dae2859dbc0fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists InstanceWithInFolder False Passed
cd91dc576aed7891f12f651f5b4aa7da3693b462 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall InstanceWithInFolder True Passed
4508ca1da065cfd8234ce84d0f904222b46e33ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall InstanceWithInFolder False Passed
699a660872a8fb45072c8a701ff5e3248190754a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceWithInFolder True Passed
f7edf6a8139cdc12d873cac225aa87f7fa9fee34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceWithInFolder False Passed
ebf93bfae4af39829810fcf9affa27511a571101 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceWithInFolder True Passed
211d274e8e57d93d1f87af23f4326a15426d14a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceWithInFolder False Passed
9727b364098a1ffcea22214d3bdbdf8faaadc2ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple InstanceWithInFolder True Passed
3a11600151817c262a7d6d9f85fc0edf194b2d7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple InstanceWithInFolder False Passed
7d9048a7b7281728c0b0371c59e3e5d7efd6e075 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceWithInFolder True Passed
b8ef0a0b904c12c50deb96d059a3cfc77d40f7ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceWithInFolder False Passed
09ab55c8220e46b786985a5544d8a9ca144a80b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 InstanceWithInFolder True Passed
a10124beffd75c1cc361328bd141b549f8a99118 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 InstanceWithInFolder False Passed
b46394ec2c4c9ee0deeeb4a6e2f62dacd607b613 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceWithInFolder True Passed
190d2062b45ae474626ec53481106aabb1d7650c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceWithInFolder False Passed
36edf13ecfcd08f4d998dd4fa107369159790cb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt InstanceWithInFolder True Passed
519df89896d178a91c56a33523bfcf7a622369cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt InstanceWithInFolder False Passed
eab8f2277590ece36648de21a4a76c6ee84521bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceWithInFolder True Passed
925372e045155415be144bd9b444f282f5b84112 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceWithInFolder False Passed
21ade058a4e50f211fa00f28d14c3a6ea413a773 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt InstanceWithInFolder True Passed
dacd9ccc61ac6230b1a51a7caaf1dc13070e1945 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt InstanceWithInFolder False Passed
0d22800084c8d01a4f26934fcd3c7f9d495b6b81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun InstanceWithInFolder True Passed
086a4d3f1708813ced679eb6993b3c09dd2c1902 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun InstanceWithInFolder False Passed
d414b2ce216af0e8bbc63363f2f20e7bb7cf360a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple InstanceWithInFolder True Passed
44a169108506c3b21a6660daa74ae71755c58e63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple InstanceWithInFolder False Passed
6ae0f41bccf10c8e96e00029e4a9ea0100191e56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceWithInFolder True Passed
b14536434dbccb22a7f381f4ced569af24264749 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceWithInFolder False Passed
45d1e3836aa10e5603772c0351ff10594ba01988 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceWithInFolder True Passed
1f77927525b0c91b6f9a10f54ee3574cad6f733e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceWithInFolder False Passed
277455ebce1780b108e8d54965fb1630cd987274 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceWithInFolder True Passed
d72e73a8ed4f6c54fe0134146ea08c03c4fc7108 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceWithInFolder False Passed
357458da1ba1d530c47b0278efa3c98204c8c467 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceWithInFolder True Passed
682b4691c392f250bd9efd63b3d401681ff99bc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceWithInFolder False Passed
b388a2bcac63506dcb6e3a31a834271aeb13d7c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceWithInFolder True Passed
27cb51b65bb1fc5ab558936cb9ef0cb5d14e9761 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceWithInFolder False Passed
dd149616d2fe994204700b84cecd516480dade5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceWithInFolder True Passed
c5df67e435c31bda576dbc7baecf8126ced2a770 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceWithInFolder False Passed
f9578f28c71dd03f66d033a418386271b10ae74a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceWithInFolder True Passed
a5cd2ab47cfe1ca00b62dcb7be8854f37de30be1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceWithInFolder False Passed
a0c81cd96006ff5deccc430a41481ddc1526b337 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceWithInFolder True Passed
dfed9b472443b40bdbaa95aced360aa22e84bb09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceWithInFolder False Passed
01b2dbfb9be6bfbff52df72fedc65306b27c0c75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt InstanceWithInFolder True Passed
1ebe258a9f97caba04df8a323c3143dab66bddf9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt InstanceWithInFolder False Passed
3d52eb8e2169334fb887dade9b6bc01ef977679d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceWithInFolder True Passed
167bc4b5277071f66e1f9886919749312a3edeef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceWithInFolder False Passed
67174f42e0546cec3b6aaaef90e6fa41ddb4b9f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceWithInFolder True Passed
adf4df45ce80d781ffcc2740dd79c1117ef07861 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceWithInFolder False Passed
f69ba041ecfa8ad2691a5f75a455cf34d3e9490a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceWithInFolder True Passed
e0d72a90172ce954c1c3a46c4cc2aff7941414c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceWithInFolder False Passed
234063db0c8f8454ec8d8c0612de8016c9ed7c32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceWithInFolder True Passed
810398e2f2068b81d1fa32c06eb6a73d0df75ec7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceWithInFolder False Passed
576a8a584e5f8ee703e4b3239a067ef8213dba86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceWithInFolder True Passed
530b05005d4982a2492d708ab58e459d3d91f35d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceWithInFolder False Passed
0013bd5b0f3843bc8555d53ecf99e1063e21337c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceWithInFolder True Passed
2fc0827d8bcbbd9a7ddf27daca3c234da0870b35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceWithInFolder False Passed
980d8e324afdd1b9b47b81dfb43723b7aae5fcce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive InstanceWithInFolder True Passed
e56d557f49c97797cf597d483f788ffb8fb170a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive InstanceWithInFolder False Passed
57a69bb8e6ef11f64329f49c161795a8ee709f77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceWithInFolder True Passed
7852b4c31d59b48e661c1ce3dc5b16bddfc77347 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceWithInFolder False Passed
fca97a01d77751e38f9277a54f3b100d0806f93f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 InstanceWithInFolder True Passed
af4cf7b2d096a62ba204b0ea905495f838563ff4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 InstanceWithInFolder False Passed
47e1220794fe2a77eb7dc38e14bb379bb622b9ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceWithInFolder True Passed
a860b24ab8b37173cd4689e6dca6816fd0a07a4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceWithInFolder False Passed
81669e048edb887cfcca9f661cba7d4a205d9cb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 InstanceWithInFolder True Passed
275da29cacff8f3bd86fadab32b47b97a811b46a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 InstanceWithInFolder False Passed
4e3c83fe03d8e67047ac93742f3ae477510c1067 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceWithInFolder True Passed
adb7e73e3e5b562252f823956cbbb5913ebe0011 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceWithInFolder False Passed
6694ce9b1e36e5cc56ef6222d2f67e0733dbed98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 InstanceWithInFolder True Passed
ed7cad60388dfe2f7c1e578c790f350d8ac4b659 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 InstanceWithInFolder False Passed
3c448449f1e0360a196e4e6e643d3ea9d8f5da47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceWithInFolder True Passed
b6c92ca05d3ca44f3a24039349f7ed84fc40caf1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceWithInFolder False Passed
e578af10b066283a59921a675639979f86472a80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive InstanceWithInFolder True Passed
ab14ada2841bb79330e3188c7253666668afedbd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive InstanceWithInFolder False Passed
f70d304f3717915241e962efb6f5ae8c8ee9abdd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends InstanceWithInFolder True Passed
643ebfdee7a4f768143c20920a9b6067cf17c6e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends InstanceWithInFolder False Passed
fe5dde39fad8657977b567874b29b6836ca4047b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceWithInFolder True Passed
89dd44ff9545d3c2e6a28730e2280e4b6b8d9630 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceWithInFolder False Passed
7348e5ddbfe6548295eef375cc220470160b7a57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceWithInFolder True Passed
0b4ed4ecf157002343b610d06eac5c1d4b80ae50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceWithInFolder False Passed
d296b67518f550eceaa800997e17ab9ba02a6d55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceWithInFolder True Passed
0a9a90f8aa6adf0165f216cb6abce3faeb41e0be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceWithInFolder False Passed
2544a325b5ef012d5373fc7f4b150925d0d39e54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant InstanceWithInFolder True Passed
e41c5d359f5b813860c9b2ad442286d8b601b04d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant InstanceWithInFolder False Passed
ab8242a168fdccd106e2894d3f7fa48f0b86ff97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceWithInFolder True Passed
02718392994951416e391cf7000aec51cc989c89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceWithInFolder False Passed
000bcea1e82b1f954681777829188bd0db427db8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceWithInFolder True Passed
384871a589586ff230ae10905315e08de951c83c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceWithInFolder False Passed
abac974abc8f0a9f829c85bd9fc716a4f2b682e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceWithInFolder True Passed
9e46c88fa017065e9bbf9ccff3d2335942c0feba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceWithInFolder False Passed
63fd212d313107e8e901ac33b54bb8009b70bf17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceWithInFolder True Passed
2954eb9a5a56b4d5af84ef1e74a6e5bfdbb2860f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceWithInFolder False Passed
351ade4f6bdda1bb1d5ad59b384ee3fd58a96f1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceWithInFolder True Passed
1fc67a250bc5513b029343d319b3a8b0213fb024 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceWithInFolder False Passed
30bfda46027f6090c767387fd94177de0d044fcf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceWithInFolder True Passed
91b8476a521e0b95f452ec2ea6a86ae5fa77ed42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceWithInFolder False Passed
3c31e5e2f11584ccf2ee596aa17192b572359ced TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceWithInFolder True Passed
4ad962b74b09de4c8ae3810de8cf06ce8ebe7bd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceWithInFolder False Passed
bdd3e3cfb34a38399ebe523253db5837cd5f7301 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceWithInFolder True Passed
140e0eef69ebd8d8a7077dcf5b80a391662adf78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceWithInFolder False Passed
aa062601d2188d8a54b82902fd7e19c4b06be8a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceWithInFolder True Passed
42a0034a4ca9ed7bd0cdda22a31024d7894e21a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceWithInFolder False Passed
f321b95681245eb9cdd1548c16ed98cfaa2ffbe8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled InstanceWithInFolder True Passed
d3c1170b1ee1e4d1929e77a066e091100163dcd8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled InstanceWithInFolder False Passed
4aafc92004c22c915f4480e3cb375dbcc31105c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceWithInFolder True Passed
688eec506ae5202f313ba4cc53dd8b67f2fee693 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceWithInFolder False Passed
15521ae6feb3115df4453743e9d8877b210630b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceWithInFolder True Passed
71d31dd2c82184c8e1a4c911f1267d5a7de110d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceWithInFolder False Passed
f6a2e05df58d4358b0fb834462e17630c3a05b1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceWithInFolder True Passed
dd742d560c1b76fef319256e5630994c510851d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceWithInFolder False Passed
db8b944f6670e72eec707f515934fcf7e77285c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceWithInFolder True Passed
f9b92b2235ea7cf193c804fa9afa65107ae2f6f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceWithInFolder False Passed
55be40f5a3b5f1177947088ccde392af5c26864c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceWithInFolder True Passed
76132811d12c996ecd5206eaada12983afa255e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceWithInFolder False Passed
40600a20e16f6247c805dcd981c9ed1d6aa3e7d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceWithInFolder True Passed
83670444a3c228d4b1b269750740bc716e8af73d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceWithInFolder False Passed
ff9f2f28f7103bea10bb957d90310239764693a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceWithInFolder True Passed
53f19ab6257b8619afcc947dd6ec8d51b3e181c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceWithInFolder False Passed
a0c4a0fa3d4576f5a0478dabe61ade2e20fea44b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceWithInFolder True Passed
94fc3f7c4e9abf8d2253672289746fc9cf3a94cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceWithInFolder False Passed
2ae28c44646fa6d80d13d38c66c5ea3f7dc18497 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceWithInFolder True Passed
ba78f00a2892bb6d596082d0703b55044140c97d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceWithInFolder False Passed
3e4d5e512538efd5f294ef2eca688ae8cf518377 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceWithInFolder True Passed
5157dfb441410cb3273d0e825988cb76b842c623 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceWithInFolder False Passed
301dddd7833175a6e425c24718bd01cb8a191c8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceWithInFolder True Passed
52d12feac4cb348f567dfc7dd51b074f12518c74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceWithInFolder False Passed
ca1bf40af36e8ceee6042d89a795301cb930f8d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceWithInFolder True Passed
cef10f702fe8ceba19ac745bafa8729caf3e1ee2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceWithInFolder False Passed
b6dcd0272a4da05344e879ebe6ecfe31598f0b1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceWithInFolder True Passed
f8f3ffd108d82829e155b87ba6ed6459cb2f1b73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceWithInFolder False Passed
d944fceb75bfa8208449d1450e8a44207a5605f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceWithInFolder True Passed
23d41569b15ce027c835d7a1e741af0b66c8ede5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceWithInFolder False Passed
049560e124108da1d0b386e435817654dfc99ca4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceWithInFolder True Passed
6c0c97739c8ce31f927e65eae525caa521b366b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceWithInFolder False Passed
1aa78f07d1178256451a49f56504e5040b91bd23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceWithInFolder True Passed
3809055c4eb989e4c482a3eb823ee23dc7898151 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceWithInFolder False Passed
ce0283bfb1cc2454b9c7b0a4f7ded0d0d2a53f51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceWithInFolder True Passed
fe3edb3b9277d323084eb38b91314495d3385259 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceWithInFolder False Passed
9c11684673cbc6dc8874217b0086cfd1708db08e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged InstanceWithInFolder True Passed
3e9602c5fda0f47ca449d138355ebd3130ebf62d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged InstanceWithInFolder False Passed
3e9996673f41d282b80e353817b53ce2d041ca44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceWithInFolder True Passed
691a360cd28cc7d279a3e15a21296583a29e3e05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceWithInFolder False Passed
7aec1e06910b7b92c467ac4868e3cc6b1c8557f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceWithInFolder True Passed
26b4ce5c1dfa35cbb15695be366b9703f41f7ebb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceWithInFolder False Passed
c66177db9a7e230d0ded5a057a9f7c251baf14d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceWithInFolder True Passed
78de6626d83f4588016e8bff43aafc69b72d608f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceWithInFolder False Passed
e8580567866c4a09724382b802718d9f6c7dfe25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceWithInFolder True Passed
ac09c66692a078eed915804fe251011352e0c5f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceWithInFolder False Passed
7d1b7955ab6105b951f4125529a070e809f4b166 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceWithInFolder True Passed
0cef1fec581dd2aa27f9e6466687b0114b6a3e57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceWithInFolder False Passed
6e3077b06e4a667016c0a7ec6753f93182697af8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceWithInFolder True Passed
e53b36eff7df40e0b6f1689d43fef8bc503cabcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceWithInFolder False Passed
bbf9bd2e260df8f228ab29fc5857ddcc0fad6361 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceWithInFolder True Passed
24f0058f462f782445ac305b45a410ab05f6933d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceWithInFolder False Passed
852f4070985181b22a478b17839fd261df60f9ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceWithInFolder True Passed
ca6860d280cc8667ab00641ba11f72c8bb4c7dba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceWithInFolder False Passed
36788560938e6098aed332e629695e7866411e8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceWithInFolder True Passed
d1b722fde4b8183678c884094ddf3d700f2865c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceWithInFolder False Passed
38ebb295dbd37b435e197da3c2d9ae958e2c91a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceWithInFolder True Passed
c4ee1fd8e6f1d8cae36cf5e54f7cdde0deb81b22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceWithInFolder False Passed
7b418d221daff1c201af6a50193f24ceec19b8f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceWithInFolder True Passed
b598911ea14b73f3948c2352be343d9355fadeca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceWithInFolder False Passed
fc6d8d12a81c29d5702215f85f88abdbdcd353f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceWithInFolder True Passed
d65fb4e2c258c77a5990bad98ce7774dedc53a98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceWithInFolder False Passed
09c63b34f80629d4e8cde6989bdb515a311622bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceWithInFolder True Passed
9a1d1f81c3ad4f9255f7514e8e14abcc70357e0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceWithInFolder False Passed
b4ed85d99bc7bef3fe85f3aaca723f3785efc650 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceWithInFolder True Passed
b329d89b0ed66e20405dfa7ca952c0768dd747af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceWithInFolder False Passed
48057fbccc6f907b522de23e6e0117f6a6d2ff52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceWithInFolder True Passed
89cb58c12df1ac6e56bda8fe130ff3a2db9944c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceWithInFolder False Passed
4b5b91ab099c69b4349b59806b3997ca63eecc95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceWithInFolder True Passed
006d6b3c05cac7bb40a92b0b0ff2e59001dbc140 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceWithInFolder False Passed
1089df0a41341be022f696b4c40d694e4750ee78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceWithInFolder True Passed
a80ebda00a3d21d3b1e531bd87d01884829d9acb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceWithInFolder False Passed
907d499ab3ffd98c574035d00ee77829de99de1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceWithInFolder True Passed
b3c85d284315c0a4fa8479db3ff34325f9d0458e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceWithInFolder False Passed
b09a9b54793a012cc905cab980c37c4625dc259e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceWithInFolder True Passed
8c8104942566eaa71be1f7bf218066346ade97ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceWithInFolder False Passed
3dc191a3190cc032aa6f989144f98d88ed955063 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceWithInFolder True Passed
afca98ec3480442b1de9eb27ecaa37ab6ae92d49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceWithInFolder False Passed
2758064ce7eaa513eec12c53876ef29ca44dac88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceWithInFolder True Passed
95a55688b98dc79ceb559431e76286ae285f1df2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceWithInFolder False Passed
e37086374a272bd409403d2ec862a4337956644f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceWithInFolder True Passed
9a9363eb4bed7bbb43e8b097239cb0d72fedb50a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceWithInFolder False Passed
7e612eed7c00db80b0b57ecc09ff0199b9d983d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceWithInFolder True Passed
10c07a70b8a58d6aa6d845f6808a3ba06ded9414 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceWithInFolder False Passed
18b5c615b3e68b946fbfe67697f79301e9bf5675 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceWithInFolder True Passed
71a35e2c592fed8d4fae0d89d3ad84115ee62758 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceWithInFolder False Passed
6e865238f8e11582dd2c0615210bd733d527e631 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceWithInFolder True Passed
4a0b0001134370e375db26003304769247902e7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceWithInFolder False Passed
4a88a8590ef17a75f7d9b2c8b3fccd17c30fddc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceWithInFolder True Passed
4d06fbc18929acf7fe0491ed9f2f7ccbf9c67143 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceWithInFolder False Passed
6e010f98e7f21ff3ad96f114bd1655150b7ae4bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceWithInFolder True Passed
8d10b8ea6d3cc422d6fd873a3ac971ec159cee77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceWithInFolder False Passed
a7ca42e1a8d89844d213b93dbf47f71a9b4f3019 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceWithInFolder True Passed
a508383f6778480b011510c67723275676126c5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceWithInFolder False Passed