Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
dc22125630dc834a919dfb5d4cbb77ac2b47eda1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And LetDef0 True Passed
c219df07ad03d5c9e8cf73f4fd96ff36aa9cf1ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And LetDef0 False Passed
ffb436954c8160b606e0249cd2bb1d811af71940 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine LetDef0 True Passed
b2421890eaa002395f0642dfb5ad2278ed9df08d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine LetDef0 False Passed
b420d4c3f4c2e753e2bf8009bd2b6a2839c4d1b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply LetDef0 True Passed
fc6e20f9b9328eac744d8f52cb3596eeb6a017af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply LetDef0 False Passed
71585aca6333255a561f4ca73e1a5a2a60ddcefd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not LetDef0 True Passed
da3e6dc1c520571bd400f30a094b12fd35705d0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not LetDef0 False Passed
5bc6c6509c875eebeb28831aedef751a98eff144 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or LetDef0 True Passed
1b2dc14f6e7baf90119c8eb0e3c4b4ee69a62600 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or LetDef0 False Passed
2a9952ac9672156f1f10e7a355c475390ef9eb77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine LetDef0 True Passed
380215a0e261dee5459b5144da7a80ec044b9129 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine LetDef0 False Passed
6888052973d3b5f7890c9c170e8b3d0757328fbd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp LetDef0 True Passed
af8e5f044f477611ab1731b363cc30b79997feb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp LetDef0 False Passed
eb2e624e8d4a94d3b50cde76b52bb76690835ed2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed LetDef0 True Passed
f4d9bfb22d486412fe7ef78a04b963499df0205a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed LetDef0 False Passed
01795377f50127c3fb3267a62a5223702db25e24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq LetDef0 True Passed
5ce1200294d79d20518b9e352bfe47e4f2adcd2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq LetDef0 False Passed
99007e452c410ad4d803e9c7fa9f4d8d0793ddb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne LetDef0 True Passed
b2e15489025bb4075750739cf6e213fa1a952914 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne LetDef0 False Passed
76980afce80f9040e9fbf7ba1c3c2d3122f662a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let LetDef0 True Passed
2c5b4e42f23546e8f70a9bb8792a3360dcaa433e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let LetDef0 False Passed
2a92576872578333f0ef65c1bf23a1fc82216799 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 LetDef0 True Passed
0a0cef832567b57f50ea42da2004ac68dc3004eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 LetDef0 False Passed
7c491be1e8a1c80dbb1880fa8dc711a6d43afbf8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 LetDef0 True Passed
0fc873cf16c5abc895eb0d411e25a1d12e4867e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 LetDef0 False Passed
0747c9c9ffa46369acb3e9b74034eb5b78924c4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 LetDef0 True Passed
8959ccf3e5394150544dc3f325489fd5905bffb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 LetDef0 False Passed
559114d1bba596c015c59d4a50a2521504d6a25a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun LetDef0 True Passed
2b2c6cb94c4e978c30063b58be4908d7c72c9f9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun LetDef0 False Passed
da90564db007dea98ea8f08838b6bcbb2b7730f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In LetDef0 True Passed
f2dfe6eb9eefc045ae3f0fe7174589649b60b07f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In LetDef0 False Passed
5d4359690bb8600542e92476bc42b91f45989b0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn LetDef0 True Passed
5a42a3259718ed0b752ce44f4823d45c5afed733 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn LetDef0 False Passed
2684c9c07a75c7970f70362d789c2090fd78626a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists LetDef0 True Passed
194a10daad35a271f56dfcbf4cc48b15f248b8c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists LetDef0 False Passed
f8ac4cf55ff56d8bd412f8a09227030bf907ebb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall LetDef0 True Passed
d76120d512237bf78493e058b6a88e2305e062f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall LetDef0 False Passed
7432988dddae79627df34f5ff6743a42d256534c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose LetDef0 True Passed
62019b370e9e56935b46c49ed6300b133e9ae0cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose LetDef0 False Passed
2185319946a22e878488f31e069f11f1390cf2b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record LetDef0 True Passed
712de7d2b762cbd9d887db821a347e1f6d254014 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record LetDef0 False Passed
c6780da551c2ccf8f7f7a14dffad9c7ff9d3e10e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple LetDef0 True Passed
ddf5f8ee2ea03dcec6ecbc98ec7e8f5df3e1c375 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple LetDef0 False Passed
407bd3052f28b506ad384e1b601a5bdf3a585735 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp LetDef0 True Passed
d4ddb38a2ec53e992591e86d1bd0ecea4fb078ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp LetDef0 False Passed
3215408f1a5a00b88e2cf861aa3955b50e36be9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 LetDef0 True Passed
4a8f51011f08770bf7261d8720c3c470b757b4ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 LetDef0 False Passed
120b05aa63d70de7f5e958c78b1faf88ef290624 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun LetDef0 True Passed
3835c93b240f9b52231ac21412a0da58cda9a904 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun LetDef0 False Passed
05ebd45a95038910e623d9495da431c198424c11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt LetDef0 True Passed
69a6c85c6132e1e6a58f4d94bfb3cf9de0e69835 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt LetDef0 False Passed
74c91a1d5455a2d935614c8fd78f6453a1526f0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec LetDef0 True Passed
c3e72693aa03afbf3e20ee54a42e4df731f79118 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec LetDef0 False Passed
8d723da456ae44757dc4d33ea8485b1a7f49cb3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt LetDef0 True Passed
aec7fae2b951dcfadb2303a2a2ce34166fd0353c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt LetDef0 False Passed
2023906a6fa1e9918b4d24296d98af2b432bd6c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun LetDef0 True Passed
682e99ca7f58433a77071d61f8b9ad7408850da6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun LetDef0 False Passed
bb053ffbb6c6a10df2c67375c54bd00a3873ca54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple LetDef0 True Passed
30856dd055269dd2a7ebe8192fb5b7a9c396c945 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple LetDef0 False Passed
6d7d3ac1fbf70603817cdfac04af85b45c202ed7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime LetDef0 True Passed
7bac5d553bd484cec89665970a09c83b53a9cb99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime LetDef0 False Passed
c49efcea374eef6d3c70acc63ae3e582c8d79a26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus LetDef0 True Passed
54b1905e9f0ce00c18ced6ec57047a09409671c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus LetDef0 False Passed
c80a6d0074758bca5987b033667be28f71fcee03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus LetDef0 True Passed
20079a8b8a607df1c78dc4fff5f841563566962f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus LetDef0 False Passed
0d81d0fdfa86b54885738d8c223625f5e1f816fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus LetDef0 True Passed
5752a1af51d1e929dbd28c2a39ab7efd32a6a5c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus LetDef0 False Passed
7f416dd3d5607c42cc89cd6547bf1cfbd1ae490a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul LetDef0 True Passed
e3ccad8121509d58a6a668cd1e8a586125202dfc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul LetDef0 False Passed
ec79719bf6c27d96f1179e2aa0943d5b296000d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv LetDef0 True Passed
dd0f9c24258e17a5cc320ab69a9bf8fcacd8562c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv LetDef0 False Passed
5e9ebb7d8d93124088e1674beffae48e746a704c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod LetDef0 True Passed
01a8db478aa8cf63564f8adcbf5acb24f006e7dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod LetDef0 False Passed
c6d070450784d871b7cd3dc3f3e31120a8484967 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow LetDef0 True Passed
f27c57ecc4f850e576d0f3c3a024c1effb912a97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow LetDef0 False Passed
98e9130128801fbfffab550e9bc6beed0fc65fd8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt LetDef0 True Passed
d4f522b6b823af87c9215ad26467c0f74d5ef2d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt LetDef0 False Passed
d1c9f6c99d6bd087c735543a506e9c1ab8d275ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe LetDef0 True Passed
6df2f66af77b2d35cefd5a5972d007fea7aba908 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe LetDef0 False Passed
21bf5172a937b7477dbbe1eaf24e433ef505bb1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt LetDef0 True Passed
aa8138de87cdcc1a30dad3912322c39a80a235ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt LetDef0 False Passed
d4365f1a4b04fbe9bb00b1b82d841fcdbb77186d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe LetDef0 True Passed
1842612a35143d724a27e65eeb46ef357d5c2cc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe LetDef0 False Passed
6cc14a67602fd5157be36ea69ea7fb5d46d8e7cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun LetDef0 True Passed
77c9dc0e007d0fea1313da32a88c1017af0a664e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun LetDef0 False Passed
a89d2d9e22701b69cd6c155c14314d55b2a601bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun LetDef0 True Passed
fd9be7c1c1e15a5a72a5d328fbf289d5ebab18c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun LetDef0 False Passed
d02831d817dc2035e8f7223bcbcfb1b01e102e1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive LetDef0 True Passed
db10f709a66ca2a5932b01b04efee020a776feef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive LetDef0 False Passed
5f3d96d3888926bcc12970161e0930893754465b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive LetDef0 True Passed
4f7f07567b294375785304cc21a9322b241ed552 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive LetDef0 False Passed
25148d9cc75fc230425834518672901c0b7f11db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 LetDef0 True Passed
4448a723ae0d29104b98270a9a28fad9e10fde7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 LetDef0 False Passed
b4769546f2e0e3e7fff7ffab2a4a89557f56fa21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 LetDef0 True Passed
65ae43120c245648b80d9e5ceb9a72618f021c64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 LetDef0 False Passed
7a0468fa279c6dd252d984a7c44c8840d4a3edf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 LetDef0 True Passed
2175f1cbae2024a5dfb5d2cce637bf545292bfc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 LetDef0 False Passed
38727a5953ec46bab93857640bacdd2611a05cfc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 LetDef0 True Passed
58caa6bb09628e00e047d181751f5949aa8f93c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 LetDef0 False Passed
62d8a165b543af4af2f8af11c30812222ea43889 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 LetDef0 True Passed
ecc6203c504135d33e3c48e7d0f04216ad2e09b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 LetDef0 False Passed
c3cfcfb7fd7dd4c0ceafab69031c613f37a74a37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 LetDef0 True Passed
b348c8355b1aa8549364198de66f4b7cf4a22e16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 LetDef0 False Passed
033274f01b69309f8b73f4870764b9b5ae47f931 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive LetDef0 True Passed
e6c168d753562ec02ed4fea7a982358516c43ed1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive LetDef0 False Passed
be21c8eea90a75bd6685cf5876f17595f8894741 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive LetDef0 True Passed
4d63e7b2f136d8a13dbed44c8fcc98ca49cbe1e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive LetDef0 False Passed
563fc33240eca85872aecd5387327562bd2b6e59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends LetDef0 True Passed
d4f32a5de2616ff1adb3665d818b225341454c2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends LetDef0 False Passed
4553ebc7179cb1e1d13ec98360fa8c72a15c0bd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder LetDef0 True Passed
ae676d8c4ef3aec90cb060e912a53a700b45a81f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder LetDef0 False Passed
fd27c1d794a6a018d2dffec7a04c7d6e449f708e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable LetDef0 True Passed
00064757588335c5b5cd074108e683023b3044f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable LetDef0 False Passed
cece18f3e67f62e0fc2476632852c06dd6e42d1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude LetDef0 True Passed
3ee9b9c65c1ec5f5218c820469c973f723992f44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude LetDef0 False Passed
f9227f2290fe9ed6acc8e226999ead30590f41ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant LetDef0 True Passed
c3452e2a9910c001c33704e4c33cd07d3a0c194d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant LetDef0 False Passed
6291fe92c6da416fbe65a64aa55b11afd78a5edc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 LetDef0 True Passed
598493b3693839eb95a7be3b9c02230168f9c0ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 LetDef0 False Passed
13af59d88a03a3e2fc978a279685703f91ec095d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance LetDef0 True Passed
54139f841bba27c0a6da4e3676768fc0f86e5589 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance LetDef0 False Passed
13b4030cbd5df86f8d63100dba97dc16f2b00061 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith LetDef0 True Passed
940fb677d7ace6e852d680e319fa92e12f43849e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith LetDef0 False Passed
2d7352fc1372365749f48c70796f83063f34c9c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed LetDef0 True Passed
9525958d830b8a77785e77d22b3dbd3086b1759d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed LetDef0 False Passed
12eac8538cf74bd1733d9271ad2aff3a641eb9d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith LetDef0 True Passed
c14d2f3ea6f6b6226e2a64e85dd69999502f48eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith LetDef0 False Passed
44ae881663127e9c9dad38feb719a9f18d8bf3a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder LetDef0 True Passed
14c1b9a76c43ec7ef51c9141862d67cc5ae6e8ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder LetDef0 False Passed
43cdefb611527f72e52c3e7908f1c1c8a5824c24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder LetDef0 True Passed
7e6b4812b44dd3b400de218eab347f79cd89adfe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder LetDef0 False Passed
12aea5ed423167550370b81ec194f41f3b9984e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder LetDef0 True Passed
bc01890cb05aac9423884bef538e359fd9d3b43c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder LetDef0 False Passed
a325551369f0216e9c6dbba63e531e7634516c08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder LetDef0 True Passed
d88692a8274c0125deae7e960bcff40a9591909a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder LetDef0 False Passed
9abe76a1de3580954e9dfa53ea0b133ae7339710 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled LetDef0 True Passed
19c305aa28dc6f27f07ac4339f730665588ff3da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled LetDef0 False Passed
575e5ecc4ce1d395b368a5adde785ca8f01d552c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume LetDef0 True Passed
c5a08f32e7008b6db3f3fd7cb9bf4a2858ecc6f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume LetDef0 False Passed
4c3055e49cafd1661b952f9ae14e5212351bb41b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed LetDef0 True Passed
c4016e5716636dd4a5fa8912aad4c5357164b6d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed LetDef0 False Passed
61f0bacf711e01386a5d85e2303c2dcdaf97769a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda LetDef0 True Passed
a24214198a1c456b343cf87bfe3aa3f87c6be84b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda LetDef0 False Passed
81f0cb550bc591f9b61aa2320f4babeb0c30df30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 LetDef0 True Passed
f34361fe3c26340fae0346bddec53aa13e836841 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 LetDef0 False Passed
ea3608986cba1f634f7306cd31c58b4c1774c9ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 LetDef0 True Passed
7a2ab64033439f96def5415c3a5f38a6eaa1739c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 LetDef0 False Passed
919fa286994b8ad6aee6daf7f452c379ff502eff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet LetDef0 True Passed
fc3c098a2bee8c1f0daebf68f708befb0dd8792b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet LetDef0 False Passed
1c0b8bff82bea33c10a0965f9c6ce6bc3bff6fcc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet LetDef0 True Passed
0708b83171b35f787cef500024c29cfb0a6cce31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet LetDef0 False Passed
e32903c6cc8ecad33d579c54208bcde0d100a171 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff LetDef0 True Passed
a5e95ff0a7b79dd1c566e41c0a1cad52bb1d2bfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff LetDef0 False Passed
ac1ae465dd765a69e0a17db3614b3d9c0a77544a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion LetDef0 True Passed
87c5df86de0cda0dc8ce79d55f1b6eefd5bda364 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion LetDef0 False Passed
84596a84d4a8c76284b263c9e8a2a6c8b3d86374 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect LetDef0 True Passed
34ace59a1a321f94849515bdf45086f1fbe5734f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect LetDef0 False Passed
78aae411fa62adf69ba1e40897c97db9f56c2817 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq LetDef0 True Passed
fdd85298d79956a82a24b5755f1c9d9e69e323ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq LetDef0 False Passed
ad88b5b95f991d748e0c4d452d66a8fe01aae0e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond LetDef0 True Passed
345923eaf0b7c8c00e39ce5520f5cb0830e38654 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond LetDef0 False Passed
28aac417c05929bf75cead2849e18819c6c06890 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen LetDef0 True Passed
609a46adee25b0243f1ecd180a519b73f2eba1c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen LetDef0 False Passed
33a6f8b8b1bacdb024a3e211f6b5c2dd9aa73ab5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse LetDef0 True Passed
a730d403d37a802146237d16ed58119572ac53d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse LetDef0 False Passed
92bd93c3bf977d6f41a9012b1f79cf2af46a5db1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset LetDef0 True Passed
85c819d85a26981d20c5cf2f89dcfdb6ec5388ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset LetDef0 False Passed
55a7b34ae9eb21277305a0c942dfb67ece658932 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain LetDef0 True Passed
c3690f3ea887b288a27d750b372a51334a2a7c37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain LetDef0 False Passed
b0a3ab9427e491a49162a2396e7da7f0de506d65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union LetDef0 True Passed
078b844106bc66465e3d23d89d4a49cef80935bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union LetDef0 False Passed
20c24bd7a7e2957ef5a92abdbb4c14d0e832736b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged LetDef0 True Passed
9f2f66c7f8e205cef79fc1f47a13631b16e3bec3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged LetDef0 False Passed
151bad1688f9d90156bb3fca3e5cde9faa57ff0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence LetDef0 True Passed
36aaf84176ffe12ca6b49f8cc314663d8fbaef06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence LetDef0 False Passed
0f99cdcef859dac34a373ca38b04ce841eb9bd94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen LetDef0 True Passed
58658895b8a6b452c412b5dd91f2c5ecf556ed94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen LetDef0 False Passed
886f50eddf5793317b5dd2bbb45c34ea7c1b2a31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat LetDef0 True Passed
c14646a6cda9e821d3232da5a747fe999aba8743 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat LetDef0 False Passed
1578a4abb195189cbe6b85cfad9148778c1017af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq LetDef0 True Passed
99800f1418f83222f07490e19c740c48253a98da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq LetDef0 False Passed
d7af4301fd02ec8391e12bd70715b11f0ac44e6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq LetDef0 True Passed
6af45a072f175274cce12da99c69857a43c2f297 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq LetDef0 False Passed
66b02afa994e99a05f05794ec8582982b939327a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq LetDef0 True Passed
0bf64137a14251044df760aad92e8a52d2ad5e7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq LetDef0 False Passed
fb456d6da2787fe9778aaa822a45da1efa988a04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange LetDef0 True Passed
cbdaa9a9bd11c4f58819c8c362eae0250242a0dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange LetDef0 False Passed
e7815b6d52a2082114487bea46722516252adeb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun LetDef0 True Passed
12e394773e91b373e9e064ac8a196e54b9ed9a0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun LetDef0 False Passed
aed1d89b52078d169b57183e9c5fb50fdc8f65b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun LetDef0 True Passed
7f675e5df11f51cb01b044eb7a1f70704243a6d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun LetDef0 False Passed
e95686f1e05efc54b3639612a703285d690a36e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun LetDef0 True Passed
94a3c925f309f875ac28791b7b79adf486f0747d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun LetDef0 False Passed
bddb0408ec002ced9fa0baf6db7721a7f5a39bfc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq LetDef0 True Passed
d2293afcc841cc04b275b96326631bce6428b25f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq LetDef0 False Passed
c233246e9d2764ba3b5d409c6fce44712c9e5a4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval LetDef0 True Passed
537606f15aa12e32c1216182a5f243a7dc14987e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval LetDef0 False Passed
45cdb86dba62a131757a81c820ebeb1d54203ae0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet LetDef0 True Passed
8bf20c7ab84da55ad7442d87d97a0b6888ca7713 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet LetDef0 False Passed
017aa2e55441cef2fa45a897c75761c8f480761b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag LetDef0 True Passed
e3c60a8685b0ce0cf912425d88c18a13d38fd87a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag LetDef0 False Passed
d7f5b45d4f35cffce799495db70706e3fcf38e44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn LetDef0 True Passed
5c15d29c6f41c502c3450c02c709672227e6d97f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn LetDef0 False Passed
8aed8c43f8706bbb6e1cd25eb3aa121154c66aad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag LetDef0 True Passed
b54e2b7b6690c2599221728a5bfc415e051aa577 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag LetDef0 False Passed
82ff21528da5a75f705fe2bcc07e29c4d057030a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub LetDef0 True Passed
d51ba31dcc96cf1c90137fec1455e8c0bff6980c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub LetDef0 False Passed
4960d368a397d7ea2a2e0910abbd3216b3862d54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn LetDef0 True Passed
b3cbf89aaad1dc9c4698626a03838f3417b69735 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn LetDef0 False Passed
b3a8aa10a61b23e0b3ad940bc816520fc67c1628 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag LetDef0 True Passed
5398f26ade66965a2062c17fcfe2e0f1fc087174 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag LetDef0 False Passed
abae74fd990fed4651bec767dd4ed7a862b652ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion LetDef0 True Passed
f320faec0f8fdecf96db08c39e4e3f7cfc2adcf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion LetDef0 False Passed
69966c5ae9a8b164fd546474e09640cd811b4428 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality LetDef0 True Passed
1a58ad36240afd22cfe6a5b169e7e54b4cca63d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality LetDef0 False Passed
7936666b9fe18bb3e12dfe429cd8e4332e9ea47e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll LetDef0 True Passed
486a7fd7705afd5c877165353ffa66887c176857 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll LetDef0 False Passed
6ffabf59c18add96342984879a451f4240ad2473 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag LetDef0 True Passed
8fff02fa95f0d858c5e0cb9b577dae9442eb6c3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag LetDef0 False Passed
7e37baa404f68d4e61519eb23edd299ef104e691 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet LetDef0 True Passed
7cd213141b37008e29ff93df4c386b81cd1930e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet LetDef0 False Passed
99bd211640e01478c4ac3353e8ca38001659eb85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality LetDef0 True Passed
0770b7a426ab17cdb14fe6461ac7c7ff5c75e15c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality LetDef0 False Passed
325a8b198438881fd635d237c4722f721773d1c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead LetDef0 True Passed
a501d9c17422b0e3ff80d767b3dc20260c272a90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead LetDef0 False Passed
cb15e675315219a554ae969ebe2d5a66d766a0bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail LetDef0 True Passed
1373283344a5ab849d8dc3c2a4f303dbf6230eb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail LetDef0 False Passed
ddbc13fb418899995bf60f59fc02217909c6a812 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend LetDef0 True Passed
277de4a36ce9d9a35602cdb0dfd1f1c69fee2cc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend LetDef0 False Passed