Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
9575c2b582acfc74e8396a5fbb014eddba7f2210 |
TLC with reduction strategy:
|
And | LetDef1 | True | Passed | |
34ae55d1d98472c45fd0aaf93677abaca0d241f8 |
TLC with reduction strategy:
|
And | LetDef1 | False | Passed | |
c836f8c2ef6c53134845ea3a0b8fee2274593e8b |
TLC with reduction strategy:
|
AndMultiLine | LetDef1 | True | Passed | |
b4018bbe37ac21bfb76b70b7e67e288699e26c71 |
TLC with reduction strategy:
|
AndMultiLine | LetDef1 | False | Passed | |
ab383bd348603eeebbf9af9413ee92f4d0829027 |
TLC with reduction strategy:
|
Imply | LetDef1 | True | Passed | |
be4693b742adc8b5cd80a661059fa8a38f4fc02d |
TLC with reduction strategy:
|
Imply | LetDef1 | False | Passed | |
2455f9eb39b57dd2e70ed7bc6c4c6efd1de17624 |
TLC with reduction strategy:
|
Not | LetDef1 | True | Passed | |
155b781d95157c502d889a10884b8df88b6580cd |
TLC with reduction strategy:
|
Not | LetDef1 | False | Passed | |
24e3b9fe3d2f414404a69090b4fae8e277c6a0bf |
TLC with reduction strategy:
|
Or | LetDef1 | True | Passed | |
67a9a625e02e533e7251f7906ed6984e52b45b2b |
TLC with reduction strategy:
|
Or | LetDef1 | False | Passed | |
813fc96bb08b9ed4b776229e1c0d42643411ecd2 |
TLC with reduction strategy:
|
OrMultiLine | LetDef1 | True | Passed | |
0faa6938be7cac503ce71ce53dd2b2b9b60a4ad9 |
TLC with reduction strategy:
|
OrMultiLine | LetDef1 | False | Passed | |
2cbd93acfef81921ae9bdf3c96284e3821456fc7 |
TLC with reduction strategy:
|
AndProp | LetDef1 | True | Passed | |
4fb85fedffcae5db56eeeb357c0c1b4971783420 |
TLC with reduction strategy:
|
AndProp | LetDef1 | False | Passed | |
44497c6a0160ef9e726685718fa70044514d11e5 |
TLC with reduction strategy:
|
Boxed | LetDef1 | True | Passed | |
de237c68068a35e84a82e4f640d3a44e6495425a |
TLC with reduction strategy:
|
Boxed | LetDef1 | False | Passed | |
268a416d64b58f04375e826733e91e506ed0ae7a |
TLC with reduction strategy:
|
Eq | LetDef1 | True | Passed | |
4dbc9047f0476c982a764929fbda86f137ec6e2f |
TLC with reduction strategy:
|
Eq | LetDef1 | False | Passed | |
c1ba0451822f6e59ce41b128960868bf228975f1 |
TLC with reduction strategy:
|
Ne | LetDef1 | True | Passed | |
09351704369c045bb4b6d64ad7e4d1925c3cd3cb |
TLC with reduction strategy:
|
Ne | LetDef1 | False | Passed | |
04ff965a668c56fd80665615e4d9975d8245a950 |
TLC with reduction strategy:
|
Let | LetDef1 | True | Passed | |
74100471c85040f888230cb962133ec3f115429f |
TLC with reduction strategy:
|
Let | LetDef1 | False | Passed | |
7d00a9a226fe508aebb1bcde8700f9ac067c2bfa |
TLC with reduction strategy:
|
Set0 | LetDef1 | True | Passed | |
0cff1eb600fdcbfd02014c140dcf2a47811cca86 |
TLC with reduction strategy:
|
Set0 | LetDef1 | False | Passed | |
d8fe027d060e276e5777fe62425b8798e61bf48d |
TLC with reduction strategy:
|
Set1 | LetDef1 | True | Passed | |
62bc85a30c39b6dec20c269468264de020c779e3 |
TLC with reduction strategy:
|
Set1 | LetDef1 | False | Passed | |
331f718838fdec8745adaad8a78ac4ee36c177b6 |
TLC with reduction strategy:
|
Set2 | LetDef1 | True | Passed | |
db07f8b5f3cc5c3dde8f37f66c5df50091f91c0a |
TLC with reduction strategy:
|
Set2 | LetDef1 | False | Passed | |
23d05a2d4f825b0044aca6b6eaaf92c9aae5b304 |
TLC with reduction strategy:
|
Fun | LetDef1 | True | Passed | |
6d1155939fa681623c1e4320b0be5c40395f334c |
TLC with reduction strategy:
|
Fun | LetDef1 | False | Passed | |
064f96a9c7c3e37f8c3838cb85d35a05da048e47 |
TLC with reduction strategy:
|
In | LetDef1 | True | Passed | |
de83ce851240b37a1e9ddd3ed7ad4993b7ee2b0b |
TLC with reduction strategy:
|
In | LetDef1 | False | Passed | |
f0a205631ea21abbc56e4df8e21b77f322b0ff89 |
TLC with reduction strategy:
|
NotIn | LetDef1 | True | Passed | |
52ba4755cee70b8e427f562a8308e352e47356f5 |
TLC with reduction strategy:
|
NotIn | LetDef1 | False | Passed | |
1194a80faa9bbaa850509702988236877d2bcec8 |
TLC with reduction strategy:
|
Exists | LetDef1 | True | Passed | |
83620f8c2744b1e06539c87889a2396902ab51f4 |
TLC with reduction strategy:
|
Exists | LetDef1 | False | Passed | |
4783f2aad4231a7e1416d516cddf23a16b3dedcc |
TLC with reduction strategy:
|
Forall | LetDef1 | True | Passed | |
d367e88fdf72106214e7cc17381137bcd50a2d91 |
TLC with reduction strategy:
|
Forall | LetDef1 | False | Passed | |
7231177fbc11cd7d825151b0d2ed5ba513556a3b |
TLC with reduction strategy:
|
Choose | LetDef1 | True | Passed | |
cf20aab6e6a81c47127315ac3798a2f74204f558 |
TLC with reduction strategy:
|
Choose | LetDef1 | False | Passed | |
19a640d156c432c2daf9486877b64c5e743baa82 |
TLC with reduction strategy:
|
Record | LetDef1 | True | Passed | |
346bfb5e5e55fec8222ec04a387777f56363cc16 |
TLC with reduction strategy:
|
Record | LetDef1 | False | Passed | |
c0351edf826ee53d842ca2997f7c92f36e7cd15c |
TLC with reduction strategy:
|
Tuple | LetDef1 | True | Passed | |
149ac8c31e556b163856db37f984295dd84eb46e |
TLC with reduction strategy:
|
Tuple | LetDef1 | False | Passed | |
1c33a52cd4d37cf709924e447335d48a0873a7e2 |
TLC with reduction strategy:
|
FunApp | LetDef1 | True | Passed | |
855437fdb0d70597fa965babf008bab25d7da8ff |
TLC with reduction strategy:
|
FunApp | LetDef1 | False | Passed | |
50b7ea3285bac95b1e228ee60eb820a97106ded4 |
TLC with reduction strategy:
|
Except0 | LetDef1 | True | Passed | |
629eea2f5f8b7f4cd6ffad99b901b7ce48aa7e04 |
TLC with reduction strategy:
|
Except0 | LetDef1 | False | Passed | |
af0437e69f6c20be9f89ac4d25b57b7d0e79a2ee |
TLC with reduction strategy:
|
Except1Fun | LetDef1 | True | Passed | |
b8a33906344202badc4f493f39f08a4e52ff17fd |
TLC with reduction strategy:
|
Except1Fun | LetDef1 | False | Passed | |
9188802ff4309582e3303f6f53ae1aad231553af |
TLC with reduction strategy:
|
Except1FunWithAt | LetDef1 | True | Passed | |
4a252c4a04cc44ef8b135b1436521e1beb38fd03 |
TLC with reduction strategy:
|
Except1FunWithAt | LetDef1 | False | Passed | |
06a53bd1442bc3f0bcf1afc132930c5cf0535111 |
TLC with reduction strategy:
|
Except1Rec | LetDef1 | True | Passed | |
fa9e878911a6f8dbf64d8e01fa7b48eaeebabb0f |
TLC with reduction strategy:
|
Except1Rec | LetDef1 | False | Passed | |
6103f8835d8b78ccc851612fc78c88ece4eda5c4 |
TLC with reduction strategy:
|
Except1RecWithAt | LetDef1 | True | Passed | |
465db5caa0d7d9d4e3b519bec20dba7917f36b0a |
TLC with reduction strategy:
|
Except1RecWithAt | LetDef1 | False | Passed | |
a56dc7a3ba2e2ee17314ed81442c6945fe60a073 |
TLC with reduction strategy:
|
Except2Fun | LetDef1 | True | Passed | |
7e8149c9d281c820229939ebe6196c1dda7e11e5 |
TLC with reduction strategy:
|
Except2Fun | LetDef1 | False | Passed | |
249572133900ffc7df6d82e0851d66f6d18f77c0 |
TLC with reduction strategy:
|
Except2FunTuple | LetDef1 | True | Passed | |
7af3d5cafceb84b683947fb78d93963c8bcffd08 |
TLC with reduction strategy:
|
Except2FunTuple | LetDef1 | False | Passed | |
cad4b9bbce55b0b50b5a318a6fe248fb68c45f5f |
TLC with reduction strategy:
|
Prime | LetDef1 | True | Passed | |
caa5b1ba067d6769fbdd113b9274a645fb99f160 |
TLC with reduction strategy:
|
Prime | LetDef1 | False | Passed | |
249c57a2e81c84af7861ce135b7838f2ee6ff22e |
TLC with reduction strategy:
|
NumUnaryMinus | LetDef1 | True | Passed | |
472112cd4c9ae7da0568d0996b599ceda9367d69 |
TLC with reduction strategy:
|
NumUnaryMinus | LetDef1 | False | Passed | |
215e8c20af396055cd0b035feacf359f190c3ed4 |
TLC with reduction strategy:
|
NumPlus | LetDef1 | True | Passed | |
7dcdd09a441f188b2e89e1aa7d73f335ea1845e6 |
TLC with reduction strategy:
|
NumPlus | LetDef1 | False | Passed | |
04ebc6b8159e80d01ceb114ceb2c73f8aed4691b |
TLC with reduction strategy:
|
NumMinus | LetDef1 | True | Passed | |
82e9b7c587bcbfbe784589d3ae737935b26ae9bf |
TLC with reduction strategy:
|
NumMinus | LetDef1 | False | Passed | |
6855f735046d3bf5f47e109c1ef533c08b2d3525 |
TLC with reduction strategy:
|
NumMul | LetDef1 | True | Passed | |
8f570b55f76978e789c2f42dcf3d0dce64cf58a2 |
TLC with reduction strategy:
|
NumMul | LetDef1 | False | Passed | |
570aaf75001280447c81141e997baf6b4a34a2e9 |
TLC with reduction strategy:
|
NumDiv | LetDef1 | True | Passed | |
a2b78ff42b491848fd9eff535357b21de2e8f20c |
TLC with reduction strategy:
|
NumDiv | LetDef1 | False | Passed | |
24e8436bf4f424622f31e7f88a7cc27c34c7b5e7 |
TLC with reduction strategy:
|
NumMod | LetDef1 | True | Passed | |
06e379e6e3aa8a66d68c2b15ea865d637f45d14b |
TLC with reduction strategy:
|
NumMod | LetDef1 | False | Passed | |
cba0700931ed859b7099800f45b70d53cbdcf12b |
TLC with reduction strategy:
|
NumPow | LetDef1 | True | Passed | |
1eb169129d0868607aaae419fd1e19374ab29526 |
TLC with reduction strategy:
|
NumPow | LetDef1 | False | Passed | |
7eb24d9e6903b2d69f2b00ccb86ed9f3f751e1da |
TLC with reduction strategy:
|
NumGt | LetDef1 | True | Passed | |
4ef43a46a26087483f43bffae06bb18741d33e2f |
TLC with reduction strategy:
|
NumGt | LetDef1 | False | Passed | |
535637cb900f5c8ae29551450423219bb71c44b5 |
TLC with reduction strategy:
|
NumGe | LetDef1 | True | Passed | |
f1ae974348098b736df760b1a7428078f64d2ff2 |
TLC with reduction strategy:
|
NumGe | LetDef1 | False | Passed | |
88ae0c59871d5ca45e35883890d90ce31a3d405d |
TLC with reduction strategy:
|
NumLt | LetDef1 | True | Passed | |
63b8663d4c4de14a4bc3cdf2f175d54688525dbd |
TLC with reduction strategy:
|
NumLt | LetDef1 | False | Passed | |
eafb7b6b8b255981810645d24c55ebcca970c219 |
TLC with reduction strategy:
|
NumLe | LetDef1 | True | Passed | |
32a5c4714db715a7ed5939e99e92aa7a945e0e5a |
TLC with reduction strategy:
|
NumLe | LetDef1 | False | Passed | |
43a2ac720cdecf70d1e159c39ade83e566ba9452 |
TLC with reduction strategy:
|
DefFun | LetDef1 | True | Passed | |
563260e45b8a602bcf3a75bce94ed516c0afb3df |
TLC with reduction strategy:
|
DefFun | LetDef1 | False | Passed | |
d9a45f06b20822d8279ab873903424a139c1f311 |
TLC with reduction strategy:
|
LetDefFun | LetDef1 | True | Passed | |
69b82bcef938601a23b273f09044fd92349f7526 |
TLC with reduction strategy:
|
LetDefFun | LetDef1 | False | Passed | |
6dc8cd3b5e1a13134b3502e95e56ce34c29822ea |
TLC with reduction strategy:
|
DefFunRecursive | LetDef1 | True | Passed | |
c5cf11f6bbe9371181a9c25c7bbeaa2e1c8902d9 |
TLC with reduction strategy:
|
DefFunRecursive | LetDef1 | False | Passed | |
097cf5da6e3777f82b1789a5a652570fcbfce28a |
TLC with reduction strategy:
|
LetDefFunRecursive | LetDef1 | True | Passed | |
d749e097deb6dea7050f75bfbe03733233adf575 |
TLC with reduction strategy:
|
LetDefFunRecursive | LetDef1 | False | Passed | |
ba6e5f48b0a54039382f704b4a50a95e001525f0 |
TLC with reduction strategy:
|
Def0 | LetDef1 | True | Passed | |
de1d6f469b33e005322127f18fa147a527f6d090 |
TLC with reduction strategy:
|
Def0 | LetDef1 | False | Passed | |
2422e01a98d487f249317cf70f6bb4985acc9b9c |
TLC with reduction strategy:
|
LetDef0 | LetDef1 | True | Passed | |
d439af185ff281d5ff0ca8b0fc5ba5c76b67b609 |
TLC with reduction strategy:
|
LetDef0 | LetDef1 | False | Passed | |
74356745e240f6d89fe46d773cdcd7378ef39f26 |
TLC with reduction strategy:
|
Def1 | LetDef1 | True | Passed | |
a776a05fab5fe9fab25609125dd0ae1d36c037dd |
TLC with reduction strategy:
|
Def1 | LetDef1 | False | Passed | |
81a0d2ca9f0d48d39f610c15b1d60b4c14fc3594 |
TLC with reduction strategy:
|
LetDef1 | LetDef1 | True | Passed | |
1fb604bc36da99c19700b6518943d42220519eaa |
TLC with reduction strategy:
|
LetDef1 | LetDef1 | False | Passed | |
24830e0214ffabc59ff69634ea2ece444edb4bf0 |
TLC with reduction strategy:
|
Def2 | LetDef1 | True | Passed | |
a86bd91067df051d20b4b919568b6877bc8812cc |
TLC with reduction strategy:
|
Def2 | LetDef1 | False | Passed | |
d89328103f2875479bb9c73c677699137eb2c71b |
TLC with reduction strategy:
|
LetDef2 | LetDef1 | True | Passed | |
14edf9cf3005e2fc5a083191a0f12e7ff76b7f06 |
TLC with reduction strategy:
|
LetDef2 | LetDef1 | False | Passed | |
f04ee3094653a4fd34d9347035cfae5324e15965 |
TLC with reduction strategy:
|
Def1Recursive | LetDef1 | True | Passed | |
db315579cc1f62b3d5205ee5cde52b5257f37064 |
TLC with reduction strategy:
|
Def1Recursive | LetDef1 | False | Passed | |
1f6aafa8c58d556d4c9ad57273079fd2aa9bb53f |
TLC with reduction strategy:
|
LetDef1Recursive | LetDef1 | True | Passed | |
f2fdda335d2de423a735393a70fbd71b7f073620 |
TLC with reduction strategy:
|
LetDef1Recursive | LetDef1 | False | Passed | |
c1e7f2019da5b1998ebfff3c7d1fd99c58a7b464 |
TLC with reduction strategy:
|
Extends | LetDef1 | True | Passed | |
ae1bd5d0938cfe4b3a1e7aa6ab61499c6246f060 |
TLC with reduction strategy:
|
Extends | LetDef1 | False | Passed | |
63860bde881ee815a94afa69cbf32d577feeaeca |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | LetDef1 | True | Passed | |
6607720d07d7b35e6516049e9f418796433a0b8b |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | LetDef1 | False | Passed | |
ae7b6aad2d5b0d623f7067c4f2560bc7111e0f1e |
TLC with reduction strategy:
|
Variable | LetDef1 | True | Passed | |
49a76b47479b5e889b1752ffb76d72d745b6b9b5 |
TLC with reduction strategy:
|
Variable | LetDef1 | False | Passed | |
c117a53d3e91af2e5655681a80f4793e6bdf6d76 |
TLC with reduction strategy:
|
VariableViewExclude | LetDef1 | True | Passed | |
8a012074bdbb59367a120e33d2f404aeb87c835e |
TLC with reduction strategy:
|
VariableViewExclude | LetDef1 | False | Passed | |
091a8831c1124fba03ec7819bc3b1e44fbcf9565 |
TLC with reduction strategy:
|
Constant | LetDef1 | True | Passed | |
bd79eedc1d077e314b1e6b64c137d9bf10025caa |
TLC with reduction strategy:
|
Constant | LetDef1 | False | Passed | |
5cda6f98c40aa1cbdc8142f663933d61536fa375 |
TLC with reduction strategy:
|
ConstantRank1 | LetDef1 | True | Passed | |
33e3b5bbbdb99382895545e7139fc07c6371ea30 |
TLC with reduction strategy:
|
ConstantRank1 | LetDef1 | False | Passed | |
5a2e4e876547db352e6f1bed565956c7945a2453 |
TLC with reduction strategy:
|
Instance | LetDef1 | True | Passed | |
e360edd1f401120f4f74a1cb40161da01b0a7828 |
TLC with reduction strategy:
|
Instance | LetDef1 | False | Passed | |
e67e67aa2951e5f18979ebd8c6d027cc243e6545 |
TLC with reduction strategy:
|
InstanceWith | LetDef1 | True | Passed | |
c47bab6b2f55a056cda267c5889871d22281fd97 |
TLC with reduction strategy:
|
InstanceWith | LetDef1 | False | Passed | |
225a8c253ebf4dbb6e151254c88ce3efa89f87cc |
TLC with reduction strategy:
|
InstanceNamed | LetDef1 | True | Passed | |
c2c190510b5c27770a9518d899253642c4d9067d |
TLC with reduction strategy:
|
InstanceNamed | LetDef1 | False | Passed | |
6f2a346a1c3716ac85f7ab95f6166d959fa6d421 |
TLC with reduction strategy:
|
InstanceNamedWith | LetDef1 | True | Passed | |
33b80dea79613bcad28b5303ba102ee95d900eb2 |
TLC with reduction strategy:
|
InstanceNamedWith | LetDef1 | False | Passed | |
0f921156c91855f8a30a5ce8e3506b65871cfc9c |
TLC with reduction strategy:
|
InstanceInFolder | LetDef1 | True | Passed | |
4d0f2903b0cbd6f0a5c9171cad535b8de6e938c8 |
TLC with reduction strategy:
|
InstanceInFolder | LetDef1 | False | Passed | |
d270977d89930238e27e0d403d10dba8bd140351 |
TLC with reduction strategy:
|
InstanceWithInFolder | LetDef1 | True | Passed | |
72a3192629cfb2db93fd7a2fe979a095f5aae1ab |
TLC with reduction strategy:
|
InstanceWithInFolder | LetDef1 | False | Passed | |
07887480256b778a4485ef6a16cb80c318fd10af |
TLC with reduction strategy:
|
InstanceNamedInFolder | LetDef1 | True | Passed | |
860dbe3c22abc6fd10518d6efb350ef2b080dba0 |
TLC with reduction strategy:
|
InstanceNamedInFolder | LetDef1 | False | Passed | |
ac5130c7ce706d27476e2197c8f7045bac411cd0 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | LetDef1 | True | Passed | |
0cd4dddb876a206f5f12bb9ae64df4f0cc14332b |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | LetDef1 | False | Passed | |
3a348b9d93b8aa7a6b7fa3f1a3507c50d3e64743 |
TLC with reduction strategy:
|
Enabled | LetDef1 | True | Passed | |
55300b5559868346496d366f63787cc3e5131e80 |
TLC with reduction strategy:
|
Enabled | LetDef1 | False | Passed | |
5570bb6ae6f7bc053fd7420257b8b2e61f3e5a50 |
TLC with reduction strategy:
|
Assume | LetDef1 | True | Passed | |
d74aee3bdcd0ad0f0a7da10deef10e6b057aaea0 |
TLC with reduction strategy:
|
Assume | LetDef1 | False | Passed | |
a39c4bf32ebecf5cbd6a48f4bd7f584cbd711612 |
TLC with reduction strategy:
|
AssumeNamed | LetDef1 | True | Passed | |
1f1010531c22156a2eb64702757c669ed8e227fe |
TLC with reduction strategy:
|
AssumeNamed | LetDef1 | False | Passed | |
f22bafe22e0a062bf9122d138ceaef1285b2860b |
TLC with reduction strategy:
|
Lambda | LetDef1 | True | Passed | |
89b0dedd9db72a9ed3d2f462479179a6a46ab64f |
TLC with reduction strategy:
|
Lambda | LetDef1 | False | Passed | |
5edd7f86f3d8243070d76b9806a891e6cd413470 |
TLC with reduction strategy:
|
Cross2 | LetDef1 | True | Passed | |
4220092451d51c3df027f14bf5e6fd5ae4301724 |
TLC with reduction strategy:
|
Cross2 | LetDef1 | False | Passed | |
4ccee7dca8e3f524f43ce37c40418b4e5a4cb496 |
TLC with reduction strategy:
|
Cross3 | LetDef1 | True | Passed | |
a4b8dce30b33cee9d6051216176297a52633d56e |
TLC with reduction strategy:
|
Cross3 | LetDef1 | False | Passed | |
001ccc6a861459ac0bc1f8eae7a7bf391ad19a1a |
TLC with reduction strategy:
|
FunSet | LetDef1 | True | Passed | |
93f9076e3b52cf4b9611d5b1eade829ec026c816 |
TLC with reduction strategy:
|
FunSet | LetDef1 | False | Passed | |
24bff107c3d5387c8f36e6f997a4cf9c081482a3 |
TLC with reduction strategy:
|
RecordSet | LetDef1 | True | Passed | |
d46bf74b4ade0989fe1b50894100d624d0c555c5 |
TLC with reduction strategy:
|
RecordSet | LetDef1 | False | Passed | |
9c3bff146368b73bd069e340de4592b6eadc1818 |
TLC with reduction strategy:
|
SetDiff | LetDef1 | True | Passed | |
274410d3f3e7b0492430f6cf53d461ac6cf7dd7b |
TLC with reduction strategy:
|
SetDiff | LetDef1 | False | Passed | |
82794dab1aba9d9bc4a724e293ad104834c85ea0 |
TLC with reduction strategy:
|
SetUnion | LetDef1 | True | Passed | |
9f14dfc36f3e35a702d62853e0f58e6c20f9caab |
TLC with reduction strategy:
|
SetUnion | LetDef1 | False | Passed | |
0ff5829a5c39bfa86cbb81bea338b189a45fb1bf |
TLC with reduction strategy:
|
SetIntersect | LetDef1 | True | Passed | |
491b570a389511ff6c5661faca5bf714739d19ea |
TLC with reduction strategy:
|
SetIntersect | LetDef1 | False | Passed | |
5b781036800596ade531547402b75affcd5893e9 |
TLC with reduction strategy:
|
SubsetEq | LetDef1 | True | Passed | |
5e0a64a08b5892fff3c619e4632f2b5b049876f9 |
TLC with reduction strategy:
|
SubsetEq | LetDef1 | False | Passed | |
aa0458b1a9b48194c6f85b1a8b9e9ade39a8ed98 |
TLC with reduction strategy:
|
IfCond | LetDef1 | True | Passed | |
2a93b818f8f984768525a26e9c54ef9754cfc5e6 |
TLC with reduction strategy:
|
IfCond | LetDef1 | False | Passed | |
4ab53d69cfe5708c5b10ab6edb5482b819658603 |
TLC with reduction strategy:
|
IfThen | LetDef1 | True | Passed | |
720a328096b10008e2ce89af2030a782eda16a00 |
TLC with reduction strategy:
|
IfThen | LetDef1 | False | Passed | |
7e5f218a549790847336f713e5a325e1c77af6f5 |
TLC with reduction strategy:
|
IfElse | LetDef1 | True | Passed | |
8c98ef0c913ea1fc13df190bf2ebd4989a32adcf |
TLC with reduction strategy:
|
IfElse | LetDef1 | False | Passed | |
8f06218ac18bfc795b40eaef3a1f01d2a7bc50e6 |
TLC with reduction strategy:
|
Subset | LetDef1 | True | Passed | |
5976e8025d9ed6abdcc35e45572286fdb22d820f |
TLC with reduction strategy:
|
Subset | LetDef1 | False | Passed | |
843fa296638b12b89f01530879641693d59bbb4b |
TLC with reduction strategy:
|
Domain | LetDef1 | True | Passed | |
d7b983f1722516fef121ee25c960f5c9ad06351b |
TLC with reduction strategy:
|
Domain | LetDef1 | False | Passed | |
a9a2b965554315bd11f3f3d0af7d2198befe2c6f |
TLC with reduction strategy:
|
Union | LetDef1 | True | Passed | |
cf50f00c42070498d1c4098e62df579414729c17 |
TLC with reduction strategy:
|
Union | LetDef1 | False | Passed | |
f30d6310a51d11e5a6bbd2a3fc0641273425bc46 |
TLC with reduction strategy:
|
Unchanged | LetDef1 | True | Passed | |
c50087a7db96fe4f7ae92cf8a10aa35ec2ee042b |
TLC with reduction strategy:
|
Unchanged | LetDef1 | False | Passed | |
beed2da187f686ca3ca5adc0a25256df54942658 |
TLC with reduction strategy:
|
Equivalence | LetDef1 | True | Passed | |
e8c5278a41557440971e98083fe4cd5e9b47fbe2 |
TLC with reduction strategy:
|
Equivalence | LetDef1 | False | Passed | |
3942a922d4b948e3e443ef5d2743f9106cf44ab5 |
TLC with reduction strategy:
|
SeqLen | LetDef1 | True | Passed | |
cf84f60b265d2101ab2fa45c1f10322dc29295fa |
TLC with reduction strategy:
|
SeqLen | LetDef1 | False | Passed | |
8b3fb3fa3b9f30dffa1bb0e23c78e84225bb11e8 |
TLC with reduction strategy:
|
SeqConcat | LetDef1 | True | Passed | |
4dcf18c907c669578d0cb90833fd511272c5027d |
TLC with reduction strategy:
|
SeqConcat | LetDef1 | False | Passed | |
843cc30ee7f465c2110e271f3f09570583c4e824 |
TLC with reduction strategy:
|
SeqSeq | LetDef1 | True | Passed | |
13e864665d7a6fba5080f1dd0325dc9bb6b71ad7 |
TLC with reduction strategy:
|
SeqSeq | LetDef1 | False | Passed | |
76ca1fc6e1fc2e4493bef17dbc94849efcad145d |
TLC with reduction strategy:
|
SeqSelectSeq | LetDef1 | True | Passed | |
71235d8112cf3bd20f80d3c8bbe7c3027f03346b |
TLC with reduction strategy:
|
SeqSelectSeq | LetDef1 | False | Passed | |
58ab9109459175e4864c96c339bdca9c6ba054af |
TLC with reduction strategy:
|
SeqSubSeq | LetDef1 | True | Passed | |
04192a3c300d5b08b58baf7c4179e157850e822d |
TLC with reduction strategy:
|
SeqSubSeq | LetDef1 | False | Passed | |
5a7fe91f515e7ae4064723d2afac6df051289745 |
TLC with reduction strategy:
|
NumRange | LetDef1 | True | Passed | |
01e53b7681eb3de268bb6e2d6c3091bb2fd47d0c |
TLC with reduction strategy:
|
NumRange | LetDef1 | False | Passed | |
78713a0ae3559317df1bd1e434369ef9ca7fd62e |
TLC with reduction strategy:
|
TlcSingletonFun | LetDef1 | True | Passed | |
795d1fea4ef4ae4a6108c897764d9b0a71fd79b6 |
TLC with reduction strategy:
|
TlcSingletonFun | LetDef1 | False | Passed | |
8934e01f335851533d11dd47d8c5265b05ab93ee |
TLC with reduction strategy:
|
TlcExtendFun | LetDef1 | True | Passed | |
5df4c868d4fd7045f473ba176f22956c9e8e49b9 |
TLC with reduction strategy:
|
TlcExtendFun | LetDef1 | False | Passed | |
cb16b2879314b514269099ab9624bd272b6a777f |
TLC with reduction strategy:
|
TlcPermuteFun | LetDef1 | True | Passed | |
283a5a7fb6c7eaed481e99d970b2703723e1c831 |
TLC with reduction strategy:
|
TlcPermuteFun | LetDef1 | False | Passed | |
5de35e7dc9af0fd938d70ee1aee2fd28438639ac |
TLC with reduction strategy:
|
TlcSortSeq | LetDef1 | True | Passed | |
9873677cd64c171d887f20b1214e6ba3c83d64d7 |
TLC with reduction strategy:
|
TlcSortSeq | LetDef1 | False | Passed | |
7ae74d80d7aea16f3a7135bc8d505b0c286990d0 |
TLC with reduction strategy:
|
TlcEval | LetDef1 | True | Passed | |
fb78461faf0b8ade818cbe47729e127ad24e9a71 |
TLC with reduction strategy:
|
TlcEval | LetDef1 | False | Passed | |
15298cbfe44e55e7533db774e5938e6e7ae8b8f1 |
TLC with reduction strategy:
|
BagBagToSet | LetDef1 | True | Passed | |
33906470059c604107c11a9b1c70d18198ccf7be |
TLC with reduction strategy:
|
BagBagToSet | LetDef1 | False | Passed | |
4845f2906d6f8290bdb44473b83a11dc493e49ab |
TLC with reduction strategy:
|
BagSetToBag | LetDef1 | True | Passed | |
4bbd8fe02f5e6bca3c2c7196086b53dfb4e6618b |
TLC with reduction strategy:
|
BagSetToBag | LetDef1 | False | Passed | |
555cd40f800d9566c9623b6bc033acb3995166f8 |
TLC with reduction strategy:
|
BagBagIn | LetDef1 | True | Passed | |
e826e427c67c91954dab07964b080aa6f78f9290 |
TLC with reduction strategy:
|
BagBagIn | LetDef1 | False | Passed | |
c8b667f2092591060f4e9f95bb2c2a3737c01463 |
TLC with reduction strategy:
|
BagAddBag | LetDef1 | True | Passed | |
49da2d42533be38e51d94ef44421540198fbd9c6 |
TLC with reduction strategy:
|
BagAddBag | LetDef1 | False | Passed | |
5455740d9d04aad356d0e2b57effb19caba4246c |
TLC with reduction strategy:
|
BagBagSub | LetDef1 | True | Passed | |
f2044bc4e57f85fa7ab2c5bd3e25931af2cd99b5 |
TLC with reduction strategy:
|
BagBagSub | LetDef1 | False | Passed | |
2532095a4f53d188092d4f4f53d0a5801d058ecb |
TLC with reduction strategy:
|
BagCopiesIn | LetDef1 | True | Passed | |
a729af185a67165e11cbd0ee77d22af29c6de63a |
TLC with reduction strategy:
|
BagCopiesIn | LetDef1 | False | Passed | |
773ab194a6e7eaec27a56ff3d0b7aae2781aca3f |
TLC with reduction strategy:
|
BagSubsetEqBag | LetDef1 | True | Passed | |
0487ab97b90ec663f4b6634696f0b31974d4d360 |
TLC with reduction strategy:
|
BagSubsetEqBag | LetDef1 | False | Passed | |
0ebdce04f9940976d73b6d5db6cf89f9c004d520 |
TLC with reduction strategy:
|
BagBagUnion | LetDef1 | True | Passed | |
0906a788aad9e9086b2bd22efba7b40f0ea86151 |
TLC with reduction strategy:
|
BagBagUnion | LetDef1 | False | Passed | |
c081f4d58192ad305ff901706d6a553bc0d2da87 |
TLC with reduction strategy:
|
BagBagCardinality | LetDef1 | True | Passed | |
0299a1dbf9def07949d20ee6a547cb26c279cfa4 |
TLC with reduction strategy:
|
BagBagCardinality | LetDef1 | False | Passed | |
ae6831e5ac2f4917f9febcaba2a5e1dd81928790 |
TLC with reduction strategy:
|
BagBagOfAll | LetDef1 | True | Passed | |
a8c661967c6cb2091a55de0ed8b7e1f50010acdf |
TLC with reduction strategy:
|
BagBagOfAll | LetDef1 | False | Passed | |
7a72ec45063eafad1a69b3f01808611039bb819f |
TLC with reduction strategy:
|
BagSubBag | LetDef1 | True | Passed | |
59d8ea5eee6ea7e2c551828afcac620809d1efe4 |
TLC with reduction strategy:
|
BagSubBag | LetDef1 | False | Passed | |
c46108d130be362ce06292c0a41945e0f20a33e2 |
TLC with reduction strategy:
|
FiniteSetsIsFiniteSet | LetDef1 | True | Passed | |
e8266238d5b7f3f995a3e12cd4a7f8aa31bf56b5 |
TLC with reduction strategy:
|
FiniteSetsIsFiniteSet | LetDef1 | False | Passed | |
545ed7dff26c4d6fdb33cbec1ca642947f6e4ab6 |
TLC with reduction strategy:
|
FiniteSetsCardinality | LetDef1 | True | Passed | |
535ec6956bcecf713408640611abdca040af57ef |
TLC with reduction strategy:
|
FiniteSetsCardinality | LetDef1 | False | Passed | |
9d1ab07e9807530213a22b0829a45fb2bbe71846 |
TLC with reduction strategy:
|
SeqHead | LetDef1 | True | Passed | |
818914aa4794086ba056172743ef3d5241feb1e9 |
TLC with reduction strategy:
|
SeqHead | LetDef1 | False | Passed | |
53af85700a118f15d1a94e0cf7141b29a0155b2c |
TLC with reduction strategy:
|
SeqTail | LetDef1 | True | Passed | |
cf896cb02f96996f9c34a55cc8a85b4e32921002 |
TLC with reduction strategy:
|
SeqTail | LetDef1 | False | Passed | |
ed374570668e4d029e2e5b8893893b2d616fac05 |
TLC with reduction strategy:
|
SeqAppend | LetDef1 | True | Passed | |
64482f0dedce15f179e6300bf7ee2db13784aa17 |
TLC with reduction strategy:
|
SeqAppend | LetDef1 | False | Passed |