Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
749d9b72aa06488161e6e26f822cf3edba69add3 |
TLC with reduction strategy:
|
And | Eq | True | Passed | |
7589ab97b94f90ee63dae943f2733c7971b8a3fa |
TLC with reduction strategy:
|
And | Eq | False | Passed | |
83c8413bed34d74317c328658331e45e5ee45aa1 |
TLC with reduction strategy:
|
AndMultiLine | Eq | True | Passed | |
c86619f194c01ee25813b7dba183fa281880f63d |
TLC with reduction strategy:
|
AndMultiLine | Eq | False | Passed | |
2a4b52d9f46928d93e85ee2179f9d25e43e1d640 |
TLC with reduction strategy:
|
Imply | Eq | True | Passed | |
81d1dd2bac21b372ff6724601e61148765cf6748 |
TLC with reduction strategy:
|
Imply | Eq | False | Passed | |
6dd95ece3e14552377027b64c00d08a3b9a48f0f |
TLC with reduction strategy:
|
Not | Eq | True | Passed | |
ddefb7e4c7e3e0ca770b4e46d22caeb76940bb2d |
TLC with reduction strategy:
|
Not | Eq | False | Passed | |
a3a4aca1e44590a2415e180a5679a51ad3a9384f |
TLC with reduction strategy:
|
Or | Eq | True | Passed | |
1ffc3865acdfc3f60ddea635e008deadf6f85e0a |
TLC with reduction strategy:
|
Or | Eq | False | Passed | |
5e02cf3e06b04ec02a0bceedfe144321674be7ef |
TLC with reduction strategy:
|
OrMultiLine | Eq | True | Passed | |
152c9e4be828ffcee457ab23b0f3dfb33cd46d8d |
TLC with reduction strategy:
|
OrMultiLine | Eq | False | Passed | |
2ec20b6e662b7f714e5fcb06a2a138b5b7995987 |
TLC with reduction strategy:
|
AndProp | Eq | True | Passed | |
168e41e0e8f7b078f716857ec7313ce7a40d3000 |
TLC with reduction strategy:
|
AndProp | Eq | False | Passed | |
1f4961c2917388c9a6eef51e1af748d611edb6ee |
TLC with reduction strategy:
|
Boxed | Eq | True | Passed | |
4a7b473ba6f6231a2628a776508e34a3958bb08f |
TLC with reduction strategy:
|
Boxed | Eq | False | Passed | |
38c0151a450e76cb7c8b38634b40ca960e007da5 |
TLC with reduction strategy:
|
Eq | Eq | True | Passed | |
23d3f0f07ee6b20e7a712296d85814ec7a00e187 |
TLC with reduction strategy:
|
Eq | Eq | False | Passed | |
1c3e82c86ab953afd57b52952bf8b71e56b1d113 |
TLC with reduction strategy:
|
Ne | Eq | True | Passed | |
c0fcb5f764bbddc972ca7588bfa2071a0a1efb5b |
TLC with reduction strategy:
|
Ne | Eq | False | Passed | |
bfbe0ad7ae8ef8fbdda86eb05d69069cf7cd1089 |
TLC with reduction strategy:
|
Let | Eq | True | Passed | |
e73d1f9ecff2bb0216ccb28919175f74d3ac53ae |
TLC with reduction strategy:
|
Let | Eq | False | Passed | |
34e497065004a26911f05694a3ce5544e686cf3a |
TLC with reduction strategy:
|
Set0 | Eq | True | Passed | |
cd9cd35683681875e43cd8de8127f70f59a09cab |
TLC with reduction strategy:
|
Set0 | Eq | False | Passed | |
bc034b6357b4b079d85d12c94e05f98004b2fc6c |
TLC with reduction strategy:
|
Set1 | Eq | True | Passed | |
461c8a52a9517d8cf02579734179c60b6089946c |
TLC with reduction strategy:
|
Set1 | Eq | False | Passed | |
1ed654a25f2d184e11df8e1260f2408bfac4a398 |
TLC with reduction strategy:
|
Set2 | Eq | True | Passed | |
54bfdc3434b97f7ad6a8fd8cc9a27507b2a2b62d |
TLC with reduction strategy:
|
Set2 | Eq | False | Passed | |
e521df0cfcd8eaf69c0de68dcffa27447c095e7e |
TLC with reduction strategy:
|
Fun | Eq | True | Passed | |
5e35ef605a1bf2c0161cf17db6cc59e836f187cd |
TLC with reduction strategy:
|
Fun | Eq | False | Passed | |
52e748e45566ac9b941fea561d5dbed9f197eca9 |
TLC with reduction strategy:
|
In | Eq | True | Passed | |
e54325cfd362cdb91c030c2cf01aa3b90cb616e3 |
TLC with reduction strategy:
|
In | Eq | False | Passed | |
b1abfe3b5122d7f3365cbbed56f6e29eab4ae8c0 |
TLC with reduction strategy:
|
NotIn | Eq | True | Passed | |
1d262a4952e0bfe6fb0cc0e471c8d4b69b1983f2 |
TLC with reduction strategy:
|
NotIn | Eq | False | Passed | |
1f487200b759ca519a6f9c35985ac69f342231f2 |
TLC with reduction strategy:
|
Exists | Eq | True | Passed | |
37052f771f884669fda8b1a0d312d7510a23a643 |
TLC with reduction strategy:
|
Exists | Eq | False | Passed | |
7849f7ab69af94c8d56058bba8e49d443f1d2def |
TLC with reduction strategy:
|
Forall | Eq | True | Passed | |
42b58ca204a1a8b34cc4a7428b7f680892abc97e |
TLC with reduction strategy:
|
Forall | Eq | False | Passed | |
1c34ef2eaf604c9921565278185fb14053b1f5e6 |
TLC with reduction strategy:
|
Choose | Eq | True | Passed | |
fa49ebd774d8c44c3095efc77af4184ea83223d5 |
TLC with reduction strategy:
|
Choose | Eq | False | Passed | |
38540dc9cd16f95687705356ac6f2a2f7874b8f6 |
TLC with reduction strategy:
|
Record | Eq | True | Passed | |
1180445c9bbb150e662cf5451d785416c62da1a0 |
TLC with reduction strategy:
|
Record | Eq | False | Passed | |
ae60609aa16937f4da01e48f801bc1d924e4160b |
TLC with reduction strategy:
|
Tuple | Eq | True | Passed | |
949f2cdcebe4f253bb2f3b0c7730d0d322c98203 |
TLC with reduction strategy:
|
Tuple | Eq | False | Passed | |
4657865193ecfcbf291d0562a8854b1c2c386142 |
TLC with reduction strategy:
|
FunApp | Eq | True | Passed | |
a03d0ccb741ca5c7f494ae0bfc3bf6804c0894a0 |
TLC with reduction strategy:
|
FunApp | Eq | False | Passed | |
db243cfa121667a5342c212231be117af20f3eb2 |
TLC with reduction strategy:
|
Except1Fun | Eq | True | Passed | |
9416716884795cade07f7f89a478fdedd045385a |
TLC with reduction strategy:
|
Except1Fun | Eq | False | Passed | |
f8c18d3f0e40fd9757b8513b886d293a39e82761 |
TLC with reduction strategy:
|
Except1FunWithAt | Eq | True | Passed | |
965111c374f2900b9157ccda866e08dac36934b3 |
TLC with reduction strategy:
|
Except1FunWithAt | Eq | False | Passed | |
01abf160bcd5c18e5609bbcf955d41e489fd190b |
TLC with reduction strategy:
|
Except1Rec | Eq | True | Passed | |
540341bc7d0f1eaefdfb13446d6c1a40a8919c46 |
TLC with reduction strategy:
|
Except1Rec | Eq | False | Passed | |
1d874adb0ccc891196ebba89772ad2d2aa148ebc |
TLC with reduction strategy:
|
Except1RecWithAt | Eq | True | Passed | |
003d426388428ba1a08762fe25a1276160bf3022 |
TLC with reduction strategy:
|
Except1RecWithAt | Eq | False | Passed | |
a524c360668b41132ffc5e68f516ee4ddba97c0a |
TLC with reduction strategy:
|
Except2Fun | Eq | True | Passed | |
4d93922745eb1d47480faee0fad887e2eda21938 |
TLC with reduction strategy:
|
Except2Fun | Eq | False | Passed | |
d20260750e73243054ddf363ad98293ce38844c5 |
TLC with reduction strategy:
|
Prime | Eq | True | Passed | |
7e864ca4d650da8d08b404b6d8feb89697019cb6 |
TLC with reduction strategy:
|
Prime | Eq | False | Passed | |
52f27631b6c204e431a0aa12280fafa0570745c3 |
TLC with reduction strategy:
|
DefFun | Eq | True | Passed | |
f8039eac0d3725a882c9eecd6fea9340637e19da |
TLC with reduction strategy:
|
DefFun | Eq | False | Passed | |
e9e3c5d4ad1be3a7311619bcbe68e20df2966224 |
TLC with reduction strategy:
|
LetDefFun | Eq | True | Passed | |
3102076bf9e01bff47eff8043041f5737a565e49 |
TLC with reduction strategy:
|
LetDefFun | Eq | False | Passed | |
81b92ca6cf120c7854496cf0e9e1bc8d9bcd36e7 |
TLC with reduction strategy:
|
DefFunRecursive | Eq | True | Passed | |
2e7e688d65ff4bb60fcb5efd2a9593be109ac913 |
TLC with reduction strategy:
|
DefFunRecursive | Eq | False | Passed | |
057193597c3b51cbe5df8ac58a810c193d71f6a8 |
TLC with reduction strategy:
|
LetDefFunRecursive | Eq | True | Passed | |
5caa59329061047deaef94d38082a24a5e3c5514 |
TLC with reduction strategy:
|
LetDefFunRecursive | Eq | False | Passed | |
90fde079425bff9dac77e85212f9a48c803c761f |
TLC with reduction strategy:
|
Def0 | Eq | True | Passed | |
893c33973a8f25d2a5b9a611799970275cb9a9ca |
TLC with reduction strategy:
|
Def0 | Eq | False | Passed | |
2fafed57c169ddf24de504592ddd1b13ae28dba4 |
TLC with reduction strategy:
|
LetDef0 | Eq | True | Passed | |
709e9de25c16507a4b76360b39240ba42a553dcf |
TLC with reduction strategy:
|
LetDef0 | Eq | False | Passed | |
37b084e704b7966b66c07dc9e58fc319e74f7ac9 |
TLC with reduction strategy:
|
Def1 | Eq | True | Passed | |
dd289acb782c6d4f9f299c5398de4cebe123952d |
TLC with reduction strategy:
|
Def1 | Eq | False | Passed | |
d17c739841db7a9f0b4300dde95215ca8ab9dee9 |
TLC with reduction strategy:
|
LetDef1 | Eq | True | Passed | |
41eb600197f2ef5a7b08f4d8e65e7989ee118f77 |
TLC with reduction strategy:
|
LetDef1 | Eq | False | Passed | |
ac6ffdcb68da0fbd79b4b540729329988d7e232e |
TLC with reduction strategy:
|
Def2 | Eq | True | Passed | |
477cb258072f78c2fec0618e10217dd1d68eb876 |
TLC with reduction strategy:
|
Def2 | Eq | False | Passed | |
92102c3378d1323593bbbc531eb36c301185c1f4 |
TLC with reduction strategy:
|
LetDef2 | Eq | True | Passed | |
9893eb3f0e885fe67ef42ac90b3bd549ddde4007 |
TLC with reduction strategy:
|
LetDef2 | Eq | False | Passed | |
019cd145b43397b9e94c25ed9b1937d908214ed3 |
TLC with reduction strategy:
|
Def1Recursive | Eq | True | Passed | |
9808c7c51a3a7ba1088d74e9a85c3607a17873d5 |
TLC with reduction strategy:
|
Def1Recursive | Eq | False | Passed | |
4e664a0973f36c8047368b35bfa5da5dd51f28aa |
TLC with reduction strategy:
|
LetDef1Recursive | Eq | True | Passed | |
2ff95a9797520b6592de515ece37d1485667eefa |
TLC with reduction strategy:
|
LetDef1Recursive | Eq | False | Passed | |
80e5e0c86b40326f49529fbad1e2b45bb0770619 |
TLC with reduction strategy:
|
Extends | Eq | True | Passed | |
60c7700c8b10add28f78d40744dde65f6b1af8e7 |
TLC with reduction strategy:
|
Extends | Eq | False | Passed | |
73cb63bae064726e77855bd32dd6562ff4697965 |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | Eq | True | Passed | |
46d1258f191f8e4c42a12b62b37662e6dfd002cb |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | Eq | False | Passed | |
fb240ff5e1bf90aa0c549b3bfb1c94ab0d2b10bd |
TLC with reduction strategy:
|
Variable | Eq | True | Passed | |
9e9d6d3d242ce71897ed438dd9a405431bc2ce8a |
TLC with reduction strategy:
|
Variable | Eq | False | Passed | |
710fb0a1e6120e24e974d1880a8670e4ce17cc07 |
TLC with reduction strategy:
|
VariableViewExclude | Eq | True | Passed | |
28234d140084eb8a192d7b5c34542cd90df1cba1 |
TLC with reduction strategy:
|
VariableViewExclude | Eq | False | Passed | |
66bc19bbc6df7dae609e9dfd6ca172feeabc8cf8 |
TLC with reduction strategy:
|
Constant | Eq | True | Passed | |
30c7936490e44356e23fcc46c8865a41d801ac8a |
TLC with reduction strategy:
|
Constant | Eq | False | Passed | |
b7ee7d8685eec08c30d3f74d93a04d0f9308d198 |
TLC with reduction strategy:
|
ConstantRank1 | Eq | True | Passed | |
8433ee3142ddb7d62eb019e4942b4cc646819883 |
TLC with reduction strategy:
|
ConstantRank1 | Eq | False | Passed | |
d35d52e7990df17f5f9a72fb359ffd070fdde7b2 |
TLC with reduction strategy:
|
Instance | Eq | True | Passed | |
b252f298e550dd309b8a9299b6a5ed5f4557e1c8 |
TLC with reduction strategy:
|
Instance | Eq | False | Passed | |
78e45645e96a17ab77152cc527d77bd1c6ae039c |
TLC with reduction strategy:
|
InstanceWith | Eq | True | Passed | |
29480608da4081534e9c060aeccb97eed33c86a1 |
TLC with reduction strategy:
|
InstanceWith | Eq | False | Passed | |
82326037af85fe6a851f5fcac0bbdbce2575abbf |
TLC with reduction strategy:
|
InstanceNamed | Eq | True | Passed | |
1052699b655cf7051e77519d4fa8781a1936fd71 |
TLC with reduction strategy:
|
InstanceNamed | Eq | False | Passed | |
b07d70b20ee849cfa146bd82365a565311e07f42 |
TLC with reduction strategy:
|
InstanceNamedWith | Eq | True | Passed | |
d57d388693ce22bcce14fea48e426deb8f1cba43 |
TLC with reduction strategy:
|
InstanceNamedWith | Eq | False | Passed | |
380060928f5402c8621ab86c36538ab3545835c1 |
TLC with reduction strategy:
|
InstanceInFolder | Eq | True | Passed | |
97ea16a727b87019fcc9a83193c8339025cb95d6 |
TLC with reduction strategy:
|
InstanceInFolder | Eq | False | Passed | |
0fa345d567b0a887bccad0c3e5ebb5a78f3ba7de |
TLC with reduction strategy:
|
InstanceWithInFolder | Eq | True | Passed | |
995f6f9a8ce09bb71e2c9005d3e9f3a62a75deac |
TLC with reduction strategy:
|
InstanceWithInFolder | Eq | False | Passed | |
d112a61eef2ce987bdde11fd7db5a90edc511610 |
TLC with reduction strategy:
|
InstanceNamedInFolder | Eq | True | Passed | |
40bcca5a0f167eb47ab0e744e0eeff957367e089 |
TLC with reduction strategy:
|
InstanceNamedInFolder | Eq | False | Passed | |
5f7884c128ebffec8a1c2e902c471de5309b2882 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | Eq | True | Passed | |
d2d9a7a9d6d6950e7d978510e63e8d756f6a2f15 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | Eq | False | Passed | |
4af7f648f8edd44cc5ffbed1ff5f2bb3a6b7bd6e |
TLC with reduction strategy:
|
Enabled | Eq | True | Passed | |
042cd8fd287027eaaa077f1d8c5c46e93ee3e766 |
TLC with reduction strategy:
|
Enabled | Eq | False | Passed | |
6afe6eb81205d2b611bb788ab2e266453c586505 |
TLC with reduction strategy:
|
Assume | Eq | True | Passed | |
a4a73b80fe05a478b1e291d551e090d83327804e |
TLC with reduction strategy:
|
Assume | Eq | False | Passed | |
bb6ccadc46f0ff4f87b1b32761f300acc4d8c19e |
TLC with reduction strategy:
|
AssumeNamed | Eq | True | Passed | |
6ab5182b81882b0a8914cb49c9ea6d90078bc947 |
TLC with reduction strategy:
|
AssumeNamed | Eq | False | Passed | |
07637a8025d151354c620205b9051960a51b67fa |
TLC with reduction strategy:
|
Lambda | Eq | True | Passed | |
1820146ac25ca6bad9389cc87cce847996164a64 |
TLC with reduction strategy:
|
Lambda | Eq | False | Passed | |
9c6b3da16f0072e30a021f8e2e191fb3e6c7cf7b |
TLC with reduction strategy:
|
IfCond | Eq | True | Passed | |
64257559a6a62ba11cee60b1af4859093cc29724 |
TLC with reduction strategy:
|
IfCond | Eq | False | Passed | |
5cfa5396217c8fa6b33e235e19c8db362b379bea |
TLC with reduction strategy:
|
IfThen | Eq | True | Passed | |
8d07c5d01722007aa13fb936bcc1eb25814beefa |
TLC with reduction strategy:
|
IfThen | Eq | False | Passed | |
ef25ea32cf727c48361c8ef52ece16c6d631e3aa |
TLC with reduction strategy:
|
IfElse | Eq | True | Passed | |
9480460e66d4fa5c21549076c818309300f2953e |
TLC with reduction strategy:
|
IfElse | Eq | False | Passed | |
7a6c9a9f218a41e0f6bcef88ebfabca3f3c6b605 |
TLC with reduction strategy:
|
Unchanged | Eq | True | Passed | |
6a904bd1ab6513c8b749c1878b0a1c80902c73c9 |
TLC with reduction strategy:
|
Unchanged | Eq | False | Passed | |
96fd5e9d19933fbf09c6c60033d3f05ffa3eb0f6 |
TLC with reduction strategy:
|
Equivalence | Eq | True | Passed | |
1685a638344966c0a8a078a7fd86e16176141a0a |
TLC with reduction strategy:
|
Equivalence | Eq | False | Passed | |
52526ab1b9fb2ff4f146d4830baa9590ae8e7eff |
TLC with reduction strategy:
|
TlcSingletonFun | Eq | True | Passed | |
7d153987046fee9dad1377932e48771d26cb9a0e |
TLC with reduction strategy:
|
TlcSingletonFun | Eq | False | Passed | |
6fabf884207fe3ad524725e3dddca9f53d7e7796 |
TLC with reduction strategy:
|
TlcEval | Eq | True | Passed | |
06ac5dc5119146418e6bface03206033aa52b561 |
TLC with reduction strategy:
|
TlcEval | Eq | False | Passed | |
93696c4a4e042e04e8b53da65b65f5e582d5f9f2 |
TLC with reduction strategy:
|
BagBagIn | Eq | True | Passed | |
bf6acc4d741ace58b822481bef4aee98d57b914a |
TLC with reduction strategy:
|
BagBagIn | Eq | False | Passed | |
98a366d35b2b2b04eb7043b04125fa6e368b5594 |
TLC with reduction strategy:
|
BagCopiesIn | Eq | True | Passed | |
45ac125906af512897f5569e4c8d73151994bd8e |
TLC with reduction strategy:
|
BagCopiesIn | Eq | False | Passed | |
681de68c1b863b8182461c1dafca512f5bf4136e |
TLC with reduction strategy:
|
SeqAppend | Eq | True | Passed | |
40118fe8c78435f03a2e53ddd3078a8f1347e368 |
TLC with reduction strategy:
|
SeqAppend | Eq | False | Passed |