Index

Skipped feature combinations by plug feature TlcSortSeq

Id Case Feature Plug Feature Skip Reason
576fb3d05da0bf07108f37398813559773f56807 OneLineComment TlcSortSeq CanNotBeCase
a19a31592c32e23a50866a9fbc37bf69f7308e96 OneLineComment TlcSortSeq CanNotBeCase
7aed0f6bddda8d108210cab4d02b9483c53bc4af MultiLineComment TlcSortSeq CanNotBeCase
7911312d45532d92a8a148adf1f81a9c4fb38f56 MultiLineComment TlcSortSeq CanNotBeCase
5c4b6c588416f9e3934c10a212b89258828a6525 BoolTrue TlcSortSeq TypeMismatch
8a34516490d06141e01b93153c09e121cd55eee4 BoolTrue TlcSortSeq TypeMismatch
69818b98170cdb2c299be97fbc8aba896a6adb11 BoolFalse TlcSortSeq TypeMismatch
3a4263d8e4bbec3dcd19b23575e5ea48a491c298 BoolFalse TlcSortSeq TypeMismatch
c090d123b58844f3d8b92222212fcd6748563d56 BoolSet TlcSortSeq CanNotBeCase
663de61b26eed2dfa6340f66da92ba38afcf129b BoolSet TlcSortSeq CanNotBeCase
b53fbb84e2c265a0c3fd14b44384d1cf4058924c And TlcSortSeq TypeMismatch
31935f2a78914465ef8250c66b06792c7de9cf71 And TlcSortSeq TypeMismatch
09b25aec328828e351bd88c32dddaba2e87fbb24 AndMultiLine TlcSortSeq TypeMismatch
c5abf17d62e224aeb3fec603902e95353249c2d1 AndMultiLine TlcSortSeq TypeMismatch
90941dd28e73a9fa983145d36c0f6808db6bca49 Imply TlcSortSeq TypeMismatch
b1b2fc8531912fd899c4a3e83972942a5f6658bd Imply TlcSortSeq TypeMismatch
4fd0b504439119f93b15edd674efd29acd12c834 Not TlcSortSeq TypeMismatch
7b7330a89c98721b450de0d570755943cb500213 Not TlcSortSeq TypeMismatch
c9c93cac8e55c6f69a052cbbf2bbbccf45846fc8 Or TlcSortSeq TypeMismatch
fa96d22d3d186ec72e3100275add7b2751de5fb6 Or TlcSortSeq TypeMismatch
e5f3d8494b03193af8929d426e1057495575220e OrMultiLine TlcSortSeq TypeMismatch
e42035557bd83950463cdf5f76085f5f2b735e77 OrMultiLine TlcSortSeq TypeMismatch
e6db852f8b785a9bd4115e45d7da127773137831 AndProp TlcSortSeq TypeMismatch
ba29a8a937e74f00d2765b379e1b018e7a052943 AndProp TlcSortSeq TypeMismatch
936fae0a6109e815871eebcbe8c17d29392be08a Boxed TlcSortSeq TypeMismatch
ccf582b494190c041d70ef37e105fc14fda7c9fe Boxed TlcSortSeq TypeMismatch
607bcb52b206564cec176ed024842b43efdc1fdd SetEmpty TlcSortSeq CanNotBeCase
8e956978d9517ed6bb9347af2969b73a49150173 SetEmpty TlcSortSeq CanNotBeCase
9e76f9e183a44c3410ca4874927c18f3f55dce5b Set1InDef TlcSortSeq TypeMismatch
c6ef9a21ceb5f96a497d139f3df6cc7235a34cf7 Set1InDef TlcSortSeq TypeMismatch
02c79818fe2392fd186c64278238810548cddac1 Set2InDef TlcSortSeq TypeMismatch
cf6b5f128d259e0f765c82e743af614b757e759e Set2InDef TlcSortSeq TypeMismatch
e2076dcd37fc11915c592f3b37bb0495c42a732b InDef0 TlcSortSeq CanNotBeCase
85fa258ab8b82a825770ca49ff69f836ab0b3e1c InDef0 TlcSortSeq CanNotBeCase
7378a877afb3fbf9ce20af13c43ce84822d18eb5 InDef1 TlcSortSeq CanNotBeCase
fd0985b4b132d1fe61c609cf6149ad5de259b03c InDef1 TlcSortSeq CanNotBeCase
753de238fa66d2d4b3a7358c1d31fbf38dce2781 InDef2 TlcSortSeq CanNotBeCase
ccd650045c7e2d5c978bcbf85ded2ffd43f42160 InDef2 TlcSortSeq CanNotBeCase
9f9bdb371f712117e51d8342c61b40e2c93b6f4b FunInDef TlcSortSeq TypeMismatch
3cfcd8ed8fdbf1b0aa64bfc0d1def72e8c4c4dd6 FunInDef TlcSortSeq TypeMismatch
c06850a9439f48b5916ac1a41642b309fa75f2e5 Exists TlcSortSeq TypeMismatch
39e62419f8139e2640c64d12e1f50cf8ee0e6ae8 Exists TlcSortSeq TypeMismatch
491e3ecda47e76f1392ac58220b2cff9d7332189 Forall TlcSortSeq TypeMismatch
5b6d3a8410ef2bdc994ccdd14c6cf6813b6b45b3 Forall TlcSortSeq TypeMismatch
f68bfd3c1aef70b47e4cf6de1c4d177d22a01d60 ExistsInDef TlcSortSeq TypeMismatch
c2e24796ac1f8de0fa4ad35c160cf8c9af506694 ExistsInDef TlcSortSeq TypeMismatch
6b90eeee9ffb891507823b233bd034628de403eb ForallInDef TlcSortSeq TypeMismatch
950238adcfda401c4c4102d441a133cb32324548 ForallInDef TlcSortSeq TypeMismatch
887ee22b4dc4fb7b8b3d1475c83396ece7c9f54f Choose TlcSortSeq TypeMismatch
2e540b32d40839926b3d3f7b82964467fd820ae8 Choose TlcSortSeq TypeMismatch
52379960607d37821aa42f7473bd119814cb7237 ChooseInDef TlcSortSeq TypeMismatch
7536d9b6f3327f8594a43ff649f7f377fbb8910e ChooseInDef TlcSortSeq TypeMismatch
7ce266b92675e91bb995ff43568d06856e6aafa5 TupleEmpty TlcSortSeq CanNotBeCase
8b7bdf060aa176b1f59e30363325380c83934b19 TupleEmpty TlcSortSeq CanNotBeCase
fa50e129fcc54b4f50df9be62bc61209a5f62e0f Except2FunTuple TlcSortSeq TypeMismatch
8342b6102dbcd713b9665f4284b933c31ba003c2 Except2FunTuple TlcSortSeq TypeMismatch
c00224cb6889a098fc3aaa84cb749bb801fe563d NumZero TlcSortSeq TypeMismatch
092ca82a4bfc9733fbb94e057adc5213c924e9c8 NumZero TlcSortSeq TypeMismatch
420c9b238bfb5dc51b3b8b78da4f47a5f90ffe1a NumOne TlcSortSeq TypeMismatch
9fc396a0e653690782d6488a4ccde4d3fa807851 NumOne TlcSortSeq TypeMismatch
39c12f165e83c95d50eddda098c3dbe0a146ee98 NumMaxInt TlcSortSeq TypeMismatch
02721a78d352e7bdbcc9692f56f1eb5b171b1150 NumMaxInt TlcSortSeq TypeMismatch
67af8bff3eb3c79549648a89ee03c79563350619 NumUnaryMinus TlcSortSeq TypeMismatch
960ba65661534de81a8f5d9545216b051b1cca2e NumUnaryMinus TlcSortSeq TypeMismatch
cfb9c2cb0de041059caa8ea47033550fd55f6db0 NumPlus TlcSortSeq TypeMismatch
8a1b3d1a3ffe0c8a9148bc28c4d9c98d5eaedb07 NumPlus TlcSortSeq TypeMismatch
23ff243ee1ffda725d7d8f7af8f847121f07c511 NumMinus TlcSortSeq TypeMismatch
b35a3be4c7bc3564b1961ed12c7b98ca022c779f NumMinus TlcSortSeq TypeMismatch
d48ffb9f85624cdea548f147d9e91d968e94f409 NumMul TlcSortSeq TypeMismatch
792789395a56a0bffc45d110624769e316b84032 NumMul TlcSortSeq TypeMismatch
5bd754497a95507fe686757dbb9ba3d20444a833 NumDiv TlcSortSeq TypeMismatch
724e93dab54cc7100e35737fa4ba025ca16a9590 NumDiv TlcSortSeq TypeMismatch
c350369c02bb9b72827c70bbdd9968d0c92af175 NumMod TlcSortSeq TypeMismatch
b9f1b29230737da0c1f7567302a8ab0c13d2e4c0 NumMod TlcSortSeq TypeMismatch
0bef680223f847fcbf1d77647fba050e82de2960 NumPow TlcSortSeq TypeMismatch
1bfadfcaa53d9434bbad30c91a1d50423027b5cf NumPow TlcSortSeq TypeMismatch
8e3d4284c08ab939231ade4638f8b0b80964f85a NumGt TlcSortSeq TypeMismatch
8386a433ba3ba79148be3df322c4b5f0404d57e4 NumGt TlcSortSeq TypeMismatch
a4cd803777ad22d386cff478178ea20c6685dd61 NumGe TlcSortSeq TypeMismatch
1a350ab0adb81a82dc5f9e0763beb6b903adb0f4 NumGe TlcSortSeq TypeMismatch
71b892de9861f3ae47ccc28d5fcc3532904bad59 NumLt TlcSortSeq TypeMismatch
7486166fc512b725bb7f9c40c14a53f23f909393 NumLt TlcSortSeq TypeMismatch
4399167035e907e12d88ead66dedca0acb818825 NumLe TlcSortSeq TypeMismatch
72003d22a976c6475c564e93b71060d1afb6f7fe NumLe TlcSortSeq TypeMismatch
b4ad9872b5f70c403a3410702ae1a52f16bc6a03 DefFunInDef TlcSortSeq TypeMismatch
54064782402a3179ab27284d7600fde52e624ed3 DefFunInDef TlcSortSeq TypeMismatch
5945c13d6affffafbd418b87beeafd5a88330e5c LetDefFunInDef TlcSortSeq TypeMismatch
64cd867c86b54ba3cb4e85a5459090ca85271188 LetDefFunInDef TlcSortSeq TypeMismatch
80f2009c8716b2b8e5e5ff737b71e80c6e1751ee ConstantModelValue TlcSortSeq CanNotBeCase
095025fc4aa45c21c0bd66ccf26d8a17c5524f37 ConstantModelValue TlcSortSeq CanNotBeCase
3c1a65f18071869324a45f6799d83b7a5a017504 Enabled TlcSortSeq TypeMismatch
12e1a78f9f2d7c4ecc8bb20e246caeb14fa8924a Enabled TlcSortSeq TypeMismatch
bc26acae4003a9eba851e73792754b4a924579b3 Assume TlcSortSeq TypeMismatch
d09fd4b479748f566e6024da39c33cd5acb72ce8 Assume TlcSortSeq TypeMismatch
e30baa17520288c76afe7cac187590649efac308 AssumeNamed TlcSortSeq TypeMismatch
f636835764fa3c2e9ccf2eaa9652f060d693657d AssumeNamed TlcSortSeq TypeMismatch
efa4b2702e79be44a13d2a5cd0fb58e15da27633 Cross2 TlcSortSeq TypeMismatch
4f60f0037d7da8ba946ac579fbbddf4e152c2394 Cross2 TlcSortSeq TypeMismatch
109563083e998420584bd2433bc287067169ab19 Cross3 TlcSortSeq TypeMismatch
25ef1fc61dd89aadf10e377e4659b0dfe1df2391 Cross3 TlcSortSeq TypeMismatch
4fa3375c41f2622140e11b2eee14dfd820d52f38 FunSet TlcSortSeq TypeMismatch
0fe769f1bdfb8ee928dc34708f8aec116bc9d944 FunSet TlcSortSeq TypeMismatch
7810852cfbbd42bef5f56c342b2a5e54efff2465 RecordSet TlcSortSeq TypeMismatch
9ef69cb190c9f18caed034a024488164d9f2a302 RecordSet TlcSortSeq TypeMismatch
f8a7157e2648b34d9380c0a36b5f4d4a40481f48 SetDiff TlcSortSeq TypeMismatch
a6476f3cf428c551653909ecfd286d33add142ee SetDiff TlcSortSeq TypeMismatch
6afa8208e8fa4c685d8952e48e64a89e40f285ec SetUnion TlcSortSeq TypeMismatch
a78383a53b54b2ceb8685ed33a9b3970a7fdfa62 SetUnion TlcSortSeq TypeMismatch
801675d1e1ded07e492626cf36c7e3b963e896e7 SetIntersect TlcSortSeq TypeMismatch
ea063d3cf44c0a9166e966afc7f1312231fe422c SetIntersect TlcSortSeq TypeMismatch
e0c4567fac94300bf1ae271f04defd98bd7c2108 SubsetEq TlcSortSeq TypeMismatch
a88b94c0c20c67a875cd82b362e8f33d5768f5d6 SubsetEq TlcSortSeq TypeMismatch
870206e89a3a4b2c22f56a08e34029c624a638d5 IfCond TlcSortSeq TypeMismatch
5adbe8241b8d0c3de3f05168534512146ee01f64 IfCond TlcSortSeq TypeMismatch
80be4de28d5341e74b6d44b258094fe8371e4351 Subset TlcSortSeq TypeMismatch
62f901009631a82ce0ef27d40ed7245790899eab Subset TlcSortSeq TypeMismatch
6cf98cd932fb6a7f881cb97673bd5b34c09464c1 Domain TlcSortSeq TypeMismatch
c369b71b2a4363e95e94109b52c1dc5fbe762d1f Domain TlcSortSeq TypeMismatch
82c6075f42c0d01a2bb0008314bd687f0378a322 Union TlcSortSeq TypeMismatch
26d0b4b7726f797f6211c72a8ee77cc50b08e689 Union TlcSortSeq TypeMismatch
e6c8e168af97fbe196a79fbc7847b287d430603e Equivalence TlcSortSeq TypeMismatch
85fd316eb87ff3f751817539700b540e664d69f0 Equivalence TlcSortSeq TypeMismatch
ae3da7eab5968c7055c5d1d9726e86cce165f4e7 StringEmpty TlcSortSeq TypeMismatch
ab553b54a0d63205679cf83e34f7984a6fefb3b9 StringEmpty TlcSortSeq TypeMismatch
ac1cf6e7617b6152f9ea1bf4ed7bc640075e0337 String TlcSortSeq TypeMismatch
9dd0bc3f8be7921e9e308cbf087e83567776c925 String TlcSortSeq TypeMismatch
47a3a37dccbefa5c6922182868b5fbe8233d3c18 SeqSeq TlcSortSeq TypeMismatch
37c82aa17335696b9402ffebec0fa9ffded04e80 SeqSeq TlcSortSeq TypeMismatch
56071ee2a0d1bb8e2725636292f1f44301f75689 NatSet TlcSortSeq CanNotBeCase
00876141079179fa7382dd861ed58a4936111982 NatSet TlcSortSeq CanNotBeCase
eb21fa975e43bafbade615b8b03ea5b36c836720 IntSet TlcSortSeq CanNotBeCase
72e946f0f1075939c9fe126640dd48400e7741ec IntSet TlcSortSeq CanNotBeCase
75b4bbd508bed63ac172cfd9178e7424e491e274 StringSet TlcSortSeq CanNotBeCase
f1c1ca57fb0481afcb2120d7c7116aa15d1329f5 StringSet TlcSortSeq CanNotBeCase
051c6e02eed4d854e47acd328952c0730478f43f NumRange TlcSortSeq TypeMismatch
a99a5d3f272a6ab80d58b19182c9b0cc58aabe1c NumRange TlcSortSeq TypeMismatch
69194afa2834ed4df59aacb0a72a515a8b8793c9 TlcExtendFun TlcSortSeq TypeMismatch
7b703ad27b2d61261e71f3fb481108591ee0112f TlcExtendFun TlcSortSeq TypeMismatch
727c2b457e7ef5f1ec7b0f9d2f107aa7e4d90bb1 TlcPermuteFun TlcSortSeq TypeMismatch
26d8ccd60c08c9c17a60747131cf3606cff8b8db TlcPermuteFun TlcSortSeq TypeMismatch
dc1309d85d95bdb6d1c466c2ea92b929647ff40a BagBagToSet TlcSortSeq TypeMismatch
677eaf5cb89d4f2208fa7f2d6922fa984645a0d1 BagBagToSet TlcSortSeq TypeMismatch
5cc05c2e5e22728a9ba3646f5c41e2c379360315 BagSetToBag TlcSortSeq TypeMismatch
b4f87e231de2ee441075f60a4e38c9b6d8911a2b BagSetToBag TlcSortSeq TypeMismatch
3fa49643161a587fc38a77d07ae15d8fd5bbf250 BagEmptyBag TlcSortSeq CanNotBeCase
37edc984cfbb109cbbd4cbba74e2d956b4ea1a2f BagEmptyBag TlcSortSeq CanNotBeCase
63475e218d4e6f4b88bc995bded6210d707781d4 BagAddBag TlcSortSeq TypeMismatch
b6083ed87230e52ebd28e6379ed334adec44b930 BagAddBag TlcSortSeq TypeMismatch
e423c90f2eb307b158f24556d23bca1078cc4252 BagBagSub TlcSortSeq TypeMismatch
fd7fd4898a9ecfba341fa7fc1dde39bd2be374eb BagBagSub TlcSortSeq TypeMismatch
638bb83593f15f66da7d74acc54dc656ba037d9f BagSubsetEqBag TlcSortSeq TypeMismatch
622f161a493fba1046c6e50e908a5576c6cfd789 BagSubsetEqBag TlcSortSeq TypeMismatch
d3e5f3d88f466c74a84a78f4103d8cc61604a7f6 BagBagUnion TlcSortSeq TypeMismatch
c25e0ecaf0c0e2ab34bd01b61759e2ec1e2856f7 BagBagUnion TlcSortSeq TypeMismatch
4b38da512e45993db9d1785caa64601249ed949e BagBagCardinality TlcSortSeq TypeMismatch
6e219212a6b0c972e4e787d32b7ffbb055ca648d BagBagCardinality TlcSortSeq TypeMismatch
1c7c946982db20375c4341c1c9acda70cee95274 BagBagOfAll TlcSortSeq TypeMismatch
740c988b5e3d4755bef24e65dd98bdb9c8b52a31 BagBagOfAll TlcSortSeq TypeMismatch
72258cf5bbf7549552492928460af61039e3e647 BagSubBag TlcSortSeq TypeMismatch
18b6ab692eec8535e406dd898e4ebf734b5b0975 BagSubBag TlcSortSeq TypeMismatch
bcd65dbe6acda206a2646d0a4b19993bf9ed4daf FiniteSetsIsFiniteSet TlcSortSeq TypeMismatch
15aea456740241a3f4a68b7746777ce001c6a6a3 FiniteSetsIsFiniteSet TlcSortSeq TypeMismatch
efaa2ef2b24e2fe3d5f3d295543a6fad84df6a7f FiniteSetsCardinality TlcSortSeq TypeMismatch
631a3d16d31fe0f6c59422cf8c5ac9ed842cfaa5 FiniteSetsCardinality TlcSortSeq TypeMismatch