| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| f49bce97ab87ba9cdac0a5dcceba76873d71fef5 | VariableViewExclude | AndProp | KindMismatch |
| 3abaa46ca223ac6aa959a32a189bd79037cfe2d4 | VariableViewExclude | AndProp | KindMismatch |
| bf3fe0e9e6f21ef4aef080ca7baf78fdf872aae9 | VariableViewExclude | Boxed | KindMismatch |
| a59f6e2e7e219d1b5596d43eefe1415656417d42 | VariableViewExclude | Boxed | KindMismatch |
| 0135e7198d24685f161a089fadac40a3ba936ff1 | VariableViewExclude | Set1InDef | AlreadyCombined |
| bdaf5c49eee03235a366377d8d762784ce130c05 | VariableViewExclude | Set1InDef | AlreadyCombined |
| 01c4390ab67c1b5d73e23ea64759970ee91dfce8 | VariableViewExclude | Set2InDef | AlreadyCombined |
| 0f079a55d65e1204aac52430a46137d98b3475fd | VariableViewExclude | Set2InDef | AlreadyCombined |
| df23325c64a7520f2515a7c0e191cd01f836aabc | VariableViewExclude | InDef0 | TypeMismatch |
| efe1a6df8b7460076cd3e871c3ac3194f008c3c9 | VariableViewExclude | InDef0 | TypeMismatch |
| db2d07970a5be4e579ac5a4f339bb34e57eea6f4 | VariableViewExclude | InDef1 | TypeMismatch |
| 2d29334ed50f4fb17fbc7ff985728b9baad2fc70 | VariableViewExclude | InDef1 | TypeMismatch |
| 1541036fb93265b11f8e8d7406e18e9551019144 | VariableViewExclude | InDef2 | TypeMismatch |
| 148d842fe3aea6e82bb3ae98e0baecb2bd26dba7 | VariableViewExclude | InDef2 | TypeMismatch |
| 34c64d2cb78ffc845fe7002f30ffce2bc95a1441 | VariableViewExclude | FunInDef | AlreadyCombined |
| fb7ea20312af1df02eadc35d62ed739b4c56dd36 | VariableViewExclude | FunInDef | AlreadyCombined |
| 8fbacbb313a72323b306aef923715c31ddfe2c44 | VariableViewExclude | ExistsInDef | AlreadyCombined |
| d55e93c97a8532e32d83b583719a46806ac7f8e0 | VariableViewExclude | ExistsInDef | AlreadyCombined |
| 2c881ca34162703ea04a6ab6ddb373a8dc029383 | VariableViewExclude | ForallInDef | AlreadyCombined |
| a1e13291550c5b930dfd7282dffd164d0cdd56af | VariableViewExclude | ForallInDef | AlreadyCombined |
| ca22c31883e3cd74913a0da6a0e63e0ee7966bb1 | VariableViewExclude | ChooseInDef | AlreadyCombined |
| 5b9d5755d43771c6a2ac1cfe4a59c86bbff0468b | VariableViewExclude | ChooseInDef | AlreadyCombined |
| cb8cd99f4f59f7073cd88e2c158aa362216a8658 | VariableViewExclude | Except0 | CanNotBePlug |
| 7e061a9c1563c28186682657fe77d863a1d86419 | VariableViewExclude | Except0 | CanNotBePlug |
| 4441d3ffb659f79de65b9b082aa9034ae951c160 | VariableViewExclude | Except1Fun | CanNotBePlug |
| 16f4c84f0f170da2f98dcdea3115c267ff92d1d5 | VariableViewExclude | Except1Fun | CanNotBePlug |
| 86993fc75bb5a2970c607dd2405694cf76a2c252 | VariableViewExclude | Except1FunWithAt | CanNotBePlug |
| f1d13998ef7740daf60d2a3073b264484ffa3d06 | VariableViewExclude | Except1FunWithAt | CanNotBePlug |
| 748fbe10d871c4a3ed5f28470b875962b2023291 | VariableViewExclude | Except1Rec | CanNotBePlug |
| d521266ce562f3728909f85fe6803a6c52976b0c | VariableViewExclude | Except1Rec | CanNotBePlug |
| fb91a66e8c7e02b61257035b794531828c0fc393 | VariableViewExclude | Except1RecWithAt | CanNotBePlug |
| b69f727fbe82dba21a73b651595e225e973e12ab | VariableViewExclude | Except1RecWithAt | CanNotBePlug |
| 74fcf5a37eb4e926e225ed96a06c4d9e453d1e04 | VariableViewExclude | Except2Fun | CanNotBePlug |
| b31df30039a7f148da4440b180a0eb8072d7f48b | VariableViewExclude | Except2Fun | CanNotBePlug |
| 02e7e6fd68863a5a28342f2d8f44ef556c5bffcb | VariableViewExclude | Except2FunTuple | CanNotBePlug |
| b1e4c2c7cd180f1417d8f2fb1276bbf9e4cf3054 | VariableViewExclude | Except2FunTuple | CanNotBePlug |
| 77fca188c7cb00421faac5ca823ef31dfd061f2b | VariableViewExclude | DefFunInDef | AlreadyCombined |
| 17bb5ca0c5e6d3105c3e4e58f648146c9cfef8ee | VariableViewExclude | DefFunInDef | AlreadyCombined |
| 2e6f4c9f7b3a5261ed1922c2fde6dfd6cdfdce88 | VariableViewExclude | LetDefFunInDef | AlreadyCombined |
| c04ce4c618bbce58f84b78c9b7522f974ee5d517 | VariableViewExclude | LetDefFunInDef | AlreadyCombined |
| a6731fe0bede1817e8440a851dc617d95444aae6 | VariableViewExclude | VariableViewExclude | VariableExcludedFromView |
| c02c6b57d1054978d82cb6f29ebda96d1c858f5e | VariableViewExclude | VariableViewExclude | VariableExcludedFromView |
| f34883d8a7eaf1fa21e0959c73eaf6688d791710 | VariableViewExclude | Constant | KindMismatch |
| de39bdb58591cd1f1ea4808012fb7e80b2c7c530 | VariableViewExclude | Constant | KindMismatch |
| 7a82e70cde74eabcdc067a7d4420682c9cdad516 | VariableViewExclude | ConstantModelValue | KindMismatch |
| 72c639a3833b96295f9e179733e87d04bf6ba4cc | VariableViewExclude | ConstantModelValue | KindMismatch |
| 277b07c2a33aa9a5b9ef9b4daad8e87d01911a35 | VariableViewExclude | ConstantRank1 | KindMismatch |
| 9ea78e7772249ea4a60752a7239303379e0e539f | VariableViewExclude | ConstantRank1 | KindMismatch |
| f3a147879b61a9b4603e1b11b9de6b7d16cd57b1 | VariableViewExclude | Assume | AssumeIsNotEmbeddable |
| d4142f20c908850f1cb86a223da17ecbae1d559a | VariableViewExclude | Assume | AssumeIsNotEmbeddable |
| 3def773c038bb4cc80047f75fc0d5c509b9c8164 | VariableViewExclude | AssumeNamed | AssumeIsNotEmbeddable |
| 58da83804a6545f405b348f358ed0d4e80f477af | VariableViewExclude | AssumeNamed | AssumeIsNotEmbeddable |
| 15df609d0a89db516852071a9054ba9b5227447c | VariableViewExclude | Lambda | TypeMismatch |
| 2709daf43731a9884c67d8bcdea047e8188f2642 | VariableViewExclude | Lambda | TypeMismatch |
| ed5e26013271ed3e887d28da11966191aaa4fc21 | VariableViewExclude | SeqSeq | TypeMismatch |
| 51086212234dc7d69be81751af663589e6272422 | VariableViewExclude | SeqSeq | TypeMismatch |
| 0b598f4abe8bd34bebb071b032539cc0e0a99979 | VariableViewExclude | NatSet | TypeMismatch |
| 8d6a3dc612da01b4e297aed960241efd7f741f05 | VariableViewExclude | NatSet | TypeMismatch |
| 285ddb85f13e32db2a92b247f36302492ad0c718 | VariableViewExclude | IntSet | TypeMismatch |
| b2c3b0086264383eb5513e38e7a1f41637040ee1 | VariableViewExclude | IntSet | TypeMismatch |
| 1e069893f883b3001725ec0c5e0796a642ac0c92 | VariableViewExclude | StringSet | TypeMismatch |
| 40c2e74dc1d1ac4de2b23ff1fca437d002162dbc | VariableViewExclude | StringSet | TypeMismatch |