Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
58642fee2c0921d02e5186b63b7e158f3cab5e47 |
TLC with reduction strategy:
|
InstanceNamed | OneLineComment | True | Passed | |
5b0a2ef67917088234f5ce19178af791d088f0ba |
TLC with reduction strategy:
|
InstanceNamed | OneLineComment | False | Passed | |
65803bdff2dc4dd0cfc61bb73fba2a33133942d6 |
TLC with reduction strategy:
|
InstanceNamed | MultiLineComment | True | Passed | |
62e4ef7303e6ea7b63dda3994b050eae435e3719 |
TLC with reduction strategy:
|
InstanceNamed | MultiLineComment | False | Passed | |
be85a3969e34bc34ca6128e3b087a0a23c2e966f |
TLC with reduction strategy:
|
InstanceNamed | BoolTrue | True | Passed | |
e94319fde3d3e733dc679807f8bc08c2bc7f102e |
TLC with reduction strategy:
|
InstanceNamed | BoolTrue | False | Passed | |
91fd7ba0e119c66fc8db0966975e7f898e5a9b0b |
TLC with reduction strategy:
|
InstanceNamed | BoolFalse | True | Passed | |
95d7cb76db667d5ad84353f1dc88d648a97f6ca0 |
TLC with reduction strategy:
|
InstanceNamed | BoolFalse | False | Passed | |
b820337c7f79539b453117944340e38df8b79a9e |
TLC with reduction strategy:
|
InstanceNamed | BoolSet | True | Passed | |
cfc688c9e99eb6d66c7ef49b94eb11e8843b5d42 |
TLC with reduction strategy:
|
InstanceNamed | BoolSet | False | Passed | |
a86677af838ec99ebccec4bd8f824e9d0479d00f |
TLC with reduction strategy:
|
InstanceNamed | And | True | Passed | |
5e795d959eb510976d6a81fb25299f0b933150d3 |
TLC with reduction strategy:
|
InstanceNamed | And | False | Passed | |
1b57d1e7eef627b869e515a35761e1597fbeb9f3 |
TLC with reduction strategy:
|
InstanceNamed | AndMultiLine | True | Passed | |
45fb3cc8c0cd1cdf70811a931565627f1e593ab5 |
TLC with reduction strategy:
|
InstanceNamed | AndMultiLine | False | Passed | |
957ed54a5de90f8d8abf6f553c5e29ad431519f4 |
TLC with reduction strategy:
|
InstanceNamed | Imply | True | Passed | |
020f4df01bd141550b0a5f63902f5a42efaa1404 |
TLC with reduction strategy:
|
InstanceNamed | Imply | False | Passed | |
e8ab29ffce659835c657c269cbd12e2460ef673d |
TLC with reduction strategy:
|
InstanceNamed | Not | True | Passed | |
23cfbe4994364918a468df494615a0fda5fa5cd8 |
TLC with reduction strategy:
|
InstanceNamed | Not | False | Passed | |
98b0bde5624c2e7b73d8d8fc1a2f975c059eba6c |
TLC with reduction strategy:
|
InstanceNamed | Or | True | Passed | |
f597bdb56f1d1c5e539341710230f16cecf85620 |
TLC with reduction strategy:
|
InstanceNamed | Or | False | Passed | |
75bf1b51bf1b2c00048784ce6530df35689c510f |
TLC with reduction strategy:
|
InstanceNamed | OrMultiLine | True | Passed | |
a05f6a4f19727aaa11a36985ca873b9d6bdfb1b8 |
TLC with reduction strategy:
|
InstanceNamed | OrMultiLine | False | Passed | |
16e0baf29aa5e8c7479c77f4328a6405be5bd9f0 |
TLC with reduction strategy:
|
InstanceNamed | AndProp | True | Passed | |
f004a74013461e812b5510ab4095f969d3303977 |
TLC with reduction strategy:
|
InstanceNamed | AndProp | False | Passed | |
48508d9d39618bdfbc6111fbcfaa5a67cc3b2cff |
TLC with reduction strategy:
|
InstanceNamed | Boxed | True | Passed | |
2bb0d1d740c4f82979b25eb76c730293a89daf57 |
TLC with reduction strategy:
|
InstanceNamed | Boxed | False | Passed | |
82326037af85fe6a851f5fcac0bbdbce2575abbf |
TLC with reduction strategy:
|
InstanceNamed | Eq | True | Passed | |
1052699b655cf7051e77519d4fa8781a1936fd71 |
TLC with reduction strategy:
|
InstanceNamed | Eq | False | Passed | |
2d8d1acbdfc4e1baf341b40a77edeb1c6888561e |
TLC with reduction strategy:
|
InstanceNamed | Ne | True | Passed | |
72919f542c3601109870dda8b41e8900bd966bbd |
TLC with reduction strategy:
|
InstanceNamed | Ne | False | Passed | |
d4b6acc50824982173649795c08a00aaa18f7880 |
TLC with reduction strategy:
|
InstanceNamed | Let | True | Passed | |
af8962a7349b2b961a4d67018d434228273696f7 |
TLC with reduction strategy:
|
InstanceNamed | Let | False | Passed | |
b4ecc6f8ea544de2e7ec7fc843516a88f64ed1d7 |
TLC with reduction strategy:
|
InstanceNamed | SetEmpty | True | Passed | |
98b46eb9b77b784d76f6700c0e570824a7c517c7 |
TLC with reduction strategy:
|
InstanceNamed | SetEmpty | False | Passed | |
b961c944f471ad59a9db26f1839e27686dbd2b95 |
TLC with reduction strategy:
|
InstanceNamed | Set0 | True | Passed | |
ad5934026c4f79c56c990342fba1692880de7603 |
TLC with reduction strategy:
|
InstanceNamed | Set0 | False | Passed | |
7b204c4a19403ee7a345d2bef2d5daad82343285 |
TLC with reduction strategy:
|
InstanceNamed | Set1 | True | Passed | |
df8786c390fa7b1d79b619a9032b049dc3bb4234 |
TLC with reduction strategy:
|
InstanceNamed | Set1 | False | Passed | |
73dd3c0d07a0ced4ee4ba97dbac6d1e3f69c608c |
TLC with reduction strategy:
|
InstanceNamed | Set2 | True | Passed | |
f4a140c544a30d0b764b74224165c6cfe59e5683 |
TLC with reduction strategy:
|
InstanceNamed | Set2 | False | Passed | |
45207f39b0f6b6bdaa1d2a07546343d84a5bf4d7 |
TLC with reduction strategy:
|
InstanceNamed | Fun | True | Passed | |
b061169afbadda187e0c0e0cc23e9ccc06512c74 |
TLC with reduction strategy:
|
InstanceNamed | Fun | False | Passed | |
6a1ee4c37998077dffb4528b178cbb6f2abe1c6d |
TLC with reduction strategy:
|
InstanceNamed | In | True | Passed | |
6ea2bc8124fc2d20876a5c70595d1fb1629dc893 |
TLC with reduction strategy:
|
InstanceNamed | In | False | Passed | |
faaf82312ea2c22798b688775f5a85e40582e85e |
TLC with reduction strategy:
|
InstanceNamed | NotIn | True | Passed | |
d5edbf539fea2b5be71b9864523ddb8986f7ef3c |
TLC with reduction strategy:
|
InstanceNamed | NotIn | False | Passed | |
0df2b7d7f0c1259ef254b06720317a587cc5e04a |
TLC with reduction strategy:
|
InstanceNamed | Exists | True | Passed | |
effaf305285dbff08e1179ba1475fe391553b9f8 |
TLC with reduction strategy:
|
InstanceNamed | Exists | False | Passed | |
263e295774cd0e463cc45146d0d8aca627cba884 |
TLC with reduction strategy:
|
InstanceNamed | Forall | True | Passed | |
9539dbf863be9c52a684883100d7b0e091ff8898 |
TLC with reduction strategy:
|
InstanceNamed | Forall | False | Passed | |
f17f432762b82166caf06e73ba57ca38266cba3b |
TLC with reduction strategy:
|
InstanceNamed | Choose | True | Passed | |
cffff93b2acb96aa2671b073a4d0f096b3c9ce47 |
TLC with reduction strategy:
|
InstanceNamed | Choose | False | Passed | |
4941dc5c2312656e3c0943e71eb7837f13e90a23 |
TLC with reduction strategy:
|
InstanceNamed | Record | True | Passed | |
6d77ee3ff00dfb59e0ea64f38d819c3febc992fd |
TLC with reduction strategy:
|
InstanceNamed | Record | False | Passed | |
1f9dca8b500a1fa2b90aa3648debff2473258187 |
TLC with reduction strategy:
|
InstanceNamed | Tuple | True | Passed | |
0b7c605a40cce0649917e53d27123b65cf6fc154 |
TLC with reduction strategy:
|
InstanceNamed | Tuple | False | Passed | |
a88fc079be4097cd3676c10ef41644f4bcdf95e1 |
TLC with reduction strategy:
|
InstanceNamed | TupleEmpty | True | Passed | |
92292422a0d753caccf02eed5fbc53dc8b323011 |
TLC with reduction strategy:
|
InstanceNamed | TupleEmpty | False | Passed | |
49fdf8670cfdab75376940c8409b0692b468d7c2 |
TLC with reduction strategy:
|
InstanceNamed | FunApp | True | Passed | |
9c1e9cf6eb7c205b02d7f3a4645e9ced0a9250e2 |
TLC with reduction strategy:
|
InstanceNamed | FunApp | False | Passed | |
34fa0e172ea42a48561a77a7f66348916b69fe01 |
TLC with reduction strategy:
|
InstanceNamed | Prime | True | Passed | |
1e7ed87004fdc642938b1833173df5c1fd84891b |
TLC with reduction strategy:
|
InstanceNamed | Prime | False | Passed | |
851402f0ce3d991fcb36473f6e3ebfc54ae985b9 |
TLC with reduction strategy:
|
InstanceNamed | NumZero | True | Passed | |
1b3a7883a3b0a2b088f55f5f54db3169655857a5 |
TLC with reduction strategy:
|
InstanceNamed | NumZero | False | Passed | |
b4db591a9e36c53e16929c363a5c01dec61a4495 |
TLC with reduction strategy:
|
InstanceNamed | NumOne | True | Passed | |
15e24241c684e18039957f9e6dbb44268652d79e |
TLC with reduction strategy:
|
InstanceNamed | NumOne | False | Passed | |
abf3f6fa337eeb0315e36eb487e95f4da919cd88 |
TLC with reduction strategy:
|
InstanceNamed | NumMaxInt | True | Passed | |
5d21e64258f993aefa04e43a9e48c2a0d6e54a51 |
TLC with reduction strategy:
|
InstanceNamed | NumMaxInt | False | Passed | |
f7e812819555975dc1692d433b77186be15cd185 |
TLC with reduction strategy:
|
InstanceNamed | NumUnaryMinus | True | Passed | |
b7ccb8b7257e4e152b6b7c293759c8a1a1cb1e4e |
TLC with reduction strategy:
|
InstanceNamed | NumUnaryMinus | False | Passed | |
45bcf7fbf3bdb634d1560b653c893df4ac29591a |
TLC with reduction strategy:
|
InstanceNamed | NumPlus | True | Passed | |
33642d6101ba4130fc682703515dd7cfe654a0ee |
TLC with reduction strategy:
|
InstanceNamed | NumPlus | False | Passed | |
732d34cb0cde3a34f089e778832b91cf215e64cb |
TLC with reduction strategy:
|
InstanceNamed | NumMinus | True | Passed | |
dd02d5183d330d55d43ff71e46515cdfc771fa61 |
TLC with reduction strategy:
|
InstanceNamed | NumMinus | False | Passed | |
6cf52dbc3db143bf291b8bcff2e0454d878642a4 |
TLC with reduction strategy:
|
InstanceNamed | NumMul | True | Passed | |
e33e1db25ac2c2234e9e6dcf9694552f478823fa |
TLC with reduction strategy:
|
InstanceNamed | NumMul | False | Passed | |
159affa527aa4c4d373666e353a6858a9d3e9337 |
TLC with reduction strategy:
|
InstanceNamed | NumDiv | True | Passed | |
408e4731dd5db3be5637bdcb7fa67c39ed6de4f0 |
TLC with reduction strategy:
|
InstanceNamed | NumDiv | False | Passed | |
e66817b3eaa445bf0e3c96114b3eb6c0554fc145 |
TLC with reduction strategy:
|
InstanceNamed | NumMod | True | Passed | |
df7827df0119760529e763358532d6dcbbb6cedd |
TLC with reduction strategy:
|
InstanceNamed | NumMod | False | Passed | |
e1a3d506ef2799fa28be80714f52a886613bf66d |
TLC with reduction strategy:
|
InstanceNamed | NumPow | True | Passed | |
b851b4ff86853f4704d5cde7e3d07394c89aacd3 |
TLC with reduction strategy:
|
InstanceNamed | NumPow | False | Passed | |
16dea4474e1648c7df814838b1830659992a4e82 |
TLC with reduction strategy:
|
InstanceNamed | NumGt | True | Passed | |
03e104ff80444b89a89b1f12bbc3e653fd6c0038 |
TLC with reduction strategy:
|
InstanceNamed | NumGt | False | Passed | |
8442c88c0f0b7749e1b457bac5d3ead2913a795e |
TLC with reduction strategy:
|
InstanceNamed | NumGe | True | Passed | |
62feed936f742a2d1249fc84ede5b39a86f2677c |
TLC with reduction strategy:
|
InstanceNamed | NumGe | False | Passed | |
4f03182be868aadaa0bb2467c764f19be2bc8916 |
TLC with reduction strategy:
|
InstanceNamed | NumLt | True | Passed | |
9a36a5d8a7ee49412921781730ec87441d378f0f |
TLC with reduction strategy:
|
InstanceNamed | NumLt | False | Passed | |
1414d6a37d0a2993b2fae7c8215b5203e421ffc1 |
TLC with reduction strategy:
|
InstanceNamed | NumLe | True | Passed | |
31c356e718cdc975b91efec04ff52b34fd731654 |
TLC with reduction strategy:
|
InstanceNamed | NumLe | False | Passed | |
a311e8a0bba5a7aa55f2e6df137192dca16e7be9 |
TLC with reduction strategy:
|
InstanceNamed | DefFun | True | Passed | |
5cacf5626e1f165494a84be8add92e6ecc6b943a |
TLC with reduction strategy:
|
InstanceNamed | DefFun | False | Passed | |
d839a817a239f0ea92471c5c9dcfe6f7807a7bf3 |
TLC with reduction strategy:
|
InstanceNamed | LetDefFun | True | Passed | |
6dbbb7aeae9320f06e26d04a52d99338a82d41b4 |
TLC with reduction strategy:
|
InstanceNamed | LetDefFun | False | Passed | |
70447dadaea5d67a52959d640bc54751868279a1 |
TLC with reduction strategy:
|
InstanceNamed | DefFunRecursive | True | Passed | |
50a8e6070f489cf578626b79536548b270e300ee |
TLC with reduction strategy:
|
InstanceNamed | DefFunRecursive | False | Passed | |
d14b7da156dfa6e520423198da895081cdb96328 |
TLC with reduction strategy:
|
InstanceNamed | LetDefFunRecursive | True | Passed | |
ac349f4bab2cc7619865c5fc2307832fafd21249 |
TLC with reduction strategy:
|
InstanceNamed | LetDefFunRecursive | False | Passed | |
26ecbf0980ed21e1a7180c26cd18b58e14b40ee4 |
TLC with reduction strategy:
|
InstanceNamed | Def0 | True | Passed | |
1000817897698563b272e20936142ba6bf9ee4b6 |
TLC with reduction strategy:
|
InstanceNamed | Def0 | False | Passed | |
6d705e1846a50c95d1f6ec7096bf8af099c7ff63 |
TLC with reduction strategy:
|
InstanceNamed | LetDef0 | True | Passed | |
20627be43c177f24bde310a8e6f60eb35aa392ac |
TLC with reduction strategy:
|
InstanceNamed | LetDef0 | False | Passed | |
36b7aeca0842213ae07354646e0ee31b9b627a11 |
TLC with reduction strategy:
|
InstanceNamed | Def1 | True | Passed | |
0414ac80313f6867cceab4195c848f645503f2b9 |
TLC with reduction strategy:
|
InstanceNamed | Def1 | False | Passed | |
225a8c253ebf4dbb6e151254c88ce3efa89f87cc |
TLC with reduction strategy:
|
InstanceNamed | LetDef1 | True | Passed | |
c2c190510b5c27770a9518d899253642c4d9067d |
TLC with reduction strategy:
|
InstanceNamed | LetDef1 | False | Passed | |
88473367968c3051ca8d2363a7fead3028154eb9 |
TLC with reduction strategy:
|
InstanceNamed | Def2 | True | Passed | |
fbb39b6b50b9ed8a3c4a128d4b13d19c484aa6d8 |
TLC with reduction strategy:
|
InstanceNamed | Def2 | False | Passed | |
6ceff9ac7a307fed6de2113082b27c7da6645e52 |
TLC with reduction strategy:
|
InstanceNamed | LetDef2 | True | Passed | |
871ceb6f86e1ddacaaaec4749f650a064a9133f7 |
TLC with reduction strategy:
|
InstanceNamed | LetDef2 | False | Passed | |
d5d28ef800a4d95f6bdfd9eb7c291255eb0a0a26 |
TLC with reduction strategy:
|
InstanceNamed | Def1Recursive | True | Passed | |
339a42e119493371456193f88694fba1d0b0c12b |
TLC with reduction strategy:
|
InstanceNamed | Def1Recursive | False | Passed | |
7f1eac75a26d9620011bfad4b4333784043a3163 |
TLC with reduction strategy:
|
InstanceNamed | LetDef1Recursive | True | Passed | |
036a632a868a653ca44e53a1449cdb7df7135eda |
TLC with reduction strategy:
|
InstanceNamed | LetDef1Recursive | False | Passed | |
f450cc7f623af0e69c50bc7d03d8483155524e39 |
TLC with reduction strategy:
|
InstanceNamed | Extends | True | Passed | |
b1f5db56317d335f4c266ec75d2fc699d1b27712 |
TLC with reduction strategy:
|
InstanceNamed | Extends | False | Passed | |
f53602370f83a74156502cdb420f05260df04fd5 |
TLC with reduction strategy:
|
InstanceNamed | ExtendsInDifferentFolder | True | Passed | |
cc7cbda78b7c25ea8b97576ee075e89d0963dab5 |
TLC with reduction strategy:
|
InstanceNamed | ExtendsInDifferentFolder | False | Passed | |
e975c376528864b181233985fee03b073cb75434 |
TLC with reduction strategy:
|
InstanceNamed | Variable | True | Passed | |
5594b66889db385e363f5d43dbfe2f65a6f7350f |
TLC with reduction strategy:
|
InstanceNamed | Variable | False | Passed | |
8fdb91155704a7714840399411793db183505114 |
TLC with reduction strategy:
|
InstanceNamed | Constant | True | Passed | |
11a074acbfd764180bad521daeba1dd3254e2f12 |
TLC with reduction strategy:
|
InstanceNamed | Constant | False | Passed | |
3a1c58da130a4caee58f2cffee8a48fbe54f73ea |
TLC with reduction strategy:
|
InstanceNamed | ConstantModelValue | True | Passed | |
f43604bb6d42b3e1b944cb73f7b9c5a473e44c13 |
TLC with reduction strategy:
|
InstanceNamed | ConstantModelValue | False | Passed | |
53f2160d80d562177c4053c654ea4f957168de9e |
TLC with reduction strategy:
|
InstanceNamed | ConstantRank1 | True | Passed | |
9db43ba0c98ba3b53116bebcde3310f4811f100f |
TLC with reduction strategy:
|
InstanceNamed | ConstantRank1 | False | Passed | |
408a4ca9f6945f5cdb9d8bb091eb8acbe90c32e1 |
TLC with reduction strategy:
|
InstanceNamed | Instance | True | Passed | |
de0a5fdc34bb7f0f168204805de29578ee30705c |
TLC with reduction strategy:
|
InstanceNamed | Instance | False | Passed | |
4f1bff94e2359c182e58f9ad6f945c2f43befb25 |
TLC with reduction strategy:
|
InstanceNamed | InstanceWith | True | Passed | |
238ec208c6fb9e8927680b61f5b980c2d42b31ac |
TLC with reduction strategy:
|
InstanceNamed | InstanceWith | False | Passed | |
e3b11cb481a6580b7f3e2ab9c1ddef369c0d9854 |
TLC with reduction strategy:
|
InstanceNamed | InstanceNamed | True | Passed | |
5eabf0794e3b8db6247665123ff8925e7faabf7a |
TLC with reduction strategy:
|
InstanceNamed | InstanceNamed | False | Passed | |
9c49d392a6f96888688133b9a2cf4026d9b351aa |
TLC with reduction strategy:
|
InstanceNamed | InstanceNamedWith | True | Passed | |
e254ec82ab1f19d9003690f511601c4457ff3b77 |
TLC with reduction strategy:
|
InstanceNamed | InstanceNamedWith | False | Passed | |
2249a3e8b38923276dfa62d357799c4ac9a5cc10 |
TLC with reduction strategy:
|
InstanceNamed | InstanceInFolder | True | Passed | |
9bd6b24332a00f91284eea5127b3a6d2bf0378cd |
TLC with reduction strategy:
|
InstanceNamed | InstanceInFolder | False | Passed | |
cf4d07e29543243e1f79d4eae9ac015d9f1f33b1 |
TLC with reduction strategy:
|
InstanceNamed | InstanceWithInFolder | True | Passed | |
ef7a84a0d45d71f883d6ace24e929138a19fd725 |
TLC with reduction strategy:
|
InstanceNamed | InstanceWithInFolder | False | Passed | |
9b2f263e18c5bd3be3e4f94fe0ec6eadd5e95e5a |
TLC with reduction strategy:
|
InstanceNamed | InstanceNamedInFolder | True | Passed | |
36efe3e7ce29b58674f8e32f8cb1605be396d86e |
TLC with reduction strategy:
|
InstanceNamed | InstanceNamedInFolder | False | Passed | |
e476d5e6f2d2ecda8ebf025c0f71ac5717e44c93 |
TLC with reduction strategy:
|
InstanceNamed | InstanceNamedWithInFolder | True | Passed | |
0aba356637d6ff76fed578a9b4a36c380a61c19e |
TLC with reduction strategy:
|
InstanceNamed | InstanceNamedWithInFolder | False | Passed | |
3c5e1b7f668492b13c638a4e4b6726adb157129e |
TLC with reduction strategy:
|
InstanceNamed | Enabled | True | Passed | |
e7ff8964098ee9fd3afe0a050018e2905cfa7c5a |
TLC with reduction strategy:
|
InstanceNamed | Enabled | False | Passed | |
b2ba7e16af9c8aebbdd8e0f58b4afacdd859be76 |
TLC with reduction strategy:
|
InstanceNamed | Cross2 | True | Passed | |
5ad3da8a6130b6dceaa32020ac7ac4ff20255c21 |
TLC with reduction strategy:
|
InstanceNamed | Cross2 | False | Passed | |
2715915900ab5ab6ca78c48d95023f3311478177 |
TLC with reduction strategy:
|
InstanceNamed | Cross3 | True | Passed | |
b2d22ebe7bf134e3e72076614aeaa204d6b106eb |
TLC with reduction strategy:
|
InstanceNamed | Cross3 | False | Passed | |
b211b0c629e6823083c510634362d1c3ef0a40dd |
TLC with reduction strategy:
|
InstanceNamed | FunSet | True | Passed | |
e04f33540aad211a3708910deb704e7ee82b42d3 |
TLC with reduction strategy:
|
InstanceNamed | FunSet | False | Passed | |
cdbd1239e72f214d1da6ab98db00b190d3c4cb3e |
TLC with reduction strategy:
|
InstanceNamed | RecordSet | True | Passed | |
d9bd06fbbe3390a6cde497a4451eba1dca191407 |
TLC with reduction strategy:
|
InstanceNamed | RecordSet | False | Passed | |
28c23aa5f51db696870223780db98dc9d50be358 |
TLC with reduction strategy:
|
InstanceNamed | SetDiff | True | Passed | |
ec9dcd5083c68470de815a7ee7e958c54423ec7b |
TLC with reduction strategy:
|
InstanceNamed | SetDiff | False | Passed | |
e3a980abe6591039ccf5a3acfdd920e720d23186 |
TLC with reduction strategy:
|
InstanceNamed | SetUnion | True | Passed | |
90a3498aa4a86c1b8fce1313dc68d9b4a3cbccf6 |
TLC with reduction strategy:
|
InstanceNamed | SetUnion | False | Passed | |
cec1996213ab31c1d236132870065983877bb631 |
TLC with reduction strategy:
|
InstanceNamed | SetIntersect | True | Passed | |
e14a24e69c60a06ca1f92086ffb14556ae2d0d46 |
TLC with reduction strategy:
|
InstanceNamed | SetIntersect | False | Passed | |
42ed4f23f7f79223004614acfa33ce098724a206 |
TLC with reduction strategy:
|
InstanceNamed | SubsetEq | True | Passed | |
d1ad4b90d028c0174951f5706e8ce3f02a3c0783 |
TLC with reduction strategy:
|
InstanceNamed | SubsetEq | False | Passed | |
b594afbd627a9d46af291c52c5b6acff212adc32 |
TLC with reduction strategy:
|
InstanceNamed | IfCond | True | Passed | |
9621e842b7efd8d8d2f71528b1e70c56f0681614 |
TLC with reduction strategy:
|
InstanceNamed | IfCond | False | Passed | |
689465b2c9b857aba168d3b7283afe0703744837 |
TLC with reduction strategy:
|
InstanceNamed | IfThen | True | Passed | |
9504b15f6b328d94b024fa5789409860e99908ac |
TLC with reduction strategy:
|
InstanceNamed | IfThen | False | Passed | |
e3085c913e17037494d5efd6431163b577c1ba72 |
TLC with reduction strategy:
|
InstanceNamed | IfElse | True | Passed | |
03c6c14d9fd13ef03ebd96feebf9877f733976b6 |
TLC with reduction strategy:
|
InstanceNamed | IfElse | False | Passed | |
69f399630fba5cf1ba01da8e7f962ec873892aaf |
TLC with reduction strategy:
|
InstanceNamed | Subset | True | Passed | |
8fdd16af11e42db2549e9c740f7c316accf103ef |
TLC with reduction strategy:
|
InstanceNamed | Subset | False | Passed | |
92c8213ef5acdc80154babe864c49e34103d3e56 |
TLC with reduction strategy:
|
InstanceNamed | Domain | True | Passed | |
e4edf60820dad774902034e7e58abba4223a840a |
TLC with reduction strategy:
|
InstanceNamed | Domain | False | Passed | |
572bc60bd1f2382caa79553cf2b21c35f3f4c9af |
TLC with reduction strategy:
|
InstanceNamed | Union | True | Passed | |
bc76c0b5c438c7836d04ddd1f93581cd13c07f77 |
TLC with reduction strategy:
|
InstanceNamed | Union | False | Passed | |
ff600029c3ec2cc055992f8bba065331015d13fc |
TLC with reduction strategy:
|
InstanceNamed | Unchanged | True | Passed | |
c6bad57914694e0dd64fa6b96ff9fd5e779adef6 |
TLC with reduction strategy:
|
InstanceNamed | Unchanged | False | Passed | |
872a29ed7acb8ab32053423605fe4a0fb1efa5d4 |
TLC with reduction strategy:
|
InstanceNamed | Equivalence | True | Passed | |
9a977c45f8d2d42adabd0e535cc20a4f3ef8affd |
TLC with reduction strategy:
|
InstanceNamed | Equivalence | False | Passed | |
3acf41edc210e1540e757218d7bbce595aa492cb |
TLC with reduction strategy:
|
InstanceNamed | StringEmpty | True | Passed | |
6826e25b2ecb6addaf3a1186c29b8c4e3d4c8125 |
TLC with reduction strategy:
|
InstanceNamed | StringEmpty | False | Passed | |
65de970a691bb888bdf7cc2033e6db90983b20ca |
TLC with reduction strategy:
|
InstanceNamed | String | True | Passed | |
1edaec1ba68e5f16c52f21a27f9356a48f1f87a2 |
TLC with reduction strategy:
|
InstanceNamed | String | False | Passed | |
e64b5c7d1748c1053827bac2dfc22921de91e265 |
TLC with reduction strategy:
|
InstanceNamed | SeqLen | True | Passed | |
e1c3b05122c526ad1800f7bf05e22add488abd75 |
TLC with reduction strategy:
|
InstanceNamed | SeqLen | False | Passed | |
e7ddc6fb80cf8bb0cb5942a7ecd5dde3409faffe |
TLC with reduction strategy:
|
InstanceNamed | SeqConcat | True | Passed | |
92647e32baa57ad242543d9c71e554b55607c599 |
TLC with reduction strategy:
|
InstanceNamed | SeqConcat | False | Passed | |
a6b92793cf8dfbbae0a20115a4fe45583650718d |
TLC with reduction strategy:
|
InstanceNamed | SeqSelectSeq | True | Passed | |
d49ea08d1aaf398193b1da1e488ed2772979840d |
TLC with reduction strategy:
|
InstanceNamed | SeqSelectSeq | False | Passed | |
26344cb116a091b8d193060effc32c44bb886482 |
TLC with reduction strategy:
|
InstanceNamed | SeqSubSeq | True | Passed | |
b4e1cddb5f5a61123c69674abb4e2297aade1d27 |
TLC with reduction strategy:
|
InstanceNamed | SeqSubSeq | False | Passed | |
bc80e77cbfc4ece0419376da0ef88dd7686e52c1 |
TLC with reduction strategy:
|
InstanceNamed | NumRange | True | Passed | |
f6adb9180dd548a32dc0f318380abddaa809d750 |
TLC with reduction strategy:
|
InstanceNamed | NumRange | False | Passed | |
d64939352503882a66d4139b10887721d3934e65 |
TLC with reduction strategy:
|
InstanceNamed | TlcSingletonFun | True | Passed | |
4984a92cddd743274b4fa15926c9efdc648fcf75 |
TLC with reduction strategy:
|
InstanceNamed | TlcSingletonFun | False | Passed | |
b2582cf88d20e7cf2dff727c1727d5ffab2e2ebe |
TLC with reduction strategy:
|
InstanceNamed | TlcExtendFun | True | Passed | |
57615542f304a0cbfead90023737d7fc7dc639b5 |
TLC with reduction strategy:
|
InstanceNamed | TlcExtendFun | False | Passed | |
acf8683c3a36b755fb8b0734d806ecb82caac326 |
TLC with reduction strategy:
|
InstanceNamed | TlcPermuteFun | True | Passed | |
5dc682629d075631703b00397644587a9c0b78c2 |
TLC with reduction strategy:
|
InstanceNamed | TlcPermuteFun | False | Passed | |
81c0326f0599fb6ba2b6a363072bbbb758ee051c |
TLC with reduction strategy:
|
InstanceNamed | TlcSortSeq | True | Passed | |
80ff728426c71ae06fb99684ae82b53818ed4d53 |
TLC with reduction strategy:
|
InstanceNamed | TlcSortSeq | False | Passed | |
c524644742daab6e969ad52a071fc9201d8b5ee3 |
TLC with reduction strategy:
|
InstanceNamed | TlcEval | True | Passed | |
d1823cfcc033faa55219951aea784aed12574580 |
TLC with reduction strategy:
|
InstanceNamed | TlcEval | False | Passed | |
e163e4ba2c75a055135d72170d08ca9d24e5491e |
TLC with reduction strategy:
|
InstanceNamed | BagBagToSet | True | Passed | |
8e7622d9c026e591eb44aef6cc921fbe928ae5a6 |
TLC with reduction strategy:
|
InstanceNamed | BagBagToSet | False | Passed | |
21d4f0384634f5dff93ea37283a10ae7d8a98ded |
TLC with reduction strategy:
|
InstanceNamed | BagSetToBag | True | Passed | |
e11d375a834958d13f2fadce1f93a7e90a33fce0 |
TLC with reduction strategy:
|
InstanceNamed | BagSetToBag | False | Passed | |
fe76111b1d94518518b8d4ab1a860273ce9b8d0d |
TLC with reduction strategy:
|
InstanceNamed | BagBagIn | True | Passed | |
d374b29dc4c354c0310180690c83fa5f165c2bb1 |
TLC with reduction strategy:
|
InstanceNamed | BagBagIn | False | Passed | |
bdaf71d258aee08b16737529e219ddf7363e7e59 |
TLC with reduction strategy:
|
InstanceNamed | BagEmptyBag | True | Passed | |
5d4e09e8a896161a532a4e13d7a30c8d0e1bf674 |
TLC with reduction strategy:
|
InstanceNamed | BagEmptyBag | False | Passed | |
5e16b5b9edac96b129a3ee89ae4a31afdf202850 |
TLC with reduction strategy:
|
InstanceNamed | BagAddBag | True | Passed | |
6e61465c4c0c83ebc52f5181c086c8fb336b118e |
TLC with reduction strategy:
|
InstanceNamed | BagAddBag | False | Passed | |
2e3c37b8b4c3548710b7e98536b2e23aa029f103 |
TLC with reduction strategy:
|
InstanceNamed | BagBagSub | True | Passed | |
e739293aef809636072c2118637ee15d77944837 |
TLC with reduction strategy:
|
InstanceNamed | BagBagSub | False | Passed | |
af592debcc83254edbf8fda4867e9918e2b97217 |
TLC with reduction strategy:
|
InstanceNamed | BagCopiesIn | True | Passed | |
5ae5289d0f26c3461ad318d6f023ad2049adc176 |
TLC with reduction strategy:
|
InstanceNamed | BagCopiesIn | False | Passed | |
f35c68873786a4be5b02ab6dcf16adaeb9a261d5 |
TLC with reduction strategy:
|
InstanceNamed | BagSubsetEqBag | True | Passed | |
9417b5c74718d38345d32e21e003f0f5e76a9c04 |
TLC with reduction strategy:
|
InstanceNamed | BagSubsetEqBag | False | Passed | |
3cefd59109595a2721a1464ea351bf14df075f86 |
TLC with reduction strategy:
|
InstanceNamed | BagBagUnion | True | Passed | |
0e928d03d55d54663c7a4aeda92ca0f987755113 |
TLC with reduction strategy:
|
InstanceNamed | BagBagUnion | False | Passed | |
1a8d7b320ef47528c0684f1676df385dd9ec2fbe |
TLC with reduction strategy:
|
InstanceNamed | BagBagCardinality | True | Passed | |
5bfa14451236101d23eba70b91601c63a1879975 |
TLC with reduction strategy:
|
InstanceNamed | BagBagCardinality | False | Passed | |
d6264bddc2a86044325d065474408e7a3f3cdefd |
TLC with reduction strategy:
|
InstanceNamed | BagBagOfAll | True | Passed | |
3db71ab255c3245b6c36cba132571cdf5404922e |
TLC with reduction strategy:
|
InstanceNamed | BagBagOfAll | False | Passed | |
dc680b841d25ca6307cf4cf1b3fb86f961d36ad1 |
TLC with reduction strategy:
|
InstanceNamed | BagSubBag | True | Passed | |
29eaa23afb882610cf023185f71435d61f02d1af |
TLC with reduction strategy:
|
InstanceNamed | BagSubBag | False | Passed | |
0c4807005a3b019b66b4caac66c16effaec16771 |
TLC with reduction strategy:
|
InstanceNamed | FiniteSetsIsFiniteSet | True | Passed | |
0213cbfeec1a394767f410c1f8c47fa7f205f92d |
TLC with reduction strategy:
|
InstanceNamed | FiniteSetsIsFiniteSet | False | Passed | |
b27a553269c95da7bb07690ba3fffaf2acf0d1df |
TLC with reduction strategy:
|
InstanceNamed | FiniteSetsCardinality | True | Passed | |
efc0f0c3d0f7da4ee1204a26dba204ba540e24e4 |
TLC with reduction strategy:
|
InstanceNamed | FiniteSetsCardinality | False | Passed | |
440592e61af355efe40879691fa6abf5d37c5c91 |
TLC with reduction strategy:
|
InstanceNamed | SeqHead | True | Passed | |
ad283ddec4990ccc344da332398fee28ed1e25bd |
TLC with reduction strategy:
|
InstanceNamed | SeqHead | False | Passed | |
51fe27e028c04aa80a20f0b953e45e157685b403 |
TLC with reduction strategy:
|
InstanceNamed | SeqTail | True | Passed | |
7493c4415ee3f164919de17c1710dbfd0b2e79bb |
TLC with reduction strategy:
|
InstanceNamed | SeqTail | False | Passed | |
018358676a6a8d4b3405f52d3f6a36181e7e1074 |
TLC with reduction strategy:
|
InstanceNamed | SeqAppend | True | Passed | |
22cf3c1e1aa27dbbbee8c73f02a63dbf769be34b |
TLC with reduction strategy:
|
InstanceNamed | SeqAppend | False | Passed |