Index

Skipped feature combinations by plug feature NumGe

Id Case Feature Plug Feature Skip Reason
ede133eb8d0cc14dd60c5721da7f52bc16bebe46 OneLineComment NumGe CanNotBeCase
aee40485d8509b187e2bc25b9f37f739c1a24e8c OneLineComment NumGe CanNotBeCase
da40bba1db4be98112142115acfc5cdbc9b373a3 MultiLineComment NumGe CanNotBeCase
679f4b1570bb03f121cf2c8ef6c8e103b7b7fd44 MultiLineComment NumGe CanNotBeCase
b6d4c76e5ab16cb09e3ccc82977247826cfe97a6 BoolTrue NumGe CanNotBeCase
53c07b18ebe031b5082bf1f6d20ec0165a2d0459 BoolTrue NumGe CanNotBeCase
73ba019d219a765071f195d7b29d0892a375be48 BoolFalse NumGe CanNotBeCase
cbd473d50f7fec226fd7d583f3ee419241a25431 BoolFalse NumGe CanNotBeCase
b286b4ebec88b8b15c3554dd48ba8325dbcc1b98 BoolSet NumGe CanNotBeCase
e035181def369c7a0229cae8d6b6c59037523dd9 BoolSet NumGe CanNotBeCase
8136189ce9c0886ae7a3fb3daf0c099028ad2b73 SetEmpty NumGe CanNotBeCase
6a91bb01f0e4042da6af8b98f86b3948b9dd244d SetEmpty NumGe CanNotBeCase
8f976180eaf08a93f9d589d4a677d8d1a473323a Set1InDef NumGe TypeMismatch
b390c3330a704f6a4333e5c1e02b2a6eb9e3c539 Set1InDef NumGe TypeMismatch
a872fe0db4608ad8ef98a7353e0c3ebd7f564bde Set2InDef NumGe TypeMismatch
714f9714d1b6ac89e302d48520a4c65e69537518 Set2InDef NumGe TypeMismatch
dd9fdfcd796a42bfbd38f3a0b15af96c593c6a85 InDef0 NumGe CanNotBeCase
c73cf6ee3b5f1c40342be0174d51b3571058e6f4 InDef0 NumGe CanNotBeCase
e41665714ad89fc234a865f6fd136b28b37bda62 InDef1 NumGe CanNotBeCase
3596f30d8116a14e416360140861bc617a6e726a InDef1 NumGe CanNotBeCase
0c5e5e43998267f0ad774a1071edba2521edf1f7 InDef2 NumGe CanNotBeCase
276f51b20d68e4dc3ab5b45c9029b1e34b578526 InDef2 NumGe CanNotBeCase
5e8bdedf262bd0072140487b2275084cee4a3167 FunInDef NumGe TypeMismatch
f552fab84d609b4b40db866790d4af2e71228cab FunInDef NumGe TypeMismatch
82d36632025f199700b6f00d73d516653126edfb ExistsInDef NumGe TypeMismatch
f358feba78c1a73a31d0510ab38c453f819c8ecb ExistsInDef NumGe TypeMismatch
e1e45be2a6fb942d2214ce6820f36bec7eb4a5f1 ForallInDef NumGe TypeMismatch
1084b35660827e45c0c1cdb26c165cf293d954f8 ForallInDef NumGe TypeMismatch
6c93db4317201d6f3dc5634cc8724a83d145e5b5 ChooseInDef NumGe TypeMismatch
25eaf23396fcd485203cc819b0d6dddb11c6e608 ChooseInDef NumGe TypeMismatch
709438e07d5c5f56fcb9d03422a8ef26d8f07ea1 TupleEmpty NumGe CanNotBeCase
349e015cb63b17c4d0ee6673bf183ee413757f02 TupleEmpty NumGe CanNotBeCase
f61a7312837e2530f4deae8d89ae0e5df4f66492 Except0 NumGe TypeMismatch
0c4f14a5835bae7640c16be67fde19719851f947 Except0 NumGe TypeMismatch
c5ea3fcd7ad4ee1d1bc90a0a8a86596a2ef9d594 Except2FunTuple NumGe TypeMismatch
30209da5f45dc19945ff6df4986addcc8bebc1e0 Except2FunTuple NumGe TypeMismatch
0f3271c215b0f95a400c69ca0189327b37a97621 NumZero NumGe TypeMismatch
48bf65094a8580fdd25808910eadf35d91c52320 NumZero NumGe TypeMismatch
2b269e71388dc2df98d1aaea422b918b45ab8db7 NumOne NumGe TypeMismatch
e9eca61516c499b2a8bd397875821e8cac921624 NumOne NumGe TypeMismatch
7e7dfa1a3773f6dc94b86021d0a38d13d58ab76f NumMaxInt NumGe TypeMismatch
6eb5ed136132d6858b260887bffc05bf54407209 NumMaxInt NumGe TypeMismatch
82c9e38597d5a56297c0176d792f1ce87d048030 NumUnaryMinus NumGe TypeMismatch
aba1e203e17d11b8e8ab6e19594a98cb2588c3e2 NumUnaryMinus NumGe TypeMismatch
c01beaaa3b0a22bc2355c0cb5255ed4425982f70 NumPlus NumGe TypeMismatch
409d41a3022a434b4f2de016f75bc5597ad24438 NumPlus NumGe TypeMismatch
40b0a386d319f45cfbe84194f9edfe5ea9735643 NumMinus NumGe TypeMismatch
fe30d634a8c172b6c5f8432a40a55add07a8b2ec NumMinus NumGe TypeMismatch
a8e2cf0a2741322bb93fb506e46cb88c16e67a76 NumMul NumGe TypeMismatch
f98ba05614ec59bf15a61281230fee2cf14d137e NumMul NumGe TypeMismatch
4986eec903c7f905d7b92958a6871b016ffd45dc NumDiv NumGe TypeMismatch
1b5c7fd839268c9d66f30d41028b1ad1bd07b572 NumDiv NumGe TypeMismatch
7d69fb1b5eb46cee9fced18aa33407ffbcf3b2ba NumMod NumGe TypeMismatch
e6d0b83984c7a9cd1e9a57fe687a6f5f89f734af NumMod NumGe TypeMismatch
cc63256737edf3269d3253d5d64a5eb1ae4aca8a NumPow NumGe TypeMismatch
4186ea282976ffb528752f86503d4198ea9e8fa8 NumPow NumGe TypeMismatch
8bab8c67c64130bce458209c7d7ee9664d538844 NumGt NumGe TypeMismatch
463665ff1ac5b10277acbbfad8a0c3948cf941f1 NumGt NumGe TypeMismatch
3b4b397f03026ab2484900eda2d7e1efb803d90d NumGe NumGe TypeMismatch
5b2cfa956e839caf71564926e3e2825d3f43e926 NumGe NumGe TypeMismatch
3ae87963c4799e4419a6f77364e25192cec6f57d NumLt NumGe TypeMismatch
93cef495363d3b88d40afd51e031e922e0a20f12 NumLt NumGe TypeMismatch
0ce67eb98e2f649cb76a078d44547dc1db4302d2 NumLe NumGe TypeMismatch
f79b63f13ef4a71da1f6bbb250c422e915327081 NumLe NumGe TypeMismatch
371b42109bc39d280d09075827370f94b5ab668b DefFunInDef NumGe TypeMismatch
ce7a255a3ae2c4ffbe878a2eeee656cd41d7a99d DefFunInDef NumGe TypeMismatch
623bdbbf93945d3ff54570415812d6b89e1ac5ac LetDefFunInDef NumGe TypeMismatch
3d98f44794ad48a518a8857abd3298b032231738 LetDefFunInDef NumGe TypeMismatch
26a36f64b68ff98079c1907feae91180575c9fba ConstantModelValue NumGe CanNotBeCase
69109a35e228a2668639c41ff7b6db61540e6688 ConstantModelValue NumGe CanNotBeCase
8369914437d56cf64653b736218e3fd291f31d58 Cross2 NumGe TypeMismatch
260de3dfd5e62d54b45204e3bbf5bf28b8013dd9 Cross2 NumGe TypeMismatch
f91b6a9a945454546dfd93c8d6f03211f7251ef7 Cross3 NumGe TypeMismatch
538d997068ee9856120f1e2a99e1cef92c70c97d Cross3 NumGe TypeMismatch
0bcd3c1cefdd6492eb66613502f3733c92f52c1c FunSet NumGe TypeMismatch
3acc1a8960a5a4efc894db1f5e7e7d4f68e29b30 FunSet NumGe TypeMismatch
3ff13206d3b78d64a2e432c02c15697378b50563 RecordSet NumGe TypeMismatch
7d38500a0fd171b36cffaed30d4a9c0c5c3c3100 RecordSet NumGe TypeMismatch
9695265d486a1b02acdcdefacb86d8bb84aacec0 SetDiff NumGe TypeMismatch
1f73aee278467a41fa5f80fcbe6b81847fb53086 SetDiff NumGe TypeMismatch
f16407271259f9c1a84947e88ec2293209c7a427 SetUnion NumGe TypeMismatch
050f6bb9ea46e81141ab2db3f28f5424242399dd SetUnion NumGe TypeMismatch
2c7baeced35b3596cf46b3cf7879c57e3e0ba5f4 SetIntersect NumGe TypeMismatch
8459e64ba4248d0ca5b3b061cda5632112ba598e SetIntersect NumGe TypeMismatch
f5855720b600fccb6c5d378baf232e4b552c6e74 SubsetEq NumGe TypeMismatch
97c05958da25fdb1b09c85d6944c6c640dfaa86f SubsetEq NumGe TypeMismatch
74f5585165da1901a42c1da8dac58bd366e62faa Subset NumGe TypeMismatch
27382e1f58f97474f4d2d0b6e5e3268327d7d2eb Subset NumGe TypeMismatch
2c7af3086477553f6d4a90003c9609092acc92da Domain NumGe TypeMismatch
b18cc30160b449cbd46c6417b4d529bc4af8f977 Domain NumGe TypeMismatch
e5ece5b30f2f3e4fb69bc6cd96ac745ea461596f Union NumGe TypeMismatch
593d05ca561b567e8de6d33a7c682fe733b6652a Union NumGe TypeMismatch
69304f656bbaadb0512f792d926c69489e83bd1d StringEmpty NumGe TypeMismatch
43d4fd9c0c7fc406ee3087f2f9c512f8f3f4605c StringEmpty NumGe TypeMismatch
6bcd2f6891b52241042fdaedcd0a419906a6a133 String NumGe TypeMismatch
893c4c316c62783a676e6150237d5c52b5caf404 String NumGe TypeMismatch
45805baa99a345d8a724cf323232c142dc7ea36f SeqLen NumGe TypeMismatch
aebeabe1b6913b29fe2cd6f89bac8cf17d9a8203 SeqLen NumGe TypeMismatch
d9fd1e61fa68b4fa812294ef04d3d54fc017899c SeqConcat NumGe TypeMismatch
1e1482654297f5e2ed32f8ff50146406db8907b2 SeqConcat NumGe TypeMismatch
ae360287494a5078f5f597fa7bb85ec5735fb23b SeqSeq NumGe TypeMismatch
baef9af6e6af290ca9605316e7755b0cec0553d7 SeqSeq NumGe TypeMismatch
8ba398a28aae3de6b4f902bc383d6d8a21d07904 NatSet NumGe CanNotBeCase
db2a1d5b0752d93502a90cd7749df011b4b6d0d6 NatSet NumGe CanNotBeCase
ed12b7afafde41c86a792ee5e87dcc20399dc609 IntSet NumGe CanNotBeCase
aedd40c18c7d899d4b1f5f9a845864cec155f1cb IntSet NumGe CanNotBeCase
08fac7aa8a428451242f448a317ccf70c7bf149c StringSet NumGe CanNotBeCase
861fccf04109f8c10ed041b46850c60951d4c57e StringSet NumGe CanNotBeCase
606f3149c567bff00f5cb6aa48d53892ac6739e8 SeqSelectSeq NumGe TypeMismatch
0b5bf88d935cc3ee9650ec2c95e9434c2dd59d2b SeqSelectSeq NumGe TypeMismatch
091e743009c8a2b534760453ae4bb22efeabb913 SeqSubSeq NumGe TypeMismatch
1a9c51fb8596db28bb5292916700d95c79c9f53b SeqSubSeq NumGe TypeMismatch
53ad5ef6fefb36a51c26384ffb647935eccb5150 NumRange NumGe TypeMismatch
45af6b4e1c7f2f31a0389898b21174fbc6b3ec9e NumRange NumGe TypeMismatch
0f0ae7231736ed5c76315585355437325541cf35 TlcExtendFun NumGe TypeMismatch
c2cff3ec4ba2fa8ad12c30af04fba9134cb54b8e TlcExtendFun NumGe TypeMismatch
10e2b5f80cc0c2ad8b5ab93c410b6cf37de76d6f TlcPermuteFun NumGe TypeMismatch
a5b73f2fa52843f9a45b6fec9a6fac116527ff2a TlcPermuteFun NumGe TypeMismatch
ef7323c67ee8010a085155ca6bb79b165c0fa905 TlcSortSeq NumGe TypeMismatch
a1a46452ad83565cef648d2ac1eafcd570b95d30 TlcSortSeq NumGe TypeMismatch
e895d65b4b7050022dba5171b847af53b373da3a BagBagToSet NumGe TypeMismatch
bd87cee44c8ae55784347bf43363a074b3ead017 BagBagToSet NumGe TypeMismatch
4bd5a78221f4c07f99dc36c5819b0c74e95b54b4 BagSetToBag NumGe TypeMismatch
385482c2c6aafb69bf6427310560b908c7acbc6c BagSetToBag NumGe TypeMismatch
b0cdadb8f63e8a498797f83168d87f6ea7b975aa BagEmptyBag NumGe CanNotBeCase
c936d1344271d22ec2712f4f910bfbaba46705d0 BagEmptyBag NumGe CanNotBeCase
b4a1dfe9726cc8e0bb9f107df27d14caedb77f96 BagAddBag NumGe TypeMismatch
dac404cb79e3e79ea63c192af18594fb96fee178 BagAddBag NumGe TypeMismatch
d975e7d239f8e8d9f00eed794bb1b3ca6374dcf9 BagBagSub NumGe TypeMismatch
122aeffee17899e4cd5bf754a4e75ca63e167fdb BagBagSub NumGe TypeMismatch
77f537826003e55feefb29d0e614415fd91d55dc BagSubsetEqBag NumGe TypeMismatch
3091746944342c505d486b064ea877ee77401c23 BagSubsetEqBag NumGe TypeMismatch
5746bc3758a142f10a136d6ba41f5ac5daf39d98 BagBagUnion NumGe TypeMismatch
bf35f5ea3b58fdaea3629153469851cbe5ce0675 BagBagUnion NumGe TypeMismatch
1020c43bc9a06bcf0d41d7dacecfedf28ba3721b BagBagCardinality NumGe TypeMismatch
103615af061c6874954377362d9333fe0e34c153 BagBagCardinality NumGe TypeMismatch
3452f71479199c641fc35b88274f739950ae5544 BagBagOfAll NumGe TypeMismatch
883042a2132480944b1aff0928f88b474d9e2220 BagBagOfAll NumGe TypeMismatch
fc167dc399f54fea5b8e98ad25b6eb243baad96e BagSubBag NumGe TypeMismatch
af198074f82746686b7ee2aef500dae445e45234 BagSubBag NumGe TypeMismatch
8e51c4fac3bb2514fa129e74cae480535e449a6e FiniteSetsIsFiniteSet NumGe TypeMismatch
43f25429398ecf61b911c8e6050db59cb7e33853 FiniteSetsIsFiniteSet NumGe TypeMismatch
31007fb021df98d1ccb62eb404d374f29e090b6a FiniteSetsCardinality NumGe TypeMismatch
13af2720d58510c30902caf097822675009472fd FiniteSetsCardinality NumGe TypeMismatch
1e228e997ea773158a3cdf2d75ffbbbf5318095f SeqHead NumGe TypeMismatch
f2b7c73224d32da5eaae9b1f3f03301b49a4ab96 SeqHead NumGe TypeMismatch
32b117847c5379efce80092bcf694992ca05bf87 SeqTail NumGe TypeMismatch
2a9e2c2b71ab675ffdd6cc78717af5a32a1de26c SeqTail NumGe TypeMismatch