Index

Skipped feature combinations by case feature NumDiv

Id Case Feature Plug Feature Skip Reason
1f4270f599ad728bddca61b4b9f3e348f8de84b8 NumDiv BoolTrue TypeMismatch
cd8ed0786aee173240e76abf40502937a081310f NumDiv BoolTrue TypeMismatch
307c0e94784828ceb8a4163994595988f1b3e321 NumDiv BoolFalse TypeMismatch
417292be9f9e4308bb4c0cd2eb349b422f5f8ffc NumDiv BoolFalse TypeMismatch
b39cf5b3d340ed4d0ff10f3464266803eb62f7bb NumDiv BoolSet TypeMismatch
1396d0fb92d3c6a9bcf024b274feac347d4594e5 NumDiv BoolSet TypeMismatch
1384813249dfdf7e4fa125911959dabd9263f570 NumDiv And TypeMismatch
28630dbfebf80f9f264e2c24324869a2f346deb9 NumDiv And TypeMismatch
63590581afd57c5fc550959a1b08768b003f14d9 NumDiv AndMultiLine TypeMismatch
01537def7753049648bde221e573d35354b6ae08 NumDiv AndMultiLine TypeMismatch
ab567b7ccf3d31c33b7fa92afff0668aac375da3 NumDiv Imply TypeMismatch
f40ef38fa234714857687bbd0b21fcf9cec829db NumDiv Imply TypeMismatch
084c12f761c11b428b29146bab956c3801be6023 NumDiv Not TypeMismatch
7769562eafd996f80acef3bee031e1718e3ac5ea NumDiv Not TypeMismatch
d4dc8744ee8443433ce5639d4cd2f1b1d9c82121 NumDiv Or TypeMismatch
450a6c5d047c72c3cba921e7ffd951efc0794b9c NumDiv Or TypeMismatch
5aad8f12057ca01b9206d033a85bcc6c13bfcec5 NumDiv OrMultiLine TypeMismatch
f593d626293a92f35708049f992618f0401d3106 NumDiv OrMultiLine TypeMismatch
85948da5ae93157ee264e45f3c3a3275fe5ba226 NumDiv AndProp KindMismatch
b06b81b19f7b36b68673e3a8a013f4cc90b4762d NumDiv AndProp KindMismatch
e00827d415de197e2591763601fabd65d9629645 NumDiv Boxed KindMismatch
0bed06a62b825aa33d48eafbb96a5c98c3e91017 NumDiv Boxed KindMismatch
3e065c2b1d2e88052c6fa096f820ecc658007472 NumDiv Eq TypeMismatch
c4e9b7f344da5223f0fbfb8b4ee26ae076f9ca01 NumDiv Eq TypeMismatch
4d6f79f49cf5e09827a15ba4df5ec3dc20b8b070 NumDiv Ne TypeMismatch
bc1487cae8f91acb72332bfc84c80349355046b3 NumDiv Ne TypeMismatch
704ee53500bd87c4c66c24c977085eb42257c101 NumDiv SetEmpty TypeMismatch
6ba79ae832f5ab9e27f5c9589285e3f44eaf6af9 NumDiv SetEmpty TypeMismatch
9d8a27cb425623794eb69c1fcbbdeb04445c20a3 NumDiv Set0 TypeMismatch
4d28a5b584192d68c74af7573085f3a08e606729 NumDiv Set0 TypeMismatch
4cd8e6395f9d2cfce3cfbf3cb2c90d49f5d83b9d NumDiv Set1 TypeMismatch
c9b563ac12a6f436e9e711e87959639fe96bb327 NumDiv Set1 TypeMismatch
719d69a0ef27dd6c6af4a6c58507a6659e2e2db2 NumDiv Set2 TypeMismatch
210ddc739151755b82435fe89695b3dd54e5b448 NumDiv Set2 TypeMismatch
56655cf3e5f604111d64fb53f16eb135ce2f4624 NumDiv Set1InDef AlreadyCombined
bdb1fd7fe494ba403707d544447e30d827ca7518 NumDiv Set1InDef AlreadyCombined
24cdc6e4bcfbf23f103d142c4f4eb196dd130d83 NumDiv Set2InDef AlreadyCombined
63af5fd2335123107de527b6b28709c0aff67c54 NumDiv Set2InDef AlreadyCombined
7a5fde3f63acfc509412979e32a44babb5b9e06f NumDiv InDef0 TypeMismatch
57e03d6c1bc098215372fbd63dcd8bd51f64440d NumDiv InDef0 TypeMismatch
74aa527a46a30e9b7d5f5ebf0f268a2c7c4dd58d NumDiv InDef1 TypeMismatch
d27b8aabed3880f1b04871dd3ef91e737198bce5 NumDiv InDef1 TypeMismatch
07d0c4804e996acfdb412412887d6709fab9823f NumDiv InDef2 TypeMismatch
0543786fc1de6060775afcd1a145c4e60ebbf00f NumDiv InDef2 TypeMismatch
0f36af2d9367b485774e321cc253d97b7fa3eee1 NumDiv Fun TypeMismatch
91a66a96c57ae60f2b37baf71961c42c7f63b9ad NumDiv Fun TypeMismatch
6c48ca7e90f6f7a08db0dd3e096220152511eb85 NumDiv FunInDef AlreadyCombined
282ab265ffb1c567045669391c0a34cb0cefba41 NumDiv FunInDef AlreadyCombined
6d028a20b88dd69acbd65f7ba0b48a542290be32 NumDiv In TypeMismatch
79b6d2da5eea500dfdc9bc75d518efa82d98f50c NumDiv In TypeMismatch
c3ab0466b48f9a271e5de4c688b2ac64542e1771 NumDiv NotIn TypeMismatch
6117138379bf00eab3b0b059e1af6e0475aedb7e NumDiv NotIn TypeMismatch
8fdb05f7b7e203d4751084ad783d193410291311 NumDiv Exists TypeMismatch
0d7bba181b14f8c27b7daf9f67cb696ceb276c5c NumDiv Exists TypeMismatch
a73d745a28a3e232bb3490b7828e1b383be7f15b NumDiv Forall TypeMismatch
adb025f8210f712a06b2cb23b5d3af18755c386b NumDiv Forall TypeMismatch
0ef01ad032f4574606ccf9a1300010d9b5add95f NumDiv ExistsInDef AlreadyCombined
10a7c78b64bc82568a8b3917deaa059468482ed1 NumDiv ExistsInDef AlreadyCombined
04a593120eec1c97763d085f52947c7765e237e1 NumDiv ForallInDef AlreadyCombined
c3a2ad80144a1a9d858fb0eecddcf0b0f8633fe0 NumDiv ForallInDef AlreadyCombined
9ccd6e3c4e5baddc1b2e28035cb42c5beb69c1e6 NumDiv ChooseInDef AlreadyCombined
386508ed94b45c395da0c64f6e36a57a10f68d9c NumDiv ChooseInDef AlreadyCombined
1ddfa5153aa171dc205b263c9d2f1864d158ac97 NumDiv Record TypeMismatch
1c829e207c0e008858883db5e2f32b7a8625347f NumDiv Record TypeMismatch
2849c7d27a07e377b2d987a56baa73a9f31cf9c9 NumDiv Tuple TypeMismatch
64e68f73610e8613e9a06e98b691b15650c1c2ca NumDiv Tuple TypeMismatch
f5a97ce5e1713873195608063bf962235bfafeac NumDiv TupleEmpty TypeMismatch
9b7e37362e8c8dd073bde48b8e30c163758b3115 NumDiv TupleEmpty TypeMismatch
86f6a866ec3d54f029c308c03dbdd905635d69d1 NumDiv Except0 CanNotBePlug
3091e6e1c7ffd4fc025cff6028cc161568294c26 NumDiv Except0 CanNotBePlug
0d4b738187ef7b0a34f9fb47cc756273cc330103 NumDiv Except1Fun CanNotBePlug
56acf04bda77beb8279221a1890d84b73b4bbf62 NumDiv Except1Fun CanNotBePlug
c2c9081ab6e2f2e570f31a135251ed6312cc3922 NumDiv Except1FunWithAt CanNotBePlug
2ab7c435189ab71399c62e1b416ac578589bb6b6 NumDiv Except1FunWithAt CanNotBePlug
07c8db69241a89e32f5d9b71b4798f157ddec218 NumDiv Except1Rec CanNotBePlug
005b7379af5c5ffa78795b03f6cd9425e7f3de24 NumDiv Except1Rec CanNotBePlug
8a64622d155be45ccf8bfbc0af6a9142139abc60 NumDiv Except1RecWithAt CanNotBePlug
5a9e59cd9b55154f672dbb8c708a70eed89739f8 NumDiv Except1RecWithAt CanNotBePlug
e206650f9114996c067d4908c1da52b18e02d0a5 NumDiv Except2Fun CanNotBePlug
d572d170bfe2459cc6ddf4264d30e2a372591714 NumDiv Except2Fun CanNotBePlug
26ab30e45d8ec5257ec9d182a80b7195992cb46b NumDiv Except2FunTuple CanNotBePlug
ca1e7fb30b94c75d6ef72582c5be708499810835 NumDiv Except2FunTuple CanNotBePlug
112f78de4997f63e7b702e8da552952398d618b3 NumDiv NumGt TypeMismatch
c2d66813b25c1c45315dbef0b920abafa7bee15d NumDiv NumGt TypeMismatch
4986eec903c7f905d7b92958a6871b016ffd45dc NumDiv NumGe TypeMismatch
1b5c7fd839268c9d66f30d41028b1ad1bd07b572 NumDiv NumGe TypeMismatch
077b0d969d5484294a266ccc196382866781a222 NumDiv NumLt TypeMismatch
41834506f505bd77f9462419f3ca78058a0826d0 NumDiv NumLt TypeMismatch
8d0b1be114ff5cd99f5d74b4ffa85dcc52e45991 NumDiv NumLe TypeMismatch
d55fdf3dbd5af5ed9c16d70e006039dd8176adf5 NumDiv NumLe TypeMismatch
8d16749802e963c5c64a049c144952edbe6d3cc0 NumDiv DefFun TypeMismatch
91382e38c88cf8c0b9a7b99792afd3249ba99ba2 NumDiv DefFun TypeMismatch
9ddd61dd6b22aad5b4be12a1597af4d2b1d3ff2d NumDiv LetDefFun TypeMismatch
06daa1e240f07a0693e3c88a96a2419baa491bc7 NumDiv LetDefFun TypeMismatch
860b8c07419ecabaeb618400c9199b4961c0c01a NumDiv DefFunRecursive TypeMismatch
a0021d1bb18ca406fa364be8933a72244b0914cd NumDiv DefFunRecursive TypeMismatch
bbc73d8f45f1fdb9da95b9da97785c2f4960bad4 NumDiv LetDefFunRecursive TypeMismatch
436abfbf2b3125863830484c2f2c0922f04047c4 NumDiv LetDefFunRecursive TypeMismatch
125644eb1471c52c41120c5ae804c2966aadeaec NumDiv DefFunInDef AlreadyCombined
544ed9a8b9c2ac3183208850164b855b9648b2dd NumDiv DefFunInDef AlreadyCombined
38693dc34adcf4fdfc8250a93baba3944d875924 NumDiv LetDefFunInDef AlreadyCombined
01bd1652626930aae4374007b775ea856fd1142c NumDiv LetDefFunInDef AlreadyCombined
feea4ee51302fda65f1a3977280049fb500d2664 NumDiv VariableViewExclude VariableExcludedFromView
3878c98b293e91f92f35d902f494342c25562108 NumDiv VariableViewExclude VariableExcludedFromView
7eaa49729b89c968dbf764cae326073b5c136efe NumDiv ConstantModelValue ModelValueCanNotBeUsed
34081c51f1a32c6997b678de5318f79f0ef9640d NumDiv ConstantModelValue ModelValueCanNotBeUsed
d78f36c6091a4ab7807e17d906e205be780b0af6 NumDiv Enabled TypeMismatch
35e29f669ebdc41d0ddab171689812372f2feb62 NumDiv Enabled TypeMismatch
9a07cb9eba5602958add835c7520b92d35f825cb NumDiv Assume AssumeIsNotEmbeddable
69b93ad7aff01aca6f38b2898fd3ef86c174d49c NumDiv Assume AssumeIsNotEmbeddable
448027d210b1c6d3fd5c31f1335c63a344893cc1 NumDiv AssumeNamed AssumeIsNotEmbeddable
418e582470f18176b9d6443f9966ed84ec176cf2 NumDiv AssumeNamed AssumeIsNotEmbeddable
908fd685efe33d2c35565e1100153ee6bad163c1 NumDiv Lambda TypeMismatch
38c3468b328dc1ea0ad30cb549cc3e019592cf15 NumDiv Lambda TypeMismatch
4cc7e87354b37764a85513fb03956141128614f2 NumDiv Cross2 TypeMismatch
21ad4b3874d1556c7c022df6573a47b9878a904f NumDiv Cross2 TypeMismatch
9166eaa5bc43d3890c5006f1a9f1b8d8a9842b80 NumDiv Cross3 TypeMismatch
342bda3d1dd350bd28f888efbdfe8a7885da4e87 NumDiv Cross3 TypeMismatch
879b73f12746772132eefc2ebed43e930302a0db NumDiv FunSet TypeMismatch
80e9c75fc7a3a0a73850658d55944f4f22a625c4 NumDiv FunSet TypeMismatch
25b65d44e1d799a0b98b020dc8c9bd5d2ca83b92 NumDiv RecordSet TypeMismatch
44c97d63237046dfede57465069ec9d7e1255069 NumDiv RecordSet TypeMismatch
da2be261b879053fc5181435b62bf8fb93232add NumDiv SetDiff TypeMismatch
971a32a91cffb68b9605f62d4629a5cea78a6d64 NumDiv SetDiff TypeMismatch
5f71c6b27c146f6dbbea2d3694ce77a0d0ee4677 NumDiv SetUnion TypeMismatch
c01822862309087aefbb6b26b3a82fd051a9e2d3 NumDiv SetUnion TypeMismatch
918cc3620d6e8d8522006112188b7b94f0526c3f NumDiv SetIntersect TypeMismatch
843ff97f41d46123c6a8fe907bfa50ab0583a7c3 NumDiv SetIntersect TypeMismatch
6763b73fe314c0e075d3dc62c0b1c0784d6fe648 NumDiv SubsetEq TypeMismatch
ac89b837d214bfb8dea739ecac8199b003fdcba3 NumDiv SubsetEq TypeMismatch
bd5d690e70866cff9480f62fc1ec8c6f169137e9 NumDiv Subset TypeMismatch
f641270ddb1b796f46d955d5dfd6bd532fa3bf3f NumDiv Subset TypeMismatch
272577bf6cee80943fb6b07b6ae68c91d67c4bd9 NumDiv Domain TypeMismatch
c07f5d8cc09f9239851b96738ad4d2931cdb9f72 NumDiv Domain TypeMismatch
35701d2d9970804ab94faf66505c420105d61e77 NumDiv Union TypeMismatch
51dcc0e418e1e72d718ff923bd79d7d549581da2 NumDiv Union TypeMismatch
1b53c641703e70f9be1b67c1988447e34fe9b9e1 NumDiv Unchanged TypeMismatch
8fc6767d7b91110e23229d587b65209b508e786b NumDiv Unchanged TypeMismatch
4e9bbb0fb1984ac1ad4d341bd92bbaa936f985d7 NumDiv Equivalence TypeMismatch
926b3c7db493c937188f58fee366bd9f2823c72b NumDiv Equivalence TypeMismatch
79a4e8d8d1e4196215806a99bce10cea111a9006 NumDiv StringEmpty TypeMismatch
3cf90d362a7bdff1f27faf501b5a60ffc5737eb0 NumDiv StringEmpty TypeMismatch
2ec600e9ba96114bd3697f4166ea79797208466f NumDiv String TypeMismatch
aeda5c3f46572f6ce109ebe44ad7ff8f4a65cadc NumDiv String TypeMismatch
1ad78f7f100c3dabba4c69c6923a938385826b76 NumDiv SeqConcat TypeMismatch
72d8951a5b762f4efbb79afa9379cb53a6f97f43 NumDiv SeqConcat TypeMismatch
7622a0d7e304bd633f064435b78f923383fe8d5e NumDiv SeqSeq TypeMismatch
80ff9d5e3915fccd0855fa501d17f28e85814f74 NumDiv SeqSeq TypeMismatch
3f0fe1bf5e9f014ef3b1a084f48f9ce531647674 NumDiv NatSet TypeMismatch
b4a7c6d3cfec27dcb762a692c7d2717e6a1de20a NumDiv NatSet TypeMismatch
422aa62ad7b1e849c773f1396a531f9ac9dd5ec0 NumDiv IntSet TypeMismatch
ab6726db98e6ef34a6629ad537c87a58eb962ff8 NumDiv IntSet TypeMismatch
cec787d7cc70a98cb1d9715e61f41149340e77f8 NumDiv StringSet TypeMismatch
df50ba13638d6873d4d7ec2f2975cf20d6a04367 NumDiv StringSet TypeMismatch
317f66a95bb3420f9eccc9973dbe5234aa20bfc1 NumDiv SeqSelectSeq TypeMismatch
262e4c46bbad6c9674bca5702b97d0de1eae8b0e NumDiv SeqSelectSeq TypeMismatch
b81f0ec858766b1057fb43cfa7c310c9a012cae2 NumDiv SeqSubSeq TypeMismatch
0452d1bf7a88fe24dc09fbf8fb35238dbfe1074f NumDiv SeqSubSeq TypeMismatch
16c2922618819fb49c25f916ab5d284bbeaf3b3b NumDiv NumRange TypeMismatch
4fd3984546510aa2227287e1132eeaf387571c0a NumDiv NumRange TypeMismatch
4d0bdcacfff16ef744fad42f09f06cf2d5d98d37 NumDiv TlcSingletonFun TypeMismatch
1de540c018d220ec7ebc4ab0e0b9bc9d7cf341c6 NumDiv TlcSingletonFun TypeMismatch
3c263f83474538e26258c4a263e1f6845020bb4e NumDiv TlcExtendFun TypeMismatch
1a717b6b0dfdc1cfc1185a8f2f8d08c270319091 NumDiv TlcExtendFun TypeMismatch
68b4c5034b1cc03b15c8745a10a9645421b2149a NumDiv TlcPermuteFun TypeMismatch
e58fd26199afbac7cbfe12fb3b26c1516d641dea NumDiv TlcPermuteFun TypeMismatch
5bd754497a95507fe686757dbb9ba3d20444a833 NumDiv TlcSortSeq TypeMismatch
724e93dab54cc7100e35737fa4ba025ca16a9590 NumDiv TlcSortSeq TypeMismatch
a11921db0ac95f4b2ef351d6c1d1740fe8242222 NumDiv BagBagToSet TypeMismatch
b81a000080c55368df090e534f46e202a2dc2ce0 NumDiv BagBagToSet TypeMismatch
0202f716e65c6b4cf67b05d00aa8a5657d6aced1 NumDiv BagSetToBag TypeMismatch
4d8b79801ef76943b1e1e3efb86e147e588a2a09 NumDiv BagSetToBag TypeMismatch
ea4b46464bc736bf641aba79b7f1e386c1475bfc NumDiv BagBagIn TypeMismatch
32a9e92e7b6c77fa05da49bf76038a7ab7f8eee4 NumDiv BagBagIn TypeMismatch
c90de4781a4d6fbc8a73c1562900a33b4606b4d9 NumDiv BagEmptyBag TypeMismatch
88e856a0d2afc4eeb9d223edd8a61e1f0d1119a0 NumDiv BagEmptyBag TypeMismatch
ee0ef7b0ce8ba2dd993499dc2b14637ebfd2a834 NumDiv BagAddBag TypeMismatch
73054caa58efdf961f0c4bf5650386aaab645d69 NumDiv BagAddBag TypeMismatch
59589e5abbd0f294218458a19d878e4830473751 NumDiv BagBagSub TypeMismatch
420cfb2f6989ff226350ba0677d3bf37940388d0 NumDiv BagBagSub TypeMismatch
3b8c2eb014cd277738b89eaf53264cc7f40a3e9c NumDiv BagSubsetEqBag TypeMismatch
dc35cd44a1ef5aa9e53fe3c63fdea775240ec3f0 NumDiv BagSubsetEqBag TypeMismatch
7805f241234ddbb59826f49ec8cdd2205a84af8b NumDiv BagBagUnion TypeMismatch
9f61ee94276e4bb5bc867ccf52c940c37bfdc4fb NumDiv BagBagUnion TypeMismatch
4e774971dbb62d235127e06497bf879c65a11569 NumDiv BagBagOfAll TypeMismatch
2ab4d0c8ede42b49bb304e1f5e00b940d59d7580 NumDiv BagBagOfAll TypeMismatch
e91dd4d80e4a209a4a30b5a2cafd1cc2c5385ce5 NumDiv BagSubBag TypeMismatch
5cca4fbe0ad0dc8ef904cc815151aceb9c204026 NumDiv BagSubBag TypeMismatch
e00bb5a82c22a3f02dcb21c8874859d4d2a88e9f NumDiv FiniteSetsIsFiniteSet TypeMismatch
ae97b600971a941c81a840dd22b69ffc73383862 NumDiv FiniteSetsIsFiniteSet TypeMismatch
015210804d806c2e7fe141f42daf7f51741087b3 NumDiv SeqTail TypeMismatch
0ce399c4334a76553f6f12ddda18d57ea8628556 NumDiv SeqTail TypeMismatch
72074fde83f2922ac86195fa17291e40630fc84a NumDiv SeqAppend TypeMismatch
e94bfc86adcd564a1be7c8e63af58175cdd49f08 NumDiv SeqAppend TypeMismatch