Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
cfd58327eb48943af64af9f78090afe14f5979e8 |
TLC with reduction strategy:
|
Eq | Cross3 | True | Passed | |
e02581c36bca3a2e4d18d1ae9748d48bde66bf24 |
TLC with reduction strategy:
|
Eq | Cross3 | False | Passed | |
08e10230ee2ce61881e77361c8bdac9a06e99349 |
TLC with reduction strategy:
|
Ne | Cross3 | True | Passed | |
be91370c17ea58a66ce17b051f512416631640e9 |
TLC with reduction strategy:
|
Ne | Cross3 | False | Passed | |
3d383f0309ecc0d31d4452a6f8921b67bf50535b |
TLC with reduction strategy:
|
Let | Cross3 | True | Passed | |
4d4d0932ccb6904efafc805320e4847d98496e93 |
TLC with reduction strategy:
|
Let | Cross3 | False | Passed | |
4a195ac898f99ac21e61db1f0e16c81f411fec8f |
TLC with reduction strategy:
|
Set0 | Cross3 | True | Passed | |
9e44724876cc26a679dbfac92d041ce15b5c5aca |
TLC with reduction strategy:
|
Set0 | Cross3 | False | Passed | |
8d77fc87429092f9a228a068ddda2ad23351d6ac |
TLC with reduction strategy:
|
Set1 | Cross3 | True | Passed | |
80a5f94e764902f60ee1ed73ce3c1adf2f08883d |
TLC with reduction strategy:
|
Set1 | Cross3 | False | Passed | |
d0c01ba84e21303efc2320696a4de2480b272221 |
TLC with reduction strategy:
|
Set2 | Cross3 | True | Passed | |
fc089cf0a64eacc612666a1187f01e26002997e0 |
TLC with reduction strategy:
|
Set2 | Cross3 | False | Passed | |
2e680f7cf249d02529cd7942eef90431dfa77737 |
TLC with reduction strategy:
|
Fun | Cross3 | True | Passed | |
6b7293f80b254f885c2fb12ef89cfbba2ad64f9e |
TLC with reduction strategy:
|
Fun | Cross3 | False | Passed | |
2e7e5f9957128992f3c29ccafff62dc4a9387a94 |
TLC with reduction strategy:
|
In | Cross3 | True | Passed | |
c20c07ca8ca5ff3a98155e59a89cf09c89c0d587 |
TLC with reduction strategy:
|
In | Cross3 | False | Passed | |
7fcec1e3b33262b71901e875f59e3660d453bc21 |
TLC with reduction strategy:
|
NotIn | Cross3 | True | Passed | |
61be6d62ad4e768225a55f07c2be5c00a2568224 |
TLC with reduction strategy:
|
NotIn | Cross3 | False | Passed | |
47d2a086af6d0a11071d9702a5970bcd82b4fe52 |
TLC with reduction strategy:
|
Record | Cross3 | True | Passed | |
1fa19d25b68b3c9534db3e9cfe98c0ab1a0d0376 |
TLC with reduction strategy:
|
Record | Cross3 | False | Passed | |
e9f087fb2a146a57333520403d8f6cc669092cdd |
TLC with reduction strategy:
|
Tuple | Cross3 | True | Passed | |
2ce7987be700fde5779648005e20bedf1103c3c4 |
TLC with reduction strategy:
|
Tuple | Cross3 | False | Passed | |
990535dce5926e298449d673eefdc3ca6c8b896e |
TLC with reduction strategy:
|
FunApp | Cross3 | True | Passed | |
a796bc982e7b5a1875aa96a08e445e69d22b7867 |
TLC with reduction strategy:
|
FunApp | Cross3 | False | Passed | |
fe262f53269da1f315bd0693a02eacde5c966472 |
TLC with reduction strategy:
|
Except1Fun | Cross3 | True | Passed | |
b1851a5cd5f6c6bab0dbfab7dc7daf530cf9f45e |
TLC with reduction strategy:
|
Except1Fun | Cross3 | False | Passed | |
801f6c8521d5ff153bfff5f3d160113dd32fbbf7 |
TLC with reduction strategy:
|
Except1FunWithAt | Cross3 | True | Passed | |
f78b37a4d29b8b72675ff5f96524c398c06324d3 |
TLC with reduction strategy:
|
Except1FunWithAt | Cross3 | False | Passed | |
2da62a1feb0994c7575d9674df7a643dc3e8c988 |
TLC with reduction strategy:
|
Except1Rec | Cross3 | True | Passed | |
6f0d9a2110c16f1040514dde5937a6258f915bc7 |
TLC with reduction strategy:
|
Except1Rec | Cross3 | False | Passed | |
0a610603ed926c2436cf4cc7f95e3923649999f0 |
TLC with reduction strategy:
|
Except1RecWithAt | Cross3 | True | Passed | |
1cc80f3c0efceee81b718469611ae6fea65e1e9b |
TLC with reduction strategy:
|
Except1RecWithAt | Cross3 | False | Passed | |
dd1071e49a4a7ae19d3c229ff94ae5db61aa6e87 |
TLC with reduction strategy:
|
Except2Fun | Cross3 | True | Passed | |
85cd06918daa33c960dbae447c9789274fc28560 |
TLC with reduction strategy:
|
Except2Fun | Cross3 | False | Passed | |
078edf80afa33dd959375cd8c3248e896301cc15 |
TLC with reduction strategy:
|
Prime | Cross3 | True | Passed | |
d594a686d326b3b96a4e27777d9425015d36aaab |
TLC with reduction strategy:
|
Prime | Cross3 | False | Passed | |
e6965a31482c40e210ca0ca768c23466929ad36c |
TLC with reduction strategy:
|
DefFun | Cross3 | True | Passed | |
afdbd629be64649e7e954df311c16fe370629ef8 |
TLC with reduction strategy:
|
DefFun | Cross3 | False | Passed | |
18c972b66687088e3dc8407f2ad1132a35360af8 |
TLC with reduction strategy:
|
LetDefFun | Cross3 | True | Passed | |
2a6ea087841301d3015ed6fdacac7606120166f4 |
TLC with reduction strategy:
|
LetDefFun | Cross3 | False | Passed | |
707662a24b5f3b89a6bf75bc52f93d3deeeda01d |
TLC with reduction strategy:
|
DefFunRecursive | Cross3 | True | Passed | |
933177dc373f578f1c51bfa9c4ac2c6f029aed5c |
TLC with reduction strategy:
|
DefFunRecursive | Cross3 | False | Passed | |
56237231d78cc2342d6f45faeb84128fd57a2910 |
TLC with reduction strategy:
|
LetDefFunRecursive | Cross3 | True | Passed | |
e8cbc52625ef0188d9c102a5a1a0d0e6a005c345 |
TLC with reduction strategy:
|
LetDefFunRecursive | Cross3 | False | Passed | |
b209952a7df6d7378c53bc02a3fcffb1ea847265 |
TLC with reduction strategy:
|
Def0 | Cross3 | True | Passed | |
cb6af4587fe0165abdb69a9020147432ee49470d |
TLC with reduction strategy:
|
Def0 | Cross3 | False | Passed | |
b60fc3b8c8b2325b948d34423dc12a97ce76885e |
TLC with reduction strategy:
|
LetDef0 | Cross3 | True | Passed | |
56131ad1d61e8f53bcd8adcef862807cf0a8874f |
TLC with reduction strategy:
|
LetDef0 | Cross3 | False | Passed | |
fad2041acf58fd312c52cbedce7a26feb690dd35 |
TLC with reduction strategy:
|
Def1 | Cross3 | True | Passed | |
6bd39d72a070f2135cb4fe35036e85de2c722b12 |
TLC with reduction strategy:
|
Def1 | Cross3 | False | Passed | |
2e40f1b019203e2a2b83a6e983fc39a42402cf29 |
TLC with reduction strategy:
|
LetDef1 | Cross3 | True | Passed | |
14cbc7292ddd4ec362d41e3f807bb8fb5b26a164 |
TLC with reduction strategy:
|
LetDef1 | Cross3 | False | Passed | |
1d2f73f4ef8719625ff379ecceb9c2f05a0d0b3e |
TLC with reduction strategy:
|
Def2 | Cross3 | True | Passed | |
fa4ea0c259f723b98030455fa3a928627818c6ce |
TLC with reduction strategy:
|
Def2 | Cross3 | False | Passed | |
e65fd39de1a3d6ce55f31509b610860097943250 |
TLC with reduction strategy:
|
LetDef2 | Cross3 | True | Passed | |
c2ee9da1766ab339393f01aa021f3fdc016077e8 |
TLC with reduction strategy:
|
LetDef2 | Cross3 | False | Passed | |
83c2eadb784311fe208add49aa0e19abb48757df |
TLC with reduction strategy:
|
Def1Recursive | Cross3 | True | Passed | |
6adc4913df9f55110806ff441c88761659f40ee7 |
TLC with reduction strategy:
|
Def1Recursive | Cross3 | False | Passed | |
aea4e0c52804f0aff71c05e5e3ad84e2666f9273 |
TLC with reduction strategy:
|
LetDef1Recursive | Cross3 | True | Passed | |
d6131bd6c40e7b07431319a803206bc21358be46 |
TLC with reduction strategy:
|
LetDef1Recursive | Cross3 | False | Passed | |
770af5931963a34667ce19aafcebe29bad3c7117 |
TLC with reduction strategy:
|
Extends | Cross3 | True | Passed | |
703ff370315be98b2a096bdc86382f319801faf5 |
TLC with reduction strategy:
|
Extends | Cross3 | False | Passed | |
d21fd4ad53ee3a572657fa4b5cfbcea299648c92 |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | Cross3 | True | Passed | |
fd16c3d945d6e690c4ece3e91580dfb106074716 |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | Cross3 | False | Passed | |
9ffe7255430870e16329323e2c9ba43fefab4d6e |
TLC with reduction strategy:
|
Variable | Cross3 | True | Passed | |
91a388064c5b27e4425671d01ed31ab5bc9f42bb |
TLC with reduction strategy:
|
Variable | Cross3 | False | Passed | |
acde55c4fa264964742bedbf90cf1f3ce8565f20 |
TLC with reduction strategy:
|
VariableViewExclude | Cross3 | True | Passed | |
7a2e0c667290a069ed856b21edcc4a85079302b8 |
TLC with reduction strategy:
|
VariableViewExclude | Cross3 | False | Passed | |
e2b2979c532b6ae5c3491c34ed598969484f020b |
TLC with reduction strategy:
|
Constant | Cross3 | True | Passed | |
0c5df502cafcc833199b04948917a6f9f13b7e00 |
TLC with reduction strategy:
|
Constant | Cross3 | False | Passed | |
8cd5d6d94d3506ba4f51ea3242e8f11fcf279c88 |
TLC with reduction strategy:
|
ConstantRank1 | Cross3 | True | Passed | |
ec7d8263c85e320468bc28f25e87d33a690190b6 |
TLC with reduction strategy:
|
ConstantRank1 | Cross3 | False | Passed | |
2e2f680b4d2de003e93f83c2c48dcb7b6de4356f |
TLC with reduction strategy:
|
Instance | Cross3 | True | Passed | |
4963a76e96789f22de9dadb83a489d8b98d4cbb9 |
TLC with reduction strategy:
|
Instance | Cross3 | False | Passed | |
50446ffc3ee040d9235e4b3e5892dbf9ed130c92 |
TLC with reduction strategy:
|
InstanceWith | Cross3 | True | Passed | |
d45d2fd316b27d07e14e17f15ffc946b9ee1e2dd |
TLC with reduction strategy:
|
InstanceWith | Cross3 | False | Passed | |
2715915900ab5ab6ca78c48d95023f3311478177 |
TLC with reduction strategy:
|
InstanceNamed | Cross3 | True | Passed | |
b2d22ebe7bf134e3e72076614aeaa204d6b106eb |
TLC with reduction strategy:
|
InstanceNamed | Cross3 | False | Passed | |
099fba635a3141bb6d115b74fa6974de18c8b427 |
TLC with reduction strategy:
|
InstanceNamedWith | Cross3 | True | Passed | |
bb6b8fe9fac65bdb9a181412cb94cdbefbf59e50 |
TLC with reduction strategy:
|
InstanceNamedWith | Cross3 | False | Passed | |
cc09568460eda037c30cb78fbd412d431da7d170 |
TLC with reduction strategy:
|
InstanceInFolder | Cross3 | True | Passed | |
bc0a242d8d36110757b71cb7c7593da419f1c781 |
TLC with reduction strategy:
|
InstanceInFolder | Cross3 | False | Passed | |
3a43192de469bb2359075be39b9f9ec659eb5fab |
TLC with reduction strategy:
|
InstanceWithInFolder | Cross3 | True | Passed | |
ebd36a4bb5c1423b32a8ef559ef58134ee96b616 |
TLC with reduction strategy:
|
InstanceWithInFolder | Cross3 | False | Passed | |
08ceb88a87bf34ffb3bd790e63c7eba83e58cd81 |
TLC with reduction strategy:
|
InstanceNamedInFolder | Cross3 | True | Passed | |
3bcd96f4f480d496bdd0e82a222f799091a46e4e |
TLC with reduction strategy:
|
InstanceNamedInFolder | Cross3 | False | Passed | |
5845da539448d6bcb20fe2fc46657b869db174c9 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | Cross3 | True | Passed | |
6fd7162a74e8a7c7ab333420165e4626d41d1448 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | Cross3 | False | Passed | |
f0821510c8c45bf34307c10794d20abdbd1b21e2 |
TLC with reduction strategy:
|
Lambda | Cross3 | True | Passed | |
15e62180156872994c3f34a57e16cbfdc69ab7a7 |
TLC with reduction strategy:
|
Lambda | Cross3 | False | Passed | |
e2f92e67484b58c5e5a69b15a670f86c863c79a0 |
TLC with reduction strategy:
|
Cross2 | Cross3 | True | Passed | |
8e46995df0df98bf7125c29a535afe63fb284b53 |
TLC with reduction strategy:
|
Cross2 | Cross3 | False | Passed | |
2731f2cf3b28ccc6163d991d095818e9a4f72c59 |
TLC with reduction strategy:
|
Cross3 | Cross3 | True | Passed | |
084f46f80bbfbe9a50e687d7f4ace3f25ea9e427 |
TLC with reduction strategy:
|
Cross3 | Cross3 | False | Passed | |
77c0a710a760d4fadef882919ca360c885e95070 |
TLC with reduction strategy:
|
FunSet | Cross3 | True | Passed | |
2d03efc39f9e052b3b88cebd593e8be9ff9f3751 |
TLC with reduction strategy:
|
FunSet | Cross3 | False | Passed | |
9901694bb803ca4e5fa9065f46d3877f4b2205f1 |
TLC with reduction strategy:
|
RecordSet | Cross3 | True | Passed | |
9e128928555809f2e2eeeda7abbaddbf0453154b |
TLC with reduction strategy:
|
RecordSet | Cross3 | False | Passed | |
a1ceb3a6a6a33991bd51d400c5da44ce26eacd15 |
TLC with reduction strategy:
|
SetDiff | Cross3 | True | Passed | |
cc2cb3851bbadb896f78a9672030c625399283cb |
TLC with reduction strategy:
|
SetDiff | Cross3 | False | Passed | |
0093062e1e08d217fad451573c45b32a074cb751 |
TLC with reduction strategy:
|
SetUnion | Cross3 | True | Passed | |
5aeaed3c527e3c4f5e3835f9ab64be6fea99096e |
TLC with reduction strategy:
|
SetUnion | Cross3 | False | Passed | |
11de3a032a1faa60f48384b835d04ab75622095e |
TLC with reduction strategy:
|
SetIntersect | Cross3 | True | Passed | |
60fbdccb62d3a5a26f6e3d79fe6f41933acf8291 |
TLC with reduction strategy:
|
SetIntersect | Cross3 | False | Passed | |
bb90555cb1fc04bcf3cdb052288f2726844bfd5f |
TLC with reduction strategy:
|
SubsetEq | Cross3 | True | Passed | |
921dc868c41433a330d1469550b00e009390a76a |
TLC with reduction strategy:
|
SubsetEq | Cross3 | False | Passed | |
b135e2a241de51d9c52959f24f40a607c4613ddf |
TLC with reduction strategy:
|
IfThen | Cross3 | True | Passed | |
992871945706234ccf88d877a020591d28551b1b |
TLC with reduction strategy:
|
IfThen | Cross3 | False | Passed | |
8f43ec62d9f061c2dee6c1339e9f6151849b35d3 |
TLC with reduction strategy:
|
IfElse | Cross3 | True | Passed | |
d13ec826932e39578eb432b412a0bb8f8bbb4423 |
TLC with reduction strategy:
|
IfElse | Cross3 | False | Passed | |
c25860b3134cd24a22922ad36874f4cfab0b6885 |
TLC with reduction strategy:
|
Subset | Cross3 | True | Passed | |
00d0ea0b657f43a188d6a44217aa18dfe162ec58 |
TLC with reduction strategy:
|
Subset | Cross3 | False | Passed | |
483e6209fefc6712afcc57a662cc3e1380c3d805 |
TLC with reduction strategy:
|
Unchanged | Cross3 | True | Passed | |
44e70dd74aa7a8cbf9d151c60be71ab3c0a64e4a |
TLC with reduction strategy:
|
Unchanged | Cross3 | False | Passed | |
4c566d5e21aca21ab6c890028875b3a44f6db7d7 |
TLC with reduction strategy:
|
SeqSeq | Cross3 | True | Passed | |
c5c6d3d056b56f3c3a15398a26bb5d989c48c8a8 |
TLC with reduction strategy:
|
SeqSeq | Cross3 | False | Passed | |
d7af84f8da28bbb76aa251b3e4ee0b853f55b999 |
TLC with reduction strategy:
|
TlcSingletonFun | Cross3 | True | Passed | |
fbdd812870951a132e27a565434c7c7a5bf97bed |
TLC with reduction strategy:
|
TlcSingletonFun | Cross3 | False | Passed | |
fc5bb7bf894c74b732770c2d80fe3ae327c6fe4b |
TLC with reduction strategy:
|
TlcPermuteFun | Cross3 | True | Passed | |
d64125fda9dedc4c12d38a98e00ea52bc73b4487 |
TLC with reduction strategy:
|
TlcPermuteFun | Cross3 | False | Passed | |
80ce644985f43832738cdf2ceb13ca416f50ac3c |
TLC with reduction strategy:
|
TlcEval | Cross3 | True | Passed | |
030e7304c1ce04dd8e0ea2aab62b16cd5d98371c |
TLC with reduction strategy:
|
TlcEval | Cross3 | False | Passed | |
7fa542afd3848e429bf109cdb938d10db265403d |
TLC with reduction strategy:
|
BagSetToBag | Cross3 | True | Passed | |
cbc175a8a7db91845a423d407eca09b62a2a7630 |
TLC with reduction strategy:
|
BagSetToBag | Cross3 | False | Passed | |
abb7efea4cbdc17fe6a623c6392ce263b037494b |
TLC with reduction strategy:
|
BagBagIn | Cross3 | True | Passed | |
7c249ee66d9bf2aa1d9df4f08fbdf2c01968b4d1 |
TLC with reduction strategy:
|
BagBagIn | Cross3 | False | Passed | |
50759fce2907f370beb54313608e4e5dc30d9f3b |
TLC with reduction strategy:
|
BagCopiesIn | Cross3 | True | Passed | |
8f80452a52e0e01325ac6ea397bc95ee97640427 |
TLC with reduction strategy:
|
BagCopiesIn | Cross3 | False | Passed | |
02609e73c68dd1b3064f10e7e0a2dbffc0261ef7 |
TLC with reduction strategy:
|
FiniteSetsIsFiniteSet | Cross3 | True | Passed | |
6048321bd6ae89c565ce76e7cd96137d92ad939f |
TLC with reduction strategy:
|
FiniteSetsIsFiniteSet | Cross3 | False | Passed | |
c02e481c0ee27ce9daf63ff4fce0ae72157fe9a3 |
TLC with reduction strategy:
|
FiniteSetsCardinality | Cross3 | True | Passed | |
d7b900bc340af8ff2058174d220400aa5ea8f40e |
TLC with reduction strategy:
|
FiniteSetsCardinality | Cross3 | False | Passed | |
222b64ed5253b3ef3a591faf28cbacfa07f22c0c |
TLC with reduction strategy:
|
SeqAppend | Cross3 | True | Passed | |
ba173f39eae4d3878f1dfe7569405dbc71572186 |
TLC with reduction strategy:
|
SeqAppend | Cross3 | False | Passed |