Index

Skipped feature combinations by case feature NumGt

Id Case Feature Plug Feature Skip Reason
992dc65c60b12907866e66a3baccb7db7fbd89c8 NumGt BoolTrue TypeMismatch
066e8eb01ad56cbf3b090953e233eec8cd4441be NumGt BoolTrue TypeMismatch
7fa3e352818da653abc8d1ce20773c06ebc565b8 NumGt BoolFalse TypeMismatch
66a7f912d7103d43ffdb34d699d7bc22f6bca725 NumGt BoolFalse TypeMismatch
0e8cbd593d3f47c6995005c2f8a67dd8a4ee0533 NumGt BoolSet TypeMismatch
ae13a3ab94d8e92ab1de0bd9ad68fb7fa139b7cf NumGt BoolSet TypeMismatch
2f786693dcdf5cae11a51cfb198d811d4d14bc8a NumGt And TypeMismatch
11edf3ae96e29e3eb0f70ee5017ae42727cec9be NumGt And TypeMismatch
79d5cceee6d26d2b4e568e15cc4cb883200b8193 NumGt AndMultiLine TypeMismatch
7290945538a13c0079cfe8ac2196426110259de0 NumGt AndMultiLine TypeMismatch
9cfbb5cc6283f2d2d1b9a381dee0562abba3931a NumGt Imply TypeMismatch
8b580e73d408895bcc00529ac92c2110eb905de1 NumGt Imply TypeMismatch
65235854943acf3c5b6d29d6397918544c0d1a0c NumGt Not TypeMismatch
80d5f14dfcf1c7509961e61cc482d43e494baa1f NumGt Not TypeMismatch
8f6839321354da52f70fa19b9ffec1d5f4d483bc NumGt Or TypeMismatch
8c40b798893da9f4cd10443a74b88ec902e62ce8 NumGt Or TypeMismatch
2768b240b02fe3580749ee2966832c4c5c3f9c85 NumGt OrMultiLine TypeMismatch
51928f6384224af87dc0deffd0034ea77eddc025 NumGt OrMultiLine TypeMismatch
b82f43a16c66b59e0d06ff6a159f1670f83ee1a5 NumGt AndProp KindMismatch
96875bba4fca0420338a81ef3aceb68dac8cbb73 NumGt AndProp KindMismatch
225ce85a070855f831cdf1fecc891c90e84dd25a NumGt Boxed KindMismatch
3da0296b190306e6d47f63e191e5ad4d12058ca7 NumGt Boxed KindMismatch
f543171ca993b174e1b760177ef99475f8cf3ed3 NumGt Eq TypeMismatch
34ad9147c04f0ed7dec26d876df59537b400d626 NumGt Eq TypeMismatch
fe79d918ff18fd161fac73f53af8885d908b6163 NumGt Ne TypeMismatch
386cf95d3ef172a28776930335a43626cfbb62d0 NumGt Ne TypeMismatch
2a6f860ce407bc64819a9ef01ef6cf40d70080bd NumGt SetEmpty TypeMismatch
f6c78fb7a19ba10affd0726c29797ecccab2c289 NumGt SetEmpty TypeMismatch
64b57e80a2bcaec705ec905db9c2e25ef2402c63 NumGt Set0 TypeMismatch
31de4fc409bdcef43029a789ba5fc15775d063a2 NumGt Set0 TypeMismatch
59d52c599544415fccad1bfd7fcb93662dac7a91 NumGt Set1 TypeMismatch
d9abda18ec1f91335e5eebe11b2fadabe1be6056 NumGt Set1 TypeMismatch
235874e8f75accbe527a5ee42c5dbe225ff1a2fa NumGt Set2 TypeMismatch
562bfd831146b2ec9af71772b79825745ecb9673 NumGt Set2 TypeMismatch
6ae9861f255220189be551977f3907aae6113d86 NumGt Set1InDef AlreadyCombined
60ff3e49505c5b92f789daaed3a45f9f06de6811 NumGt Set1InDef AlreadyCombined
a8faae6afc82d213fe758a375bdf206092ae640a NumGt Set2InDef AlreadyCombined
139fdb598b7fc66842f2216ac8a20e72edb43f32 NumGt Set2InDef AlreadyCombined
bf1e3a137975b569c43c1280bfaad83ffb807149 NumGt InDef0 TypeMismatch
54ac319c2c928c597852c7b65d1b3d36a199239b NumGt InDef0 TypeMismatch
df23d8eaf80f2ba608209910db3fdf7f7281b090 NumGt InDef1 TypeMismatch
be8e8d6a66c62a76399403de0bc406254d2c50c6 NumGt InDef1 TypeMismatch
8baa7e35f330b116c84c30b472ab800f8afce0ad NumGt InDef2 TypeMismatch
d4ac115aa96379e028242f06ce32b2c853d1c2cc NumGt InDef2 TypeMismatch
502c8d28fc0a60487d2606dfce9342d43a4d50f2 NumGt Fun TypeMismatch
0385525ec2f0ed8ad19c952f3ee7421ba7828641 NumGt Fun TypeMismatch
f075e76007b8eab1c14771d48b6d72207622672d NumGt FunInDef AlreadyCombined
ba388329a9203183499da08d85ff363cffd21aee NumGt FunInDef AlreadyCombined
3ba908ab774bc35322c442df60eaef708cfedfa0 NumGt In TypeMismatch
0d5b535a7bcd51ea6a24ea16ef8ddcd46e5ccaa3 NumGt In TypeMismatch
361282be68202040913db47abdebc99ff9ce48b5 NumGt NotIn TypeMismatch
434a6885757d25445986d90a40f2f39175ffcaf6 NumGt NotIn TypeMismatch
619f720fddd83809c9bdb58b1562899adf256e57 NumGt Exists TypeMismatch
9a3391f70461370af68d1aa16d3fd581ce0753d9 NumGt Exists TypeMismatch
b6ee12cf4a0cb46b9e9611a07d7cbe4f435a1246 NumGt Forall TypeMismatch
fecf710b7545896870d223eabd49b74a2f884c24 NumGt Forall TypeMismatch
c67fafdc800dc286946a6ffa457d20199c4c3453 NumGt ExistsInDef AlreadyCombined
97ce0c38eabffc71adb71974d71d9356680d2fc4 NumGt ExistsInDef AlreadyCombined
faaf3e4446f4fbf4978d28474a65e5a22fa1bb07 NumGt ForallInDef AlreadyCombined
491a650f264615c874f2d4d03fe8c285bb7fb78f NumGt ForallInDef AlreadyCombined
abdb196237cbe20a93de026ee2664ca694f1fe84 NumGt ChooseInDef AlreadyCombined
bc0d20c89907f240cebe654d8fb1dc79f8020931 NumGt ChooseInDef AlreadyCombined
a6f694539f080276475eac9ede3eeb0364b1f718 NumGt Record TypeMismatch
fee11e22d04d0739fb538ee9b677440d94ccb00b NumGt Record TypeMismatch
ade75106d293f639ea9f1314a7dc593b3c1777b6 NumGt Tuple TypeMismatch
edad7659207274943b553048568ee1b3d6474e25 NumGt Tuple TypeMismatch
77bbf28e32945c31b9b4675cb8416e696cba9a4b NumGt TupleEmpty TypeMismatch
a6827a4ce53fdb903b62060f64c093182eff0982 NumGt TupleEmpty TypeMismatch
cbe900df3b3d6e917a25ffa62f2f3d451be39864 NumGt Except0 CanNotBePlug
395610d7acc50acdd25a2d2994a58e3d91546560 NumGt Except0 CanNotBePlug
1ac9486fdd4dd94aafd2ee0fb800298e288d1df6 NumGt Except1Fun CanNotBePlug
5e7d22e128a41c9a765297115b389815beb49af4 NumGt Except1Fun CanNotBePlug
54231ffe51e3eb231addfdec83d4dff5a891e655 NumGt Except1FunWithAt CanNotBePlug
3d3e34be631cdfef6241247100fe608e82634d75 NumGt Except1FunWithAt CanNotBePlug
e8f2c3263474133a35ab6618a699b0f9f68846ad NumGt Except1Rec CanNotBePlug
d53e56b035ed982a6846d520e1a926306f9bbf20 NumGt Except1Rec CanNotBePlug
e14171e036a8570b7d1fc06d930ccd2797495962 NumGt Except1RecWithAt CanNotBePlug
f6ebdfa38dfefef4868ae2e318166b59cd8eab1d NumGt Except1RecWithAt CanNotBePlug
db734ca5733709aa4d8c07f0172efe4a9321c03f NumGt Except2Fun CanNotBePlug
edc01f4194c25d02ceaa846093baef64b4d008eb NumGt Except2Fun CanNotBePlug
bf83691823fc601a5b9a0148ad6e8bebd4eadf24 NumGt Except2FunTuple CanNotBePlug
0a4a2ab1b0863ed8a997d15378161fcad3478c58 NumGt Except2FunTuple CanNotBePlug
9fa69904f108872fb53caf8b24464175edff30e1 NumGt NumGt TypeMismatch
abab3ce89bb4878089a42606fe3ccaf37ea90881 NumGt NumGt TypeMismatch
8bab8c67c64130bce458209c7d7ee9664d538844 NumGt NumGe TypeMismatch
463665ff1ac5b10277acbbfad8a0c3948cf941f1 NumGt NumGe TypeMismatch
bad272f590f496160ae0bf3552afb7e7b42f3ddd NumGt NumLt TypeMismatch
9b16ed5ec7315bff10fe29ddbd4a31d46e8819a7 NumGt NumLt TypeMismatch
8a96f47b2fbb035738fa0624f071dbca2effa00e NumGt NumLe TypeMismatch
679d5fab4a407b7fc2c8f3e2f00698b46d59e370 NumGt NumLe TypeMismatch
28ebe194515e46d1f6e84b264d67e94c5e5fa3dc NumGt DefFun TypeMismatch
b361f0dd7996904505f2e3a51d342c16dee184b9 NumGt DefFun TypeMismatch
85cf59eff23ee670c5c790f6bbac041badf5a524 NumGt LetDefFun TypeMismatch
2770d8abd5152465220c30a43ba2a2499e3ae3b8 NumGt LetDefFun TypeMismatch
20d9a3af5bdeb4370f8dc3c723575cd6bacdac9e NumGt DefFunRecursive TypeMismatch
64f289d5f2fba1d5fa07439dca02e49a4e7c6afb NumGt DefFunRecursive TypeMismatch
86c488b8fd85ee6b9a4c5de101c4ef2c84b7195a NumGt LetDefFunRecursive TypeMismatch
b1fd81c0f681d1573beb096e63e5f8aa55f1f888 NumGt LetDefFunRecursive TypeMismatch
f714d7055988d2e4b79e958df3ca5819b7941b7b NumGt DefFunInDef AlreadyCombined
35d03cb39d26a833720a98f8a814f33b7c3db39e NumGt DefFunInDef AlreadyCombined
997d2d9be9d7cfb0f2987abe6fde648c08cc17b6 NumGt LetDefFunInDef AlreadyCombined
5930929e5d58bd5dc159274795413a9c819a4af8 NumGt LetDefFunInDef AlreadyCombined
6179149e93f916939aef226a09c16971f670f06c NumGt VariableViewExclude VariableExcludedFromView
dbdecf4a0c6aa8e3852353ac982f92ea4d06ed8f NumGt VariableViewExclude VariableExcludedFromView
21d7f53b481dde98546be9cc9124d9a6bf5d354b NumGt ConstantModelValue ModelValueCanNotBeUsed
cc0ef579cd67e5ee312e5d8bb9d65b5a9dd38811 NumGt ConstantModelValue ModelValueCanNotBeUsed
7a29b1bab57844473a4518e914b03e8c0c6fdbf9 NumGt Enabled TypeMismatch
7b056ecfca556abab81d03316e74128db45f682a NumGt Enabled TypeMismatch
93b8e3eb7d12850f7090b6d3f6c0342d96155f7b NumGt Assume AssumeIsNotEmbeddable
56cd13a952bed47204797fce05218afc85951a29 NumGt Assume AssumeIsNotEmbeddable
03d4dec4bfc46a0be1049889d24e1ed2e0bf07e4 NumGt AssumeNamed AssumeIsNotEmbeddable
7942910d46218fa08905eef9cd80ba7310759b36 NumGt AssumeNamed AssumeIsNotEmbeddable
288c3f87a5119c98e554b9a90ace4a348405eb8d NumGt Lambda TypeMismatch
2a2c63842be2277dab4be757de217d2300e72739 NumGt Lambda TypeMismatch
c94cc394a63c77f5001bc873510cdd81d0942d75 NumGt Cross2 TypeMismatch
036b6e46c288a55e86559b02d7c05a12dedbd2c3 NumGt Cross2 TypeMismatch
edc2076dfe0a2fa9256aa5e3ae251a07624af09b NumGt Cross3 TypeMismatch
a11267da674d5e411f2011c124fa066b82b3bb5f NumGt Cross3 TypeMismatch
e635f8613723c2493adf59dce6abae5596561e33 NumGt FunSet TypeMismatch
cd69fbab5fe44a1d3ca435e6fcbbfb49de47d04a NumGt FunSet TypeMismatch
14ac3edc490ae81d48088d7551933f4e18956c5e NumGt RecordSet TypeMismatch
79bb2afdd2bf1b12c69e99f009d903cb6fc560e1 NumGt RecordSet TypeMismatch
987373a3f41e1f7f006360bb4d9ae69547f064ff NumGt SetDiff TypeMismatch
f3c3bd10721558fdcadf6b1aec3844f2781094b2 NumGt SetDiff TypeMismatch
419421c720fb0aa9f9056de41ac72753c547986c NumGt SetUnion TypeMismatch
331f91ea56c0b5fc8453e94a226e26b8c6b78f0f NumGt SetUnion TypeMismatch
7d2d37533e5e447c887b7d699d99c109d7fd0b04 NumGt SetIntersect TypeMismatch
f0d3eb65279306660993e107ed7e2e4bbb392904 NumGt SetIntersect TypeMismatch
936817efcf5c349e6e2ba1e1274c7d36e4443019 NumGt SubsetEq TypeMismatch
9e54502c56222f62128155980ea4676a1a15990a NumGt SubsetEq TypeMismatch
454d2db93ecd39eee097c70e9f8b80e36034fbd5 NumGt Subset TypeMismatch
6833d5cc00bc5a81c223e9a92ea2711a85ab409b NumGt Subset TypeMismatch
8895bc98bcb8170168a9d5eebb925ddaba30b4b2 NumGt Domain TypeMismatch
5f01e67095712993b7cac1f9aa3b6bf06c955983 NumGt Domain TypeMismatch
e5f6704606fab7c590c075537711afa7d97f0f56 NumGt Union TypeMismatch
c1f51ca0cad8c71fc1b43be16315fd9025cced80 NumGt Union TypeMismatch
8348d53788b13b7d379c749e020651950b5bce7f NumGt Unchanged TypeMismatch
ec35c2440a2a461fa5dbe767978ff63ef838aa28 NumGt Unchanged TypeMismatch
a0e157cca7311388af91bf508216807dd27dd6a3 NumGt Equivalence TypeMismatch
7102a34cca5d06dc9b427d6627ba19f53a0753f0 NumGt Equivalence TypeMismatch
592504c2d72e257a74f5a4ba48ec9a819755eac6 NumGt StringEmpty TypeMismatch
23057a72352fe49bd8dc27d8cec17514812c66af NumGt StringEmpty TypeMismatch
896e8d72c677fc93f428e4f0e67e45f5bbe2fc8a NumGt String TypeMismatch
61ee4e736c993f3c7781a5ef4a19ae736039fb71 NumGt String TypeMismatch
f3fe3d621dc0a8cdafbc41c92be502893764a76b NumGt SeqConcat TypeMismatch
ed0a8243984cca87b7ad3e0c136d82275c319142 NumGt SeqConcat TypeMismatch
80d47356f32c80cfd87d377208816bd492b27524 NumGt SeqSeq TypeMismatch
34e90493fff604fa6686474d556870980df81a9f NumGt SeqSeq TypeMismatch
f9ebd10aa3c7b2d632509e14a08a4f779f6540ec NumGt NatSet TypeMismatch
e292337efd46abb552c44a0d02c5a146f2769271 NumGt NatSet TypeMismatch
f17b78779cfd69516328cb2aae72f27db35cc87d NumGt IntSet TypeMismatch
f45ec61dbb2ae568aa0e75086d84a53732acb5d6 NumGt IntSet TypeMismatch
c1f2f8e92ba5eff552f9bc05cf92ab30aa5e7694 NumGt StringSet TypeMismatch
60962264040cda3195b70993a93dc5cd30f02a1e NumGt StringSet TypeMismatch
d90e3b1d6213ad35f5102f7e133d5ea5310bebe4 NumGt SeqSelectSeq TypeMismatch
4b3d723fa8e3cb9cc355cb83bf87f060b1ab1bda NumGt SeqSelectSeq TypeMismatch
6e2ffeae85c5d194292939aa59fb307957af6a06 NumGt SeqSubSeq TypeMismatch
92d8254242c305877561b44416491e71df9314a0 NumGt SeqSubSeq TypeMismatch
19559fa7c35d0acd3491908ec362ea2f131254ed NumGt NumRange TypeMismatch
4206ab9a7b03e597af4d95afe8fe7ae391e56e1e NumGt NumRange TypeMismatch
7a5bd5cfd6daabe2a322c75e1ecfb8d73d216480 NumGt TlcSingletonFun TypeMismatch
d2bbdff544d3b746b8aa8eee08c2a73668e51fca NumGt TlcSingletonFun TypeMismatch
83d93dc703bf00604c3f7331681e2e244a7afd41 NumGt TlcExtendFun TypeMismatch
38d2613a19c59ecfeeb153807d7284f8eb440a9a NumGt TlcExtendFun TypeMismatch
1b95384d59df09ed0afdb95c846997e6c82bec49 NumGt TlcPermuteFun TypeMismatch
c569b7e7be72cecd63d0cb9ff5cbd45dbf6c64a8 NumGt TlcPermuteFun TypeMismatch
8e3d4284c08ab939231ade4638f8b0b80964f85a NumGt TlcSortSeq TypeMismatch
8386a433ba3ba79148be3df322c4b5f0404d57e4 NumGt TlcSortSeq TypeMismatch
1e004f00130f0ae32f8e554e5a1d84d2218fb0b3 NumGt BagBagToSet TypeMismatch
454088e9fdf4186d2a776662ed9df168a37f105a NumGt BagBagToSet TypeMismatch
c1950e596c47dc95c94deffb35ba9325cc4b9440 NumGt BagSetToBag TypeMismatch
e624b90b8dc00ece74062bf93644f778345ffd14 NumGt BagSetToBag TypeMismatch
7fb85446be893fd33860999e391dde501e8a26ea NumGt BagBagIn TypeMismatch
d35fd9b71eff40117e372ebe851c3c26f6aa09b6 NumGt BagBagIn TypeMismatch
a796841410fce90673f70dc84138899232a5b77b NumGt BagEmptyBag TypeMismatch
c88f80f382603f0838f8a7c47e72a7f71ed2313b NumGt BagEmptyBag TypeMismatch
8e513cd80f361692fca7dbf6f1a76cb2253d4b0d NumGt BagAddBag TypeMismatch
261dddb567db7b3a76d4034a3dc810eda6dc06df NumGt BagAddBag TypeMismatch
4125b05824a6c2498c040a52f0067f9639186467 NumGt BagBagSub TypeMismatch
c612c0e78844efefe412087cb907bbc8898a37f4 NumGt BagBagSub TypeMismatch
e4d2696010a6f86e2a729016e5fa90d3357ea1c6 NumGt BagSubsetEqBag TypeMismatch
c54bb0e21c0783bb873290ce181cba03b085ea77 NumGt BagSubsetEqBag TypeMismatch
cd051b267cdfb89453a8cb3ef08d0a1405df77fb NumGt BagBagUnion TypeMismatch
617a667098d9e9e1f7d710c15e53cc70c34093af NumGt BagBagUnion TypeMismatch
74635051063723e5d0c73c5e966c653c1b0b938e NumGt BagBagOfAll TypeMismatch
ccb198b1a0d22d57427de0b5053e8a85bbd54dcb NumGt BagBagOfAll TypeMismatch
e82541b3d39015fd7a1e67f3406eba5024185c79 NumGt BagSubBag TypeMismatch
342fd49feada8ba153083ec9d7b4c2f303bc3147 NumGt BagSubBag TypeMismatch
3ca9326754c639a83addebdcbf093ab2fff4d1d0 NumGt FiniteSetsIsFiniteSet TypeMismatch
361a6f41ac25718e036b0b7e9ed86eb4e22268a4 NumGt FiniteSetsIsFiniteSet TypeMismatch
3639a3d9b1f082b61a0f97e2cf9c434464da0417 NumGt SeqTail TypeMismatch
5d38bd256fbbead5c498c2e7260c8832a8e8060f NumGt SeqTail TypeMismatch
64ac8aa5ed429f04fc60a7f836a3f2b189d617a3 NumGt SeqAppend TypeMismatch
e1a1c91f52b7cbe6066084721d8bae473c41b9ff NumGt SeqAppend TypeMismatch