Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
273468e9f004a08b70609b8122dff7dec2c8fcb2 |
TLC with reduction strategy:
|
And | Equivalence | True | Passed | |
f10a2bd872cc46d74b29ece200a015f5dd01a3f4 |
TLC with reduction strategy:
|
And | Equivalence | False | Passed | |
c0cbf2695177664c426ed0acfe252d0c39b4e664 |
TLC with reduction strategy:
|
AndMultiLine | Equivalence | True | Passed | |
4d6989abdad51c61a6ca80b2bd92223bfce63070 |
TLC with reduction strategy:
|
AndMultiLine | Equivalence | False | Passed | |
9a43100142e9ba5d9ecdcba556650c7b7ca154ec |
TLC with reduction strategy:
|
Imply | Equivalence | True | Passed | |
68e338b13413a401e8e061694ec36c5570d343d3 |
TLC with reduction strategy:
|
Imply | Equivalence | False | Passed | |
eb0bae2e04dac0b040e044d29cfcf7452ef3fe51 |
TLC with reduction strategy:
|
Not | Equivalence | True | Passed | |
a9ee9881e4a96c9727a1f7f00b181131ce8dbccc |
TLC with reduction strategy:
|
Not | Equivalence | False | Passed | |
d646daf21a822652c1edfa091d06c1f524ca13ca |
TLC with reduction strategy:
|
Or | Equivalence | True | Passed | |
837c0bcde99c4269ccd9cc0ee0a109b13bd05d03 |
TLC with reduction strategy:
|
Or | Equivalence | False | Passed | |
758f34de04b1864f238e11d8eacf1c0e2ea9c1fe |
TLC with reduction strategy:
|
OrMultiLine | Equivalence | True | Passed | |
04ba6aeadbd1f51a6acab94e7c780202353a3f26 |
TLC with reduction strategy:
|
OrMultiLine | Equivalence | False | Passed | |
bf97c68bf6b8dc9460f74dcd6aa551a688e53a88 |
TLC with reduction strategy:
|
AndProp | Equivalence | True | Passed | |
e2259454fbe2e8f5278be9efd3c7a4b41d97135d |
TLC with reduction strategy:
|
AndProp | Equivalence | False | Passed | |
6c72f47bc02b7ba5db553b005ffdbc04727c5365 |
TLC with reduction strategy:
|
Boxed | Equivalence | True | Passed | |
e35c4f0d28da001e9d8290719270a47b9f911eb5 |
TLC with reduction strategy:
|
Boxed | Equivalence | False | Passed | |
d62082614957cfa14f9771d838c02fa46b02677b |
TLC with reduction strategy:
|
Eq | Equivalence | True | Passed | |
e73828be3d12bc0b7548e34763c7f0efa9f3da9c |
TLC with reduction strategy:
|
Eq | Equivalence | False | Passed | |
591a30db1d66e479f001afa1f81f5f11d95fc8e8 |
TLC with reduction strategy:
|
Ne | Equivalence | True | Passed | |
f1b175e1b47017150a26cc12e6f155019e9c9767 |
TLC with reduction strategy:
|
Ne | Equivalence | False | Passed | |
caa67b8ae0fd947470b77484ced90c81187db06e |
TLC with reduction strategy:
|
Let | Equivalence | True | Passed | |
9e2bec35afe314714eb78d0a3e5a162a0cffec45 |
TLC with reduction strategy:
|
Let | Equivalence | False | Passed | |
67387119fa78fe0aab2b68715b5318875cdd323b |
TLC with reduction strategy:
|
Set0 | Equivalence | True | Passed | |
7afb864f3e7d4a1f85cd73b216fd525fbe2142c4 |
TLC with reduction strategy:
|
Set0 | Equivalence | False | Passed | |
5c396efcfa00f8862d416fc9d07f036d20d9f4cb |
TLC with reduction strategy:
|
Set1 | Equivalence | True | Passed | |
a127c3edcbbf7f490abaf3640dc30ca0a1d77d77 |
TLC with reduction strategy:
|
Set1 | Equivalence | False | Passed | |
06263a7f22d78f34053a12d382d50e0e2768aa41 |
TLC with reduction strategy:
|
Set2 | Equivalence | True | Passed | |
10e785c0003abf99712267bc4b177c94e301b3ac |
TLC with reduction strategy:
|
Set2 | Equivalence | False | Passed | |
610971137477f6852412f63afd1ed025fb78149d |
TLC with reduction strategy:
|
Fun | Equivalence | True | Passed | |
1f000dfb76d2ffb5f5b82f6b0a7228dd2e9a4b24 |
TLC with reduction strategy:
|
Fun | Equivalence | False | Passed | |
1d7c953dd36eacd71781acbd7f851ea545f7f01d |
TLC with reduction strategy:
|
In | Equivalence | True | Passed | |
38b46c1d25b56e054050b257105f7287411810e4 |
TLC with reduction strategy:
|
In | Equivalence | False | Passed | |
9ca6f3c67c38a511db952a6aecb2f8f848e86b73 |
TLC with reduction strategy:
|
NotIn | Equivalence | True | Passed | |
553dae524c9dc941818af8871398c283fecbcf84 |
TLC with reduction strategy:
|
NotIn | Equivalence | False | Passed | |
97b7f754d3d738e37d3b1b29013e2412af199f34 |
TLC with reduction strategy:
|
Exists | Equivalence | True | Passed | |
f80c599c182fcee2249a43fc8779fa5a4c26586c |
TLC with reduction strategy:
|
Exists | Equivalence | False | Passed | |
0cc9861dbd525fb56ad3104eb28c445b5ce8c906 |
TLC with reduction strategy:
|
Forall | Equivalence | True | Passed | |
4771529e286e5ffdf7c4706ef0350dcbfcde8ee7 |
TLC with reduction strategy:
|
Forall | Equivalence | False | Passed | |
15d50778e21dac768d2328f39a01edaf081b4965 |
TLC with reduction strategy:
|
Choose | Equivalence | True | Passed | |
6d44fc26a92ccbedf4e2f636e3ff313b068feb10 |
TLC with reduction strategy:
|
Choose | Equivalence | False | Passed | |
54b6aa671006dacc76fc4b3992150c24e48f2a78 |
TLC with reduction strategy:
|
Record | Equivalence | True | Passed | |
c8a7995319ea7584b35102b85f7ef4f63ae2bd6d |
TLC with reduction strategy:
|
Record | Equivalence | False | Passed | |
b532cd8c3dfbedf62dd1811eb3319b03992e60c6 |
TLC with reduction strategy:
|
Tuple | Equivalence | True | Passed | |
93d6509fb8fed007b93b1458fa0977dc8196230c |
TLC with reduction strategy:
|
Tuple | Equivalence | False | Passed | |
2f1b4281543311a216053edc5a743282953a198e |
TLC with reduction strategy:
|
FunApp | Equivalence | True | Passed | |
1e4202c113ef47a335935353091bd0922195da6d |
TLC with reduction strategy:
|
FunApp | Equivalence | False | Passed | |
99d00f67ed19d1270652b3128707e604961a0a6c |
TLC with reduction strategy:
|
Except1Fun | Equivalence | True | Passed | |
70b1b274c3fc131d60d960b7e70295f2ffd54aa9 |
TLC with reduction strategy:
|
Except1Fun | Equivalence | False | Passed | |
5c77121b630bc503362a6fefc6bbf5bff106295f |
TLC with reduction strategy:
|
Except1FunWithAt | Equivalence | True | Passed | |
5c37dceb25e4798e8fe92ac52e0f937e58910a8d |
TLC with reduction strategy:
|
Except1FunWithAt | Equivalence | False | Passed | |
614d25132966d8c67daf0d815e96ed527096fd7a |
TLC with reduction strategy:
|
Except1Rec | Equivalence | True | Passed | |
49a2c8b962a098dbb8b36846cf37b04468dc4c3c |
TLC with reduction strategy:
|
Except1Rec | Equivalence | False | Passed | |
2bcec6b1b5f3eb285f5279b5932df9cf139e1e8f |
TLC with reduction strategy:
|
Except1RecWithAt | Equivalence | True | Passed | |
f72e9a173f713dfdb38e98047a85c633aa1dde35 |
TLC with reduction strategy:
|
Except1RecWithAt | Equivalence | False | Passed | |
6ffe9e0abbaf7e4931f6ec095556e9f050102ac7 |
TLC with reduction strategy:
|
Except2Fun | Equivalence | True | Passed | |
e21c11ade5e659f1a997c4214589b381a105903e |
TLC with reduction strategy:
|
Except2Fun | Equivalence | False | Passed | |
2c32d0a642520729864f3229131a851afb786165 |
TLC with reduction strategy:
|
Prime | Equivalence | True | Passed | |
63af8f98eb11fef7b5e120f15a5be655db1589c9 |
TLC with reduction strategy:
|
Prime | Equivalence | False | Passed | |
829a906882e0eb667e1435ce81a1c40bb5aa3bfa |
TLC with reduction strategy:
|
DefFun | Equivalence | True | Passed | |
1b1ecee238ff21f6ac8ae34d4814b83686640b24 |
TLC with reduction strategy:
|
DefFun | Equivalence | False | Passed | |
ed7fc1cb211d70e25900d146f465fe966970ab8f |
TLC with reduction strategy:
|
LetDefFun | Equivalence | True | Passed | |
24dc0cb65fb5cab9cd97c22568a12394dcca657a |
TLC with reduction strategy:
|
LetDefFun | Equivalence | False | Passed | |
6ae1a574b8c7bc4b23e486a1ffd9492741147d2a |
TLC with reduction strategy:
|
DefFunRecursive | Equivalence | True | Passed | |
30e8198c54bf93fa7af709515e46a60baef289d3 |
TLC with reduction strategy:
|
DefFunRecursive | Equivalence | False | Passed | |
25d1636f127cc8cd85d294bd2052f66ee7bcb363 |
TLC with reduction strategy:
|
LetDefFunRecursive | Equivalence | True | Passed | |
08154b946980b5d8c09264731ab9e2435c3e5b1d |
TLC with reduction strategy:
|
LetDefFunRecursive | Equivalence | False | Passed | |
8c8558dc580e9edaee48297f639b01c09d88a689 |
TLC with reduction strategy:
|
Def0 | Equivalence | True | Passed | |
3349ac88e35b69112731669261d38fe78e84b61b |
TLC with reduction strategy:
|
Def0 | Equivalence | False | Passed | |
60bfcecd74abe169ad66fd0ec72f84c7f53559a0 |
TLC with reduction strategy:
|
LetDef0 | Equivalence | True | Passed | |
3b9ccd6adb38bf315a6ae3d9dd3730792803b3c3 |
TLC with reduction strategy:
|
LetDef0 | Equivalence | False | Passed | |
9f7da64fb5227b059b1e9c37246e139d9cd02fbf |
TLC with reduction strategy:
|
Def1 | Equivalence | True | Passed | |
c642c071840e5ccae630dd278e6d6dda7c8df5d9 |
TLC with reduction strategy:
|
Def1 | Equivalence | False | Passed | |
76f1718706b63aa31258ec0393bfdeafd066e8ec |
TLC with reduction strategy:
|
LetDef1 | Equivalence | True | Passed | |
e0912aa54c648eeb2bf83264df29b0299f02f8d0 |
TLC with reduction strategy:
|
LetDef1 | Equivalence | False | Passed | |
73da34a2df25bd6b667eb034b764e1ab22efc39a |
TLC with reduction strategy:
|
Def2 | Equivalence | True | Passed | |
eff8f3054ddcd4e78e7c12e951dfaeebf0d68732 |
TLC with reduction strategy:
|
Def2 | Equivalence | False | Passed | |
dfd0675ecba634f242f1fbe6c0ecd85d0d269e10 |
TLC with reduction strategy:
|
LetDef2 | Equivalence | True | Passed | |
a01a099a018559ff95f63eb22f9b179d0b966d6f |
TLC with reduction strategy:
|
LetDef2 | Equivalence | False | Passed | |
4be425f0d5722284d101fbefe51e9dfecd0f5877 |
TLC with reduction strategy:
|
Def1Recursive | Equivalence | True | Passed | |
54cdb4b1f0bd06dd757a3ff3e95f427fc2057152 |
TLC with reduction strategy:
|
Def1Recursive | Equivalence | False | Passed | |
43e44955bcc415f8ea0843479fbaa1b8afe2bb78 |
TLC with reduction strategy:
|
LetDef1Recursive | Equivalence | True | Passed | |
328c042580dcf1ff967ddbca8245b2b3cb7dcae5 |
TLC with reduction strategy:
|
LetDef1Recursive | Equivalence | False | Passed | |
9c0076c1d44e28a064fdd7aac3eafa6a4171a11b |
TLC with reduction strategy:
|
Extends | Equivalence | True | Passed | |
f2c7a33ef2cb3039dad195544ef958c99ed865fe |
TLC with reduction strategy:
|
Extends | Equivalence | False | Passed | |
40927fef1844ae5ee89b301ba69d4e81e87a89fd |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | Equivalence | True | Passed | |
1972e8e132a9d326b59e6b9d89d44097be0b1e78 |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | Equivalence | False | Passed | |
0b027509fdffc127ccd5f56c81c336308d369d43 |
TLC with reduction strategy:
|
Variable | Equivalence | True | Passed | |
2ec80f3234ffb6fdc0012ee377b788503395ae4c |
TLC with reduction strategy:
|
Variable | Equivalence | False | Passed | |
7acdadb92a27a3453b4f7b935ebef3833624af19 |
TLC with reduction strategy:
|
VariableViewExclude | Equivalence | True | Passed | |
51066f7f3dd3cded05884b6afade276ea926852b |
TLC with reduction strategy:
|
VariableViewExclude | Equivalence | False | Passed | |
d0dd463c2fe4617e24926701818abd421f58031c |
TLC with reduction strategy:
|
Constant | Equivalence | True | Passed | |
87384d3b547439e09e27e95820560bdc5814a2d0 |
TLC with reduction strategy:
|
Constant | Equivalence | False | Passed | |
39b158537285e409c681d9773331a357457fc5cd |
TLC with reduction strategy:
|
ConstantRank1 | Equivalence | True | Passed | |
1aacb2363d30182a38aa4ffee2dca7e794693c2e |
TLC with reduction strategy:
|
ConstantRank1 | Equivalence | False | Passed | |
b895a18feb75962048ca10bd480bff91be6c3e30 |
TLC with reduction strategy:
|
Instance | Equivalence | True | Passed | |
ba782c18ff9a7d6dcb772f0cccd9c02f3e60fc26 |
TLC with reduction strategy:
|
Instance | Equivalence | False | Passed | |
519d8be4f2fa4d6c88bc2b49ca669153a10ea01f |
TLC with reduction strategy:
|
InstanceWith | Equivalence | True | Passed | |
223bbd0771ca7cca825eebccc5d439753d89bb8e |
TLC with reduction strategy:
|
InstanceWith | Equivalence | False | Passed | |
9b52e6587cc0e1a9fe411290a589c78791ea45a0 |
TLC with reduction strategy:
|
InstanceNamed | Equivalence | True | Passed | |
96905dd09813fcb12561787abbf56e5506aa151d |
TLC with reduction strategy:
|
InstanceNamed | Equivalence | False | Passed | |
cca73376d5a3a35676a5513d8311cbfa56969b9c |
TLC with reduction strategy:
|
InstanceNamedWith | Equivalence | True | Passed | |
91568c33e9b7e0964f2490f775fab0d5456d5e49 |
TLC with reduction strategy:
|
InstanceNamedWith | Equivalence | False | Passed | |
efe829ac8e5f44bd9f3fca883a16da3cc781624d |
TLC with reduction strategy:
|
InstanceInFolder | Equivalence | True | Passed | |
91a4efe86d8f06df8f530a16cecd5fed72e1c50b |
TLC with reduction strategy:
|
InstanceInFolder | Equivalence | False | Passed | |
737a7bda5cdb99f0c53f0986129234676c816c43 |
TLC with reduction strategy:
|
InstanceWithInFolder | Equivalence | True | Passed | |
451dcc2936a90488de36da8f07bf6f502c36701d |
TLC with reduction strategy:
|
InstanceWithInFolder | Equivalence | False | Passed | |
1c41461d691ab67a9fc3fb7db6561800ff48f13f |
TLC with reduction strategy:
|
InstanceNamedInFolder | Equivalence | True | Passed | |
03902d46e0daeaecb7295c7514ab30df7823b158 |
TLC with reduction strategy:
|
InstanceNamedInFolder | Equivalence | False | Passed | |
3c3e18e32c1af66ac82c2600cb46fc1c6d08713e |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | Equivalence | True | Passed | |
86b62a14af44594de98ebe96cc60baf8a30fca89 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | Equivalence | False | Passed | |
2e8da8c78029dd20be115336c759f040f996e629 |
TLC with reduction strategy:
|
Enabled | Equivalence | True | Passed | |
bc66c81e9438c4bb8a1dcba34d259cd29e8929c6 |
TLC with reduction strategy:
|
Enabled | Equivalence | False | Passed | |
fd91d263869935acf56daf847149024fd6a01081 |
TLC with reduction strategy:
|
Assume | Equivalence | True | Passed | |
f1c312339e034b6de7fe69f2d88654bdeb9b98da |
TLC with reduction strategy:
|
Assume | Equivalence | False | Passed | |
ca7e0657a88227fe1a3daa0f41ce43ea7474e90b |
TLC with reduction strategy:
|
AssumeNamed | Equivalence | True | Passed | |
d4134722976d98d69e4d6357cb4626d3a023082d |
TLC with reduction strategy:
|
AssumeNamed | Equivalence | False | Passed | |
1f813a830e21dd2cee5fc65c5f260fb232fd3bbd |
TLC with reduction strategy:
|
Lambda | Equivalence | True | Passed | |
50139f7c3097d93423969c6aeb30c08cdd50f249 |
TLC with reduction strategy:
|
Lambda | Equivalence | False | Passed | |
7be93a74bf399fcb6e92660ac55a9728688179a5 |
TLC with reduction strategy:
|
IfCond | Equivalence | True | Passed | |
b7a794479b018b559af9d73058b2a4eff534dbe1 |
TLC with reduction strategy:
|
IfCond | Equivalence | False | Passed | |
22a048a3c3c8425d387c560eb651263ee8734eeb |
TLC with reduction strategy:
|
IfThen | Equivalence | True | Passed | |
8e08e17b4ac9abbdd1f42ad869a08b67815d2f4a |
TLC with reduction strategy:
|
IfThen | Equivalence | False | Passed | |
614673204f9362da25c7d7461778c78465b240e4 |
TLC with reduction strategy:
|
IfElse | Equivalence | True | Passed | |
6a3ee94e4a29fc428806cfde0e4eb263edfe6e97 |
TLC with reduction strategy:
|
IfElse | Equivalence | False | Passed | |
72aa897107dd14ec39523307149f7884195f6b00 |
TLC with reduction strategy:
|
Unchanged | Equivalence | True | Passed | |
899af6fbea89639c5740a2abe6248a54ab2c69f4 |
TLC with reduction strategy:
|
Unchanged | Equivalence | False | Passed | |
59171119cd4a034815e51f3d18b258e2fc5e5d74 |
TLC with reduction strategy:
|
Equivalence | Equivalence | True | Passed | |
083fd30d72fca8ca33b50540e275815f140f9588 |
TLC with reduction strategy:
|
Equivalence | Equivalence | False | Passed | |
107072445b47570e745261e71fc1e13e9f0bbfaa |
TLC with reduction strategy:
|
TlcSingletonFun | Equivalence | True | Passed | |
0d6a4de8ed867381539f41a935474669b2a1968d |
TLC with reduction strategy:
|
TlcSingletonFun | Equivalence | False | Passed | |
33a860e0451c0995e16bc23ca54d57f6454d811c |
TLC with reduction strategy:
|
TlcEval | Equivalence | True | Passed | |
63d32396619f9019be886b9dee586e221a9cb92f |
TLC with reduction strategy:
|
TlcEval | Equivalence | False | Passed | |
45d0c057c984c2fd54cb0cb633f98b5e43ab60d4 |
TLC with reduction strategy:
|
BagBagIn | Equivalence | True | Passed | |
c8b4dc678f8bc50a676de986d8cc33e404cdc36b |
TLC with reduction strategy:
|
BagBagIn | Equivalence | False | Passed | |
72d98e817670b7d3f4a403aef6c59792cd404bea |
TLC with reduction strategy:
|
BagCopiesIn | Equivalence | True | Passed | |
66e949ef5f67a91113d579c761fd0d6d70b742f2 |
TLC with reduction strategy:
|
BagCopiesIn | Equivalence | False | Passed | |
c78287448169f5a4ec4244de1a56c06953e5e603 |
TLC with reduction strategy:
|
SeqAppend | Equivalence | True | Passed | |
5c0f6a1b8e335bbadfc7c76b55fcff6717428c2c |
TLC with reduction strategy:
|
SeqAppend | Equivalence | False | Passed |