Index

Skipped feature combinations by case feature Ne

Id Case Feature Plug Feature Skip Reason
479495204436f148355c859320c112783379a6e4 Ne AndProp KindMismatch
ed2d336bc8a13c99fbbd55738b1a45e251df9d46 Ne AndProp KindMismatch
2ca7d92c5fbfb50f5c5d04d7db880f74ea60a162 Ne Boxed KindMismatch
1ea76ee191de69cd7e9762e4a51cd664b7f42358 Ne Boxed KindMismatch
b441d8b7f2d04de7ba9b123145759703702a7693 Ne Set1InDef AlreadyCombined
43bc15851d81cb5d66a08aeea2971c092383852e Ne Set1InDef AlreadyCombined
e6aab2b7ab1dc44371b4d1077986b31b7083b659 Ne Set2InDef AlreadyCombined
dd75e5a8c552834493f874741f6cf411b8472ec8 Ne Set2InDef AlreadyCombined
d9e8458bd9a25d768dab8ed654cb6762b3816816 Ne InDef0 TypeMismatch
3a730db19390bb44012e10fe871c14c37e596483 Ne InDef0 TypeMismatch
e807737bab20f5c345718ab983b733d6728089d2 Ne InDef1 TypeMismatch
4f81569783e42ebe83e7bcdde0405adbfff22fa2 Ne InDef1 TypeMismatch
b7a59e630b52da5742dd4d5037db0124f7dbc47a Ne InDef2 TypeMismatch
3d54c9b56b3519804d46904c8bd689ceb0d95c78 Ne InDef2 TypeMismatch
371dfe6e23bde9b983197621337b4a96b7878700 Ne FunInDef AlreadyCombined
3045c4418567c8ec9e89bd53b104a24a3adf408b Ne FunInDef AlreadyCombined
6603c6e69a7c8d26ade06b6b47154a402a2cda91 Ne ExistsInDef AlreadyCombined
e41a3d82381885be7f9e541e94cfce4e3b9441e2 Ne ExistsInDef AlreadyCombined
ba3b415f87242ab7d37e96f7835799252ae1d9c8 Ne ForallInDef AlreadyCombined
c7b7d58ece08f9f095f7a4a9de1e6c920ae77562 Ne ForallInDef AlreadyCombined
b7f792271f22ef76771051edc8e2b4fe5fc6ad88 Ne ChooseInDef AlreadyCombined
fda7f8ddbf2f4d005d4d76e7dba5118a63bd3187 Ne ChooseInDef AlreadyCombined
c862ea93599f0a82d267409e723998386fcf1630 Ne Except0 CanNotBePlug
5e4a5c5f709ea5c7db76cea51836a1cfad8de942 Ne Except0 CanNotBePlug
b8f40b8018cfd8917abbef5714ec32d5cefde1e5 Ne Except1Fun CanNotBePlug
6c30d91c3400c8c4f9a2b6167e2f203abd46593b Ne Except1Fun CanNotBePlug
c19b3b294c2237a999ccf869b933715fb9d7044d Ne Except1FunWithAt CanNotBePlug
2e0efe05b8b1fb4dd7f2cd8c83db85024a9cf275 Ne Except1FunWithAt CanNotBePlug
ca29ce0a26c249c54a9415dc47073813cf084a36 Ne Except1Rec CanNotBePlug
39ca463c20dff6cdf6316196e2280b7849fdd369 Ne Except1Rec CanNotBePlug
ac36bee77d6f8be727b75cc83cd84f5d46e8112d Ne Except1RecWithAt CanNotBePlug
90ae954c93fd90f13c9d133e77d463e9402e27ec Ne Except1RecWithAt CanNotBePlug
f43da587f02c495910f770049bbaacb91d624d05 Ne Except2Fun CanNotBePlug
0ca5a9174148874fe97e8b30f3db2567a486e19b Ne Except2Fun CanNotBePlug
5c6ab67222109bb48eb95071a3ab3ca2c0f37b39 Ne Except2FunTuple CanNotBePlug
57f29385877f70a1313e6673d20185a24d74105f Ne Except2FunTuple CanNotBePlug
1942cf401655d28d9c7405b64a046a838d76d359 Ne DefFunInDef AlreadyCombined
50d61eaf48949c9761a04622f72b49c81b84f8bf Ne DefFunInDef AlreadyCombined
d229179fc638a2048668f3d5545b76190e1592e0 Ne LetDefFunInDef AlreadyCombined
ef56cdaf9f5794cb1721898979a5111097dfd3c4 Ne LetDefFunInDef AlreadyCombined
18a6cb753d418fbeb3c04c0b61e0c33ba417e7f2 Ne VariableViewExclude VariableExcludedFromView
2f2acebafef837e4f8d319d399c17b740640cc4c Ne VariableViewExclude VariableExcludedFromView
7b5ff1c9ab953315b37c70ff583214bdf33bd0ca Ne Assume AssumeIsNotEmbeddable
55ea5a84d8a5dce885711ceaf1766f07196f3411 Ne Assume AssumeIsNotEmbeddable
b38015f6662fd42dd2ab1f1d4bfe3d87c291efbb Ne AssumeNamed AssumeIsNotEmbeddable
0c1d8bbc0f8dcdae040f37e965e16dd2022651a0 Ne AssumeNamed AssumeIsNotEmbeddable
2de79190da3eb14055b65f3e0db2c4123bdad490 Ne Lambda TypeMismatch
1750c2dcc36472a2320c49ed1fe113a71ece4cd4 Ne Lambda TypeMismatch
35fe26f636464ce8972a20a61e32a304dbcad17d Ne SeqSeq TypeMismatch
a7c6006a9a927f2819e8917f5d6c1cb14c58e52e Ne SeqSeq TypeMismatch
fda8709cb1233c75511d08e44d77b299fcbb4451 Ne NatSet TypeMismatch
490e3cb1c9beedeb6096985dff140539ce24e004 Ne NatSet TypeMismatch
94011ab651830503cf6f4b6abb1d2c3534d02ff5 Ne IntSet TypeMismatch
fc3ea792dffab5d38c73ec9e0611d038e79364af Ne IntSet TypeMismatch
9f32097e60d140876bf9d2a0f3218b07f745de1b Ne StringSet TypeMismatch
2bb18988c7dadc2b7da9675dfd5eae142125a961 Ne StringSet TypeMismatch