| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| c00370ef53ff9eed26dfbfc9d31959cb46a3f02b | OneLineComment | ExtendsInDifferentFolder | CanNotBeCase |
| 2ae13fc7dde2daff6fb8d97a3c0bbe41b1fb5291 | OneLineComment | ExtendsInDifferentFolder | CanNotBeCase |
| 24dff566e452b02aadfe8c84fbd119b58e8ccb27 | MultiLineComment | ExtendsInDifferentFolder | CanNotBeCase |
| bd3a666638031849b3c94d3f30402934b230b28a | MultiLineComment | ExtendsInDifferentFolder | CanNotBeCase |
| 4e6df8da12ee79de8863410113d86185222b3cfa | BoolTrue | ExtendsInDifferentFolder | CanNotBeCase |
| 72e49a24559826cfe87191cb4ce378edb5ca3b07 | BoolTrue | ExtendsInDifferentFolder | CanNotBeCase |
| 7916710119d6cc51f0ba5412ac7fb08bc091bb3d | BoolFalse | ExtendsInDifferentFolder | CanNotBeCase |
| b3e5ef1188d1fded7534df8f8fff5360efcd9467 | BoolFalse | ExtendsInDifferentFolder | CanNotBeCase |
| 68c55de11abc522466937799b2d91ef105bff7b9 | BoolSet | ExtendsInDifferentFolder | CanNotBeCase |
| 691fe768c8559fd28156c214537f2c2c71ce3fd8 | BoolSet | ExtendsInDifferentFolder | CanNotBeCase |
| 54768829c255a4a4b0612b907966a0115608eead | SetEmpty | ExtendsInDifferentFolder | CanNotBeCase |
| 8a25e1e350a80f8d9e37cae3bb390e9b14b552cd | SetEmpty | ExtendsInDifferentFolder | CanNotBeCase |
| d36142b2c5ecbc82dc0a57d28bb0fa3f663636f9 | Set1InDef | ExtendsInDifferentFolder | TypeMismatch |
| 485c3a95d6c439170607d6679e07f17b19ea569c | Set1InDef | ExtendsInDifferentFolder | TypeMismatch |
| 66735afa412e60a3c6208ce54defe3635e90ef66 | Set2InDef | ExtendsInDifferentFolder | TypeMismatch |
| 8a1b68a60f0a511276180dc2045f9414a734d2e3 | Set2InDef | ExtendsInDifferentFolder | TypeMismatch |
| ac123a88831b0736bbe136477edb2dbe8b4cde03 | InDef0 | ExtendsInDifferentFolder | CanNotBeCase |
| 01794497910aa130e7e7938c33ab358b263718ec | InDef0 | ExtendsInDifferentFolder | CanNotBeCase |
| c7e998993beb4ceb1d2d024ddc3d372538db008c | InDef1 | ExtendsInDifferentFolder | CanNotBeCase |
| 492cd6e97746ebd549ddd1e75ad92e10597a291a | InDef1 | ExtendsInDifferentFolder | CanNotBeCase |
| 2751a08b77bd53de7960b6c9b6c69c140f15e8a3 | InDef2 | ExtendsInDifferentFolder | CanNotBeCase |
| 100c520ee13b43c8d14a95c600783247a60e628c | InDef2 | ExtendsInDifferentFolder | CanNotBeCase |
| 89c5036c13566cb73b42ff1824695062c20d9b74 | FunInDef | ExtendsInDifferentFolder | TypeMismatch |
| 86907a26c5c3e997cb8f2b6429208cf961893c93 | FunInDef | ExtendsInDifferentFolder | TypeMismatch |
| bec635b0300fe83bb4f0b4c7e73c7655e4827c77 | ExistsInDef | ExtendsInDifferentFolder | TypeMismatch |
| b14c5296e43d568f4db02bd058178d7c097d25c8 | ExistsInDef | ExtendsInDifferentFolder | TypeMismatch |
| 88bb7d9f352ec34c312e1cc8642688e42d2e781e | ForallInDef | ExtendsInDifferentFolder | TypeMismatch |
| 18c1af693b0ebf3ef7e6df4ac89750050095d219 | ForallInDef | ExtendsInDifferentFolder | TypeMismatch |
| 6ce98e234f7f960f4c1aa0a27b6ce817cebb9ac0 | ChooseInDef | ExtendsInDifferentFolder | TypeMismatch |
| b48310dd7f540f9334aec012538c46cf792e6fac | ChooseInDef | ExtendsInDifferentFolder | TypeMismatch |
| b7d69d267f64b3e8d6d53a880e2bd0870535710b | TupleEmpty | ExtendsInDifferentFolder | CanNotBeCase |
| 6c2c095e7253b5aad129a7971ca5993423d8aa68 | TupleEmpty | ExtendsInDifferentFolder | CanNotBeCase |
| 1c1d8df8817331306c957db768ccc3a2718a4021 | NumZero | ExtendsInDifferentFolder | CanNotBeCase |
| f3ef7a7ea653120fefa372bec2b6c57700de8d85 | NumZero | ExtendsInDifferentFolder | CanNotBeCase |
| 9624f531df441cb60c9b790843786c396d395298 | NumOne | ExtendsInDifferentFolder | CanNotBeCase |
| b1571b7d711cbfa022c3154753e4f94f71f1ddcb | NumOne | ExtendsInDifferentFolder | CanNotBeCase |
| dbab78544cf765b7afaeee0c651a54795b525f64 | NumMaxInt | ExtendsInDifferentFolder | CanNotBeCase |
| 7fdf2d4b48590225ba979dc9e78a7e9ddd0d0c06 | NumMaxInt | ExtendsInDifferentFolder | CanNotBeCase |
| 4648ce6862b22fd9b6e80beab68a75064f54adbd | DefFunInDef | ExtendsInDifferentFolder | TypeMismatch |
| 5cf993fb3fcb7934128529acdfd147f0a4116a6c | DefFunInDef | ExtendsInDifferentFolder | TypeMismatch |
| af5cf6edc11726fd2656b728344b8b836493e519 | LetDefFunInDef | ExtendsInDifferentFolder | TypeMismatch |
| 143ee4847ec6b5be39b21b181e1b540ba7d1cc28 | LetDefFunInDef | ExtendsInDifferentFolder | TypeMismatch |
| 220293e144a2eeb6bb967004e1aab650087d32c2 | ConstantModelValue | ExtendsInDifferentFolder | CanNotBeCase |
| d06fb5027c76fd201ceb19de1a050bbd1e0bdd11 | ConstantModelValue | ExtendsInDifferentFolder | CanNotBeCase |
| beee59de192e18a12f5eb95431e88327165de89d | StringEmpty | ExtendsInDifferentFolder | CanNotBeCase |
| 1d49aab6dad3e1094e997e3aaca6771a91ff86ac | StringEmpty | ExtendsInDifferentFolder | CanNotBeCase |
| 589efda3e9ed9c1ed7642f6f2d3714ff10f7f4c1 | String | ExtendsInDifferentFolder | CanNotBeCase |
| 581cf39dff3bcc38a7b4fec8b022f79511eefc50 | String | ExtendsInDifferentFolder | CanNotBeCase |
| 687aa1bf6d0e765dcdd24f74cab108128af59fc1 | NatSet | ExtendsInDifferentFolder | CanNotBeCase |
| dfd740d3072809cb0470b5a4f03a48c26b5d7944 | NatSet | ExtendsInDifferentFolder | CanNotBeCase |
| 682edad54531e10d167f6a85c3de60c01a309f8b | IntSet | ExtendsInDifferentFolder | CanNotBeCase |
| 4442cd891797bb3abb62ef154089d34fcbb7a4f0 | IntSet | ExtendsInDifferentFolder | CanNotBeCase |
| b06a2c7b68be0a833f3ecda1b1232a9d06b3382a | StringSet | ExtendsInDifferentFolder | CanNotBeCase |
| c1a020462618d7f39ea31bcec1ad6974b43a58b0 | StringSet | ExtendsInDifferentFolder | CanNotBeCase |
| 13ca55e5d43ce6d8ca86f0ccc622fdd4211a24e2 | BagEmptyBag | ExtendsInDifferentFolder | CanNotBeCase |
| af409ebc6e9e3d515b5cc12b5448003372e4f5a0 | BagEmptyBag | ExtendsInDifferentFolder | CanNotBeCase |