Id | Case Feature | Plug Feature | Skip Reason |
---|---|---|---|
83bcd828af7e68c9825df629d641641edd583c86 | LetDef1Recursive | Set1InDef | AlreadyCombined |
76dfa4348dcc6dbd9284a8694597fe2322e67987 | LetDef1Recursive | Set1InDef | AlreadyCombined |
338644179f5463b11248124e42b78c983429f7b3 | LetDef1Recursive | Set2InDef | AlreadyCombined |
4339a8d36338c50ddfff03e6063c1771c056d189 | LetDef1Recursive | Set2InDef | AlreadyCombined |
6d2c46f96fbad9276afb265fb39ffe737fadb860 | LetDef1Recursive | InDef0 | TypeMismatch |
b3ac7600226b1264144eea538a6398a528a96c25 | LetDef1Recursive | InDef0 | TypeMismatch |
714aa90584eb53bdd877e2d664122b7852046329 | LetDef1Recursive | InDef1 | TypeMismatch |
3c734f3424f2c87920b1fef6e5bd60a962f897e8 | LetDef1Recursive | InDef1 | TypeMismatch |
bfc22e906eacd377c5e84c7ff9ce25e04a28152b | LetDef1Recursive | InDef2 | TypeMismatch |
99fac223828cd5e747bd6a5655a66411c989c180 | LetDef1Recursive | InDef2 | TypeMismatch |
a85bdc2ae6e621b0f103bb2bd4ab0974d43aad6a | LetDef1Recursive | FunInDef | AlreadyCombined |
cd7d9691e9a5834378b001ce00146fdb177726a7 | LetDef1Recursive | FunInDef | AlreadyCombined |
000c6d2db76c93d713a036f3857858e10a92a289 | LetDef1Recursive | ExistsInDef | AlreadyCombined |
83d866ef346e89eb3f9bb5e2645f676cb1d32459 | LetDef1Recursive | ExistsInDef | AlreadyCombined |
6c4e71cee7ee84f416db2c723a38eba599858ffe | LetDef1Recursive | ForallInDef | AlreadyCombined |
702c0922da557b375975cf0ae5229e982336ad67 | LetDef1Recursive | ForallInDef | AlreadyCombined |
fa7eb0808c4447da68f3bdc1acf3f0c172a34836 | LetDef1Recursive | ChooseInDef | AlreadyCombined |
51d853d91c70a313ca6e74d3c00308da434d59dc | LetDef1Recursive | ChooseInDef | AlreadyCombined |
ceea25e97e06435746f3f0e5dd11ccb50259838e | LetDef1Recursive | Except0 | CanNotBePlug |
f6f439c8b855232d6fe7d2c163ce4b8af407eca3 | LetDef1Recursive | Except0 | CanNotBePlug |
97148ad0805939c71d824b743d1ef81c3d35c2c4 | LetDef1Recursive | Except1Fun | CanNotBePlug |
17c187c4055dca5a20216d36c64133830830bd4f | LetDef1Recursive | Except1Fun | CanNotBePlug |
6dd410558a1c70ba44eb60ed33cfcd8e8e25f27e | LetDef1Recursive | Except1FunWithAt | CanNotBePlug |
8568cd857227023ad5750e85af40b8091ae09f4b | LetDef1Recursive | Except1FunWithAt | CanNotBePlug |
ddbe21048572a9498b8509894ad4e41b479bb529 | LetDef1Recursive | Except1Rec | CanNotBePlug |
4788a1e2b31554c22db777e18b3aa1af596c2d49 | LetDef1Recursive | Except1Rec | CanNotBePlug |
1282862530f9ed3b0edd5048031062218b52f41f | LetDef1Recursive | Except1RecWithAt | CanNotBePlug |
0df8ccbea5c169c4c3b2f3737c150e0c6607830c | LetDef1Recursive | Except1RecWithAt | CanNotBePlug |
ce766d83371fd222e4e80beaf23c333da145db0f | LetDef1Recursive | Except2Fun | CanNotBePlug |
653830c6b9693e32da355c4ef82348a0fcbd30cc | LetDef1Recursive | Except2Fun | CanNotBePlug |
cdeb1a484e13b7c2e64f424396eb83d439f53ea7 | LetDef1Recursive | Except2FunTuple | CanNotBePlug |
bddbf3eefe34d81cc8c7f534078127713cabb340 | LetDef1Recursive | Except2FunTuple | CanNotBePlug |
58a4a1eadf065c4e5fa5fd7b069baa65f3bf41ce | LetDef1Recursive | DefFunInDef | AlreadyCombined |
692218e7e34475d58d78e5987d5e6c5ef9b28e31 | LetDef1Recursive | DefFunInDef | AlreadyCombined |
302ed20352eb08d177714946a40e2c248bdf3f6d | LetDef1Recursive | LetDefFunInDef | AlreadyCombined |
ec5a9dc4fbe176481105023364f71b274f7d3ad0 | LetDef1Recursive | LetDefFunInDef | AlreadyCombined |
1a15bccbe7023682b11643422de2f3c2d281ae75 | LetDef1Recursive | VariableViewExclude | VariableExcludedFromView |
cf1d19d7310a567d3146d3391802358759d3552b | LetDef1Recursive | VariableViewExclude | VariableExcludedFromView |
3dbc5264b955439156e9f192af056832ba0ed5b1 | LetDef1Recursive | Assume | AssumeIsNotEmbeddable |
b07e28f8bb0bbcaeb7984a5fd8161c8ff6de0650 | LetDef1Recursive | Assume | AssumeIsNotEmbeddable |
320a09044bbdfcf02822a25cbcbf04dd39c525e9 | LetDef1Recursive | AssumeNamed | AssumeIsNotEmbeddable |
b1e0354cd8f712d34e70d46ef3cf1ea5db92e86c | LetDef1Recursive | AssumeNamed | AssumeIsNotEmbeddable |
bec2f80220da9b73bf43063ae0225b23298e3c0f | LetDef1Recursive | Lambda | TypeMismatch |
d1f2ee47da59c9b2404d4af0832d587d1104dc10 | LetDef1Recursive | Lambda | TypeMismatch |
186c21db99892c6dc589fa0d9ca635d52b6534a9 | LetDef1Recursive | SeqSeq | TypeMismatch |
719fdaff0773a4c3069f98d6069da0594ce18e0b | LetDef1Recursive | SeqSeq | TypeMismatch |
eead3d4c6f82b66d15a37ab9b45ff882152b2429 | LetDef1Recursive | NatSet | TypeMismatch |
b1c9496dbe2af8a40c010b680d034ac71764f647 | LetDef1Recursive | NatSet | TypeMismatch |
baa051cfc247ba95cf8d7b07df4ddae3b5317e6f | LetDef1Recursive | IntSet | TypeMismatch |
07e970bb5221cb5848fffa1c36ec808f8f2bc498 | LetDef1Recursive | IntSet | TypeMismatch |
973bcb45c1498cf7e594918e904bf8b0fa038469 | LetDef1Recursive | StringSet | TypeMismatch |
3b7d205d30d6a6511c9738dd776cff0900dfad1c | LetDef1Recursive | StringSet | TypeMismatch |