Index

Skipped feature combinations by plug feature NumGt

Id Case Feature Plug Feature Skip Reason
433d207552da7d7ea73cf2a74b73c29ed857a8f9 OneLineComment NumGt CanNotBeCase
41e7b8210cf1524dc8ad6ad3e04d0edcf38009e1 OneLineComment NumGt CanNotBeCase
ff8f4755a758a8ed3f2e8f1e02efa55063fd7a8f MultiLineComment NumGt CanNotBeCase
863c87020ec0cf079c4f2f29ff0ea28a8230ba35 MultiLineComment NumGt CanNotBeCase
84ee8eebfd7b20a52647a0b7667f0b81e5eada27 BoolTrue NumGt CanNotBeCase
7322d4180470fb686331febfc17ff6a01d41ec25 BoolTrue NumGt CanNotBeCase
caf301c5aa5a4f8d8011cc025170fc36f87723a6 BoolFalse NumGt CanNotBeCase
f9dc998d9641247a24919f1678b979e54834e331 BoolFalse NumGt CanNotBeCase
4b9b27ac70053e912a58ec50dc0118c48ed19b60 BoolSet NumGt CanNotBeCase
49ecce7f2e515798a631f7dc78f3f88bfd6d30b4 BoolSet NumGt CanNotBeCase
d30ad81ff82804d212a0e5c8df6e444932b9eb84 SetEmpty NumGt CanNotBeCase
03f0fd3066641815052cfbc916f23bdea1176aa2 SetEmpty NumGt CanNotBeCase
17785fe545ce544edf807d8d035aafde08dd1f7d Set1InDef NumGt TypeMismatch
55aed3ba471f0d7f186c3fd4fd0aaa4b12312062 Set1InDef NumGt TypeMismatch
86ab1e8bb9101d45428091a72a3865633c50570f Set2InDef NumGt TypeMismatch
a5e958165e5e3fec71ec987fc1b7dc996fdf4786 Set2InDef NumGt TypeMismatch
edef02547d10fc870a5c33148396e9a905dcf2d8 InDef0 NumGt CanNotBeCase
3739e12aa1776715e86431085a3f00711ee2021e InDef0 NumGt CanNotBeCase
6a9ceacbbd83c56b4f93e5ee24d40c0e4b3e245a InDef1 NumGt CanNotBeCase
66e86f41d2b0d5e3772eda659b0be8a2f149533b InDef1 NumGt CanNotBeCase
eb1afdc6c600403a4d445ae4dd1db07c2c4cdcf0 InDef2 NumGt CanNotBeCase
20c08cfe4129e3fdcbdedbc4de2016064026d7c9 InDef2 NumGt CanNotBeCase
672840af42cb01fe2a1c0d36dac78c486e5eae19 FunInDef NumGt TypeMismatch
1ab16ad1247bd012efb4e46ab3c26795d8ed1177 FunInDef NumGt TypeMismatch
11df8d47ead300fed88a4c843428b64749e5f6da ExistsInDef NumGt TypeMismatch
1ec59c63da9fbd641f9d80c2f5bddcdf7889ebd1 ExistsInDef NumGt TypeMismatch
635f7f2a07edc4bc5f3f5583d4726abfc27c23b6 ForallInDef NumGt TypeMismatch
46a4b8173da0398fc235df4e3e26c0a8587a172c ForallInDef NumGt TypeMismatch
0d24bbeded9ee4cc6de32d1f943e3b307b46cc19 ChooseInDef NumGt TypeMismatch
fad8271e288c8b29b7bfd071a1477255a427ab87 ChooseInDef NumGt TypeMismatch
0c0e65d4f948eb26188c4753c19bda5c547a4489 TupleEmpty NumGt CanNotBeCase
1d845cefe9146c9bba39f834f00fca166efa2dee TupleEmpty NumGt CanNotBeCase
9c0d5664b2b132475760a674aa2fbef9b068d5ba Except0 NumGt TypeMismatch
cd861378a33c1e3e3e9b592305c623f2b680befc Except0 NumGt TypeMismatch
a4b9576e418ee69ece6ac35c87935e33f1837d0c Except2FunTuple NumGt TypeMismatch
23165952905c2638eab879ad7d64afc41370b222 Except2FunTuple NumGt TypeMismatch
c77797cfa12cf54729680d33ecc66fe4256a280c NumZero NumGt TypeMismatch
a3c99c02fb758d419af1d308e982c5983a5742f0 NumZero NumGt TypeMismatch
677d79f82f78921cb3d852446a323f24c0cad604 NumOne NumGt TypeMismatch
1804d22b60a4d5870fe0ca8d8c464b961943bae3 NumOne NumGt TypeMismatch
7a4ba489a18d46b9ba9fd93b3c5d722d5157241a NumMaxInt NumGt TypeMismatch
ad085e4ee9f6a31e6232789c413a8a56ca19d97b NumMaxInt NumGt TypeMismatch
bf61633824a7bbecdf4453987dcee7e023f5fbde NumUnaryMinus NumGt TypeMismatch
21808a5de06324e2cc12f6a6a098255db7edf5d6 NumUnaryMinus NumGt TypeMismatch
ef5a8d87c981ec2e39dd520ce81169de0e9403b0 NumPlus NumGt TypeMismatch
341c8388b9e50178465693ca5546354e65dd39e4 NumPlus NumGt TypeMismatch
0873b166ff64563fdfb61747a899cd2ba018f1d4 NumMinus NumGt TypeMismatch
4bc8517b1129a550381eb84ac51468884af101e8 NumMinus NumGt TypeMismatch
68b8003bf053800f98d6803a8d286eb4710839be NumMul NumGt TypeMismatch
ebe7075b65b07ed58c0eb8bf2a282f415c60d283 NumMul NumGt TypeMismatch
112f78de4997f63e7b702e8da552952398d618b3 NumDiv NumGt TypeMismatch
c2d66813b25c1c45315dbef0b920abafa7bee15d NumDiv NumGt TypeMismatch
abf8a65bc54f69072fb4770bd7a893e49622c000 NumMod NumGt TypeMismatch
9e4f78ab92664c600298a0fa3deb9f7cae399830 NumMod NumGt TypeMismatch
ec1810f388b6581953b3b4bf063021823efcc677 NumPow NumGt TypeMismatch
7ae5bf734f378bec922d6b0708da5802c4f4a272 NumPow NumGt TypeMismatch
9fa69904f108872fb53caf8b24464175edff30e1 NumGt NumGt TypeMismatch
abab3ce89bb4878089a42606fe3ccaf37ea90881 NumGt NumGt TypeMismatch
a57b275875642075e640884a72ed1a972867d25f NumGe NumGt TypeMismatch
9d6c039d833a9a74d9fd766e62ffb2d207a5b309 NumGe NumGt TypeMismatch
d03deae60edbc0fb814048c73da8223e92ea61d1 NumLt NumGt TypeMismatch
1f54e17d46a1a5398bb948ffe9a8d94edd9a9895 NumLt NumGt TypeMismatch
9a7af6a5342f931797cda1cfe4d7678ad7a3061f NumLe NumGt TypeMismatch
763571d3db164228dce9ee59a1cbdafeba9e5bb9 NumLe NumGt TypeMismatch
a736aebf1f3b73cbb944016da1ebc5633ace4a7c DefFunInDef NumGt TypeMismatch
bb602f2f5ee9b73cc5ee6e1759a0ceb05a148304 DefFunInDef NumGt TypeMismatch
bab643fcdf50750d7fd08ad3c82f0d7c3786ac0b LetDefFunInDef NumGt TypeMismatch
a3b24d0ac21abf003c0e1a7a3bdee36d9a6a422d LetDefFunInDef NumGt TypeMismatch
cbf28d52ebaacb75c5a5a96d79dac67cfc192960 ConstantModelValue NumGt CanNotBeCase
8245b149360d5d5cfa3150c0ea57897a4771e997 ConstantModelValue NumGt CanNotBeCase
6120159aab26dbb86ee569d82d472ec3fbdf03de Cross2 NumGt TypeMismatch
f047ac2dbe3285bd75cc8968a222e1db53cf451f Cross2 NumGt TypeMismatch
813346596128b560b917df790e1fc51c866afc5c Cross3 NumGt TypeMismatch
b7d5504b7cc35c4bce3e47d3257456686d00f7d5 Cross3 NumGt TypeMismatch
9a427063bdd50a55c8be6e88a6886363d47e5c8d FunSet NumGt TypeMismatch
a033ac331c6166a71cfe3ca8d653d81577cbf914 FunSet NumGt TypeMismatch
745b8dec202835b4f62dd6e45ebd8357d89d188e RecordSet NumGt TypeMismatch
9328e7cffc9a1a2f7157f4da6dbc02ad9c93cb39 RecordSet NumGt TypeMismatch
6c6cccb249aab0fadde484e945e91545218f4041 SetDiff NumGt TypeMismatch
8cf694e5db97e5baaf1ebaacb84a242d4792373a SetDiff NumGt TypeMismatch
8a6baa45b84fc4f79d1a8ff730842e4a9cfe7882 SetUnion NumGt TypeMismatch
39eb2fef2d2a1ff4dae9a0326e7cb9d8326b922d SetUnion NumGt TypeMismatch
98cbf565a90f201b298257c8d856671cc67f13d0 SetIntersect NumGt TypeMismatch
9c66b4bf0fe3a22ee89563acb75a04fc48a6426f SetIntersect NumGt TypeMismatch
3030f158a3768e2f871767a1df95ff4e84d9f5bb SubsetEq NumGt TypeMismatch
e958c56bc5ab17fe3d656c4a49622748e0fd79db SubsetEq NumGt TypeMismatch
d49e9c0360d69432d6b09eecbe5ec24c02929bc2 Subset NumGt TypeMismatch
30658bc5f4ec621b783c4b9a7a0bb1dc1f693002 Subset NumGt TypeMismatch
7249001a9fba66ece43d70dc4a52b8275fce418a Domain NumGt TypeMismatch
0151f2d4a08a55aacb56fc38a4f289198533f920 Domain NumGt TypeMismatch
4ef19a119a95373c842567ba212c8300c9474c7c Union NumGt TypeMismatch
6e0c413ae831ad276d503278df7a612dcd818ac9 Union NumGt TypeMismatch
96f8253892928ae084cd780165facc884b2525b3 StringEmpty NumGt TypeMismatch
30f108e830996003af6154a492b8e879cace6d10 StringEmpty NumGt TypeMismatch
b021422db31a93d2b40f78d80f189a6df474ee07 String NumGt TypeMismatch
6974175e4ee5dc102e778cb558112860d2b3b88f String NumGt TypeMismatch
688da5d64dd72d927e4262e1c6a788b39412da46 SeqLen NumGt TypeMismatch
d759449361122ef9dd75a91aeefd4abcecfdcad8 SeqLen NumGt TypeMismatch
c4789ac0732f14918805c9f1fd013ddc134133b9 SeqConcat NumGt TypeMismatch
277e8be900fbf0fc6366ffc73447de96145cc4ee SeqConcat NumGt TypeMismatch
a136318ef5ac1ba44c7f28d80bffa37591fa0e34 SeqSeq NumGt TypeMismatch
9e9aa38a12f9a74776a39de2b26d713546f8813d SeqSeq NumGt TypeMismatch
dc1b5fb806fee5ab0089e58eec326313c21b1046 NatSet NumGt CanNotBeCase
c707db169e12b8da182e0420b34edb2bbb027ee6 NatSet NumGt CanNotBeCase
2e2ed26865b56f0ac9614cccf81dbaa32c9b05e7 IntSet NumGt CanNotBeCase
870ac67e0018026121ed1d69ff84123ddd0d947a IntSet NumGt CanNotBeCase
a8e1113f4f4a6f5c0dd0aeb6f88d7702b7b9d5a9 StringSet NumGt CanNotBeCase
a69b9c0b3b69715fbae6d16de9ad6935d03eae3f StringSet NumGt CanNotBeCase
991bd65bc1bfc7f96c27715db1ab209bb0275095 SeqSelectSeq NumGt TypeMismatch
7de34c6acb8cb07846fab84573eefb937d1dac60 SeqSelectSeq NumGt TypeMismatch
24cd34992cc4f35d11b5ed73b9a93f0a8986b505 SeqSubSeq NumGt TypeMismatch
1cb482e2ec4d0ebc5b70bfb5676638a7a9989c61 SeqSubSeq NumGt TypeMismatch
0f109b9475b9909977bb63a471cdb2789859cd9b NumRange NumGt TypeMismatch
b9c02ee2cd4a7cf7e6bc2518034d16dedcd0cadc NumRange NumGt TypeMismatch
7cb367f772548b4c65a0a50f7ffe3fea2dff927b TlcExtendFun NumGt TypeMismatch
c70161055db892e7819327fdd6664e83f0e5ee0a TlcExtendFun NumGt TypeMismatch
fc5c742d9a9ae9d9c4ed741b39cc0c941f79b973 TlcPermuteFun NumGt TypeMismatch
033210a1b5aa4c77a8be774f7464eed2fa572a54 TlcPermuteFun NumGt TypeMismatch
a82901bd11d714072950af41de80c4297cefa98a TlcSortSeq NumGt TypeMismatch
e5413931d3ecb5b74d4e6e249a4e0eabdee91efe TlcSortSeq NumGt TypeMismatch
a571d8cc815e22ce2efce30c08e4cbc48d7c9e92 BagBagToSet NumGt TypeMismatch
e0fbe634590112cfb51175a3ce83145ae184249e BagBagToSet NumGt TypeMismatch
29b6e15566e22c95563024db04957d858d2ad63b BagSetToBag NumGt TypeMismatch
6710c51d40a1fe09c5347e90b19adeb23d7381eb BagSetToBag NumGt TypeMismatch
1ca6ea44e2219f9d1bcdeab90edb39d33dadd0b2 BagEmptyBag NumGt CanNotBeCase
bb15c63b4aed4b24d0b3e0a0839ad06a13d29bd0 BagEmptyBag NumGt CanNotBeCase
e300e73f09b932fcb80e319ba4516e257ff1b399 BagAddBag NumGt TypeMismatch
d60554fec33c5a218c428df143bd151131965606 BagAddBag NumGt TypeMismatch
99431c4af530ee6e13b507f4675656627963cfcb BagBagSub NumGt TypeMismatch
2b0b9db76b6bb52fc088e5e38f9b7dee30ef3db5 BagBagSub NumGt TypeMismatch
d51a1e3bf5ddb82f34551d782aff4c273b4073df BagSubsetEqBag NumGt TypeMismatch
20aa354be1d2a309cdb080bc122e85130cde0c59 BagSubsetEqBag NumGt TypeMismatch
41e50996bc5791df94f5355482cbac1d83d819f9 BagBagUnion NumGt TypeMismatch
c417fde4be4b16a97d796d8003c94dd860bf4035 BagBagUnion NumGt TypeMismatch
32c2adadd4de2eef1f53a40af083943d8564b779 BagBagCardinality NumGt TypeMismatch
5e3ed34d99b46e75ac7e2c0ec6b2bcc3a4d3f549 BagBagCardinality NumGt TypeMismatch
158efb5052f6a90b39cab8983e6749d52f023c6c BagBagOfAll NumGt TypeMismatch
925e301401a169d5028edbdc19871fe9f99d27bf BagBagOfAll NumGt TypeMismatch
84b5f5108f1109fa5055ec47db2c43436178891c BagSubBag NumGt TypeMismatch
275dbceec8fc73ed657f93373f92069f948746c2 BagSubBag NumGt TypeMismatch
4d776adf66a464dcf3f08c80932193acfcc0a696 FiniteSetsIsFiniteSet NumGt TypeMismatch
041014c58e21e62179b886182d66fcea9abbee74 FiniteSetsIsFiniteSet NumGt TypeMismatch
6cc10206f613524c0d366c1f7f492f2a3b9e5567 FiniteSetsCardinality NumGt TypeMismatch
a2a99c1fda6ce839eb2b0a716716aa25f072fe93 FiniteSetsCardinality NumGt TypeMismatch
047a5df3585ddbb49292e62821ff3f71c3b6c573 SeqHead NumGt TypeMismatch
3c37feba4c4fe8eb1a58c0c7e238db4630e9d81f SeqHead NumGt TypeMismatch
28e1c3b8d8296f10e4cefeb71b5703c66db552e8 SeqTail NumGt TypeMismatch
c67195c2552b19fbc0836d19a8445b786bcac02d SeqTail NumGt TypeMismatch