Index

Skipped feature combinations by case feature NumLe

Id Case Feature Plug Feature Skip Reason
45d62aabb31484228c56cec1b15f00cce969ba38 NumLe BoolTrue TypeMismatch
0b18cf4de4c7b477412d3212d865c22c6a38ed00 NumLe BoolTrue TypeMismatch
d1f04b62fbc9e2e1e126207634cb3aaba736f8e9 NumLe BoolFalse TypeMismatch
6414243a073b1bbcef6bd6b0c99a2ca5c112f2ba NumLe BoolFalse TypeMismatch
2434f2bac8d25383b6cfd251ab152ffb9635dab0 NumLe BoolSet TypeMismatch
ef33a173cf4866dc69881e577f05fde587f734c0 NumLe BoolSet TypeMismatch
404cdc15e8369e7bd6026de35521e17537189a0c NumLe And TypeMismatch
1341448331000f0a1846db7e8cbfd8865d86b30d NumLe And TypeMismatch
979d9bb0489595cafbe0be8ed01bd2a04fd63ed4 NumLe AndMultiLine TypeMismatch
3fb4e7333acf082b9b39263e1058611c9e71b855 NumLe AndMultiLine TypeMismatch
186768bbb7a693f9cfc6723e225c24b591a6eed5 NumLe Imply TypeMismatch
64f04e3724597ad550d09e2929d127d784fe17d8 NumLe Imply TypeMismatch
84ff708920400828dfa8c18d01b2ea770c7b123c NumLe Not TypeMismatch
edf63a12b6d163b0f2f7e238527497b242c97519 NumLe Not TypeMismatch
f96cca3f4247b20c59b93e2513b685291643408f NumLe Or TypeMismatch
ad2d8635b0a59977c8a43f6f86b3229b4d9c2386 NumLe Or TypeMismatch
90570da1095fce853a0f863a14dd93a5e2bebc91 NumLe OrMultiLine TypeMismatch
2e03b54d1c11351c3e46e06d1dadb89173919d61 NumLe OrMultiLine TypeMismatch
f5de2b2cc4fedc3584ea72262b09471eaa5c65b2 NumLe AndProp KindMismatch
58aea7ece41ffeb51812a17efa5e3ee0dbb835d3 NumLe AndProp KindMismatch
78795ec428d7126adb979012295d61663c106396 NumLe Boxed KindMismatch
d1c10fcc37eb5f1f4cf5097ded61d140f915a6c7 NumLe Boxed KindMismatch
e14f204089c300b97878e7481803c74ff9c56517 NumLe Eq TypeMismatch
1dc929318b177cf45e456b9fd8c7a7a35a3cc736 NumLe Eq TypeMismatch
4cf4bb9851f249da237eb942e6e34bfa62f784cf NumLe Ne TypeMismatch
d07dba168c281fc3410ace4e89d3940bf3bd7f58 NumLe Ne TypeMismatch
6f370003ced73edf96ee4673c4167d6ed760c8ba NumLe SetEmpty TypeMismatch
5515705ed95d04596fed2202bfe2c19761800a13 NumLe SetEmpty TypeMismatch
8e4225bd207a89aafe8e4796dff0b01f435d5dcd NumLe Set0 TypeMismatch
da16c0cc1356d53b16a5b65330c46b00d3a7c730 NumLe Set0 TypeMismatch
f2183d04cee3e2d1bf277ee4653d0c1889c9f1b3 NumLe Set1 TypeMismatch
7105fb1f4cdc704d38dc372a1782b0d4ba2c3606 NumLe Set1 TypeMismatch
8ab9a849fe8ae1cf7ea79233634811e21533bd3e NumLe Set2 TypeMismatch
12d61c30b26e944c67232ff2f0ade1b30bacc83c NumLe Set2 TypeMismatch
033bc415dba8323596055987315600afa12edd4b NumLe Set1InDef AlreadyCombined
2671011a773795d33e7694d3686e814c0c42b445 NumLe Set1InDef AlreadyCombined
aa333368391db1de4c0d0da639b12ddbb568829f NumLe Set2InDef AlreadyCombined
f19a000301313c8bc81b1b0edb5624cb9644c26e NumLe Set2InDef AlreadyCombined
ec564a7e86a900b98b7888fed7bc57679aa6242a NumLe InDef0 TypeMismatch
2f95af2a84e686285c889f3fa143b6a6c5184e3f NumLe InDef0 TypeMismatch
88c1ec1b14529ff08a89e384756adb773ce2af6d NumLe InDef1 TypeMismatch
c90aa393b1cb55074f8600a66b5146a61f795442 NumLe InDef1 TypeMismatch
0cde62a9549973582c6e4377940ada1a0312cd8a NumLe InDef2 TypeMismatch
6a53bd9166fcedb1679422e2dfe4b182f08b95b5 NumLe InDef2 TypeMismatch
6b6b0877c244bbd45004717a7390ea6d87aac0fa NumLe Fun TypeMismatch
f6f5b65e6779ebeedfe61ae30c456a172ca37985 NumLe Fun TypeMismatch
1afe8662b92242ebb2d248f0f2b610558e49fcbb NumLe FunInDef AlreadyCombined
cfadf760b466e75b72cd82c9330f9bfcc510127a NumLe FunInDef AlreadyCombined
2e874287e195eaada0edba0e4d802306c3a27651 NumLe In TypeMismatch
95048aa7366a7f562119610ab2dd7ff95b02449d NumLe In TypeMismatch
f65a91f40dd07946f69c39e3a173ab23e6ed16ca NumLe NotIn TypeMismatch
fc044178e9567f626b64b90c5ca15c74f03e3a64 NumLe NotIn TypeMismatch
d9117b60ee61126920daaf16a6e5ec10f6741050 NumLe Exists TypeMismatch
598be60993cbbdcdcb9dc3b913b6285a26454959 NumLe Exists TypeMismatch
1b70a20671fa8afda16c41bb0f5f79bd4839b1a6 NumLe Forall TypeMismatch
b1e45bb971cf08db6ba47ea82586c1ae429e88a8 NumLe Forall TypeMismatch
4feee724366ce90cc4bcd63b70340205b57b1c56 NumLe ExistsInDef AlreadyCombined
a6a1a7ee846ecd20caaef21ee4fee7e1e82c706a NumLe ExistsInDef AlreadyCombined
126fe5e4c5c4863b1834d4c03058c93e161aa556 NumLe ForallInDef AlreadyCombined
4a25243ec2e48626e8e3dc663dfe129f3a5486ac NumLe ForallInDef AlreadyCombined
aa6de0fccfac4c35adfce962210ecf83c3bbd78a NumLe ChooseInDef AlreadyCombined
2f81bd466aba4255576839724798178e9aa27d03 NumLe ChooseInDef AlreadyCombined
e9667d0b3f755f530a834cc43fa958f763f0ec48 NumLe Record TypeMismatch
b6b370b0d5cb0f81ccd10c13a621f6a1758c8ce4 NumLe Record TypeMismatch
b83931eed0daa9c639ae0adb8bda34049e501731 NumLe Tuple TypeMismatch
fdaabbc310b450ee0171692c82028e8c03d20685 NumLe Tuple TypeMismatch
b443c2d20b794868f43faa03937b4adc4a315428 NumLe TupleEmpty TypeMismatch
3bcc63f9dee799936dcc862c1ed88f041e2be7ad NumLe TupleEmpty TypeMismatch
0ab4b2725ad69ecd057e45d749560227114d983b NumLe Except0 CanNotBePlug
15b73c630e35206e045a6e2f2e4d40b3f292c3d7 NumLe Except0 CanNotBePlug
fc8679777809f0eb4e8a986063bcb26bad8e42b2 NumLe Except1Fun CanNotBePlug
9b82fe93eaafcf9472712190da7f95ac896947cc NumLe Except1Fun CanNotBePlug
6d8c490e8989767aef5f99f60a9dd842def6c3fd NumLe Except1FunWithAt CanNotBePlug
3f3caaa7d8ed70e388f0abb6858a4e0d01da18e4 NumLe Except1FunWithAt CanNotBePlug
6fad630d1f5c25ba859739ba82dee66301ac04f9 NumLe Except1Rec CanNotBePlug
f5b5b2094aa2b4d7b5689ba1146925017dbc6071 NumLe Except1Rec CanNotBePlug
71fb9e73542f4a9ad48f5af63501b254687aa1ca NumLe Except1RecWithAt CanNotBePlug
8714433d8585f060e7e3354f553f47dbf8a43e23 NumLe Except1RecWithAt CanNotBePlug
c6bdb76524a1a4ba9be68c9792f3720fadcb6e8a NumLe Except2Fun CanNotBePlug
f87dafccedc4cf12389e5fce9929f8bbfd4dd72f NumLe Except2Fun CanNotBePlug
f20c642edad55ebac1488e0910b046dec0a4edc5 NumLe Except2FunTuple CanNotBePlug
2ca012901ee602f9d4782b56e2852ece3b9cbd97 NumLe Except2FunTuple CanNotBePlug
9a7af6a5342f931797cda1cfe4d7678ad7a3061f NumLe NumGt TypeMismatch
763571d3db164228dce9ee59a1cbdafeba9e5bb9 NumLe NumGt TypeMismatch
0ce67eb98e2f649cb76a078d44547dc1db4302d2 NumLe NumGe TypeMismatch
f79b63f13ef4a71da1f6bbb250c422e915327081 NumLe NumGe TypeMismatch
461e51eeacaeffaed4d0d40b3889025c5c65286f NumLe NumLt TypeMismatch
25be3f6db4062fbc49f4cd7f4d3a354811ba7d18 NumLe NumLt TypeMismatch
556204153194177555f793cae6c94585266380ee NumLe NumLe TypeMismatch
3f640c44307358eb647b654be495e61207b09862 NumLe NumLe TypeMismatch
c79da7dbdc211ca1908c12ff4758f96fdddfbd4b NumLe DefFun TypeMismatch
c4762fe97eecf52edbb06c8ef4af950684635cba NumLe DefFun TypeMismatch
e58690d2d14250416ad379e87e32dda8f74ad65d NumLe LetDefFun TypeMismatch
08e6af2b5cdbbdf9cb1d08c866cf5a2bc4acdeb3 NumLe LetDefFun TypeMismatch
752e3358544ce45ce447352a87e38964a455b1d6 NumLe DefFunRecursive TypeMismatch
a1fac3919b4e06573158cc21c129b58dfbed9899 NumLe DefFunRecursive TypeMismatch
91c4639683285434f9fadde2a2e9f4a1fb4f5062 NumLe LetDefFunRecursive TypeMismatch
a3c0d8c0d7d0aa1133a8de73331200b854f05796 NumLe LetDefFunRecursive TypeMismatch
cbed83df71f1b06781e5cb60786c4462e55b02e3 NumLe DefFunInDef AlreadyCombined
79b1c00e6c831e46d06bdd9da86df7b4ff01841f NumLe DefFunInDef AlreadyCombined
318f04b8fd393401be80139eb7fdfb91ac71e8fe NumLe LetDefFunInDef AlreadyCombined
c6b64b2c34dad264c76e57901b191da766b913c9 NumLe LetDefFunInDef AlreadyCombined
40ff199fca4dccf96e8863356e4bb551e613fcea NumLe VariableViewExclude VariableExcludedFromView
91b6a03a6cda9b3da894d518232ca656d5c3df5e NumLe VariableViewExclude VariableExcludedFromView
c3bf2ad8af60d8bb47c17c3c1afed731e7d7149e NumLe ConstantModelValue ModelValueCanNotBeUsed
952818b5cd16fb466f452c32b9a95b04fc1a8798 NumLe ConstantModelValue ModelValueCanNotBeUsed
3d9775fb767292230eadc76109878a83cb9f59fd NumLe Enabled TypeMismatch
c2bba8cd462b0119add49bdfa1ac3ebd3b65cd0a NumLe Enabled TypeMismatch
a5165440e07a3f3bb04bf3d5afe95c37cfcd278b NumLe Assume AssumeIsNotEmbeddable
165b4e075323aa3020cb09309aec03261990f42c NumLe Assume AssumeIsNotEmbeddable
3577edde1f20678b0aa45634f88c39ab48a8199a NumLe AssumeNamed AssumeIsNotEmbeddable
6fc1e28b3ccd4d3bb1b440759483a08456600921 NumLe AssumeNamed AssumeIsNotEmbeddable
a6581e6ebc70c51580e311e8d7d174c56df5c9e8 NumLe Lambda TypeMismatch
287a4de4b36f26d6648d20f51b4ba4a1912aa0ff NumLe Lambda TypeMismatch
c495a48299fe609693f3586b57ded90f5cead735 NumLe Cross2 TypeMismatch
429544692969368fe45e80df60c3acd422d0dfb6 NumLe Cross2 TypeMismatch
a4b357ba3d59a7160b8e49d3201e7141f0503a42 NumLe Cross3 TypeMismatch
bb63443597bce9d021ed319bda16688121260c9f NumLe Cross3 TypeMismatch
b69cd8730b646d05e5a5740d0e2d3e581cb36ca0 NumLe FunSet TypeMismatch
682e9ca3aeb535917a0c8e9f0189fa60ef12e6dd NumLe FunSet TypeMismatch
8caf3eef25ebce3e740ccc773fff1d9e197fc073 NumLe RecordSet TypeMismatch
91e0311b9a73f38a3bf1094ef3fbb278324b32c7 NumLe RecordSet TypeMismatch
53a49355e6bfbefee867f21de864e20056afca55 NumLe SetDiff TypeMismatch
db92e1fa4736a2f55689b50d9dc295f4c1a1792c NumLe SetDiff TypeMismatch
df113315f3d83ddaa109421b5b92247834a51c20 NumLe SetUnion TypeMismatch
92ce4f0825c92a0895e1f255df130c212281dd06 NumLe SetUnion TypeMismatch
2ba9473a842db0f08be80f92368b9cfdc68dd8f9 NumLe SetIntersect TypeMismatch
bc1c4cd8e3451e339ea9539947540071ea3b7270 NumLe SetIntersect TypeMismatch
8e5953d74a90144b561bc3e62cd512b54de95a63 NumLe SubsetEq TypeMismatch
01bbf52f34c2f52bcbf9e76db0bb7f0e045a4bf0 NumLe SubsetEq TypeMismatch
45107b4416ac41c9e6de024d5a6753590bcc6d25 NumLe Subset TypeMismatch
9830c60ebc49aa396f6abb37718d566a28f26c1c NumLe Subset TypeMismatch
cbd39f361016bfcb6cf9e92dfbe0535a5c4a0606 NumLe Domain TypeMismatch
9fb4168b8bb7858489316b243808f17bf7bbb5fc NumLe Domain TypeMismatch
1b47b3c20cfc0d93f5de05b578d05534ad10575e NumLe Union TypeMismatch
65d1487932e73b6688c433e5d0635b87cb800738 NumLe Union TypeMismatch
60a9b66345142a469b4aead6dac7eeffb3f87859 NumLe Unchanged TypeMismatch
2f762ec64c9f177b131cd84ef820c71539d8bdfb NumLe Unchanged TypeMismatch
30d0645b3c1869c43775749aaa40ac6b25c83e85 NumLe Equivalence TypeMismatch
96dd67a3398368a4fad2b271d7d22ea55aa3537e NumLe Equivalence TypeMismatch
3a5f1cffb02c600568ea6900252e3178c71150e8 NumLe StringEmpty TypeMismatch
01b2d1fdbef1c82e9c883631b3313514f12a8e64 NumLe StringEmpty TypeMismatch
3206ae7cabf27a3044f38f58cfb6b9a820a79a72 NumLe String TypeMismatch
129cc05396a7c397718c91c403b6fab4d0713d36 NumLe String TypeMismatch
6bbc091d26b1a2fb98c6982cef80c010e9b02d38 NumLe SeqConcat TypeMismatch
f65365e3e0f9d29e23bc4b42446d4fc613464794 NumLe SeqConcat TypeMismatch
bc6ee24574d2386a70cb0cbedc25c407366543a0 NumLe SeqSeq TypeMismatch
3129985182170e8755a281f7c76b63d5acc717c6 NumLe SeqSeq TypeMismatch
6188e51f0981584aef783a394439e8a7d344ce92 NumLe NatSet TypeMismatch
c80f87d84d3dc83ade1ac67acaa6171ce31b3cc8 NumLe NatSet TypeMismatch
2cc301654fe72dfc8833efd128f110048a767cc6 NumLe IntSet TypeMismatch
126180dd0cf6af2b39e0a47ff14a81919930df4b NumLe IntSet TypeMismatch
443ce1cb967e2ea477377ab03d911d00100ef173 NumLe StringSet TypeMismatch
995b251b51a64edbf3d6bc79eb17774d901f1fa6 NumLe StringSet TypeMismatch
853d6cb2d8250eb482422639233e1b5e003c922e NumLe SeqSelectSeq TypeMismatch
c9083ee7824a2ac317c0c96bc15946c1fda0108f NumLe SeqSelectSeq TypeMismatch
23ebd18da06e7278ffa21188c13fb0f3f9a26b13 NumLe SeqSubSeq TypeMismatch
fd31db702e8b520fdf458114066c6eee937ddb47 NumLe SeqSubSeq TypeMismatch
cb00a3c85fd195f0ff377c9e58f3d2280d9e6eed NumLe NumRange TypeMismatch
311e26c84f107b023707269ccab07ffa5f10f040 NumLe NumRange TypeMismatch
e4dd87821680fa13657eb8048cdfc2f28ed5b0d1 NumLe TlcSingletonFun TypeMismatch
566697f448cff5b96456b74075098b46ff05aca2 NumLe TlcSingletonFun TypeMismatch
cf53e51d059c59c7be6590883d66a095ac9321a1 NumLe TlcExtendFun TypeMismatch
89b745e0127c2d9482dc8f2d445189b54d8d246a NumLe TlcExtendFun TypeMismatch
78ff9a9b03a8397537e3f82dc659e45cf4feda95 NumLe TlcPermuteFun TypeMismatch
3f6b273b8379c57c0db7f59e84ff5483b3f4b368 NumLe TlcPermuteFun TypeMismatch
4399167035e907e12d88ead66dedca0acb818825 NumLe TlcSortSeq TypeMismatch
72003d22a976c6475c564e93b71060d1afb6f7fe NumLe TlcSortSeq TypeMismatch
c875f540b1dcc009f8239bc2ceebd00bfe83a507 NumLe BagBagToSet TypeMismatch
7ecc621a9d301ae4f6aac96e3520352ff96b173d NumLe BagBagToSet TypeMismatch
57f061aff1afb8f1c4c4a46bf45cf67ac497cb20 NumLe BagSetToBag TypeMismatch
09da66995838557fe19b80b8a661f426e2497aed NumLe BagSetToBag TypeMismatch
752e8eec97db6138f1a871f991ee8d8c11614e03 NumLe BagBagIn TypeMismatch
4e42b123159b8fb8f41ece80e61d5bf356e79e20 NumLe BagBagIn TypeMismatch
54a854fca1a22adb638d78945351facc1bfa98a5 NumLe BagEmptyBag TypeMismatch
881898c5fcdfdaf038ed42f426723aeb9afe8c21 NumLe BagEmptyBag TypeMismatch
bbaa194d53c1eb0bdb588244b1ff620ed312a567 NumLe BagAddBag TypeMismatch
81e9e62c084adfa3bd1b9764968516becac4cdac NumLe BagAddBag TypeMismatch
40843aca9a3394728384ed5fdcfb70555e267660 NumLe BagBagSub TypeMismatch
0c7c565add41c8cafd84bffeeefbafb3e0320175 NumLe BagBagSub TypeMismatch
b43bc22661280159ab31d05bbe9cda6721f5d7e1 NumLe BagSubsetEqBag TypeMismatch
f5b4424d53514f6fc3640f7b3d346741915c4fcb NumLe BagSubsetEqBag TypeMismatch
1f3a4a801d6a8e24a1c63aff947b8443d6a14ad6 NumLe BagBagUnion TypeMismatch
5e0ec21cb37cc02014e79900abdd53bfbcc34da7 NumLe BagBagUnion TypeMismatch
30071c21b444ac0919044250dde22936518e37fd NumLe BagBagOfAll TypeMismatch
dba8f2eac8c3ba5c19d8a25a14ffcd9ac9d425ab NumLe BagBagOfAll TypeMismatch
092e92ffd7dc61784a205e6424fa8d53516b1aef NumLe BagSubBag TypeMismatch
060e495a6aef1409de88e0a7f68d3e048b4732c2 NumLe BagSubBag TypeMismatch
9c6100a9cd9bd0cec7e99aae4ce37288294d5519 NumLe FiniteSetsIsFiniteSet TypeMismatch
a774bfb9e960a26d05f1cfc148075011bc5a9a7d NumLe FiniteSetsIsFiniteSet TypeMismatch
63c803e707600fe46cfced8f114bd1af1ba70fb3 NumLe SeqTail TypeMismatch
217f05d36e40b78da22097f8ba742bc2c57be8db NumLe SeqTail TypeMismatch
d3ad715dd188087ca46c10caed416f39f519bc91 NumLe SeqAppend TypeMismatch
f5ceb95df4daec5d41fb7a848329459b673a9d94 NumLe SeqAppend TypeMismatch