Index

Skipped feature combinations by case feature Assume

Id Case Feature Plug Feature Skip Reason
1e55c5c5292b0f97d9c0aa98f520c3abb040494e Assume BoolSet TypeMismatch
7cd1949b65bdb2bdee177150398b988926c3e4e8 Assume BoolSet TypeMismatch
0b235722753febcab693b72c0a83107714338c8f Assume AndProp KindMismatch
d5b43382178141bd6a63a0c003c9e5cfb2e7a716 Assume AndProp KindMismatch
27becbe97068b7f36a6e8ddd04fce7dfb3a3540a Assume Boxed KindMismatch
07ee2a8143036610645e4ff282dba715e704d9ab Assume Boxed KindMismatch
71fded561c5ae311548fdd6601a7e55d55e04fd2 Assume SetEmpty TypeMismatch
31873a3feccae1569d4d1731161173604720539c Assume SetEmpty TypeMismatch
aa6ce81f5e18f59e9336e03960acb012418e15f3 Assume Set0 TypeMismatch
bb685617e397ac4091ca66682456d64b33b2cdfd Assume Set0 TypeMismatch
c50ef8fc5dd412b77c28955111ae2f6d52d43b60 Assume Set1 TypeMismatch
6df9e0a48c32deb0ac6447e7fdc79ccda142ec09 Assume Set1 TypeMismatch
a1a31f0b9525ea5135fbc43616e9d269643ba137 Assume Set2 TypeMismatch
16928648a205aaebbe295260336e5afd9854ec3b Assume Set2 TypeMismatch
461193febac96aa517a200b64d712903f2c740f3 Assume Set1InDef AlreadyCombined
2aef5f8e10c9ef4d86a00b3ddb65da93cc8c7a24 Assume Set1InDef AlreadyCombined
89a898daf2925b2b03b4846393740303545a5c10 Assume Set2InDef AlreadyCombined
66911e6dfa55c0941671eb4fb05a4b4f81fa51da Assume Set2InDef AlreadyCombined
3846e796a6f60e013ab3f52452ce5857ca2f5687 Assume InDef0 TypeMismatch
ce895b83fe6455550fab512e09c179548e5338fd Assume InDef0 TypeMismatch
ad110799ccd9aba103e8fabbae61d1da9c33804d Assume InDef1 TypeMismatch
699bb6c42a98e836de9d8bd98baffea4e6757b6d Assume InDef1 TypeMismatch
e92c1342e2b99784e7ac3c55ca3d2c0d41964df2 Assume InDef2 TypeMismatch
83da6ac15227a0ff4bb90676b58bbd9d49a79949 Assume InDef2 TypeMismatch
a8b755e41cf87fd65ee54cebdebab6617ebc6a12 Assume Fun TypeMismatch
12d913ed9b83155af770ddefefebb38dce7bedbf Assume Fun TypeMismatch
f73939ee8d3b7edd673a2e84b91a521391affd95 Assume FunInDef AlreadyCombined
8eb062904c01c565ae264deb7054fcc85dfb10f6 Assume FunInDef AlreadyCombined
f12514ea17244208dab964515f62a01afa786b6c Assume ExistsInDef AlreadyCombined
d29cde2474ca5daa6f5616114388c647b4d2cb3c Assume ExistsInDef AlreadyCombined
c1caca92c8eeac5a3ec0750b68492c88c22a50d2 Assume ForallInDef AlreadyCombined
4345a1fd7853882d9bda60de87681c3a44a11692 Assume ForallInDef AlreadyCombined
2c34d9ae3c3d1934e4d4f9794901e77b7ef072e7 Assume ChooseInDef AlreadyCombined
f99589bf58d20a196d76dc6c32afac9ecf44d064 Assume ChooseInDef AlreadyCombined
cfc53c2b2af9f7cc3f57662dc3dfbee9bb67f4a1 Assume Record TypeMismatch
6b0f79f6ce4ecd9baf4a19cf3b12f6848e76ebf9 Assume Record TypeMismatch
76df12fc8fe239cf1b4dbd5fa2bcbdcad9164cb3 Assume Tuple TypeMismatch
631aec12b15ebc4b3c872acd314c2386c3db8c9e Assume Tuple TypeMismatch
ef62e0cab1535e8fb2ccee49842cae1e919a2f69 Assume TupleEmpty TypeMismatch
8f746ce4e1372e55cf2b0865462d140be54e7070 Assume TupleEmpty TypeMismatch
dc9ec27bac31aa55e9690bb084b03a2e9e2f4514 Assume Except0 CanNotBePlug
1b563654817e0ae513c1ec719478e9d4dee2adbd Assume Except0 CanNotBePlug
8a3a9481e355aa2d57be9fdd54851c6a0cbd664f Assume Except1Fun CanNotBePlug
7f23f965af07cc8cb5ba49b39af87114eff55561 Assume Except1Fun CanNotBePlug
feaeeffb21d24b0ac894c84c2294a354d2e95743 Assume Except1FunWithAt CanNotBePlug
f4ed06a151ca053faa4f85ac35fe743fdec264ef Assume Except1FunWithAt CanNotBePlug
bdad4a728106a41fd6216bdff2489628abe90ffe Assume Except1Rec CanNotBePlug
a25d592756748ac4b7376f4e633fe81fd61fdeca Assume Except1Rec CanNotBePlug
0c971877f1d3cdae0a90ebd745a4c2aa5a6cc8df Assume Except1RecWithAt CanNotBePlug
8aa830acae038e52b4b9a9df3ab5669336425a49 Assume Except1RecWithAt CanNotBePlug
e5f6ff4886908fa3aba39a30bacb1882fd23c99c Assume Except2Fun CanNotBePlug
b3cca336f3d1efe70643f261615d503fa1177c9a Assume Except2Fun CanNotBePlug
17279e8d35266f898e347acad69e4d88c25df910 Assume Except2FunTuple CanNotBePlug
a408a0ae30588f4a181fe2d351aa7a489c14560d Assume Except2FunTuple CanNotBePlug
d01370ef767ebcf32bc117a6b51a41ae2929ded1 Assume Prime KindMismatch
a2307b6f1c238eb2a87f88ecd668f8410224ed0a Assume Prime KindMismatch
9b5f00b9da24f09590b417bcdaaf1ca27eb4e0e0 Assume NumZero TypeMismatch
e3dd32cf236d671b7f919d54228567b9db4d82a9 Assume NumZero TypeMismatch
298ccadaac48f720b4a16224eb069267dba8a88a Assume NumOne TypeMismatch
0120aa80ebe974f54de842bb4fbe67daccd987fd Assume NumOne TypeMismatch
c23bd29884e778aadc1fcf2179ac5d3f85132a7c Assume NumMaxInt TypeMismatch
c8a4f87c50a2d7be02fbee8ac9a5bd1e40264d25 Assume NumMaxInt TypeMismatch
a23507887fca71dbdb852c099f3ddb0af9588e0d Assume NumUnaryMinus TypeMismatch
3a948d0e1541879b5032a03f40ca72b8fc5eead4 Assume NumUnaryMinus TypeMismatch
13199731cf478d65dfa899344e87624fed328845 Assume NumPlus TypeMismatch
8f6c573e020efe8b7360a9991522332b72962b62 Assume NumPlus TypeMismatch
7e80d8ca59b4c1d315a6bc0c95f1b497d379c5e3 Assume NumMinus TypeMismatch
b820d452622c03b589811305aacbb4b945fd35eb Assume NumMinus TypeMismatch
dad0c1d84b2d3f9cab90123bdb9f5d1e4c1af189 Assume NumMul TypeMismatch
c3092528d3b9907b8f165f81ac8e1631006ec9fc Assume NumMul TypeMismatch
88267a0e3e00a577d2166732b1770db2c91cb115 Assume NumDiv TypeMismatch
3a515b1b538c2b04191547e099db502f41315abe Assume NumDiv TypeMismatch
a533c5b382c5d95443a90d633ab868c69b809d4b Assume NumMod TypeMismatch
6b2373f8353bfad2ba0d55d735c9c7bd3a8e7b6a Assume NumMod TypeMismatch
8c73cd8b08e2c50e6a8dbaac32cfa44b65c68e50 Assume NumPow TypeMismatch
f61a7f95ac9109b9d02bbb3707fc8bbfeaaa7100 Assume NumPow TypeMismatch
ae37b7ebb6595d8317d2945582a30ada97f73a6f Assume DefFun TypeMismatch
3ea5122266663377956e4c11d933411b643a209b Assume DefFun TypeMismatch
a2c9bd327d3a69bdc373dd73113cc5f741a8cdd5 Assume LetDefFun TypeMismatch
2c92d41a38e5f3fccb5c9a3b0ff09c7e98a3fd0c Assume LetDefFun TypeMismatch
9a4151aea8bb74f583ff87e0b2045b54092393b5 Assume DefFunRecursive TypeMismatch
bdb2e8fc71c85822248d2767674e82405cb12f0a Assume DefFunRecursive TypeMismatch
612da34581e2484833ab268e07c03972ef9e1ced Assume LetDefFunRecursive TypeMismatch
b6150b341def66121502ca59446f8cec17771af6 Assume LetDefFunRecursive TypeMismatch
db44ff1582307c70a0caa8f43cfcee1d2856d55c Assume DefFunInDef AlreadyCombined
d647550625a7bed4c6145a7a5985fcff02c28fda Assume DefFunInDef AlreadyCombined
9ef5d82a30c1c0d58306efff34b4c8c623ad5d1f Assume LetDefFunInDef AlreadyCombined
bbe5ca8de305612df8c0186479e80260a5fcd293 Assume LetDefFunInDef AlreadyCombined
eda08595a931559329ef197c8f6e63563c987bf3 Assume Variable KindMismatch
d74d816812dc9de39cc555a6471a821537b816bc Assume Variable KindMismatch
59720cc8fe6c2c8cabe04b1f986be01069c03250 Assume VariableViewExclude VariableExcludedFromView
d9322fb3750495bc80f5daf59092b2e661ee1f57 Assume VariableViewExclude VariableExcludedFromView
a77e250b92d1ca9ffcda46392922e68dd080d06e Assume ConstantModelValue ModelValueCanNotBeUsed
251e71e9a03b951ce72924a68f3d7aeb4df69fdb Assume ConstantModelValue ModelValueCanNotBeUsed
a0b5cba33fe898248f1da5f1f65234340188da89 Assume Enabled KindMismatch
e4135e823e529d1bf158adf8f6dc25189a3f6bc4 Assume Enabled KindMismatch
b8d7a5dde980b7b19ba6c0f353be05d3a8594443 Assume Assume AssumeIsNotEmbeddable
a8fbabf319590d43f02741436f8d8a6d408bf50b Assume Assume AssumeIsNotEmbeddable
5968fb0e1df9d156d16e48266fc0e76945a1bb7e Assume AssumeNamed AssumeIsNotEmbeddable
128b5258e3b0ab2ca0d01efb1bc4beacd4f2a419 Assume AssumeNamed AssumeIsNotEmbeddable
cf9d382a73b2564e8fb6c7c0d4b1aa0f996c3cc8 Assume Lambda TypeMismatch
c2e759f2b8563c5a121ff2388331334956bfca41 Assume Lambda TypeMismatch
ec9aa34779ae5b1089e154a4702a9683a8fd3c65 Assume Cross2 TypeMismatch
e89c23f4d4530382514e08a4f68eee666952106f Assume Cross2 TypeMismatch
b9b171f5a9dc417fbb14bb2b9dfc7ab98256681a Assume Cross3 TypeMismatch
fae6ff31165918e3ceae2daf690395097328d663 Assume Cross3 TypeMismatch
cdd5ab1157107747c3e99e0beb2b2d080b492df4 Assume FunSet TypeMismatch
ca21d4220fa62d68742e2acb1fdad051b1de0d3d Assume FunSet TypeMismatch
e8c0a621f310bcb31038fd66804ddf983215ff6b Assume RecordSet TypeMismatch
17dbe9419c9e42e73b81b2c10d125236798031a1 Assume RecordSet TypeMismatch
53dfee0fa9e1f27e28a55e0a507dc0272fe8d5cd Assume SetDiff TypeMismatch
9b183d53ae831929b8c02255354fc8db70e2e3e3 Assume SetDiff TypeMismatch
b5ad4fe21370475342b61416f6a93848b9974ee6 Assume SetUnion TypeMismatch
7cab6941e947e62d1dc7038aef59aaccba69f95c Assume SetUnion TypeMismatch
e0ca6420053db137da069d30843987c4894d88aa Assume SetIntersect TypeMismatch
698c3019f9918ba6d99d91004b09a768c4ccd58e Assume SetIntersect TypeMismatch
b7c506b5803937df11fbe0a4cd78fa50464a0549 Assume Subset TypeMismatch
2ca1d1f04718d29a12a1351f2a27641586e69ff0 Assume Subset TypeMismatch
59e3117fce49272671b74f329cc7961cb9710185 Assume Domain TypeMismatch
f4e6a15634d56f8e9d0930e6a6e0571d80ee359a Assume Domain TypeMismatch
578cbfe2fbbba2c06d670690d5fbed7053862ad0 Assume Union TypeMismatch
96839e1bd9de2c22c7fbe38387c22c5edff2e31d Assume Union TypeMismatch
55f0e1d0cc746e8310659ee78131fcdda5a71950 Assume Unchanged KindMismatch
cc9f59e05fa1f1f8c0ad91099da2dbdf321660d7 Assume Unchanged KindMismatch
a6ec1c2f14eed1f09a92ba2442a7b6168eacdf14 Assume StringEmpty TypeMismatch
0a3aa6ccf50da8637d989b10a84f0f051790c2b4 Assume StringEmpty TypeMismatch
636a14f45d45c48b6421dc6ed0c2b4baa549aa47 Assume String TypeMismatch
c52663605124937b51eb80526b0ed5e3995db8bd Assume String TypeMismatch
33c335ce01e87c4ce300c96b947bb132554885ee Assume SeqLen TypeMismatch
f129e825361c456d6611cabac14dc1535a51a698 Assume SeqLen TypeMismatch
ca8fd26f09e43ba12ab4ae16c48b80d17f71f52f Assume SeqConcat TypeMismatch
405744c96a922bb5878bebe1c49dc2b6c9509f92 Assume SeqConcat TypeMismatch
689148eb21ea882095e0dfdfa75fbbc0eef76740 Assume SeqSeq TypeMismatch
209c864954e6aa2bf89665c82209b089d940bcfb Assume SeqSeq TypeMismatch
9ee304f3d657cdf3c2a67ff0f757b604ea484645 Assume NatSet TypeMismatch
eb055111dae5b957e0b94fb819751c1e4a0a9dd3 Assume NatSet TypeMismatch
fefb93aac2ee3b00592c78bb8bbe506ecdd32add Assume IntSet TypeMismatch
076db1b05e33822fa13a56e86480744374f042f2 Assume IntSet TypeMismatch
f94a74dfc2e3ad7d2fcd3944b4f81ff292b2c548 Assume StringSet TypeMismatch
b81394d8fcf7c484bc912987b4c5baf3a877b5bc Assume StringSet TypeMismatch
195bc4abbb654c6b8b6ab9d8ffded8afb9829b33 Assume SeqSelectSeq TypeMismatch
7d3bbf313fa1412a54dd69b3fff09dfe11a9525c Assume SeqSelectSeq TypeMismatch
b26c695fc131f9f27a60f9d9be8a69c7256e2d0e Assume SeqSubSeq TypeMismatch
e269ffacda898d20d20127b1fee49bd6df817885 Assume SeqSubSeq TypeMismatch
876bcfa90b2c8a4d65cfc1c936e8f31afdec7e26 Assume NumRange TypeMismatch
941d6cebb7ce7373faa9a9f8798e15005fca53f7 Assume NumRange TypeMismatch
d19af12188fd19ab27f241173633c273697fdfe9 Assume TlcSingletonFun TypeMismatch
c8c8ecac400f8798cd8ff1064a0475add3da17e2 Assume TlcSingletonFun TypeMismatch
54b24efae8eb2c6f18e986b4ac4991466fb30a58 Assume TlcExtendFun TypeMismatch
8b4fb98e39360fbc0ca47b2e86454af93c729b6d Assume TlcExtendFun TypeMismatch
44ddd003bb2f42cef5b6802a72ddb50a4c1bdcc7 Assume TlcPermuteFun TypeMismatch
001431c91f4ba0d3ab5ecb96a3e340068e6320ef Assume TlcPermuteFun TypeMismatch
bc26acae4003a9eba851e73792754b4a924579b3 Assume TlcSortSeq TypeMismatch
d09fd4b479748f566e6024da39c33cd5acb72ce8 Assume TlcSortSeq TypeMismatch
4aca732aa6c472b826fd0312e1ea9dadf5c6e76c Assume BagBagToSet TypeMismatch
684fd6c968007a0c788bae12e0a8b404aa88b70a Assume BagBagToSet TypeMismatch
b634114e8a6b7bbb44480ce852e7c81e9d624303 Assume BagSetToBag TypeMismatch
f29bd9c44280f6d8e827b543237ef982c7a02590 Assume BagSetToBag TypeMismatch
dea2a1e54cd5a1e53919859c244bf2c06d116c28 Assume BagEmptyBag TypeMismatch
798d0bb25e7c51c03eac0b8f0baec7f8ce24c134 Assume BagEmptyBag TypeMismatch
93702a866a002f61c7ee3ed26ce0953f8683276c Assume BagAddBag TypeMismatch
70c074b22d78bb0a43407083fbe7c27aeb7f91e4 Assume BagAddBag TypeMismatch
a061042a629aba684d61b7a4d566cb9d2b689b54 Assume BagBagSub TypeMismatch
5455b30a41c5ea59761ad032b7c3c1cc411a0d7d Assume BagBagSub TypeMismatch
689b0e97b980d81e8e27c7c414bbc95dc5c95b23 Assume BagCopiesIn TypeMismatch
ee1183a9d40c2d27474d9ca347ba9b2431f58fd8 Assume BagCopiesIn TypeMismatch
12734c0e44a2f2f6d9d7d434cb53e972cc052940 Assume BagBagUnion TypeMismatch
5cd4a5638c09ae5969df7dda05d855153775a04d Assume BagBagUnion TypeMismatch
797b3126dbde4c7b317eb15eb24cbcb540c4ba19 Assume BagBagCardinality TypeMismatch
d8b2fa9d7781f90e8cc4d1660b7bbde78c28d8b5 Assume BagBagCardinality TypeMismatch
6d966254a04618da994e86dd8ac419d4173e7760 Assume BagBagOfAll TypeMismatch
a4da76b0476f0ee17bd898fbafb21e4855953c40 Assume BagBagOfAll TypeMismatch
a0e2efda8fbce08c3f1c5202bcee7fa15aae03f8 Assume BagSubBag TypeMismatch
c1aa76f863e08bb49ab51b9afcceb1cc3bcfbda7 Assume BagSubBag TypeMismatch
9bd2f481d9a346b77d84c2484d2e4344100f22b2 Assume FiniteSetsCardinality TypeMismatch
63979cdf2cbe8a868bcef95ec0e2a546b6a76785 Assume FiniteSetsCardinality TypeMismatch
3deb995f3630b3c6d9d018d0b5a661997159505a Assume SeqTail TypeMismatch
8d49a92a4269ea2c20485bc4fa9eab68544b99f8 Assume SeqTail TypeMismatch
e52aa5e6c5a8ac158147d3fad6a9610c7a12d6b6 Assume SeqAppend TypeMismatch
428608559e35970a25f7e9b2969a5b84f8089d38 Assume SeqAppend TypeMismatch