Index

Skipped feature combinations by case feature NumPow

Id Case Feature Plug Feature Skip Reason
ecdb78043f531afd6e9a00a021df914a001d191f NumPow BoolTrue TypeMismatch
7fba8983c294a86952929e7ba20f55c19b6a6ddc NumPow BoolTrue TypeMismatch
43cab86775d6a67ecb379924d795d5a8cd141010 NumPow BoolFalse TypeMismatch
2025c55810a4270494620bac45225d9590b055e7 NumPow BoolFalse TypeMismatch
4a80ab534bd047f8f2d6af31e3ea321a1f93f734 NumPow BoolSet TypeMismatch
120b4a71644548f65e24d51a880c086f2b28b9fc NumPow BoolSet TypeMismatch
5d9a329c8d6fd2395773d25877b9592bb9f91cac NumPow And TypeMismatch
2bd7927755b380c0cc447d03c37fea7001dcce4d NumPow And TypeMismatch
c3f503e1d9fb65409537f76c053cfe600f415ded NumPow AndMultiLine TypeMismatch
e11c38c7391c29c615ac98d6f0cbbd5900edfcd6 NumPow AndMultiLine TypeMismatch
c2d78c1d1bd7312100d05c530f1859c6c8605dfd NumPow Imply TypeMismatch
d0515e0084882af27c618b287bb78be80de71c5e NumPow Imply TypeMismatch
70e848823fc4ce027c4d39d0fbd86e841bc726e6 NumPow Not TypeMismatch
3af963fbfdab228a81b3d290a5336b2f79f9f3ce NumPow Not TypeMismatch
b32e7b540c728bfd19bbd0c1088259f6eca08f50 NumPow Or TypeMismatch
c6dd3604393ad4f43aa44b69eed4c62740281d75 NumPow Or TypeMismatch
864b195a888441ad9a7e9baf4dc3ee8ed587bdfb NumPow OrMultiLine TypeMismatch
e34154c777c3694656afe3431f999604bfd9c833 NumPow OrMultiLine TypeMismatch
1c6b317b8606b22cba1420b7cea9d96d71410525 NumPow AndProp KindMismatch
6d56ff2c16fea2061679e864173016e5392482cc NumPow AndProp KindMismatch
3e3d2063d3e7fdc5256d730abd55351e367cf873 NumPow Boxed KindMismatch
a8c15fac39bdc0dba8f4c24c2bd9c8ac8b8f35eb NumPow Boxed KindMismatch
73e88a1212c4df36e7a9298d1cecc571b11638e3 NumPow Eq TypeMismatch
1dbd5e8aaeb3c50d838c4cc14928beea00e0569f NumPow Eq TypeMismatch
c3ef4b2d2ac24b8b9bea34cfae82f68ae81b31cb NumPow Ne TypeMismatch
adede785bcc76312c7d20bff80b86e45c019e010 NumPow Ne TypeMismatch
81225e1bbdee6f00bc327d4456a677cfafa4acc2 NumPow SetEmpty TypeMismatch
7c65862a1c13ef54e7f92a109abe621943123e22 NumPow SetEmpty TypeMismatch
873e2e0903239247ca0bfec4c288f857347d8d8e NumPow Set0 TypeMismatch
456daee567a292aed0b1e882604eab4d77482f56 NumPow Set0 TypeMismatch
1334e394042cfbcb7760afdd1832f0ca175604b9 NumPow Set1 TypeMismatch
c89951fc361d4fdbc423370dfc3dded181ef6bac NumPow Set1 TypeMismatch
594c2ba934a246c88d2932d51d54936a193945d6 NumPow Set2 TypeMismatch
d5bd6b06c26303eef9f791398752a7da674cb83f NumPow Set2 TypeMismatch
f5cf4a3fc2ac4af3933b800a3fe1964ff0aa1390 NumPow Set1InDef AlreadyCombined
d448ceabc1a93c7c3f696910f1a217f5fdcccc9f NumPow Set1InDef AlreadyCombined
9eb693360b4e368e316c29e9378afd3f7a8b7295 NumPow Set2InDef AlreadyCombined
3d7149fac13656ff019b700b6138af23cbced8bb NumPow Set2InDef AlreadyCombined
4e0e7a44c91181b086e0b44647e40b765d5ff870 NumPow InDef0 TypeMismatch
8720c6977693656571742df78aeff0c8097fec96 NumPow InDef0 TypeMismatch
6f34cd6f036fb0c6acf665017c7f17ebff8dcdbc NumPow InDef1 TypeMismatch
da8229ee837757fde8b550d1103ab8b5735e088c NumPow InDef1 TypeMismatch
2e8275ffc3657775a1a82b8351557e90773bf5d3 NumPow InDef2 TypeMismatch
86e97c3d9cf2f6fd6a82acd733f18ed6a2bc216a NumPow InDef2 TypeMismatch
d169a7d14fdd6e59b81f99077f887d71ad3c705e NumPow Fun TypeMismatch
0f5e0c6539fe733779d4d27b958003a97ffd7e28 NumPow Fun TypeMismatch
62d9cdae1865053af47359c43388e30f15dfde89 NumPow FunInDef AlreadyCombined
a9caeec97a2bce27435a4bd27f7d14dafbde93a2 NumPow FunInDef AlreadyCombined
982c1fcbdf3a6346de0717a61d34ceb5307b984c NumPow In TypeMismatch
c999c66adfbbaea02e18910d26a5256803ac76fc NumPow In TypeMismatch
c9f45a52da1203b87cddeca3044bcb944de8d22c NumPow NotIn TypeMismatch
e0507e98a7486d467f691d4dd9edecfe54218b09 NumPow NotIn TypeMismatch
84d2625ca75388de7d1c2883da88f7e694e8b4b3 NumPow Exists TypeMismatch
30398479e65c34215d7c0911d4f18e9ffe81c522 NumPow Exists TypeMismatch
4274e95c48a49d789774797fcb6590deba3194fc NumPow Forall TypeMismatch
56d3881f8ebc2e02967164d5b692c0db3b98d749 NumPow Forall TypeMismatch
f6b310ecea7b0977decaade9d317214eea7ad4fd NumPow ExistsInDef AlreadyCombined
43fe800c6a554cb95c2ada53cc8a6a55a4bef2a9 NumPow ExistsInDef AlreadyCombined
3bea7dc13eb856c413cbaadf1dabc5785a927e32 NumPow ForallInDef AlreadyCombined
b26f20d51093b281779fe320a2fc983fbc645f95 NumPow ForallInDef AlreadyCombined
331b11f346b264a4a92c32e8c55c1ed5420cea74 NumPow ChooseInDef AlreadyCombined
f75f662278223909046ff7e74601b3156518f35a NumPow ChooseInDef AlreadyCombined
36d7f5870db41a3d138e0658ff85f2eba04cfe5b NumPow Record TypeMismatch
8ddb0cfc91b557e76741e53ecc6c1f7196e5b35c NumPow Record TypeMismatch
3612b95d47b5f49245ca6b27272afc05a174f08e NumPow Tuple TypeMismatch
33734c988bf0b21375f78c68af652ab169a67335 NumPow Tuple TypeMismatch
a1e7d66467aa6ede175ac440bcd70d82fd5eef5a NumPow TupleEmpty TypeMismatch
eff9ac390faf72c6a58d9fde5582abfe9bd1ea11 NumPow TupleEmpty TypeMismatch
8dbfa3c5f29ab60ff6ab7dacba9bb72927fce3c6 NumPow Except0 CanNotBePlug
47a0f78c3beb9d775a9e886e214b65ca996f174f NumPow Except0 CanNotBePlug
536a2350e663a50754392916560826815315edd0 NumPow Except1Fun CanNotBePlug
938c75d11ea147220af1c9f5687cc3b74a59483d NumPow Except1Fun CanNotBePlug
f7153d0f9976cc6f5b738bf424a66ee89c704c9a NumPow Except1FunWithAt CanNotBePlug
e10f135f52fc89f9d14210cc154265afe227fb73 NumPow Except1FunWithAt CanNotBePlug
60fd23ecc657d8221a41e8c9313d514e4b9f37d4 NumPow Except1Rec CanNotBePlug
3162e009173ab6d7acf965b817ef17e4fc248766 NumPow Except1Rec CanNotBePlug
60be446b9589d8b4512c1f6c2af592aea12b2563 NumPow Except1RecWithAt CanNotBePlug
6813fee5a6047f172d44a0d4ea55d8821336c863 NumPow Except1RecWithAt CanNotBePlug
9091ab1b5a8f005da741ba0b3930e8c76442110e NumPow Except2Fun CanNotBePlug
9ab099aaf19acaa7033653121bc33b6c876c4dcf NumPow Except2Fun CanNotBePlug
0214a5bbfba4a7cdfbf524da79966fae8307ee1c NumPow Except2FunTuple CanNotBePlug
c0bd5da0d86a58d31d3450788df227e1155ea4f4 NumPow Except2FunTuple CanNotBePlug
ec1810f388b6581953b3b4bf063021823efcc677 NumPow NumGt TypeMismatch
7ae5bf734f378bec922d6b0708da5802c4f4a272 NumPow NumGt TypeMismatch
cc63256737edf3269d3253d5d64a5eb1ae4aca8a NumPow NumGe TypeMismatch
4186ea282976ffb528752f86503d4198ea9e8fa8 NumPow NumGe TypeMismatch
6a8cba32e0813dd8002561573b37d682e293ce76 NumPow NumLt TypeMismatch
a6ac50627315ea9ce4514313f286f250e93f3869 NumPow NumLt TypeMismatch
53a431b5485a23807f02dd54089a3c4a7def9eee NumPow NumLe TypeMismatch
6c87b800aac61a6b8a99247f577944b47027bfec NumPow NumLe TypeMismatch
c4c9d974cb2852753502372155c4a05bbcc5c6e8 NumPow DefFun TypeMismatch
30a3181c5a18313834d540c5bddcc0cc9636c378 NumPow DefFun TypeMismatch
4a0aa0e60d551edac9ceda04892c5be5d23342f8 NumPow LetDefFun TypeMismatch
4ed7bfc1f861949f6d3840a1b1a0aedb4d15af6f NumPow LetDefFun TypeMismatch
6aacdf3445b5878ae58ef4c916999721e31205b2 NumPow DefFunRecursive TypeMismatch
e9c0413737b1c65846cc3f4d3bbdbe6ee6c8a71a NumPow DefFunRecursive TypeMismatch
73235513592cc26ae83f33551f230ba679e6a6ac NumPow LetDefFunRecursive TypeMismatch
2bb6b4d188b554028ab7772f50fcc138d8ca849f NumPow LetDefFunRecursive TypeMismatch
06aaa7b1ba439ab37c3ac257edb3d2cea9168371 NumPow DefFunInDef AlreadyCombined
53791b4b5bcecbb8628c545938534ff4606929b5 NumPow DefFunInDef AlreadyCombined
4506a01cda67c9b4fa4c1b36950bd9b1d1b59336 NumPow LetDefFunInDef AlreadyCombined
7de46ef8d498952cf59197eabe5e0e96e3f4b815 NumPow LetDefFunInDef AlreadyCombined
144ee919d1bd373314d0dea437192454813895fa NumPow VariableViewExclude VariableExcludedFromView
4054a0a8bd236467c16a496605208f01305ea156 NumPow VariableViewExclude VariableExcludedFromView
1e872af499be2b8bd152af8c670dfefd35a78d07 NumPow ConstantModelValue ModelValueCanNotBeUsed
28a40ea9dc86eb123a08b06e3ef2309828f97be2 NumPow ConstantModelValue ModelValueCanNotBeUsed
2b4f97174dbdd7390926ea69aefe57d22491b56a NumPow Enabled TypeMismatch
02aac41ec8de8bc2ab75897af4239433ab8c8998 NumPow Enabled TypeMismatch
123d20c1a85289369475413e52c073957e32d5c1 NumPow Assume AssumeIsNotEmbeddable
8bc915a67f933a91bdf4cb8b81449ad8bd431707 NumPow Assume AssumeIsNotEmbeddable
0705ad6c11d54c63a093bf1a131233845e485d04 NumPow AssumeNamed AssumeIsNotEmbeddable
1ed512c9533aad7e4f5832ef1c2c26d9f1ac8476 NumPow AssumeNamed AssumeIsNotEmbeddable
57fe00c562f06748584c3269abb1dda70fc30c38 NumPow Lambda TypeMismatch
8569497fbf8aec60bdb96e67db147e99ec34873f NumPow Lambda TypeMismatch
8dfff6e18cb878f22d0effc6266580731ee39995 NumPow Cross2 TypeMismatch
6e6893d2fbd81d2ec25801211ca7a2a76fcab0ff NumPow Cross2 TypeMismatch
1328f830ffa61b66bcdec628fa71e38b6dfcb905 NumPow Cross3 TypeMismatch
345434e679ea7edfdf0fd3f3b9972ab5ca7a3c24 NumPow Cross3 TypeMismatch
4c838016d090a5f16f9951cf385f426f6b0b1bba NumPow FunSet TypeMismatch
e204df416403fcabe5848356582c2328226b60c3 NumPow FunSet TypeMismatch
d3f1b2d104af790fa2802391df70b5a589aacb93 NumPow RecordSet TypeMismatch
f4108a5acbfa5a59cb996aa7d1d193fc3486091a NumPow RecordSet TypeMismatch
301d283c7599ca81d30e833fe1b75d5349356b9a NumPow SetDiff TypeMismatch
3c327038a662431e8cbf58c464d086b99817af68 NumPow SetDiff TypeMismatch
32c40bc2459a53cbd088b9e9e7f900679cf6e65a NumPow SetUnion TypeMismatch
d05fbac15acdaccb9d3171627b2baa5d373e8fec NumPow SetUnion TypeMismatch
a8c2bab4730cf73c2db5ec51417e88382a655fef NumPow SetIntersect TypeMismatch
17a1c2e4d12951a7c4041c3d6915968459eaa2a4 NumPow SetIntersect TypeMismatch
487fdbd5f4154002ed50f86d7ff4eee12009aa47 NumPow SubsetEq TypeMismatch
eeec42bba23281d50600e1e7d3b1223c50e1ac24 NumPow SubsetEq TypeMismatch
6f15c7d64fb4c97711781319130249d1ca1ed83c NumPow Subset TypeMismatch
d73d7465f74d0dadbe5da4cf8bd608c95ea49a7a NumPow Subset TypeMismatch
37588dccd81835d72bc3ae1d1f601e0bd9679c83 NumPow Domain TypeMismatch
15f8b6e3ea1c5364e7654e6d9adaff398598a30c NumPow Domain TypeMismatch
4c6329c62ff59e8705a8b49562ec34da4a540fc2 NumPow Union TypeMismatch
a938e0ff817dd4dcfa359334af76a7a3b281d0b1 NumPow Union TypeMismatch
9b8159d448b697a1b23c1212fa6ad276ef72b674 NumPow Unchanged TypeMismatch
70ea79a94ca3926a30e4258e8736a4f75b31b08a NumPow Unchanged TypeMismatch
ef8237646e5a2fc3d1f5c73675953349500990cd NumPow Equivalence TypeMismatch
192afcda477e7e5bfa50632191a839d0bd1ec468 NumPow Equivalence TypeMismatch
99a46142a1eb26720f364d4457d64a831d56b993 NumPow StringEmpty TypeMismatch
2a27b71ef14de69427d87da8ff5d6ba5b0f95e27 NumPow StringEmpty TypeMismatch
3edc545c629f5758a50236b579e1a06be38bf771 NumPow String TypeMismatch
49bdc56f2ee8febab51403b71ede5e83f9287df4 NumPow String TypeMismatch
952f6cff471bfbd941e5674fcaf9fe7af5b84ea5 NumPow SeqConcat TypeMismatch
965ddb0efd0466fe1b4402334e9fcbba51cd0a02 NumPow SeqConcat TypeMismatch
e6aa80fc0a1ba81091c4ef16913c42e884117085 NumPow SeqSeq TypeMismatch
7f129e4d098edc3ecc4d38442d09bbdc7715ba34 NumPow SeqSeq TypeMismatch
0e6a0bd6c5bc6b4bb22c7ed98800b2317f346a9b NumPow NatSet TypeMismatch
1639dfae3f91f06b81164e337a55581d62028169 NumPow NatSet TypeMismatch
fc79f526096629baac582f9484679f03be11d668 NumPow IntSet TypeMismatch
9fe32a6841988ad978060526a7aa64c66557937e NumPow IntSet TypeMismatch
7df9aabf635d8718e33ae687a66f92dec579403d NumPow StringSet TypeMismatch
46d8f1bc9387a0d3a48b4d9dee5973fb3bf6d32a NumPow StringSet TypeMismatch
7c05cb76684a3a0bf9f763fdcaa44781d48ffe91 NumPow SeqSelectSeq TypeMismatch
3e1bf30e65d69e8479b14df90a56388be67265ec NumPow SeqSelectSeq TypeMismatch
ee6de040373641a695a6fc9caf2d3f5ea6794a03 NumPow SeqSubSeq TypeMismatch
d2cf5b3511c7c655f13535995912ff5d3cc7587b NumPow SeqSubSeq TypeMismatch
170e56e7631ec4193048cce586d03141c3e096c6 NumPow NumRange TypeMismatch
4cf74fb14b33a716a3c416f04ebebb6fe0c4374e NumPow NumRange TypeMismatch
0dd4516c0fdd661a6611983e413c535ee648e960 NumPow TlcSingletonFun TypeMismatch
e140b819c08d35a0f359e27f8363bbc971896041 NumPow TlcSingletonFun TypeMismatch
76fec51e856a89c00d338680b52835e64773b1ed NumPow TlcExtendFun TypeMismatch
667a78843068e5941691723f23634867315f757f NumPow TlcExtendFun TypeMismatch
0867250cac56cad63e59063cb668556340caaf2e NumPow TlcPermuteFun TypeMismatch
e6d2e6b40b537bc39b6c3da8938003cf673a094f NumPow TlcPermuteFun TypeMismatch
0bef680223f847fcbf1d77647fba050e82de2960 NumPow TlcSortSeq TypeMismatch
1bfadfcaa53d9434bbad30c91a1d50423027b5cf NumPow TlcSortSeq TypeMismatch
59ba5fbad4cf3a5b2483f5398752951e7c8e540b NumPow BagBagToSet TypeMismatch
a37f4b362ee94b8f257772901e93647777149990 NumPow BagBagToSet TypeMismatch
d05d4b01e24e1911ee11b2594bc3e7fce07e8691 NumPow BagSetToBag TypeMismatch
e5fef638edd440fcde5881b2329d1800fe16e818 NumPow BagSetToBag TypeMismatch
3b332031ef098662169752686d373aa7baedb647 NumPow BagBagIn TypeMismatch
442fd80fcf95b28da3c73d3a3f0b7dde120e039a NumPow BagBagIn TypeMismatch
7254f9b366e6bc065b74b4c134324d678d2ebf8a NumPow BagEmptyBag TypeMismatch
68e54264e07b7d2fc8aec7d373563b5e5bcf0f66 NumPow BagEmptyBag TypeMismatch
62893c3089036ed1c2ef5e1d2e580187ac333d66 NumPow BagAddBag TypeMismatch
091bf65f6ee8414b2c1f4cfed52ecfd8a11dfd17 NumPow BagAddBag TypeMismatch
274573fb497d5892ab88b70ae4e6ca949acccd59 NumPow BagBagSub TypeMismatch
6e4f8a1194ec522dc1e3277c9db79fb5e604a8d6 NumPow BagBagSub TypeMismatch
9cb391bc044a46e57d96fd91916e0bb14870998e NumPow BagSubsetEqBag TypeMismatch
ae9f19ae59acd36e89d20b89bf688a054f85af9c NumPow BagSubsetEqBag TypeMismatch
c7db1e4e23860089b626c9f3dd2457b678f76288 NumPow BagBagUnion TypeMismatch
807ea6042d954b0d8d136d49b7a2f803fa850f62 NumPow BagBagUnion TypeMismatch
60267b29458aa850c006ff090bba39a5d43c02b3 NumPow BagBagOfAll TypeMismatch
9fcd40771d63c543e920ad4a73238653c4af03e1 NumPow BagBagOfAll TypeMismatch
39681d1e7d9771aadbac5340e63151469829776e NumPow BagSubBag TypeMismatch
753b10cb4ba079daf69d1043e8fc906cc3719f9d NumPow BagSubBag TypeMismatch
1bef740adfa1e770556d6b1a7976f6b04b3a15f6 NumPow FiniteSetsIsFiniteSet TypeMismatch
ee454df3bc1cc39a4cd7feac86f221671894d7b3 NumPow FiniteSetsIsFiniteSet TypeMismatch
b685f745cd3c96bb4ddc2c71c66d39dc8584ca46 NumPow SeqTail TypeMismatch
2ad37ffc6595b28c1d897d1ac333109283d0a868 NumPow SeqTail TypeMismatch
6af0e66435db69bbbf323894f12d3f9a16e4031d NumPow SeqAppend TypeMismatch
ed6fd7330e0405c4ffc3c82234463ef966ab5035 NumPow SeqAppend TypeMismatch