Index

Skipped feature combinations by case feature AndProp

Id Case Feature Plug Feature Skip Reason
a4df81b32b2b2c398112ff74f6f6c0eb90c42d73 AndProp BoolSet TypeMismatch
aeca9f69d41d380db14b36c09476167fcac20e17 AndProp BoolSet TypeMismatch
5dcaa4af7836f91aaa121c40b2461224489f5435 AndProp SetEmpty TypeMismatch
c40fc4a2dbb30b25f4a1b22b09670c2d13f4947b AndProp SetEmpty TypeMismatch
d8f706780939ba2d11fa0c583c11eef9c97d06d2 AndProp Set0 TypeMismatch
8a230ffb5e96eb6f65cabd46c869706eb48462bb AndProp Set0 TypeMismatch
678b0a790ff57e4581793017c4ab642ad53cb82e AndProp Set1 TypeMismatch
727c398663535effe45f38e99bd45ca4763ba4f5 AndProp Set1 TypeMismatch
b71864cfaf36971b38f81dbe946f9d9eaeb81806 AndProp Set2 TypeMismatch
65c38bdb069e79d66db005da32bcb851e374f1b1 AndProp Set2 TypeMismatch
f9403ff702dea72509382a9f229567d7578b88bd AndProp Set1InDef AlreadyCombined
67f9ab2e1e208f87bb3a6457f60ca6a27ed576b0 AndProp Set1InDef AlreadyCombined
cb6c7b3e9987125eb9f7546498c76ac0a14eb56a AndProp Set2InDef AlreadyCombined
7cd90bc8eaabf780c0e2481a761ef2a45b324c48 AndProp Set2InDef AlreadyCombined
bb529d3609c1bfc6a906297a1e702d212dd6d338 AndProp InDef0 TypeMismatch
79b00de22e63ba0138525f05ab6e02f95319e608 AndProp InDef0 TypeMismatch
ae316807f45e999490e33871700bb9a2c181d255 AndProp InDef1 TypeMismatch
04cdd2e898a63ef2e52a205af9a2f377d2fc3915 AndProp InDef1 TypeMismatch
f03fa25e00da39936bb02d9736e64139e1a3ac38 AndProp InDef2 TypeMismatch
1132b5aa50cffe6dee6bda07bd2ae77274171490 AndProp InDef2 TypeMismatch
9b04e41ea1a5d15bacd12b9f8a99823c785dc5c5 AndProp Fun TypeMismatch
1f57abef95ca66dd363a50e094811c718f885301 AndProp Fun TypeMismatch
919839e1a5c80a7ddd82e948c95c7d26eae676d3 AndProp FunInDef AlreadyCombined
5b226ea8eb3eecb34f007cd148ab1218f6f9ef77 AndProp FunInDef AlreadyCombined
53f26350569b32e236cc2ac8435b0122eff57dab AndProp ExistsInDef AlreadyCombined
1481d6784ed3c0abb7c1d06102cb118646b71788 AndProp ExistsInDef AlreadyCombined
ea2267d3243506fe42ea795ed46da229730d1a98 AndProp ForallInDef AlreadyCombined
7b15efce43cf0cfd0d023ecdf73749ec0319c6cc AndProp ForallInDef AlreadyCombined
64a66df69eda8e87eb451a04f665517fa337715d AndProp ChooseInDef AlreadyCombined
97c27a248f313879a09a6228bd0b0309ab13d513 AndProp ChooseInDef AlreadyCombined
91872fe946e7a9fdbf32e01046ccb9a0f5bd69e0 AndProp Record TypeMismatch
23561e220076da33d5feed55a0f46150986886f6 AndProp Record TypeMismatch
dbf2398ed5add84da45e3bc78d81c3e10143098f AndProp Tuple TypeMismatch
3043757c59508f49809eebb4ce57bb5edc95e4f1 AndProp Tuple TypeMismatch
0a73963667180629674cb2f163bd1fb7731c16ff AndProp TupleEmpty TypeMismatch
21d6473b545b3f9788dc0802d9617576ce9d7f38 AndProp TupleEmpty TypeMismatch
dfbd4b0bdea6e2ef0ab3f98f5dfef44d6b3e5eba AndProp Except0 CanNotBePlug
4a14c11ff47730754e8d3e7a6937633f96230bb8 AndProp Except0 CanNotBePlug
d6759a7516a801472e4466fe502e5d8db9c02d51 AndProp Except1Fun CanNotBePlug
5a952a8a871e2a99a115f24b3f52f9dd2908da0b AndProp Except1Fun CanNotBePlug
fc33e23bb3e9483a9afab045c706b5597afa43a8 AndProp Except1FunWithAt CanNotBePlug
936eefb309fa132e48103cd4d07e3d1cc039dafe AndProp Except1FunWithAt CanNotBePlug
8c507404de9acac6a778da6540a3e51c4ed83087 AndProp Except1Rec CanNotBePlug
db51d59c6fb8f97fab6291fe7e8467b84bbeb07c AndProp Except1Rec CanNotBePlug
668907c3ecdf136cea9ecd743548bafd9ed32469 AndProp Except1RecWithAt CanNotBePlug
32ef7bcb5ad59d558ad743a9044d39f5955ba083 AndProp Except1RecWithAt CanNotBePlug
df5b305327bf18eec53878b8fc7d31e3805c95ab AndProp Except2Fun CanNotBePlug
2d26df15242c4cada68bef613127a586b97a72fa AndProp Except2Fun CanNotBePlug
e8d1d103a125e52a685f9b8cfd67c3a749afdb7e AndProp Except2FunTuple CanNotBePlug
ae48112307bbf7ec6fb4f8670f14c1d16f4a7305 AndProp Except2FunTuple CanNotBePlug
4098cd9cde5af7b9cd5b78b189374ceb97616c5d AndProp Prime KindMismatch
be9d15977a7e42b2c018c8fe778289ccf4115e02 AndProp Prime KindMismatch
b58951b1b1a24e20f9d0036d9551d17f0c93adf1 AndProp NumZero TypeMismatch
3647fcc3706ad00b52a1655414087f36dbe0b819 AndProp NumZero TypeMismatch
5d287dae73a2d2223009a920d20ce63a983b49c2 AndProp NumOne TypeMismatch
4c5d90489b99d29a1dbe9178a4e84404b4b7a6db AndProp NumOne TypeMismatch
d055e0cd484a8dda4cf971b09c7aa2bd58a5eeb1 AndProp NumMaxInt TypeMismatch
b9ea1127eb177b23c59dc81abfa802d23f235215 AndProp NumMaxInt TypeMismatch
5210b4d9d1b135164cc60868860a33b5e8d02db3 AndProp NumUnaryMinus TypeMismatch
8a960b78b7562672165fd4ec51e8849ce8997774 AndProp NumUnaryMinus TypeMismatch
5b28f30c7dc8f5bcc0a3c839f1c9b07f896a06d2 AndProp NumPlus TypeMismatch
8d9217c65e76bb558644391ebbb6196935bc6f63 AndProp NumPlus TypeMismatch
909876b22c2e6efe2015fe8db424ecd1fdac71a3 AndProp NumMinus TypeMismatch
7bf3f07d7fa9ce4df3753469d86e142adf83ef2d AndProp NumMinus TypeMismatch
0213ae6c0bdf755a34e4af887d46cd540405a7ab AndProp NumMul TypeMismatch
b36fb2915050dc1ae8e3fa1bda0f76edf79365d8 AndProp NumMul TypeMismatch
054cfd26376dd0a7e734c063e3e9fb34da89108b AndProp NumDiv TypeMismatch
5e1c4486a89109e446875e7ed0d2b3f8657a1cb8 AndProp NumDiv TypeMismatch
69e837a55fa008dd7d3a84872290a9f7e940bfe2 AndProp NumMod TypeMismatch
66e8099b838fe879b542cd757ca3f67c694bc1f1 AndProp NumMod TypeMismatch
7d46c0b43ded1667b765d7d53eb909d84b929e06 AndProp NumPow TypeMismatch
343022ec99136066a009479546adc17fc7c186c6 AndProp NumPow TypeMismatch
ddefe67aafaf28d0640c82fef10826026125c5e0 AndProp DefFun TypeMismatch
db8d46e71d9689ced048e0bf78b88b3933398b58 AndProp DefFun TypeMismatch
49c4297c25e95b8c3d711bd9accaa155cf5d55ce AndProp LetDefFun TypeMismatch
33f9fe5eab7a71e946fddd43d6d5132740b7bf68 AndProp LetDefFun TypeMismatch
cfe4321afea43198309c8ad73fe12737419d7288 AndProp DefFunRecursive TypeMismatch
8126a91cbb584fd1e5f2d6d61bd70d8395204ae6 AndProp DefFunRecursive TypeMismatch
da8c248f5327f01b0ceaa1eb7ebc81ec3618d956 AndProp LetDefFunRecursive TypeMismatch
78c9cd9f0ec7e06a2e5275686c9021904e11791a AndProp LetDefFunRecursive TypeMismatch
e5d353f7b37763dac4c9be22e202ccee59269829 AndProp DefFunInDef AlreadyCombined
3a3042a3b97d0edb9f0383222783642eec1dac0e AndProp DefFunInDef AlreadyCombined
ddf63e9cf13c306114602de6b319a227e8ec7a1b AndProp LetDefFunInDef AlreadyCombined
56de3c9f6db46a43c16bf66fd41d0f5812a81eac AndProp LetDefFunInDef AlreadyCombined
98768dc68e76d181e5e249846ac596a2d2a35c27 AndProp Variable KindMismatch
1369d88ba3e02958862eb76e597c5cb32caba242 AndProp Variable KindMismatch
a8fe25415a412e0d4f28e8a1898e05b37d368ace AndProp VariableViewExclude VariableExcludedFromView
0a824daf59620ac46737fd4a69e5c8ecc2dc3146 AndProp VariableViewExclude VariableExcludedFromView
06f76e4f91db52e67925e80c149b094cee09cbfd AndProp Constant KindMismatch
5864564f94094575bf2d11c70592d005533da7dd AndProp Constant KindMismatch
2ff8c6d01b32cc20cb2760138a4d5df70940d3c0 AndProp ConstantModelValue ModelValueCanNotBeUsed
722018e3ed3c0573c252cfc17ca2868c0302c4d8 AndProp ConstantModelValue ModelValueCanNotBeUsed
3e3a91785f59e503e7c2fa888b3904cc489c7bc8 AndProp ConstantRank1 KindMismatch
8a3dc72b9e331076dccf79cfd032c6cbab721507 AndProp ConstantRank1 KindMismatch
1852938087dc18f4b5ab06ab7527e7abcd06e827 AndProp Assume AssumeIsNotEmbeddable
958bfe6f05b9706d62c8c4bcbe60bde2a60795f5 AndProp Assume AssumeIsNotEmbeddable
b2bd94e9d2c994d0eccc32ee8e72a22738049016 AndProp AssumeNamed AssumeIsNotEmbeddable
247dd55fa17d330a77804ae5613f74785807df03 AndProp AssumeNamed AssumeIsNotEmbeddable
fee6f1d778cae4ed3fdd5545439e193e4f17bb1e AndProp Lambda TypeMismatch
bc2bde454bd8fb5ea5630f3fc01da4a90488b0db AndProp Lambda TypeMismatch
dbba4723980efb1a529385b4dca344c8e439c133 AndProp Cross2 TypeMismatch
b7c8a24023981ac295ffcc6528e754cab1931aea AndProp Cross2 TypeMismatch
54a3aa1cb93ceed49c586713af3ef81c2b4f761a AndProp Cross3 TypeMismatch
921da4025ee2cda9f14a494642ec14844d43ad2a AndProp Cross3 TypeMismatch
7a7d6c670b9ce7040d9472743f8ff866801eb7a2 AndProp FunSet TypeMismatch
b7cb7d5d55c5d202895e1dbbb26e1241a8b7aa47 AndProp FunSet TypeMismatch
dbca1f72787e744ef36453f4a9833f1e45f1d71b AndProp RecordSet TypeMismatch
2a44b0b090f9738b4b03aad8bab7d55cf1675563 AndProp RecordSet TypeMismatch
bdebbbfd921dedcb1943707eb1444831221bb75f AndProp SetDiff TypeMismatch
fe8103acde05ca72ddfe6fe49453895757459aec AndProp SetDiff TypeMismatch
196ef94a703f90a8cece143f647fc4ff55a1e686 AndProp SetUnion TypeMismatch
1dec99c003a354aac8fc8510513445709ff2aa2a AndProp SetUnion TypeMismatch
de05c9f933f1da74a6ca41201cbc7fcc2406a4d5 AndProp SetIntersect TypeMismatch
263edb69898196037f419bf103f4d2bab4c7b14f AndProp SetIntersect TypeMismatch
efb8acab72fe571d137a9b3a44f47b92578868c9 AndProp Subset TypeMismatch
d9d1d2df4fe2894ecba549b2e11e765b00f22e57 AndProp Subset TypeMismatch
adc4e155cc8f588a9845c2097c42995c119b9688 AndProp Domain TypeMismatch
300a37a6d26512bd2745b87b7c8113dd87343dd7 AndProp Domain TypeMismatch
607aeaf808427beeb9ef488c4c03f1a1565609b6 AndProp Union TypeMismatch
7a29e79204989b22ffdcdf07cb41f00f23ed80d3 AndProp Union TypeMismatch
5d779f30619eae0f3415b5fd5aef9ff38c8b2bbc AndProp Unchanged KindMismatch
af3ffed7b18d68874c68ad25806e33f92e6660c2 AndProp Unchanged KindMismatch
e82e3b5f3f27ee328863f68b6df865a78caa5200 AndProp StringEmpty TypeMismatch
4cbaa67422ee77ba1b6bf29e49ce98fee1e898ac AndProp StringEmpty TypeMismatch
59a45a8e62afd1ed4657b50d030e3d65fd73890e AndProp String TypeMismatch
b60d61ea6f9d0e13c4d1f653ceceaf4aaa4fc9be AndProp String TypeMismatch
ea14610956018268c42b906b030db274f11c484e AndProp SeqLen TypeMismatch
845cda8c26a41b53c66b3a689f61dcfab65cad59 AndProp SeqLen TypeMismatch
043e89e1f2585351ed9effade2782a820bc1e06b AndProp SeqConcat TypeMismatch
165aa13f04d9200263265563f0efe7bf35f105d5 AndProp SeqConcat TypeMismatch
8794df410320493322d9fffc2dbe65341e2a69a9 AndProp SeqSeq TypeMismatch
4acba1a208052b6ff382edb913c6b6bdee287a6f AndProp SeqSeq TypeMismatch
3cea0645a9cb6e4394b805b0f24e85a8fd2fa605 AndProp NatSet TypeMismatch
bcf0b9ba89802da4c1be148df953fcd047124822 AndProp NatSet TypeMismatch
19521c84eef68e2adf65c4df67618b512cb5abfb AndProp IntSet TypeMismatch
5fdd5941b0c90b1f3b8157051740db8eab2486d6 AndProp IntSet TypeMismatch
9802309d9e039a4adfdf7aeec319e2648bfd17ef AndProp StringSet TypeMismatch
4f0322f97a0abb5f2a7204f4ed43be42ca1595e8 AndProp StringSet TypeMismatch
8b12a4a58923f723b5a9533ef25c08cfae844b34 AndProp SeqSelectSeq TypeMismatch
dfb734d36621655c19e741fb512b7021604fffd9 AndProp SeqSelectSeq TypeMismatch
22e8a81af6f939c8da3c912b52baba6fa73e73a3 AndProp SeqSubSeq TypeMismatch
47ee528fb209dde9737cce38fa98b77c63695782 AndProp SeqSubSeq TypeMismatch
6685bc8d48e4cb6bf256b2c084acb466129b3f96 AndProp NumRange TypeMismatch
29b8158ee8fa85431d6754742480386dccfc81eb AndProp NumRange TypeMismatch
bf2b9e8dd1889a7d8eb737aa15b008517cc8276d AndProp TlcSingletonFun TypeMismatch
737a67be8f9eb271086de4e1f09095b0285b541b AndProp TlcSingletonFun TypeMismatch
021e611ce57df0cb53f22eb8ef78168178740aeb AndProp TlcExtendFun TypeMismatch
08d35706b5a91bbfd9b2c800030a1002cfd5322e AndProp TlcExtendFun TypeMismatch
b36f3af30b6160ffb0064ed54cf8f6f55fa441d0 AndProp TlcPermuteFun TypeMismatch
d853022bbe1be872913d91a0056786906f49e2bd AndProp TlcPermuteFun TypeMismatch
e6db852f8b785a9bd4115e45d7da127773137831 AndProp TlcSortSeq TypeMismatch
ba29a8a937e74f00d2765b379e1b018e7a052943 AndProp TlcSortSeq TypeMismatch
cc696f244feed397fa8d764c85297a0d4dbf5110 AndProp BagBagToSet TypeMismatch
68dcfb435ef6f4c3adc3f1fe8c14f920660be73c AndProp BagBagToSet TypeMismatch
499c97555244776c1677c093e9facd639b2300f8 AndProp BagSetToBag TypeMismatch
969be012d3b75c82bc7ebc7bcf2e7c3c8e054835 AndProp BagSetToBag TypeMismatch
b3037e6d9428eb4e753e5485e48c62ae33ade580 AndProp BagEmptyBag TypeMismatch
e7511b7d2b4b7a649ffed53f3f3926c4f197fe9d AndProp BagEmptyBag TypeMismatch
0b895368818cbc8fd5add95826992f87ca121b46 AndProp BagAddBag TypeMismatch
57e12f322d51e296c526e69b0e69563ca1710917 AndProp BagAddBag TypeMismatch
696237716e8154fadfcdf82503e952b38f5d2717 AndProp BagBagSub TypeMismatch
d42592f54bdba2ea15e1d1d8e66a558911641e00 AndProp BagBagSub TypeMismatch
a581b1748ec85107d4217ad75f8d8605ddf93f44 AndProp BagCopiesIn TypeMismatch
b74264ce04e442dda3ffb7fd04d15210bb24c200 AndProp BagCopiesIn TypeMismatch
81ef3feed1d05e0de1adb863eba655aef6a76984 AndProp BagBagUnion TypeMismatch
77045e2dc9a551a7a4c2f0496d9cbb6b955dfb2a AndProp BagBagUnion TypeMismatch
21b77d626905202e1fcc215c7599f19fa348a114 AndProp BagBagCardinality TypeMismatch
4ac8c6977778cc4ce9f1e6faf5bc7ed114f3924b AndProp BagBagCardinality TypeMismatch
c2f0ca5a309352dc867ecb80276a35c9c76a3bc5 AndProp BagBagOfAll TypeMismatch
b62834a2110c3fc7409dbe3fc890bd3b37b46a79 AndProp BagBagOfAll TypeMismatch
8acf3c191566bcc7e63f6f195447d9ed83cdfc67 AndProp BagSubBag TypeMismatch
e2c26db454a4b5901bf34da20aa4717616a7d198 AndProp BagSubBag TypeMismatch
b2c60131512fb4f7a5cb643a6e81df23d4ad3a01 AndProp FiniteSetsCardinality TypeMismatch
c9186108dbd8f65a2129b6f5666a2c9cdf12eb39 AndProp FiniteSetsCardinality TypeMismatch
7908bfff0695cdf81e04c1b801df57c1c3393cd4 AndProp SeqTail TypeMismatch
d8738aef5f35f7cdabcd897d676dbe4f85d0a929 AndProp SeqTail TypeMismatch
09c2152ffc0cbe0b779bf77a556893d6b89fdd0f AndProp SeqAppend TypeMismatch
ea5a7f8ace8495a83626e8cb9755bf7ca486ee6b AndProp SeqAppend TypeMismatch