Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
e7ddb1d8b33e14a9187414d825a12ede552a6c63 |
TLC with reduction strategy:
|
And | LetDef0 | True | Passed | |
e37379ef06e1dab27c27b9218ec4b08d896c1f60 |
TLC with reduction strategy:
|
And | LetDef0 | False | Passed | |
fd209c943060e43392cc65da244c819351b4968b |
TLC with reduction strategy:
|
AndMultiLine | LetDef0 | True | Passed | |
b5af66271035b6c446557015d1ca5a32c6197aa7 |
TLC with reduction strategy:
|
AndMultiLine | LetDef0 | False | Passed | |
2c7fa0c60825618856879536e7e9c4ca72a82522 |
TLC with reduction strategy:
|
Imply | LetDef0 | True | Passed | |
b04c75f2322e25c33f9851187c04ddd8ef73afce |
TLC with reduction strategy:
|
Imply | LetDef0 | False | Passed | |
c02102ea84504482c824691d4085fce756347750 |
TLC with reduction strategy:
|
Not | LetDef0 | True | Passed | |
aee827c81f56e278aba9ef2d48b21bf22ad66358 |
TLC with reduction strategy:
|
Not | LetDef0 | False | Passed | |
5bacf4298d52d3c623024ed38e20ac5b62ba4c07 |
TLC with reduction strategy:
|
Or | LetDef0 | True | Passed | |
5d7c405e21a818fd68eae0d6b95e803ac06e85c2 |
TLC with reduction strategy:
|
Or | LetDef0 | False | Passed | |
588a989abbf74a825b2d8bfec13d4d831042ecfd |
TLC with reduction strategy:
|
OrMultiLine | LetDef0 | True | Passed | |
b2f0ca060dcc1eac266e2708a7922b00d9e3b2a5 |
TLC with reduction strategy:
|
OrMultiLine | LetDef0 | False | Passed | |
42f153ff97bfff1b2f487d6ce281ed4db268ab65 |
TLC with reduction strategy:
|
AndProp | LetDef0 | True | Passed | |
91e1865ffb94ef5907ba1394ac31210efc7e68dd |
TLC with reduction strategy:
|
AndProp | LetDef0 | False | Passed | |
dc967e0993853f2d6899b36e222fff646ddb6cf2 |
TLC with reduction strategy:
|
Boxed | LetDef0 | True | Passed | |
2a705f1aa66aabb6ccb2bcf7701d107d651f3d4c |
TLC with reduction strategy:
|
Boxed | LetDef0 | False | Passed | |
6dce2a36632242c7c1e4cd42661633d52aa789af |
TLC with reduction strategy:
|
Eq | LetDef0 | True | Passed | |
fb59cf1e390da8050cc044ca6b36a0d435930655 |
TLC with reduction strategy:
|
Eq | LetDef0 | False | Passed | |
a515eaff53871e23d77b436632ba3c35ffff7553 |
TLC with reduction strategy:
|
Ne | LetDef0 | True | Passed | |
4078e5f660db05b623a0b753ac177fa50047ecff |
TLC with reduction strategy:
|
Ne | LetDef0 | False | Passed | |
81fadb1d06e87c7dbf0da28a1359f8831fc78779 |
TLC with reduction strategy:
|
Let | LetDef0 | True | Passed | |
ad325a323ba1b951a1a86fe7b037e856ab5cbcd4 |
TLC with reduction strategy:
|
Let | LetDef0 | False | Passed | |
7361993e08e800f9423e0aeb7d148435de4f7b89 |
TLC with reduction strategy:
|
Set0 | LetDef0 | True | Passed | |
65eab580e553973853b3e6a08ae238482e226cf5 |
TLC with reduction strategy:
|
Set0 | LetDef0 | False | Passed | |
9f702713d0ca92937b7ba7d2fa97e6e87ea108ec |
TLC with reduction strategy:
|
Set1 | LetDef0 | True | Passed | |
bf7b8cf2470d8ae87fd24484aedf7137aea91c32 |
TLC with reduction strategy:
|
Set1 | LetDef0 | False | Passed | |
b0f6e340bebcbe08bb70c83d10d351f8ff0d4b42 |
TLC with reduction strategy:
|
Set2 | LetDef0 | True | Passed | |
51f8c1bb933419c7e867d5daae0fcbb6bce72fb7 |
TLC with reduction strategy:
|
Set2 | LetDef0 | False | Passed | |
e30867606e118d748780199f237475a4956007f4 |
TLC with reduction strategy:
|
Fun | LetDef0 | True | Passed | |
3501fc29522e3635f4789f741fb980c46ae362f9 |
TLC with reduction strategy:
|
Fun | LetDef0 | False | Passed | |
067beab1b8c01fc3dd08b0fd0bd713546174c97a |
TLC with reduction strategy:
|
In | LetDef0 | True | Passed | |
9f62392814aeacfa725f7d30a00847df97e8ce6c |
TLC with reduction strategy:
|
In | LetDef0 | False | Passed | |
10b9bb71a0019645b50480faabaa8f9ffe239058 |
TLC with reduction strategy:
|
NotIn | LetDef0 | True | Passed | |
3b2110c584b0233621a46f3999692a09a949c331 |
TLC with reduction strategy:
|
NotIn | LetDef0 | False | Passed | |
38f5162d94b59b3f3e98e60092eca4225bc8799f |
TLC with reduction strategy:
|
Exists | LetDef0 | True | Passed | |
0a85fb3bcce583566d4a48766316034938c308f2 |
TLC with reduction strategy:
|
Exists | LetDef0 | False | Passed | |
0a35a7b96fa6c9ad6d7fdf2dc184c2187952e29e |
TLC with reduction strategy:
|
Forall | LetDef0 | True | Passed | |
ac4440822c87e77c031745749d046b9afed83bb1 |
TLC with reduction strategy:
|
Forall | LetDef0 | False | Passed | |
86dcda346c7de313c83e4d2bdcf7994e72c468e1 |
TLC with reduction strategy:
|
Choose | LetDef0 | True | Passed | |
a059cd87d07a247f04e464fa3818584ffe2f92e0 |
TLC with reduction strategy:
|
Choose | LetDef0 | False | Passed | |
d2b09eddb8dcd66a223123bce1f2b6ae04fae530 |
TLC with reduction strategy:
|
Record | LetDef0 | True | Passed | |
889566f9d665a53e59d090b6fec281ae84bd36ea |
TLC with reduction strategy:
|
Record | LetDef0 | False | Passed | |
c9f5bdc126d7cf09345001c19c763a6d4fe49d0e |
TLC with reduction strategy:
|
Tuple | LetDef0 | True | Passed | |
f2a4664217936b5a18b5323db50b24d70f355a36 |
TLC with reduction strategy:
|
Tuple | LetDef0 | False | Passed | |
26a4d0062303ec996b89499a2123a25c6738c7d0 |
TLC with reduction strategy:
|
FunApp | LetDef0 | True | Passed | |
0583888c55f96037e684b43e90ea00b7599837dc |
TLC with reduction strategy:
|
FunApp | LetDef0 | False | Passed | |
e814ee30cbe23f64f4cdb103d64ee9f9a8c1e738 |
TLC with reduction strategy:
|
Except0 | LetDef0 | True | Passed | |
52dcd8833c0217caa1cf931963b78746769f139e |
TLC with reduction strategy:
|
Except0 | LetDef0 | False | Passed | |
8cbf8fe9ff73656375822cde51d6d8fc0b07ac84 |
TLC with reduction strategy:
|
Except1Fun | LetDef0 | True | Passed | |
e9d56a718349ff91fdbac71c384646b37f746307 |
TLC with reduction strategy:
|
Except1Fun | LetDef0 | False | Passed | |
61b6e416610f9846dc3a6ca84d165a7061be72a2 |
TLC with reduction strategy:
|
Except1FunWithAt | LetDef0 | True | Passed | |
b1572004e89bf780a9e042ab67d9ceed3b7fa2d6 |
TLC with reduction strategy:
|
Except1FunWithAt | LetDef0 | False | Passed | |
f38ca649eb8fd838bf99043cea92cf37aa987245 |
TLC with reduction strategy:
|
Except1Rec | LetDef0 | True | Passed | |
061ea87651bcb48c5d7dca089639bef8fafd738e |
TLC with reduction strategy:
|
Except1Rec | LetDef0 | False | Passed | |
92507630182f70c724914b0fe9e8aa79c521b4f3 |
TLC with reduction strategy:
|
Except1RecWithAt | LetDef0 | True | Passed | |
5eaa1c3062a06cb359ec4a9a9ae7c05bc18392d2 |
TLC with reduction strategy:
|
Except1RecWithAt | LetDef0 | False | Passed | |
f9f66386e415e97c6ab6c19a4204c08046185448 |
TLC with reduction strategy:
|
Except2Fun | LetDef0 | True | Passed | |
94919632e2af792e9b4790079d2bd48f93a5aa4a |
TLC with reduction strategy:
|
Except2Fun | LetDef0 | False | Passed | |
6826b56158f3384903ee39a882df857a556b8856 |
TLC with reduction strategy:
|
Except2FunTuple | LetDef0 | True | Passed | |
4ffebc37954994879e1ced758e64e80701984fc2 |
TLC with reduction strategy:
|
Except2FunTuple | LetDef0 | False | Passed | |
d29190c5d5440bff0696a281a2123db770d0ac48 |
TLC with reduction strategy:
|
Prime | LetDef0 | True | Passed | |
c2025993794148eaee84f67585d5929963f97646 |
TLC with reduction strategy:
|
Prime | LetDef0 | False | Passed | |
ea2484cc94f5bbe4e8a0db663ae2686577319dbc |
TLC with reduction strategy:
|
NumUnaryMinus | LetDef0 | True | Passed | |
2dcb12475c0ab9ed7183af19cf188de5bf71f9d7 |
TLC with reduction strategy:
|
NumUnaryMinus | LetDef0 | False | Passed | |
69a60ada7223f111f2094bb02d7872c507023453 |
TLC with reduction strategy:
|
NumPlus | LetDef0 | True | Passed | |
2fdbba77d5edb21e1bf64390eb4e0d6e8fe10483 |
TLC with reduction strategy:
|
NumPlus | LetDef0 | False | Passed | |
e309539446f253e57bf5ffacef9de8f2036ff1ad |
TLC with reduction strategy:
|
NumMinus | LetDef0 | True | Passed | |
286f941f2907517420b65e98157d518474f7c553 |
TLC with reduction strategy:
|
NumMinus | LetDef0 | False | Passed | |
377c3bdd4568bc9332aa34fac60a9f583e7030e4 |
TLC with reduction strategy:
|
NumMul | LetDef0 | True | Passed | |
87ab998a7149421ded66148d16903d8dcd1719be |
TLC with reduction strategy:
|
NumMul | LetDef0 | False | Passed | |
35292051fac2eace4a95f9725e86060bf0a8c42f |
TLC with reduction strategy:
|
NumDiv | LetDef0 | True | Passed | |
86d61331126f8b71aedda15df9bdfb90ce83669f |
TLC with reduction strategy:
|
NumDiv | LetDef0 | False | Passed | |
508b8f8bcaab5186364701e278fe9256893e7518 |
TLC with reduction strategy:
|
NumMod | LetDef0 | True | Passed | |
7060966c6579ccaa7a1bee6369d740e27a997051 |
TLC with reduction strategy:
|
NumMod | LetDef0 | False | Passed | |
eb09b89513329cae1d435c1981dc030b74851640 |
TLC with reduction strategy:
|
NumPow | LetDef0 | True | Passed | |
64a8454abce7e03e25898a2b04d49f3e5db07ad0 |
TLC with reduction strategy:
|
NumPow | LetDef0 | False | Passed | |
5a5ed7fdd23f805e8006d60467c90a630e5db77c |
TLC with reduction strategy:
|
NumGt | LetDef0 | True | Passed | |
e61ba2608ebfb5260c05ab7359a7a8f813bee650 |
TLC with reduction strategy:
|
NumGt | LetDef0 | False | Passed | |
e155add72d6690c292d24e652bc919c51f5af107 |
TLC with reduction strategy:
|
NumGe | LetDef0 | True | Passed | |
db72fc52e4a04fb31aa397d2a7238ec9f0084fef |
TLC with reduction strategy:
|
NumGe | LetDef0 | False | Passed | |
2523c3b9f95aeec58c2018572b8ab4e26d5eed77 |
TLC with reduction strategy:
|
NumLt | LetDef0 | True | Passed | |
4e04388c5d6e0218df216280f84ca8643fc5bc97 |
TLC with reduction strategy:
|
NumLt | LetDef0 | False | Passed | |
0e6498c2378716c298bf9e9ab66575a70d55ad25 |
TLC with reduction strategy:
|
NumLe | LetDef0 | True | Passed | |
a56006b96bdc6e4267e3de1b7763237d35a94c1e |
TLC with reduction strategy:
|
NumLe | LetDef0 | False | Passed | |
df79e075ae6bbe00003acbf9d26d269560d28686 |
TLC with reduction strategy:
|
DefFun | LetDef0 | True | Passed | |
98077c79ba5937efdbeb51a2f107a83923bfbf50 |
TLC with reduction strategy:
|
DefFun | LetDef0 | False | Passed | |
c0c69fe0bd0506bae55766f2e67dbda03ccee1ec |
TLC with reduction strategy:
|
LetDefFun | LetDef0 | True | Passed | |
d965986ac9dd04ea226ca84b12506ac6f697d680 |
TLC with reduction strategy:
|
LetDefFun | LetDef0 | False | Passed | |
9a5943401ad2aa347711aee9d273feab74539cd3 |
TLC with reduction strategy:
|
DefFunRecursive | LetDef0 | True | Passed | |
5a9b40a46e5b6442e1c2a065ded27666ea526b43 |
TLC with reduction strategy:
|
DefFunRecursive | LetDef0 | False | Passed | |
28ad3ae676e2abfc866deb6e1b85850b1952b2f4 |
TLC with reduction strategy:
|
LetDefFunRecursive | LetDef0 | True | Passed | |
8f05c24ab735044205c5aa8bed62b774814604e5 |
TLC with reduction strategy:
|
LetDefFunRecursive | LetDef0 | False | Passed | |
1b83dbe0f70d989618fbd7e533aaafab93bde9c0 |
TLC with reduction strategy:
|
Def0 | LetDef0 | True | Passed | |
434f75baee139dec0c82d8225e00b483a867e0e9 |
TLC with reduction strategy:
|
Def0 | LetDef0 | False | Passed | |
4393238ca31bc8b71568c3cd2e87a21a23aa6000 |
TLC with reduction strategy:
|
LetDef0 | LetDef0 | True | Passed | |
3b4b554acfdd8b8c197a88d3223219026dea172c |
TLC with reduction strategy:
|
LetDef0 | LetDef0 | False | Passed | |
c4c9a465b51c78b3107c85d93d715e2cebbc2f13 |
TLC with reduction strategy:
|
Def1 | LetDef0 | True | Passed | |
2b9ded16d386022a4f184be92e6973aae8e1fe52 |
TLC with reduction strategy:
|
Def1 | LetDef0 | False | Passed | |
6e3b896b58bc71ca163b5049feecea097522d6cf |
TLC with reduction strategy:
|
LetDef1 | LetDef0 | True | Passed | |
9a1d2667d3c179fbed9f66cf3c32f3a401f705b4 |
TLC with reduction strategy:
|
LetDef1 | LetDef0 | False | Passed | |
8b4ae8a2c6464d31f8eba06e8ffebf54ad0ffa8e |
TLC with reduction strategy:
|
Def2 | LetDef0 | True | Passed | |
eafe137ae3932c877c86515b8555e85f4aebe1a9 |
TLC with reduction strategy:
|
Def2 | LetDef0 | False | Passed | |
243765baa4b00f832243d08d9d4f590273986ce7 |
TLC with reduction strategy:
|
LetDef2 | LetDef0 | True | Passed | |
51660fa9ec4b5a20e300b83b1fe9799261fe4e03 |
TLC with reduction strategy:
|
LetDef2 | LetDef0 | False | Passed | |
e5a98e41e736828e8fa042e29d59137949dec7d1 |
TLC with reduction strategy:
|
Def1Recursive | LetDef0 | True | Passed | |
1247b86f9a3b74b9fdb51b02fa0287ae38604524 |
TLC with reduction strategy:
|
Def1Recursive | LetDef0 | False | Passed | |
6b4c67e273efa3be8e101c704ffd62dc2a6159dd |
TLC with reduction strategy:
|
LetDef1Recursive | LetDef0 | True | Passed | |
714a51b5c30e0c778e7e6a596c54125cf6c6eecf |
TLC with reduction strategy:
|
LetDef1Recursive | LetDef0 | False | Passed | |
bddf98f9c6efdccaf01d3efb1aa7ed6578655298 |
TLC with reduction strategy:
|
Extends | LetDef0 | True | Passed | |
d4235f3afe4265acc85e3b98682637bcb42010c9 |
TLC with reduction strategy:
|
Extends | LetDef0 | False | Passed | |
903df29f549a3d83f38614e2be0379295be71524 |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | LetDef0 | True | Passed | |
8dce0a80209f8f8110b024f4945ef979efac0206 |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | LetDef0 | False | Passed | |
591dbef257b1a885b6a28607d673f9a60791e1c1 |
TLC with reduction strategy:
|
Variable | LetDef0 | True | Passed | |
449e70d731c5804a6722b0554968f38ee3e3d4a7 |
TLC with reduction strategy:
|
Variable | LetDef0 | False | Passed | |
70b12ff160da7a294f70b3eea440c955606026fa |
TLC with reduction strategy:
|
VariableViewExclude | LetDef0 | True | Passed | |
ceed1c285ddb79e2047f7b01e4ad6b1164fe4df7 |
TLC with reduction strategy:
|
VariableViewExclude | LetDef0 | False | Passed | |
e374958e8f100c714dfa94655191c5f89d976fda |
TLC with reduction strategy:
|
Constant | LetDef0 | True | Passed | |
4669a9c7924eea5a734acf43f8591226077bee8c |
TLC with reduction strategy:
|
Constant | LetDef0 | False | Passed | |
04a13c7e1fdf02d19cf37410ae86fd8402b3a421 |
TLC with reduction strategy:
|
ConstantRank1 | LetDef0 | True | Passed | |
95b7ed40e2aec0cd869a0cf7e4769b9a5393ef34 |
TLC with reduction strategy:
|
ConstantRank1 | LetDef0 | False | Passed | |
46823d5c8429c91fa6e045b86abcaf12fd42eb57 |
TLC with reduction strategy:
|
Instance | LetDef0 | True | Passed | |
483cc06cd9eff400f08c264c70e58820ae729402 |
TLC with reduction strategy:
|
Instance | LetDef0 | False | Passed | |
3374e33ab689da39328fe1d12e2a2dbcbc897bf6 |
TLC with reduction strategy:
|
InstanceWith | LetDef0 | True | Passed | |
857abd9951a3e76552c016d294d6243342858aa5 |
TLC with reduction strategy:
|
InstanceWith | LetDef0 | False | Passed | |
6d705e1846a50c95d1f6ec7096bf8af099c7ff63 |
TLC with reduction strategy:
|
InstanceNamed | LetDef0 | True | Passed | |
20627be43c177f24bde310a8e6f60eb35aa392ac |
TLC with reduction strategy:
|
InstanceNamed | LetDef0 | False | Passed | |
93a35421d53ee517d48fe435b2e42e7a60458891 |
TLC with reduction strategy:
|
InstanceNamedWith | LetDef0 | True | Passed | |
dfce571a624793ddfe060ba8a708d0622ca89da3 |
TLC with reduction strategy:
|
InstanceNamedWith | LetDef0 | False | Passed | |
a1b9a8aa777d96c09dee799481a45671056ec408 |
TLC with reduction strategy:
|
InstanceInFolder | LetDef0 | True | Passed | |
d0f5e1860ae54ea193c251387a5a66367c5b237e |
TLC with reduction strategy:
|
InstanceInFolder | LetDef0 | False | Passed | |
a0f4a1837684f79c2558272077043fd589b48cf7 |
TLC with reduction strategy:
|
InstanceWithInFolder | LetDef0 | True | Passed | |
5d49af20948e8ee4266ece330efdf061ecbc4da6 |
TLC with reduction strategy:
|
InstanceWithInFolder | LetDef0 | False | Passed | |
2e6f0940b0fff2bad07a8022e1373c1403b079d5 |
TLC with reduction strategy:
|
InstanceNamedInFolder | LetDef0 | True | Passed | |
d6b76a2fccf2dad0986f80405660f19a04f9a6da |
TLC with reduction strategy:
|
InstanceNamedInFolder | LetDef0 | False | Passed | |
8c0e2ba5c7e1113afad98b832490de99c8c62ccb |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | LetDef0 | True | Passed | |
015052462b5df8c5f62d8294ce003d43fd718430 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | LetDef0 | False | Passed | |
6f56d1137d5684a7f9b7187a1dd8116737bb8715 |
TLC with reduction strategy:
|
Enabled | LetDef0 | True | Passed | |
a854db00b12252c5ed946632ffc068e5de029b94 |
TLC with reduction strategy:
|
Enabled | LetDef0 | False | Passed | |
67cbf213dbdb1dedcbc1da23d4a63d615b3727c5 |
TLC with reduction strategy:
|
Assume | LetDef0 | True | Passed | |
7b7af3f8d89f0ae8f047793cebc40c36b38dba29 |
TLC with reduction strategy:
|
Assume | LetDef0 | False | Passed | |
31a6ffa0f917abe17030e6e1f939f1bdd23dc240 |
TLC with reduction strategy:
|
AssumeNamed | LetDef0 | True | Passed | |
134ac83098dfe1df9157f7178e8bb24ecb96a46d |
TLC with reduction strategy:
|
AssumeNamed | LetDef0 | False | Passed | |
4031f6ddb10270778b98a6df3fb640f6afd8cb9f |
TLC with reduction strategy:
|
Lambda | LetDef0 | True | Passed | |
67bea275dfa79272f611bc697e9558639861e1af |
TLC with reduction strategy:
|
Lambda | LetDef0 | False | Passed | |
c9d8ccd79e9763d66a9101432f8fb8b44075cbe5 |
TLC with reduction strategy:
|
Cross2 | LetDef0 | True | Passed | |
2df4e42fff08c7aa90b6f1c42640ad4776a3d7e9 |
TLC with reduction strategy:
|
Cross2 | LetDef0 | False | Passed | |
0cbdc6b3fdf93cc3f7797574384996fcb33b5b49 |
TLC with reduction strategy:
|
Cross3 | LetDef0 | True | Passed | |
be787945e79890dd4cfc0694d1a251776c744130 |
TLC with reduction strategy:
|
Cross3 | LetDef0 | False | Passed | |
903ea432b8d0e4589a58bf6bb289cb45354c6e51 |
TLC with reduction strategy:
|
FunSet | LetDef0 | True | Passed | |
83564729089d7a22046c9dc36a5e67a5bfbb8284 |
TLC with reduction strategy:
|
FunSet | LetDef0 | False | Passed | |
e7d3da74e99e511c9106110c902ee9d84b2551af |
TLC with reduction strategy:
|
RecordSet | LetDef0 | True | Passed | |
7e7659af22540da8137d2fc15558900b7ad6ab0a |
TLC with reduction strategy:
|
RecordSet | LetDef0 | False | Passed | |
5649c7683f38d22bac070734c8a7cb352f8a3e9d |
TLC with reduction strategy:
|
SetDiff | LetDef0 | True | Passed | |
9f5902b983d3f85c2165da6b41083cb9b10e8182 |
TLC with reduction strategy:
|
SetDiff | LetDef0 | False | Passed | |
319d55ec2a28d79729f8c1acab060f66306559d5 |
TLC with reduction strategy:
|
SetUnion | LetDef0 | True | Passed | |
6f24ed4af37dac3f5d7b25e1981ccc284299126a |
TLC with reduction strategy:
|
SetUnion | LetDef0 | False | Passed | |
d505b96c529512dd46564743b8a7e7009114318b |
TLC with reduction strategy:
|
SetIntersect | LetDef0 | True | Passed | |
71936ea362946c989cef5f807eb1bf2c00c67293 |
TLC with reduction strategy:
|
SetIntersect | LetDef0 | False | Passed | |
d8bb9b5a8ab739e5d17d6cb4535ec089adfd4aa2 |
TLC with reduction strategy:
|
SubsetEq | LetDef0 | True | Passed | |
d627506281e8f3603c854e0331b4dd56b5f8c5ef |
TLC with reduction strategy:
|
SubsetEq | LetDef0 | False | Passed | |
b7b63337866698c60bdb1fb04c06ef205967e237 |
TLC with reduction strategy:
|
IfCond | LetDef0 | True | Passed | |
f21d94ecbb2c55fc7ab362e17946dbd6481ed0a5 |
TLC with reduction strategy:
|
IfCond | LetDef0 | False | Passed | |
8b33ffd79b7f69a27b60b7aad52c6de97c616f73 |
TLC with reduction strategy:
|
IfThen | LetDef0 | True | Passed | |
eeae1693582f142df32dac01cdea8e775dbc6ddc |
TLC with reduction strategy:
|
IfThen | LetDef0 | False | Passed | |
f43077b166852063fe9892b839742987098a7f04 |
TLC with reduction strategy:
|
IfElse | LetDef0 | True | Passed | |
58666e2e55ae20aedb37b5effd2f5a330b5bdeb0 |
TLC with reduction strategy:
|
IfElse | LetDef0 | False | Passed | |
5295b433e8cf6dc12e114f599be6cad42a82c82c |
TLC with reduction strategy:
|
Subset | LetDef0 | True | Passed | |
465dc574d10f3a59e7f4753e727fe4a841abc3f1 |
TLC with reduction strategy:
|
Subset | LetDef0 | False | Passed | |
5cf69100206b2b2c64fb4bc8fe7fdf5a8f632ecc |
TLC with reduction strategy:
|
Domain | LetDef0 | True | Passed | |
9f74f7bf04c4db56e1a868b0b04b31396b9e88a9 |
TLC with reduction strategy:
|
Domain | LetDef0 | False | Passed | |
3846b649ab52bf64fd0cde9122a8cec4dc4717d6 |
TLC with reduction strategy:
|
Union | LetDef0 | True | Passed | |
1a0ac20d43dd61be7652f9c36ab972093748ab6f |
TLC with reduction strategy:
|
Union | LetDef0 | False | Passed | |
aea2e538256fdb6fe5d5953fb3d24785b4a79940 |
TLC with reduction strategy:
|
Unchanged | LetDef0 | True | Passed | |
7ceac3db8f11bf3563b7eac64e0d1c2a5faae433 |
TLC with reduction strategy:
|
Unchanged | LetDef0 | False | Passed | |
bf4b9c2769d2eb946d11523ae37d1846c7ad6b58 |
TLC with reduction strategy:
|
Equivalence | LetDef0 | True | Passed | |
958f0c301aa7f0b3c274eb5b0dcfa3d2c213c7b5 |
TLC with reduction strategy:
|
Equivalence | LetDef0 | False | Passed | |
e66587cdf2d7b768b9da38c1387ee6619e1f50c7 |
TLC with reduction strategy:
|
SeqLen | LetDef0 | True | Passed | |
57da547fccbe0adbe5cecfe389da4c728402d530 |
TLC with reduction strategy:
|
SeqLen | LetDef0 | False | Passed | |
55f0a3eee3643e1736a4575e58220c66c836d103 |
TLC with reduction strategy:
|
SeqConcat | LetDef0 | True | Passed | |
1c180026bba90becc5d0961f91ad06cd420dec27 |
TLC with reduction strategy:
|
SeqConcat | LetDef0 | False | Passed | |
5afcfa9a95899c62419302b3f90c84215ea37edc |
TLC with reduction strategy:
|
SeqSeq | LetDef0 | True | Passed | |
dd7f3a2680eeaeab567b86443fa0e82aed87ea49 |
TLC with reduction strategy:
|
SeqSeq | LetDef0 | False | Passed | |
2d259ec9ca81a629603b64038dd01653c4852f61 |
TLC with reduction strategy:
|
SeqSelectSeq | LetDef0 | True | Passed | |
9c7642b76ba5ba30208564abb475eb01258f67f7 |
TLC with reduction strategy:
|
SeqSelectSeq | LetDef0 | False | Passed | |
88f98414e97152a412264b6e71b56a6e69c55481 |
TLC with reduction strategy:
|
SeqSubSeq | LetDef0 | True | Passed | |
0aa0bb8462ecc51aee0e6d17fd1c5d77800891e4 |
TLC with reduction strategy:
|
SeqSubSeq | LetDef0 | False | Passed | |
1ffa5d63486c06a3dba54ef898041aa509ec581c |
TLC with reduction strategy:
|
NumRange | LetDef0 | True | Passed | |
1299af04a209aa33cef2a8aabff73607b648ea54 |
TLC with reduction strategy:
|
NumRange | LetDef0 | False | Passed | |
817914e2dc1727e31859940d8d90a57d1b695184 |
TLC with reduction strategy:
|
TlcSingletonFun | LetDef0 | True | Passed | |
16c47964dbd790a95f29d028c00cd2576d65b8fc |
TLC with reduction strategy:
|
TlcSingletonFun | LetDef0 | False | Passed | |
bcb2bbed337327fd9a6ad7bf9f44c56b9697fd91 |
TLC with reduction strategy:
|
TlcExtendFun | LetDef0 | True | Passed | |
0a5033fed74bf6ea72186a4396ca2fe451b9e5aa |
TLC with reduction strategy:
|
TlcExtendFun | LetDef0 | False | Passed | |
1c710c139c16a6d0ad0016d831983a8895d00d9c |
TLC with reduction strategy:
|
TlcPermuteFun | LetDef0 | True | Passed | |
e2fa9c5ccc153e55174e97786b50f751f752502c |
TLC with reduction strategy:
|
TlcPermuteFun | LetDef0 | False | Passed | |
7e1f10893cb36ee778298360603d31d67b0604ea |
TLC with reduction strategy:
|
TlcSortSeq | LetDef0 | True | Passed | |
41898c1751aad630e9d41f152ec931d2663cb50c |
TLC with reduction strategy:
|
TlcSortSeq | LetDef0 | False | Passed | |
43070e92b0b4f3be8dd0257d5f458eae2f55c27d |
TLC with reduction strategy:
|
TlcEval | LetDef0 | True | Passed | |
ff34490f3b1d336bce93c47808699f5c5e8f041b |
TLC with reduction strategy:
|
TlcEval | LetDef0 | False | Passed | |
cf34704412958fb9ce94431bb786ba3bfe1a5c42 |
TLC with reduction strategy:
|
BagBagToSet | LetDef0 | True | Passed | |
883c50a1e482831809b073972aa046be5a4dae7c |
TLC with reduction strategy:
|
BagBagToSet | LetDef0 | False | Passed | |
752f12f91ba383b8d6ece7cead106fbc8d2838ef |
TLC with reduction strategy:
|
BagSetToBag | LetDef0 | True | Passed | |
cf6ec41b6f5cab0615893b6cc4401245b3665632 |
TLC with reduction strategy:
|
BagSetToBag | LetDef0 | False | Passed | |
ee1ee644425628a91d3dd312bb8af68f82e43930 |
TLC with reduction strategy:
|
BagBagIn | LetDef0 | True | Passed | |
b47b3107104a0c01080aa66d36335fb082ec1fa8 |
TLC with reduction strategy:
|
BagBagIn | LetDef0 | False | Passed | |
c7fb797776281ac09fe2734ac77e0138e498ebd8 |
TLC with reduction strategy:
|
BagAddBag | LetDef0 | True | Passed | |
404a4e9fb4ba6af2cdd0e17b9df3e29047a9ea0c |
TLC with reduction strategy:
|
BagAddBag | LetDef0 | False | Passed | |
b97d4d30400d4c64e6fce6936182d8e216c67afc |
TLC with reduction strategy:
|
BagBagSub | LetDef0 | True | Passed | |
16ec5824065fa41d1d4e86223a676cafb24e51f8 |
TLC with reduction strategy:
|
BagBagSub | LetDef0 | False | Passed | |
902debf0cc348b8e178e3e3554bba79e41df5204 |
TLC with reduction strategy:
|
BagCopiesIn | LetDef0 | True | Passed | |
227778ec46ad969abbf4fb41da4e378f4788f9e7 |
TLC with reduction strategy:
|
BagCopiesIn | LetDef0 | False | Passed | |
3688a877a30ab19cb92b5729030d6a78fb952096 |
TLC with reduction strategy:
|
BagSubsetEqBag | LetDef0 | True | Passed | |
ecc653b1ef5bbb11a6bf5005196f60a2f10054ad |
TLC with reduction strategy:
|
BagSubsetEqBag | LetDef0 | False | Passed | |
57effb76b8b1380ff9176b92d7a25a1f1f324789 |
TLC with reduction strategy:
|
BagBagUnion | LetDef0 | True | Passed | |
2b6b39e6b904649b17dd2cd657c5c323803c39a6 |
TLC with reduction strategy:
|
BagBagUnion | LetDef0 | False | Passed | |
e45a5ecbc1adc5cc17fdc485780be7236f03bcbc |
TLC with reduction strategy:
|
BagBagCardinality | LetDef0 | True | Passed | |
4afeb58495406a71d1e8da94028f2f4b09bb7900 |
TLC with reduction strategy:
|
BagBagCardinality | LetDef0 | False | Passed | |
d884d135af6a6d1b463a8db2f7db7772ed7dca33 |
TLC with reduction strategy:
|
BagBagOfAll | LetDef0 | True | Passed | |
d64d5bb56eb44315a12a6033e654f4ee1593d1be |
TLC with reduction strategy:
|
BagBagOfAll | LetDef0 | False | Passed | |
583f1d530406d79afbdcfbf671c5885c0ef5c24a |
TLC with reduction strategy:
|
BagSubBag | LetDef0 | True | Passed | |
c1fdd6fd251597568ab8e310c6bab5ef524d2d93 |
TLC with reduction strategy:
|
BagSubBag | LetDef0 | False | Passed | |
abc61d78753e7949cf2a9941a4cfcb43ad9007a2 |
TLC with reduction strategy:
|
FiniteSetsIsFiniteSet | LetDef0 | True | Passed | |
3ae4ba77c60dcb3a0307d6aa734312539f993235 |
TLC with reduction strategy:
|
FiniteSetsIsFiniteSet | LetDef0 | False | Passed | |
f6f023279d5fd9c5c077f577d94b309e416a3924 |
TLC with reduction strategy:
|
FiniteSetsCardinality | LetDef0 | True | Passed | |
4b81bd9cebe4cd67f6e2941a4c090a0e7b7f3ea3 |
TLC with reduction strategy:
|
FiniteSetsCardinality | LetDef0 | False | Passed | |
d150d9544ba2671d4cc146c91afab6bed179c618 |
TLC with reduction strategy:
|
SeqHead | LetDef0 | True | Passed | |
421f932069c32573d41973f522ef926d7f10facc |
TLC with reduction strategy:
|
SeqHead | LetDef0 | False | Passed | |
e87311a8d7f660253f6466516352e8dae186a52d |
TLC with reduction strategy:
|
SeqTail | LetDef0 | True | Passed | |
97ce95e63bb908993286cf7364effd88d246dd4d |
TLC with reduction strategy:
|
SeqTail | LetDef0 | False | Passed | |
bc5f7d1754314767138acded56a479f40a8fec20 |
TLC with reduction strategy:
|
SeqAppend | LetDef0 | True | Passed | |
36b864e94b5f41a62d78f0542fcf2389318ce9f2 |
TLC with reduction strategy:
|
SeqAppend | LetDef0 | False | Passed |