Index

Skipped feature combinations by case feature NumMul

Id Case Feature Plug Feature Skip Reason
a779f68180480e5878eab4d62b2220f9a5174464 NumMul BoolTrue TypeMismatch
ac894bdb82cbdcfb0573fb36ba16386a83b4a55e NumMul BoolTrue TypeMismatch
ef0603b0d8966c7c49df876523b848e3139ca8ff NumMul BoolFalse TypeMismatch
9397f7e0330c008731203b03ba09eb63f9308007 NumMul BoolFalse TypeMismatch
0f3e7e9641fe7bb419ac02e2433a6d2f5f0bf885 NumMul BoolSet TypeMismatch
d41c33e9aa89bc147c7148dafb65aad3dab6205d NumMul BoolSet TypeMismatch
25a7356d3e5e0b6d06310193f94d600c6803c719 NumMul And TypeMismatch
20cc457c01709fc557945cb932190d439c231ad3 NumMul And TypeMismatch
7efd03f72af914fbce3565c297e36e03ce28c0f1 NumMul AndMultiLine TypeMismatch
8c35e09b3b357417762cadfae1f60878c89e56d6 NumMul AndMultiLine TypeMismatch
372ed740b0e0b0e63f4e669ca6be36447ff93632 NumMul Imply TypeMismatch
f00f80f4476648cd5d9f55ed7ad30d4b30ccafd0 NumMul Imply TypeMismatch
78d5528d329af052754afd86b6ecc207a396ad26 NumMul Not TypeMismatch
1f9024375698a49c30f55d865fefe3082aebd0d6 NumMul Not TypeMismatch
e12c51999d2c81de1472b303f9aa31c1a6a830a8 NumMul Or TypeMismatch
4de603095dbac0faeb60a74e717ad0622b93623b NumMul Or TypeMismatch
5a706748d9cdf532d658843902e5befb3a6c16d5 NumMul OrMultiLine TypeMismatch
e65d45cc0065bb5dedf889f08b8590dff9a2fba1 NumMul OrMultiLine TypeMismatch
0dfca6ba1e5ac1f144a41cfd290b1f7e12cb0c59 NumMul AndProp KindMismatch
533eb5021c689bc300fd941d6f07fba737dc2265 NumMul AndProp KindMismatch
7f7498b38002d4c9ab0b51c7a9087b43923be3d3 NumMul Boxed KindMismatch
1b49b933c41798e90e0bcb3d8a2d5e253efea827 NumMul Boxed KindMismatch
4411614ccb84950811da6237444a91fc26f46ceb NumMul Eq TypeMismatch
57274d83735cea788c241497a9f3c8f68fac1c2e NumMul Eq TypeMismatch
496be9448e84445a43bef3307e071fd80cfe0c8b NumMul Ne TypeMismatch
76295d3f3d8c5ad93bbab5bcbaa0d14c6ed10f2f NumMul Ne TypeMismatch
fc13116914e9c440d3572aaf15025d7d8502bf63 NumMul SetEmpty TypeMismatch
c9e2b7b8a7ba52a719ec1ce20a0d86adcaa71efc NumMul SetEmpty TypeMismatch
5d982afb474094725b2f0667eb7d6029bd201696 NumMul Set0 TypeMismatch
cbe3d36ad86bcacb898cdeb7d8cacd7ca687812f NumMul Set0 TypeMismatch
7d748d0abfbcf684ce59ccea6c59e7b38f5b9a0b NumMul Set1 TypeMismatch
51958cf95aa4914ed65192254a214b6f60b3822c NumMul Set1 TypeMismatch
8b55608bee85f142b0fb9090f9f1b7e089bf9005 NumMul Set2 TypeMismatch
637f48b760faf86dbe9602c556f4f3ce3cc66f72 NumMul Set2 TypeMismatch
73e7d884162d81802e53c9ba7600035b0bcec5b7 NumMul Set1InDef AlreadyCombined
a5190436e4f7092fc3bc97e37070eb8dd8061ab3 NumMul Set1InDef AlreadyCombined
3838a708b36bb3edf2ce4916fb33ae634e4fcec9 NumMul Set2InDef AlreadyCombined
93d2a104f90b4def8c5a77b9fc9bf3a4929486e7 NumMul Set2InDef AlreadyCombined
efe3b66ce4a61578728ffcfc2953a202409cf653 NumMul InDef0 TypeMismatch
0dda7b29dfbc25c7d5bd2d11d3841d898356973f NumMul InDef0 TypeMismatch
895e162f6d66e2c89f3e45e0abaaf1dee3cf1ea3 NumMul InDef1 TypeMismatch
01582fdda2afa5b1ca1b4b60ee62e8abe7001d70 NumMul InDef1 TypeMismatch
21a1c773a9a127311210e6aa812c755b2d468dcf NumMul InDef2 TypeMismatch
34710c05c0989da9402900fa8bbe4f4613717591 NumMul InDef2 TypeMismatch
962a5dc4b6a63144b6e9fb169335e9f9c0db1af8 NumMul Fun TypeMismatch
ae24c98ed984efb96e1331327e8058ac7b8e2adc NumMul Fun TypeMismatch
bc914f653b2f0a8113ccb81a17cb5d217ecfd4a5 NumMul FunInDef AlreadyCombined
6e71b325f739a7c9516b5cc0b18dff3ce7ee8f0a NumMul FunInDef AlreadyCombined
6c5e3c7073681aac1ea41cda0e396ccf92f15c72 NumMul In TypeMismatch
51795c4f6869141d6990e31365327ec8c2eb00c3 NumMul In TypeMismatch
4455cf6b09eb0171eb232ddaed47ae805a604490 NumMul NotIn TypeMismatch
f33b090b783fb986ee08d4300cf006c47a46529b NumMul NotIn TypeMismatch
6f06a7d859e7cfe000edd0668fb20ed113c0c9fe NumMul Exists TypeMismatch
1cb0b1aadd57385593a59c4d698185bd7294116c NumMul Exists TypeMismatch
756aa89907bfdbdf9d32d412c9fd84a2e3228bb2 NumMul Forall TypeMismatch
ed91e47317289f653012ae177ac200aba3b9eabc NumMul Forall TypeMismatch
25862943b467d8871beb3c92df46ac0d2a48fc92 NumMul ExistsInDef AlreadyCombined
cb95caa5b6b09d4ed94fbdefd580b6cc676b35b2 NumMul ExistsInDef AlreadyCombined
32d4454c3ff09f41149ba307a2d07580c7b489a3 NumMul ForallInDef AlreadyCombined
b4777305bfc72b90acbc7eb8a5a933e2f755d3e4 NumMul ForallInDef AlreadyCombined
a42bcce6f08f18b94a8fe8f385b987e2fe810fc1 NumMul ChooseInDef AlreadyCombined
30f23c9ac12db79ad551013441b68166a431e846 NumMul ChooseInDef AlreadyCombined
23747201b5ae7e01994a170083b91380802773f3 NumMul Record TypeMismatch
ce719cec6fea443c28d31c76b1492b68c85a14b0 NumMul Record TypeMismatch
03be8f3be8bbd697dec8faa9e9902c269240bc67 NumMul Tuple TypeMismatch
fcd53365e8b72ee942c96fa2ed3ad38eed70f43f NumMul Tuple TypeMismatch
a67fb32d9106550ebd4032dc513eb8355f3b13a3 NumMul TupleEmpty TypeMismatch
6ebda5482812c416ae17e1a492cb7c78e24e9894 NumMul TupleEmpty TypeMismatch
cb1e5567d3e0de4912f9052cd281cf7a13e29d56 NumMul Except0 CanNotBePlug
c8b3cd35d9ea0f6cbb7f05f7d2e44d0d781e2ef2 NumMul Except0 CanNotBePlug
b36f3e9ba2e58703011f4230e22439322a12c7bc NumMul Except1Fun CanNotBePlug
f1022f3f228015942afebd531c18f143dff49fb6 NumMul Except1Fun CanNotBePlug
ca3f391b425ef84fdf3a1ea836b44305a20262b2 NumMul Except1FunWithAt CanNotBePlug
0429bc973a235e3a99756c7e57c86ad67965ed23 NumMul Except1FunWithAt CanNotBePlug
d5eca1f7977e4aba0d027444d7f7800336e3f9c7 NumMul Except1Rec CanNotBePlug
9a81576deab7e530994b5a38697e57cf074e59e1 NumMul Except1Rec CanNotBePlug
50b835f87e0c6f8ba2a7b623a9c291c3204e1e75 NumMul Except1RecWithAt CanNotBePlug
52715eeea01b1c0b9134b9bf7d4f543855b9a9d8 NumMul Except1RecWithAt CanNotBePlug
d6aa076191867a0a90de85d6f9687901822a9d62 NumMul Except2Fun CanNotBePlug
606ea51aa8b4c64aaf230ef76cfb862ac3077f6f NumMul Except2Fun CanNotBePlug
aa89aeb0cb4af079106b2071e9999333fce61eae NumMul Except2FunTuple CanNotBePlug
35cc030592a9f81b5cc84d3acc2385e17f2ce15f NumMul Except2FunTuple CanNotBePlug
68b8003bf053800f98d6803a8d286eb4710839be NumMul NumGt TypeMismatch
ebe7075b65b07ed58c0eb8bf2a282f415c60d283 NumMul NumGt TypeMismatch
a8e2cf0a2741322bb93fb506e46cb88c16e67a76 NumMul NumGe TypeMismatch
f98ba05614ec59bf15a61281230fee2cf14d137e NumMul NumGe TypeMismatch
bed465345d6d64a3ee7ec9d5e7052f2a4b4574c1 NumMul NumLt TypeMismatch
58fd1d219836af06517cabf8862e9d542d80c211 NumMul NumLt TypeMismatch
7ef87010e9fdd2de3081d3f3402c036898dd8e49 NumMul NumLe TypeMismatch
dc7b987efa18f185c556caa709c20b7c2e51de47 NumMul NumLe TypeMismatch
953c926a4a7927c738e3476a02e9f4ac30e7c979 NumMul DefFun TypeMismatch
b7172c445972ac96fe1c6175e3070bbb80e02507 NumMul DefFun TypeMismatch
3a0d59b63006ab587474bb6be81efe60885c7632 NumMul LetDefFun TypeMismatch
51c8c14ad5a00cd47a17e6cd0194c9cfec8b3131 NumMul LetDefFun TypeMismatch
553c3da83891ce22273eaedce9fef80adc1eb729 NumMul DefFunRecursive TypeMismatch
926f6d42771c93247884578e8408eeb34dae28e6 NumMul DefFunRecursive TypeMismatch
85ce20c3c0a3ac418d1effe8a206485c684efb3f NumMul LetDefFunRecursive TypeMismatch
09c7c4e392e3830a71b7e6b3af4d2bd92e141427 NumMul LetDefFunRecursive TypeMismatch
fbed1616ca62d0476869f793e96024ca25fcb46c NumMul DefFunInDef AlreadyCombined
91c61aac7948c9164f6381dea3da13401661c001 NumMul DefFunInDef AlreadyCombined
b379024dea8095934fd6e33977206490b0413721 NumMul LetDefFunInDef AlreadyCombined
4132531e22292c9ca3e35aea1491dde5817e1a67 NumMul LetDefFunInDef AlreadyCombined
18b916d96da55055c04a3ffd442e7431026525ed NumMul VariableViewExclude VariableExcludedFromView
ac7bc5228f91c33e9073189939f0f9cc71b9f381 NumMul VariableViewExclude VariableExcludedFromView
3aba4532c1a05a259e235e0017377252ed83bd6d NumMul ConstantModelValue ModelValueCanNotBeUsed
d36ec1ebb18c598b38ff77542b5f7a021e2637b2 NumMul ConstantModelValue ModelValueCanNotBeUsed
30be8d1ea3cce768d9d8cee82b08c71e1115a155 NumMul Enabled TypeMismatch
321e2f67b08a34e5e000a68641976338db2eb683 NumMul Enabled TypeMismatch
475844f377da54c3c6105da84da5b77f6d5a1817 NumMul Assume AssumeIsNotEmbeddable
b4d8db8f6eb0673422df0eb732582a594fef2cd2 NumMul Assume AssumeIsNotEmbeddable
994c89d1549895fc47901418952606cff5182941 NumMul AssumeNamed AssumeIsNotEmbeddable
14b64f9e6618b78586e53524414186485a88c230 NumMul AssumeNamed AssumeIsNotEmbeddable
c8a5d0f51bd3bbbd51e89b9a32a8f5836b49f85f NumMul Lambda TypeMismatch
46b17ad990161a3c208500ce8e7c6b69277af40a NumMul Lambda TypeMismatch
6be02f3541d5f84d9112d52c412602e8e6631851 NumMul Cross2 TypeMismatch
ead0901c3487fcae94347fc384376041ecfb5906 NumMul Cross2 TypeMismatch
baeecbca12a06b77ce0cea45c52efdbe08819bd8 NumMul Cross3 TypeMismatch
07809028f08fcac51dfcbbd4d894c1a928beaf91 NumMul Cross3 TypeMismatch
d669b2b1aa22bd609fb202ad721e6d5ece399f33 NumMul FunSet TypeMismatch
2a994c9f7b51f230667b8f15fee58cef9fd121df NumMul FunSet TypeMismatch
147a0ef72efcc5d3b719f9b175ee3e22467f31de NumMul RecordSet TypeMismatch
b51e7243f3b0325fd277c0fe808894329f4ff123 NumMul RecordSet TypeMismatch
7c7f9933d4ad3462222d00670e2017f0ec893d2a NumMul SetDiff TypeMismatch
26debed5001d168638bfd221bc7bba698f090dbb NumMul SetDiff TypeMismatch
6bb51cbd994cfc08b080d5328eccf5feaeb0d815 NumMul SetUnion TypeMismatch
7ac8750de032f48a38602e3cb738fdb852506c0c NumMul SetUnion TypeMismatch
b1709119a27e8cf8fe33747cc0509f89b9e37032 NumMul SetIntersect TypeMismatch
43dd539cd47056b22da6126ade2a82bf7379e53a NumMul SetIntersect TypeMismatch
2968ee9ea4f47793d53d2263bc5ae3285694abcd NumMul SubsetEq TypeMismatch
17a2099509d4c5c51e4047ab9562a2262e8e6d4e NumMul SubsetEq TypeMismatch
a677f3680bf41710917a57f6c90ecab0a2712763 NumMul Subset TypeMismatch
0cf0ac12aaeb3b59ea52658c98c45382bd641791 NumMul Subset TypeMismatch
d3abae7298d4180b70cca02a70744bba29fb61d6 NumMul Domain TypeMismatch
bc29ff3be559af6729ae88b73d532c6e09c29a7a NumMul Domain TypeMismatch
7a626dc284a689714a79d356b005a58f0f31b674 NumMul Union TypeMismatch
1e81b9945b341f573f078683c8d1377fa0a53173 NumMul Union TypeMismatch
a65740907d8e1ca3924147e7ab74e9fa6e91f110 NumMul Unchanged TypeMismatch
09ef141ee29ce4a09bfb005a04766d3e52042817 NumMul Unchanged TypeMismatch
74efd63c586c275be942ea3bed5caefbabcef6cb NumMul Equivalence TypeMismatch
77c9633d21c6d77bfbeaa3bcdba8683003ceeb0b NumMul Equivalence TypeMismatch
22d6dfbdfe16abf6fc6cea434c5157936572bf05 NumMul StringEmpty TypeMismatch
9e3fbba2d4e9262cbdb2effad6251ca0487a6983 NumMul StringEmpty TypeMismatch
3912fbe1bab7ed617e4b43688524e05a73579d09 NumMul String TypeMismatch
2858d5062db7ef1d92dadd55e13b5bc8c6f9ba89 NumMul String TypeMismatch
71b301140c78e79ea285b5ef0ffa77cd4779fe5b NumMul SeqConcat TypeMismatch
512564ac36b762ef539c953f1d20c33a117df5d1 NumMul SeqConcat TypeMismatch
9d1da54aa4c09e337d2337b2e0405306f1dd9f6b NumMul SeqSeq TypeMismatch
1b00f7c5889bb1d3f29632336f1c8e6fdc95b74a NumMul SeqSeq TypeMismatch
308636770d9296605f65e6e275361c39fbe02e94 NumMul NatSet TypeMismatch
04b4e5647cef82dc778906af790c458e25576ccb NumMul NatSet TypeMismatch
fc034b6f2e4588003efa1f4b37d2517473f21c4e NumMul IntSet TypeMismatch
8960af5458052780b501e65969a3ea8e8c93cc4f NumMul IntSet TypeMismatch
8ea70639a663c4be035623211d6e0a20b87d2e0b NumMul StringSet TypeMismatch
1b1d97513d8f7d032f9dc05c105e7863a5bccfdf NumMul StringSet TypeMismatch
58150d2954f85a9142ddaf4d7e196e72e484fc84 NumMul SeqSelectSeq TypeMismatch
9361d204998a2c1bfde5ff666ef2ac9a4415d0f4 NumMul SeqSelectSeq TypeMismatch
7d96f2ddaadcefcdf22bf97e575bcf11113386da NumMul SeqSubSeq TypeMismatch
b1133046f8f949e2e65dc4b5b2a5feb701c316b6 NumMul SeqSubSeq TypeMismatch
75379328df167e291b3d09f776995665c24f3ff7 NumMul NumRange TypeMismatch
76a27b3ac2f6335e68899e06f44a4f78cfbf69d1 NumMul NumRange TypeMismatch
0bb1a1420d9a3d1bd79103d807e169cb8885b944 NumMul TlcSingletonFun TypeMismatch
6557ceb16bd55a7f5de68a08968576b1448cb71f NumMul TlcSingletonFun TypeMismatch
65afd21e7d13f9802c76c3644c96ff80759c1edb NumMul TlcExtendFun TypeMismatch
47d8c6d57a04d05f73f95f3a04df3e027e197cb1 NumMul TlcExtendFun TypeMismatch
56039e8de014be42d7ec5b6f54fd9a27a817e76c NumMul TlcPermuteFun TypeMismatch
e308b83b3d8fc61af3b7c6d51cacbdfa7ba2d9cf NumMul TlcPermuteFun TypeMismatch
d48ffb9f85624cdea548f147d9e91d968e94f409 NumMul TlcSortSeq TypeMismatch
792789395a56a0bffc45d110624769e316b84032 NumMul TlcSortSeq TypeMismatch
2cadb091e9eb9c8ba062ec374ad3d8d68efe02b3 NumMul BagBagToSet TypeMismatch
66f99169b013920b5c1699f1c9a6761909f0e4e9 NumMul BagBagToSet TypeMismatch
34f318a95fc67ed0c1fed65079b34c33cc3bdf99 NumMul BagSetToBag TypeMismatch
4844c4cdba669373f5d28d56af2e6b6455b1218b NumMul BagSetToBag TypeMismatch
5e9c8117b8143573a939317e15896c170a45166e NumMul BagBagIn TypeMismatch
33fe01892627fccd229421f08be4a4523fab380f NumMul BagBagIn TypeMismatch
35825f43c0b5a961b79e49cfe939fbc992d4771a NumMul BagEmptyBag TypeMismatch
46850758058026c62c77976d5f59ca34ae34c865 NumMul BagEmptyBag TypeMismatch
ac6a4021e738137be8e9abfba08785974c51d444 NumMul BagAddBag TypeMismatch
2b908660a18f3b92bed36fc28124138d05cb94a2 NumMul BagAddBag TypeMismatch
9448af102c66efea5c26ebaa7bae67f791640517 NumMul BagBagSub TypeMismatch
4a4e341661e5ad6aa9104a55de4b0b0e0d3b26db NumMul BagBagSub TypeMismatch
d96e471d3a9d7689c721c132383c1708a17e05c3 NumMul BagSubsetEqBag TypeMismatch
3ae4089e86ea49f59d06c6a7a770252bf4fb411b NumMul BagSubsetEqBag TypeMismatch
ffd78fe50dbd7b4df9b43950ba205a7c8940c2b2 NumMul BagBagUnion TypeMismatch
a78e10073934de1287e15504c4b452b5195dbe22 NumMul BagBagUnion TypeMismatch
d20e27cf17b12db5ad4e3b1aa9c8afb29d172640 NumMul BagBagOfAll TypeMismatch
7f92e206563e1e7585c2440c9884c3d74622d37a NumMul BagBagOfAll TypeMismatch
8c7f6c5bc920cf356c6a77ac5341717ff3a0df26 NumMul BagSubBag TypeMismatch
023aa58eac2bf8e71c07b8db6c9d12895d088384 NumMul BagSubBag TypeMismatch
d88c4a9f4bb688ea755d2aa14b03a14161fe74c4 NumMul FiniteSetsIsFiniteSet TypeMismatch
ffc4472a19352f5ccbd5ac68939f35d749dc1d52 NumMul FiniteSetsIsFiniteSet TypeMismatch
9e5e0f98a247b0147223425011bbf923eaed2bcd NumMul SeqTail TypeMismatch
3a1ea3bcd55469e4ca5ad5292f781c8bdc124409 NumMul SeqTail TypeMismatch
df06197912675ade1607e0e270ca19112cafd196 NumMul SeqAppend TypeMismatch
8fb9c62499ed2dedd59850515ffba438efd1cd98 NumMul SeqAppend TypeMismatch