Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
d00097011a7013e1732fac41d4f9d7fce54a22ac |
TLC with reduction strategy:
|
TlcSingletonFun | OneLineComment | True | Passed | |
dc3af1dca9aae8e4d1cb20e73eee6f426b97dfc6 |
TLC with reduction strategy:
|
TlcSingletonFun | OneLineComment | False | Passed | |
4baf6528fa321b4aba30500d89be4ab343c16313 |
TLC with reduction strategy:
|
TlcSingletonFun | MultiLineComment | True | Passed | |
1119f2a630129b7e3ec790150fd9dfb19361afb1 |
TLC with reduction strategy:
|
TlcSingletonFun | MultiLineComment | False | Passed | |
51dd3c5ad345e5c2d45fa76a816c00c4e75ea9e0 |
TLC with reduction strategy:
|
TlcSingletonFun | BoolTrue | True | Passed | |
64477ad96f5abccc50174171e6f8f274e5b2ec3d |
TLC with reduction strategy:
|
TlcSingletonFun | BoolTrue | False | Passed | |
f917e3e75304402677c48b3a540442af7d34be96 |
TLC with reduction strategy:
|
TlcSingletonFun | BoolFalse | True | Passed | |
0bba0eb38a2ab75a61f79e0ef1283de056361da7 |
TLC with reduction strategy:
|
TlcSingletonFun | BoolFalse | False | Passed | |
f56fd41c6ce7580dc5734ea93e6cb921fd8af2a4 |
TLC with reduction strategy:
|
TlcSingletonFun | BoolSet | True | Passed | |
61d32b5ae19f24a8f4eec5a435909749be482d2b |
TLC with reduction strategy:
|
TlcSingletonFun | BoolSet | False | Passed | |
58705752ddceb9616cf3cacdc48315990b2de98d |
TLC with reduction strategy:
|
TlcSingletonFun | And | True | Passed | |
76681085cb5a4f71e38202a8bcf132fe9776b516 |
TLC with reduction strategy:
|
TlcSingletonFun | And | False | Passed | |
a1a70a541a0709df79105d2f6769297c8909e7a9 |
TLC with reduction strategy:
|
TlcSingletonFun | AndMultiLine | True | Passed | |
657c8028cb61c7407f6f1d66a6afdb525fd5df00 |
TLC with reduction strategy:
|
TlcSingletonFun | AndMultiLine | False | Passed | |
9f9e12c6c7c0bc8310d8ba9690d82fa918d1e7ad |
TLC with reduction strategy:
|
TlcSingletonFun | Imply | True | Passed | |
9ff1654182e49cbe550a6a7d56327028c913a552 |
TLC with reduction strategy:
|
TlcSingletonFun | Imply | False | Passed | |
b9df9af5c27e6843c291ee72427b7c97f4b9fe2d |
TLC with reduction strategy:
|
TlcSingletonFun | Not | True | Passed | |
ade80967498c039cc6d9923a7531350e8be92fd6 |
TLC with reduction strategy:
|
TlcSingletonFun | Not | False | Passed | |
dcfd80f11c0ab8ce8a5b4b697455afb4b697072b |
TLC with reduction strategy:
|
TlcSingletonFun | Or | True | Passed | |
e84f66064c70a1216eb331bc3ba7c0948b0dd244 |
TLC with reduction strategy:
|
TlcSingletonFun | Or | False | Passed | |
03c0b634ea928d64c511f13cec47daecbb1c3d34 |
TLC with reduction strategy:
|
TlcSingletonFun | OrMultiLine | True | Passed | |
db051b749092db4f54bb5737408f7358ed4a7043 |
TLC with reduction strategy:
|
TlcSingletonFun | OrMultiLine | False | Passed | |
575ddff59cca870e99d373f76c27fcdc139aad6d |
TLC with reduction strategy:
|
TlcSingletonFun | Eq | True | Passed | |
06ed16b184fab0462bfeeaac631188eaea23c1aa |
TLC with reduction strategy:
|
TlcSingletonFun | Eq | False | Passed | |
75bc5d19e73ecfdefe7acfee393811f7ad32ef0a |
TLC with reduction strategy:
|
TlcSingletonFun | Ne | True | Passed | |
cb1cf11250974247a14e6fd43f87fe05cc60df02 |
TLC with reduction strategy:
|
TlcSingletonFun | Ne | False | Passed | |
6bf5d2c5d2ee964a8932510c54a2005f23fb1f12 |
TLC with reduction strategy:
|
TlcSingletonFun | Let | True | Passed | |
f70767a96144bdb4621b5e0ead36d36afffc40f6 |
TLC with reduction strategy:
|
TlcSingletonFun | Let | False | Passed | |
bfb761c1b22a623b3538322ffe7553783687057d |
TLC with reduction strategy:
|
TlcSingletonFun | SetEmpty | True | Passed | |
ab6ca387a9c11fb28992e482a33047edc9607a09 |
TLC with reduction strategy:
|
TlcSingletonFun | SetEmpty | False | Passed | |
3eccd9bb065b60f2a3785f6f7c5c82c7a02be529 |
TLC with reduction strategy:
|
TlcSingletonFun | Set0 | True | Passed | |
e68179672c01d64b089ab2f85189e543e9b21981 |
TLC with reduction strategy:
|
TlcSingletonFun | Set0 | False | Passed | |
98935326150079e31f4f08a4d422d81ad51c6c53 |
TLC with reduction strategy:
|
TlcSingletonFun | Set1 | True | Passed | |
c8156651474e7660e8b173d85e859702e0dc02d4 |
TLC with reduction strategy:
|
TlcSingletonFun | Set1 | False | Passed | |
a114d73bed42b481b3917aa367d6c01f8b564d5b |
TLC with reduction strategy:
|
TlcSingletonFun | Set2 | True | Passed | |
bf588f07f692bf3bd55e2ded2448de5313a21493 |
TLC with reduction strategy:
|
TlcSingletonFun | Set2 | False | Passed | |
0c3e19004c5f91e948deeebb70f6cefa9bd0dc13 |
TLC with reduction strategy:
|
TlcSingletonFun | Fun | True | Passed | |
088bd15d0ff7e1c63f8fb481e78ed780c928d0bf |
TLC with reduction strategy:
|
TlcSingletonFun | Fun | False | Passed | |
2a0509098dfd2b8336857a7b7ec95b9ceb7f051f |
TLC with reduction strategy:
|
TlcSingletonFun | In | True | Passed | |
ca61d12f8ab068ffcce3fecbee4bbe509ea144c0 |
TLC with reduction strategy:
|
TlcSingletonFun | In | False | Passed | |
02a0bd15ff37f334bfae1b24968e60781158e02b |
TLC with reduction strategy:
|
TlcSingletonFun | NotIn | True | Passed | |
a717a6a33816c9c777442867f4ea6e63645b9cd8 |
TLC with reduction strategy:
|
TlcSingletonFun | NotIn | False | Passed | |
98756f5c82f9435793eda1d33a8110eb0ee72510 |
TLC with reduction strategy:
|
TlcSingletonFun | Exists | True | Passed | |
e90e7928769cadcdceeb5457b0c6b91e21d40d1f |
TLC with reduction strategy:
|
TlcSingletonFun | Exists | False | Passed | |
e047f1cfd81769ad37dabffc2a7661c2a5e11b95 |
TLC with reduction strategy:
|
TlcSingletonFun | Forall | True | Passed | |
508f9f4c1cf231a97bf1d3e4fe373b497c7e940d |
TLC with reduction strategy:
|
TlcSingletonFun | Forall | False | Passed | |
691ec366c5effad3044f9aa028509c6d0217e543 |
TLC with reduction strategy:
|
TlcSingletonFun | Choose | True | Passed | |
3e6142c9dcd9988d091a1511c6f4d371998ff7cb |
TLC with reduction strategy:
|
TlcSingletonFun | Choose | False | Passed | |
67647c4703f462aad1ecdf36986c8015fa7286a2 |
TLC with reduction strategy:
|
TlcSingletonFun | Record | True | Passed | |
5f15cce3745d0eb448ef375460bc4b85dee5a825 |
TLC with reduction strategy:
|
TlcSingletonFun | Record | False | Passed | |
96b5ec662a55c4a3ba8ab0a8f3a54de22bb73cc2 |
TLC with reduction strategy:
|
TlcSingletonFun | Tuple | True | Passed | |
82caf683756a978de36d58a323c311b72c25aae4 |
TLC with reduction strategy:
|
TlcSingletonFun | Tuple | False | Passed | |
166fa8f391a7454534f1f1c612d6eae9906ff8fe |
TLC with reduction strategy:
|
TlcSingletonFun | TupleEmpty | True | Passed | |
7dd561bbbab2076b8c5d86ea6d8e3798e3fd5eaf |
TLC with reduction strategy:
|
TlcSingletonFun | TupleEmpty | False | Passed | |
71b761deb522bb1bccf7d5a7b6a3263ae7d52775 |
TLC with reduction strategy:
|
TlcSingletonFun | FunApp | True | Passed | |
d69f72676f8e8b5253b8e362b317a6724ec2bb8c |
TLC with reduction strategy:
|
TlcSingletonFun | FunApp | False | Passed | |
57bbb58af06fc1b390eead61ab91046243fa1b5b |
TLC with reduction strategy:
|
TlcSingletonFun | Prime | True | Passed | |
09c516649fbaf45a4a50b8e76934621929f85a70 |
TLC with reduction strategy:
|
TlcSingletonFun | Prime | False | Passed | |
87c52c8ec98abe5f20d82ae5c7f30f3b00ad099b |
TLC with reduction strategy:
|
TlcSingletonFun | NumZero | True | Passed | |
ffacf6c66fecc88620cdc75481e0f93c8b4bd2ad |
TLC with reduction strategy:
|
TlcSingletonFun | NumZero | False | Passed | |
ce59f13b77868815b25de05528c01587236be60f |
TLC with reduction strategy:
|
TlcSingletonFun | NumOne | True | Passed | |
fd0800a308961329de1d9937dc335866c464b5e9 |
TLC with reduction strategy:
|
TlcSingletonFun | NumOne | False | Passed | |
655eb968bbec58441304d4666a1e18f9e27b7802 |
TLC with reduction strategy:
|
TlcSingletonFun | NumMaxInt | True | Passed | |
77a253c383011a03ab4ea4b8a551f4f748ec9b21 |
TLC with reduction strategy:
|
TlcSingletonFun | NumMaxInt | False | Passed | |
20df2d21070418c89ad194a5ab5e62676b0d1fae |
TLC with reduction strategy:
|
TlcSingletonFun | NumUnaryMinus | True | Passed | |
7f3945d92957f72f48f46328b86b60551e11825b |
TLC with reduction strategy:
|
TlcSingletonFun | NumUnaryMinus | False | Passed | |
7d0f6923a18f3c098ed0950a697f366514008ca4 |
TLC with reduction strategy:
|
TlcSingletonFun | NumPlus | True | Passed | |
c55d9dd241b22211d64c03773fa6cd7529040022 |
TLC with reduction strategy:
|
TlcSingletonFun | NumPlus | False | Passed | |
56cc0336e9c3ba6c87e5c2cbe3deac0d9a8d1801 |
TLC with reduction strategy:
|
TlcSingletonFun | NumMinus | True | Passed | |
da9d5f8a1009cc7490b8c8c5dff82b692ca63b0d |
TLC with reduction strategy:
|
TlcSingletonFun | NumMinus | False | Passed | |
945034d4bf84687b473d225bfc885547cf6fa5d1 |
TLC with reduction strategy:
|
TlcSingletonFun | NumMul | True | Passed | |
8e9472a63bdec69c90146979468c0e9a3c0146da |
TLC with reduction strategy:
|
TlcSingletonFun | NumMul | False | Passed | |
7205ab389c02238c90a0f567d6ad0f9cd6ea88f2 |
TLC with reduction strategy:
|
TlcSingletonFun | NumDiv | True | Passed | |
0d9617a63a90dce4b30c533d10a6daed86c0f162 |
TLC with reduction strategy:
|
TlcSingletonFun | NumDiv | False | Passed | |
6e22a129146a2f39ae7f89cf18226e374df39ed0 |
TLC with reduction strategy:
|
TlcSingletonFun | NumMod | True | Passed | |
896832c9b773223467461b92060e8ea0d22b6494 |
TLC with reduction strategy:
|
TlcSingletonFun | NumMod | False | Passed | |
754fecb5f6ecca798230b2d3e8df2f49aeb3a934 |
TLC with reduction strategy:
|
TlcSingletonFun | NumPow | True | Passed | |
0d8be771d9a00f1737eaf758894d7767a7fb9684 |
TLC with reduction strategy:
|
TlcSingletonFun | NumPow | False | Passed | |
9b8f0c7fb65dd3d86da0b407e2e359f24ffaf9f6 |
TLC with reduction strategy:
|
TlcSingletonFun | NumGt | True | Passed | |
cb89ac39760bc62cfa1f78eef5fcea4974abb5b8 |
TLC with reduction strategy:
|
TlcSingletonFun | NumGt | False | Passed | |
64b04421d62d8445448ff180fd9a562771c34e5c |
TLC with reduction strategy:
|
TlcSingletonFun | NumGe | True | Passed | |
fd70b69ae194817a21cf4ec7dba267049d2cd4d2 |
TLC with reduction strategy:
|
TlcSingletonFun | NumGe | False | Passed | |
7b1b5819d705064f1d8d0e3ca6f22a17b539aa3c |
TLC with reduction strategy:
|
TlcSingletonFun | NumLt | True | Passed | |
516e3208f95b22db96536449e1f42eba6d3ab972 |
TLC with reduction strategy:
|
TlcSingletonFun | NumLt | False | Passed | |
0e36dfc820a55eb503af06cff54b0f6eb1a78a0f |
TLC with reduction strategy:
|
TlcSingletonFun | NumLe | True | Passed | |
8a272b508449ad588965178d5a898fe1d480632f |
TLC with reduction strategy:
|
TlcSingletonFun | NumLe | False | Passed | |
d62a40a4d07c84dd21d88bd62ff590494d84603d |
TLC with reduction strategy:
|
TlcSingletonFun | DefFun | True | Passed | |
5957a7f7bf4646cfd5787c0eb9ef88a73019d131 |
TLC with reduction strategy:
|
TlcSingletonFun | DefFun | False | Passed | |
70913383e7be78c6f44a4d10ca24062228df75b9 |
TLC with reduction strategy:
|
TlcSingletonFun | LetDefFun | True | Passed | |
c8e4cedc62e46a47effd6ce4175c8dd282029f71 |
TLC with reduction strategy:
|
TlcSingletonFun | LetDefFun | False | Passed | |
81cd805c0e95cbec26e0efbfffda86aa14c06029 |
TLC with reduction strategy:
|
TlcSingletonFun | DefFunRecursive | True | Passed | |
7e55c67863e43ca2364df58846bb5bb9d84a9511 |
TLC with reduction strategy:
|
TlcSingletonFun | DefFunRecursive | False | Passed | |
8c40b05fcf98582e076831f9680dc7e6607e2854 |
TLC with reduction strategy:
|
TlcSingletonFun | LetDefFunRecursive | True | Passed | |
6d2f54a9f3342e2680acf1d7eca0acfe4842da10 |
TLC with reduction strategy:
|
TlcSingletonFun | LetDefFunRecursive | False | Passed | |
136292a3ba93b4eab3065cb7d1f32edb9c7e1dba |
TLC with reduction strategy:
|
TlcSingletonFun | Def0 | True | Passed | |
c5f7cd14a74c572c9b88ca5099326499b3ac3d33 |
TLC with reduction strategy:
|
TlcSingletonFun | Def0 | False | Passed | |
e7815b6d52a2082114487bea46722516252adeb7 |
TLC with reduction strategy:
|
TlcSingletonFun | LetDef0 | True | Passed | |
12e394773e91b373e9e064ac8a196e54b9ed9a0b |
TLC with reduction strategy:
|
TlcSingletonFun | LetDef0 | False | Passed | |
ccd15c04965282cadf24a7bf88fe4c8ae877794b |
TLC with reduction strategy:
|
TlcSingletonFun | Def1 | True | Passed | |
53b6faf332db5b273d735848abe9d9af42e88f44 |
TLC with reduction strategy:
|
TlcSingletonFun | Def1 | False | Passed | |
e5220bdfe052a2fbb3524ca7caeaa9ab039f3475 |
TLC with reduction strategy:
|
TlcSingletonFun | LetDef1 | True | Passed | |
eac66f940860ed69ab51848ccc6260f60b1e0e3c |
TLC with reduction strategy:
|
TlcSingletonFun | LetDef1 | False | Passed | |
f7728939dcad4bd71ea54f2d2b08f01892a4b517 |
TLC with reduction strategy:
|
TlcSingletonFun | Def2 | True | Passed | |
daeb2c8d399332231ceef6818e2a691541b1a442 |
TLC with reduction strategy:
|
TlcSingletonFun | Def2 | False | Passed | |
3e7d3065562e144b0f9b340be8436963be544496 |
TLC with reduction strategy:
|
TlcSingletonFun | LetDef2 | True | Passed | |
9f26ec44b72ec303e262f2eb8ccd7223fe10aaf4 |
TLC with reduction strategy:
|
TlcSingletonFun | LetDef2 | False | Passed | |
9481a6fa3c12aad31ef3c7e98be09bfb85b67ff2 |
TLC with reduction strategy:
|
TlcSingletonFun | Def1Recursive | True | Passed | |
f7a6afedc4edc93a23823617cba2515d1091c0db |
TLC with reduction strategy:
|
TlcSingletonFun | Def1Recursive | False | Passed | |
6b4c99116178d4e33a43651f508462560a8154ea |
TLC with reduction strategy:
|
TlcSingletonFun | LetDef1Recursive | True | Passed | |
01809cafbc0dafac0007396883f6fa3835dbf6ea |
TLC with reduction strategy:
|
TlcSingletonFun | LetDef1Recursive | False | Passed | |
4c4b8ba556746b0c7b0cdfbb96d22dcdd1a51269 |
TLC with reduction strategy:
|
TlcSingletonFun | Extends | True | Passed | |
d26ad38e10560321a8d9605d85f9c1eb95e1c519 |
TLC with reduction strategy:
|
TlcSingletonFun | Extends | False | Passed | |
68320bd554884cbf7ff10591bbd2f481fdf298d6 |
TLC with reduction strategy:
|
TlcSingletonFun | ExtendsInDifferentFolder | True | Passed | |
ff666b37a0942b215733dedaee6b46560e5867ff |
TLC with reduction strategy:
|
TlcSingletonFun | ExtendsInDifferentFolder | False | Passed | |
b564f92b1e1406ffc07ed0201a0abf168025360a |
TLC with reduction strategy:
|
TlcSingletonFun | Variable | True | Passed | |
32f14bdb40702b5e6a6035a62f419a581ee5047c |
TLC with reduction strategy:
|
TlcSingletonFun | Variable | False | Passed | |
d005a2004f2d29c6d4f964be4e6cb2573184d523 |
TLC with reduction strategy:
|
TlcSingletonFun | Constant | True | Passed | |
c08239688f779a69a501c174284bfb44d6f40165 |
TLC with reduction strategy:
|
TlcSingletonFun | Constant | False | Passed | |
0a8c144918bc4295279dcbcd7b77c8a360241113 |
TLC with reduction strategy:
|
TlcSingletonFun | ConstantRank1 | True | Passed | |
0323f66aea3bcb6bea78bb662a7f6bb475c973f3 |
TLC with reduction strategy:
|
TlcSingletonFun | ConstantRank1 | False | Passed | |
9b8b9d8cc56e89faface3ca8ec0bf0300710bb88 |
TLC with reduction strategy:
|
TlcSingletonFun | Instance | True | Passed | |
056780bd4df6d79a0a989a590b59e04a4dc81833 |
TLC with reduction strategy:
|
TlcSingletonFun | Instance | False | Passed | |
b57536864384e0df011965cf8767409cc1793330 |
TLC with reduction strategy:
|
TlcSingletonFun | InstanceWith | True | Passed | |
9cf31f9e4ba1bb9e2fe1034c9e41a5601516c017 |
TLC with reduction strategy:
|
TlcSingletonFun | InstanceWith | False | Passed | |
89c4c8e5f8d3712bd9ef7f82f082889e00dfba70 |
TLC with reduction strategy:
|
TlcSingletonFun | InstanceNamed | True | Passed | |
8ddfa7f2b4dd5ae26d8706afa5bc792731e6896b |
TLC with reduction strategy:
|
TlcSingletonFun | InstanceNamed | False | Passed | |
7c20353153b75efcf4697a5ac84498def704e85b |
TLC with reduction strategy:
|
TlcSingletonFun | InstanceNamedWith | True | Passed | |
70f89ba6b206003841ad45cc5ae33b8a15c5e445 |
TLC with reduction strategy:
|
TlcSingletonFun | InstanceNamedWith | False | Passed | |
86bd58e42298adcc5505e9c363da57ce3b9d8485 |
TLC with reduction strategy:
|
TlcSingletonFun | InstanceInFolder | True | Passed | |
d26557e258873fd28fb438452e5ed3023c6ee66d |
TLC with reduction strategy:
|
TlcSingletonFun | InstanceInFolder | False | Passed | |
852f4070985181b22a478b17839fd261df60f9ad |
TLC with reduction strategy:
|
TlcSingletonFun | InstanceWithInFolder | True | Passed | |
ca6860d280cc8667ab00641ba11f72c8bb4c7dba |
TLC with reduction strategy:
|
TlcSingletonFun | InstanceWithInFolder | False | Passed | |
4c0854404ec4bc1749ef5b7dab23a90f04b8c27f |
TLC with reduction strategy:
|
TlcSingletonFun | InstanceNamedInFolder | True | Passed | |
03ba4f438c49da1445a22351ca87a7395ac1e653 |
TLC with reduction strategy:
|
TlcSingletonFun | InstanceNamedInFolder | False | Passed | |
e57197c2a688be1bef4c4dbe618b07db4b71228c |
TLC with reduction strategy:
|
TlcSingletonFun | InstanceNamedWithInFolder | True | Passed | |
93a16582f7d29a9c475fdd04e7ed2e895396b71f |
TLC with reduction strategy:
|
TlcSingletonFun | InstanceNamedWithInFolder | False | Passed | |
6fde2e09a3231455b53dba075bb2d0692d615864 |
TLC with reduction strategy:
|
TlcSingletonFun | Enabled | True | Passed | |
33ead6a5fe32571d38c1d978529bb04fc85756c4 |
TLC with reduction strategy:
|
TlcSingletonFun | Enabled | False | Passed | |
e9142c788094b48469fd8e5faff5b5dc97fd9942 |
TLC with reduction strategy:
|
TlcSingletonFun | Cross2 | True | Passed | |
efec82927743ffc141aae19b28932330922e9878 |
TLC with reduction strategy:
|
TlcSingletonFun | Cross2 | False | Passed | |
ca190758d449d815c569b7a9a930fd4508524121 |
TLC with reduction strategy:
|
TlcSingletonFun | Cross3 | True | Passed | |
ec2bfb0db1797c670b3d131eb4507308f08d14bd |
TLC with reduction strategy:
|
TlcSingletonFun | Cross3 | False | Passed | |
8fa589d398a7b7163dab7829d24618d93b4593a2 |
TLC with reduction strategy:
|
TlcSingletonFun | FunSet | True | Passed | |
b34a346cc46e72e5beaf91fe2ee8699f2d80788a |
TLC with reduction strategy:
|
TlcSingletonFun | FunSet | False | Passed | |
daf97e75752632e25a22f8952bc561750ccd986f |
TLC with reduction strategy:
|
TlcSingletonFun | RecordSet | True | Passed | |
f0c21b8a431efdd7e2231371ff41116871dce399 |
TLC with reduction strategy:
|
TlcSingletonFun | RecordSet | False | Passed | |
c7067b0edc324f06d15c0dfe46d34d9dd9a697f0 |
TLC with reduction strategy:
|
TlcSingletonFun | SetDiff | True | Passed | |
94b088207ae9b2b1902fcd0af37d103ac618e056 |
TLC with reduction strategy:
|
TlcSingletonFun | SetDiff | False | Passed | |
b9bac57eccd60daddc79b1e06edee03b88c080da |
TLC with reduction strategy:
|
TlcSingletonFun | SetUnion | True | Passed | |
753297840802a0d158dfc2a02a30b21ac7d0d5c0 |
TLC with reduction strategy:
|
TlcSingletonFun | SetUnion | False | Passed | |
3b91108bf04e76e79d5fbb5cf4d2e405b6b14a64 |
TLC with reduction strategy:
|
TlcSingletonFun | SetIntersect | True | Passed | |
424af7cf16a0e46325afd53aee7e7b59bf24dfa2 |
TLC with reduction strategy:
|
TlcSingletonFun | SetIntersect | False | Passed | |
5cfb63f180258c3bf70ddcc87dc1b780c68f7037 |
TLC with reduction strategy:
|
TlcSingletonFun | SubsetEq | True | Passed | |
f362abb8fcdd5a881e6a890428d67598f7a80ba5 |
TLC with reduction strategy:
|
TlcSingletonFun | SubsetEq | False | Passed | |
1e35fc6c6e0cbb7874d26645ce13077a789eb305 |
TLC with reduction strategy:
|
TlcSingletonFun | IfCond | True | Passed | |
f674fde68ea47b43ac247e4ac1ec80b0b84dacfb |
TLC with reduction strategy:
|
TlcSingletonFun | IfCond | False | Passed | |
14006c88559c250f054fb57f7ebaa0592dbec41e |
TLC with reduction strategy:
|
TlcSingletonFun | IfThen | True | Passed | |
430f9224b8fe67bff07ca70935929266cb4d187e |
TLC with reduction strategy:
|
TlcSingletonFun | IfThen | False | Passed | |
46dcc4f18130c373806dbfd001fccb73b7c5f6e8 |
TLC with reduction strategy:
|
TlcSingletonFun | IfElse | True | Passed | |
1251afb4863526cc08e70cc5d4ddfb961a9c4a47 |
TLC with reduction strategy:
|
TlcSingletonFun | IfElse | False | Passed | |
218fad5e4e8f55ce5ae4704c1835cf8ee32b9e29 |
TLC with reduction strategy:
|
TlcSingletonFun | Subset | True | Passed | |
c1fa99453ba29388359ebbd14701c7ca8291cecc |
TLC with reduction strategy:
|
TlcSingletonFun | Subset | False | Passed | |
337a679a601697d1d501309e5afdea39050dc795 |
TLC with reduction strategy:
|
TlcSingletonFun | Domain | True | Passed | |
4b82477b7356773c0631349b9ae60d4654d2fc5d |
TLC with reduction strategy:
|
TlcSingletonFun | Domain | False | Passed | |
27f3497cce00f0859db901a675a1ff6dd08e828e |
TLC with reduction strategy:
|
TlcSingletonFun | Union | True | Passed | |
852935eecbe17a148752f024db0d18b3ee896dce |
TLC with reduction strategy:
|
TlcSingletonFun | Union | False | Passed | |
8ebdd6ed1ca48ebae4082595d77fc3bf21155f74 |
TLC with reduction strategy:
|
TlcSingletonFun | Unchanged | True | Passed | |
29d96bcc9930fb4e549cae1121738f756af30d51 |
TLC with reduction strategy:
|
TlcSingletonFun | Unchanged | False | Passed | |
107072445b47570e745261e71fc1e13e9f0bbfaa |
TLC with reduction strategy:
|
TlcSingletonFun | Equivalence | True | Passed | |
0d6a4de8ed867381539f41a935474669b2a1968d |
TLC with reduction strategy:
|
TlcSingletonFun | Equivalence | False | Passed | |
3a399368edfbcbbaeede687f5b7090746edc17c7 |
TLC with reduction strategy:
|
TlcSingletonFun | StringEmpty | True | Passed | |
b6238aab5c2d1ff533aea756109690c9e81351fb |
TLC with reduction strategy:
|
TlcSingletonFun | StringEmpty | False | Passed | |
347fb9c32a52d6091f1a752944b203de689ba425 |
TLC with reduction strategy:
|
TlcSingletonFun | String | True | Passed | |
3a28a6192f90184e2e03fbb5506340c49023b841 |
TLC with reduction strategy:
|
TlcSingletonFun | String | False | Passed | |
7d4be02419ceefc569909f6984c2c29c1f8f10da |
TLC with reduction strategy:
|
TlcSingletonFun | SeqLen | True | Passed | |
dcf757363d31920e65bc0dfea4fb696adea0da53 |
TLC with reduction strategy:
|
TlcSingletonFun | SeqLen | False | Passed | |
acdff6e20ff786a950c33136366a59d6088cbde2 |
TLC with reduction strategy:
|
TlcSingletonFun | SeqConcat | True | Passed | |
85d74e3878cd8915041d03b40f8e678aad616971 |
TLC with reduction strategy:
|
TlcSingletonFun | SeqConcat | False | Passed | |
12f7528f4cc81db7b2d4d6bfb5e07b694019a92a |
TLC with reduction strategy:
|
TlcSingletonFun | SeqSelectSeq | True | Passed | |
72fa1fc1fcc25fd75b4d7c9b900a606fa5b55a9a |
TLC with reduction strategy:
|
TlcSingletonFun | SeqSelectSeq | False | Passed | |
7fe977514dac0e164efc60ba95d4145a91e5761b |
TLC with reduction strategy:
|
TlcSingletonFun | SeqSubSeq | True | Passed | |
472fe2a3c82532973d8adc9e773206e58b52a24e |
TLC with reduction strategy:
|
TlcSingletonFun | SeqSubSeq | False | Passed | |
7d3f8ed1c1e77bb696ea245d0278512bc8f5be13 |
TLC with reduction strategy:
|
TlcSingletonFun | NumRange | True | Passed | |
8b1e9adbb1492095e3e58b86ba09d024a58d9718 |
TLC with reduction strategy:
|
TlcSingletonFun | NumRange | False | Passed | |
c489200d2a1d59eb234c9e27943f21983f789e89 |
TLC with reduction strategy:
|
TlcSingletonFun | TlcSingletonFun | True | Passed | |
15a9c695b2f9644c9b6a0cb8c0771fdc37dbc6a2 |
TLC with reduction strategy:
|
TlcSingletonFun | TlcSingletonFun | False | Passed | |
70dac2e0b277d1b3bf64c486289ee966dd78a4c6 |
TLC with reduction strategy:
|
TlcSingletonFun | TlcExtendFun | True | Passed | |
b39b2d8522ffffdda13d8690c7fe5402b066a567 |
TLC with reduction strategy:
|
TlcSingletonFun | TlcExtendFun | False | Passed | |
e167b946094b7b52ab1b1f0bbc8e077afd69cb04 |
TLC with reduction strategy:
|
TlcSingletonFun | TlcPermuteFun | True | Passed | |
a7543d2c613ae41f0fd240b8869dbc6001e45f32 |
TLC with reduction strategy:
|
TlcSingletonFun | TlcPermuteFun | False | Passed | |
20f20c8eaa78d6e4da9165c6f6e0bf9bff062256 |
TLC with reduction strategy:
|
TlcSingletonFun | TlcSortSeq | True | Passed | |
0f43300af39b21bf8dd51c76f8c62fcf005a666d |
TLC with reduction strategy:
|
TlcSingletonFun | TlcSortSeq | False | Passed | |
29fb444a0d28cda54c975c254ec82dd2386395cc |
TLC with reduction strategy:
|
TlcSingletonFun | TlcEval | True | Passed | |
45ddcec3374eb7575e3b639fe9398360f948c98e |
TLC with reduction strategy:
|
TlcSingletonFun | TlcEval | False | Passed | |
80267a9da1114ab72ada5323bc2873ddbe1c81e2 |
TLC with reduction strategy:
|
TlcSingletonFun | BagBagToSet | True | Passed | |
316586f75085041626f9f6c44588d5c9dc852543 |
TLC with reduction strategy:
|
TlcSingletonFun | BagBagToSet | False | Passed | |
4fe084a5a726bcbfa61e31d57c8c775c19550364 |
TLC with reduction strategy:
|
TlcSingletonFun | BagSetToBag | True | Passed | |
564981b082be12744c515dc4b86f2cd60bf16c5a |
TLC with reduction strategy:
|
TlcSingletonFun | BagSetToBag | False | Passed | |
f9dc74adbdc4144b3cc70d0929095de0b0661325 |
TLC with reduction strategy:
|
TlcSingletonFun | BagBagIn | True | Passed | |
d953092341bfb2127bd80891cb4b4d923dbc5081 |
TLC with reduction strategy:
|
TlcSingletonFun | BagBagIn | False | Passed | |
eeb9559323fc60b51ec302939492dc5859f34e4b |
TLC with reduction strategy:
|
TlcSingletonFun | BagEmptyBag | True | Passed | |
bb43cfc46b01801804f3b813a9989f03f0e33942 |
TLC with reduction strategy:
|
TlcSingletonFun | BagEmptyBag | False | Passed | |
aa7336189add7d3d0914c981df7595ea649964f0 |
TLC with reduction strategy:
|
TlcSingletonFun | BagAddBag | True | Passed | |
0b8c0c2823b3b6d9e8aa664b8b0e074b48333a3b |
TLC with reduction strategy:
|
TlcSingletonFun | BagAddBag | False | Passed | |
9039dee015e583bce41e7097d9af9f81bc54f3ff |
TLC with reduction strategy:
|
TlcSingletonFun | BagBagSub | True | Passed | |
a1c4e161d8f554125d8ac717d57dfa4740bdd903 |
TLC with reduction strategy:
|
TlcSingletonFun | BagBagSub | False | Passed | |
185ca5f424f344cf784509037e1532509411b50b |
TLC with reduction strategy:
|
TlcSingletonFun | BagCopiesIn | True | Passed | |
1de5b332fb2d8a966b2df666522c8bb8a72157f6 |
TLC with reduction strategy:
|
TlcSingletonFun | BagCopiesIn | False | Passed | |
7af63085a615d585ddf43b3bf5cb388cd84c92a1 |
TLC with reduction strategy:
|
TlcSingletonFun | BagSubsetEqBag | True | Passed | |
9536bbd5c919ba96a0840f5f348d91579fa6cbc2 |
TLC with reduction strategy:
|
TlcSingletonFun | BagSubsetEqBag | False | Passed | |
688f41423d98c07be8432bb3ad73bb977dac25a7 |
TLC with reduction strategy:
|
TlcSingletonFun | BagBagUnion | True | Passed | |
d2e6454a91a48da55b826d6c35522aec2e9c74a7 |
TLC with reduction strategy:
|
TlcSingletonFun | BagBagUnion | False | Passed | |
178051105bc6f929d49e49dc8798501ef52d6269 |
TLC with reduction strategy:
|
TlcSingletonFun | BagBagCardinality | True | Passed | |
6320a1b637d188b20d5cc1fd60b4783042710c10 |
TLC with reduction strategy:
|
TlcSingletonFun | BagBagCardinality | False | Passed | |
66615778c4ccf70fd87268bbf4b252bd00d3e1d7 |
TLC with reduction strategy:
|
TlcSingletonFun | BagBagOfAll | True | Passed | |
5b9be598b3d6341cd3be1a16980ac10aab6d6d85 |
TLC with reduction strategy:
|
TlcSingletonFun | BagBagOfAll | False | Passed | |
9ec12a5363aaa01e2a85c493c4033a967cb96701 |
TLC with reduction strategy:
|
TlcSingletonFun | BagSubBag | True | Passed | |
61533dc851f470f414b7f37a82cc0fa479144a93 |
TLC with reduction strategy:
|
TlcSingletonFun | BagSubBag | False | Passed | |
bd60bbd1d8e162a20f5d0cbe2917c0b3bbcec429 |
TLC with reduction strategy:
|
TlcSingletonFun | FiniteSetsIsFiniteSet | True | Passed | |
5a4c138e46fb3b226b629bdfb23e11aa987dcf96 |
TLC with reduction strategy:
|
TlcSingletonFun | FiniteSetsIsFiniteSet | False | Passed | |
a46e635c2043fe2f5d95b435c3e792f7154bd2d1 |
TLC with reduction strategy:
|
TlcSingletonFun | FiniteSetsCardinality | True | Passed | |
c3c10cc3d8e0b1d799a8ec3d8302d6fee838537a |
TLC with reduction strategy:
|
TlcSingletonFun | FiniteSetsCardinality | False | Passed | |
6ad0bf615f4d3f6ad78a30a248ae7aa966337123 |
TLC with reduction strategy:
|
TlcSingletonFun | SeqHead | True | Passed | |
2a21bf7f3e30ef57faa0f167fae08e903e2a0f9d |
TLC with reduction strategy:
|
TlcSingletonFun | SeqHead | False | Passed | |
fa68e382daac6c47e70b18297653d3d2b2bea70f |
TLC with reduction strategy:
|
TlcSingletonFun | SeqTail | True | Passed | |
34b8c1b8a2801ca1cf10a61ef4cef05d23327fc2 |
TLC with reduction strategy:
|
TlcSingletonFun | SeqTail | False | Passed | |
4cfcf651a0c89a9d234105db6f31f6a1d6e557a9 |
TLC with reduction strategy:
|
TlcSingletonFun | SeqAppend | True | Passed | |
9de97bdc198ffe7ee7ca91b90c899f2367f03f1b |
TLC with reduction strategy:
|
TlcSingletonFun | SeqAppend | False | Passed |