| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| 1cae018d5ea5a8299d41a083a1b672a530313150 | TlcSingletonFun | AndProp | KindMismatch |
| 3561a3177d15c43aeebb6f160d4fbf13f341d5e3 | TlcSingletonFun | AndProp | KindMismatch |
| 8c502d80299ed64ae498ebbccd8f0c5603418cd3 | TlcSingletonFun | Boxed | KindMismatch |
| 06c69dfdc8b860627de88113f4392b5c7e97c175 | TlcSingletonFun | Boxed | KindMismatch |
| e9f11fa0a4ecfada6bfcf71d7efd917a530f17c6 | TlcSingletonFun | Set1InDef | AlreadyCombined |
| 083b104051e5336c7ced0737800d00b3817c2a91 | TlcSingletonFun | Set1InDef | AlreadyCombined |
| 52618b12ed9a61d74f70818cd22903f5e7cae1dc | TlcSingletonFun | Set2InDef | AlreadyCombined |
| 2a6bb22a83d5fda796f6c1462df752ce1d8aadd8 | TlcSingletonFun | Set2InDef | AlreadyCombined |
| 06fc982c6b56965e594fce4657a332c778a16fd4 | TlcSingletonFun | InDef0 | TypeMismatch |
| 9163024c2e22f37c2f3f584ba1b1e43f6495d7bc | TlcSingletonFun | InDef0 | TypeMismatch |
| 9c68d82b204a8fa15425621c42488b1eac77ad18 | TlcSingletonFun | InDef1 | TypeMismatch |
| 726cf9e5c5dad3a7cb256289c8459f7cb52883ee | TlcSingletonFun | InDef1 | TypeMismatch |
| 23ee2ffb6e4ae8c8e1637e6fe1bb74b8ed014548 | TlcSingletonFun | InDef2 | TypeMismatch |
| 9f04dea27d8ffd5f426e9a59fb3e74d8d7701283 | TlcSingletonFun | InDef2 | TypeMismatch |
| 8e4a54c9adb6bfcc82ecd13b6cea143760e35dce | TlcSingletonFun | FunInDef | AlreadyCombined |
| 46fc74daaddc6e70c01c9c95517c7740916b8dac | TlcSingletonFun | FunInDef | AlreadyCombined |
| c55674caef7809fbffb3523022139969638bd51c | TlcSingletonFun | ExistsInDef | AlreadyCombined |
| cba688c086f696817849ebf65b022694c5fd0ce7 | TlcSingletonFun | ExistsInDef | AlreadyCombined |
| 769b4b75850f9d7d1e97ce8ae9e9bb4d91101402 | TlcSingletonFun | ForallInDef | AlreadyCombined |
| 62f4eaec58e983adb39fc4fbdaee1cbb1a18aca1 | TlcSingletonFun | ForallInDef | AlreadyCombined |
| 4a7839e9a3ebee1f1486a9a05f4b338bc173eed3 | TlcSingletonFun | ChooseInDef | AlreadyCombined |
| ad8502c1bfdb1224661a52bbab1d7043f2b7dfbd | TlcSingletonFun | ChooseInDef | AlreadyCombined |
| 13290aeb9559774a4aa74789820021319cabff63 | TlcSingletonFun | Except0 | CanNotBePlug |
| f16f209bf09f7bedf5913faa29297abe02c2b9ea | TlcSingletonFun | Except0 | CanNotBePlug |
| 9216d54e754346ff5df11ec8032599c5559750c2 | TlcSingletonFun | Except1Fun | CanNotBePlug |
| b8dc2f4b1b6f06c16245011054494b68472160b4 | TlcSingletonFun | Except1Fun | CanNotBePlug |
| 243af8a8ae3010218be4d6a27e986adf810ff782 | TlcSingletonFun | Except1FunWithAt | CanNotBePlug |
| 02b2fdafcfa3381e3e4290bc34e34eaed08156f1 | TlcSingletonFun | Except1FunWithAt | CanNotBePlug |
| d907c0cda34d6b87c476322bfe2728f7c6ac63c4 | TlcSingletonFun | Except1Rec | CanNotBePlug |
| 361e0dbd3cfb244fe95cf46c28ce7e8cfb99ab4d | TlcSingletonFun | Except1Rec | CanNotBePlug |
| d57ed8aec56288e6908a0c598de0b904b07d34c5 | TlcSingletonFun | Except1RecWithAt | CanNotBePlug |
| abce2ba08561e72b73eea9048ff068296103798e | TlcSingletonFun | Except1RecWithAt | CanNotBePlug |
| 5fabc2205b24b7caf613cf99ae7ab96dfd03355e | TlcSingletonFun | Except2Fun | CanNotBePlug |
| 773cadab6201ca15898884abdc8a97119ae45dac | TlcSingletonFun | Except2Fun | CanNotBePlug |
| 1f7e9bc6e0ef5dbdf1e8ddd01afbfcdca6e8abed | TlcSingletonFun | Except2FunTuple | CanNotBePlug |
| 22d63413fac8eb410013aaae1fbeceacac2ac8b1 | TlcSingletonFun | Except2FunTuple | CanNotBePlug |
| f042351a0cca6a9f45d18c92e093d848e455bb21 | TlcSingletonFun | DefFunInDef | AlreadyCombined |
| 5677f76d97018f1215096f1d5f366687a1d2dc64 | TlcSingletonFun | DefFunInDef | AlreadyCombined |
| 39f7ae460f5b85abb5ed43bfd683b184606433a0 | TlcSingletonFun | LetDefFunInDef | AlreadyCombined |
| b08f66f1e485cf519a50b6b43da57ed9b885112f | TlcSingletonFun | LetDefFunInDef | AlreadyCombined |
| 2812ed4b610b9ff995db46d1352a3a1598364775 | TlcSingletonFun | VariableViewExclude | VariableExcludedFromView |
| ee7e85c6342034c4fec7221c16cbbf0974ca5db2 | TlcSingletonFun | VariableViewExclude | VariableExcludedFromView |
| c9769c47a59a9144826cd19ee1929b94eaeaec1d | TlcSingletonFun | ConstantModelValue | ModelValueCanNotBeUsed |
| 68943b185c155181193591b51dec629b7cf198ee | TlcSingletonFun | ConstantModelValue | ModelValueCanNotBeUsed |
| 586a1db236e45140efa85423ebce945cd3c4a46d | TlcSingletonFun | Assume | AssumeIsNotEmbeddable |
| 2f8c40394400c8fdd6a85596aaa688a38f168303 | TlcSingletonFun | Assume | AssumeIsNotEmbeddable |
| 6fefb060767bf8ae540b8576f7b72037500e0f92 | TlcSingletonFun | AssumeNamed | AssumeIsNotEmbeddable |
| b390a1e66514107ca96afb83431b6725c87d3016 | TlcSingletonFun | AssumeNamed | AssumeIsNotEmbeddable |
| f630168e0a20cd9547867124abefe3a8eacd261b | TlcSingletonFun | Lambda | TypeMismatch |
| fce19519846f34b314156bdda08202752b390db3 | TlcSingletonFun | Lambda | TypeMismatch |
| dddcc547a4dd3d0b642015e25986fefd52d16fe4 | TlcSingletonFun | SeqSeq | TypeMismatch |
| d8b480085b97620a64c326e58817efaf7a0d21bf | TlcSingletonFun | SeqSeq | TypeMismatch |
| 830bdd30667b57a1ca60256c8776a70c7d13a214 | TlcSingletonFun | NatSet | TypeMismatch |
| d555b20867d8ab4ab3c028783fa2d348f63f13f9 | TlcSingletonFun | NatSet | TypeMismatch |
| 0ad6e512b53d5f6309bb5c8e8348d6229d272ca1 | TlcSingletonFun | IntSet | TypeMismatch |
| 7232f78b53778391c09a16f63f828079aeb8274d | TlcSingletonFun | IntSet | TypeMismatch |
| a82c9dcc1fe94e7b8cef2d1a2053ad54a7d215f8 | TlcSingletonFun | StringSet | TypeMismatch |
| edcfe302962207aa909b4f9f4412af0e4eae1899 | TlcSingletonFun | StringSet | TypeMismatch |