Index

Skipped feature combinations by case feature NumPlus

Id Case Feature Plug Feature Skip Reason
9b981c2ce2f14fd71d8f5ccabbafbbc09cae76bd NumPlus BoolTrue TypeMismatch
781dd7e25500649126e21df9fcefe91539707f2e NumPlus BoolTrue TypeMismatch
5603240f66083958bfc4a34fc8e72b0a1e6bc12f NumPlus BoolFalse TypeMismatch
74f39f094958f558e56d56ccf1184febd7d6260d NumPlus BoolFalse TypeMismatch
5c719e2fd60981a11ab4df8b34b0edc2c420375c NumPlus BoolSet TypeMismatch
1a040825f1b5051fbbb263da213f16145b73073e NumPlus BoolSet TypeMismatch
6ecfb17e5a541867fdae5fa530685ec9690d1a2f NumPlus And TypeMismatch
f6aa3fa76cb0a24dd7b13281fd41e5c80b5da503 NumPlus And TypeMismatch
668f20963990a3d3750351eb79c7bf3f472e5b27 NumPlus AndMultiLine TypeMismatch
faeee4708fe00575265ebfce6a4a1fa137964c87 NumPlus AndMultiLine TypeMismatch
6c66e4c595e9b36def74f4fb4b67b06e0a78e148 NumPlus Imply TypeMismatch
98d3d0d244336e18f2a37e43bd499e2edcc1412f NumPlus Imply TypeMismatch
a183c76dcba7dd5c32c9356e49f34a68988e81d5 NumPlus Not TypeMismatch
2fe93d4a9e8fe611529fd6caa9cae48f1843c578 NumPlus Not TypeMismatch
7bfbd8c6c9b13961ef8a252586f4fc2222eda1ab NumPlus Or TypeMismatch
70634c286001ae9f011ae9338d99b8a174a5b2cb NumPlus Or TypeMismatch
b007048aff451e78d405af43209199f2949cf1d2 NumPlus OrMultiLine TypeMismatch
7a069f7322a5fa8c71e3e84383f7b5032fd976b2 NumPlus OrMultiLine TypeMismatch
003b33a4e7f2d54c7ad40a44f9ca64ca6f944ce2 NumPlus AndProp KindMismatch
6c7a996c519e1304c0046107b6c75f8581fd709b NumPlus AndProp KindMismatch
fbcd8d88f6798079e2f54c518c208c7d1355282c NumPlus Boxed KindMismatch
f42014e05eea79bb17bfdff5608d7321ee8395d7 NumPlus Boxed KindMismatch
233a44c9e01f67261d254ed428385cddffb23294 NumPlus Eq TypeMismatch
820bbfd859c42f87a8bf735fe35b358b7f1f5edc NumPlus Eq TypeMismatch
0857c21f9ca30f0ad7e4831f2e159db8cc5b3b0a NumPlus Ne TypeMismatch
6aa197a7d877dc073a396759e12fc08cb9339596 NumPlus Ne TypeMismatch
613915d136183b36ca1dd9bdbb025507a7452ace NumPlus SetEmpty TypeMismatch
4837e3f3d5d8b4bbb61bc5465d5be7f7788c5122 NumPlus SetEmpty TypeMismatch
4113cef282aa5fc8a4c0cb06b90df8528872b717 NumPlus Set0 TypeMismatch
eaf7c613e8d3f5be7714ca8bb125d0d0e2a3b778 NumPlus Set0 TypeMismatch
9350888c7d58e9b6cbb3c169974e3d29cf5bf160 NumPlus Set1 TypeMismatch
9e7c7b79c1b68b1ff38b11bc2df3cf4c36437524 NumPlus Set1 TypeMismatch
b8ef8230509f84bef29733e9a56297d21a2b45f6 NumPlus Set2 TypeMismatch
15ef3e251b9f4ef774aeb1970dc55f050d8513fb NumPlus Set2 TypeMismatch
f6d96967e9e985aa7f43283b2a5285e872104fcb NumPlus Set1InDef AlreadyCombined
438ee8eb8da823fc0e4064da350928274f5bf882 NumPlus Set1InDef AlreadyCombined
42e21dd7fb3344efdfe2c94432d653c05b99963c NumPlus Set2InDef AlreadyCombined
0fb1c2ba2716d571b54f967d2d0de09838bd0455 NumPlus Set2InDef AlreadyCombined
41e39b3149ac74c582545a7ac8be156c11f8ee77 NumPlus InDef0 TypeMismatch
0ff7d401bed8fb9a70990151d477e116fb19f128 NumPlus InDef0 TypeMismatch
63de5da43ce2bde05958e1cb349fdf48551d2cec NumPlus InDef1 TypeMismatch
0b63bad5000aefc8eb2b0b494922f7ec0f908b72 NumPlus InDef1 TypeMismatch
5717da5f3e152dd0e2a7c4753aa0dcfba61fd8c0 NumPlus InDef2 TypeMismatch
b1885fe270cc83d49e84c31aa772304a2e85aa01 NumPlus InDef2 TypeMismatch
0071e9e571ce417dadf9627e519615c90a2b71db NumPlus Fun TypeMismatch
9a9f73658e3b49d9be86b96238fee62273052b88 NumPlus Fun TypeMismatch
f28f30f1c236c3812f77aa9286247079d2c40daf NumPlus FunInDef AlreadyCombined
b60ec732d7454f29f928875aa5b4aa69522405d8 NumPlus FunInDef AlreadyCombined
e49f7bc03e07e7023ae50b643b0c0c599db44fe0 NumPlus In TypeMismatch
55bf3df20378bbc801c9241a7738195093c5e812 NumPlus In TypeMismatch
00bdfc16c7ae655c2a1afad13d1f15dec69b2ae0 NumPlus NotIn TypeMismatch
f001eafeeb2f2e291581af286359bc6fd07ab4bb NumPlus NotIn TypeMismatch
5dba17b6447e4e0c8dead2ef1de7e7a1673f87be NumPlus Exists TypeMismatch
5bfc602ea01e927d0da07e31d80a034a2e3e50d0 NumPlus Exists TypeMismatch
16fd2954f47af395af8602d10223f6121c5cbbbf NumPlus Forall TypeMismatch
9487fc20e6e94d598902b044dbf9244d1a5abb06 NumPlus Forall TypeMismatch
bbcafb459f6cd92622849235dd621ecf66b1f666 NumPlus ExistsInDef AlreadyCombined
3dd09f045aa46e1443d17c91899e256d1f8fb43b NumPlus ExistsInDef AlreadyCombined
890b046dc0fe70a38c716e71c1391a63a0e6fc9a NumPlus ForallInDef AlreadyCombined
f2ad3a9c4a7d68fd6d1a10cbf9fc9bb8ab3c46c6 NumPlus ForallInDef AlreadyCombined
330a1eba0a7821b131460c308d45b085af4a4ba9 NumPlus ChooseInDef AlreadyCombined
6b8bd5f31275d84828f642d96afc42dbfa4aae46 NumPlus ChooseInDef AlreadyCombined
1ac2209e01105b4e563a358bd85aeb415a9bd084 NumPlus Record TypeMismatch
1ea17858efd59915ca143548f6601109063b4683 NumPlus Record TypeMismatch
d100111908667d7c134a39fa39d86c2c33523add NumPlus Tuple TypeMismatch
401ef1bcbd74d7c6a8d4970bc578bbc2016a79d1 NumPlus Tuple TypeMismatch
8e9deec0b8aaee6743b5712f3b80dc92eb53eb71 NumPlus TupleEmpty TypeMismatch
148497ca763c73d1de410a742583beb257cd104b NumPlus TupleEmpty TypeMismatch
67b108f3001febca9b87cfaee9d44e01b492ca57 NumPlus Except0 CanNotBePlug
bc255c5599bdc067e9863d435a306bf94b893893 NumPlus Except0 CanNotBePlug
9ad147ebbc3634841fb67591a7dd89bf04e730d3 NumPlus Except1Fun CanNotBePlug
bf6ae1a40986146868b7d427cbeab2d4af5a8875 NumPlus Except1Fun CanNotBePlug
f67f6a71f3e884eef8bf021416120bccaffcd588 NumPlus Except1FunWithAt CanNotBePlug
5b3c17777a02c4e6e5146fb60a380e576c3ca08f NumPlus Except1FunWithAt CanNotBePlug
05be66258a439266ba74dcdb744b6fcab111aef9 NumPlus Except1Rec CanNotBePlug
abb0b6a50ef4d88d4039984e82614a3c3a58e491 NumPlus Except1Rec CanNotBePlug
2a79ccbaa6b0c6fcd97ba5e0dcf0d7e339ec17a1 NumPlus Except1RecWithAt CanNotBePlug
f14abb63e3fee938750a84fc76ffd341df4fc9bd NumPlus Except1RecWithAt CanNotBePlug
d5349a3d4a1d359792a0f7654a15e1a9f76fcd99 NumPlus Except2Fun CanNotBePlug
66f3c53db7c9ef7d80da1adbdc30cc299199449f NumPlus Except2Fun CanNotBePlug
f5641f6dffa4020c25bed322936549fcd70bbd34 NumPlus Except2FunTuple CanNotBePlug
d38d38b3868e97d9e8bebe2b4799b0a147f30464 NumPlus Except2FunTuple CanNotBePlug
ef5a8d87c981ec2e39dd520ce81169de0e9403b0 NumPlus NumGt TypeMismatch
341c8388b9e50178465693ca5546354e65dd39e4 NumPlus NumGt TypeMismatch
c01beaaa3b0a22bc2355c0cb5255ed4425982f70 NumPlus NumGe TypeMismatch
409d41a3022a434b4f2de016f75bc5597ad24438 NumPlus NumGe TypeMismatch
8c252dc3e739b406f1e599ea8c1ee5ebd8160f9b NumPlus NumLt TypeMismatch
0ce549055e8412c169ef3ed920ad109a407361be NumPlus NumLt TypeMismatch
8ef2ebdc8028b9c452ef6e776df4990cf7adcfd8 NumPlus NumLe TypeMismatch
6ee075c04c892c767fd7e3e405540ddf355c964e NumPlus NumLe TypeMismatch
8f1f585b80122b697a3ea57ea3803dcc89218ae0 NumPlus DefFun TypeMismatch
e286fcbd4e76109c68e115a904649258da578441 NumPlus DefFun TypeMismatch
38cb0d021d4ebb8b3c3e390cbc2f1470463a828a NumPlus LetDefFun TypeMismatch
126b58e3be974ba9168456704e6b093fa576798a NumPlus LetDefFun TypeMismatch
545eb44db7fb2ff6ee3de049db8e8581daf601c3 NumPlus DefFunRecursive TypeMismatch
36de7ac33ccb9c4ebd0e39a3c9bdeac9fe240a9a NumPlus DefFunRecursive TypeMismatch
249e0d4f678cc85b705da0ead88d9cada3d81285 NumPlus LetDefFunRecursive TypeMismatch
c6c9eae64c02d7d6a64de8e30c282ec3027c96b7 NumPlus LetDefFunRecursive TypeMismatch
b40d7406fb78678fc4c27d79bdc4017f33d18e5f NumPlus DefFunInDef AlreadyCombined
ddf9787d4d3916939e6dafd9b551a66641acfcb6 NumPlus DefFunInDef AlreadyCombined
efbae243025691ed606e2687a4316f359be011cb NumPlus LetDefFunInDef AlreadyCombined
398b0242dacb53779d8f4587190855c03dd990a5 NumPlus LetDefFunInDef AlreadyCombined
5537ad4a91028370bd78a73afcceae944d80bd4f NumPlus VariableViewExclude VariableExcludedFromView
e643f317f59bd20c5a33d9f6cbc6df873cc0cb4a NumPlus VariableViewExclude VariableExcludedFromView
ab8946b063f173f5505d8cb83244b5df2a0d1b89 NumPlus ConstantModelValue ModelValueCanNotBeUsed
1ca698245f8ef1d72877dadeeba230b1366fd291 NumPlus ConstantModelValue ModelValueCanNotBeUsed
6d3de0d0f6b03a6a1ae240c053cfe3fe72625f76 NumPlus Enabled TypeMismatch
b9891c3160933b24e8fe2f35c90b10d1b329107e NumPlus Enabled TypeMismatch
febdfaa1561ba46c653f541144b4acb793dbb76d NumPlus Assume AssumeIsNotEmbeddable
00a87e696e998b2adbc8d96bb922b918d3140b7a NumPlus Assume AssumeIsNotEmbeddable
9e7fa9cd26721d4b76d40e4ce27bd3c393edc03e NumPlus AssumeNamed AssumeIsNotEmbeddable
3c13cc33cac6f9419e58522e0ad197c00785b824 NumPlus AssumeNamed AssumeIsNotEmbeddable
2c01cb7adc861a6a79d6fbc99313f5620ec16a1f NumPlus Lambda TypeMismatch
f40604578c906fbf5958cadd65bc4790fb629edb NumPlus Lambda TypeMismatch
c58c18ba0db578e98cc8e091c1d6582501198a2c NumPlus Cross2 TypeMismatch
444f31382707a56edc16909f7fe6941875a57204 NumPlus Cross2 TypeMismatch
ae72b56485b9b7ec2a94cc85e6caa28c7f648109 NumPlus Cross3 TypeMismatch
ae253413c6ee3adb46eb70a0d55a86a883c749e3 NumPlus Cross3 TypeMismatch
dbcfb75b983ba47debedd495bd63ff9add8d8067 NumPlus FunSet TypeMismatch
6ebc6098fcabf49dc19d5591be5e819ae6f5ee34 NumPlus FunSet TypeMismatch
425e4a5bf7566bce083f92085b385493e105604b NumPlus RecordSet TypeMismatch
67a187eec901b9ca81a160e00f6750a5999f6b77 NumPlus RecordSet TypeMismatch
1c450a974bd3dc3daf9fb582788e54d44c9ac7f4 NumPlus SetDiff TypeMismatch
8ce455c90bf21afad7e247807e5329a37a8f9ab5 NumPlus SetDiff TypeMismatch
2dcae0148ff37400b900287948e6c27381a4f425 NumPlus SetUnion TypeMismatch
efc6f697b92dd382126965077f1ebede1bfaf44b NumPlus SetUnion TypeMismatch
5459497ca6e6c8dfc0417b502873ace3eb60247e NumPlus SetIntersect TypeMismatch
d9d53f32ee5e0fcf5d4657285a6647740a289faf NumPlus SetIntersect TypeMismatch
391ab2fd90b566569d9219267a0d8206c0769ce7 NumPlus SubsetEq TypeMismatch
366ff87c96a8c7e02b4eb30778c17970d2a8d6e4 NumPlus SubsetEq TypeMismatch
1691d0d926293ef22347e48d35799e812e44b12c NumPlus Subset TypeMismatch
ce2b3c142f9e3e3509a0a03b81c70a357e809933 NumPlus Subset TypeMismatch
79778bdd7c0b9c425420adb76cea2eb42ed398b6 NumPlus Domain TypeMismatch
45e9925fb467a7f19291b3f446c47f22c5a7bb22 NumPlus Domain TypeMismatch
b571a05fe36a1a3c191161583a20327c4a594375 NumPlus Union TypeMismatch
f04465370cf34dc5930c26f77da1f07cacb86c94 NumPlus Union TypeMismatch
84feb6c4cc4f18d07cd09ed083508b7a4251b208 NumPlus Unchanged TypeMismatch
9d39813f5456b56562c4f264900cc3d8f92535fa NumPlus Unchanged TypeMismatch
9ed05e72112133106849a91d7fa515149d93ec66 NumPlus Equivalence TypeMismatch
5b0a8bcd492d999d03e41b70d2ab5c2826e0aaf7 NumPlus Equivalence TypeMismatch
b2fee65f62cb70b101a8fa9a64f476af39c0234f NumPlus StringEmpty TypeMismatch
49deb7fd2ef03dd15ba64396ff45576e681b7908 NumPlus StringEmpty TypeMismatch
fa6006d6f448aa2669e269824ffadc1055bc3df2 NumPlus String TypeMismatch
85bbeecba66d5cc07a686574b82e0d588671bfab NumPlus String TypeMismatch
69cc108e4f7581e1ae4923974357955e0184f818 NumPlus SeqConcat TypeMismatch
64615221ccbf65c9ae1b4457a95422f551c554a4 NumPlus SeqConcat TypeMismatch
924077e6fdec6d3f1dbcfb9e35fe8f12f237bea8 NumPlus SeqSeq TypeMismatch
01591894af085d04e2749124230e9abb9acddbaf NumPlus SeqSeq TypeMismatch
a8b055921a10585a7e30d739e998c4f6d4405c5c NumPlus NatSet TypeMismatch
20ab994eb969a52635407364107da2f72d74a956 NumPlus NatSet TypeMismatch
3e499f974e6b23665ec8a005353662e2eae87721 NumPlus IntSet TypeMismatch
2a0b22063adf999ed2bb35cd13bde6962ba33acb NumPlus IntSet TypeMismatch
92f7c260d6fcc5c031f51a5e36b81209a02a180f NumPlus StringSet TypeMismatch
b8d0e8545115c90333e15e8204c5463dbebf2142 NumPlus StringSet TypeMismatch
0221d9564a5938bd7c48e13aa87d9d2bcd1cbd0b NumPlus SeqSelectSeq TypeMismatch
f5d770e6de50f1314d90a894225bd92e646f0f27 NumPlus SeqSelectSeq TypeMismatch
e6a0adfda40fa9c70e7d3f1b7da8b966e9eb4fad NumPlus SeqSubSeq TypeMismatch
ce2b259588774d9e50ceb5f113acfdbf9fcd0179 NumPlus SeqSubSeq TypeMismatch
4da6849f862507506e9a5d43fd3bc86976eb133f NumPlus NumRange TypeMismatch
f7087419af3df2e733a080f8489323cc8020cdbf NumPlus NumRange TypeMismatch
88433a0b2c6dbf16e640bc1426ceb1a8b5bfcae6 NumPlus TlcSingletonFun TypeMismatch
b2fece91bab630440bd6c16bd9c1b5c8d7d5e85a NumPlus TlcSingletonFun TypeMismatch
732498a86b2f00e23495999d06aca5566c3255c6 NumPlus TlcExtendFun TypeMismatch
9cbf5c6f0af676ca5ef921da9b8d4460e887633c NumPlus TlcExtendFun TypeMismatch
ee20dc4bc79048e3ddbb150cfe727195b3139644 NumPlus TlcPermuteFun TypeMismatch
176eb7812337a3679cdb7b001619260ff7381332 NumPlus TlcPermuteFun TypeMismatch
cfb9c2cb0de041059caa8ea47033550fd55f6db0 NumPlus TlcSortSeq TypeMismatch
8a1b3d1a3ffe0c8a9148bc28c4d9c98d5eaedb07 NumPlus TlcSortSeq TypeMismatch
970d83c55084c775b7d64cfbbc39b91f701959ad NumPlus BagBagToSet TypeMismatch
7f4d3407eee888b99c6b407603f801c825876280 NumPlus BagBagToSet TypeMismatch
8012df59ac8838b47a9c639e84564e228a483000 NumPlus BagSetToBag TypeMismatch
8e8afc593848995c7c50580873bb49c403c0dfdb NumPlus BagSetToBag TypeMismatch
9b4cfe3b1ab110d7db6db02ed379d1ed3e83f704 NumPlus BagBagIn TypeMismatch
4025faab8e4b9aa78a4f676abb0ec72844c6b2a6 NumPlus BagBagIn TypeMismatch
3a71c3fb9c8b420df8464f8af00bdb849a9a19ed NumPlus BagEmptyBag TypeMismatch
438931c5a244c6ee26654cd0c5664d2f26ecafa5 NumPlus BagEmptyBag TypeMismatch
353f1ff2c7b097dd41abc0ff9f61eced92c57d20 NumPlus BagAddBag TypeMismatch
e6e61153d65beee9e19068fe3712d8959f8ced3f NumPlus BagAddBag TypeMismatch
6526fbfcc4bf5a68f7500358a366ee95ebe1bb2c NumPlus BagBagSub TypeMismatch
57b88eb452c9a22e82834ae3e1a861036aace032 NumPlus BagBagSub TypeMismatch
f127ae25657298c4869b808702c0ccd5fdf72852 NumPlus BagSubsetEqBag TypeMismatch
6fd8f314d66d3d0e5f832ca97c360d992d3b26c4 NumPlus BagSubsetEqBag TypeMismatch
49e316a56eb4b0fa0e29800bf05495fe80230c13 NumPlus BagBagUnion TypeMismatch
65db7e5794914142fad87f620c0ac6c4651f69b9 NumPlus BagBagUnion TypeMismatch
0f3ddab86b952bb91c36ff2dd0b83f8005be320d NumPlus BagBagOfAll TypeMismatch
bbfb0eb6b0e65976d3dc7371aaaed4a53ee4e161 NumPlus BagBagOfAll TypeMismatch
c1315f9f472a6474c64caffa39149e5529ef6425 NumPlus BagSubBag TypeMismatch
06bbfc856aa661a1762ea6a0bda9c4e4e3b4587c NumPlus BagSubBag TypeMismatch
46d9ad7bc33bdedae8c9b8b01fc0e776a1f9931c NumPlus FiniteSetsIsFiniteSet TypeMismatch
089b904551c3a1abf8ac908b732d1b896b2e042f NumPlus FiniteSetsIsFiniteSet TypeMismatch
e9fd81e7ec21eeea01329d1eae4cfb53c656e518 NumPlus SeqTail TypeMismatch
cc489e5ed0898aa346566dc724f228679bae851b NumPlus SeqTail TypeMismatch
0681823545a9f0c647f96f1693bd06110ff7c5e1 NumPlus SeqAppend TypeMismatch
2676ad0366254cf80bb6b59c58bbff63e1413b34 NumPlus SeqAppend TypeMismatch