Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
a019496af405a62efaca789b722c7b4f37024b4d |
TLC with reduction strategy:
|
Eq | Fun | True | Passed | |
23b298f29233181cae99b989af493301e34f0d7d |
TLC with reduction strategy:
|
Eq | Fun | False | Passed | |
e1907fadb8908ac8a373c535571a3b3ae0de13ae |
TLC with reduction strategy:
|
Ne | Fun | True | Passed | |
7109bba737da1191d7ea5c005cf5757a27b528c3 |
TLC with reduction strategy:
|
Ne | Fun | False | Passed | |
ddfe157c88928dfd476ca6a216247f4aa0868040 |
TLC with reduction strategy:
|
Let | Fun | True | Passed | |
23d587542e613dfffafb9411b9abb86e7c226708 |
TLC with reduction strategy:
|
Let | Fun | False | Passed | |
7298838f0104767836dd5e9c59e0776ad0aed436 |
TLC with reduction strategy:
|
Set0 | Fun | True | Passed | |
1804a0be7dbe0bbea75170b542421d8795ffddc8 |
TLC with reduction strategy:
|
Set0 | Fun | False | Passed | |
442db6cb0c3764d3376abbcd23f795c335907efb |
TLC with reduction strategy:
|
Set1 | Fun | True | Passed | |
f0252a3d45e933265fdc71d7d771a97243287447 |
TLC with reduction strategy:
|
Set1 | Fun | False | Passed | |
91dcdbec58b33e6c5913f907e656fca20f9f7c5f |
TLC with reduction strategy:
|
Set2 | Fun | True | Passed | |
28aaaa79429862e2bab36c4094496b793fce5828 |
TLC with reduction strategy:
|
Set2 | Fun | False | Passed | |
4b199b58ef7f17c9d059fbaeb9a89aba353b76a3 |
TLC with reduction strategy:
|
Fun | Fun | True | Passed | |
e51d91db908f5f4a36886dcabd4389d1c98d371a |
TLC with reduction strategy:
|
Fun | Fun | False | Passed | |
d4f8b99afa5b901eafcedb69e0500bf8c5c655ff |
TLC with reduction strategy:
|
In | Fun | True | Passed | |
8437a10bd9cc4dba50ee11c9c692577cf359ccc5 |
TLC with reduction strategy:
|
In | Fun | False | Passed | |
35a17ad33412781ea3dd13eddc20178072832c90 |
TLC with reduction strategy:
|
NotIn | Fun | True | Passed | |
a68338257ee17fce32cf921f966f7349616d0bce |
TLC with reduction strategy:
|
NotIn | Fun | False | Passed | |
c0588e5b059a17554e6614328f7b0876eda45ae9 |
TLC with reduction strategy:
|
Record | Fun | True | Passed | |
be708f8c52e90350ec6de839e24a1334b44f3573 |
TLC with reduction strategy:
|
Record | Fun | False | Passed | |
9e37242d364df36db6441622d21b0fa6cdda3b43 |
TLC with reduction strategy:
|
Tuple | Fun | True | Passed | |
5f79d38805d88ee44893806ba312c4137b9faa9b |
TLC with reduction strategy:
|
Tuple | Fun | False | Passed | |
53c13d3b77ab1ef548610aa10530c96435a16fa6 |
TLC with reduction strategy:
|
FunApp | Fun | True | Passed | |
0477374a06cf8eee4f6d4bdf80885e953ef5961d |
TLC with reduction strategy:
|
FunApp | Fun | False | Passed | |
dc669953f1de89575e678510748bdd1c9d49c9ed |
TLC with reduction strategy:
|
Except0 | Fun | True | Passed | |
a0d6575356794e4884ab0ae4d50a2bfe199c184e |
TLC with reduction strategy:
|
Except0 | Fun | False | Passed | |
93779a51483d3290e6d23bb6dd9faedd7c245054 |
TLC with reduction strategy:
|
Except1Fun | Fun | True | Passed | |
2aa96597db2cd4d2a839818a94c9975c8b3923fc |
TLC with reduction strategy:
|
Except1Fun | Fun | False | Passed | |
94f2fe513bc09c37760bd9fa53bc471243ba33dc |
TLC with reduction strategy:
|
Except1FunWithAt | Fun | True | Passed | |
322aed41f72f403345579d85d9d50c3c2b9eda4e |
TLC with reduction strategy:
|
Except1FunWithAt | Fun | False | Passed | |
7c72ecfdbca33118f35bcca80c6c47792e7b9b05 |
TLC with reduction strategy:
|
Except1Rec | Fun | True | Passed | |
edfe35fe3b69166ddab9c20589cd403f7ca3eb67 |
TLC with reduction strategy:
|
Except1Rec | Fun | False | Passed | |
70c4b535eee082e2da8b69308e5e043278d87b7b |
TLC with reduction strategy:
|
Except1RecWithAt | Fun | True | Passed | |
7ed06a177acc902567b83763f6c91b833a0394ca |
TLC with reduction strategy:
|
Except1RecWithAt | Fun | False | Passed | |
bda96a4f7a45239db798b7d7171b9f3cb2607104 |
TLC with reduction strategy:
|
Except2Fun | Fun | True | Passed | |
0545db4e82543268c9b35d8c65f991a43139f76d |
TLC with reduction strategy:
|
Except2Fun | Fun | False | Passed | |
8e46aa4819d3b4265684311799c66ef36cd69f2c |
TLC with reduction strategy:
|
Prime | Fun | True | Passed | |
f4054f39fad5b29b88615557e0034f6ef8e4cf52 |
TLC with reduction strategy:
|
Prime | Fun | False | Passed | |
4f4509e6dee198c4b02b09e7052b2129bdd7c1cd |
TLC with reduction strategy:
|
DefFun | Fun | True | Passed | |
7ced1697701491f740b2de2c3b93596937638103 |
TLC with reduction strategy:
|
DefFun | Fun | False | Passed | |
651f4ffb1a1cf76a7be59fcb067f7835b06f36c7 |
TLC with reduction strategy:
|
LetDefFun | Fun | True | Passed | |
0972cd708740c9226ba979fcc21d3c66d76c3143 |
TLC with reduction strategy:
|
LetDefFun | Fun | False | Passed | |
2504b3286db0d61b665ac32a38cfbadbf44b8092 |
TLC with reduction strategy:
|
DefFunRecursive | Fun | True | Passed | |
dddc2f42f1bff4642028b65bc6d5c3ddd4d59f33 |
TLC with reduction strategy:
|
DefFunRecursive | Fun | False | Passed | |
21cc29ee1d62c8ccdf979a1dc3c1f65e727fb61b |
TLC with reduction strategy:
|
LetDefFunRecursive | Fun | True | Passed | |
173a6f078b9eff33efb477948652dab79697acee |
TLC with reduction strategy:
|
LetDefFunRecursive | Fun | False | Passed | |
5b67aef8caafe6cf878e1f6afc8d82909c785645 |
TLC with reduction strategy:
|
Def0 | Fun | True | Passed | |
35ae530226f9426f7c6cfa434019044a00010cd2 |
TLC with reduction strategy:
|
Def0 | Fun | False | Passed | |
8a278ce82ab2d3a0170361a695dcc18c32270175 |
TLC with reduction strategy:
|
LetDef0 | Fun | True | Passed | |
ecea59149d3e89501be578e1c472c2b283225570 |
TLC with reduction strategy:
|
LetDef0 | Fun | False | Passed | |
e1506e730cd8320a7ba7778c702a3c2ce2924760 |
TLC with reduction strategy:
|
Def1 | Fun | True | Passed | |
cdbfa2f501d71b1d98ef0349e853708e624ca53d |
TLC with reduction strategy:
|
Def1 | Fun | False | Passed | |
70bb7a5c5c94e326f7ac8907357358e80edd2dca |
TLC with reduction strategy:
|
LetDef1 | Fun | True | Passed | |
26e29dc5a0c730351c38803f92cac1fecebca0c1 |
TLC with reduction strategy:
|
LetDef1 | Fun | False | Passed | |
e52a297a472de04b6768ba962f4fa3b421ba58cd |
TLC with reduction strategy:
|
Def2 | Fun | True | Passed | |
2d1ded449b25a766ed43094d58f0552408cc1fa3 |
TLC with reduction strategy:
|
Def2 | Fun | False | Passed | |
62578929b44b861ce2d3891dfbfcb1a5fda0233c |
TLC with reduction strategy:
|
LetDef2 | Fun | True | Passed | |
fd044100ce75962df5d8fece91dd778340f42856 |
TLC with reduction strategy:
|
LetDef2 | Fun | False | Passed | |
f4cdffc249baf997db1d1b8d3911674847a2e841 |
TLC with reduction strategy:
|
Def1Recursive | Fun | True | Passed | |
a301675bebe797c5a7da1b6e1cbd31ec31284903 |
TLC with reduction strategy:
|
Def1Recursive | Fun | False | Passed | |
809fcaaf59aa4918b78bb60dc8902ed27b4ad2f4 |
TLC with reduction strategy:
|
LetDef1Recursive | Fun | True | Passed | |
a5f3a6e891357bc381611d186ef8acbbc0d08cc2 |
TLC with reduction strategy:
|
LetDef1Recursive | Fun | False | Passed | |
5cca66c6d4379d19a9d9f396dca284175924cba4 |
TLC with reduction strategy:
|
Extends | Fun | True | Passed | |
9ba8ed6bfe298690a41b404aa1b3d705aea86a0c |
TLC with reduction strategy:
|
Extends | Fun | False | Passed | |
1dacb21272478ca121309b4ce8efd7ccce1396fd |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | Fun | True | Passed | |
6414bf1b45cdec3c611b6a53a53a6d699aa8823c |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | Fun | False | Passed | |
e48fb479f0e6917f328a1c0cde90baa329a8903d |
TLC with reduction strategy:
|
Variable | Fun | True | Passed | |
158dcc4f25064ef32d8915af612e8d3583300034 |
TLC with reduction strategy:
|
Variable | Fun | False | Passed | |
19204a2ab573684c3e4d30c4514736e822a37172 |
TLC with reduction strategy:
|
VariableViewExclude | Fun | True | Passed | |
60b5f446ef399549460801973351d3d3584948e4 |
TLC with reduction strategy:
|
VariableViewExclude | Fun | False | Passed | |
cb25769c5e206820a63f292ea6d80514208304c1 |
TLC with reduction strategy:
|
Constant | Fun | True | Passed | |
62c7820971c935fdeb505a3e864714b918c98882 |
TLC with reduction strategy:
|
Constant | Fun | False | Passed | |
a191916be9660bd4a115be3cd91f29fc3bc7bdd9 |
TLC with reduction strategy:
|
ConstantRank1 | Fun | True | Passed | |
1b17ee357f13bbe9cae142c5439c77f6ccfaaf05 |
TLC with reduction strategy:
|
ConstantRank1 | Fun | False | Passed | |
317d674371d68431cdf93e7d705a85167c0f2986 |
TLC with reduction strategy:
|
Instance | Fun | True | Passed | |
6b500efd76a38c1a6f94bd747c4f99aff28b6f9d |
TLC with reduction strategy:
|
Instance | Fun | False | Passed | |
6f41f24e9bf3e13f125b0c23f388391e5b8b555d |
TLC with reduction strategy:
|
InstanceWith | Fun | True | Passed | |
507f6b9d4c09612c3aa61b0a8ee0e4f1d472cae2 |
TLC with reduction strategy:
|
InstanceWith | Fun | False | Passed | |
45207f39b0f6b6bdaa1d2a07546343d84a5bf4d7 |
TLC with reduction strategy:
|
InstanceNamed | Fun | True | Passed | |
b061169afbadda187e0c0e0cc23e9ccc06512c74 |
TLC with reduction strategy:
|
InstanceNamed | Fun | False | Passed | |
5b2e215b2e28975288ef42f638a1dac7495789e0 |
TLC with reduction strategy:
|
InstanceNamedWith | Fun | True | Passed | |
fe1f2656f13549130608b40848de5054904e3153 |
TLC with reduction strategy:
|
InstanceNamedWith | Fun | False | Passed | |
48fa15c88b6894c6309722530646f5b8dab843bb |
TLC with reduction strategy:
|
InstanceInFolder | Fun | True | Passed | |
34494b905b12d0329bc4d3982d954df2e6cd4a0b |
TLC with reduction strategy:
|
InstanceInFolder | Fun | False | Passed | |
0c02d49896a9548c58bd35e5106591c14edb7a17 |
TLC with reduction strategy:
|
InstanceWithInFolder | Fun | True | Passed | |
aee38b19680a9f212503ef2d4757a55ad24348db |
TLC with reduction strategy:
|
InstanceWithInFolder | Fun | False | Passed | |
a89f9806fe04c68b7632900c013902c7dfc2d7f7 |
TLC with reduction strategy:
|
InstanceNamedInFolder | Fun | True | Passed | |
393508c9c0cce5c3188f11fc8f792eb2d0fc39d8 |
TLC with reduction strategy:
|
InstanceNamedInFolder | Fun | False | Passed | |
02ce767985a5943745967412643ca29c08a1a958 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | Fun | True | Passed | |
5ccd095a411bc7c6dca87845ef2c5c3418d78f13 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | Fun | False | Passed | |
e25d6e55d6c0efb758eec007d7f89c3fa923b5db |
TLC with reduction strategy:
|
Lambda | Fun | True | Passed | |
5d0a6c85acf5c944436d7decc162a6efe6677b48 |
TLC with reduction strategy:
|
Lambda | Fun | False | Passed | |
b883b4745b9d27cff10ac38ee2440ce936349092 |
TLC with reduction strategy:
|
IfThen | Fun | True | Passed | |
c2e3479ef5bdee9b516ec88b755df6f800502f43 |
TLC with reduction strategy:
|
IfThen | Fun | False | Passed | |
2ccc6c398fcf3add5a8427c59e36e0e0b5261d88 |
TLC with reduction strategy:
|
IfElse | Fun | True | Passed | |
1be65f88d9da1b8eb25a234c0f39ea8e6dbf6ba1 |
TLC with reduction strategy:
|
IfElse | Fun | False | Passed | |
5b779f6067af6e61ffcd03be28a98b553210d5a2 |
TLC with reduction strategy:
|
Domain | Fun | True | Passed | |
88873b8709ec7b6721407a9b211af016044a7a77 |
TLC with reduction strategy:
|
Domain | Fun | False | Passed | |
cf444d5a6323a1c484f2646d8f21925b213abf15 |
TLC with reduction strategy:
|
Unchanged | Fun | True | Passed | |
628b3ce2f7b4254865a045bdd8539b071b023962 |
TLC with reduction strategy:
|
Unchanged | Fun | False | Passed | |
087414218373cb9a65e2ec748605e673d26601c8 |
TLC with reduction strategy:
|
TlcSingletonFun | Fun | True | Passed | |
53341a8ea436f4f2b90dce9a55cecfdeb5ce7620 |
TLC with reduction strategy:
|
TlcSingletonFun | Fun | False | Passed | |
59659cd44f008d83f4588edf04f7d8ad0fff11c3 |
TLC with reduction strategy:
|
TlcExtendFun | Fun | True | Passed | |
33ce58909aae82464b763a0cbbe550bc94990c0d |
TLC with reduction strategy:
|
TlcExtendFun | Fun | False | Passed | |
a834fc91195f39efebf719a293040a3a461937d7 |
TLC with reduction strategy:
|
TlcEval | Fun | True | Passed | |
12a78e36f76e671e576b70bb19cbe3b07e7c17a0 |
TLC with reduction strategy:
|
TlcEval | Fun | False | Passed | |
f9129065d6080b2a1a10370a9f14ccad231afc0d |
TLC with reduction strategy:
|
BagBagIn | Fun | True | Passed | |
b05f74e4e36e79ba0a57cab806a5ca54ad755952 |
TLC with reduction strategy:
|
BagBagIn | Fun | False | Passed | |
773f6f705a0db1b37d1ba25b4f3e8267a0b51a7c |
TLC with reduction strategy:
|
BagCopiesIn | Fun | True | Passed | |
ac5f5a80dc90a4a9f3faabe3a721ab5ceff819bc |
TLC with reduction strategy:
|
BagCopiesIn | Fun | False | Passed | |
4f93acb34c1750befc776243909c07db328f13b3 |
TLC with reduction strategy:
|
SeqAppend | Fun | True | Passed | |
75afad43daff78ecb37b70a9c5cff40bdf229652 |
TLC with reduction strategy:
|
SeqAppend | Fun | False | Passed |