Index

Skipped feature combinations by case feature Variable

Id Case Feature Plug Feature Skip Reason
176f70b9954e6598c115b026af7d672aa42eb7dc Variable AndProp KindMismatch
0be52d10223df969d57e2a1ee1b8091f3bba3467 Variable AndProp KindMismatch
7bcc5595e5d88637a6757a2b4df8e0d86a716e2e Variable Boxed KindMismatch
03a536822fac029e15337490b34b042662331bb1 Variable Boxed KindMismatch
97834074fa68f170e4341f939b08348f8e462b8a Variable Set1InDef AlreadyCombined
6855cd65d6fc13177f19e57246fe4d81f5feb4da Variable Set1InDef AlreadyCombined
a4e3c700e070d8e6f76f0053eb74ac6ee02a080a Variable Set2InDef AlreadyCombined
2c7d39e6af399320d13091f817284b33b03e0744 Variable Set2InDef AlreadyCombined
9fd6efb6b005a95aad112eeb0ab4b5f630e51ce8 Variable InDef0 TypeMismatch
62fe77b83b28cdfc4b78c796b4e9213677c9609a Variable InDef0 TypeMismatch
7f0ef684381e236623a85cdbca1e55263b9e91ab Variable InDef1 TypeMismatch
4833f73fbd760b788dc76636ada9fab91cfaaba5 Variable InDef1 TypeMismatch
5e5ab0dac8b5abbd3dc84793bc399ed0b6e1dfa0 Variable InDef2 TypeMismatch
7163cc46b69a86a3fa192aaf15ae77b278c6750c Variable InDef2 TypeMismatch
9b74e4be0aaa381f531ddbc31254e0310cf0a180 Variable FunInDef AlreadyCombined
2317a3ebbbf0d7fd77e7e3a89ef50871df7125d1 Variable FunInDef AlreadyCombined
2a04836508cecba64ebad536c5fd91e32ff4625c Variable ExistsInDef AlreadyCombined
ce3cf91a50c55ec4ea4e73cb21f9a4f1cf45035c Variable ExistsInDef AlreadyCombined
a1f31eae9d3666d268e6463949df0a04edadda80 Variable ForallInDef AlreadyCombined
5c034d2a859cc79cba585f7714222af1dfb4770e Variable ForallInDef AlreadyCombined
89e9daec314f1b521b26fdd21c85cc041cd6facf Variable ChooseInDef AlreadyCombined
c22072a23bc2d61cff09a32186167b4eb1635449 Variable ChooseInDef AlreadyCombined
9fdf83e9c24eb5f3089f2a72ef0e1a933866001d Variable Except0 CanNotBePlug
6e07217b10ec3b56dd839a8e66caa38d6eba9bf6 Variable Except0 CanNotBePlug
eb07d5bcbb28a4b10d5882bade6342f102aec1d4 Variable Except1Fun CanNotBePlug
8e528a5b1dbbd1564e485d222121d2753b75e0a4 Variable Except1Fun CanNotBePlug
8703a8741a8389592c721400f12bd8e84a2e4ccf Variable Except1FunWithAt CanNotBePlug
4958ccea55409c21997d2b3543518f5f718af749 Variable Except1FunWithAt CanNotBePlug
be6b1cd42f1eba4a0342a0aab43be025d17a4d3d Variable Except1Rec CanNotBePlug
62bfcffbbf6834ed8ee537e299122f43d94d4c0f Variable Except1Rec CanNotBePlug
4947c3717a245ad874edd7beb5dfc36704b27823 Variable Except1RecWithAt CanNotBePlug
7c3b8b4943e1263b802bec36cd784cca8e2fb7ca Variable Except1RecWithAt CanNotBePlug
ed2004dd0ec7f373f51e9f37c71f6de31778e2db Variable Except2Fun CanNotBePlug
639baf77d1744c88e6704eec7be8b3f91661fc76 Variable Except2Fun CanNotBePlug
5786209cfdc9bc612255c2bae0b50ad760fd64ca Variable Except2FunTuple CanNotBePlug
2ab24327433aae9f705072ff65459f45a759eb58 Variable Except2FunTuple CanNotBePlug
bd6a474e003ce3da3566af53f3c77b00c85ffcf6 Variable DefFunInDef AlreadyCombined
7be8fceb548ad0f97b12048716adcda89d876a2d Variable DefFunInDef AlreadyCombined
12b30a56c00463b602162d5c2863223c40543cc9 Variable LetDefFunInDef AlreadyCombined
d0ee405eddb6349748a2f6173e0878236f7a121b Variable LetDefFunInDef AlreadyCombined
b373bf084a842782e6563c6160ed5fdc882b352f Variable VariableViewExclude VariableExcludedFromView
4be4e8924aad306b13f3796a5ae20c95c2eb6ffa Variable VariableViewExclude VariableExcludedFromView
922ddba5f9a518c3b4d3249bdc96c7f20e76d503 Variable Constant KindMismatch
fdac06b877a340f8b623a65c38f450e66fc94972 Variable Constant KindMismatch
13dbd3e5b07f7fb5023252506a08f67e918c777c Variable ConstantModelValue KindMismatch
b2097c46989af0f2b768fe94b919476032cbe09f Variable ConstantModelValue KindMismatch
07db42eec7153196da048c98c469f57551e6b87b Variable ConstantRank1 KindMismatch
7c64f6c3f43f11ee2874c888299a1e947e817e34 Variable ConstantRank1 KindMismatch
cb36f68478407b4fb868ff02742985f600749da7 Variable Assume AssumeIsNotEmbeddable
6d6536c4ca87d54d2bcbf296f102c21852be8d4a Variable Assume AssumeIsNotEmbeddable
6d1197d716a547bf257164009867ab94bfda38b0 Variable AssumeNamed AssumeIsNotEmbeddable
7a01307f34d47fe07b831c6480dc179ce1fdbe9b Variable AssumeNamed AssumeIsNotEmbeddable
b0c4441059e2f09cbcb35295dc43e774624a0626 Variable Lambda TypeMismatch
d6511dce130440d0b4a9eb2c5b8723d3fa2cded3 Variable Lambda TypeMismatch
59b601c1f7eb5aad0c7746d99b1598f8186ed2c8 Variable SeqSeq TypeMismatch
733da108cdeeb307adb3ebc2587c3acbc607ba89 Variable SeqSeq TypeMismatch
865da50056aaa964b520f6b08425976003afda56 Variable NatSet TypeMismatch
8863f3f3e9537409b1712575de1f638c16158fad Variable NatSet TypeMismatch
df73b024a11a55ce52d7bc003dbae7f9032144bb Variable IntSet TypeMismatch
04243b0688c7dae9cfc9cc0151c27fde10020d58 Variable IntSet TypeMismatch
18857beaf59046f73eabe07c550681fe137ec873 Variable StringSet TypeMismatch
e00bd21acdc4e2eb056b4acc3eb2aca66608bcf8 Variable StringSet TypeMismatch