Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
8fb9ec906757a4577fea1f05f0477b63a962cc30 |
TLC with reduction strategy:
|
And | Def0 | True | Passed | |
229e0ec399aa7d15dd37045f00ac598bf188f15a |
TLC with reduction strategy:
|
And | Def0 | False | Passed | |
c8949520aa9269509dfb54f982348e69f1c5ed16 |
TLC with reduction strategy:
|
AndMultiLine | Def0 | True | Passed | |
ae14909834278b2ee40b27f0e0e5c1ce4603c659 |
TLC with reduction strategy:
|
AndMultiLine | Def0 | False | Passed | |
0616c4af237f61c715e848237791465bb55f5081 |
TLC with reduction strategy:
|
Imply | Def0 | True | Passed | |
f8690996a5ff79b6ed78abd018269ea7bc914203 |
TLC with reduction strategy:
|
Imply | Def0 | False | Passed | |
27e529f9e5ede0f37c7754d02d65a5c5743c9980 |
TLC with reduction strategy:
|
Not | Def0 | True | Passed | |
a905354e85a3d39e1bc9bd0f807d71b91a960d54 |
TLC with reduction strategy:
|
Not | Def0 | False | Passed | |
5813758f8a0ab358b61e70f3ee1fcece39f60d54 |
TLC with reduction strategy:
|
Or | Def0 | True | Passed | |
efecd6b002b33d977aae57f97eb87d54ba395dca |
TLC with reduction strategy:
|
Or | Def0 | False | Passed | |
dcffd463f1e78066ede2c0a3612eff6a4002e282 |
TLC with reduction strategy:
|
OrMultiLine | Def0 | True | Passed | |
d8bf8e79a080867e25617dd801bb5fe756804c6a |
TLC with reduction strategy:
|
OrMultiLine | Def0 | False | Passed | |
9ed4f7b4c3e3ef864df296b253cf2c7448cac3a2 |
TLC with reduction strategy:
|
AndProp | Def0 | True | Passed | |
9fe37f20223c6479d92bac1a09a6e26460dbdd1d |
TLC with reduction strategy:
|
AndProp | Def0 | False | Passed | |
2452ee57118eb58f62234a3197a6f0a5db81a3c4 |
TLC with reduction strategy:
|
Boxed | Def0 | True | Passed | |
bc56c23012be6a8475a07e3109220fa383d3e259 |
TLC with reduction strategy:
|
Boxed | Def0 | False | Passed | |
a819980e9ece430346c8baa94e1b7ec54c819dd7 |
TLC with reduction strategy:
|
Eq | Def0 | True | Passed | |
be43658d834986f9e0ec08ac11b77232984cbd3b |
TLC with reduction strategy:
|
Eq | Def0 | False | Passed | |
ae896d64df6587d322a97a8097e6c5f9d7b936b5 |
TLC with reduction strategy:
|
Ne | Def0 | True | Passed | |
06160236d3215ab1ec6d353e158083172f32093e |
TLC with reduction strategy:
|
Ne | Def0 | False | Passed | |
d18c82169178b7b09737528124e6edd3b493eafc |
TLC with reduction strategy:
|
Let | Def0 | True | Passed | |
28b5fe536afb83adbc1913e25b146dbd16664cbf |
TLC with reduction strategy:
|
Let | Def0 | False | Passed | |
8cfdbc8c6912fc9a81e7323a1f1cd4a65e8f2c5a |
TLC with reduction strategy:
|
Set0 | Def0 | True | Passed | |
1695ecd4306998002b069cdd343491d9302902a4 |
TLC with reduction strategy:
|
Set0 | Def0 | False | Passed | |
8d52dc947a77e6eb051ab43fae028183d300aa05 |
TLC with reduction strategy:
|
Set1 | Def0 | True | Passed | |
74cec45c2c7efe5e9cca3e930422317c956ceed0 |
TLC with reduction strategy:
|
Set1 | Def0 | False | Passed | |
081426ea372070fe188b014857b1ceb00e89a4b1 |
TLC with reduction strategy:
|
Set2 | Def0 | True | Passed | |
0a9403f9026334ff11fb7d8bbaa8a5f157286fed |
TLC with reduction strategy:
|
Set2 | Def0 | False | Passed | |
6b5aad5193a0359edf8b76de461145f1316839e2 |
TLC with reduction strategy:
|
Fun | Def0 | True | Passed | |
a9af2d953e0e92f5a67dfc3e3f34a7888cde5b46 |
TLC with reduction strategy:
|
Fun | Def0 | False | Passed | |
605342feea6ed222496269fb6c12ef7b12ff8269 |
TLC with reduction strategy:
|
In | Def0 | True | Passed | |
0dab73e96b20abb87351f139291a20a68068716a |
TLC with reduction strategy:
|
In | Def0 | False | Passed | |
1c5ab9de5e3f0008524696a6b6ddd94541bff97a |
TLC with reduction strategy:
|
NotIn | Def0 | True | Passed | |
e9b0038c9362c8d4f76613ae0b9901fa59243df7 |
TLC with reduction strategy:
|
NotIn | Def0 | False | Passed | |
5e7581c2f763cf8c7fff8e69e5ac9d82c75bb17e |
TLC with reduction strategy:
|
Exists | Def0 | True | Passed | |
679374159f2e498348f7fa2a7025a955461aa2c4 |
TLC with reduction strategy:
|
Exists | Def0 | False | Passed | |
80acf6debcdd4ee5391e516ca9618bee72833ac8 |
TLC with reduction strategy:
|
Forall | Def0 | True | Passed | |
71fc613ee2da6cf6c529f9509a1e185f6d6cc8de |
TLC with reduction strategy:
|
Forall | Def0 | False | Passed | |
ebaa9bb41606d467be64463b12c857296545aa87 |
TLC with reduction strategy:
|
Choose | Def0 | True | Passed | |
399d3309f324c2073c6eec4fe236004097257058 |
TLC with reduction strategy:
|
Choose | Def0 | False | Passed | |
2ac53d877ee8078a620647d78c03b00aa2d4cdb3 |
TLC with reduction strategy:
|
Record | Def0 | True | Passed | |
a9fca5fd54fbad901de95503e4e6a000a748f689 |
TLC with reduction strategy:
|
Record | Def0 | False | Passed | |
7d365e316ae9fbed36f1a45c90a04b13e11e0ae1 |
TLC with reduction strategy:
|
Tuple | Def0 | True | Passed | |
d60802a6f4321171dc5e9ae607513169478dca6d |
TLC with reduction strategy:
|
Tuple | Def0 | False | Passed | |
8b09f2fa5c00570de6d7b948804241b64c89a8f6 |
TLC with reduction strategy:
|
FunApp | Def0 | True | Passed | |
8eccbed8fdf998dc04ceeca58c9214c4984b69d7 |
TLC with reduction strategy:
|
FunApp | Def0 | False | Passed | |
7c06caf0a0b5802254fda76c817e52d63e476952 |
TLC with reduction strategy:
|
Except0 | Def0 | True | Passed | |
afaec351c16ffd780973068a54cfe32602e874e9 |
TLC with reduction strategy:
|
Except0 | Def0 | False | Passed | |
6528b8004ca851c76236e1306bc1a780e0e48a78 |
TLC with reduction strategy:
|
Except1Fun | Def0 | True | Passed | |
1fb1bb5d9b7d90bdd475d570be9abdc5e75c0507 |
TLC with reduction strategy:
|
Except1Fun | Def0 | False | Passed | |
8b105d9bdcaec6a2ef0b77394ae628717129f595 |
TLC with reduction strategy:
|
Except1FunWithAt | Def0 | True | Passed | |
6d622bb3f75d04a4a5306e8f149077db418df78f |
TLC with reduction strategy:
|
Except1FunWithAt | Def0 | False | Passed | |
900d0e342ef1940580226e9a06bf811f08f07098 |
TLC with reduction strategy:
|
Except1Rec | Def0 | True | Passed | |
532ed0eb2807d8e7b2e084c1dcd3f9f79328a6f8 |
TLC with reduction strategy:
|
Except1Rec | Def0 | False | Passed | |
5f2dd5227c53980c633ec30f994cd4e35df34a91 |
TLC with reduction strategy:
|
Except1RecWithAt | Def0 | True | Passed | |
4514d5af275ace8c956c30bf4aa2b25514f6b88f |
TLC with reduction strategy:
|
Except1RecWithAt | Def0 | False | Passed | |
e5b17718ae2f6b8b0c6e4d969cae9366e3c84b64 |
TLC with reduction strategy:
|
Except2Fun | Def0 | True | Passed | |
5da5cf0e693b28e3ce6884ae829567e0e9255615 |
TLC with reduction strategy:
|
Except2Fun | Def0 | False | Passed | |
282aa74a2b95572dc77a23c3311ae1b4797949ef |
TLC with reduction strategy:
|
Except2FunTuple | Def0 | True | Passed | |
ef264dd27bb9a1e316f4843136d75b4811be695f |
TLC with reduction strategy:
|
Except2FunTuple | Def0 | False | Passed | |
3b3b33bf64b97d919610cf8563c9523fef53c980 |
TLC with reduction strategy:
|
Prime | Def0 | True | Passed | |
623bbf4c924ea86ffe02e84e598df0810f359f17 |
TLC with reduction strategy:
|
Prime | Def0 | False | Passed | |
d4a2068045d7aab605fbf41c93b381d1bc07e764 |
TLC with reduction strategy:
|
NumUnaryMinus | Def0 | True | Passed | |
e0f48202bcbe76a71d78d69cf6f407f279ec7fe6 |
TLC with reduction strategy:
|
NumUnaryMinus | Def0 | False | Passed | |
5faea408a2fb26b6869a407ab39fad9f5166107d |
TLC with reduction strategy:
|
NumPlus | Def0 | True | Passed | |
317859a4d2050097a6d8ec40ecf05cbda1e6abd4 |
TLC with reduction strategy:
|
NumPlus | Def0 | False | Passed | |
a5c7d0bbd6ff50ec257d08ca5d8617618533c3e6 |
TLC with reduction strategy:
|
NumMinus | Def0 | True | Passed | |
51d69d38124cbaa643ef1ab0829f2d9f65480516 |
TLC with reduction strategy:
|
NumMinus | Def0 | False | Passed | |
888fbe9cb06f98e5cc93248728a678b912aad061 |
TLC with reduction strategy:
|
NumMul | Def0 | True | Passed | |
c6b415f1f72615f2afbaeabc246a6c2626ac45d8 |
TLC with reduction strategy:
|
NumMul | Def0 | False | Passed | |
6b13f518c70e5113d4d4dd71f8b35fe981c95828 |
TLC with reduction strategy:
|
NumDiv | Def0 | True | Passed | |
53cc48f7d2c4baf9d20688c2fc4d3f8ba68c8b3a |
TLC with reduction strategy:
|
NumDiv | Def0 | False | Passed | |
688ec4a321d1f9b8f17df6ce545488ac862dd426 |
TLC with reduction strategy:
|
NumMod | Def0 | True | Passed | |
9d26e1eaad48a8a34f05b21bb8a0fa76081bd45b |
TLC with reduction strategy:
|
NumMod | Def0 | False | Passed | |
8538eb2951268d63d66e0447ae9dcb0c02321c58 |
TLC with reduction strategy:
|
NumPow | Def0 | True | Passed | |
6dfb1836fc16a34f86e3528ee2b5c6e10a73dfb6 |
TLC with reduction strategy:
|
NumPow | Def0 | False | Passed | |
19df8b5484c79ac82e212b74611c84fd22a67a7f |
TLC with reduction strategy:
|
NumGt | Def0 | True | Passed | |
a8cfbfe6ae4aa6f21f4bb1c627244451da801572 |
TLC with reduction strategy:
|
NumGt | Def0 | False | Passed | |
ef15c7c0f689ae3ad5c14f46c5572486f1e03363 |
TLC with reduction strategy:
|
NumGe | Def0 | True | Passed | |
0db32a5159effae750a73d4b347de14efd5fc078 |
TLC with reduction strategy:
|
NumGe | Def0 | False | Passed | |
9415baa3cc78c42db82c68e3520748cec0d9b3c4 |
TLC with reduction strategy:
|
NumLt | Def0 | True | Passed | |
a682b0cfe00253ccc2b4947ee978d5b8baab4dff |
TLC with reduction strategy:
|
NumLt | Def0 | False | Passed | |
7a8ad27adc16a8ed2aaaf915f47f22177b4f2c8b |
TLC with reduction strategy:
|
NumLe | Def0 | True | Passed | |
c116a6596ae540e0ee669cf14b86ea7df2c5d6a8 |
TLC with reduction strategy:
|
NumLe | Def0 | False | Passed | |
5ebdf3d629e0408dacb7b4154327567fca3deedf |
TLC with reduction strategy:
|
DefFun | Def0 | True | Passed | |
55268ae4d8bc55db10158c7e7e93785ba9c99415 |
TLC with reduction strategy:
|
DefFun | Def0 | False | Passed | |
6a24c1d39a800f71c1b4529caf2006134a904112 |
TLC with reduction strategy:
|
LetDefFun | Def0 | True | Passed | |
5410351351df412ae923861255ed09ca612d088c |
TLC with reduction strategy:
|
LetDefFun | Def0 | False | Passed | |
49d0690b1d2004845dfe6ac386d9ef81117c50bc |
TLC with reduction strategy:
|
DefFunRecursive | Def0 | True | Passed | |
b20de7ee8a1a40760a2dc8b95fb777a017e52951 |
TLC with reduction strategy:
|
DefFunRecursive | Def0 | False | Passed | |
b41c9ee14676af460540da952069e9b392f5ba2f |
TLC with reduction strategy:
|
LetDefFunRecursive | Def0 | True | Passed | |
a04781673cc49bd3b1c2b2bce0e468339c4af836 |
TLC with reduction strategy:
|
LetDefFunRecursive | Def0 | False | Passed | |
2b8aca45031c3681eef7c75e2b5545146aed7b41 |
TLC with reduction strategy:
|
Def0 | Def0 | True | Passed | |
9481a7647fdd440d9d0b965a936c4a30ba6f2570 |
TLC with reduction strategy:
|
Def0 | Def0 | False | Passed | |
cc66c98ec8d719c6f047b65ef227a06326b15ee0 |
TLC with reduction strategy:
|
LetDef0 | Def0 | True | Passed | |
710d1b4de18d91a07da73fdbf63dd92fd4a24cda |
TLC with reduction strategy:
|
LetDef0 | Def0 | False | Passed | |
5d78a0bb440b28d972cb4c4d9c3242febba39cf5 |
TLC with reduction strategy:
|
Def1 | Def0 | True | Passed | |
2a23adefcef261e22d2b0b38b42641d8c523e658 |
TLC with reduction strategy:
|
Def1 | Def0 | False | Passed | |
28b765dc8f4cf8e948f86713cf37445eecf30323 |
TLC with reduction strategy:
|
LetDef1 | Def0 | True | Passed | |
c4a4523f7128c5fa8cee199b9a103d99c19617fa |
TLC with reduction strategy:
|
LetDef1 | Def0 | False | Passed | |
49497fd24cde9b5246f74fb32a8223aa34a61e4d |
TLC with reduction strategy:
|
Def2 | Def0 | True | Passed | |
98c55f498f8c207bd9a92232c577f7b93d3dd53a |
TLC with reduction strategy:
|
Def2 | Def0 | False | Passed | |
10b4ed8e6eaf805c6fce52d42c55375ed1eae9b4 |
TLC with reduction strategy:
|
LetDef2 | Def0 | True | Passed | |
208d540023f65f6985b124a36f2c6a27cf496b68 |
TLC with reduction strategy:
|
LetDef2 | Def0 | False | Passed | |
cb9d264a7c3384a1d5251c7d8fa41621d85e7b0b |
TLC with reduction strategy:
|
Def1Recursive | Def0 | True | Passed | |
d4124784ee9f0ddbe1a5f4522b5cc7d8a0eb8aba |
TLC with reduction strategy:
|
Def1Recursive | Def0 | False | Passed | |
248b8336e0c8aa7491be53d96c13bc7402720402 |
TLC with reduction strategy:
|
LetDef1Recursive | Def0 | True | Passed | |
ef1b8506dd185ebefb65a705ca4e69a7d4b66fbe |
TLC with reduction strategy:
|
LetDef1Recursive | Def0 | False | Passed | |
217a19857966cfc4a474343c5ae1ad0fd93e4ba1 |
TLC with reduction strategy:
|
Extends | Def0 | True | Passed | |
b76ea1e5a28f7d3c9f542070c482edd38caf53be |
TLC with reduction strategy:
|
Extends | Def0 | False | Passed | |
348cdd05c80de0f23b5a6966d368bd95387a42a5 |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | Def0 | True | Passed | |
bb40682fd141570310d00026a6e2f378ca55ec92 |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | Def0 | False | Passed | |
36c18181d9af791d4959f9d47c2aa40761aa9ba5 |
TLC with reduction strategy:
|
Variable | Def0 | True | Passed | |
dca4e93bb0c780d54b556488603fb5ef765b33c4 |
TLC with reduction strategy:
|
Variable | Def0 | False | Passed | |
b73c68eef2189e2fd29b581722d038887a7f3bbf |
TLC with reduction strategy:
|
VariableViewExclude | Def0 | True | Passed | |
b474bcee69c58e31524e0e20989d99e2aec740ed |
TLC with reduction strategy:
|
VariableViewExclude | Def0 | False | Passed | |
5d74dafcb2f7687491f8f68cd9b785a20c1e912b |
TLC with reduction strategy:
|
Constant | Def0 | True | Passed | |
db9a28d43b7c8664fa919d6fc2dfb967f65cb961 |
TLC with reduction strategy:
|
Constant | Def0 | False | Passed | |
2de80fa09f25eb61f53c395cadcf124ca648bda8 |
TLC with reduction strategy:
|
ConstantRank1 | Def0 | True | Passed | |
e1d0ec09d64709c34589a55e3a57a5611193e2d8 |
TLC with reduction strategy:
|
ConstantRank1 | Def0 | False | Passed | |
fe4217eb43ea005ef3273f7198b5b5faa1428611 |
TLC with reduction strategy:
|
Instance | Def0 | True | Passed | |
c60ff3815141cfbfffd6d1438dd77270be85fa4c |
TLC with reduction strategy:
|
Instance | Def0 | False | Passed | |
e787f2a675862220d561320d18af37877863ad8b |
TLC with reduction strategy:
|
InstanceWith | Def0 | True | Passed | |
309df2cb25fcf5af4dd2e2b9d53b1fbb302c58a5 |
TLC with reduction strategy:
|
InstanceWith | Def0 | False | Passed | |
fce2b5aeb339565629ea5ad19bbfb2e14512f50d |
TLC with reduction strategy:
|
InstanceNamed | Def0 | True | Passed | |
12d9c1affab93ec1f34ece27ec16dae0660eda46 |
TLC with reduction strategy:
|
InstanceNamed | Def0 | False | Passed | |
7b264bd5aa94490297ff464914fc2619b7dd1fdb |
TLC with reduction strategy:
|
InstanceNamedWith | Def0 | True | Passed | |
a1732ba4ed9dc8bcae87337d18e8e6e938741484 |
TLC with reduction strategy:
|
InstanceNamedWith | Def0 | False | Passed | |
7407a9facb966bfdba6f977d57f35235d896272c |
TLC with reduction strategy:
|
InstanceInFolder | Def0 | True | Passed | |
4e1871623a1d8f61ecabfe0d4f7a16a1523a7574 |
TLC with reduction strategy:
|
InstanceInFolder | Def0 | False | Passed | |
82157f5c3a2293cda4b5f8603622f8dcff3e759b |
TLC with reduction strategy:
|
InstanceWithInFolder | Def0 | True | Passed | |
bb288752bc03c21a81e8203c7368da43cdaad960 |
TLC with reduction strategy:
|
InstanceWithInFolder | Def0 | False | Passed | |
ba1271faa84ce440fc88927429923ea382caf4b3 |
TLC with reduction strategy:
|
InstanceNamedInFolder | Def0 | True | Passed | |
a6d5fc5aa6502c30c57b641389e7dbf08ab8e48b |
TLC with reduction strategy:
|
InstanceNamedInFolder | Def0 | False | Passed | |
3bc6556124cbb6fe2976b62c6ee1ad274d59c616 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | Def0 | True | Passed | |
f44ca0a1ba10ec06a90f195b599770e0f7dae49e |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | Def0 | False | Passed | |
96e70c62b3875110293fb72b1f8d1772c3ed95a2 |
TLC with reduction strategy:
|
Enabled | Def0 | True | Passed | |
96962626cece384c42cc1b34db8fcdd8765fcd1f |
TLC with reduction strategy:
|
Enabled | Def0 | False | Passed | |
bafd010e1de9c854297f6471228860ddb0df321a |
TLC with reduction strategy:
|
Assume | Def0 | True | Passed | |
428f4f098f37d1bcfa751b58e40c8ec1bc87275d |
TLC with reduction strategy:
|
Assume | Def0 | False | Passed | |
f53a9574be97d6403a402564f22730ba0bc1063d |
TLC with reduction strategy:
|
AssumeNamed | Def0 | True | Passed | |
48642eaafd2d344fbc111ed18f1d5c55e2973bba |
TLC with reduction strategy:
|
AssumeNamed | Def0 | False | Passed | |
5726dd8d1b80a19a7793ea124a6fe0654433471d |
TLC with reduction strategy:
|
Lambda | Def0 | True | Passed | |
b552162b8dd936b1426ca18e25f0867dc0953314 |
TLC with reduction strategy:
|
Lambda | Def0 | False | Passed | |
6eb29d887e4c15c59f6e29a9e717724b77b8007c |
TLC with reduction strategy:
|
Cross2 | Def0 | True | Passed | |
14ae64014e6c84d741c0030eeb753e9d2c76734b |
TLC with reduction strategy:
|
Cross2 | Def0 | False | Passed | |
9bcd695055a8074a4263bba6c93ce4b6f9f892f9 |
TLC with reduction strategy:
|
Cross3 | Def0 | True | Passed | |
8b091d0368fede7091b0103cecf11476a5a4c74a |
TLC with reduction strategy:
|
Cross3 | Def0 | False | Passed | |
7006e01989fc43fef35292d088ee042a39836dfa |
TLC with reduction strategy:
|
FunSet | Def0 | True | Passed | |
104bb6481f607c11433496e1d0b22f9b9c5f3fef |
TLC with reduction strategy:
|
FunSet | Def0 | False | Passed | |
8d5b4509a7f95021054dfe949f54ff6f71d95803 |
TLC with reduction strategy:
|
RecordSet | Def0 | True | Passed | |
800902e81959a7a4aba30e2d6ec404766b5a9c25 |
TLC with reduction strategy:
|
RecordSet | Def0 | False | Passed | |
55c59d7433b78bddbced5747c90d317eaffda656 |
TLC with reduction strategy:
|
SetDiff | Def0 | True | Passed | |
63896fe81cf06c2905926d0e33309964de7bb92d |
TLC with reduction strategy:
|
SetDiff | Def0 | False | Passed | |
b3d7d67e7d7830d65226c2239f42361ccf101a0d |
TLC with reduction strategy:
|
SetUnion | Def0 | True | Passed | |
be1058cbea77503317cf11700481faa1e2924964 |
TLC with reduction strategy:
|
SetUnion | Def0 | False | Passed | |
914af7e54da46e74139b2da741e98d426e645116 |
TLC with reduction strategy:
|
SetIntersect | Def0 | True | Passed | |
a331c2daf0324690a215cb03673ac9bce81ef872 |
TLC with reduction strategy:
|
SetIntersect | Def0 | False | Passed | |
36218ea6bc7dc5692a09f79462414b9c37f642db |
TLC with reduction strategy:
|
SubsetEq | Def0 | True | Passed | |
3a1b911a41e9bb8e42c2463102b855c301da6b70 |
TLC with reduction strategy:
|
SubsetEq | Def0 | False | Passed | |
977f014e4960b3531b9bd644b166d535a270226d |
TLC with reduction strategy:
|
IfCond | Def0 | True | Passed | |
1555e50c6d20e8eb7304cdce738cd8113db8b282 |
TLC with reduction strategy:
|
IfCond | Def0 | False | Passed | |
0affbc861f80858da255274f90ed156eb4e035d5 |
TLC with reduction strategy:
|
IfThen | Def0 | True | Passed | |
a7ddf01c99d3de9452aa7b112059a47560ad91e4 |
TLC with reduction strategy:
|
IfThen | Def0 | False | Passed | |
b3bde8f12e2d9693f4c626c9224d6f04c11bd7cd |
TLC with reduction strategy:
|
IfElse | Def0 | True | Passed | |
bbd6c30b2bb2e0c035535526ae73537aa6a42226 |
TLC with reduction strategy:
|
IfElse | Def0 | False | Passed | |
d96e6031b8f574ef4f18c7a2ea1413b7b1457b70 |
TLC with reduction strategy:
|
Subset | Def0 | True | Passed | |
f3ec73a27b0c467dba6a20a912c1fe648eecf18d |
TLC with reduction strategy:
|
Subset | Def0 | False | Passed | |
232ad3bd1b4218b4da6da6a7d16e0422407b6741 |
TLC with reduction strategy:
|
Domain | Def0 | True | Passed | |
5718c51e29804332cb8f5fe777e28b7867e17c14 |
TLC with reduction strategy:
|
Domain | Def0 | False | Passed | |
575c63876c4ce6f4d7a82e7e00cd88a39033bb14 |
TLC with reduction strategy:
|
Union | Def0 | True | Passed | |
ff6c5053b4eb156ea959769e4b61e4a468c053cf |
TLC with reduction strategy:
|
Union | Def0 | False | Passed | |
06634ebb9ffd9265e20892640b288e3d41598f34 |
TLC with reduction strategy:
|
Unchanged | Def0 | True | Passed | |
f759b64a12d1ad9c1bc2ca8527278b7440d950c0 |
TLC with reduction strategy:
|
Unchanged | Def0 | False | Passed | |
991b684c67314fed4808616903816b40f47786a0 |
TLC with reduction strategy:
|
Equivalence | Def0 | True | Passed | |
87188b8fb655a4c2e5ad1fd82fea00ba1681aa58 |
TLC with reduction strategy:
|
Equivalence | Def0 | False | Passed | |
ea7d27cebd1fb4ed0389726b0d9915cc4c88e03c |
TLC with reduction strategy:
|
SeqLen | Def0 | True | Passed | |
a620614762a0cedf05deab0bc8655416340d0420 |
TLC with reduction strategy:
|
SeqLen | Def0 | False | Passed | |
2e51dbde34345fc38e68ebf8d78835e5566d6a61 |
TLC with reduction strategy:
|
SeqConcat | Def0 | True | Passed | |
ce6b3a3c68f1c2cfc22743c12258027541cedef6 |
TLC with reduction strategy:
|
SeqConcat | Def0 | False | Passed | |
7e6543c19cf2f66eade934ff6ed36679f8ea2dc1 |
TLC with reduction strategy:
|
SeqSeq | Def0 | True | Passed | |
aecd761c5b451d1146e93edcabaf1705fac9656c |
TLC with reduction strategy:
|
SeqSeq | Def0 | False | Passed | |
66ac638bc8075b5618d87c48cf60b91752fd36ff |
TLC with reduction strategy:
|
SeqSelectSeq | Def0 | True | Passed | |
1fb5b55c60f1857f92fe48063e4c6974ba2df7e5 |
TLC with reduction strategy:
|
SeqSelectSeq | Def0 | False | Passed | |
feb50f5c6989908d3dcc3951cee27d55f93e54a4 |
TLC with reduction strategy:
|
SeqSubSeq | Def0 | True | Passed | |
530b43713db0d481fd21cde56df77bdd1eb0cc3f |
TLC with reduction strategy:
|
SeqSubSeq | Def0 | False | Passed | |
ae02877a94a32a99811c6c27506878e80fb67d37 |
TLC with reduction strategy:
|
NumRange | Def0 | True | Passed | |
21e3a097eaa08b69642ce531d80109d4e76375dd |
TLC with reduction strategy:
|
NumRange | Def0 | False | Passed | |
136292a3ba93b4eab3065cb7d1f32edb9c7e1dba |
TLC with reduction strategy:
|
TlcSingletonFun | Def0 | True | Passed | |
c5f7cd14a74c572c9b88ca5099326499b3ac3d33 |
TLC with reduction strategy:
|
TlcSingletonFun | Def0 | False | Passed | |
4e9cae1ae295e15b25b8c7ec6e95121265e05ebe |
TLC with reduction strategy:
|
TlcExtendFun | Def0 | True | Passed | |
8d92b7463b6e561e3fc9931a13dd6dfcc2df4b84 |
TLC with reduction strategy:
|
TlcExtendFun | Def0 | False | Passed | |
1563effaa8840ab3954da154f3821e2deccb943c |
TLC with reduction strategy:
|
TlcPermuteFun | Def0 | True | Passed | |
4ae6227c7d77d0713531c354229f28a35dadecc7 |
TLC with reduction strategy:
|
TlcPermuteFun | Def0 | False | Passed | |
ec5a720c1fe5528ff5cacc836273cf2d5bffa1dd |
TLC with reduction strategy:
|
TlcSortSeq | Def0 | True | Passed | |
808259c4d18aa066292da96ed5d775cbe0ea854c |
TLC with reduction strategy:
|
TlcSortSeq | Def0 | False | Passed | |
4dca0ef9ab0fa1b2404f172fea622308bc8fb2ed |
TLC with reduction strategy:
|
TlcEval | Def0 | True | Passed | |
4369ebdcfb74da2982a865420a5583ad3b68d149 |
TLC with reduction strategy:
|
TlcEval | Def0 | False | Passed | |
925a46b2d74552412dd033d77634da5a269c3777 |
TLC with reduction strategy:
|
BagBagToSet | Def0 | True | Passed | |
d0a3bb4da2eb8831b71f5b840cbdfa2c255ba6af |
TLC with reduction strategy:
|
BagBagToSet | Def0 | False | Passed | |
560db1e0afe86dfd6487628ddc7947d6f54c09b7 |
TLC with reduction strategy:
|
BagSetToBag | Def0 | True | Passed | |
67351e9822d6e96c9885a3cea4d51423e1d3b559 |
TLC with reduction strategy:
|
BagSetToBag | Def0 | False | Passed | |
a04c74dd714978a95fec10f00cdfb3a7677a5de8 |
TLC with reduction strategy:
|
BagBagIn | Def0 | True | Passed | |
28b7df455e75a295a24ab0023619e56c3ed7d35c |
TLC with reduction strategy:
|
BagBagIn | Def0 | False | Passed | |
5e9872e156c0c888e82222311fbcb537859f7bc9 |
TLC with reduction strategy:
|
BagAddBag | Def0 | True | Passed | |
6b4f9214a627cf647653933d5e7a3faa0c747c47 |
TLC with reduction strategy:
|
BagAddBag | Def0 | False | Passed | |
445337b2b6d46563caa57057dd8567a892306f13 |
TLC with reduction strategy:
|
BagBagSub | Def0 | True | Passed | |
c7386a0acca1d0eeef64fb70d5bc996613b1911f |
TLC with reduction strategy:
|
BagBagSub | Def0 | False | Passed | |
63b1aac0f40dbffc793c82049351026293426ae0 |
TLC with reduction strategy:
|
BagCopiesIn | Def0 | True | Passed | |
526205c8ff2aa8006afd0c9ca067c88793865b13 |
TLC with reduction strategy:
|
BagCopiesIn | Def0 | False | Passed | |
e8277f3f07c560eaef033edf5e6614c079fba2bc |
TLC with reduction strategy:
|
BagSubsetEqBag | Def0 | True | Passed | |
c31bc833a294430c97a8a76b363fbbc8317f8715 |
TLC with reduction strategy:
|
BagSubsetEqBag | Def0 | False | Passed | |
229c8487b72f20af0edb748c00f59180bcdc8b8c |
TLC with reduction strategy:
|
BagBagUnion | Def0 | True | Passed | |
2b4951ab7fb7004fa826992f902aecb812730fe1 |
TLC with reduction strategy:
|
BagBagUnion | Def0 | False | Passed | |
20f7538133eb6cc0fe3db42f03916d6f98a87a67 |
TLC with reduction strategy:
|
BagBagCardinality | Def0 | True | Passed | |
8ed0000880e14a0782b69f801fd741d356d994bf |
TLC with reduction strategy:
|
BagBagCardinality | Def0 | False | Passed | |
53dbad2b82dd20cc2b4def183c7e2fb294fdb6a2 |
TLC with reduction strategy:
|
BagBagOfAll | Def0 | True | Passed | |
c4e47b73f6ab8464c01b5ea67153faace49b632b |
TLC with reduction strategy:
|
BagBagOfAll | Def0 | False | Passed | |
07d0898f04bfe434ca701797a490f1fdb3a3e931 |
TLC with reduction strategy:
|
BagSubBag | Def0 | True | Passed | |
ce46afe837fb321ec2cf750ed8c290b724ddf38a |
TLC with reduction strategy:
|
BagSubBag | Def0 | False | Passed | |
77461cc46fde780babe3faefedc9abf1f9aa7fb8 |
TLC with reduction strategy:
|
FiniteSetsIsFiniteSet | Def0 | True | Passed | |
c6d5db41d80aea3da8d6c224a76906751841560e |
TLC with reduction strategy:
|
FiniteSetsIsFiniteSet | Def0 | False | Passed | |
fc02daf3c0090077bfd811e89c5ef7ff6353202c |
TLC with reduction strategy:
|
FiniteSetsCardinality | Def0 | True | Passed | |
a3e137698aaae7a4ae43fbd77fb5acf25a67b677 |
TLC with reduction strategy:
|
FiniteSetsCardinality | Def0 | False | Passed | |
c4944bb78b5df1042f383ac68a5e079d48fb1a8c |
TLC with reduction strategy:
|
SeqHead | Def0 | True | Passed | |
39c2eb93f749fa182d6d6bef7762a2e6216ed92a |
TLC with reduction strategy:
|
SeqHead | Def0 | False | Passed | |
c89467413c29a73f987b5182171432901a070607 |
TLC with reduction strategy:
|
SeqTail | Def0 | True | Passed | |
6b13b3db787fd7695e06c642b342043cb9d74c4c |
TLC with reduction strategy:
|
SeqTail | Def0 | False | Passed | |
fac1b88d07d2f63eeb9139bace3f888971029089 |
TLC with reduction strategy:
|
SeqAppend | Def0 | True | Passed | |
b428d47c7425dc38cce29b2ec6ce67c67bdbcdcb |
TLC with reduction strategy:
|
SeqAppend | Def0 | False | Passed |