Index

Skipped feature combinations by case feature Instance

Id Case Feature Plug Feature Skip Reason
bc862fc6c7bd07925d210a4da0cde77899aec765 Instance Set1InDef AlreadyCombined
bee125cc9d79541553ee3996549b34d4cb4929ae Instance Set1InDef AlreadyCombined
581b1f5b6673fa71f1c04465450800bef37deb68 Instance Set2InDef AlreadyCombined
743e6381bd4a7c42c24783cb99758e8233973bca Instance Set2InDef AlreadyCombined
dc1fef6b119928c235c7a515d7883055a54d2647 Instance InDef0 TypeMismatch
7975d6e9bf31ff27ac7e3c85a6c45a12127eadbe Instance InDef0 TypeMismatch
5f1b15347a99b5723be4d6f27cdccc14e2d6eed5 Instance InDef1 TypeMismatch
446e613ced355d75dc12170d79c357cae2e566af Instance InDef1 TypeMismatch
8fbeaea71e6dacf9b9ab65f6bd44cb3f0cd8ac8a Instance InDef2 TypeMismatch
0413450fc1380741d447d5c43f4019ff8b10ba8e Instance InDef2 TypeMismatch
566896272efab0e0201eacf835928a374668d2ca Instance FunInDef AlreadyCombined
ab7364cb284188694a0cfd0c6c8c65a3af4a6493 Instance FunInDef AlreadyCombined
a03fe0f03fd33e360af50a5b9a237f299a5fc07b Instance ExistsInDef AlreadyCombined
9ef1284aaf0fb157d29c600d5f868617b1549f01 Instance ExistsInDef AlreadyCombined
4ede754137677f73da8b6ee51d1f0240573a3619 Instance ForallInDef AlreadyCombined
30496d601f9a0930e6a394462f9388dd34533059 Instance ForallInDef AlreadyCombined
fa545924826f611d02fd73cd1880dfbdc006ea8d Instance ChooseInDef AlreadyCombined
efdd023266231373d6923c301b769d5e279d98eb Instance ChooseInDef AlreadyCombined
fb90320c5d0be817c952928e5b68a548c3309295 Instance Except0 CanNotBePlug
2299c6725dcdf4d4048c37bf4fa6be5f9203a329 Instance Except0 CanNotBePlug
8e46461aa93679a447843545828c77bf0d003c55 Instance Except1Fun CanNotBePlug
c55f2f07d02e6ab6d98646933c9da4008c50d334 Instance Except1Fun CanNotBePlug
24d752b197c938ababcc0b87b1ecf4dbc02bc782 Instance Except1FunWithAt CanNotBePlug
571e6b0d2c8c9c32db5d4b2b3ce6c4bcdf1e7f50 Instance Except1FunWithAt CanNotBePlug
1777c87f64c6d4bab98649fa8f70fd1742c1272a Instance Except1Rec CanNotBePlug
5662b2e6ebc3089c8f9b252338a7ead9c3799a52 Instance Except1Rec CanNotBePlug
556004c19ae531ecac16b5b218a99810e0bca041 Instance Except1RecWithAt CanNotBePlug
e38c5ed7169c4f50d42a50163f50f3141b4fef71 Instance Except1RecWithAt CanNotBePlug
05e468a4685547e38192fbc8da1a3c2bd13abaf9 Instance Except2Fun CanNotBePlug
6661ee981002aa84c3abdf8eab668694c4c412d0 Instance Except2Fun CanNotBePlug
83af8d7254c33a7bb222c87fdda82bd27be83e6b Instance Except2FunTuple CanNotBePlug
b0e6fe5847cca101bcf94e7a4155198c121aae74 Instance Except2FunTuple CanNotBePlug
ca312de256457bbf377f4cd208bd41e914fa726a Instance DefFunInDef AlreadyCombined
1e936f00d429edbc9307e5349be4d09081c16edd Instance DefFunInDef AlreadyCombined
fb4f2c92fe7f53c6cd35c96ffec0f0dc422e89d1 Instance LetDefFunInDef AlreadyCombined
1338c3059601bfcc911aa83d9917f9a337e90cf7 Instance LetDefFunInDef AlreadyCombined
00e8bd093ed9403ec5a3d8633652b926bc02671e Instance VariableViewExclude VariableExcludedFromView
bc94a07abb179b809a9dede6511e90caaf5ddc89 Instance VariableViewExclude VariableExcludedFromView
4cae2ee19b1433e197e13ab2a01d7c8ebcee51bd Instance Assume AssumeIsNotEmbeddable
fe05d2b2a2e986e055b3f33254439ce58b4d1efa Instance Assume AssumeIsNotEmbeddable
ec45efb3769292b5418d1302fa539ec24366b401 Instance AssumeNamed AssumeIsNotEmbeddable
4b363c01948033170b0c214357a0a0b652cfb92f Instance AssumeNamed AssumeIsNotEmbeddable
46b32fc8287cac357631e9937ebe96ab545c781f Instance Lambda TypeMismatch
7c95749d3caed00604b1b59b6be28587910a4aad Instance Lambda TypeMismatch
92a86945b0ee1c25d002a3f7bd2b3180f8aa0ecd Instance SeqSeq TypeMismatch
5ec9f389b5dc65b886b28ecbfb33f45c0bf5ead9 Instance SeqSeq TypeMismatch
2203ca0238fd7bd096f7e98ac6cc465cf9d89a99 Instance NatSet TypeMismatch
792fb251341c2b06df381c31876b1815897832f6 Instance NatSet TypeMismatch
2df930b5e31e7cf7acd434582ac02b8c2391041c Instance IntSet TypeMismatch
eb5cbd3c35c3ee9bdbab6e0653c485e3ac1cdfdc Instance IntSet TypeMismatch
d4a5a289db41618228cccd22efaeef906274c00e Instance StringSet TypeMismatch
84b92992953624f7f4a175a5b4919363a35e7c58 Instance StringSet TypeMismatch