| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| fc5d924f613969fc9299910ebbaa6a8d75c81aab | Except1RecWithAt | AndProp | KindMismatch |
| 2236e6f4bc54a7973abb15bf89f29f20bafec71e | Except1RecWithAt | AndProp | KindMismatch |
| c0baf11e8eab5b26210977b257deb497cf295c28 | Except1RecWithAt | Boxed | KindMismatch |
| d706ca740e4911310f526ee877408afd85807d9c | Except1RecWithAt | Boxed | KindMismatch |
| cf4e4e3238c0a58f268e3f35a29769d6a72d69d6 | Except1RecWithAt | Set1InDef | AlreadyCombined |
| 85829fe8206e9a5b228d89415a6d234f2e2a579f | Except1RecWithAt | Set1InDef | AlreadyCombined |
| 4611aecdebcade2341f27220009e21def5c74854 | Except1RecWithAt | Set2InDef | AlreadyCombined |
| 78e6a5f64450fe0e81e88b1b1947d80e60fa554d | Except1RecWithAt | Set2InDef | AlreadyCombined |
| a4576f686a443a1d9ccbf6fef96a0a4b48bdc05f | Except1RecWithAt | InDef0 | TypeMismatch |
| ccd6c8c330932336112d3b953d30f94227841514 | Except1RecWithAt | InDef0 | TypeMismatch |
| a20c3d28436d7b91d6859b01537256ef7360fff1 | Except1RecWithAt | InDef1 | TypeMismatch |
| 50b56c780daa3587fd9f55381710fe5948a3c876 | Except1RecWithAt | InDef1 | TypeMismatch |
| 6087f64e41115e31de6ea2deab2c53ea80b7150b | Except1RecWithAt | InDef2 | TypeMismatch |
| 9fc4ac69d9d1e2042d9db0c89c7e492b3a5bb953 | Except1RecWithAt | InDef2 | TypeMismatch |
| fbb4cacd332c887b4c416c6c06fb880ae94e2c9b | Except1RecWithAt | FunInDef | AlreadyCombined |
| ee61298f12afd0dab1564552675de36bfef28cea | Except1RecWithAt | FunInDef | AlreadyCombined |
| 62b7c83a29bd9b7fa42c99c6d375629dfd7a732a | Except1RecWithAt | ExistsInDef | AlreadyCombined |
| 697a30b772cf42216b736c62b84190a27836e0b4 | Except1RecWithAt | ExistsInDef | AlreadyCombined |
| 86f0f475b77193eb788ae538e6589efdda51e1e0 | Except1RecWithAt | ForallInDef | AlreadyCombined |
| 861f279fbf88bcadf6876a72d43ca9c703ced60f | Except1RecWithAt | ForallInDef | AlreadyCombined |
| 5b6f098adada04fbeadbbeb10b0e2e7f25d502d0 | Except1RecWithAt | ChooseInDef | AlreadyCombined |
| eabb4b1449dd9b55b9ced3ea95ccfbd786d97fdf | Except1RecWithAt | ChooseInDef | AlreadyCombined |
| 60aa8c709a3c977ff91900eb15905500dec65f2f | Except1RecWithAt | Except0 | CanNotBePlug |
| c060d29e2c86c8cd33fa66f07022c4be22060587 | Except1RecWithAt | Except0 | CanNotBePlug |
| 72392eec958abfff73771da5e827f63b7e4ced59 | Except1RecWithAt | Except1Fun | CanNotBePlug |
| 81704efa9bf62df1863cd3ddcb7a1610eb493072 | Except1RecWithAt | Except1Fun | CanNotBePlug |
| 8722e8709074e37f08cbccf3e4949c59b4dd225a | Except1RecWithAt | Except1FunWithAt | CanNotBePlug |
| 51898303eec7aa8803bbdeef68f18b71aa6d853d | Except1RecWithAt | Except1FunWithAt | CanNotBePlug |
| 47107f80322c676c8b579f9983190b4336a857fb | Except1RecWithAt | Except1Rec | CanNotBePlug |
| 654803669ab7fb356cc0d9db3d55cdd9813d7c34 | Except1RecWithAt | Except1Rec | CanNotBePlug |
| e289d9c6002aee74527d95dc358fba94f3d54382 | Except1RecWithAt | Except1RecWithAt | CanNotBePlug |
| 3fc821d3af5726e85da66a456096fd4b434df306 | Except1RecWithAt | Except1RecWithAt | CanNotBePlug |
| 374b0c23bcdfec1a6a90abccca00bc1610fa07c4 | Except1RecWithAt | Except2Fun | CanNotBePlug |
| bfcc2b29bdc31727db46260e2d009f7b5e8a7aad | Except1RecWithAt | Except2Fun | CanNotBePlug |
| 53be0953e5f3a1f3dc6374d74dbd3a21ebb13303 | Except1RecWithAt | Except2FunTuple | CanNotBePlug |
| 542cc6a945a631f862d0f8627bb63720020e2e3f | Except1RecWithAt | Except2FunTuple | CanNotBePlug |
| 35d480045dfd62ccfbe0e97c894bbd509f7b88b1 | Except1RecWithAt | DefFunInDef | AlreadyCombined |
| 9fb89eb14e5932710d98c492348e06a9734f65ec | Except1RecWithAt | DefFunInDef | AlreadyCombined |
| 01dc00f8102e44d82d0c1660d5b0e9e3061ab00c | Except1RecWithAt | LetDefFunInDef | AlreadyCombined |
| 0a70d5aaf8cf2525543196dab447d3057927a41f | Except1RecWithAt | LetDefFunInDef | AlreadyCombined |
| 8dc2ba5a0b79dc6b2a9ef934029a3c55df94dc87 | Except1RecWithAt | VariableViewExclude | VariableExcludedFromView |
| 862473110bb61eed7778d1b5c1d78db2a13b69cf | Except1RecWithAt | VariableViewExclude | VariableExcludedFromView |
| 36e6b8dee5fb47d5c6d4de8bae214f90f3da11e3 | Except1RecWithAt | ConstantModelValue | ModelValueCanNotBeUsed |
| 476d758f368e66f6efc3c57fffa0605337a730df | Except1RecWithAt | ConstantModelValue | ModelValueCanNotBeUsed |
| 7b6628adcde52adfdf25874a7d31742e98e9c6a3 | Except1RecWithAt | Assume | AssumeIsNotEmbeddable |
| 4b4eeb4f0ff632c59b543c3974bb76996c3d9990 | Except1RecWithAt | Assume | AssumeIsNotEmbeddable |
| fd33f5f654739e88a5483034b7b004d77148ba0d | Except1RecWithAt | AssumeNamed | AssumeIsNotEmbeddable |
| 502761ec3a74a1af3832f5a017132301906d9455 | Except1RecWithAt | AssumeNamed | AssumeIsNotEmbeddable |
| 5e1ed3708b0ee1a785955d474c422c75af3ea385 | Except1RecWithAt | Lambda | TypeMismatch |
| f75ea42c9e47c83475cc5a603e98f39e94d787e0 | Except1RecWithAt | Lambda | TypeMismatch |
| 570a4ba74a20ee289d9fb896411f67f5fbb10721 | Except1RecWithAt | SeqSeq | TypeMismatch |
| af1eca569390a46cf43c53ef7dea3d94beb5c37b | Except1RecWithAt | SeqSeq | TypeMismatch |
| 2fd8d2f27f114df6a2b0bad7e723b4d41a449c34 | Except1RecWithAt | NatSet | TypeMismatch |
| 84d01b42091e3cd6ca608acfaf1f9a9835ad493b | Except1RecWithAt | NatSet | TypeMismatch |
| 99e435aa8b44f7281512676f9e6215a7b135f939 | Except1RecWithAt | IntSet | TypeMismatch |
| e0f4edd6b42220b7c5a7b53372a7eec6f14ee731 | Except1RecWithAt | IntSet | TypeMismatch |
| 105e1e56e64f2c27f2cfcd24426a0f6f71cb0f95 | Except1RecWithAt | StringSet | TypeMismatch |
| 066343dab0a1a4389ecf015bb8fa543df193c957 | Except1RecWithAt | StringSet | TypeMismatch |