Index

Skipped feature combinations by case feature Unchanged

Id Case Feature Plug Feature Skip Reason
9c2016fc5a74473067e87f385ef900dfef358be4 Unchanged AndProp KindMismatch
b314928cc527e7430e1308501b387f409818e5df Unchanged AndProp KindMismatch
8716136dfa1ccd138f75a862ea1f7b41a6159ba0 Unchanged Boxed KindMismatch
9d4cb3406e37aa2d64e770873d73472a4ad1a56c Unchanged Boxed KindMismatch
6c7e90bb2f0e3e59f49c9e2d5e28e8a49ea9d064 Unchanged Set1InDef AlreadyCombined
5bf5cd2d9b3a48b1b9e407c8bd0c0736e1294687 Unchanged Set1InDef AlreadyCombined
a186651efeaa2a8e308d7630b9502ff76c1c2600 Unchanged Set2InDef AlreadyCombined
25796bb74b45738d413456205623ff3c916ded8f Unchanged Set2InDef AlreadyCombined
262758e2f0c0d54a3ffdf0e865c1e2106e0444a3 Unchanged InDef0 TypeMismatch
68c35672ca9eff6938fe55726d915351372feeb8 Unchanged InDef0 TypeMismatch
2a4e9151902b8b1e658be6df4bad7ee1a5fa56fb Unchanged InDef1 TypeMismatch
736cdd678a691d75c27e2c4817f93a83fef0e2d4 Unchanged InDef1 TypeMismatch
449657281e42dac999370d036da8ca578a367236 Unchanged InDef2 TypeMismatch
518280a31af065cc85545081b72ef4904315bc87 Unchanged InDef2 TypeMismatch
0bbdd25984459fd9e38f7ad7a7eb218b192c9340 Unchanged FunInDef AlreadyCombined
01b878a361375151073616878691f2f77a99f114 Unchanged FunInDef AlreadyCombined
5904deb7b5f3bf98211a18a734957ce4106a3282 Unchanged ExistsInDef AlreadyCombined
54454030affa3691149c9767c9ec132b0875b719 Unchanged ExistsInDef AlreadyCombined
07da4cf3c3d9a691c7da4f22d9ec168597636213 Unchanged ForallInDef AlreadyCombined
e3d164dc6f608ddc2027887ff373ff50369ef07a Unchanged ForallInDef AlreadyCombined
821af508027205a8a22b099671e138f90221b5ca Unchanged ChooseInDef AlreadyCombined
d325f1d5490f5e56df93e91e3f4dd860d606aa1b Unchanged ChooseInDef AlreadyCombined
cb5d967ff3b7267331a1e55d54b480ec5e310c4d Unchanged Except0 CanNotBePlug
f221ee30f9389c3e79672e9442272bfa103eb40f Unchanged Except0 CanNotBePlug
5d270687b35d711fd6e4deee0a5d6bf28b910192 Unchanged Except1Fun CanNotBePlug
99bb1639f96923988a0d5ec3dc70adcbe5d926f7 Unchanged Except1Fun CanNotBePlug
6580b3827bbd8410d463a4a78673bbb8e93e03b5 Unchanged Except1FunWithAt CanNotBePlug
3a1e719066897a275fdcd1ccfe007587687db9b2 Unchanged Except1FunWithAt CanNotBePlug
97440840ebb8b7d45e0abf0de30403ac18f6040b Unchanged Except1Rec CanNotBePlug
d398a1094d8d804036c33719a9312e9c51259bb8 Unchanged Except1Rec CanNotBePlug
aeb327e7ec05c63175451f344ef9dcd7dd0ac40f Unchanged Except1RecWithAt CanNotBePlug
0533258012feda5ea2af5dba8ae28baeceed192d Unchanged Except1RecWithAt CanNotBePlug
434378a203d857a03d1b65a2cef84d888d8275f0 Unchanged Except2Fun CanNotBePlug
1c4df0006d3c7bd6f1b84717bea28cb51e0cb430 Unchanged Except2Fun CanNotBePlug
a86fd560d36e0ffdf24002eec65e0e0ecc736aed Unchanged Except2FunTuple CanNotBePlug
3e9f98beb9aa10bc853977f87e8c488a9e00a801 Unchanged Except2FunTuple CanNotBePlug
3f84cd936ef6a6a8bf93d233d55befd5305b0955 Unchanged Prime KindMismatch
f1f66b438f6dd73209ffdd33ec3b59a30b026532 Unchanged Prime KindMismatch
c2efd1e01426cba1114d5681b940974e7b55226a Unchanged DefFunInDef AlreadyCombined
4bdeb1c6b720aeb8ab28a41e59a926837ff43ae5 Unchanged DefFunInDef AlreadyCombined
dbceafb859ff838d1dbc8b8b63a3011bea3c9996 Unchanged LetDefFunInDef AlreadyCombined
3eaaf3dd14e90c8fbc28050361d96847a8b9c991 Unchanged LetDefFunInDef AlreadyCombined
eb1df5c3bb2843f2f1e2f8f0c7587b24a1a96338 Unchanged VariableViewExclude VariableExcludedFromView
d3222dabe1ac39c3f0a197c413468954f2ca58d7 Unchanged VariableViewExclude VariableExcludedFromView
a3bd533f62b0c3707fa3d1c2fe77a7d308cc6ed7 Unchanged Constant KindMismatch
907088f84c87b8414e079db375b61920889105c3 Unchanged Constant KindMismatch
3bf778aded1d186e41521a19cb2138e29ac3ffa5 Unchanged ConstantModelValue ModelValueCanNotBeUsed
f0ca336d728fd934eeaba70755a1c725271a0c44 Unchanged ConstantModelValue ModelValueCanNotBeUsed
9607d33f2a1ed70fd7a56313922e131f85517e49 Unchanged ConstantRank1 KindMismatch
fe4d0a2b7aa7cf7e64a5ad2158b56813871293c8 Unchanged ConstantRank1 KindMismatch
708fbf69a621a1b220acf15e3d4c2c5c43b9126f Unchanged Assume AssumeIsNotEmbeddable
2880d571da21a73473605add0f170dde7c934f7a Unchanged Assume AssumeIsNotEmbeddable
e9ebc85cc0c2b9663c253b8deec7c12e793af1c3 Unchanged AssumeNamed AssumeIsNotEmbeddable
782743532492675c2b5273f755d4ba0f7eba08c2 Unchanged AssumeNamed AssumeIsNotEmbeddable
6aaaaee909409ee6a5e7c1167d64018e695acc29 Unchanged Lambda TypeMismatch
a08bd26cf59eff7a9980ee3b1f3aceac71875819 Unchanged Lambda TypeMismatch
8a0f455a77680fc858653ae40129c7f8fcc66a4b Unchanged Unchanged KindMismatch
09fa2a9e45d07e29890dfca3b7ffaee6fb6c38b9 Unchanged Unchanged KindMismatch
5ee0d34506a7a3a48537491271277bccb0649b52 Unchanged SeqSeq TypeMismatch
038a2debf3544d5b34a26d1aa6c18def72d300c9 Unchanged SeqSeq TypeMismatch
189b8f34aeea67dfdef44631e880dde617cff737 Unchanged NatSet TypeMismatch
cdcb6279f90f9755d3e0f44461879b97254b3c86 Unchanged NatSet TypeMismatch
1bcda5843275801a62e03cb7f2533a3f730d4c91 Unchanged IntSet TypeMismatch
767e9a89414118fe602d77c12c5a472e6bc8623a Unchanged IntSet TypeMismatch
92810f300899635e3711616f72b0649b3c55af90 Unchanged StringSet TypeMismatch
557cf6ac3e5cc175b246462f224a847f3de0a44c Unchanged StringSet TypeMismatch