Index

Skipped feature combinations by case feature Def0

Id Case Feature Plug Feature Skip Reason
0ab546822061abc417d8cf2844961cd8356e4b0e Def0 Set1InDef AlreadyCombined
2e4d31ee600063d4b2bbd46d174942d164d988e1 Def0 Set1InDef AlreadyCombined
dc656c62c0eac8cbe37251c3180db1f73a317746 Def0 Set2InDef AlreadyCombined
76d041cc049f2f4b87a5350021abe404f23c664a Def0 Set2InDef AlreadyCombined
b47ec9f7476753c99edef796b0505abbd6f56d7c Def0 InDef0 TypeMismatch
40a0c507cf31010a08df2a38bd2be65e3794287e Def0 InDef0 TypeMismatch
c2d20351fd739f0127a494f86c703204b2952abe Def0 InDef1 TypeMismatch
4685253e28cd27c514cac790e5353dc2b4ddc298 Def0 InDef1 TypeMismatch
cccdefe5f7159626f2455e41caafd8f78b3dcdbc Def0 InDef2 TypeMismatch
609fb126b61fa86e81435531e0e24967ce30785c Def0 InDef2 TypeMismatch
a3e073cc88eb387ef6095beaae33d52086bd2251 Def0 FunInDef AlreadyCombined
7688e8e32244aea1715bcbf5a408403b4676872f Def0 FunInDef AlreadyCombined
16ad2b7a58030fdbad8c30f02ae74f9abc7e4d70 Def0 ExistsInDef AlreadyCombined
d2c58986c02ef7a3c33d66465b65c114e0329d38 Def0 ExistsInDef AlreadyCombined
5c403451fc9e18bfaa66dc3e2fb2195b89c3fcf9 Def0 ForallInDef AlreadyCombined
61d1185a12de94055ff3d1a21844b68b42893325 Def0 ForallInDef AlreadyCombined
30a394e96fef68a4ddd6346845ec03e487bd3e56 Def0 ChooseInDef AlreadyCombined
121952722c61d42fbb131ca6ddb74d5150c40c9a Def0 ChooseInDef AlreadyCombined
3f6d389087be64a850f3a527d4094b4b176a6346 Def0 Except0 CanNotBePlug
5383487db65867ed91682f715301e32c168716d0 Def0 Except0 CanNotBePlug
9a51892b4c91607fcaf873171bdf54347989d0bc Def0 Except1Fun CanNotBePlug
9891bdaaba719d083578a7cc0663ec8d8b0e541e Def0 Except1Fun CanNotBePlug
c847b177d9b159f7db2f06fc472e613fc95a1e87 Def0 Except1FunWithAt CanNotBePlug
e53d617aeb96ac3f60f55ed92b572c12c47f1b89 Def0 Except1FunWithAt CanNotBePlug
693dc1eb8534d034d36102fc596bc5c5b48e3036 Def0 Except1Rec CanNotBePlug
60e7d5dd4c91e3cd4caefe324aa5619da9ee904a Def0 Except1Rec CanNotBePlug
52b281f845d25b2c7b28eaadad71044f19301f78 Def0 Except1RecWithAt CanNotBePlug
f14d76058cac266102523dae29d07429c5a6725a Def0 Except1RecWithAt CanNotBePlug
de4836d822e199fffe54cbd36f4cb33daaac90de Def0 Except2Fun CanNotBePlug
52c8425adbec17944c96d9b7443a2c349082424e Def0 Except2Fun CanNotBePlug
bc5c4a8ed7bfa353270420fb15724651a506e5d6 Def0 Except2FunTuple CanNotBePlug
a46fe7a13e25d1cbe095b0603b28e72719ea49de Def0 Except2FunTuple CanNotBePlug
f19536261d1acdf5c00cc8b9515034d41accdd8d Def0 DefFunInDef AlreadyCombined
4be44a4cc9bbc8153ae9012a179ca77f1be75506 Def0 DefFunInDef AlreadyCombined
ceaf181ee7ba47581fc256cd992302ec652023b2 Def0 LetDefFunInDef AlreadyCombined
79eb5f908b3333f988d1da3a67b1a73d0a497638 Def0 LetDefFunInDef AlreadyCombined
e40558bb27e6b944498d12c2128eaa85a6e19ca3 Def0 VariableViewExclude VariableExcludedFromView
fe116581e2075b3a9df61b2a21c3917090749691 Def0 VariableViewExclude VariableExcludedFromView
abb201be72e178375cb77e170eb77f24c23cb8d0 Def0 Assume AssumeIsNotEmbeddable
260a2fea0ba7f6e6645c1cbb5edb04e3b6eba21a Def0 Assume AssumeIsNotEmbeddable
cb61b6c0654f0381d1fc2cad6feefcc7c5214669 Def0 AssumeNamed AssumeIsNotEmbeddable
0cbf38a8d75b630690ff544f7352c7bde1372dcb Def0 AssumeNamed AssumeIsNotEmbeddable
be460b9ebad360c790ba7181e5d65bda0fc9ca79 Def0 Lambda TypeMismatch
7ac68ee44b0f794ebaf7e57fdc154f7acadcd822 Def0 Lambda TypeMismatch
a3470e69e682d8075d4b8c97df5ad9c6d553e2e2 Def0 SeqSeq TypeMismatch
7aa7fd2312a0a4570c0b5e5b8f0a39f92c448c84 Def0 SeqSeq TypeMismatch
d13f67bf1c24cd4a0b804f7f50fe2f5df1eeacb5 Def0 NatSet TypeMismatch
1b0720f8a2dbcd8570346b319a300f6ac7b03641 Def0 NatSet TypeMismatch
efebd12b7590b14034775a292142125c6ef50916 Def0 IntSet TypeMismatch
4d6935bd398240f1b5795ee89e806452882396f9 Def0 IntSet TypeMismatch
edf3bf0f236b2f193a5ba67a397af0d645ec742b Def0 StringSet TypeMismatch
4e26834eb6ce2adbbcd71cc05a66d15617e2082d Def0 StringSet TypeMismatch