Index

Skipped feature combinations by case feature NumMod

Id Case Feature Plug Feature Skip Reason
fc004633ddbc83b3f4b8a51dd9486b01021fc9b1 NumMod BoolTrue TypeMismatch
da2dcdfba4fa4987245ebf5a758e8b469eee2e31 NumMod BoolTrue TypeMismatch
bc38ad77ac44269cc118e65bcc702fc40421cb52 NumMod BoolFalse TypeMismatch
80cf927933aab37add6adc6e9d766067287ea920 NumMod BoolFalse TypeMismatch
5226dce777d5e187f4eaed651411113ac55535dc NumMod BoolSet TypeMismatch
2526dd576885900cddc3048101809eb9bbe21eb9 NumMod BoolSet TypeMismatch
e55ccbdaf913c31d48b259603c382c5ed7c0b342 NumMod And TypeMismatch
c0b1deb2b44a3d58dd1f2208d30bda3ffbe53347 NumMod And TypeMismatch
04441c386b4f2aa44ecb63cc42f21fb1897d2226 NumMod AndMultiLine TypeMismatch
f02f1ec3000acbce7cd0f53518bdea1b203ad657 NumMod AndMultiLine TypeMismatch
dec9b184ff25af7d3e97b62a16cf746571142812 NumMod Imply TypeMismatch
97fa89273b7e3d12040d909a4875f62b081aff15 NumMod Imply TypeMismatch
344cf0d64766d0a79ecc4f836de93263d1cebdf0 NumMod Not TypeMismatch
a6186689533091d9bc42632be3e0a7e0fec3c1d5 NumMod Not TypeMismatch
7fdd2c7630ed953d2f9ce275d41e255ba0931426 NumMod Or TypeMismatch
8fb62fad54aae8cfd22a2083dacb4b683dd93427 NumMod Or TypeMismatch
f06721bf7470a451ff8b9b982348f89616b54438 NumMod OrMultiLine TypeMismatch
094d19b990eb8ee3f0cec016a61b44569dbe2e25 NumMod OrMultiLine TypeMismatch
18a542ef95ecb1884b5dfc40ee548032d8c86767 NumMod AndProp KindMismatch
17d261cec44bfad1272c5e7c30af4d4de1afbe5f NumMod AndProp KindMismatch
9a689fa614f881e61e53da13411cfe28f467ab10 NumMod Boxed KindMismatch
6f52a05313ea924c16b82fc54e201cc9311e462b NumMod Boxed KindMismatch
aa27a93b649fa23045f586d0cbaf2f6193077793 NumMod Eq TypeMismatch
f8c48f9a47b32cc80fdf23cfe419ba0802eda8a2 NumMod Eq TypeMismatch
e9a5473a0c2f97f0b5fe307d633154497adf2c35 NumMod Ne TypeMismatch
a555ecd43fee2c72a5d12bd1c4cfcd833c0860ae NumMod Ne TypeMismatch
23ae5e8f41f5c5812a31f8232664f17fd5879768 NumMod SetEmpty TypeMismatch
61b0ad063ec82e0986cae9a6c72ca242937db12c NumMod SetEmpty TypeMismatch
5cf7391433b1931844139079e38cb23f8bc57f5f NumMod Set0 TypeMismatch
c7e81ab7ababc1d45a62c8db155ecca044826f8f NumMod Set0 TypeMismatch
3a8bb8492bc25dab7787251558defa93b3384db0 NumMod Set1 TypeMismatch
812af60b064f5336a6a262e80940a5ec448e3a01 NumMod Set1 TypeMismatch
7bffefb40d5e21d5eaa3219a5b045607364a8634 NumMod Set2 TypeMismatch
00e958dbf175f8d805e4efb09ca561fea55d2182 NumMod Set2 TypeMismatch
57da074d442f307dabbf13dd1894956f2e14cf28 NumMod Set1InDef AlreadyCombined
052ad9fd26b562653830a2e3bf5e899a58e6d006 NumMod Set1InDef AlreadyCombined
96f6790c9fe7ff8af8a64d0a214e8760337b17b4 NumMod Set2InDef AlreadyCombined
93aab5d7573933a11c90c0559b2102aa19b702dc NumMod Set2InDef AlreadyCombined
f3f4132ca999a1d7aa1288210e7de2b199673ab5 NumMod InDef0 TypeMismatch
3b653142942d5ccc279de332498e058ab00e0400 NumMod InDef0 TypeMismatch
e4a0a9bc7b236ae8584ced13383c6ee9e5336fa3 NumMod InDef1 TypeMismatch
b52c7c9f217834aa2633adfb22010bbc455cb976 NumMod InDef1 TypeMismatch
819fdf0c215ad51e8b05411fc2bb2e58bd4d75f5 NumMod InDef2 TypeMismatch
b6095cfb4cf93095b244a4def0cfba0342a73e69 NumMod InDef2 TypeMismatch
168e8b88e1797c0f608fada749931ca2aff93d3e NumMod Fun TypeMismatch
16b7067e0712227ce8aa770074641107152edfaa NumMod Fun TypeMismatch
7b23a03173dcdb559395d1410b7a4192ca48a5f9 NumMod FunInDef AlreadyCombined
8ff3da4d54379ba2352d453c1d283f4f857b029e NumMod FunInDef AlreadyCombined
4bbd8d0de660adc1917b4850d3109a45488862b9 NumMod In TypeMismatch
7a45acafd15af8a97105ea4c906886bacd720b0b NumMod In TypeMismatch
788518ec62cbf20a3c162053f869ee0c57da9d7e NumMod NotIn TypeMismatch
b84d5324382046af17e885fe64e57ce2f2f9bbe7 NumMod NotIn TypeMismatch
f4924898495ee6c91556bf87b6184dec8c0fb6a9 NumMod Exists TypeMismatch
29f71288422a19ae6c29ec4d2d2a9516885fcdaa NumMod Exists TypeMismatch
4165fc1e0c99c3e4ef18b2cbf8b1d717fc9af7ce NumMod Forall TypeMismatch
38227c86f2ca2ab2b928acd5440571748b809328 NumMod Forall TypeMismatch
f65df399df21a5dfa903d4415c725d5c20288f64 NumMod ExistsInDef AlreadyCombined
3285d03219cf2c392e36fcc95071d568ca25d321 NumMod ExistsInDef AlreadyCombined
c8b1285e09fc787610b4f37eae50dd88a327134a NumMod ForallInDef AlreadyCombined
f7140b25364d66fd94f2e430a6a5f95a2a6fe40e NumMod ForallInDef AlreadyCombined
7ca83c9a082a4412c556d2456458d45025dbdfc7 NumMod ChooseInDef AlreadyCombined
95c988f6a58a9349f2aead3250daecbfa8c35dcf NumMod ChooseInDef AlreadyCombined
8d424158bd7f1b66a1bbf19df9eb45800dc0af7b NumMod Record TypeMismatch
5b4bdaf482a02d286ada8647e8d3a3ee1d87732f NumMod Record TypeMismatch
4c559ac7dba0f6adaafa7b316752dae06dc8578a NumMod Tuple TypeMismatch
3121f8ae6d84191dbccd9a4553a8ac518e96735a NumMod Tuple TypeMismatch
1994115e868dbc53453f9eb2ece1d974f5d297b1 NumMod TupleEmpty TypeMismatch
2343ba1e6ee7f41b5e4373fcba6854daa152a14c NumMod TupleEmpty TypeMismatch
a2b7cb3a6456d05e359b42d5ae4c59f98d1549cf NumMod Except0 CanNotBePlug
bd47d7f13487ac8c25d4d96049a104f0f606c02f NumMod Except0 CanNotBePlug
432f0a5644987135daae2d023a808e30b4ab85a2 NumMod Except1Fun CanNotBePlug
0c3b6fe5633319d383076cb55ab101dc440e9089 NumMod Except1Fun CanNotBePlug
594ecd257a0368c07e4e6f50f185c69b7715eae0 NumMod Except1FunWithAt CanNotBePlug
7dce2fbb8ee02dbb552ea2da6706c306375cb7f1 NumMod Except1FunWithAt CanNotBePlug
e7923d8bfd13a10dff3023c98081220cc7ba7ad8 NumMod Except1Rec CanNotBePlug
71975585192d25a043f5c60559aa0d4f566ea8df NumMod Except1Rec CanNotBePlug
730a1dde8fdfb094beb021b2d4a60e7277b10e0c NumMod Except1RecWithAt CanNotBePlug
14a27a4ff5283bb3c1f3c51d2c408d33192ccfe6 NumMod Except1RecWithAt CanNotBePlug
dcddf6a93d1bcba5b87481dc2741136c558545ce NumMod Except2Fun CanNotBePlug
4f103672adfbc44053f6473bad976f87f96ea03c NumMod Except2Fun CanNotBePlug
cc9f60a4770d498930571db613bdcba4912e57a0 NumMod Except2FunTuple CanNotBePlug
893f61511ca260ef6d9488be29e64425db80d537 NumMod Except2FunTuple CanNotBePlug
abf8a65bc54f69072fb4770bd7a893e49622c000 NumMod NumGt TypeMismatch
9e4f78ab92664c600298a0fa3deb9f7cae399830 NumMod NumGt TypeMismatch
7d69fb1b5eb46cee9fced18aa33407ffbcf3b2ba NumMod NumGe TypeMismatch
e6d0b83984c7a9cd1e9a57fe687a6f5f89f734af NumMod NumGe TypeMismatch
98e5a3e962e5f6d2a6b021fa5545cff22c37d7f5 NumMod NumLt TypeMismatch
b2320dcd99d673fbd60361e550ee729af862d0c1 NumMod NumLt TypeMismatch
027fdf7268196f154e20b4bbb033943c34310d93 NumMod NumLe TypeMismatch
9c41fed0559c1489f39e71795994bf1ce0a80233 NumMod NumLe TypeMismatch
1e798f5e1ff61fb3a9f521780543d979786159a2 NumMod DefFun TypeMismatch
52d613348c663a6d62903b1eed806e963d7cb021 NumMod DefFun TypeMismatch
50349225bc887050b786771b576c43323f1a17f8 NumMod LetDefFun TypeMismatch
c095a740bf674773c714e7a20204a61d8a225b43 NumMod LetDefFun TypeMismatch
2253a2b77fa4efaddc26addbd89a6567ecc20873 NumMod DefFunRecursive TypeMismatch
29162d650f9c765d7b349ebf0619c455e481bb10 NumMod DefFunRecursive TypeMismatch
ddda1fa1e814fb27f3d33f28d23aabc61fd1bdd1 NumMod LetDefFunRecursive TypeMismatch
c891b83f6b68bb03a24a816a38b0f2511c7d2ae3 NumMod LetDefFunRecursive TypeMismatch
b4e15be024749f1df8f0b358523e62743d3471cd NumMod DefFunInDef AlreadyCombined
a72f5bd44ffa055f0545f3161f60eecfd001d358 NumMod DefFunInDef AlreadyCombined
b60419174fd74c8fb631d5603bfffc340167bda5 NumMod LetDefFunInDef AlreadyCombined
a9a1f001a6856a66f88f7fa5c589d28d22115797 NumMod LetDefFunInDef AlreadyCombined
3572cbbb34bb79a1a45cd2b819e2ccf51e623850 NumMod VariableViewExclude VariableExcludedFromView
b4f42243ac378ed9dab7e33b29682f2f6f5ea078 NumMod VariableViewExclude VariableExcludedFromView
e74d8396475fdd8b8e1c74f0d3721534f39d2458 NumMod ConstantModelValue ModelValueCanNotBeUsed
7d6c97369e0b44be13333c6b3be6bd28b60846ab NumMod ConstantModelValue ModelValueCanNotBeUsed
66c0aebe450a55eb7e424073f1916cb0338b4514 NumMod Enabled TypeMismatch
ccf0706e2f302c4fa13e239aee0b7094f2e72ef6 NumMod Enabled TypeMismatch
c2dfa747334cb1289a8adeda9569abb27ab3431b NumMod Assume AssumeIsNotEmbeddable
6159dc45c12d8191f838c693e1ec82f877299806 NumMod Assume AssumeIsNotEmbeddable
1c15f06e6e2eded619d9400f6bd26901eb6d3f87 NumMod AssumeNamed AssumeIsNotEmbeddable
1d9f8fe3263c5076cd49e94c4cee6212c009966c NumMod AssumeNamed AssumeIsNotEmbeddable
2fe6155648502b4837c32449fd43ad86ea88314e NumMod Lambda TypeMismatch
9cfc36c06c9273811a67b7d23cedd2434e856a69 NumMod Lambda TypeMismatch
2b7341eda91f1bf03083fcfe4b15cd6c48414724 NumMod Cross2 TypeMismatch
687f1977ed370d381639a4b8a66e7a493174a0f4 NumMod Cross2 TypeMismatch
60139e7346c54ab0015231d82277ced4825ffdab NumMod Cross3 TypeMismatch
599e4650b395048f0d444a6d9f72de5e6e529da0 NumMod Cross3 TypeMismatch
75ee468b7eefb2b908b893f65ff364ce29c34910 NumMod FunSet TypeMismatch
5dc96f20381384410f94a6d9ce721fc40c53222f NumMod FunSet TypeMismatch
e9ec3901b8a0def6e1e876de4bec87c49150adb0 NumMod RecordSet TypeMismatch
78ed1c749d9573ebc0da1949acbb175d565ddc54 NumMod RecordSet TypeMismatch
dc5f8b5371a36cfd7ecb6429704fd24b6f9b9bd8 NumMod SetDiff TypeMismatch
0961a9805f16b1d578968fbfe545972956358ebf NumMod SetDiff TypeMismatch
b3929404cdd66a5dc5163e93b5d5a6b9d463093e NumMod SetUnion TypeMismatch
0e9cf25b5e74b0c8320ea8f17f3625b85791c369 NumMod SetUnion TypeMismatch
6c8331fd1606c6f8695b808e7cf08c2a6e8825d0 NumMod SetIntersect TypeMismatch
d7e6c60597487959b5dceba3ce7e361ef124bdbf NumMod SetIntersect TypeMismatch
4e1c3914fe82c434916ed0ba750956b6f8fd546e NumMod SubsetEq TypeMismatch
dcef566313efadd2b3501644b1da2544d2eaf376 NumMod SubsetEq TypeMismatch
5507760577c00c594e2eba86d2cdbd2169c338e6 NumMod Subset TypeMismatch
664fc85a1830432ed08a8f89f828063b12290325 NumMod Subset TypeMismatch
6286e61293eef8332f0b834411fa1b45599db3cd NumMod Domain TypeMismatch
e67444a93638f18374dd39930dc2a0905a3c0756 NumMod Domain TypeMismatch
b4b5cc6f00926ed7e9bcc1c97824563ec40f1f8f NumMod Union TypeMismatch
8ba82be3723db9dec724017f7f5f3739429c086d NumMod Union TypeMismatch
522d6df890fdb92cec8b8c1932dd31b093fa02b0 NumMod Unchanged TypeMismatch
5561163e1862dff64de6c3794c8573df6cd8003c NumMod Unchanged TypeMismatch
ee5bc2d2bf703d9820fc2939ad8102e4c9f833e5 NumMod Equivalence TypeMismatch
38ab8a5d0fe0a0e48c7a598c06a254a48ac6eead NumMod Equivalence TypeMismatch
eb8c8704e47d22cfd70ac5d6705b1f68350de67c NumMod StringEmpty TypeMismatch
ef52ff564bfa0a398b6ceaa9f5b2a352633096ed NumMod StringEmpty TypeMismatch
1a9a3f48a9d35c217c4f6f856a5e4bf08d1801ed NumMod String TypeMismatch
ad62c8377e255376de241c87ff227c566473e309 NumMod String TypeMismatch
0b6cf220102490cfdb189de05e37f3a638ddae47 NumMod SeqConcat TypeMismatch
9efd7792346c257891f7e05e4261e21f04a24920 NumMod SeqConcat TypeMismatch
d12f2dd12e942d57a0f5fc445524470fb26a1ad3 NumMod SeqSeq TypeMismatch
08cd4717ec380995e8cffe54fbb20cc07ee66f99 NumMod SeqSeq TypeMismatch
409fbb71be28a39b5a24f83632788d84abea163f NumMod NatSet TypeMismatch
2eb6e145e96f1b5b74a99e97054dd8fa33b97623 NumMod NatSet TypeMismatch
2af83d5f5c9f9e64c769fdb6799aadfd977f0feb NumMod IntSet TypeMismatch
318e00c885dbffb3618a42c63c51e5006504d7d2 NumMod IntSet TypeMismatch
b14fe60c92856bdfa380b444fe0bf32dbb0806de NumMod StringSet TypeMismatch
111b9154279be558f94179c04db8796d59bde501 NumMod StringSet TypeMismatch
12abc7aee1d3fbb51cbe44b12ba79a2c60ee6bf4 NumMod SeqSelectSeq TypeMismatch
451d6121beae8dfcae6ab770adf531871e716d3f NumMod SeqSelectSeq TypeMismatch
56b1c7ebdf879ad86184c258393e5d7d35e0af8e NumMod SeqSubSeq TypeMismatch
c2cdf91f23d28af60259e9d8f0423a1013f0d5a7 NumMod SeqSubSeq TypeMismatch
8cdf8442ec1a37cda647cab8f0f0f8ac671f86af NumMod NumRange TypeMismatch
b97a326e52bd9815855f36db1fef928fdc5dfc16 NumMod NumRange TypeMismatch
265622002490df409bbea43a08a0a6739fb28e04 NumMod TlcSingletonFun TypeMismatch
9dc2b6260750ca1d2112654bbddea534a299878d NumMod TlcSingletonFun TypeMismatch
1f9292aaf2b99e32192ee5ad407b173e27a05189 NumMod TlcExtendFun TypeMismatch
c4ae415af1b4c7b89782341175aad0c1d0ecaeda NumMod TlcExtendFun TypeMismatch
0b3222ca4e613b608546aad27424ed201dde5bf0 NumMod TlcPermuteFun TypeMismatch
6addb03ad2c6369bd4fb37192835cb799fa6fd73 NumMod TlcPermuteFun TypeMismatch
c350369c02bb9b72827c70bbdd9968d0c92af175 NumMod TlcSortSeq TypeMismatch
b9f1b29230737da0c1f7567302a8ab0c13d2e4c0 NumMod TlcSortSeq TypeMismatch
cb6191e0aef92df594bf06b8f82e858268cc2eaa NumMod BagBagToSet TypeMismatch
979820dfa296ce48a9ac6fb94002a03ccdd373f6 NumMod BagBagToSet TypeMismatch
410f917a1d5155e0fcbfbea53a84b8086bbb471c NumMod BagSetToBag TypeMismatch
a71c1108bb21c8c377449d6342554b56ffdc7a78 NumMod BagSetToBag TypeMismatch
72942ab17573686f19a4eb9d22a4a7ac0aefe997 NumMod BagBagIn TypeMismatch
73e6ba784b47deab2b4e9fb406aa3dba4aaad914 NumMod BagBagIn TypeMismatch
4dd595c2faf6a2c7087dbfc1d6100be9421501a9 NumMod BagEmptyBag TypeMismatch
4f12f7ab220265c065689bcf1dd690387fc68b07 NumMod BagEmptyBag TypeMismatch
8a755b9b058158b34161dca76b76186eb0c32b8a NumMod BagAddBag TypeMismatch
2cf9f0a6d984c69eae7fdebd4d8e1c3846cd2e0f NumMod BagAddBag TypeMismatch
9be962d7c22e0a327bd626cd488358bd55fae561 NumMod BagBagSub TypeMismatch
fe0b504e29edf55681ee8d4ea16d951d7fd33928 NumMod BagBagSub TypeMismatch
242c9361b1b5aba41bdc475cb8516cf00c5cdf0f NumMod BagSubsetEqBag TypeMismatch
291f88ef0c8526156286abb313dbee5af393c16f NumMod BagSubsetEqBag TypeMismatch
49e9ebbbcf7ba7b28d63ec6476047740ce3770e0 NumMod BagBagUnion TypeMismatch
51382e39ae4c9a993d06aaf41c3596ab5c10eccc NumMod BagBagUnion TypeMismatch
1791a262d6b7d639135fd57e7c7d359da472c2a0 NumMod BagBagOfAll TypeMismatch
77d51a62c960bfd0dc192f99d32956e62f1498d7 NumMod BagBagOfAll TypeMismatch
57ebafb5e368132090cf76169aa27b923791d8b7 NumMod BagSubBag TypeMismatch
4671cc0dbc6b4500d75c28dae9aaef496747f1ca NumMod BagSubBag TypeMismatch
879085e08675db64a2c9ecaeeb4a5a9086d18f24 NumMod FiniteSetsIsFiniteSet TypeMismatch
602122658a2c4bb98c3d1cc8e541a24050d4453f NumMod FiniteSetsIsFiniteSet TypeMismatch
7a0b2e45190fb81eedd174feac907704d8a19dc9 NumMod SeqTail TypeMismatch
5c728922952edf2864f9a9e45ed7a775d0016f46 NumMod SeqTail TypeMismatch
2330aa52dfdd1d16fee0f24dca809e85152a9a28 NumMod SeqAppend TypeMismatch
ecf50dfed4adfb66b5982842a804621849684b04 NumMod SeqAppend TypeMismatch