Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
8051a0f895c00a4aadb530ba40b18ae02597e868 |
TLC with reduction strategy:
|
Eq | NumPow | True | Passed | |
066f0ac6940417a3f69fa139f8f93e9888ba8f90 |
TLC with reduction strategy:
|
Eq | NumPow | False | Passed | |
1b040e69af7cc62b662b5540efcf1c131ff65ab9 |
TLC with reduction strategy:
|
Ne | NumPow | True | Passed | |
d055229b6da5940e22846130d26695dbef767451 |
TLC with reduction strategy:
|
Ne | NumPow | False | Passed | |
a4246960e58c996cc335f6e4c56fb415ae756101 |
TLC with reduction strategy:
|
Let | NumPow | True | Passed | |
82158b2afeb73ad2ea01c3e24780955498d0cad3 |
TLC with reduction strategy:
|
Let | NumPow | False | Passed | |
54dce7cd208799c9e325893819d11d5b8091eae1 |
TLC with reduction strategy:
|
Set0 | NumPow | True | Passed | |
3c00b6b45db461b05dc1074ad69641cc26d457ef |
TLC with reduction strategy:
|
Set0 | NumPow | False | Passed | |
e1d7d2ca7bcf7b79cb01393c06bed97883af0b51 |
TLC with reduction strategy:
|
Set1 | NumPow | True | Passed | |
9ee9973c2e63caac65e6bbfe04b52fe96a3dc669 |
TLC with reduction strategy:
|
Set1 | NumPow | False | Passed | |
228d5b6fa94c496660475d2808b92ac9740f56a9 |
TLC with reduction strategy:
|
Set2 | NumPow | True | Passed | |
d82b892a98bc3c6d1124d6c463ffa54eab5a7164 |
TLC with reduction strategy:
|
Set2 | NumPow | False | Passed | |
a289b4dbb61edf952dbdc0b04105311138fb15c8 |
TLC with reduction strategy:
|
Fun | NumPow | True | Passed | |
06b1395d42cbe0d178a6758acf8336f2c210bc66 |
TLC with reduction strategy:
|
Fun | NumPow | False | Passed | |
4dbdc73ac501ee16fa32e739929f0d8a15b0f50b |
TLC with reduction strategy:
|
In | NumPow | True | Passed | |
25a505c4ebd29e20cfad2ff51709064d8c7b53e7 |
TLC with reduction strategy:
|
In | NumPow | False | Passed | |
cc12932d4688798184b34a630d39ff2403b55275 |
TLC with reduction strategy:
|
NotIn | NumPow | True | Passed | |
45f4bb26ef9b82d534188abc5b39dcc19c0f598e |
TLC with reduction strategy:
|
NotIn | NumPow | False | Passed | |
d563e88023d080282201936023ba6c6c76a932ed |
TLC with reduction strategy:
|
Record | NumPow | True | Passed | |
2c677c67944ba9838d9d70890aa8aa5a51b29a51 |
TLC with reduction strategy:
|
Record | NumPow | False | Passed | |
98879070d6992af4573a33eb98df7a2da8b8ebde |
TLC with reduction strategy:
|
Tuple | NumPow | True | Passed | |
6d8c72dd1d302548324abe407090463ca30a8493 |
TLC with reduction strategy:
|
Tuple | NumPow | False | Passed | |
ff50489492f259b4e1059c9f4ba684ba84eee1da |
TLC with reduction strategy:
|
FunApp | NumPow | True | Passed | |
8f539bc5bd58e968db1eaef0548ebe54c96263c8 |
TLC with reduction strategy:
|
FunApp | NumPow | False | Passed | |
6e333db67b364a9b43a50705b87010cdefd13380 |
TLC with reduction strategy:
|
Except1Fun | NumPow | True | Passed | |
6531049f3d9287079201565dc512e79521ee6f78 |
TLC with reduction strategy:
|
Except1Fun | NumPow | False | Passed | |
dce5a4f26d4f8b9ab730dbca2af996f0e12bd106 |
TLC with reduction strategy:
|
Except1FunWithAt | NumPow | True | Passed | |
15b78b548e8086dde534d46f2ae44e803b12b3fc |
TLC with reduction strategy:
|
Except1FunWithAt | NumPow | False | Passed | |
3403583157ef02aa0067fe785f5c4cd75cb1b2cd |
TLC with reduction strategy:
|
Except1Rec | NumPow | True | Passed | |
fd1d6776083748c92e7e91424601518f63b132d7 |
TLC with reduction strategy:
|
Except1Rec | NumPow | False | Passed | |
3631066fbc9e89d8f6f4c47e196bffffaed7662c |
TLC with reduction strategy:
|
Except1RecWithAt | NumPow | True | Passed | |
107f5f0c5fd9a715506e639ec6603785006ec583 |
TLC with reduction strategy:
|
Except1RecWithAt | NumPow | False | Passed | |
acb26be47834a8428d4e613019a387a651fd1eeb |
TLC with reduction strategy:
|
Except2Fun | NumPow | True | Passed | |
d6231a024459b9d7d710380f9681b06b486dd01b |
TLC with reduction strategy:
|
Except2Fun | NumPow | False | Passed | |
fb3c4350231ee64ea8855499917fcb7535d1aa2d |
TLC with reduction strategy:
|
Prime | NumPow | True | Passed | |
a79d7596cbf64514c717d2010e8b8de2d7807737 |
TLC with reduction strategy:
|
Prime | NumPow | False | Passed | |
b8b5f89e8e16dbf1a0ef4e1d300c864f21daf1a9 |
TLC with reduction strategy:
|
NumUnaryMinus | NumPow | True | Passed | |
95e3b10693b21b7921f447287548aff56a955922 |
TLC with reduction strategy:
|
NumUnaryMinus | NumPow | False | Passed | |
165720833dc41b66959fa60dd4c7688f84e63942 |
TLC with reduction strategy:
|
NumPlus | NumPow | True | Passed | |
90848c1d0c500f3f26f209f99a4fbbeee3d9e413 |
TLC with reduction strategy:
|
NumPlus | NumPow | False | Passed | |
a5f1cb2891f2df9883f11edc49bb52ce229ba77f |
TLC with reduction strategy:
|
NumMinus | NumPow | True | Passed | |
4958dadb601fe4987a05549fad86c4ab7d385f94 |
TLC with reduction strategy:
|
NumMinus | NumPow | False | Passed | |
b60cf7f217a3760e2dff59559ace05542570f26f |
TLC with reduction strategy:
|
NumMul | NumPow | True | Passed | |
bb4040985c9ff9b213283e689709ccd9ccfe3a82 |
TLC with reduction strategy:
|
NumMul | NumPow | False | Passed | |
acba502b3fb71b2950387288347651bfa4a3d12d |
TLC with reduction strategy:
|
NumDiv | NumPow | True | Passed | |
82e9b82e22cf59dcb2da2c2992b12171aff18bc0 |
TLC with reduction strategy:
|
NumDiv | NumPow | False | Passed | |
281ad30c9fed6e0aa7451a11b2606f9120ae5f2b |
TLC with reduction strategy:
|
NumMod | NumPow | True | Passed | |
d56e0325bf7fd2970d9e57b09c98cc29b80489c1 |
TLC with reduction strategy:
|
NumMod | NumPow | False | Passed | |
9f6497cc47b96d8609240b779d62aca01abc1828 |
TLC with reduction strategy:
|
NumPow | NumPow | True | Passed | |
93834a87cc6b11c7228dc66b438feca9df95b51b |
TLC with reduction strategy:
|
NumPow | NumPow | False | Passed | |
bb228c8c03ea9be981b17df67002965b5b915e94 |
TLC with reduction strategy:
|
NumGt | NumPow | True | Passed | |
a957e90e6cd1fbf0a3c00e8eb56b430eded7a127 |
TLC with reduction strategy:
|
NumGt | NumPow | False | Passed | |
4fcd712b93fe3d264805ba5a6deded5b2d1dcb01 |
TLC with reduction strategy:
|
NumGe | NumPow | True | Passed | |
dcdd7def10b89328fddc3004503326315c682fb0 |
TLC with reduction strategy:
|
NumGe | NumPow | False | Passed | |
39c81d249093479e7746abe6ca41d8651d477085 |
TLC with reduction strategy:
|
NumLt | NumPow | True | Passed | |
56b9c25e08c1910b5c11d3bc49f6968f9bd34cd7 |
TLC with reduction strategy:
|
NumLt | NumPow | False | Passed | |
17d587993f393f189fc534480c12768b257b7539 |
TLC with reduction strategy:
|
NumLe | NumPow | True | Passed | |
1332a4f445bf4df36790af5e37515ebea0ced99f |
TLC with reduction strategy:
|
NumLe | NumPow | False | Passed | |
eef944ef5513f5f72012d61a511b262217d0a3d7 |
TLC with reduction strategy:
|
DefFun | NumPow | True | Passed | |
1cf4f239596eceeaabe5597fa48dc36aed8c4010 |
TLC with reduction strategy:
|
DefFun | NumPow | False | Passed | |
717e09c479c260dcd51245a59b6d006dcbf4fc2d |
TLC with reduction strategy:
|
LetDefFun | NumPow | True | Passed | |
08bd32d46e2fb778127f1b5fa91a27f6ed775740 |
TLC with reduction strategy:
|
LetDefFun | NumPow | False | Passed | |
e855262f4c9b997ef5c8963c12201b2da8f7a32b |
TLC with reduction strategy:
|
DefFunRecursive | NumPow | True | Passed | |
2629963b2b6c4a2ae9e2b7748b33fc01d85febb5 |
TLC with reduction strategy:
|
DefFunRecursive | NumPow | False | Passed | |
77f1fc2d988c80672defdf0564c966a4591ee742 |
TLC with reduction strategy:
|
LetDefFunRecursive | NumPow | True | Passed | |
51ea55b117bbffe48071477859e52207d23dc050 |
TLC with reduction strategy:
|
LetDefFunRecursive | NumPow | False | Passed | |
710095c886e0ce913ed79f3a03b0a46c48adb1a2 |
TLC with reduction strategy:
|
Def0 | NumPow | True | Passed | |
7d45cd32d779831a4b0538223da3a3b106509a40 |
TLC with reduction strategy:
|
Def0 | NumPow | False | Passed | |
1d3a97c229b6bbfe65630ebcb99e25fd6c6bfb71 |
TLC with reduction strategy:
|
LetDef0 | NumPow | True | Passed | |
f299bf3d5bda20b580376c9bd1ecbcfce54f50e5 |
TLC with reduction strategy:
|
LetDef0 | NumPow | False | Passed | |
a85bdd6fac8bd2b74a77a148296548e45eebd435 |
TLC with reduction strategy:
|
Def1 | NumPow | True | Passed | |
ff0e44a2e756d3d9a999b5115e80898a7010626b |
TLC with reduction strategy:
|
Def1 | NumPow | False | Passed | |
e65584f4e4ea7d453d93934abeb69866d544844e |
TLC with reduction strategy:
|
LetDef1 | NumPow | True | Passed | |
a2cd45d2b1b43916351b7dc117c535c16aeedebd |
TLC with reduction strategy:
|
LetDef1 | NumPow | False | Passed | |
210ab25d6f84c3c3dc8aeca9d693c0a9620f1845 |
TLC with reduction strategy:
|
Def2 | NumPow | True | Passed | |
92fa56b83b56a96a27fa0b30ff54280e4f108153 |
TLC with reduction strategy:
|
Def2 | NumPow | False | Passed | |
2602cfeab16bdb36ae6bb910c359f212a647fcf6 |
TLC with reduction strategy:
|
LetDef2 | NumPow | True | Passed | |
60e68431e4cb4cbf7d8584c1daa8e9ee32b1bd50 |
TLC with reduction strategy:
|
LetDef2 | NumPow | False | Passed | |
4fd3b9d2d808bbe0e4f0876d39195598a06943a4 |
TLC with reduction strategy:
|
Def1Recursive | NumPow | True | Passed | |
d2d78d3dbe56759a9e866bcd3770ccb3e4d4b524 |
TLC with reduction strategy:
|
Def1Recursive | NumPow | False | Passed | |
aef958f74f3c51ee0a8ec9bf8cd9c78f713fde3b |
TLC with reduction strategy:
|
LetDef1Recursive | NumPow | True | Passed | |
95aa3ad190855bb32a989aae3e7bcf4568485bd2 |
TLC with reduction strategy:
|
LetDef1Recursive | NumPow | False | Passed | |
f4f3e9e4fb4b301c4c1f3abb2243724c8f987280 |
TLC with reduction strategy:
|
Extends | NumPow | True | Passed | |
c2e706d25fba63a26e799148876b5540b1a2fcd7 |
TLC with reduction strategy:
|
Extends | NumPow | False | Passed | |
6906b2820781fb76ed2c6c4b90a44085de61e8c2 |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | NumPow | True | Passed | |
81316d584812a26ec3046091010937d6c0d39921 |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | NumPow | False | Passed | |
387cab789eb7c40e88f502cb3b7428f171dfa29c |
TLC with reduction strategy:
|
Variable | NumPow | True | Passed | |
aa2a21a54c4f748ee2bb35c41dd47c7e94a33486 |
TLC with reduction strategy:
|
Variable | NumPow | False | Passed | |
6426b0c21d58421b4a32da1c50bcd1810dc92803 |
TLC with reduction strategy:
|
VariableViewExclude | NumPow | True | Passed | |
4c7f63c741cdb3b8beeae383d289e7759b004803 |
TLC with reduction strategy:
|
VariableViewExclude | NumPow | False | Passed | |
a27af366fa9845d14083de1907c3063e15c46cf3 |
TLC with reduction strategy:
|
Constant | NumPow | True | Passed | |
3eeed1ce298fa5da1a14a5f13d64f3e0f17e4059 |
TLC with reduction strategy:
|
Constant | NumPow | False | Passed | |
d8d40662a7f3376dd491dfc35e579758a29a6fcf |
TLC with reduction strategy:
|
ConstantRank1 | NumPow | True | Passed | |
d245e395fe6e75891f94ac343a08e86f82345ef0 |
TLC with reduction strategy:
|
ConstantRank1 | NumPow | False | Passed | |
592e51e60d7c9fa6b42c003dc10d490f1b11d8c6 |
TLC with reduction strategy:
|
Instance | NumPow | True | Passed | |
08780762fed2a5bcc4a1745ad29ab5d4cf688f26 |
TLC with reduction strategy:
|
Instance | NumPow | False | Passed | |
2c2196372195e191fbe608ba8599f67d080ef44d |
TLC with reduction strategy:
|
InstanceWith | NumPow | True | Passed | |
02df4ea3e2d2c5a78dc128ea520173660f17ae0f |
TLC with reduction strategy:
|
InstanceWith | NumPow | False | Passed | |
e1a3d506ef2799fa28be80714f52a886613bf66d |
TLC with reduction strategy:
|
InstanceNamed | NumPow | True | Passed | |
b851b4ff86853f4704d5cde7e3d07394c89aacd3 |
TLC with reduction strategy:
|
InstanceNamed | NumPow | False | Passed | |
5d60f348f89dd1818063e79c71a7b79d2acae02d |
TLC with reduction strategy:
|
InstanceNamedWith | NumPow | True | Passed | |
ab6b3680e70565d87c247aec85f790222642af08 |
TLC with reduction strategy:
|
InstanceNamedWith | NumPow | False | Passed | |
40e2dfd1babe6399af51743bf6289847e29132b5 |
TLC with reduction strategy:
|
InstanceInFolder | NumPow | True | Passed | |
92856778cb9b4478e010e6d90158831e67e56783 |
TLC with reduction strategy:
|
InstanceInFolder | NumPow | False | Passed | |
914c727de66490ec00d49baa4ad8767032badbce |
TLC with reduction strategy:
|
InstanceWithInFolder | NumPow | True | Passed | |
060ca571e625633bccee5e42a7d71cbe079ba710 |
TLC with reduction strategy:
|
InstanceWithInFolder | NumPow | False | Passed | |
9255934d73c9cc4f20c3ca23f81b275a67c128ce |
TLC with reduction strategy:
|
InstanceNamedInFolder | NumPow | True | Passed | |
2dba346a812823cd631ea8481d38e5836e39c6c3 |
TLC with reduction strategy:
|
InstanceNamedInFolder | NumPow | False | Passed | |
d70ba13f1d8f1a247d05c395db0c70b00e66644e |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | NumPow | True | Passed | |
309a3f1872bf2224c639df60665aaf9885ef3480 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | NumPow | False | Passed | |
9d66eaeb9c38c31c199f7b17951f9b840f95efc7 |
TLC with reduction strategy:
|
Lambda | NumPow | True | Passed | |
2cdf21ef6e3bb6080707dd106732188cb70cece0 |
TLC with reduction strategy:
|
Lambda | NumPow | False | Passed | |
43174d0a071f386c598df12cd3561202931f8781 |
TLC with reduction strategy:
|
IfThen | NumPow | True | Passed | |
8303a7a34cdde05af74c865d9300910b02f317bb |
TLC with reduction strategy:
|
IfThen | NumPow | False | Passed | |
47a3d8899d5b6020fe96a55a40258ff027dd833c |
TLC with reduction strategy:
|
IfElse | NumPow | True | Passed | |
b6d0f1fa119c03cb592c82625ff9dc506c7aafca |
TLC with reduction strategy:
|
IfElse | NumPow | False | Passed | |
8b249e526166c88d698424ab284d708ff328e7d2 |
TLC with reduction strategy:
|
Unchanged | NumPow | True | Passed | |
bf2ce533ba713b61045870490ac7b7a1fd7f9361 |
TLC with reduction strategy:
|
Unchanged | NumPow | False | Passed | |
aa1678f7506f4cda027b0b2bb26d1419eeb897a2 |
TLC with reduction strategy:
|
SeqSubSeq | NumPow | True | Passed | |
d4598f472d498ac425f1b51072b09b672ef615fc |
TLC with reduction strategy:
|
SeqSubSeq | NumPow | False | Passed | |
207961261d37e9db1e3f2b5422fc673e67eb2905 |
TLC with reduction strategy:
|
NumRange | NumPow | True | Passed | |
22405fed7e9aaca4916c83bc78bf3bb75f2a810f |
TLC with reduction strategy:
|
NumRange | NumPow | False | Passed | |
1a808f6ca9f008d77e684e57067c3b153ef736c6 |
TLC with reduction strategy:
|
TlcSingletonFun | NumPow | True | Passed | |
7db6310026bc3be620aa518eca03e9f3f0ffe8bb |
TLC with reduction strategy:
|
TlcSingletonFun | NumPow | False | Passed | |
6f8c458869e4a06475f2c3f75e3f7fdbcd1a8f01 |
TLC with reduction strategy:
|
TlcEval | NumPow | True | Passed | |
a26b4f6b57bb90af12db4796c55b45c564fdcc17 |
TLC with reduction strategy:
|
TlcEval | NumPow | False | Passed | |
f041bf432b7aa36c342394cc489434ce056cced4 |
TLC with reduction strategy:
|
BagBagIn | NumPow | True | Passed | |
370b29c69741aa163e8dfaaf326551abb4471060 |
TLC with reduction strategy:
|
BagBagIn | NumPow | False | Passed | |
7ea801aa6b10359e8eccdc41bd0859df6b722097 |
TLC with reduction strategy:
|
BagCopiesIn | NumPow | True | Passed | |
6590e504bccf2fd131c0cbef8676b365d055d208 |
TLC with reduction strategy:
|
BagCopiesIn | NumPow | False | Passed | |
280a4224b0bdaf39ae3e073f42aead5de02404f0 |
TLC with reduction strategy:
|
SeqAppend | NumPow | True | Passed | |
293cbcbe287ac30acbc556045e0a2aa1451ae757 |
TLC with reduction strategy:
|
SeqAppend | NumPow | False | Passed |