Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
105729b19b9ca871368403e2841e5c2717f60d07 |
TLC with reduction strategy:
|
And | LetDef2 | True | Passed | |
99e3a3d58459ce1cebe5c7f8c228c35a35984fcc |
TLC with reduction strategy:
|
And | LetDef2 | False | Passed | |
07843aa7e98dcbb2a446ba1114f97b14d569c862 |
TLC with reduction strategy:
|
AndMultiLine | LetDef2 | True | Passed | |
72100e57aacb3fc3aa6c6a05a6ff11d0ea35f7b8 |
TLC with reduction strategy:
|
AndMultiLine | LetDef2 | False | Passed | |
c39cc21faaf5599cd9e98c94f81286e87fe5ed7e |
TLC with reduction strategy:
|
Imply | LetDef2 | True | Passed | |
d335d878d1bd4668954cc1d1d299e6c48bf2e612 |
TLC with reduction strategy:
|
Imply | LetDef2 | False | Passed | |
3594edd6eea607b69ec59d8db5b8444545f56d44 |
TLC with reduction strategy:
|
Not | LetDef2 | True | Passed | |
fa0b5b33e2a96c18f41377b8ec7105ab571c8ab1 |
TLC with reduction strategy:
|
Not | LetDef2 | False | Passed | |
8f2d4b95d8f0c33172429fb3ec39afb30722c3c1 |
TLC with reduction strategy:
|
Or | LetDef2 | True | Passed | |
f3eb0e82b0e88a5eb4057f2b74df518fd4c5bdb6 |
TLC with reduction strategy:
|
Or | LetDef2 | False | Passed | |
e319a1c65e8678569ebb9cc44b588fb6487d8f86 |
TLC with reduction strategy:
|
OrMultiLine | LetDef2 | True | Passed | |
44d5f3f811260bd55b13dc22f772781fa3216c7c |
TLC with reduction strategy:
|
OrMultiLine | LetDef2 | False | Passed | |
d391f658addab8165cab3de816aa3b445fc7f339 |
TLC with reduction strategy:
|
AndProp | LetDef2 | True | Passed | |
64385a10c0f85c8b7e2e2b4603e984537a309844 |
TLC with reduction strategy:
|
AndProp | LetDef2 | False | Passed | |
ba6988f05f2559023d8725fa33d7aca68e911bd7 |
TLC with reduction strategy:
|
Boxed | LetDef2 | True | Passed | |
4d683929f74dd872c441be77ee8983190d2f4df9 |
TLC with reduction strategy:
|
Boxed | LetDef2 | False | Passed | |
a6bf62a1094308fdc65e1aeb916fdd1cd4077d11 |
TLC with reduction strategy:
|
Eq | LetDef2 | True | Passed | |
f9bbebe2812a33986ab736d84c0443a279e20b87 |
TLC with reduction strategy:
|
Eq | LetDef2 | False | Passed | |
89c0f0eb4f62d36b9b33f8b2cc55ae03c9dc3f87 |
TLC with reduction strategy:
|
Ne | LetDef2 | True | Passed | |
96c9a42734a6f4cbd6dc0ed8b81aac2c56ead492 |
TLC with reduction strategy:
|
Ne | LetDef2 | False | Passed | |
9c25b829e8cdeb2ef8b142008aff2b4b898d4118 |
TLC with reduction strategy:
|
Let | LetDef2 | True | Passed | |
9ba5272f31cb39733b8804c624d6b50026adea4e |
TLC with reduction strategy:
|
Let | LetDef2 | False | Passed | |
2bc7984f04d6c16d5e77a24ce7faac224b55926c |
TLC with reduction strategy:
|
Set0 | LetDef2 | True | Passed | |
3f70da35ed8b707fe5144a4e9b6bde1428a543e7 |
TLC with reduction strategy:
|
Set0 | LetDef2 | False | Passed | |
f8c347352675a575aff1aee37799c4c814b6aa65 |
TLC with reduction strategy:
|
Set1 | LetDef2 | True | Passed | |
b000f78701434f179ce16c10df108fce866dff52 |
TLC with reduction strategy:
|
Set1 | LetDef2 | False | Passed | |
b6e5a731fcb46c409652a8bf63170918686b0424 |
TLC with reduction strategy:
|
Set2 | LetDef2 | True | Passed | |
c932cdcb855ed4b71d4c07a7e8273a48a0fa7f98 |
TLC with reduction strategy:
|
Set2 | LetDef2 | False | Passed | |
ef340a7e50754ba08e177b924e679fec5ffc1d29 |
TLC with reduction strategy:
|
Fun | LetDef2 | True | Passed | |
373e99da4da36722a37d2f1c89180f372cfd0d7d |
TLC with reduction strategy:
|
Fun | LetDef2 | False | Passed | |
5b70adfa3837abda9a95865a495f2ca2fbfab930 |
TLC with reduction strategy:
|
In | LetDef2 | True | Passed | |
6e8cd7cab1ffd583b2ddc725a5964feea859e87f |
TLC with reduction strategy:
|
In | LetDef2 | False | Passed | |
96752732cbc6a99cded8ef67b75b9d1a6381d9e3 |
TLC with reduction strategy:
|
NotIn | LetDef2 | True | Passed | |
8cc04f7c85d5d63cd0fab54eeb516018a33b2db1 |
TLC with reduction strategy:
|
NotIn | LetDef2 | False | Passed | |
416b0e9a8b310e0239e1eeb1207bcee6883cc4aa |
TLC with reduction strategy:
|
Exists | LetDef2 | True | Passed | |
4109b62b8d4a7535d0071a7eed5e892da3377f85 |
TLC with reduction strategy:
|
Exists | LetDef2 | False | Passed | |
f64a6a7e507f2f830ec6c775690dd1aab52f42d2 |
TLC with reduction strategy:
|
Forall | LetDef2 | True | Passed | |
61db0936e4cff1fb67b314368f09c394977d88c1 |
TLC with reduction strategy:
|
Forall | LetDef2 | False | Passed | |
e8551e29395f4cddc280a79c1dbde032fd660149 |
TLC with reduction strategy:
|
Choose | LetDef2 | True | Passed | |
165921d07e20bb505b0d12a8ffec26fea3ade589 |
TLC with reduction strategy:
|
Choose | LetDef2 | False | Passed | |
db28e695f66a3526459174159b66c52f81ed7edc |
TLC with reduction strategy:
|
Record | LetDef2 | True | Passed | |
c030726347bb21fb0e8eb31a48aa9c44aafead17 |
TLC with reduction strategy:
|
Record | LetDef2 | False | Passed | |
1d478a1e6c10fb5444dc6fd1cbe129a970e274b2 |
TLC with reduction strategy:
|
Tuple | LetDef2 | True | Passed | |
c73407533682517d0cf4d0c1c542f715a2dd7af6 |
TLC with reduction strategy:
|
Tuple | LetDef2 | False | Passed | |
8d4110c668f580be7e71571e75916934a443034f |
TLC with reduction strategy:
|
FunApp | LetDef2 | True | Passed | |
3973f5fe26f275fc7f6dc7c0b1dd3fe30acbd6c6 |
TLC with reduction strategy:
|
FunApp | LetDef2 | False | Passed | |
c3321c615922a1d9fc76feb1c85e4d49d21dc2c9 |
TLC with reduction strategy:
|
Except0 | LetDef2 | True | Passed | |
6126a8d2af7ffdf541838c3728d3514694c576d3 |
TLC with reduction strategy:
|
Except0 | LetDef2 | False | Passed | |
378aec466edcb0e698a6d960168036586eafa3fe |
TLC with reduction strategy:
|
Except1Fun | LetDef2 | True | Passed | |
a921d1c3a2cc6b0144c1b7013b6db0793a8653d6 |
TLC with reduction strategy:
|
Except1Fun | LetDef2 | False | Passed | |
98dabce5d80e61a7b472bb17ce0c3aacd8dfe47c |
TLC with reduction strategy:
|
Except1FunWithAt | LetDef2 | True | Passed | |
4367529891e73c484e1b29bc650788a81216560d |
TLC with reduction strategy:
|
Except1FunWithAt | LetDef2 | False | Passed | |
c5c293ba34e8be327deab5e405c6de102f608eb5 |
TLC with reduction strategy:
|
Except1Rec | LetDef2 | True | Passed | |
439dfd195fd7f46232e370ef2561352e0620006f |
TLC with reduction strategy:
|
Except1Rec | LetDef2 | False | Passed | |
481e32dfd57541c1d7082d0097363f46c2d5cdea |
TLC with reduction strategy:
|
Except1RecWithAt | LetDef2 | True | Passed | |
cfdcd827dde2e07012e8a898e92ad69b2b8c902a |
TLC with reduction strategy:
|
Except1RecWithAt | LetDef2 | False | Passed | |
713f434847e9d0afacde2662401a018a9150ff87 |
TLC with reduction strategy:
|
Except2Fun | LetDef2 | True | Passed | |
203c846e28cef7b57d3ae4e6d75e9f2f200a2c4d |
TLC with reduction strategy:
|
Except2Fun | LetDef2 | False | Passed | |
716066792cc15625e6141aa2f7cd0546889d3729 |
TLC with reduction strategy:
|
Except2FunTuple | LetDef2 | True | Passed | |
25953203a663b3bf1b74fa0b5dc57e6da9de9db7 |
TLC with reduction strategy:
|
Except2FunTuple | LetDef2 | False | Passed | |
84302beb120cdbacd0e3e1ec1f866a41e2c22559 |
TLC with reduction strategy:
|
Prime | LetDef2 | True | Passed | |
25c26d58876a9cd0c8db8c37830450af1c3f6ad5 |
TLC with reduction strategy:
|
Prime | LetDef2 | False | Passed | |
d87b89c607300f5d6ab726420da0826d6df0f820 |
TLC with reduction strategy:
|
NumUnaryMinus | LetDef2 | True | Passed | |
b7ac5cf515684e744b84ed25ce1cd5c5088e2bcd |
TLC with reduction strategy:
|
NumUnaryMinus | LetDef2 | False | Passed | |
8baaa28bde98bee3e4b0581ac15828d5e068f436 |
TLC with reduction strategy:
|
NumPlus | LetDef2 | True | Passed | |
845adda3f492ff6cc35ed6ef8b1c99279012b052 |
TLC with reduction strategy:
|
NumPlus | LetDef2 | False | Passed | |
4899a5eb0e9a1253189208779afb729c22654c44 |
TLC with reduction strategy:
|
NumMinus | LetDef2 | True | Passed | |
14d8877d7fb7d1ab7861d0b92172725b7188ca13 |
TLC with reduction strategy:
|
NumMinus | LetDef2 | False | Passed | |
9f13eb8addaeb9ce122605f19a4233a36a7c4a3a |
TLC with reduction strategy:
|
NumMul | LetDef2 | True | Passed | |
d3fa7f548fc339608a882b631fb95d0d7e0d71a6 |
TLC with reduction strategy:
|
NumMul | LetDef2 | False | Passed | |
2ac557ec8f26fc19ff98ebacf1a61540b130719f |
TLC with reduction strategy:
|
NumDiv | LetDef2 | True | Passed | |
32f7069304f2b9f93874c1fba5af39a11fd90774 |
TLC with reduction strategy:
|
NumDiv | LetDef2 | False | Passed | |
93f1e8048b8ed64fb8f8465dd71b205df19d05da |
TLC with reduction strategy:
|
NumMod | LetDef2 | True | Passed | |
b85a88311c32075622a290742d35145704697831 |
TLC with reduction strategy:
|
NumMod | LetDef2 | False | Passed | |
9639ff9af9b019a8f962268f32cc8a20e2be5205 |
TLC with reduction strategy:
|
NumPow | LetDef2 | True | Passed | |
e4ce420e4b15fb5bf6f0520ff882b41cf899553f |
TLC with reduction strategy:
|
NumPow | LetDef2 | False | Passed | |
1d8fbd4f67d0fc287478808b24c8a82acb84e96e |
TLC with reduction strategy:
|
NumGt | LetDef2 | True | Passed | |
9380a5873e4cfbe58f337fca4ce8b14a437ff2b3 |
TLC with reduction strategy:
|
NumGt | LetDef2 | False | Passed | |
cc55200d775e1ab86747da9ef9b558c0e0eb2c0c |
TLC with reduction strategy:
|
NumGe | LetDef2 | True | Passed | |
5b047e6a7697086daef725f8f253be0e7b64c47d |
TLC with reduction strategy:
|
NumGe | LetDef2 | False | Passed | |
b91784cf4ccb7cbb22b9db2b45184074329fa3c7 |
TLC with reduction strategy:
|
NumLt | LetDef2 | True | Passed | |
ea4ddba86a3e4dd83b0e7813fc7dfc0e4af9ff76 |
TLC with reduction strategy:
|
NumLt | LetDef2 | False | Passed | |
75742a4f81ddaf589c486d73b43c95b255257bf9 |
TLC with reduction strategy:
|
NumLe | LetDef2 | True | Passed | |
86485eb35d7589ce3d104d6251fbdb9cf2e4e121 |
TLC with reduction strategy:
|
NumLe | LetDef2 | False | Passed | |
35534a9c40c80f508e0c6bca381bea8a13b04f17 |
TLC with reduction strategy:
|
DefFun | LetDef2 | True | Passed | |
0d308a650d48c438856abcfa97567e80754c24e9 |
TLC with reduction strategy:
|
DefFun | LetDef2 | False | Passed | |
7c7fd73b5e661de3de09d592f375ca3578544898 |
TLC with reduction strategy:
|
LetDefFun | LetDef2 | True | Passed | |
d1eafa2006a691bf158fb2e5784e0a4e624e98fa |
TLC with reduction strategy:
|
LetDefFun | LetDef2 | False | Passed | |
9c7b6e656cc1314e41c2185e0bc6a4ca12a3563d |
TLC with reduction strategy:
|
DefFunRecursive | LetDef2 | True | Passed | |
5665e933387e2fdf07833a2e0984c3ddaed02a4e |
TLC with reduction strategy:
|
DefFunRecursive | LetDef2 | False | Passed | |
6ea73cfa00b20c9ff53dda4a9ce2928f2356752b |
TLC with reduction strategy:
|
LetDefFunRecursive | LetDef2 | True | Passed | |
27e18e92d8e09dcb723cc4de98cffebb8eebbc0f |
TLC with reduction strategy:
|
LetDefFunRecursive | LetDef2 | False | Passed | |
129e63dbcdbe6936c2e2b2e4f1ace5538ec5fbe8 |
TLC with reduction strategy:
|
Def0 | LetDef2 | True | Passed | |
1b567336be6f0b89bc96883f6c13e8ab4a3c61ee |
TLC with reduction strategy:
|
Def0 | LetDef2 | False | Passed | |
99916aebd7038c9913ebb43d054c3a3627c59731 |
TLC with reduction strategy:
|
LetDef0 | LetDef2 | True | Passed | |
21f19319b73587180bc4ba9cb94f06e8ebf60c21 |
TLC with reduction strategy:
|
LetDef0 | LetDef2 | False | Passed | |
b95fedc9cc0ba4cfa132f510e3295939299ad031 |
TLC with reduction strategy:
|
Def1 | LetDef2 | True | Passed | |
ef53cfd65b65c9d3188a572fe6acf546afd74cf9 |
TLC with reduction strategy:
|
Def1 | LetDef2 | False | Passed | |
d0ddc15061303b0293c9627659b426642cf1022b |
TLC with reduction strategy:
|
LetDef1 | LetDef2 | True | Passed | |
a0538e7eb3eecf7d7011767873fe9c5fe972702b |
TLC with reduction strategy:
|
LetDef1 | LetDef2 | False | Passed | |
b3a5f2375eaba241ef638bc50a060b1ab48ace6c |
TLC with reduction strategy:
|
Def2 | LetDef2 | True | Passed | |
be96eacd77d2208febdd3a39c7f97e372ed370b8 |
TLC with reduction strategy:
|
Def2 | LetDef2 | False | Passed | |
65049d726769f08ebaad260ecbbf020fd58e2b5f |
TLC with reduction strategy:
|
LetDef2 | LetDef2 | True | Passed | |
88f2f3da6caba417d609b62ccb06d72b25fbec84 |
TLC with reduction strategy:
|
LetDef2 | LetDef2 | False | Passed | |
b55ce02f56a437f73fb994f8bd70dd999361f4e8 |
TLC with reduction strategy:
|
Def1Recursive | LetDef2 | True | Passed | |
2566ae09bfc86db9ac10bfbd42874a14de0e687e |
TLC with reduction strategy:
|
Def1Recursive | LetDef2 | False | Passed | |
0acaec4e1ec0aea055237c2041c75b9d6a4846bb |
TLC with reduction strategy:
|
LetDef1Recursive | LetDef2 | True | Passed | |
db975ff370ebf8a9e33505f51d5ef78fcf5c8fb5 |
TLC with reduction strategy:
|
LetDef1Recursive | LetDef2 | False | Passed | |
315dd5d5e827fda2b686d51e8553095e731fcf6b |
TLC with reduction strategy:
|
Extends | LetDef2 | True | Passed | |
dc3804585a9cab890584737ad687b361bd015079 |
TLC with reduction strategy:
|
Extends | LetDef2 | False | Passed | |
64607346f4e1df5ab40fcf29844504246ad352f6 |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | LetDef2 | True | Passed | |
9e7be2633426d44c36f9eff196f0516c87f195f9 |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | LetDef2 | False | Passed | |
451a427128fd45273c66f1c4cdccec474ea1535a |
TLC with reduction strategy:
|
Variable | LetDef2 | True | Passed | |
8338767c8b9416f9d3832a8aa984a3d09aaa69ac |
TLC with reduction strategy:
|
Variable | LetDef2 | False | Passed | |
79702e85847cab0263b4bdd82a05453c30d05cb6 |
TLC with reduction strategy:
|
VariableViewExclude | LetDef2 | True | Passed | |
489e9683da6875a745a25c7731abd88e659b5521 |
TLC with reduction strategy:
|
VariableViewExclude | LetDef2 | False | Passed | |
8613e36f555e3d48e6da47a6e4b00007aea75b87 |
TLC with reduction strategy:
|
Constant | LetDef2 | True | Passed | |
46aebe0fcde36003cdd9474baeab98f4aaaa5a57 |
TLC with reduction strategy:
|
Constant | LetDef2 | False | Passed | |
64e1dcd47951d3d6ea16e0b263f8324825afb14c |
TLC with reduction strategy:
|
ConstantRank1 | LetDef2 | True | Passed | |
0d2a123330678b65cd794351929ec9495ecfc3fc |
TLC with reduction strategy:
|
ConstantRank1 | LetDef2 | False | Passed | |
2aa420505f09c7f4235197d2071abbea8aba56b1 |
TLC with reduction strategy:
|
Instance | LetDef2 | True | Passed | |
130aefb197496e2aed0cc46622a84e0d9871cd5b |
TLC with reduction strategy:
|
Instance | LetDef2 | False | Passed | |
d50af9ede6061d7f2c314898cf1f070ad90b22a4 |
TLC with reduction strategy:
|
InstanceWith | LetDef2 | True | Passed | |
03adabd7de2edef79dd9541291c2fa103a7223b0 |
TLC with reduction strategy:
|
InstanceWith | LetDef2 | False | Passed | |
6ceff9ac7a307fed6de2113082b27c7da6645e52 |
TLC with reduction strategy:
|
InstanceNamed | LetDef2 | True | Passed | |
871ceb6f86e1ddacaaaec4749f650a064a9133f7 |
TLC with reduction strategy:
|
InstanceNamed | LetDef2 | False | Passed | |
e53139864566f46802f313dd5b49f91f670352a5 |
TLC with reduction strategy:
|
InstanceNamedWith | LetDef2 | True | Passed | |
1e81042b6339fbea5c5e83af6d047c00491bad83 |
TLC with reduction strategy:
|
InstanceNamedWith | LetDef2 | False | Passed | |
8a268638ebd4ef28c542f8e013736b62bc9a87d9 |
TLC with reduction strategy:
|
InstanceInFolder | LetDef2 | True | Passed | |
72b8388d101725ab38a84254e8735838187a3395 |
TLC with reduction strategy:
|
InstanceInFolder | LetDef2 | False | Passed | |
03b749ef5760371409aff61af6b3aa52ebcbad77 |
TLC with reduction strategy:
|
InstanceWithInFolder | LetDef2 | True | Passed | |
be7e16eee98797afd45dfff2387fab9d5148385a |
TLC with reduction strategy:
|
InstanceWithInFolder | LetDef2 | False | Passed | |
8e6320190c161707d5a0d22d7d89194592bf0a4c |
TLC with reduction strategy:
|
InstanceNamedInFolder | LetDef2 | True | Passed | |
9e366ae9565b367ba35ab3d87ca3ddfd6a35af7a |
TLC with reduction strategy:
|
InstanceNamedInFolder | LetDef2 | False | Passed | |
ef425dbafe5fcaae26543208ae2deb1fd01e5426 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | LetDef2 | True | Passed | |
a65f5cf5201e7c4121836c6b355cfb79dbeed0e6 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | LetDef2 | False | Passed | |
ff8dd42c7110031c6cee2fb35e0d673731c3cb15 |
TLC with reduction strategy:
|
Enabled | LetDef2 | True | Passed | |
cbd9b474f7d4298c93011edb2b1648525d3d02bf |
TLC with reduction strategy:
|
Enabled | LetDef2 | False | Passed | |
f20b52295f54259005f6aca7f71c664320ee48c5 |
TLC with reduction strategy:
|
Assume | LetDef2 | True | Passed | |
817f8ad96c2e99ee828a8ccc09a0cebd0f44dcaa |
TLC with reduction strategy:
|
Assume | LetDef2 | False | Passed | |
6e0f1de9cf17994d30bb6e68f62f56cec83f7798 |
TLC with reduction strategy:
|
AssumeNamed | LetDef2 | True | Passed | |
66ab6d322fc38b8b522caa7932d1a3e550c6b99b |
TLC with reduction strategy:
|
AssumeNamed | LetDef2 | False | Passed | |
f9a5d70d8c7a24a6729dcd02b45c2544ff138835 |
TLC with reduction strategy:
|
Lambda | LetDef2 | True | Passed | |
4abec53d8eed1353910ea2846f7a4f6481b1aa87 |
TLC with reduction strategy:
|
Lambda | LetDef2 | False | Passed | |
d209d5896825214da851aeb8f1879071aba4d6e1 |
TLC with reduction strategy:
|
Cross2 | LetDef2 | True | Passed | |
ee213f27dc97a911d3f404b81e509c51e2fccc60 |
TLC with reduction strategy:
|
Cross2 | LetDef2 | False | Passed | |
46979dc6eedefe3f2062d8f167d831648745b1f3 |
TLC with reduction strategy:
|
Cross3 | LetDef2 | True | Passed | |
07902b9ab4fac3130b6a225b17093d4a6a8a8c86 |
TLC with reduction strategy:
|
Cross3 | LetDef2 | False | Passed | |
e43304b383549ae5c5504a99d15e0ff38f3a5ba9 |
TLC with reduction strategy:
|
FunSet | LetDef2 | True | Passed | |
fd653c157d7afb41bfb8b48a0e92414a21bc3d5a |
TLC with reduction strategy:
|
FunSet | LetDef2 | False | Passed | |
0573bd1219371d9052bf877e425d175a297e091d |
TLC with reduction strategy:
|
RecordSet | LetDef2 | True | Passed | |
d361bbc483ba7cf8d170631d43ab7bf2ed3e5ac9 |
TLC with reduction strategy:
|
RecordSet | LetDef2 | False | Passed | |
f9386a1b1af477ac49cb72d2ad90ae856afbd9dd |
TLC with reduction strategy:
|
SetDiff | LetDef2 | True | Passed | |
7e85d94d3efa26e94ba9bf9238c1ee2ba2c1b884 |
TLC with reduction strategy:
|
SetDiff | LetDef2 | False | Passed | |
e75adf71c842a142c3e0e0f3b01b2ddf029ac0b7 |
TLC with reduction strategy:
|
SetUnion | LetDef2 | True | Passed | |
b007db8ee7a0ba7f7c7e96ca3c141a845aa19eb8 |
TLC with reduction strategy:
|
SetUnion | LetDef2 | False | Passed | |
ca1184e4f3d86e3319796264096d0b3006c31237 |
TLC with reduction strategy:
|
SetIntersect | LetDef2 | True | Passed | |
1893746ba99a2c97ba430e5f60010456c4c96a47 |
TLC with reduction strategy:
|
SetIntersect | LetDef2 | False | Passed | |
32bc6efbae9c0f2b5c8f33d73ac36070e4b237df |
TLC with reduction strategy:
|
SubsetEq | LetDef2 | True | Passed | |
f21e357eeebc3e5a2778fee25c1874be6924d07e |
TLC with reduction strategy:
|
SubsetEq | LetDef2 | False | Passed | |
5851a7fe7156f5c92bd3e69b368747ab77bd4687 |
TLC with reduction strategy:
|
IfCond | LetDef2 | True | Passed | |
ac6fb4746ecdd4e0465aaf6142498388fb0ab094 |
TLC with reduction strategy:
|
IfCond | LetDef2 | False | Passed | |
a566d9ddbf0974b311ecf2f26ad7c274e824ed4d |
TLC with reduction strategy:
|
IfThen | LetDef2 | True | Passed | |
84d9db8cf341b3bb2c86eff479b5b30a951d6483 |
TLC with reduction strategy:
|
IfThen | LetDef2 | False | Passed | |
e69a6385e2c5f0b1e6598a41f2be8b822f61744e |
TLC with reduction strategy:
|
IfElse | LetDef2 | True | Passed | |
63ff89f4d20e2776e3a63cbafe49b014811bee42 |
TLC with reduction strategy:
|
IfElse | LetDef2 | False | Passed | |
55e418b2650ee7b69888f94d853be930c00bb989 |
TLC with reduction strategy:
|
Subset | LetDef2 | True | Passed | |
56d60f8e750e2af76094f1b2360f01185c636d01 |
TLC with reduction strategy:
|
Subset | LetDef2 | False | Passed | |
4ea8ff477bc8af52190255ff6611b9f78481ed47 |
TLC with reduction strategy:
|
Domain | LetDef2 | True | Passed | |
4bbec0a1d56ada86ad8f541e4625348420caded0 |
TLC with reduction strategy:
|
Domain | LetDef2 | False | Passed | |
129c3db412cfc466a5c233192c08a8deee94bcf1 |
TLC with reduction strategy:
|
Union | LetDef2 | True | Passed | |
ce0803657569ad1f709734837df39847097aba3e |
TLC with reduction strategy:
|
Union | LetDef2 | False | Passed | |
9cf26bebf6442a5045f6ff138234b5404677e291 |
TLC with reduction strategy:
|
Unchanged | LetDef2 | True | Passed | |
f9c44fa9170b632448d43157004320823c915259 |
TLC with reduction strategy:
|
Unchanged | LetDef2 | False | Passed | |
131a5eaaa4d0ef68993a0b64ac28f9141d195f33 |
TLC with reduction strategy:
|
Equivalence | LetDef2 | True | Passed | |
2ee9cf3544bf5abaa228dfe8a1e87d4c1d18ace9 |
TLC with reduction strategy:
|
Equivalence | LetDef2 | False | Passed | |
c7e009e5e7df1d97ce38b5bf8097f3e044eedfdd |
TLC with reduction strategy:
|
SeqLen | LetDef2 | True | Passed | |
2db5afe7d5d3809aa7d4280b0dfd6483621adce9 |
TLC with reduction strategy:
|
SeqLen | LetDef2 | False | Passed | |
dc885eb3855060d7393e3ee82d74be4790c91c8e |
TLC with reduction strategy:
|
SeqConcat | LetDef2 | True | Passed | |
d3c0eaf945e9ec2673547acb8db74fd27e1250a7 |
TLC with reduction strategy:
|
SeqConcat | LetDef2 | False | Passed | |
7d6ca89d52b21ef33474efb3d6b36b27134eefb0 |
TLC with reduction strategy:
|
SeqSeq | LetDef2 | True | Passed | |
5c1ab94e5ba6786d4005284b13354e5723c9d4e9 |
TLC with reduction strategy:
|
SeqSeq | LetDef2 | False | Passed | |
d13dfc5c1c8030d0ea5623d750d9a097c39ce21b |
TLC with reduction strategy:
|
SeqSelectSeq | LetDef2 | True | Passed | |
9394a5ff4d84b41eb1efb55ea43d19d031999ccf |
TLC with reduction strategy:
|
SeqSelectSeq | LetDef2 | False | Passed | |
905ba4f7e18b128f101facaf3196c4777caed13f |
TLC with reduction strategy:
|
SeqSubSeq | LetDef2 | True | Passed | |
b7c06389796e6632bc80aa6f33ae498bb1995119 |
TLC with reduction strategy:
|
SeqSubSeq | LetDef2 | False | Passed | |
687457f95de7ebfb7c9a31bb3c649bd41b86fbd9 |
TLC with reduction strategy:
|
NumRange | LetDef2 | True | Passed | |
05a5d08946fc050c05f7d650985191a15bbc00b7 |
TLC with reduction strategy:
|
NumRange | LetDef2 | False | Passed | |
1eb58d7fb34ef026df2dd4541a10947e77f096e5 |
TLC with reduction strategy:
|
TlcSingletonFun | LetDef2 | True | Passed | |
2356836ba9c20be22d7b5c1806e5b5b5405c5cca |
TLC with reduction strategy:
|
TlcSingletonFun | LetDef2 | False | Passed | |
95aa91c6dee381f74ce66cdf1f6a8bb7304aa83a |
TLC with reduction strategy:
|
TlcExtendFun | LetDef2 | True | Passed | |
2c622c290bc290b844ab20087fdc4252846d4d18 |
TLC with reduction strategy:
|
TlcExtendFun | LetDef2 | False | Passed | |
7a998ec3320f516e2ff6ced7a6604450746d03c3 |
TLC with reduction strategy:
|
TlcPermuteFun | LetDef2 | True | Passed | |
39174de7dde4977e08ad679ee0a468eb4950d4e0 |
TLC with reduction strategy:
|
TlcPermuteFun | LetDef2 | False | Passed | |
332a6cf1a13830b729fe1fddf7529d44f2a917fa |
TLC with reduction strategy:
|
TlcSortSeq | LetDef2 | True | Passed | |
51a83b48fda23cebb364503d325eaa945b642794 |
TLC with reduction strategy:
|
TlcSortSeq | LetDef2 | False | Passed | |
e41528083edf62359ecb930a4ebdb6209c3f7e5d |
TLC with reduction strategy:
|
TlcEval | LetDef2 | True | Passed | |
84763d0fdf3fab14351053a47ac40ef69127bb94 |
TLC with reduction strategy:
|
TlcEval | LetDef2 | False | Passed | |
0f12f8a1433850ac6d2667edfe6acf2b3e14a494 |
TLC with reduction strategy:
|
BagBagToSet | LetDef2 | True | Passed | |
009d25fb7827a42c3c8ecfcaa123ae45e18698ba |
TLC with reduction strategy:
|
BagBagToSet | LetDef2 | False | Passed | |
5bb27f4971ffd7e8ab76b910fa1647899a9bcfcd |
TLC with reduction strategy:
|
BagSetToBag | LetDef2 | True | Passed | |
659ea06f7863e050028b27598e4c928d7b582829 |
TLC with reduction strategy:
|
BagSetToBag | LetDef2 | False | Passed | |
7798261dbc9d2b76288dc6e8f1d9e979521a60fd |
TLC with reduction strategy:
|
BagBagIn | LetDef2 | True | Passed | |
fbba94ddb84014f36358c492ec973f4152f44679 |
TLC with reduction strategy:
|
BagBagIn | LetDef2 | False | Passed | |
760c8c3600b20408e2dad732d7bdefe995dcf93f |
TLC with reduction strategy:
|
BagAddBag | LetDef2 | True | Passed | |
2b48dac537eeb4aec5e29dfc12d2c195c0197494 |
TLC with reduction strategy:
|
BagAddBag | LetDef2 | False | Passed | |
00e483edd065ddec09cdec24498f8cca74cd16d0 |
TLC with reduction strategy:
|
BagBagSub | LetDef2 | True | Passed | |
e44e6b4ecd5ad5fc9efd699751a9997c1421e635 |
TLC with reduction strategy:
|
BagBagSub | LetDef2 | False | Passed | |
d92789eee6cb94245e9600a5db415037d3365238 |
TLC with reduction strategy:
|
BagCopiesIn | LetDef2 | True | Passed | |
c415c449599a25cde64c932815d4a67cb91990bd |
TLC with reduction strategy:
|
BagCopiesIn | LetDef2 | False | Passed | |
3ddeb791cd254ccb281918d52e1070189856e59c |
TLC with reduction strategy:
|
BagSubsetEqBag | LetDef2 | True | Passed | |
47d59d57e6fe2f6dc2bffbaf91d9117e0508ebec |
TLC with reduction strategy:
|
BagSubsetEqBag | LetDef2 | False | Passed | |
232d85a59e6f47f40451d40c926a91499c388114 |
TLC with reduction strategy:
|
BagBagUnion | LetDef2 | True | Passed | |
a2ce5eb96250f61a168461a6c5a9f008122933f2 |
TLC with reduction strategy:
|
BagBagUnion | LetDef2 | False | Passed | |
fcfcc287f9f68d87fbcdd4ebcd1d820fb5779cd3 |
TLC with reduction strategy:
|
BagBagCardinality | LetDef2 | True | Passed | |
3873fd1bad1f434d49e9f3d65cd950dc86199a25 |
TLC with reduction strategy:
|
BagBagCardinality | LetDef2 | False | Passed | |
f580ae60f3d508e788abe48a8a89a0b5e3ac3c7e |
TLC with reduction strategy:
|
BagBagOfAll | LetDef2 | True | Passed | |
8e06dcd26c169389c62c3c5d33f30bb5cca7d665 |
TLC with reduction strategy:
|
BagBagOfAll | LetDef2 | False | Passed | |
9d394326d9a922813db28e8a1a0215a4f0cba018 |
TLC with reduction strategy:
|
BagSubBag | LetDef2 | True | Passed | |
743487cf650108faf7551c306fc8dc45ae01c430 |
TLC with reduction strategy:
|
BagSubBag | LetDef2 | False | Passed | |
c97a72944ce312bee548191af9a982575d39c624 |
TLC with reduction strategy:
|
FiniteSetsIsFiniteSet | LetDef2 | True | Passed | |
4a879972a179d5957f69bd4cbb9d861be3548aad |
TLC with reduction strategy:
|
FiniteSetsIsFiniteSet | LetDef2 | False | Passed | |
793b3d956567a5ffc0c4d1820deba577f3166f72 |
TLC with reduction strategy:
|
FiniteSetsCardinality | LetDef2 | True | Passed | |
9e214a94981a0661c1cdc60c94964306ba992479 |
TLC with reduction strategy:
|
FiniteSetsCardinality | LetDef2 | False | Passed | |
0d953b063261360d6e5cb566dc8550fb4bc63071 |
TLC with reduction strategy:
|
SeqHead | LetDef2 | True | Passed | |
d5fea2ab4fc15c8e5d70d27f6a2952ef378bf3d8 |
TLC with reduction strategy:
|
SeqHead | LetDef2 | False | Passed | |
c7cec57d9ecf11ae4726706e84130dce861abbc3 |
TLC with reduction strategy:
|
SeqTail | LetDef2 | True | Passed | |
9374847a59f27ef372dde73387e5fcf0262f1215 |
TLC with reduction strategy:
|
SeqTail | LetDef2 | False | Passed | |
b57453de638d56b839c37739ec4442e9863cd84b |
TLC with reduction strategy:
|
SeqAppend | LetDef2 | True | Passed | |
dee6db5977cb2e4c2580654a396526f13235d483 |
TLC with reduction strategy:
|
SeqAppend | LetDef2 | False | Passed |