Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
c05516f6a7c9d5e493e977ecd56543fb87919882 |
TLC with reduction strategy:
|
And | TlcEval | True | Passed | |
c926c577e8e3c935b66b642a1094fb9987a0e250 |
TLC with reduction strategy:
|
And | TlcEval | False | Passed | |
17b3cb88d425f13b2e6bf1764cd27d727a29a0cd |
TLC with reduction strategy:
|
AndMultiLine | TlcEval | True | Passed | |
5f9d9ba8a827af2dac51fb2fd9d730c49029f6af |
TLC with reduction strategy:
|
AndMultiLine | TlcEval | False | Passed | |
520105fa16189e10cd4fb607fe24b84250ce2d9e |
TLC with reduction strategy:
|
Imply | TlcEval | True | Passed | |
cfb8d910ec4a06dd52263ba5383dc4f85f277f23 |
TLC with reduction strategy:
|
Imply | TlcEval | False | Passed | |
adf8e9aa8e295665f25efedc8d0fb7d9c978ab60 |
TLC with reduction strategy:
|
Not | TlcEval | True | Passed | |
0cb835b9a583065d11116cd4cd3a81131f41a40d |
TLC with reduction strategy:
|
Not | TlcEval | False | Passed | |
37b66558029216ac5c328568e1d7b7d99c5633fc |
TLC with reduction strategy:
|
Or | TlcEval | True | Passed | |
5f04890fc57628df68e9faec5475cf1d6e73cb1f |
TLC with reduction strategy:
|
Or | TlcEval | False | Passed | |
12ee3af8624a37c4f3acc5c992858b4cc50291df |
TLC with reduction strategy:
|
OrMultiLine | TlcEval | True | Passed | |
cef476e0ca4917b25e35f489531be940177214e1 |
TLC with reduction strategy:
|
OrMultiLine | TlcEval | False | Passed | |
c7b2d60f77a84078c565944ad6d8f6e2bf8d8470 |
TLC with reduction strategy:
|
AndProp | TlcEval | True | Passed | |
0aac959e7467a4b138fc65060598842c66b2baa4 |
TLC with reduction strategy:
|
AndProp | TlcEval | False | Passed | |
c471219392472176eced444962f4cfe953455ec8 |
TLC with reduction strategy:
|
Boxed | TlcEval | True | Passed | |
52467b341614a8538d580a924e228d07fbdeb230 |
TLC with reduction strategy:
|
Boxed | TlcEval | False | Passed | |
c1bb86f15a9fa99d5b7e6be7f487e7fba30cb390 |
TLC with reduction strategy:
|
Eq | TlcEval | True | Passed | |
b3fe2c452c5731de3520caf77da1ad863fbdd1a1 |
TLC with reduction strategy:
|
Eq | TlcEval | False | Passed | |
ce38650b94e97f08ac4092330f98a9b095077e22 |
TLC with reduction strategy:
|
Ne | TlcEval | True | Passed | |
a4cbfa178af9570e8e0750fbfced95cb881a85ac |
TLC with reduction strategy:
|
Ne | TlcEval | False | Passed | |
ec4a71a51ab52c2c80aaeffcff4a6ddb161b916a |
TLC with reduction strategy:
|
Let | TlcEval | True | Passed | |
55be4039e849e7cf355cff934828b6dfb68c13ea |
TLC with reduction strategy:
|
Let | TlcEval | False | Passed | |
f023a304e05b9efe7cfb10637176c957bf175f78 |
TLC with reduction strategy:
|
Set0 | TlcEval | True | Passed | |
16d643f7e8a8c82bd1aa5c63b626ec5b1f3f237e |
TLC with reduction strategy:
|
Set0 | TlcEval | False | Passed | |
fca0c6e05ac6d4a7e8c7c4dcf514471283b2a5c9 |
TLC with reduction strategy:
|
Set1 | TlcEval | True | Passed | |
d5838f2ee4bbdfe6bafc38f98acb894a6c677a2b |
TLC with reduction strategy:
|
Set1 | TlcEval | False | Passed | |
7fe7658c984088143d9fad91aa03ffa34ee6321b |
TLC with reduction strategy:
|
Set2 | TlcEval | True | Passed | |
9150c8a361781ccee9d16bc07d3877b86589c99b |
TLC with reduction strategy:
|
Set2 | TlcEval | False | Passed | |
936bc957a49828fbb5f3b92608a6a622cf4c6d7c |
TLC with reduction strategy:
|
Fun | TlcEval | True | Passed | |
be56d944714f0beabf4f967bdd0c7997793a5724 |
TLC with reduction strategy:
|
Fun | TlcEval | False | Passed | |
91acf8c159e98a7a30e2a9ce6c2f332cb0ab1928 |
TLC with reduction strategy:
|
In | TlcEval | True | Passed | |
4159205fa04f5d5151f36cc0efdfffd007275913 |
TLC with reduction strategy:
|
In | TlcEval | False | Passed | |
9eddf44ab481a7c152bc4f69b5697f10a8187932 |
TLC with reduction strategy:
|
NotIn | TlcEval | True | Passed | |
891f8ff7ab6d63dc0855580a22842c88da3ce3a2 |
TLC with reduction strategy:
|
NotIn | TlcEval | False | Passed | |
5a5a88174a91d3331e35dc95c5aa4604b7a29116 |
TLC with reduction strategy:
|
Exists | TlcEval | True | Passed | |
529af93b778f20f244d709b3e83e64635705f2d9 |
TLC with reduction strategy:
|
Exists | TlcEval | False | Passed | |
f24688cdd59389fb67ee63d9e76efe218b876d7d |
TLC with reduction strategy:
|
Forall | TlcEval | True | Passed | |
085649f6e47afb7b5da0c7c7b581d2fb19485a82 |
TLC with reduction strategy:
|
Forall | TlcEval | False | Passed | |
053b1c3a59697980205d4864df2b112b543f19a7 |
TLC with reduction strategy:
|
Choose | TlcEval | True | Passed | |
97d656bcbc6b5fceaf0a95d58354d17f3548753b |
TLC with reduction strategy:
|
Choose | TlcEval | False | Passed | |
ab0d3282266d3f464371b8c19d22637bf03ee772 |
TLC with reduction strategy:
|
Record | TlcEval | True | Passed | |
d92649d0d0663f10ff62344cacbb4e92d1839402 |
TLC with reduction strategy:
|
Record | TlcEval | False | Passed | |
6201f4ea28c216ebb0d3d5291510bff48ff7da87 |
TLC with reduction strategy:
|
Tuple | TlcEval | True | Passed | |
597193d3f033fb0f7cf1e082396e986939acc17e |
TLC with reduction strategy:
|
Tuple | TlcEval | False | Passed | |
08680db7b453822cbf4f7948a821b8754287caf8 |
TLC with reduction strategy:
|
FunApp | TlcEval | True | Passed | |
0f2822e03193a2e45608359345e3e1c384948dd2 |
TLC with reduction strategy:
|
FunApp | TlcEval | False | Passed | |
262bfc1c4429bf465f854febcc6f4584bca9a3dd |
TLC with reduction strategy:
|
Except0 | TlcEval | True | Passed | |
2076669c6cf9884af4f15091e4d2fc03e0d97af1 |
TLC with reduction strategy:
|
Except0 | TlcEval | False | Passed | |
de969127820c1ff1ac285620088df648b23aff1b |
TLC with reduction strategy:
|
Except1Fun | TlcEval | True | Passed | |
777f1d8d48960c535a8178a0738134c02f6b0369 |
TLC with reduction strategy:
|
Except1Fun | TlcEval | False | Passed | |
053361dee64e55c9a48578f1e9adacf7e018c8c7 |
TLC with reduction strategy:
|
Except1FunWithAt | TlcEval | True | Passed | |
160a07851d70b75c4bdcb4174095474a3aed6cfd |
TLC with reduction strategy:
|
Except1FunWithAt | TlcEval | False | Passed | |
ae9ea5b201c4d774dc389a9d3d92797fe1633448 |
TLC with reduction strategy:
|
Except1Rec | TlcEval | True | Passed | |
4ffc8e52909d397778361d66d8fd7b74810a30b3 |
TLC with reduction strategy:
|
Except1Rec | TlcEval | False | Passed | |
eca14acaa4ad8cc4f5837df528a09ef065c31e5a |
TLC with reduction strategy:
|
Except1RecWithAt | TlcEval | True | Passed | |
9303dee990329fc2ad27396f2e5d694c6e80f1ac |
TLC with reduction strategy:
|
Except1RecWithAt | TlcEval | False | Passed | |
05d8940273ad45ced5c8f782945c69bc3af0f61d |
TLC with reduction strategy:
|
Except2Fun | TlcEval | True | Passed | |
b365d6cf651814d9e1f1c2bd542f80d0444d317e |
TLC with reduction strategy:
|
Except2Fun | TlcEval | False | Passed | |
4d2790e9d1577ebc5977c3dcea7f5e2d57a813cb |
TLC with reduction strategy:
|
Except2FunTuple | TlcEval | True | Passed | |
4bf0909d121328009dde682c7a3a7914660e5eeb |
TLC with reduction strategy:
|
Except2FunTuple | TlcEval | False | Passed | |
93b3ffcc807adff724e303c29567581a55fe3a8b |
TLC with reduction strategy:
|
Prime | TlcEval | True | Passed | |
81ffc4cf717a58d9a162ea8deebb5016767c15b2 |
TLC with reduction strategy:
|
Prime | TlcEval | False | Passed | |
1e5e84a915d5a4c2db29def93747f7fe6435c547 |
TLC with reduction strategy:
|
NumUnaryMinus | TlcEval | True | Passed | |
baff21ab1d20937dc27cb9023a3ca223abe3ba6e |
TLC with reduction strategy:
|
NumUnaryMinus | TlcEval | False | Passed | |
95d473b1f810772cb7b9c04b8e06fc9711d19ce0 |
TLC with reduction strategy:
|
NumPlus | TlcEval | True | Passed | |
4fbda55a559fe13089606e77a966cb21221ae4d3 |
TLC with reduction strategy:
|
NumPlus | TlcEval | False | Passed | |
b3e4c0836c12a8f663e376a6f730d562e3270136 |
TLC with reduction strategy:
|
NumMinus | TlcEval | True | Passed | |
04f809c2c7c1d1d77f99f66e647984ebed726bfa |
TLC with reduction strategy:
|
NumMinus | TlcEval | False | Passed | |
984f7aac551c64c8d8e316bfab67bab44f035b9f |
TLC with reduction strategy:
|
NumMul | TlcEval | True | Passed | |
10d346260985885da22d38cdaf7b15a8c188abde |
TLC with reduction strategy:
|
NumMul | TlcEval | False | Passed | |
71928f5fa43b06b81fc35a34e33ae399324583a6 |
TLC with reduction strategy:
|
NumDiv | TlcEval | True | Passed | |
808569b6eab2f1215631e207322bc6deec3acd92 |
TLC with reduction strategy:
|
NumDiv | TlcEval | False | Passed | |
d92bbf52c8d9f91a1ccbfad38766fd2c353f1c96 |
TLC with reduction strategy:
|
NumMod | TlcEval | True | Passed | |
50840fe073f8ff44f0c90ee55e73b12cb5e01ef7 |
TLC with reduction strategy:
|
NumMod | TlcEval | False | Passed | |
c22a86b401857849a3591a6a6b92f488ea8b23d6 |
TLC with reduction strategy:
|
NumPow | TlcEval | True | Passed | |
04f4f19857bae134ca28f83cb50d075979543264 |
TLC with reduction strategy:
|
NumPow | TlcEval | False | Passed | |
b3552a7eab6b41b8670a2c8c5cca0da9bda41d11 |
TLC with reduction strategy:
|
NumGt | TlcEval | True | Passed | |
ff82a1d7c38c9679da9d4020d62b69e9ce76e0c1 |
TLC with reduction strategy:
|
NumGt | TlcEval | False | Passed | |
156ebd35cb9d4fb7ef4a77a4ed4fc2371f2b0116 |
TLC with reduction strategy:
|
NumGe | TlcEval | True | Passed | |
86a4d4c8f3fbfbbe31fc9d1853b4ac303e576473 |
TLC with reduction strategy:
|
NumGe | TlcEval | False | Passed | |
522a85c928fdcb010cde76add9cab490582d3aa2 |
TLC with reduction strategy:
|
NumLt | TlcEval | True | Passed | |
c3e4add4ac8613a0d573f56b402dd39743c5de06 |
TLC with reduction strategy:
|
NumLt | TlcEval | False | Passed | |
48e420dd4eb8bddddb3cf29589d5a70b7c8c1c60 |
TLC with reduction strategy:
|
NumLe | TlcEval | True | Passed | |
e4eccc1871a8c5abf04351a11f27307003553569 |
TLC with reduction strategy:
|
NumLe | TlcEval | False | Passed | |
1df42ab3508bf907c79d38792082e13a16c5c707 |
TLC with reduction strategy:
|
DefFun | TlcEval | True | Passed | |
b6c7c53ade5b58391475c275d0c7804ac7e25050 |
TLC with reduction strategy:
|
DefFun | TlcEval | False | Passed | |
5de2a7e815c884d9de91fd2c56e82627307a0f7f |
TLC with reduction strategy:
|
LetDefFun | TlcEval | True | Passed | |
1ead7c38446f94fe5fa3c23dbfa27448da8d728a |
TLC with reduction strategy:
|
LetDefFun | TlcEval | False | Passed | |
506c702a6e6f5dfc93e3092193ff68447002847a |
TLC with reduction strategy:
|
DefFunRecursive | TlcEval | True | Passed | |
7d02bedec04e57834d2a38fedfc292dae412b23f |
TLC with reduction strategy:
|
DefFunRecursive | TlcEval | False | Passed | |
509f3e00aa4cc1a6eeda718bba83ea0ca5d6e8ef |
TLC with reduction strategy:
|
LetDefFunRecursive | TlcEval | True | Passed | |
d9ffe66723fe44fb7546722ece634c66d15c23fc |
TLC with reduction strategy:
|
LetDefFunRecursive | TlcEval | False | Passed | |
732b112f9a0aa9e7809eebfcdb3b60d96cac542e |
TLC with reduction strategy:
|
Def0 | TlcEval | True | Passed | |
708e8a5d219c23ce9ec72aed72df228efacf84f2 |
TLC with reduction strategy:
|
Def0 | TlcEval | False | Passed | |
d9f62e31dc1cdb98dba5dfcd226b7ac05f82f749 |
TLC with reduction strategy:
|
LetDef0 | TlcEval | True | Passed | |
1e625d9a814e05eee699d4f1004acc607fa43b95 |
TLC with reduction strategy:
|
LetDef0 | TlcEval | False | Passed | |
608e577fdd4135494f73c01fc9d87cf1df1f530c |
TLC with reduction strategy:
|
Def1 | TlcEval | True | Passed | |
c2689bec7895a2d096180808b927fedfb0867f3f |
TLC with reduction strategy:
|
Def1 | TlcEval | False | Passed | |
3748f92ea7b2ab08552ea440f0083d880a615dcb |
TLC with reduction strategy:
|
LetDef1 | TlcEval | True | Passed | |
2ac67a0e4b5bed842430e5b24624b766324ded4e |
TLC with reduction strategy:
|
LetDef1 | TlcEval | False | Passed | |
65fea2dbac7420e99607f398dfe09522ab44080d |
TLC with reduction strategy:
|
Def2 | TlcEval | True | Passed | |
1b196327ad41380ce7b242222fe9d03dd8b2c746 |
TLC with reduction strategy:
|
Def2 | TlcEval | False | Passed | |
e9f16b7c13e2602863b1f64a683c6c105ec67369 |
TLC with reduction strategy:
|
LetDef2 | TlcEval | True | Passed | |
e67c03a69261d84950fe9c522c6290f3fba17df9 |
TLC with reduction strategy:
|
LetDef2 | TlcEval | False | Passed | |
413fcb790638c3f2838249eaeed06ff49dd66863 |
TLC with reduction strategy:
|
Def1Recursive | TlcEval | True | Passed | |
44bcc2998c3386f0262918abd32ebc34de36aacb |
TLC with reduction strategy:
|
Def1Recursive | TlcEval | False | Passed | |
d0cc0fb8874c88bd73182c07a1641e7801c781c9 |
TLC with reduction strategy:
|
LetDef1Recursive | TlcEval | True | Passed | |
e944b836a818f7e45f51356ae6900ea5702fd617 |
TLC with reduction strategy:
|
LetDef1Recursive | TlcEval | False | Passed | |
2c5def8b1c0ce53d8fa2bc3abf0741f0a7e49bc3 |
TLC with reduction strategy:
|
Extends | TlcEval | True | Passed | |
20c8c11023ce77656878c850a78315a40ba14311 |
TLC with reduction strategy:
|
Extends | TlcEval | False | Passed | |
55478ba82c6218432fc5c398fee1a20afe1009d8 |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | TlcEval | True | Passed | |
017abc9a2c9eed45d402eddd0efde3167e97bb6f |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | TlcEval | False | Passed | |
7634379b4df6fc9b70c01c28feaa17df0f272523 |
TLC with reduction strategy:
|
Variable | TlcEval | True | Passed | |
4f9c11c5c86884926b58180a12b064ab4fea92a9 |
TLC with reduction strategy:
|
Variable | TlcEval | False | Passed | |
5efa372ddd0f95f387090acb58be830234ecba65 |
TLC with reduction strategy:
|
VariableViewExclude | TlcEval | True | Passed | |
63e90915b25a6a9d2f0a55d96c897d98325b081e |
TLC with reduction strategy:
|
VariableViewExclude | TlcEval | False | Passed | |
2506f85a49b5435b61184b5792ffc86340b7afd5 |
TLC with reduction strategy:
|
Constant | TlcEval | True | Passed | |
307de950118a842a3826ad9e9c448c1a84a5d789 |
TLC with reduction strategy:
|
Constant | TlcEval | False | Passed | |
e5645eee8f75d9f5127ed94412958149c83fb465 |
TLC with reduction strategy:
|
ConstantRank1 | TlcEval | True | Passed | |
40c05b65d71ad12ec37899e4fe020a8b69114a5f |
TLC with reduction strategy:
|
ConstantRank1 | TlcEval | False | Passed | |
8692a85fee52e90fb0432c1623da21b3a90136f9 |
TLC with reduction strategy:
|
Instance | TlcEval | True | Passed | |
dcd3353495019e3abc47a8368cc9603ca8782501 |
TLC with reduction strategy:
|
Instance | TlcEval | False | Passed | |
cb7edef9a09977e80636c74f27182145457533b9 |
TLC with reduction strategy:
|
InstanceWith | TlcEval | True | Passed | |
8879c3218eba59390df2a016114bd6186956365b |
TLC with reduction strategy:
|
InstanceWith | TlcEval | False | Passed | |
856f460261d76d7b4d56e18aefd8c10830972446 |
TLC with reduction strategy:
|
InstanceNamed | TlcEval | True | Passed | |
a5b9c522fce0272b399bfb633cee09f43e7bd28d |
TLC with reduction strategy:
|
InstanceNamed | TlcEval | False | Passed | |
955379d974e56785f2b14a131f553483957cac2c |
TLC with reduction strategy:
|
InstanceNamedWith | TlcEval | True | Passed | |
5679d683c4eea60fe16886f5a5954c660a05f3db |
TLC with reduction strategy:
|
InstanceNamedWith | TlcEval | False | Passed | |
a755f89d7d4779507c7b84bc2fc60ae2d7e93691 |
TLC with reduction strategy:
|
InstanceInFolder | TlcEval | True | Passed | |
90fbbfad16febe78dfd02ca124aeca4632695c65 |
TLC with reduction strategy:
|
InstanceInFolder | TlcEval | False | Passed | |
ab2c7b7f3423ea6b7f1e7738474e5588535b870d |
TLC with reduction strategy:
|
InstanceWithInFolder | TlcEval | True | Passed | |
f0bb5cefdec2f2f8cd8904027807915d6ba7b733 |
TLC with reduction strategy:
|
InstanceWithInFolder | TlcEval | False | Passed | |
5867b1577d7ec0096737f7c94c9e048d7677aa7e |
TLC with reduction strategy:
|
InstanceNamedInFolder | TlcEval | True | Passed | |
f3f5a5bf3e8bc31718f3bfd1a737d874b3fbb531 |
TLC with reduction strategy:
|
InstanceNamedInFolder | TlcEval | False | Passed | |
de769bd36f093e74bd703a00ccfb1a918af9817f |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | TlcEval | True | Passed | |
5fcfb0aefd6e8eeec397a2cdad764f5ef21ae31b |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | TlcEval | False | Passed | |
867c99348b4be5163fba56173d1cbcea949717d1 |
TLC with reduction strategy:
|
Enabled | TlcEval | True | Passed | |
e943ca6ef08e080fcd959a82ab136f2384c42bb7 |
TLC with reduction strategy:
|
Enabled | TlcEval | False | Passed | |
b1907683625c33b7cf94d7b9b72364f8c3ae110e |
TLC with reduction strategy:
|
Assume | TlcEval | True | Passed | |
1d2e76f722968659183dac11f1d5fd3fc93a073a |
TLC with reduction strategy:
|
Assume | TlcEval | False | Passed | |
7267ed0d3b2eca6f01305b1c933039cd59376b89 |
TLC with reduction strategy:
|
AssumeNamed | TlcEval | True | Passed | |
5bd24451a3d45e3906b98af5755a97610db80a8a |
TLC with reduction strategy:
|
AssumeNamed | TlcEval | False | Passed | |
76cb394a222703dbddf678bc8713f0ad9d369c15 |
TLC with reduction strategy:
|
Lambda | TlcEval | True | Passed | |
1174cea9bb07398882b913e07671b0d5d817250a |
TLC with reduction strategy:
|
Lambda | TlcEval | False | Passed | |
239df50eeafb72cf944253978598dd7cd9bd9f0f |
TLC with reduction strategy:
|
Cross2 | TlcEval | True | Passed | |
3d0ad0d2e2770ff80fb77e8b1670f0f15ac60ebc |
TLC with reduction strategy:
|
Cross2 | TlcEval | False | Passed | |
9bd7b0e93e0c95ff08fb1461baa485d5fc28d108 |
TLC with reduction strategy:
|
Cross3 | TlcEval | True | Passed | |
cc472997f7d324fdc59e4802a182cc2f7fb4c7a4 |
TLC with reduction strategy:
|
Cross3 | TlcEval | False | Passed | |
dbd65a39e2abd7d9a39940f8a045aec4d64c836a |
TLC with reduction strategy:
|
FunSet | TlcEval | True | Passed | |
6d8c3e13471eefe4bfcdf2d6546b4c987b0b000f |
TLC with reduction strategy:
|
FunSet | TlcEval | False | Passed | |
c5175e3f7ffa50c392f5131917ad99f307e9a042 |
TLC with reduction strategy:
|
RecordSet | TlcEval | True | Passed | |
af982c237ad702c43dcc48d8e9093dbc9445963b |
TLC with reduction strategy:
|
RecordSet | TlcEval | False | Passed | |
3986b9b4cfeb95cdc60b1997f9a389cb0800845f |
TLC with reduction strategy:
|
SetDiff | TlcEval | True | Passed | |
7dd45d8c526a1a1b12ad9cb2f6fc62f79b0dfa99 |
TLC with reduction strategy:
|
SetDiff | TlcEval | False | Passed | |
142f4bcd37162187dc6139c56c52b9dab8d0f5a1 |
TLC with reduction strategy:
|
SetUnion | TlcEval | True | Passed | |
372a43a813852390ecd9902d7737334423df5a98 |
TLC with reduction strategy:
|
SetUnion | TlcEval | False | Passed | |
d1579783c2b6907dee527229a602a1f8a319ae6c |
TLC with reduction strategy:
|
SetIntersect | TlcEval | True | Passed | |
67bfde26e557f302c2c348045c2b4beb593aa0d1 |
TLC with reduction strategy:
|
SetIntersect | TlcEval | False | Passed | |
cc99be8fa090e7932da7d943edb499c0ea9874f2 |
TLC with reduction strategy:
|
SubsetEq | TlcEval | True | Passed | |
4957a6e40a01658e509e9917edf97bbd9756d77c |
TLC with reduction strategy:
|
SubsetEq | TlcEval | False | Passed | |
4ad362cab37d493a1e80e39669d898a29d365105 |
TLC with reduction strategy:
|
IfCond | TlcEval | True | Passed | |
28cab3d9fca883058829779d5b847cfe771c5dee |
TLC with reduction strategy:
|
IfCond | TlcEval | False | Passed | |
3b8dcf5f482d897d3a7ca359d203f0201cf96e2c |
TLC with reduction strategy:
|
IfThen | TlcEval | True | Passed | |
8ccb2aba524f8938bccc939c2cc27ce544625f68 |
TLC with reduction strategy:
|
IfThen | TlcEval | False | Passed | |
1702312e0d8cd23817f4bd93e57a9c3c29ae7fd9 |
TLC with reduction strategy:
|
IfElse | TlcEval | True | Passed | |
28425281b9c94933fc0b042a0d1758bf36c9bb63 |
TLC with reduction strategy:
|
IfElse | TlcEval | False | Passed | |
0c25d95910e67c3e017c43c809029b828fe2dc41 |
TLC with reduction strategy:
|
Subset | TlcEval | True | Passed | |
8f91a0f3a5ce7f93950d938c583d2854c5e541b5 |
TLC with reduction strategy:
|
Subset | TlcEval | False | Passed | |
f8f06dacfcae8cdf37d739fd18b597035e3255ee |
TLC with reduction strategy:
|
Domain | TlcEval | True | Passed | |
dd6fd47e0e831d16b7ff3d14f9fc467f4f66c90e |
TLC with reduction strategy:
|
Domain | TlcEval | False | Passed | |
d086ec0030c2895765c68376c63c3705f0c77247 |
TLC with reduction strategy:
|
Union | TlcEval | True | Passed | |
966d08afa4db29b4962529b1e4a1dfc274b8dcb3 |
TLC with reduction strategy:
|
Union | TlcEval | False | Passed | |
28fdbc326472dd6e3d3cc53a83ecb2d71a8026c6 |
TLC with reduction strategy:
|
Unchanged | TlcEval | True | Passed | |
c8054c9f2b2d50b4af94a9f64af1b50f5a4fc6cc |
TLC with reduction strategy:
|
Unchanged | TlcEval | False | Passed | |
bbb436fd6120dc73f3a22e01290cff78e5680b72 |
TLC with reduction strategy:
|
Equivalence | TlcEval | True | Passed | |
23d4cc04d2deaf02829bf302759a56cb997fa3ab |
TLC with reduction strategy:
|
Equivalence | TlcEval | False | Passed | |
b2fb9afe6d66abfa8e48b7ac88f6d93292f288cb |
TLC with reduction strategy:
|
SeqLen | TlcEval | True | Passed | |
b1396a0d5fa7abc47879850ef7d838be8a8782d2 |
TLC with reduction strategy:
|
SeqLen | TlcEval | False | Passed | |
75d7d34348d8f58b2e479c430ed75724be0b21af |
TLC with reduction strategy:
|
SeqConcat | TlcEval | True | Passed | |
2c552726cfd42b7f5530cff95b0f6c63a733e0b1 |
TLC with reduction strategy:
|
SeqConcat | TlcEval | False | Passed | |
c94828cb561f9266cc72060e2796436e719e52b5 |
TLC with reduction strategy:
|
SeqSeq | TlcEval | True | Passed | |
fb1829874332508134b20fafb6edc99ca7eaa778 |
TLC with reduction strategy:
|
SeqSeq | TlcEval | False | Passed | |
3b357eefe033ad897d92cb9414ed24f6907b984b |
TLC with reduction strategy:
|
SeqSelectSeq | TlcEval | True | Passed | |
3e3a778bb5ad9ee403839825530b5a408bba253b |
TLC with reduction strategy:
|
SeqSelectSeq | TlcEval | False | Passed | |
dd94a8f7ae6eaedf79ea631f3b616f46500f53fe |
TLC with reduction strategy:
|
SeqSubSeq | TlcEval | True | Passed | |
a072f407b0ed82b99010212788ce7a334e25a5ef |
TLC with reduction strategy:
|
SeqSubSeq | TlcEval | False | Passed | |
bbfb2224c9060a973f6aae2096338b785c6df416 |
TLC with reduction strategy:
|
NumRange | TlcEval | True | Passed | |
8bc359a396373e68019170fcfe46bb23c39231f5 |
TLC with reduction strategy:
|
NumRange | TlcEval | False | Passed | |
29fb444a0d28cda54c975c254ec82dd2386395cc |
TLC with reduction strategy:
|
TlcSingletonFun | TlcEval | True | Passed | |
45ddcec3374eb7575e3b639fe9398360f948c98e |
TLC with reduction strategy:
|
TlcSingletonFun | TlcEval | False | Passed | |
944ef4d3c1b4bbf752494e2e56d4c67e35eb498c |
TLC with reduction strategy:
|
TlcExtendFun | TlcEval | True | Passed | |
8c5293b077f767c1e39b4787076cc67f48184146 |
TLC with reduction strategy:
|
TlcExtendFun | TlcEval | False | Passed | |
7817059012788a6b08d3f1fea3e1400d0574ed8f |
TLC with reduction strategy:
|
TlcPermuteFun | TlcEval | True | Passed | |
a34b57f4ade10c8de29956d0a769566484d70289 |
TLC with reduction strategy:
|
TlcPermuteFun | TlcEval | False | Passed | |
e33c2db6879de1f86d65cf7da02040f891116241 |
TLC with reduction strategy:
|
TlcSortSeq | TlcEval | True | Passed | |
889e6e8ecb10c50358b6987953233b4faf049ed5 |
TLC with reduction strategy:
|
TlcSortSeq | TlcEval | False | Passed | |
ead2566a503195e051464e825c18edc7717ea45e |
TLC with reduction strategy:
|
TlcEval | TlcEval | True | Passed | |
1c1067dd5ae5694a79976bca87f830e435cf9fc0 |
TLC with reduction strategy:
|
TlcEval | TlcEval | False | Passed | |
099bc8ddbddd789983e86bcb68e8b01d721764c1 |
TLC with reduction strategy:
|
BagBagToSet | TlcEval | True | Passed | |
702493326a8dde6db155aa54894aec4740577d0b |
TLC with reduction strategy:
|
BagBagToSet | TlcEval | False | Passed | |
3e9a8e1f9676dfb5be157a44a51cbf913fe6149e |
TLC with reduction strategy:
|
BagSetToBag | TlcEval | True | Passed | |
2fda14168524078acc0b704d708299ad57d67d96 |
TLC with reduction strategy:
|
BagSetToBag | TlcEval | False | Passed | |
453a2810d67d5eee81b3c4e4f36ac95d6a39d8f9 |
TLC with reduction strategy:
|
BagBagIn | TlcEval | True | Passed | |
424b58e9a822fb418b1bfc4117f80053cfd2e625 |
TLC with reduction strategy:
|
BagBagIn | TlcEval | False | Passed | |
8c28e876f73dc0bbe17b30ed75c2482d4cec3fab |
TLC with reduction strategy:
|
BagAddBag | TlcEval | True | Passed | |
2ef20c4a37b1f4f6521ecbc0b21259d676fc0bc6 |
TLC with reduction strategy:
|
BagAddBag | TlcEval | False | Passed | |
42b0af86a2ede7d6e157bb7bd5badfb85aad5bdc |
TLC with reduction strategy:
|
BagBagSub | TlcEval | True | Passed | |
8641ca25d4b2b26b95cc85dfb00d53d85e93f29d |
TLC with reduction strategy:
|
BagBagSub | TlcEval | False | Passed | |
b63c62940d11217d4571ad9aad3c9f9a63ab686c |
TLC with reduction strategy:
|
BagCopiesIn | TlcEval | True | Passed | |
061f066d19cdc368eb47c490fb2b53a086203573 |
TLC with reduction strategy:
|
BagCopiesIn | TlcEval | False | Passed | |
ccb8f524b455d672a21fc3af2a56d43350e99e4c |
TLC with reduction strategy:
|
BagSubsetEqBag | TlcEval | True | Passed | |
064fb14a2f487a621188ef34c9cb9b621d9833c5 |
TLC with reduction strategy:
|
BagSubsetEqBag | TlcEval | False | Passed | |
a13fb8559e3da8c27d94ec6d58f9b246dc1af147 |
TLC with reduction strategy:
|
BagBagUnion | TlcEval | True | Passed | |
33dbc0d872f89b340fc38e2eacf697f103165bec |
TLC with reduction strategy:
|
BagBagUnion | TlcEval | False | Passed | |
d82580b4243c97f6a83d8bcaad94c226107934c9 |
TLC with reduction strategy:
|
BagBagCardinality | TlcEval | True | Passed | |
dfd9d666abfb73f479c90f579b8b9afcc411f4ca |
TLC with reduction strategy:
|
BagBagCardinality | TlcEval | False | Passed | |
3b1bcf61fd7c481491c150edf8ec72387b49266e |
TLC with reduction strategy:
|
BagBagOfAll | TlcEval | True | Passed | |
61551f09353c387d1b49ead5712b93e7b8c96654 |
TLC with reduction strategy:
|
BagBagOfAll | TlcEval | False | Passed | |
344dc2b1cb2171ca9b6d688b02e35d985aa47e97 |
TLC with reduction strategy:
|
BagSubBag | TlcEval | True | Passed | |
c500520c53e2086bf806df626f1fd3b196c9fd16 |
TLC with reduction strategy:
|
BagSubBag | TlcEval | False | Passed | |
5de23736595d1d76d6eae965e13d4bb4dccfdaf4 |
TLC with reduction strategy:
|
FiniteSetsIsFiniteSet | TlcEval | True | Passed | |
1ec25c48eaf5478e456fa4ff4e46002d6ba1d576 |
TLC with reduction strategy:
|
FiniteSetsIsFiniteSet | TlcEval | False | Passed | |
670f8f3c841e0aec7e56bb417cace95eacf9dc24 |
TLC with reduction strategy:
|
FiniteSetsCardinality | TlcEval | True | Passed | |
956855b77ae47fb61740fb7c6fe86bada3508ab6 |
TLC with reduction strategy:
|
FiniteSetsCardinality | TlcEval | False | Passed | |
21ef694cf090d6ced918521ff51ba9bf9b517446 |
TLC with reduction strategy:
|
SeqHead | TlcEval | True | Passed | |
9b76325589316f275cdddd0484721509144b0319 |
TLC with reduction strategy:
|
SeqHead | TlcEval | False | Passed | |
c1cf30d82786a66063bb994880302e1c9f6b9738 |
TLC with reduction strategy:
|
SeqTail | TlcEval | True | Passed | |
cd864b2bc3773b3225abd09f440c508ac8f4c5b3 |
TLC with reduction strategy:
|
SeqTail | TlcEval | False | Passed | |
f95b4443d2a0feb2221de3a37531d6b9e11def62 |
TLC with reduction strategy:
|
SeqAppend | TlcEval | True | Passed | |
d3ce012775dcfe310757ff1d38b7d306bf445a1d |
TLC with reduction strategy:
|
SeqAppend | TlcEval | False | Passed |