Index

Skipped feature combinations by plug feature NumPow

Id Case Feature Plug Feature Skip Reason
767ececac10b0859ed328e0f998be875963b7bce OneLineComment NumPow CanNotBeCase
01bd9f817a183f0384350ef15d734e2edf34101e OneLineComment NumPow CanNotBeCase
2de38f315132c90aed786b034a232988f445fecf MultiLineComment NumPow CanNotBeCase
0013e21749dc72867b8c9c2e4545554b8a277a15 MultiLineComment NumPow CanNotBeCase
40dd5ef49aa7a87b9a00b6b78bc05c8af45a5719 BoolTrue NumPow TypeMismatch
d1fbc1c388d81ea5c327ce3551d9146731111b54 BoolTrue NumPow TypeMismatch
ec225d94e05f68a2c032c8ed6fbfbdf50d67ce6b BoolFalse NumPow TypeMismatch
3c2dff4104b4e1c491865c80ede47886fa2df34e BoolFalse NumPow TypeMismatch
c063b83c902a6c638463e2267d5cbf5cfbf0b0d5 BoolSet NumPow CanNotBeCase
5ca4ebdf965ce400f7aa6ff78521d61221eb9b9f BoolSet NumPow CanNotBeCase
472a5711b63dd389268ede98478829ccc74979a6 And NumPow TypeMismatch
92a4dfe2c46071bd69d61d597efac2910bca606b And NumPow TypeMismatch
1e92be9f85d60c6c9473dcbc85edd8d00233e8c4 AndMultiLine NumPow TypeMismatch
4cf16727df8b7f1984e8e3b1f4448e125966cbfd AndMultiLine NumPow TypeMismatch
aebc39b36c61128f3de14198386a83b40b6cb5f6 Imply NumPow TypeMismatch
f0fcf97023dff4d5a4a22b00f9a6d403607143df Imply NumPow TypeMismatch
18f09ba082a917c64857002288f38b7944523acf Not NumPow TypeMismatch
c4ad7c0a258f07e5a9dd51430f945d61d61185a8 Not NumPow TypeMismatch
21d61bc522328c9e902074864fdd6b36dd09a39e Or NumPow TypeMismatch
1a14a12a38c2aa1ae0398ad9d01990890b639caf Or NumPow TypeMismatch
9a8dbf933f8badf1224233791bb2d855f7d7d886 OrMultiLine NumPow TypeMismatch
bdbfd6865aec71a6fbb37abf54d0f5f6f9c71fa8 OrMultiLine NumPow TypeMismatch
7d46c0b43ded1667b765d7d53eb909d84b929e06 AndProp NumPow TypeMismatch
343022ec99136066a009479546adc17fc7c186c6 AndProp NumPow TypeMismatch
c1ff98c93a61f15277688b2015fd509344119178 Boxed NumPow TypeMismatch
3c4c29a863d2494df554da321da59f1c064f5ddd Boxed NumPow TypeMismatch
2439cbbdb406acd5a89cd4a86a526f698319bec3 SetEmpty NumPow CanNotBeCase
b35c47173645c4bdbe1ac605096481e2e2d195dd SetEmpty NumPow CanNotBeCase
e403b44ade3f228f7e98b2899543c45eda596145 Set1InDef NumPow TypeMismatch
cb29eb50104619c5748733864325a1f72cd7b461 Set1InDef NumPow TypeMismatch
f909fb4f4a8e66a450286aa6947398014c98085f Set2InDef NumPow TypeMismatch
a1937fd8fcdccf419e5de900a5342ad9fbb2be46 Set2InDef NumPow TypeMismatch
9d2683b58aaa62331984e71dc526db1feda1b00e InDef0 NumPow CanNotBeCase
d672b19f52f39c698821ebe67928be4c30491155 InDef0 NumPow CanNotBeCase
6d74bc3e38ed2141f32646cd36dc25f7afae6cd8 InDef1 NumPow CanNotBeCase
204bc5aa02386ed21a08dd1615123a259d7c0ffd InDef1 NumPow CanNotBeCase
b78c46e3d91df4565673abfb019582ced2e9af3b InDef2 NumPow CanNotBeCase
87e8311cc30e31e8469088d3d147e8dd97844a37 InDef2 NumPow CanNotBeCase
471fe09517d5ab243e250ea29b3c217667aa1adf FunInDef NumPow TypeMismatch
96179a76a10081bbcc1e203c22b019a253991c17 FunInDef NumPow TypeMismatch
f10f3891848903be6be40ac561a5b4a011d95974 Exists NumPow TypeMismatch
01a4b49c25f56314943ea9470a97a1c1eeeb892d Exists NumPow TypeMismatch
894b10842a881eaf0a9900b71ede8480df8e21f3 Forall NumPow TypeMismatch
08adc347b342e627f8f0e33baa48057925b3c26b Forall NumPow TypeMismatch
eaf1014940123567831b625f2563c8a607847437 ExistsInDef NumPow TypeMismatch
25e5ca62b3f760cdf9e342a2de68fffe7983e489 ExistsInDef NumPow TypeMismatch
499b4c87c077c213cd0c931443639b02f39ae72b ForallInDef NumPow TypeMismatch
f6cdd20ff60771f0a362911bbd85e757b08754fe ForallInDef NumPow TypeMismatch
6bf056aaf01c86dea7ed9ae5349dc2b096aab204 Choose NumPow TypeMismatch
13944f4828459777b7b156a49a5872c63b318d9a Choose NumPow TypeMismatch
09a7e9846dc943403eaf227b9c990c97bd629e2b ChooseInDef NumPow TypeMismatch
065e6cb0c4dab3dd341301a743163fd1ac0dce85 ChooseInDef NumPow TypeMismatch
850b0b2d482d827b484365a79d2b34aecaa1816c TupleEmpty NumPow CanNotBeCase
13ee8900227ef2c54a3a52e34c2094fe0c26f68e TupleEmpty NumPow CanNotBeCase
ec0e92ce2920a4351aad8e1f0879a033333f4dfc Except0 NumPow TypeMismatch
0d6629820b339b7e400c4c0dfea29c062ab8fc87 Except0 NumPow TypeMismatch
4f8fe906f7d903d6ba81b026da8ae7819ba8b249 Except2FunTuple NumPow TypeMismatch
26ce2a42319b1d902c0b358edf34219340db9bee Except2FunTuple NumPow TypeMismatch
4c2e139789a494d45e9bbbf1dd85f3afdb130c1d NumZero NumPow CanNotBeCase
2175991c23496a6f9c6a040d066939ba213f5ef5 NumZero NumPow CanNotBeCase
58258d70f84162ba963894336f74c60cd821c5b6 NumOne NumPow CanNotBeCase
6b606b0182dd9c62ca6def6889728288f7c1e7bd NumOne NumPow CanNotBeCase
ffe3de2b8d0ebecde9524f272475f61e3344b144 NumMaxInt NumPow CanNotBeCase
f661726b431f087ba664e13099b3e2012f1be024 NumMaxInt NumPow CanNotBeCase
e702dcacec2dbf8ea24f08c9504f2274b4302585 DefFunInDef NumPow TypeMismatch
eef0ba5dfa7a052de2bcd2318dac6bcc8157dd95 DefFunInDef NumPow TypeMismatch
2df923beaad10be90e9597e8153d3d94145eada4 LetDefFunInDef NumPow TypeMismatch
8b64e0be2e63a6eeb64b5152f04c82a204318bfe LetDefFunInDef NumPow TypeMismatch
01f980f8fa18cb5536bd7aee2d27397310370446 ConstantModelValue NumPow CanNotBeCase
f6e048bc6f1a547858518f8308c585d19f949fbc ConstantModelValue NumPow CanNotBeCase
5f887486080e4b63f8a61f0e8a8ac5f99b9a0a2a Enabled NumPow TypeMismatch
6d127caee1ec4dbaed3abc576067e458895759ae Enabled NumPow TypeMismatch
8c73cd8b08e2c50e6a8dbaac32cfa44b65c68e50 Assume NumPow TypeMismatch
f61a7f95ac9109b9d02bbb3707fc8bbfeaaa7100 Assume NumPow TypeMismatch
c9ffa40fc590d5c36fe53db6b993d0c91cd1e294 AssumeNamed NumPow TypeMismatch
0b050da781d2d293cc66f0ce7487a0415c2b007f AssumeNamed NumPow TypeMismatch
15e33a8b692595e45c435b8b3a3806d4c7b12b45 Cross2 NumPow TypeMismatch
d58a0201bb7eae7a9e8baf09a6f4ceb4d227ca17 Cross2 NumPow TypeMismatch
16e6a947706746e2a5f9e74db238750ab27bd578 Cross3 NumPow TypeMismatch
e5ffda22f4771113789565837d33bfea48fd84ee Cross3 NumPow TypeMismatch
24478fe1303028663297d254e169692916e54d56 FunSet NumPow TypeMismatch
572a4615a216db72c8e94923419de2e2fcbc5c0e FunSet NumPow TypeMismatch
622da96ce21af4a9a5f5c0697af0db233398e296 RecordSet NumPow TypeMismatch
7d5993267dfdf2f43be53d4d175b93e3c0e50357 RecordSet NumPow TypeMismatch
38bb5f298ee67af080f0cf52cf2a1c10a52f0f51 SetDiff NumPow TypeMismatch
cb9f60e976dab523e54b30a9796d851b7d52c1b8 SetDiff NumPow TypeMismatch
bf774133364d3eb34f9ac105101d46c79ed6d67c SetUnion NumPow TypeMismatch
dfe9b065fad6a1fc8a2a2f8ef721dd6144810c36 SetUnion NumPow TypeMismatch
ea0b66fd9551539842f67626ba27a1421cffa499 SetIntersect NumPow TypeMismatch
df44406da945cc4aacab386dd27fba24a31571af SetIntersect NumPow TypeMismatch
bf0422d58f52164b9a171bf498e27d6e4da5f52e SubsetEq NumPow TypeMismatch
ee722d3a7f55cd48ece6fe62ac3c7cad08f864ff SubsetEq NumPow TypeMismatch
a65044e7fba0631a14ee220c99f5e6d8ce272466 IfCond NumPow TypeMismatch
b38f9bc0ceac6e52924ce39b9154a26c26fa8b27 IfCond NumPow TypeMismatch
8c4ddf1d94d42e4ab41ee9e2c799964aea3ea21c Subset NumPow TypeMismatch
1e02e1124f34c95ce5dd16d3c9792eaca60418bc Subset NumPow TypeMismatch
c69b9889f43778382522098c88cf1eef5ac50b6b Domain NumPow TypeMismatch
67d26be29a6545404d9e8f22461207944644ee8d Domain NumPow TypeMismatch
fb196f4c3931fbc61ab385276f19fa1deaf00cfe Union NumPow TypeMismatch
6e83c7d8d2cf44a1d5fa8b4e456b8f1305b77f3c Union NumPow TypeMismatch
736d112ed3bce6127fca66b5ca8e174ae668ba63 Equivalence NumPow TypeMismatch
1bfe45aa82d198b9cac0153dd3d5d0399b1f7a17 Equivalence NumPow TypeMismatch
94476601acecb09cd16e9c114cb32d116d8ef16a StringEmpty NumPow TypeMismatch
41fead9d791088515dc8ac3ea91efe7ce2866491 StringEmpty NumPow TypeMismatch
5bcabb225e00a952cd9f794d939bfc3044cda220 String NumPow TypeMismatch
60b1a409b07fbacd8851ddcc0dbdce980c587f0c String NumPow TypeMismatch
35beb4f79429cbf182e42af4438ee362514f4b6f SeqLen NumPow TypeMismatch
49930a71e407f2488f99053558c54e1ce0d828fa SeqLen NumPow TypeMismatch
71ce0758dfb8ae192d1b6970f0a7436571221605 SeqConcat NumPow TypeMismatch
85deefa244a7bb9526480357d5733ff9b2f54e63 SeqConcat NumPow TypeMismatch
42cf9efe6f067068d687227481162edbf95162fd SeqSeq NumPow TypeMismatch
3b18823a139e3d6889c369bb330937b3aec02a26 SeqSeq NumPow TypeMismatch
5818c2787e79bfbc13fd8d80c4548d08000f8af9 NatSet NumPow CanNotBeCase
ce42e32daf2a205344f4debc2d86f92ca3ab5672 NatSet NumPow CanNotBeCase
3f010f2bdf834d12e30ac6007a2c0f6436275deb IntSet NumPow CanNotBeCase
31870bf6813e8ef415d8a2f6ce0163446ee96828 IntSet NumPow CanNotBeCase
b4adb6b98e93af5f5562c2e5e0144b3700dd4f6f StringSet NumPow CanNotBeCase
d7eaa85e2c7b778bc3418cea905edd0e8de0065a StringSet NumPow CanNotBeCase
0397cf12909f284aedc119ee3d6fd9c73aec0473 SeqSelectSeq NumPow TypeMismatch
0105a542b230d500c203b74f14e6c00261882869 SeqSelectSeq NumPow TypeMismatch
dbd58e315b0ebec6c73ca1f878c2bf0487684b84 TlcExtendFun NumPow TypeMismatch
6ecabacab705bdf57e48b874750d925661679284 TlcExtendFun NumPow TypeMismatch
7de033d57dcd24739fdb188f127b9baf132b59c4 TlcPermuteFun NumPow TypeMismatch
7ded4cb96919f072c8012b07721b14b0208b9af9 TlcPermuteFun NumPow TypeMismatch
3da479081d38dbf860d619dce0858044dbf7a4e2 TlcSortSeq NumPow TypeMismatch
d13931fe3376aed6abaf8a5aa8bb32d54772bae3 TlcSortSeq NumPow TypeMismatch
d338aa9a335e02f440ad328bcadc3adcca71a943 BagBagToSet NumPow TypeMismatch
ec67a180505e9dbf1170bb91f298ecd56fd41faf BagBagToSet NumPow TypeMismatch
9bf43da7a4f339d9f1c27e41796470c4c219f802 BagSetToBag NumPow TypeMismatch
795bd78d280940f9ea5fbb8e93cd76eb43613faf BagSetToBag NumPow TypeMismatch
f0335cd660376b22ca0d7c5789f970eeae1cd1a9 BagEmptyBag NumPow CanNotBeCase
9d69e8e1e43a06f6efa475f961863b65d65a0252 BagEmptyBag NumPow CanNotBeCase
6992407eae0e8777dfd8ae25db8c22b381d009b3 BagAddBag NumPow TypeMismatch
16279bc13a3ad5ce3286e20663ed8461377cfcb7 BagAddBag NumPow TypeMismatch
104585d46689d956b9815d9181d4d70a9e85a6a0 BagBagSub NumPow TypeMismatch
7f7f3a436c542f6e6e9457cb929d56c0c8d8fd3d BagBagSub NumPow TypeMismatch
ccab9cb3f56d5258685830ab68d5f474deb47888 BagSubsetEqBag NumPow TypeMismatch
6876ba465503af6dcdb9aedcaa3ea324b39ddc0b BagSubsetEqBag NumPow TypeMismatch
9721d1d1725189d139ee6803a23470154dcf35b4 BagBagUnion NumPow TypeMismatch
486d2d99bbd30d9b9b91672ab18f4addda3e3f7a BagBagUnion NumPow TypeMismatch
39ad785e27b910f57b67e0ce5ab986b37b505d93 BagBagCardinality NumPow TypeMismatch
43a02acff32b483ae49ed994c336ea90d0d01c59 BagBagCardinality NumPow TypeMismatch
16d9ba73e06bed3dfbda3f4393a91d9376216705 BagBagOfAll NumPow TypeMismatch
7de00bbe07d7f7229ba8249d9f03a2fbd61140d8 BagBagOfAll NumPow TypeMismatch
5ee0847dd0b2e70bf8116528eaf155419cb73e6f BagSubBag NumPow TypeMismatch
0cb8af080f5a672d4b79223f519c1d7fc9124c75 BagSubBag NumPow TypeMismatch
d049267fe36e78e308d3a09a17ed94306ca4e4ea FiniteSetsIsFiniteSet NumPow TypeMismatch
1c294e6e31e423fce715c3c5b475153866eab00e FiniteSetsIsFiniteSet NumPow TypeMismatch
e1e7096bc101c8847f2d8cf3a3704d01138a1437 FiniteSetsCardinality NumPow TypeMismatch
e1ae77e8d3f59d094b477704813c37797c88bc48 FiniteSetsCardinality NumPow TypeMismatch
72e7a9207860ec37641e38dd67afda47e5c099a8 SeqHead NumPow TypeMismatch
e451e1347d520d78f0f8c33faf48759e1b01ba29 SeqHead NumPow TypeMismatch
703d650673306c5cb8cee686c9f04e91c9c2eff7 SeqTail NumPow TypeMismatch
015ad9cb418373085f8d40ebe277b4090cdc90aa SeqTail NumPow TypeMismatch