Index

Skipped feature combinations by case feature NumLt

Id Case Feature Plug Feature Skip Reason
147a81649ff652ee6cb963824cb3bbf5d96e086f NumLt BoolTrue TypeMismatch
cdcbf630d7ac6abbc90ba14465c342595735ab36 NumLt BoolTrue TypeMismatch
8611f5b25d7d2ebf32f890cc320ac778c1cd3cf9 NumLt BoolFalse TypeMismatch
20a70d92ba610a390e8b3c80dc8593d873403e7a NumLt BoolFalse TypeMismatch
0fe1865b7d32626d98518a2b952ec1671648a4b7 NumLt BoolSet TypeMismatch
ec531e06324bf55d09e0f5775930bca41fdad2a9 NumLt BoolSet TypeMismatch
f56400716fa43f9950d9916906637fe32a9ddf1c NumLt And TypeMismatch
387ebf28f8ecf6faa58c137c495c0fcdc9969594 NumLt And TypeMismatch
a752fd2f847e91f69512d5389df27cd2601df2e8 NumLt AndMultiLine TypeMismatch
c17bcb3b1fae6c7cda325a6464454c8bec3c66c4 NumLt AndMultiLine TypeMismatch
a6450bdf647cc5b9b8eca1aeaed63a4d82c688e0 NumLt Imply TypeMismatch
b54867f277bb40203ebb174a6faba50b54f4841f NumLt Imply TypeMismatch
6d1d76d898ed691b6ee7fd5f0c963efb3571bab8 NumLt Not TypeMismatch
b3a5ca87e4a81d6e212da4dd15b8ba61f5464927 NumLt Not TypeMismatch
dbb63b58dd4e783011ee071fa097957ee94fc455 NumLt Or TypeMismatch
166355420a33a92e5aafe116407441efcb9561ea NumLt Or TypeMismatch
ff4761b592ebbdebf8e552ec0dc62ec28e3631be NumLt OrMultiLine TypeMismatch
bfa21c260374648c718777a56f19ffd881dbca47 NumLt OrMultiLine TypeMismatch
efadcf864d7265665dc6d78c63d7d37c94c8567a NumLt AndProp KindMismatch
af64256a3b4bf5ac739da4bea4c2b86f08b6df5b NumLt AndProp KindMismatch
c19c7b547f5fe6d19dfd23bf8c9fe2b63c1b89f9 NumLt Boxed KindMismatch
5f8174ce3e82a00d6a2c4468563af31ae1255dad NumLt Boxed KindMismatch
f8308dd7a1e908a5f8888a0e5c4bd74e922b1bc1 NumLt Eq TypeMismatch
259ccc9c1355f1adc6a19ed62f924c77ec48d762 NumLt Eq TypeMismatch
c5279b170c9624837a994a00a2f52fb6dc687727 NumLt Ne TypeMismatch
0b94a4388b4839488e6af5c75adf53cfc35970eb NumLt Ne TypeMismatch
c19c608542460a81e971833d6ecdbf422d4b74ad NumLt SetEmpty TypeMismatch
115c0ab73f62f22032703d8241244af4fd7a1681 NumLt SetEmpty TypeMismatch
62f9e81f1ee4a45335f6546dbad5e1d1d03f0356 NumLt Set0 TypeMismatch
96e9edc3bc026062adee8eb117d7d237efcb1339 NumLt Set0 TypeMismatch
e09fda72600b68e3b063c8bb5ef7acc6728cf129 NumLt Set1 TypeMismatch
47b9c8a052ef443b490d06cf58a302eaa987a02d NumLt Set1 TypeMismatch
e80c0e3ab153bb5ca6d6993ef19be388a96cd323 NumLt Set2 TypeMismatch
e71144a33fd50f87c0a28025b4fd1ed935dc4f30 NumLt Set2 TypeMismatch
451615409b8c451480945ffe8db826f3d588d510 NumLt Set1InDef AlreadyCombined
5ce4c3ca12902ec27304db50503c206f6f93a220 NumLt Set1InDef AlreadyCombined
f5fdcc75ca18646cde28cabec4547f6c3a7a415b NumLt Set2InDef AlreadyCombined
c789e2577b2f2590939af6bb9fcd787d412cc196 NumLt Set2InDef AlreadyCombined
8740538e1e8b1cccd9e26b2544800e8cba676f02 NumLt InDef0 TypeMismatch
b93381e37be86362250cbd29e8b18b84a3c7109e NumLt InDef0 TypeMismatch
85bbf518429df17867bf048801b013004847c6c9 NumLt InDef1 TypeMismatch
b1450f06d8af14cc8ad2fdd935d419f75d4ac0bf NumLt InDef1 TypeMismatch
46d01a80c2cc9b762008bca8a49ad10aa32cc96b NumLt InDef2 TypeMismatch
2cc8c9adec5f183fc447a013448d2b9fb50f295f NumLt InDef2 TypeMismatch
f5501afec9e877fdb2e37d329f173019bd5713fd NumLt Fun TypeMismatch
c4071459214bb15245f1b8f81def0a419d287ebc NumLt Fun TypeMismatch
3b85d9ff004b980ee5618a8bb402df0d6c757c27 NumLt FunInDef AlreadyCombined
590e14660feeee7494abcc2b8ef3dab5d96bbe95 NumLt FunInDef AlreadyCombined
91b8357b0ffa8aa57fcec42fd3ab5ab41b8c6d4b NumLt In TypeMismatch
96fbc0cb9290cf8dafa7fc5c3d496f8f7a261c64 NumLt In TypeMismatch
b15098f9d7753ec7545a48b04cf3aee6a2560c05 NumLt NotIn TypeMismatch
9eb6ed4915b1d2820c4f6b0cbf3c5c63d5a829be NumLt NotIn TypeMismatch
4f630c183c5db2cbdc1105c2b353931548482c19 NumLt Exists TypeMismatch
e548c0430a7212b9d02c77e200fa8f3f81abb9e7 NumLt Exists TypeMismatch
5b03279c887f7647b7bf2f9198ca7da23f049f01 NumLt Forall TypeMismatch
98ab1a6130aa4fa75c57b25e812bc065722c066d NumLt Forall TypeMismatch
3eca747191bb68c2addd9b4d81b485bc6ace0d4f NumLt ExistsInDef AlreadyCombined
0779b03e0d0df28789bf8a8113114f4cc54ebb97 NumLt ExistsInDef AlreadyCombined
eb66dd4295956e28fd64fc3649ae5339d136534f NumLt ForallInDef AlreadyCombined
86405bc57928116fea8aae648305fd4b2ac3afcc NumLt ForallInDef AlreadyCombined
60afa1754416edb789baaa710a8dc0d2a2f5afc0 NumLt ChooseInDef AlreadyCombined
55aca628689ab4761e65453ff419c490220f47c1 NumLt ChooseInDef AlreadyCombined
a613928f281db157e91887035a1769c173a71b51 NumLt Record TypeMismatch
be1e6afe6e4b7ab6e69b3b1eb760c4c34cdda533 NumLt Record TypeMismatch
a175039f4bdb93140661dbe0b4c9292026de4124 NumLt Tuple TypeMismatch
963f379fce3ed1ce1f9f266109781da6f3df22ec NumLt Tuple TypeMismatch
fe2e78ede0689c661479ddfc5003c4fa66b4c54c NumLt TupleEmpty TypeMismatch
fb670e1957a90c7f63e2fa061293c8df66ab641a NumLt TupleEmpty TypeMismatch
f9863d4e8af5040d43ea465aeccc3250c432a336 NumLt Except0 CanNotBePlug
c89505880eda8b07663d4003830edd370c3fe9ba NumLt Except0 CanNotBePlug
6035ffc79ab1b9921b8a9b7051c8d937cac1c5eb NumLt Except1Fun CanNotBePlug
e779176caaab47e21d6d7c7e1aeadf6840a9d07a NumLt Except1Fun CanNotBePlug
3c8dd88d026a607a9328d6a9558b0e85b1ea5efa NumLt Except1FunWithAt CanNotBePlug
25e311f46e4e0a77e2cee52e1f4ef58d05ae2050 NumLt Except1FunWithAt CanNotBePlug
596cac2e74e1015f0ba1e7a58a4771ceb6b7e744 NumLt Except1Rec CanNotBePlug
0aadbd172aa6d5119c39b2a6ea903003a9fd6283 NumLt Except1Rec CanNotBePlug
0f004f45d533d1ead70aaf42afd839c2d4cc978b NumLt Except1RecWithAt CanNotBePlug
8a31c4394ddfd1430d3f3875ad32e20ad06ef351 NumLt Except1RecWithAt CanNotBePlug
425104c2247d93b59e5233f40d36a8ef2dbcbf6c NumLt Except2Fun CanNotBePlug
0370cf4741656facb0d56cda69a49dc52b20f3df NumLt Except2Fun CanNotBePlug
4e004ef2aa6a6f01ffdf00c5c3d2fe50dc1eb3f8 NumLt Except2FunTuple CanNotBePlug
7eba5437e26814bdd3b039483ef482d4d5b247eb NumLt Except2FunTuple CanNotBePlug
d03deae60edbc0fb814048c73da8223e92ea61d1 NumLt NumGt TypeMismatch
1f54e17d46a1a5398bb948ffe9a8d94edd9a9895 NumLt NumGt TypeMismatch
3ae87963c4799e4419a6f77364e25192cec6f57d NumLt NumGe TypeMismatch
93cef495363d3b88d40afd51e031e922e0a20f12 NumLt NumGe TypeMismatch
c936e8701fc5594f3ace2a021a2ea4a1f644f8ee NumLt NumLt TypeMismatch
29e09507aad59044ad19e996e195448d89370934 NumLt NumLt TypeMismatch
2cb44b9b774e02878630dbf8281d77dca9a46e89 NumLt NumLe TypeMismatch
3ab361b6972a09cb79b6329aff51029f35ae0e96 NumLt NumLe TypeMismatch
01dea35d1ed39d8c3be52c1446531dae22486cfe NumLt DefFun TypeMismatch
253d1589cc5682cdf4bc652bb533f267ea97ba07 NumLt DefFun TypeMismatch
14e8371b46d92bb02c71dc6d66424706e35af345 NumLt LetDefFun TypeMismatch
137b9c2ff2318756d7a4a66a49b0535711aa50ab NumLt LetDefFun TypeMismatch
6061897d8f1f7bcb455ac01fb7e770f03c723b5a NumLt DefFunRecursive TypeMismatch
79678e931542f157c4cc5e0dbdd07093997c2213 NumLt DefFunRecursive TypeMismatch
c26d37a2bb9fa613a8bae7d98272f1d13dea1ea0 NumLt LetDefFunRecursive TypeMismatch
c110e8eff58a868282b32c748a43fdd9cc18c87e NumLt LetDefFunRecursive TypeMismatch
c0e1e4cc372c3af349e00b9c952886057cfc06a4 NumLt DefFunInDef AlreadyCombined
d959041012dfa2a32354d08bc8b771440a5dcd2d NumLt DefFunInDef AlreadyCombined
7bf57e4d3853ab3c7ee1c098dbfc880a85a3aefa NumLt LetDefFunInDef AlreadyCombined
b52f5908617a6dc591b5be621077af80dd1610e0 NumLt LetDefFunInDef AlreadyCombined
f9bf1bdbf120f857d9cd3a2182d9cbea8a3c82f2 NumLt VariableViewExclude VariableExcludedFromView
b6c6c31b8abf2389b9246549ec2c484a215a7d59 NumLt VariableViewExclude VariableExcludedFromView
5faaeac540cc8ce740603aba2c9d9f559858092a NumLt ConstantModelValue ModelValueCanNotBeUsed
b69f06328821e9091b010c0c05a4827f4240910f NumLt ConstantModelValue ModelValueCanNotBeUsed
45d54e84081cb9f1ba05f4bd56abd3c8fdd3dd41 NumLt Enabled TypeMismatch
a89c2c6e6b8c785c372981a373720921ab55edc3 NumLt Enabled TypeMismatch
c18dab3d569a9f5bdde2cfd87bbe16e9f1cbb3cb NumLt Assume AssumeIsNotEmbeddable
ad93d79a907b5652eee1c5484ee56e6d9fb43484 NumLt Assume AssumeIsNotEmbeddable
58d5f0fb966cc0385ad2722ab8be817acfa044db NumLt AssumeNamed AssumeIsNotEmbeddable
5caecfe45fe313e18b3452239c045264df79a8bf NumLt AssumeNamed AssumeIsNotEmbeddable
c5c3cc88b36f0f86d26b7e2c9ec9a76dde511524 NumLt Lambda TypeMismatch
1486c64ccb98a9c1d12a198e72d4f38db52d1ba0 NumLt Lambda TypeMismatch
6f3d3633ed0226cbf64f05cb8ebfc47edc88337b NumLt Cross2 TypeMismatch
e9392b344fe14902ebece78bd360156d529a7f1e NumLt Cross2 TypeMismatch
afefa045aaecfd375006e923896f2271ffdac3b3 NumLt Cross3 TypeMismatch
5ebf631a522ff6eff33f179a4eec4157fcf70703 NumLt Cross3 TypeMismatch
a8b4d10bede4aaf06e3d28a7f397f71bb82b9df4 NumLt FunSet TypeMismatch
250d994dd1296d89b635a02f63818c9e134d8547 NumLt FunSet TypeMismatch
5f25fd1dfe84c411f27e30729a566d2bef41b81b NumLt RecordSet TypeMismatch
4f6409abad2b2d81335cf3cdf24d879c367851ec NumLt RecordSet TypeMismatch
103e88bd35772cdf03b56b2d8f9eb003bb1ba4c5 NumLt SetDiff TypeMismatch
3752b3e56b1a67cef6ddbed7e4d32906194f78dd NumLt SetDiff TypeMismatch
36af0529c87a54d581ef9d65c2c30bc672396a01 NumLt SetUnion TypeMismatch
3608e9de28c09665a088e74ef18ad19d6bd9498b NumLt SetUnion TypeMismatch
8925e64b9437beee74304c81de4ec50264dbc74d NumLt SetIntersect TypeMismatch
fa35f6ffe70ff4179719fcc0dbd9870b736ee755 NumLt SetIntersect TypeMismatch
520263099328fa9469be3c3884a62049ba67c33b NumLt SubsetEq TypeMismatch
0a73d9fd5ace569026a44a3169577587ab90042e NumLt SubsetEq TypeMismatch
5cef31ea47d933d31beafb82b541c61a47f341ce NumLt Subset TypeMismatch
2455f8ee6ec484ecdb70d074a9050dd9c18a1258 NumLt Subset TypeMismatch
b736ed6487dd6c9809c646dc90956da823003798 NumLt Domain TypeMismatch
ebfd6465933f0797af4906bacd9c38c586cfdb1e NumLt Domain TypeMismatch
53a1bc7c2cfef7273ad5c3735c0cd52d3463d0f4 NumLt Union TypeMismatch
a3cd623782a4fc8dc0833509d40652e0f11a39b5 NumLt Union TypeMismatch
eb6123f1d2362b8999323c3674e15c4245a5357b NumLt Unchanged TypeMismatch
d1effdcd29be9e187bbec7331c38d0436a442674 NumLt Unchanged TypeMismatch
cf4318f359a1998ae6d520eb0ddd1e55e9609d36 NumLt Equivalence TypeMismatch
0681d92eb81cbf153b15eed2ec0d4020b0e2e99b NumLt Equivalence TypeMismatch
2b893dd3318915099ae8a9ae7c6d98ba0dffb9f4 NumLt StringEmpty TypeMismatch
d9cd7ba33140bf8b94ec5e04302679bef36fd045 NumLt StringEmpty TypeMismatch
ddf7f32f5d625a5a9947d604ec9997db203b288c NumLt String TypeMismatch
b797ef1089f607cef59ea3a6f252fdd7b7865440 NumLt String TypeMismatch
0b664720f5e82367f8d6a2d44e3246d9b3023a6f NumLt SeqConcat TypeMismatch
79016c35e42588da3df682f2c9f226a24c215b28 NumLt SeqConcat TypeMismatch
ee65fa30920394dc9f36f8ccbbb4d8b2bb150be2 NumLt SeqSeq TypeMismatch
752f88fd571548822cbff1e930be06b0fab4b6ef NumLt SeqSeq TypeMismatch
897cb75693a68a15c12d97d0a44a3fb973906266 NumLt NatSet TypeMismatch
78536994f9e71e59bda29a7b6d776c451bdb346f NumLt NatSet TypeMismatch
8fb313f67ee25e0afa3f9c3aba12e9e9ff2baeb2 NumLt IntSet TypeMismatch
d86f95fd02107f4ac5a122c3071f92e6b202b60e NumLt IntSet TypeMismatch
93135bd2cb0b447977c9ff05d4eef395586d32b0 NumLt StringSet TypeMismatch
1e923fad47e741a307890f410c2d80e986f14f02 NumLt StringSet TypeMismatch
ec3d14c647d044c3919ae86a1f270907a2509a3d NumLt SeqSelectSeq TypeMismatch
0e7539f924b42ad623e1f003f6140f53cc6c3522 NumLt SeqSelectSeq TypeMismatch
7c140335f8ef47be7b476fc4da0bcb7a99c08128 NumLt SeqSubSeq TypeMismatch
91b5d55733c5f67979a72ff865e5e5751edcd81f NumLt SeqSubSeq TypeMismatch
7cfcdec9dfc77a35c1252a7778d44a4550bfe250 NumLt NumRange TypeMismatch
3c928b541984568b9a8f7d7d182f5ae8b7a1dfa4 NumLt NumRange TypeMismatch
723350f3031b4cac64689115f1274631c4d38453 NumLt TlcSingletonFun TypeMismatch
8134c3704f0b7939fd2eaafcf235e32d1abbc30d NumLt TlcSingletonFun TypeMismatch
413013e86192f30389aca2fec80fd1a583b0cfda NumLt TlcExtendFun TypeMismatch
6768c7898ffb75aacb859a5061e2f66e9ea674d4 NumLt TlcExtendFun TypeMismatch
2a839e7f42182c31238cdc6071e5d6a13f7d3b93 NumLt TlcPermuteFun TypeMismatch
d5e1b59f16d1f067c9bb5b3e9151f38e10cfd622 NumLt TlcPermuteFun TypeMismatch
71b892de9861f3ae47ccc28d5fcc3532904bad59 NumLt TlcSortSeq TypeMismatch
7486166fc512b725bb7f9c40c14a53f23f909393 NumLt TlcSortSeq TypeMismatch
cb0dce0da006717a608bdb49214fbff87e104b78 NumLt BagBagToSet TypeMismatch
27bb4052df373491cd1a013428fc82795dbc8568 NumLt BagBagToSet TypeMismatch
f90930173416172be05a45ba22a5a8d9bca5cca5 NumLt BagSetToBag TypeMismatch
392886f66f467e84798b33a409e108ff866fca3d NumLt BagSetToBag TypeMismatch
d8123d034fa0aa949fba7484ee1db8a2c9a5dc54 NumLt BagBagIn TypeMismatch
ec2ceed36518d009a2329e7465921f690612e88c NumLt BagBagIn TypeMismatch
42e99a74b4a343f7c23e855504ce494270218b40 NumLt BagEmptyBag TypeMismatch
ab0d5bd785654573a828b773ffe18e673b4214a8 NumLt BagEmptyBag TypeMismatch
c0a043a92a7f111ef4e481e9d0b7272a96cf8082 NumLt BagAddBag TypeMismatch
84f81757ba29016964c3ba441c304c95f406a340 NumLt BagAddBag TypeMismatch
fdf30c87171a368a8cb8704cfcb3cde77c6eac5a NumLt BagBagSub TypeMismatch
6257b177934290f94f44b3c699bb8f5783321d4c NumLt BagBagSub TypeMismatch
e415eba032954434f944e006742f77a6327d9d42 NumLt BagSubsetEqBag TypeMismatch
24434e60c5207a442cd7e7e546a441130fec5c63 NumLt BagSubsetEqBag TypeMismatch
9d3d3eb49f7d5f9a8c9909ab31845f29cf586ad1 NumLt BagBagUnion TypeMismatch
f0ffad6116bd06e57671997bb3c4d29d31e49e79 NumLt BagBagUnion TypeMismatch
6ee9c883cccbc9c8ec7dcffb92c2ac49b4c020be NumLt BagBagOfAll TypeMismatch
f381a2cb2e90e075caeb2fa2b07b35b7c21aa30c NumLt BagBagOfAll TypeMismatch
d875ef2f60e69ca7f4c05462f8f87b85292aa039 NumLt BagSubBag TypeMismatch
470796878cd77635507356b5f2db32080feb1145 NumLt BagSubBag TypeMismatch
4ed2b61dd9d0816b548bb8a2751539ad408dbd9c NumLt FiniteSetsIsFiniteSet TypeMismatch
f8bd9f909cef3ef35e87b05ba1b12a979a0044b0 NumLt FiniteSetsIsFiniteSet TypeMismatch
d0a7ab1471b09410eff7b457d5c68f2435a34608 NumLt SeqTail TypeMismatch
d3de4f5bc21704da3e0568bf07c2ebed62365413 NumLt SeqTail TypeMismatch
ad95685f23e41524e3a51c09eff641a28179ac5c NumLt SeqAppend TypeMismatch
b808e3760daf69af68b32f3d95c5768832abcf3b NumLt SeqAppend TypeMismatch