| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| bd1ffe749acf487afde9da9682a9dab86e4ac07f | ConstantRank1 | AndProp | KindMismatch |
| f983e2a31e9ab7a0a99118651899ad15babfaf3e | ConstantRank1 | AndProp | KindMismatch |
| cc727cd04f6b900e3741ac2ea273142b31bc36c7 | ConstantRank1 | Boxed | KindMismatch |
| b0ec938088bc40ba63b5e38ada0fb21af1a505a4 | ConstantRank1 | Boxed | KindMismatch |
| e5c5a4560d303d4c7b8079f4a58afa8a1cae345e | ConstantRank1 | Set1InDef | AlreadyCombined |
| 722c52f26d5670e5f6395adbd6dda73db44ab957 | ConstantRank1 | Set1InDef | AlreadyCombined |
| 53a10cc00eb907b8f9fa422679386e17ac709e31 | ConstantRank1 | Set2InDef | AlreadyCombined |
| 021176232a616c2573a0247ccf2ddfc53c950423 | ConstantRank1 | Set2InDef | AlreadyCombined |
| 1bb64a9bd42f44c39a61a615474beee172f47d2b | ConstantRank1 | InDef0 | TypeMismatch |
| 718bf20f2c914fedeb2c99e92bea8c4654ff4636 | ConstantRank1 | InDef0 | TypeMismatch |
| 8b0b83ef007f6af780bb1f74d25ac9aa110bd6fe | ConstantRank1 | InDef1 | TypeMismatch |
| 9e71b94594cc7567bd563e2e0d3414d53b5a45ad | ConstantRank1 | InDef1 | TypeMismatch |
| 7b876f99ad20ac0faf777ccb1596bbb52c7f88c8 | ConstantRank1 | InDef2 | TypeMismatch |
| 68e4f71320a16cecc557816b02f8aa7c3ca8a82e | ConstantRank1 | InDef2 | TypeMismatch |
| 1c7b4134e2c1720bca89db0a645555b7a42d072b | ConstantRank1 | FunInDef | AlreadyCombined |
| a0d0ba9de0cfd30a97f1c4183fff6f33a052bdb6 | ConstantRank1 | FunInDef | AlreadyCombined |
| 1b51f3d87d09309b71c3a4546cd08f63452d8f81 | ConstantRank1 | ExistsInDef | AlreadyCombined |
| 1fa1fda52a0efadaf235b1f30d05dd86f283c4f2 | ConstantRank1 | ExistsInDef | AlreadyCombined |
| 93c4b94d77e6c034178163464be219ffee39c25a | ConstantRank1 | ForallInDef | AlreadyCombined |
| 6aa4f672e9a23c7280e78e8d1c46e58aa1b44895 | ConstantRank1 | ForallInDef | AlreadyCombined |
| 7c8555da55027d43c6dedf74b38f84736b7b617d | ConstantRank1 | ChooseInDef | AlreadyCombined |
| f946612899cb5447cdadf1a9645f281de1e2aa25 | ConstantRank1 | ChooseInDef | AlreadyCombined |
| 6b409e55aaf4f2efb567753362ec6b6f28035f8c | ConstantRank1 | Except0 | CanNotBePlug |
| c06d7d7037dc17ba8eade695df0c02861cfe455f | ConstantRank1 | Except0 | CanNotBePlug |
| 74e6731ee3caafea3a14f48281a506617efede33 | ConstantRank1 | Except1Fun | CanNotBePlug |
| 13019f83ad01878ff4f0faca4e3d22dafe6b1f51 | ConstantRank1 | Except1Fun | CanNotBePlug |
| 61410bbeef5a506ec6ef1d2700e2c10cf01cb996 | ConstantRank1 | Except1FunWithAt | CanNotBePlug |
| 2ca62b59746aeebda23d99e714b8927d17f1a3f6 | ConstantRank1 | Except1FunWithAt | CanNotBePlug |
| 95ead2cac0062a7e9509ff7fda83651e683247e9 | ConstantRank1 | Except1Rec | CanNotBePlug |
| b6fafbf8f1dcea1f4cc1ee2772debd9bd07e4e17 | ConstantRank1 | Except1Rec | CanNotBePlug |
| 03ce203a2e8403f5627f0645da94683ec28368e3 | ConstantRank1 | Except1RecWithAt | CanNotBePlug |
| a5702ae95a49909a61154b726fe886ef8fd464ae | ConstantRank1 | Except1RecWithAt | CanNotBePlug |
| 60ebda26ddd38dda42b1532257513012bb228f4b | ConstantRank1 | Except2Fun | CanNotBePlug |
| 643af65a2425e2b4cfdc4a125aba608d1008f323 | ConstantRank1 | Except2Fun | CanNotBePlug |
| 58ee90d1d6af144e11f3385586252acff6428ba5 | ConstantRank1 | Except2FunTuple | CanNotBePlug |
| d138551789ae55e0e19df71729822e2904109b48 | ConstantRank1 | Except2FunTuple | CanNotBePlug |
| ae6fb27ff97b4c1ef66fa310786448e400e9ec24 | ConstantRank1 | Prime | KindMismatch |
| 6a60efc55e1b7e13998342b0fca7b47bb41b1395 | ConstantRank1 | Prime | KindMismatch |
| 7c5e6da6db926369bf5024c0b0b7ed74c217596f | ConstantRank1 | DefFunInDef | AlreadyCombined |
| e0357d051c9743e43fb4d62613549dfd750fbb98 | ConstantRank1 | DefFunInDef | AlreadyCombined |
| 5ee048d9f040ddd55beb33d7a78052d0911ffead | ConstantRank1 | LetDefFunInDef | AlreadyCombined |
| 6fa165a1d0b70292438ea79736caa0263fb24f28 | ConstantRank1 | LetDefFunInDef | AlreadyCombined |
| d93f4ddef51f038a9ea19477ef51896d9c7d01c4 | ConstantRank1 | Variable | KindMismatch |
| 971d34d0cadbf7b1b7de58da6e274cefc39abbe6 | ConstantRank1 | Variable | KindMismatch |
| 022d04b60270320184106e75436d7a1eccd1f705 | ConstantRank1 | VariableViewExclude | VariableExcludedFromView |
| 284db001dd60b1a66bde1dec87b995ec6fe6d377 | ConstantRank1 | VariableViewExclude | VariableExcludedFromView |
| 7c758ecb622defe45f4a2e755d61d3786dc3d545 | ConstantRank1 | Enabled | KindMismatch |
| 01066d632cfe110955128f8a5bfbbe91209492c5 | ConstantRank1 | Enabled | KindMismatch |
| f6645294983724e08a41177366def1d951cfa9db | ConstantRank1 | Assume | AssumeIsNotEmbeddable |
| a4680caac4f582811dd48a98c5a1dc949c2c6087 | ConstantRank1 | Assume | AssumeIsNotEmbeddable |
| f9d8134bb0c556136531d026567213ffb3684fe8 | ConstantRank1 | AssumeNamed | AssumeIsNotEmbeddable |
| 57a1119e0deb5d8ad1c8dec9a891a0414633741b | ConstantRank1 | AssumeNamed | AssumeIsNotEmbeddable |
| 25b9d19f0a475769d6e55a360ec31d74769feae5 | ConstantRank1 | Lambda | TypeMismatch |
| 7be48dee247624fcd12dec54e234e5c7e9698411 | ConstantRank1 | Lambda | TypeMismatch |
| 6361faf7d6f0b47ff98924f27b916c337fa20e8b | ConstantRank1 | Unchanged | KindMismatch |
| bcb2aa0169a430b592621ca29aad8b04ff9a680f | ConstantRank1 | Unchanged | KindMismatch |
| fb6157cdd16df720e47041a31a6371b6d6158db1 | ConstantRank1 | SeqSeq | TypeMismatch |
| 5c6d45ddf1651ed3dd9ec7b557b5e4ba6c5f7c2b | ConstantRank1 | SeqSeq | TypeMismatch |
| 18b6e464136e509764280b153bb5e65146334fc8 | ConstantRank1 | NatSet | TypeMismatch |
| 2dd590ba387a917a40d60ff1f65da5adac9ef579 | ConstantRank1 | NatSet | TypeMismatch |
| 3b461fcd4f1e6ab1ed6e24db4b431791e04380cb | ConstantRank1 | IntSet | TypeMismatch |
| 9e663e36042b04056b9dc235b469a2a5f9d6b579 | ConstantRank1 | IntSet | TypeMismatch |
| 4adf7fc34883b1c973b0778755602ce1edbdd1c2 | ConstantRank1 | StringSet | TypeMismatch |
| 8cfdc61bb6e08bc045dbe10a1137a74c9e2d06de | ConstantRank1 | StringSet | TypeMismatch |