Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
20bd5cab265fe683398a5278709ace127b0f4cb2 |
TLC with reduction strategy:
|
BagBagIn | BoolTrue | True | Passed | |
d33794d78da92ecc21ac29242081dad67169805e |
TLC with reduction strategy:
|
BagBagIn | BoolTrue | False | Passed | |
df0f5a22ac8ab5ca9bdfb4e362c91a38119bb647 |
TLC with reduction strategy:
|
BagBagIn | BoolFalse | True | Passed | |
374677b7712ccde41ff34a55db6aa95401a831b9 |
TLC with reduction strategy:
|
BagBagIn | BoolFalse | False | Passed | |
9ed79536f0c3d01600c731a059d45ccc845625bf |
TLC with reduction strategy:
|
BagBagIn | BoolSet | True | Passed | |
02d59660ae9bf122d8f68be9083300c7d7c544f9 |
TLC with reduction strategy:
|
BagBagIn | BoolSet | False | Passed | |
549d2c0b50fe0d1518ab9ad55d3476899171564f |
TLC with reduction strategy:
|
BagBagIn | And | True | Passed | |
0b35fc7a14ed01a875aeb873e1ddbff2dcd24b1a |
TLC with reduction strategy:
|
BagBagIn | And | False | Passed | |
9074bd6b040ee74e5c2a18235ef0ce0544e59b3d |
TLC with reduction strategy:
|
BagBagIn | AndMultiLine | True | Passed | |
7c59b6a028ecca02023d7f8ad571995b6d402e13 |
TLC with reduction strategy:
|
BagBagIn | AndMultiLine | False | Passed | |
f37d9b43e9ed8e666bf8ed3f7ab0fbb20caeebe9 |
TLC with reduction strategy:
|
BagBagIn | Imply | True | Passed | |
0629fe6d45e5c41ec5767c5e8a029e2c936cdc2e |
TLC with reduction strategy:
|
BagBagIn | Imply | False | Passed | |
bdc6088db964b575ccb780b3b26aa7303d442ac8 |
TLC with reduction strategy:
|
BagBagIn | Not | True | Passed | |
c31429d3abd18e915475e4929de557ef4d9a8fb1 |
TLC with reduction strategy:
|
BagBagIn | Not | False | Passed | |
497081c28a43c4ac781fdbe355744047d0599582 |
TLC with reduction strategy:
|
BagBagIn | Or | True | Passed | |
da0ff79703ba004cb5acbe8b7732158114092f75 |
TLC with reduction strategy:
|
BagBagIn | Or | False | Passed | |
bce3a48c1520d3f4a8b6dafb4feadebc54372a27 |
TLC with reduction strategy:
|
BagBagIn | OrMultiLine | True | Passed | |
f8410b789114b74f20ba87fe6f6f7c4fa1936ca5 |
TLC with reduction strategy:
|
BagBagIn | OrMultiLine | False | Passed | |
93696c4a4e042e04e8b53da65b65f5e582d5f9f2 |
TLC with reduction strategy:
|
BagBagIn | Eq | True | Passed | |
bf6acc4d741ace58b822481bef4aee98d57b914a |
TLC with reduction strategy:
|
BagBagIn | Eq | False | Passed | |
72d4201b6896433a2ca2d0954ffc40a81307b43b |
TLC with reduction strategy:
|
BagBagIn | Ne | True | Passed | |
c4a93503c08629872a34b38886cbf3dc3191f5ac |
TLC with reduction strategy:
|
BagBagIn | Ne | False | Passed | |
cc7fdd1b4254099933792b9c65547bf6b83439f5 |
TLC with reduction strategy:
|
BagBagIn | Let | True | Passed | |
de455f33b0f8b2d3169aa854b8b50c5be0e81c5c |
TLC with reduction strategy:
|
BagBagIn | Let | False | Passed | |
44460c8ca344daa01e575f75213316c46b2ea03d |
TLC with reduction strategy:
|
BagBagIn | SetEmpty | True | Passed | |
1c8abdf4a9235eeef66154298bfa28ad7b40e43c |
TLC with reduction strategy:
|
BagBagIn | SetEmpty | False | Passed | |
5f67c5fa3d5ce81553424c65bdbabacbd3faac68 |
TLC with reduction strategy:
|
BagBagIn | Set0 | True | Passed | |
dca50c469de67df4e442b60b3bf9eb34e2ffb7cb |
TLC with reduction strategy:
|
BagBagIn | Set0 | False | Passed | |
502abb4012c586844c971427517265ada2c7ae1c |
TLC with reduction strategy:
|
BagBagIn | Set1 | True | Passed | |
0350e74d09bef11456c70e6c3359408ace38b262 |
TLC with reduction strategy:
|
BagBagIn | Set1 | False | Passed | |
5491111e182adffff4253bd5ec9492460402fea6 |
TLC with reduction strategy:
|
BagBagIn | Set2 | True | Passed | |
00bd8d8ee6ddd45d58dd537702fcf2370ed4be9c |
TLC with reduction strategy:
|
BagBagIn | Set2 | False | Passed | |
f9129065d6080b2a1a10370a9f14ccad231afc0d |
TLC with reduction strategy:
|
BagBagIn | Fun | True | Passed | |
b05f74e4e36e79ba0a57cab806a5ca54ad755952 |
TLC with reduction strategy:
|
BagBagIn | Fun | False | Passed | |
b337b426b2144561894fc23f10fb70ed68fe3337 |
TLC with reduction strategy:
|
BagBagIn | In | True | Passed | |
c90ce37259ef89766a1bdbb55c62e29b47ca15d7 |
TLC with reduction strategy:
|
BagBagIn | In | False | Passed | |
2ffa544383dc10c4623979d56a6bb341bdc05ada |
TLC with reduction strategy:
|
BagBagIn | NotIn | True | Passed | |
bff60c9816b7ea269237c98ed1112b82a2ade14c |
TLC with reduction strategy:
|
BagBagIn | NotIn | False | Passed | |
7b5dd53806ab1c43c26c83825c2121bc219addc5 |
TLC with reduction strategy:
|
BagBagIn | Exists | True | Passed | |
4fc0cd26f5304dbda6694a2de37756627f3e26c2 |
TLC with reduction strategy:
|
BagBagIn | Exists | False | Passed | |
3a06c44dd8876623f175e2246f7f74a4c45bb7f8 |
TLC with reduction strategy:
|
BagBagIn | Forall | True | Passed | |
385521362eddd44f83ecebb74b69a8a179dd2c09 |
TLC with reduction strategy:
|
BagBagIn | Forall | False | Passed | |
d1fdfbaf3705e2be8c059ba9ac4285031dd99f1f |
TLC with reduction strategy:
|
BagBagIn | Choose | True | Passed | |
1b33b57d9dd5c8bae175662bb1bba91d8d9c22f0 |
TLC with reduction strategy:
|
BagBagIn | Choose | False | Passed | |
2fe192bea072fbe72374d2d2ead58ced81099ec7 |
TLC with reduction strategy:
|
BagBagIn | Record | True | Passed | |
41fd4cdafb0ef70e402fa065410f5129771cc869 |
TLC with reduction strategy:
|
BagBagIn | Record | False | Passed | |
f3d0fc21845eba7994ac8529505fb56bd8dbde1d |
TLC with reduction strategy:
|
BagBagIn | Tuple | True | Passed | |
bd5e280f8bd36ef347f3359eca2be2079eaa01f4 |
TLC with reduction strategy:
|
BagBagIn | Tuple | False | Passed | |
736644b779d6798fd4c85259e11444ebc6c3eadd |
TLC with reduction strategy:
|
BagBagIn | TupleEmpty | True | Passed | |
1aff7d7dceff57df74565d3bb4caa16f881baf5b |
TLC with reduction strategy:
|
BagBagIn | TupleEmpty | False | Passed | |
1caf7affc70fa4c51fa839783309c617e66c7082 |
TLC with reduction strategy:
|
BagBagIn | FunApp | True | Passed | |
0e0f9d038639bf5161c3d189cb256dd2b3f76154 |
TLC with reduction strategy:
|
BagBagIn | FunApp | False | Passed | |
4be9dbe6f53f105da983a34506972a3a647b049c |
TLC with reduction strategy:
|
BagBagIn | Prime | True | Passed | |
9106042b658d3af218c0365ffe43745a0a790379 |
TLC with reduction strategy:
|
BagBagIn | Prime | False | Passed | |
721339fedc0c8669d0fc2ff927b0a2e4e30a2189 |
TLC with reduction strategy:
|
BagBagIn | NumZero | True | Passed | |
cd32843f44121f44c8bb9574c74e628be893eb6d |
TLC with reduction strategy:
|
BagBagIn | NumZero | False | Passed | |
25c2a238bd01c9409798b563e4c54d56823803a4 |
TLC with reduction strategy:
|
BagBagIn | NumOne | True | Passed | |
747c732ca98c327a3fa77c6902a46cada7c17423 |
TLC with reduction strategy:
|
BagBagIn | NumOne | False | Passed | |
ed6d81257cbdc6bbbde7432a1ceb7c79a481ed94 |
TLC with reduction strategy:
|
BagBagIn | NumMaxInt | True | Passed | |
ef3b481544562665624aa2de1a60d44b051d24fa |
TLC with reduction strategy:
|
BagBagIn | NumMaxInt | False | Passed | |
9d8e38c799767810c13d4eb4755446e12727505a |
TLC with reduction strategy:
|
BagBagIn | NumUnaryMinus | True | Passed | |
92999e6304418adef496a9d7e6d2309961c9412d |
TLC with reduction strategy:
|
BagBagIn | NumUnaryMinus | False | Passed | |
eeff0f5822a19f7c3c8bc4343ed600729c481baf |
TLC with reduction strategy:
|
BagBagIn | NumPlus | True | Passed | |
ffc77c368c161bb67956f70c77380f9d98f21121 |
TLC with reduction strategy:
|
BagBagIn | NumPlus | False | Passed | |
3a83335f591f616f818884f40e0790a797563774 |
TLC with reduction strategy:
|
BagBagIn | NumMinus | True | Passed | |
4b7a0665c1c39d6ec7d2e517f99032d8201212f1 |
TLC with reduction strategy:
|
BagBagIn | NumMinus | False | Passed | |
7330ac13d495c603314ae88345caddd8b8215253 |
TLC with reduction strategy:
|
BagBagIn | NumMul | True | Passed | |
00ce8c40daa6fa48c955342897f16a2714f8f179 |
TLC with reduction strategy:
|
BagBagIn | NumMul | False | Passed | |
aa50fd8eb9ef2135effa58595305a384d0a816ff |
TLC with reduction strategy:
|
BagBagIn | NumDiv | True | Passed | |
7cf5927d9c02a8f1b039f1990833408c8341d4e8 |
TLC with reduction strategy:
|
BagBagIn | NumDiv | False | Passed | |
8342be7e95e1e4f6e2b76f0f7a75ed3a975caf4f |
TLC with reduction strategy:
|
BagBagIn | NumMod | True | Passed | |
1704913c7862ca63321fc573d0b346ef73202fa9 |
TLC with reduction strategy:
|
BagBagIn | NumMod | False | Passed | |
f041bf432b7aa36c342394cc489434ce056cced4 |
TLC with reduction strategy:
|
BagBagIn | NumPow | True | Passed | |
370b29c69741aa163e8dfaaf326551abb4471060 |
TLC with reduction strategy:
|
BagBagIn | NumPow | False | Passed | |
cf9f6bc8e2102b6ee14bc8eae4afca78cbbeade0 |
TLC with reduction strategy:
|
BagBagIn | NumGt | True | Passed | |
34868191dc697bf20c7208c1cfd80f170b5f35f0 |
TLC with reduction strategy:
|
BagBagIn | NumGt | False | Passed | |
3e05b8161f4ed37f20c0d26af2b485d71ad679a0 |
TLC with reduction strategy:
|
BagBagIn | NumGe | True | Passed | |
2d1298b41702fd76c14800716d9e7f955354edfd |
TLC with reduction strategy:
|
BagBagIn | NumGe | False | Passed | |
382c8b0e87dbd3297e403e94345aad625a35ffca |
TLC with reduction strategy:
|
BagBagIn | NumLt | True | Passed | |
e5ea72ea7a201e6ddddac55885d2bd37f15738ab |
TLC with reduction strategy:
|
BagBagIn | NumLt | False | Passed | |
7bc2e1d07dd345d00ea95a47a0feb900055e9db4 |
TLC with reduction strategy:
|
BagBagIn | NumLe | True | Passed | |
333fee9e5ea1b1205726bc5c4fa56db314b9679f |
TLC with reduction strategy:
|
BagBagIn | NumLe | False | Passed | |
de22f70427102e776193ea370981ced70573f369 |
TLC with reduction strategy:
|
BagBagIn | DefFun | True | Passed | |
78f47074b335eb031579b94e709840631ac558cd |
TLC with reduction strategy:
|
BagBagIn | DefFun | False | Passed | |
52869dd6e5b74a1c18671f59f794e5760f508767 |
TLC with reduction strategy:
|
BagBagIn | LetDefFun | True | Passed | |
88704a33884efee3ff09cc8cfcbfc0e60e9e864f |
TLC with reduction strategy:
|
BagBagIn | LetDefFun | False | Passed | |
83bb3e9071e775ef48d2759c96ecdb8467bbb17b |
TLC with reduction strategy:
|
BagBagIn | DefFunRecursive | True | Passed | |
423f5070ae0d3c44b588cba52364af0954d69f64 |
TLC with reduction strategy:
|
BagBagIn | DefFunRecursive | False | Passed | |
3488abcc2fe6d6b88260cd7c595f24db4e633e33 |
TLC with reduction strategy:
|
BagBagIn | LetDefFunRecursive | True | Passed | |
1ed559c6cea510b81a43df93977d40d278c8ff1c |
TLC with reduction strategy:
|
BagBagIn | LetDefFunRecursive | False | Passed | |
45d55616807481a5769a79be5e28eba0cd79119e |
TLC with reduction strategy:
|
BagBagIn | Def0 | True | Passed | |
d2ce7bdc6cc858104951d5bc1451d067bc196c8e |
TLC with reduction strategy:
|
BagBagIn | Def0 | False | Passed | |
ee1ee644425628a91d3dd312bb8af68f82e43930 |
TLC with reduction strategy:
|
BagBagIn | LetDef0 | True | Passed | |
b47b3107104a0c01080aa66d36335fb082ec1fa8 |
TLC with reduction strategy:
|
BagBagIn | LetDef0 | False | Passed | |
d3f57989aa19f84f861c671a428c20e412ca0c1f |
TLC with reduction strategy:
|
BagBagIn | Def1 | True | Passed | |
e2a8c11e65274d994b5deca489b44bce72bcb4d4 |
TLC with reduction strategy:
|
BagBagIn | Def1 | False | Passed | |
555cd40f800d9566c9623b6bc033acb3995166f8 |
TLC with reduction strategy:
|
BagBagIn | LetDef1 | True | Passed | |
e826e427c67c91954dab07964b080aa6f78f9290 |
TLC with reduction strategy:
|
BagBagIn | LetDef1 | False | Passed | |
5fea53eaeff3077a1d9b279638586b5e76a4436b |
TLC with reduction strategy:
|
BagBagIn | Def2 | True | Passed | |
458da1721d6ee2a3eaec7c2609cb0f7753154822 |
TLC with reduction strategy:
|
BagBagIn | Def2 | False | Passed | |
7798261dbc9d2b76288dc6e8f1d9e979521a60fd |
TLC with reduction strategy:
|
BagBagIn | LetDef2 | True | Passed | |
fbba94ddb84014f36358c492ec973f4152f44679 |
TLC with reduction strategy:
|
BagBagIn | LetDef2 | False | Passed | |
c8f6a49e39b980b57d6d875b683117978da1d71e |
TLC with reduction strategy:
|
BagBagIn | Def1Recursive | True | Passed | |
6c01977d9da3c9a70da2bf40ddeb3431bcb9de49 |
TLC with reduction strategy:
|
BagBagIn | Def1Recursive | False | Passed | |
bc2916c77bb83d14292891fefd4766355d6866fd |
TLC with reduction strategy:
|
BagBagIn | LetDef1Recursive | True | Passed | |
c0bdf6ff881d70fd80c1508be7b153cc2f5ab096 |
TLC with reduction strategy:
|
BagBagIn | LetDef1Recursive | False | Passed | |
353cca80504fd9d90c7991b05655f40e50c40ee5 |
TLC with reduction strategy:
|
BagBagIn | Extends | True | Passed | |
1595f333758cc9c6789e02e3cc9f14e801cd14c8 |
TLC with reduction strategy:
|
BagBagIn | Extends | False | Passed | |
de9f2fdba87fbf990e3a1418679cb9120194dd15 |
TLC with reduction strategy:
|
BagBagIn | ExtendsInDifferentFolder | True | Passed | |
a06f620b20d423795140da9c75b5e67820ca6b0a |
TLC with reduction strategy:
|
BagBagIn | ExtendsInDifferentFolder | False | Passed | |
2bf1d339f75f9824c28c41135f3ce75b90c2fb4d |
TLC with reduction strategy:
|
BagBagIn | Variable | True | Passed | |
6db8cfc080e0704c81c326167ff308d97b534802 |
TLC with reduction strategy:
|
BagBagIn | Variable | False | Passed | |
fc913a95b025675f26ad62f79702e3bc04540033 |
TLC with reduction strategy:
|
BagBagIn | Constant | True | Passed | |
33464c6ee058c1088bd59dd8ed6a14587202960f |
TLC with reduction strategy:
|
BagBagIn | Constant | False | Passed | |
b545ebbb2cae38915e58bb0063ecca3b7cd4e9c7 |
TLC with reduction strategy:
|
BagBagIn | ConstantRank1 | True | Passed | |
d04265d923bec0a04f7ada267defdee6278542ee |
TLC with reduction strategy:
|
BagBagIn | ConstantRank1 | False | Passed | |
3993a05b00bd4948001a3107575b2d0fc3ade3e4 |
TLC with reduction strategy:
|
BagBagIn | Instance | True | Passed | |
068143a9cf1e58fa61061c3b711642a64c2e578d |
TLC with reduction strategy:
|
BagBagIn | Instance | False | Passed | |
ca47cc16f72cda9809ad3477894cd4564951423c |
TLC with reduction strategy:
|
BagBagIn | InstanceWith | True | Passed | |
7a3dd2d3a4d460c1f8031e10fd1126ccfba424bc |
TLC with reduction strategy:
|
BagBagIn | InstanceWith | False | Passed | |
82bb2488f721d26719a6e1c00bb10b6a03f055c1 |
TLC with reduction strategy:
|
BagBagIn | InstanceNamed | True | Passed | |
ce65a56d625e22b6a0e2388d99ad96fbb19745ec |
TLC with reduction strategy:
|
BagBagIn | InstanceNamed | False | Passed | |
dcadba4f1a18fe702645239d30b6bed006fa5910 |
TLC with reduction strategy:
|
BagBagIn | InstanceNamedWith | True | Passed | |
849a7a748e43463e2486d1abfc36343b57919a39 |
TLC with reduction strategy:
|
BagBagIn | InstanceNamedWith | False | Passed | |
e62ff9bf1689c01800d2c8ea331d4b7cccbf2630 |
TLC with reduction strategy:
|
BagBagIn | InstanceInFolder | True | Passed | |
8bf50048fbd8195cf355749718d12def95c94b87 |
TLC with reduction strategy:
|
BagBagIn | InstanceInFolder | False | Passed | |
238659b514165bd1be1dc04a73bc60dd620249b9 |
TLC with reduction strategy:
|
BagBagIn | InstanceWithInFolder | True | Passed | |
c9ed1ea76a3ddf1e8bfa80dcb1950640c11beeab |
TLC with reduction strategy:
|
BagBagIn | InstanceWithInFolder | False | Passed | |
ad87f8eebcd495bf026c707a35ec5bf0cd725080 |
TLC with reduction strategy:
|
BagBagIn | InstanceNamedInFolder | True | Passed | |
7849955d4a2d8a2214876192669beb9c655c4db2 |
TLC with reduction strategy:
|
BagBagIn | InstanceNamedInFolder | False | Passed | |
42dc24b9b13708f657a07a07b8218ac5f2f20ac7 |
TLC with reduction strategy:
|
BagBagIn | InstanceNamedWithInFolder | True | Passed | |
2a92836e52c789ac20e8de9e63e3310c5110ab6b |
TLC with reduction strategy:
|
BagBagIn | InstanceNamedWithInFolder | False | Passed | |
b0044ab4754272510535571f0d30a82af07fc3be |
TLC with reduction strategy:
|
BagBagIn | Enabled | True | Passed | |
2eb92347ab1e62499c7d338c4e18d146d0d7be3e |
TLC with reduction strategy:
|
BagBagIn | Enabled | False | Passed | |
7089f3cbfc5584627b4d6c3edd91e62392f6fa74 |
TLC with reduction strategy:
|
BagBagIn | Cross2 | True | Passed | |
570c94e764e5b98d482730624d5c1bb9a053091f |
TLC with reduction strategy:
|
BagBagIn | Cross2 | False | Passed | |
abb7efea4cbdc17fe6a623c6392ce263b037494b |
TLC with reduction strategy:
|
BagBagIn | Cross3 | True | Passed | |
7c249ee66d9bf2aa1d9df4f08fbdf2c01968b4d1 |
TLC with reduction strategy:
|
BagBagIn | Cross3 | False | Passed | |
e818a276349736c8ecbe99318b0ea400b6dccec4 |
TLC with reduction strategy:
|
BagBagIn | FunSet | True | Passed | |
a5cd3cfc8ab1cafea59fe57540464f35b3ff29bd |
TLC with reduction strategy:
|
BagBagIn | FunSet | False | Passed | |
ac9f378c81d703be62cfcb830e023541b79dcc37 |
TLC with reduction strategy:
|
BagBagIn | RecordSet | True | Passed | |
820868ebe1576cb463ef15a16959e8118bdd8f20 |
TLC with reduction strategy:
|
BagBagIn | RecordSet | False | Passed | |
8301dbffb30e163c5367ab4be7239c924bb5f31f |
TLC with reduction strategy:
|
BagBagIn | SetDiff | True | Passed | |
2989cb6c8e91fb9277ef20d0ca6f75c5f6eafbe9 |
TLC with reduction strategy:
|
BagBagIn | SetDiff | False | Passed | |
dd56d224d7f947bdd8b7de3b5b9e73ffb661f9df |
TLC with reduction strategy:
|
BagBagIn | SetUnion | True | Passed | |
ec99ab5a9e6e51238ec49ca5d30402c961890943 |
TLC with reduction strategy:
|
BagBagIn | SetUnion | False | Passed | |
a3d153cbbbd121081fbb7e9d929336028a8892ca |
TLC with reduction strategy:
|
BagBagIn | SetIntersect | True | Passed | |
56c2f8861e407b4bf165f7862e41facba81b171b |
TLC with reduction strategy:
|
BagBagIn | SetIntersect | False | Passed | |
35451b1f8c94c1f57325757ace499b4cb92af2e5 |
TLC with reduction strategy:
|
BagBagIn | SubsetEq | True | Passed | |
555338d97046f5a091e70d45de6e05ca9a861d60 |
TLC with reduction strategy:
|
BagBagIn | SubsetEq | False | Passed | |
ae3416e64f8ca71ec938d052380ffbb400126a27 |
TLC with reduction strategy:
|
BagBagIn | IfCond | True | Passed | |
7b9b4486b4389e3768a94279bcc9c3da7ebac20d |
TLC with reduction strategy:
|
BagBagIn | IfCond | False | Passed | |
065a9ae68f675617dec0037b893eef6787e182e1 |
TLC with reduction strategy:
|
BagBagIn | IfThen | True | Passed | |
90fe222f22f95d3153d7751950ee731fc86d08de |
TLC with reduction strategy:
|
BagBagIn | IfThen | False | Passed | |
63b8b7bbe34d1a04c6930759e633618170772164 |
TLC with reduction strategy:
|
BagBagIn | IfElse | True | Passed | |
abf2c2da7611a7d30b97369b872696ad66de4577 |
TLC with reduction strategy:
|
BagBagIn | IfElse | False | Passed | |
407e219d089d92e9f5b71f22f47668705eae03a4 |
TLC with reduction strategy:
|
BagBagIn | Subset | True | Passed | |
657623b9e4a626ba9b7317b713169cd43461e403 |
TLC with reduction strategy:
|
BagBagIn | Subset | False | Passed | |
dcf72fa1e5a37f97d0cdeb0f6aea8c7e6b58dd6c |
TLC with reduction strategy:
|
BagBagIn | Domain | True | Passed | |
3dfef1841910413f73e6a6660c203161add8ff25 |
TLC with reduction strategy:
|
BagBagIn | Domain | False | Passed | |
38ddd9819bbe9260a1e15d6a9e11f8735f877002 |
TLC with reduction strategy:
|
BagBagIn | Union | True | Passed | |
0aa64e17779b90aaaf4561a1e7629424cd5182fa |
TLC with reduction strategy:
|
BagBagIn | Union | False | Passed | |
fb8534be1b5de8c3dbf5b078138137fc6955bf00 |
TLC with reduction strategy:
|
BagBagIn | Unchanged | True | Passed | |
6551721a601a4da7ff45bfc312ea1b2dc035e232 |
TLC with reduction strategy:
|
BagBagIn | Unchanged | False | Passed | |
708408233e1602c719e53c1fdb266da5ac7435ca |
TLC with reduction strategy:
|
BagBagIn | Equivalence | True | Passed | |
c831282616819a727be3dc71be6c53abdc1b2784 |
TLC with reduction strategy:
|
BagBagIn | Equivalence | False | Passed | |
b489525a3c062672310a8b2d6b4455d17b3abbe1 |
TLC with reduction strategy:
|
BagBagIn | StringEmpty | True | Passed | |
4674764281a8afe1fe53a8800a956350a9791c47 |
TLC with reduction strategy:
|
BagBagIn | StringEmpty | False | Passed | |
59dd79fec8747836e2f990a15b065a758f54e2ef |
TLC with reduction strategy:
|
BagBagIn | String | True | Passed | |
f5dbf7006d2ded1b40716741caff4ff7ed1f3b01 |
TLC with reduction strategy:
|
BagBagIn | String | False | Passed | |
fc7ff1a1895e79f673125792530118ab2d7caead |
TLC with reduction strategy:
|
BagBagIn | SeqLen | True | Passed | |
c960a14c7437ddd119117a1c159791a509e76eda |
TLC with reduction strategy:
|
BagBagIn | SeqLen | False | Passed | |
13f6da9d1c30310a4e394f7209be89ecfeaea505 |
TLC with reduction strategy:
|
BagBagIn | SeqConcat | True | Passed | |
44e1e9b13e8649cbe38abe5c68fb9e9ae64f86ab |
TLC with reduction strategy:
|
BagBagIn | SeqConcat | False | Passed | |
cd264f9b65e45854077979b71c1bb57a1c22cb2d |
TLC with reduction strategy:
|
BagBagIn | SeqSelectSeq | True | Passed | |
2103bd00a1e0cf9a3017048bd0e5c31896115bb4 |
TLC with reduction strategy:
|
BagBagIn | SeqSelectSeq | False | Passed | |
88ee89dac0cb24cc54ccc667d54be8cc6996ec87 |
TLC with reduction strategy:
|
BagBagIn | SeqSubSeq | True | Passed | |
2e22b4fda727283f7579a263291815858d41680a |
TLC with reduction strategy:
|
BagBagIn | SeqSubSeq | False | Passed | |
68cf44e39f9bafa726835fa485091c3dd0d55751 |
TLC with reduction strategy:
|
BagBagIn | NumRange | True | Passed | |
47ce6c10a1989bc0c9748cfd4310ff2b72c2c3cd |
TLC with reduction strategy:
|
BagBagIn | NumRange | False | Passed | |
e3a571e80d319e27349a24358b549dd6d809280c |
TLC with reduction strategy:
|
BagBagIn | TlcSingletonFun | True | Passed | |
01d623f2f4ae0a8df68bfa5f4e58433a415e37bb |
TLC with reduction strategy:
|
BagBagIn | TlcSingletonFun | False | Passed | |
7af21094c59afda691cde4769a5c083b5f1c5488 |
TLC with reduction strategy:
|
BagBagIn | TlcExtendFun | True | Passed | |
6679637175da34378efdca1f4d213ef6f0587423 |
TLC with reduction strategy:
|
BagBagIn | TlcExtendFun | False | Passed | |
52b203c8a41b5819788eef0d63a80952fd69823d |
TLC with reduction strategy:
|
BagBagIn | TlcPermuteFun | True | Passed | |
8a5c473bb426e7f530539a2a81f48df8f6713dd0 |
TLC with reduction strategy:
|
BagBagIn | TlcPermuteFun | False | Passed | |
ef478fb2aabb25347dabb8571e71c42df7d75a06 |
TLC with reduction strategy:
|
BagBagIn | TlcSortSeq | True | Passed | |
a658cbc8942ed6b96efde3df752ab3a8ddf974f1 |
TLC with reduction strategy:
|
BagBagIn | TlcSortSeq | False | Passed | |
63c7f26aa1f8567f6e4b4fb2f662ee8bdf8323cd |
TLC with reduction strategy:
|
BagBagIn | TlcEval | True | Passed | |
3a77a550fc0292f2b7fcd7a9df03f6dad02ad3c6 |
TLC with reduction strategy:
|
BagBagIn | TlcEval | False | Passed | |
eecb51737e23a2d08ed2e999ff16d828dac0d46f |
TLC with reduction strategy:
|
BagBagIn | BagBagToSet | True | Passed | |
be1e1a3bd84f061eb1c0d380155a83f512002cc5 |
TLC with reduction strategy:
|
BagBagIn | BagBagToSet | False | Passed | |
5fcb29fc25e71f964142719e3e16ee35c84a5e6f |
TLC with reduction strategy:
|
BagBagIn | BagSetToBag | True | Passed | |
ada9cda599b3c09631117bd252a9145c7a659f79 |
TLC with reduction strategy:
|
BagBagIn | BagSetToBag | False | Passed | |
af584821bc3d3c0b5d1835ecfb50c5b43e0abe8c |
TLC with reduction strategy:
|
BagBagIn | BagBagIn | True | Passed | |
30d906e52db6f8e75735345efcba5a87205cc4f0 |
TLC with reduction strategy:
|
BagBagIn | BagBagIn | False | Passed | |
9e2339d0e644cabd33ff3de9235fa8b2e6c10c25 |
TLC with reduction strategy:
|
BagBagIn | BagEmptyBag | True | Passed | |
bb4dddb6df1cdf3faf81b7c9c9b5047ea59503a0 |
TLC with reduction strategy:
|
BagBagIn | BagEmptyBag | False | Passed | |
c7c6cbb1650cc1610f21412a37e4729da748e320 |
TLC with reduction strategy:
|
BagBagIn | BagAddBag | True | Passed | |
fe8b314691c1ac3060c57a436b225eb2cab3146a |
TLC with reduction strategy:
|
BagBagIn | BagAddBag | False | Passed | |
dae98916ffb69faa03c8b3c8b05463d4df57491d |
TLC with reduction strategy:
|
BagBagIn | BagBagSub | True | Passed | |
d213140d4559425ca0380b9b205f4b663fadf277 |
TLC with reduction strategy:
|
BagBagIn | BagBagSub | False | Passed | |
7dda397bd59e223bd69f72a47016b9b5479d5173 |
TLC with reduction strategy:
|
BagBagIn | BagCopiesIn | True | Passed | |
2d46d9f2b3b8908c928a1d7f18d8c2d19283a6cd |
TLC with reduction strategy:
|
BagBagIn | BagCopiesIn | False | Passed | |
ae5fd82349d52f32364302be108eaf3c52b03a94 |
TLC with reduction strategy:
|
BagBagIn | BagSubsetEqBag | True | Passed | |
b21649198f0abb11d08b7f7b1fa723efa25bd6f6 |
TLC with reduction strategy:
|
BagBagIn | BagSubsetEqBag | False | Passed | |
b1eb0ee29af0d193b5a719fb6a33524aed577545 |
TLC with reduction strategy:
|
BagBagIn | BagBagUnion | True | Passed | |
c3a2919e1ae2b8c5f444e441bb3b87ce14ec1c24 |
TLC with reduction strategy:
|
BagBagIn | BagBagUnion | False | Passed | |
4d58ec70e5159eaf1883143123f613de2e2547f1 |
TLC with reduction strategy:
|
BagBagIn | BagBagCardinality | True | Passed | |
073cd0a01803e8d4ed2dcd606f5e2ace8b2794c9 |
TLC with reduction strategy:
|
BagBagIn | BagBagCardinality | False | Passed | |
f325f8e134b80cfdc4336a28a2efa6b23a5f3981 |
TLC with reduction strategy:
|
BagBagIn | BagBagOfAll | True | Passed | |
51742a8182a7a407e6be9d2c23fef8e20f0560c7 |
TLC with reduction strategy:
|
BagBagIn | BagBagOfAll | False | Passed | |
2d9451f713d7efcf498a569f32ec7526f7605fd7 |
TLC with reduction strategy:
|
BagBagIn | BagSubBag | True | Passed | |
1832981e3983ecec20d88fe721761cb66ff9b163 |
TLC with reduction strategy:
|
BagBagIn | BagSubBag | False | Passed | |
00a33f3682cfe181d1ac86785639614aceea8c93 |
TLC with reduction strategy:
|
BagBagIn | FiniteSetsIsFiniteSet | True | Passed | |
8915cd8c4555d99c7e28e0c5e97d5880812f74ae |
TLC with reduction strategy:
|
BagBagIn | FiniteSetsIsFiniteSet | False | Passed | |
8f036533a185775852fafb06c99e872f209e8d33 |
TLC with reduction strategy:
|
BagBagIn | FiniteSetsCardinality | True | Passed | |
41b0fb46ff4cec8dc3621a556416e90cdcc4d99a |
TLC with reduction strategy:
|
BagBagIn | FiniteSetsCardinality | False | Passed | |
72ca7f0224ee09432cd507f247fa9e895d97073e |
TLC with reduction strategy:
|
BagBagIn | SeqHead | True | Passed | |
b205687f65ba50bd764ca120b6a6c3435df9222c |
TLC with reduction strategy:
|
BagBagIn | SeqHead | False | Passed | |
7e421634754d357eeb25fc8ae5ed9757650db2f8 |
TLC with reduction strategy:
|
BagBagIn | SeqTail | True | Passed | |
50815ce0b95a2dc06485e3c4f993a2b8ec97073b |
TLC with reduction strategy:
|
BagBagIn | SeqTail | False | Passed | |
34ed197dca7ee2b79c4f15f1e0f983f2858fd72a |
TLC with reduction strategy:
|
BagBagIn | SeqAppend | True | Passed | |
71e543834b82c4b18e4f48d7536462969a9fe10c |
TLC with reduction strategy:
|
BagBagIn | SeqAppend | False | Passed |