Index

Skipped feature combinations by case feature Prime

Id Case Feature Plug Feature Skip Reason
b32d1b31d703438ac011c5491460145ebe5e0fe6 Prime AndProp KindMismatch
45635627be1b9dc4cdf2e5bed6d0e9806a422cd8 Prime AndProp KindMismatch
0431febbcca3a5529f8de5a8ce61d0b377087838 Prime Boxed KindMismatch
43b88e477d3514710280f0f0a9cd7d98d0eb74e6 Prime Boxed KindMismatch
25fad050d90f3299ec80d608187e6003b3960bd5 Prime Set1InDef AlreadyCombined
e6375ad4b481ca7cff3d215777198e82dabfa2e9 Prime Set1InDef AlreadyCombined
153bae522fa6cd5d254a629204c5a5d52d50da1a Prime Set2InDef AlreadyCombined
3999680cf11d234cc049342f6ed1d7dffb1fe9d5 Prime Set2InDef AlreadyCombined
5a85c8c1961c08aeeb7163f5f5edcb32e7c1a7d2 Prime InDef0 TypeMismatch
8261503794b46d1aa2592df95fff1a9bf6e54589 Prime InDef0 TypeMismatch
22de11a4547f5bee99e068aeab7cea848af284f5 Prime InDef1 TypeMismatch
1c743a05bf5876bae99b30b13ae525cdcc1bd9f8 Prime InDef1 TypeMismatch
027f2d13859785f29eb4d381286d45f192507b50 Prime InDef2 TypeMismatch
037d26567180d2cb3c3a294caff686a28119eb10 Prime InDef2 TypeMismatch
ffbab3ab23f59592dd09df984a24195b53230b86 Prime FunInDef AlreadyCombined
e0d572c940e5796ac4bc94d91d5f7e5a28c9957b Prime FunInDef AlreadyCombined
f99cbf8d01bafb80d501e5aba1828e7cd4791144 Prime ExistsInDef AlreadyCombined
aba8e968e678d43525c3dfa5e4ffd6be88e10520 Prime ExistsInDef AlreadyCombined
5698ed6b2c5705792dfcd86885a59d6cf731ea52 Prime ForallInDef AlreadyCombined
20802c53e41a8a59bdb65ad8a89f355bcb0d7e61 Prime ForallInDef AlreadyCombined
832e8e5ac7f63b3280ff61ce574b7c9146a66dc6 Prime ChooseInDef AlreadyCombined
0983fcfcd14f245a617299c8eff0a54170847fff Prime ChooseInDef AlreadyCombined
db07b8262bcc3d01ed518c2fe46d50ff3e5379c5 Prime Except0 CanNotBePlug
404f6c5012ce001ae7eebccb5e1181c8b14a6468 Prime Except0 CanNotBePlug
66e6c3d99d84b6bcd5a8775a0220cb6c6d43b76c Prime Except1Fun CanNotBePlug
f490cbcc3583d01abf1424ed01f8eb4ebb8387fc Prime Except1Fun CanNotBePlug
d075fa3ac7fccecfac283a14ee9fd5b71fbba606 Prime Except1FunWithAt CanNotBePlug
0e0ec5aa38e5df0fa8e38a16d0e5540f29f664bf Prime Except1FunWithAt CanNotBePlug
74bb16852b61f2e8b9d4bc74e2fa616810031d44 Prime Except1Rec CanNotBePlug
3c7766c51e21d84efe7e34a6df665573181f07c3 Prime Except1Rec CanNotBePlug
bac53a5474c0a0776f826df05aabde30ef979762 Prime Except1RecWithAt CanNotBePlug
e38755988a7858e7cbfe351907a71a2a3e51f571 Prime Except1RecWithAt CanNotBePlug
ac97f2f01cd22ded6ac709a6aaac0680ae3dde1f Prime Except2Fun CanNotBePlug
68cb754db5a42bd13c6171423980b02106eb84b8 Prime Except2Fun CanNotBePlug
04779d9a19bf7da81e06d5d6e440b60c59f99e3e Prime Except2FunTuple CanNotBePlug
2db30bf35144283e0efae89b1c157246968890e6 Prime Except2FunTuple CanNotBePlug
e7a97557fa3440f2c62b287a0ccf1323314290fc Prime Prime KindMismatch
5b5dcde6cb00dfbbedc8ebeaa522845484e7bde7 Prime Prime KindMismatch
9132bf4fcd72c851812b4c592e4bda946f053ad6 Prime DefFunInDef AlreadyCombined
eaebfd35313583b61e2189c70dadcb4838a0d476 Prime DefFunInDef AlreadyCombined
a069bbdca3b1024c087ff274b615d62557b3f9b4 Prime LetDefFunInDef AlreadyCombined
4fc6ad40d16feaeae1080b74380c734934ab4172 Prime LetDefFunInDef AlreadyCombined
4f3b4217dc69ee27357094c531a001007a66dabf Prime VariableViewExclude VariableExcludedFromView
3db66e4a81070e7f293b00aaff046b6c0b8ce1bf Prime VariableViewExclude VariableExcludedFromView
d4d123346f54999e8e77dc37a1fe21525a783023 Prime Assume AssumeIsNotEmbeddable
19ad24838b698bfdcd3a32cb46616b741095be8b Prime Assume AssumeIsNotEmbeddable
9fe19e9afba19fb0a1cf4da466c7133bb2cdf199 Prime AssumeNamed AssumeIsNotEmbeddable
63b670d35eaa522ae2601cd969edb6be4aa736bf Prime AssumeNamed AssumeIsNotEmbeddable
252fbebdd129d7724487a0c5333275bf3b4aa77d Prime Lambda TypeMismatch
aac7fd04056f2862ea8e9a482a39b16831a64ae2 Prime Lambda TypeMismatch
416608b321e1164a9502c55dc33fc91bb490cf40 Prime Unchanged KindMismatch
fb58f8e30a98be758d2b80532c6db1becbf9ff34 Prime Unchanged KindMismatch
12a63997ab22e1d73e9c953f4ecfe476fe2e86f9 Prime SeqSeq TypeMismatch
1124f468c13cd669471cdbe5678b6318f051bba5 Prime SeqSeq TypeMismatch
81e60348c9cdaaba400789b20e0e4332432c5d0a Prime NatSet TypeMismatch
418de9bb8f854e855b7fda155ea512ef6fde8677 Prime NatSet TypeMismatch
e065d3b66c067ef6da2f3ccb75eab39a51b729be Prime IntSet TypeMismatch
14979f3784d7db7cfd717378a5e25dfd1b005184 Prime IntSet TypeMismatch
b6c8a738ef0215a27e0e9474475da62f3117678c Prime StringSet TypeMismatch
2c257614f77510f8f29f39f687e1b60a217d0cfd Prime StringSet TypeMismatch