| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| 9255b9d8af6600eb02551a64ee5b230616f94531 | InstanceInFolder | Set1InDef | AlreadyCombined |
| a937ad7699782f0c2af550cad7c7e9efa20081e0 | InstanceInFolder | Set1InDef | AlreadyCombined |
| cfcd96fb97b8e013e512565d951511e54c5c13dd | InstanceInFolder | Set2InDef | AlreadyCombined |
| 620893711695d3a21f37942cd0d1338d5d9c7401 | InstanceInFolder | Set2InDef | AlreadyCombined |
| 0452427e9f6438eb30a8bc6334ae5a068e1bfa74 | InstanceInFolder | InDef0 | TypeMismatch |
| 14f2d1a2bdaeb4f1e2e16b8047401fc5549af9a6 | InstanceInFolder | InDef0 | TypeMismatch |
| 5eb1b5d0a3f4c5c370b27a8ff227aba3cc96445a | InstanceInFolder | InDef1 | TypeMismatch |
| 646ede0d15fcf5be563bec1fbba58b92015f7291 | InstanceInFolder | InDef1 | TypeMismatch |
| eded2b3a9b03fd48bb14430c5ab92c241bfad60e | InstanceInFolder | InDef2 | TypeMismatch |
| c22924bb8c031f8fe1d51cd06986e9323707fdf8 | InstanceInFolder | InDef2 | TypeMismatch |
| e3fc9fbf9811bb8b4a80483f69033a6252d3a23a | InstanceInFolder | FunInDef | AlreadyCombined |
| 7dd6d9b8811b9d05bd66c800807a5401fb5cbf0c | InstanceInFolder | FunInDef | AlreadyCombined |
| bb2398c4787ef317fe4ef3846f957067ca643fe1 | InstanceInFolder | ExistsInDef | AlreadyCombined |
| 86d2e8c841b4edb0ed3163df1d5998b315f086f2 | InstanceInFolder | ExistsInDef | AlreadyCombined |
| 5900006d11ea108e0d467218bb5c7785b9920445 | InstanceInFolder | ForallInDef | AlreadyCombined |
| 9ecc055d6d6ebc27190c4411caa3cf15b9af680a | InstanceInFolder | ForallInDef | AlreadyCombined |
| a71e5b8e7c25e42cc9e8f5771ad901862fb2bcb3 | InstanceInFolder | ChooseInDef | AlreadyCombined |
| f09fe8621b807c0a1d539379c18280454767ed45 | InstanceInFolder | ChooseInDef | AlreadyCombined |
| 94355db28e156ca6e5b9a7ffb433a4d4d3ad74f8 | InstanceInFolder | Except0 | CanNotBePlug |
| 63674f0f03f8b0baf2e6580b99c96e6739416e73 | InstanceInFolder | Except0 | CanNotBePlug |
| 1f0686cd47e18fb60fb7598e3be529ba09ea9622 | InstanceInFolder | Except1Fun | CanNotBePlug |
| daa7fe9bb339940da3463d67836a55563c28fce1 | InstanceInFolder | Except1Fun | CanNotBePlug |
| 91b560eab2c374533730d736eaf07582437adedb | InstanceInFolder | Except1FunWithAt | CanNotBePlug |
| 6954eec10e0d27186db1cdc208d975c9e6ea89f1 | InstanceInFolder | Except1FunWithAt | CanNotBePlug |
| edc4047016d48697cec2bcdc11c67548f8f1eb04 | InstanceInFolder | Except1Rec | CanNotBePlug |
| 4a5ea163b5d7fdc75f292c3779d3f9a7567e1041 | InstanceInFolder | Except1Rec | CanNotBePlug |
| b72e0a9658173c15b7ee90597e9bf204e33a64af | InstanceInFolder | Except1RecWithAt | CanNotBePlug |
| 010933052d05462e84f4a214342b836a14858eba | InstanceInFolder | Except1RecWithAt | CanNotBePlug |
| 3c5663778d4ae60a07295e2b24de2ef85b130c7e | InstanceInFolder | Except2Fun | CanNotBePlug |
| 4619c71259e111adb8bdc24460f626d5ff58d032 | InstanceInFolder | Except2Fun | CanNotBePlug |
| 0897b1483a3b80c90e88a9e2bb6b08ac9aa60aa3 | InstanceInFolder | Except2FunTuple | CanNotBePlug |
| de190add5e367a934cc4758029545c70b7261aa3 | InstanceInFolder | Except2FunTuple | CanNotBePlug |
| aad9ac22a38eb47acdac96b6b8421abe9e46fa4a | InstanceInFolder | DefFunInDef | AlreadyCombined |
| 57f79aa4d77a85b4d96139290feadd57dd2b0f96 | InstanceInFolder | DefFunInDef | AlreadyCombined |
| 671d0b9006dc0580843de5e5aad67ad2920c50d7 | InstanceInFolder | LetDefFunInDef | AlreadyCombined |
| 0a217ecb762c23580aee0d53e22a8009dc810505 | InstanceInFolder | LetDefFunInDef | AlreadyCombined |
| 7558bc5c6b90c250bfdd15f5ba9683cd9f39405b | InstanceInFolder | VariableViewExclude | VariableExcludedFromView |
| 74ddf0e95505a3c7b82b3b1ac583d58655e35937 | InstanceInFolder | VariableViewExclude | VariableExcludedFromView |
| da7b3a2a7137e1dd7918a3d0bd3c83f2d32ae4be | InstanceInFolder | Assume | AssumeIsNotEmbeddable |
| 613c3121033a836aeb171f77948470f7c35c3cff | InstanceInFolder | Assume | AssumeIsNotEmbeddable |
| 317f38b52fcd7925a7f706c3a02052f954f6b014 | InstanceInFolder | AssumeNamed | AssumeIsNotEmbeddable |
| 8793a93d1cc028e962d9b65ae4c46c56f470a383 | InstanceInFolder | AssumeNamed | AssumeIsNotEmbeddable |
| cfdb0c1625b619400dabbe9a7d5c70125ba17031 | InstanceInFolder | Lambda | TypeMismatch |
| cfb848156604840ad52c67c9468fc96c7d99286c | InstanceInFolder | Lambda | TypeMismatch |
| bad1aeb49a21baf37d39fefc694a6befb32da13d | InstanceInFolder | SeqSeq | TypeMismatch |
| 47e25fe59b2c93dab9dcee696165ca545b6aa5d1 | InstanceInFolder | SeqSeq | TypeMismatch |
| 16307cf8909db1590617139200c581c2d3ed5337 | InstanceInFolder | NatSet | TypeMismatch |
| b6adb6233c95d0adc2944173a313cf24aefe2eb1 | InstanceInFolder | NatSet | TypeMismatch |
| 28de423383c4d6cdf302008d0e1c05ec8e79fe9f | InstanceInFolder | IntSet | TypeMismatch |
| bc3c85b41028d2586c252bfc217f5cb48a4b9803 | InstanceInFolder | IntSet | TypeMismatch |
| 4532f7b211ea5775e4847a484c2d355825f079a9 | InstanceInFolder | StringSet | TypeMismatch |
| 754e407030603f0876c7924d5c5bc11dae319473 | InstanceInFolder | StringSet | TypeMismatch |