Index

Skipped feature combinations by case feature Boxed

Id Case Feature Plug Feature Skip Reason
ae91df1422df126c181aa6a6612fc6efa577267e Boxed BoolSet TypeMismatch
5dc6c519a295d659342640ef521bfcf24051a1af Boxed BoolSet TypeMismatch
cf1f43fd49848307c0f474428d6fe92790d1c28b Boxed AndProp KindMismatch
7b9b4d4f66cb4dca155e1b01b706b17b5e14a282 Boxed AndProp KindMismatch
01ccb5922799a1a94183ac13cfec575c53a869c1 Boxed Boxed KindMismatch
46b3aebdc183ad6051a9b1901a5b46012f94c9b2 Boxed Boxed KindMismatch
b0fc9b6bc4d20a60d1b267b188ddc50bd33cbf16 Boxed SetEmpty TypeMismatch
995d09ddb924fc7d20189bddd428f5b6a47155ed Boxed SetEmpty TypeMismatch
f8e49a86cbb89f8c32236e16cbd49daee79e1d1b Boxed Set0 TypeMismatch
a2aa5534b5147b7def0139a1bd92bf4beebf2e5b Boxed Set0 TypeMismatch
b2874c15ebc8a3f575e4c5e14aaaed2ed7f10c0a Boxed Set1 TypeMismatch
b9bbfc41ba265dcf294beca57ef4b607c35c1163 Boxed Set1 TypeMismatch
65651da6297cbe7a1eac7e1af7ebc9a45f16140b Boxed Set2 TypeMismatch
03cdd472357c5d366cfb5f20d8c5a63e599acffb Boxed Set2 TypeMismatch
efdc86bce15fdc3ba0623904fa9001a07a54fc65 Boxed Set1InDef AlreadyCombined
c0912f3d75aadc0af7f519a2b8c884c8c826433f Boxed Set1InDef AlreadyCombined
8d14b8ed330fee86a32e0135c9e04821c3f14305 Boxed Set2InDef AlreadyCombined
59175d834bfee304dea97abd99218691e3564acf Boxed Set2InDef AlreadyCombined
92541d754fc01853a2e33a40461591489e41fcbe Boxed InDef0 TypeMismatch
24ba6be3e428aec7344219ae2b31c2f73d02aaeb Boxed InDef0 TypeMismatch
835e3d8a00d40610a815638a9d6891bd9728850c Boxed InDef1 TypeMismatch
05772428e44c7815a8ab1e6cbd79101ca60ed4e9 Boxed InDef1 TypeMismatch
2bcb38e4c13ad4dd56bddba0341bb778cad52798 Boxed InDef2 TypeMismatch
6b47ac5cb47495a0112d212f576779122402e16e Boxed InDef2 TypeMismatch
b1eb1d63e9f0574339384c308e63fa7aff296434 Boxed Fun TypeMismatch
5cf3bf9440dc66e08648fff68e56296e14670be6 Boxed Fun TypeMismatch
fbed4e82ceb3a6daf7d7ec8b20442a75bbaf5bff Boxed FunInDef AlreadyCombined
6ea470771c88951f8fedd411e463026e9a9cd869 Boxed FunInDef AlreadyCombined
85dffcd449d46da26a2f5ab1d76cc9b510df514f Boxed ExistsInDef AlreadyCombined
655fe2034950fded49697998574d9301c22cf403 Boxed ExistsInDef AlreadyCombined
92cc24e8e5a372483c24960ad235a455cb294396 Boxed ForallInDef AlreadyCombined
d135f85c5d7cc65514c45f9758a76215af0d34de Boxed ForallInDef AlreadyCombined
1b713278276188ec3b021e570589f464ab8e7223 Boxed ChooseInDef AlreadyCombined
39f1b93ff65c475c400fa5ecc278f5ed01c9e84a Boxed ChooseInDef AlreadyCombined
b33417917dd43f0e8244a2e405c1a840747fcf60 Boxed Record TypeMismatch
97c34660b9acda5edbca35234e0efd5c46a09da7 Boxed Record TypeMismatch
2f3cf0d92151f292324d660d893af343ee1c1c7f Boxed Tuple TypeMismatch
f8b393ebcb64d453963e5e5cd377cbc9707447ee Boxed Tuple TypeMismatch
aeda4c9cff2ba6accd670c0641f5bd4b0fc4ce9d Boxed TupleEmpty TypeMismatch
3fba728923bf04b97d9bcb41eb8c663b0ed60303 Boxed TupleEmpty TypeMismatch
f1c056c059ff3edab68429c6d54aac90c9b97a0b Boxed Except0 CanNotBePlug
ff2d0273547d320f1c516a842fb7cca8da1f5661 Boxed Except0 CanNotBePlug
8710adf5bfa3b371b741d546c9f3037bcb32e838 Boxed Except1Fun CanNotBePlug
453478cf19f4b4cabcdb67c8d63f2771d2274768 Boxed Except1Fun CanNotBePlug
2257e4c841d7ed2e536106882f908a70a4b138b6 Boxed Except1FunWithAt CanNotBePlug
391b6b3e49050f6e5e4d20c6eb704991b04d5934 Boxed Except1FunWithAt CanNotBePlug
795ab629146fe71ba0c9f6a3e2661f0fa03595bc Boxed Except1Rec CanNotBePlug
ae5ab0f3af3a809fa49fd262399e1b426092f37b Boxed Except1Rec CanNotBePlug
a38d7b32f055adfacb7fe034f324eccba5e25bde Boxed Except1RecWithAt CanNotBePlug
c63829837bc5db402a9e5652a0b7e4b57ece0616 Boxed Except1RecWithAt CanNotBePlug
a889a25d582b8f90e1591771804128b6242f278b Boxed Except2Fun CanNotBePlug
d92133acd5fbbc68504c64bee34551ffe4baa78e Boxed Except2Fun CanNotBePlug
eee73157f901a02f2c94aa0732ea786f4064f85c Boxed Except2FunTuple CanNotBePlug
4563c4279969678ef37e490d5c0c16d4e4469a2c Boxed Except2FunTuple CanNotBePlug
1c067b48b4ace013b8ce04d76e4a4a2005011e46 Boxed NumZero TypeMismatch
6ec1ace8dfb892c9ab44dea8d81c41aa1df9dc17 Boxed NumZero TypeMismatch
9853eadc8cfe24f5279159cc0442ef2c1303de40 Boxed NumOne TypeMismatch
9f0e603443fa9b17f3bb844514b0a34ec895b808 Boxed NumOne TypeMismatch
770d05b76b480cca54bc742312e5ddcfced8063b Boxed NumMaxInt TypeMismatch
aaed151786cd5c8caf0e8ecf200365090b8af016 Boxed NumMaxInt TypeMismatch
d8def7a363daca007d830683c974e94cb995b1c0 Boxed NumUnaryMinus TypeMismatch
6127b309810e441cc2fea475893ebab84cc2bba9 Boxed NumUnaryMinus TypeMismatch
244a781172033bb5edf80ab8fd161652d7c1b070 Boxed NumPlus TypeMismatch
c32ffe2d1d7fd7de03f5daabd6d8fd22ec3489f3 Boxed NumPlus TypeMismatch
0ac8914295a288f70c4a92e7e3a2581ca0368d08 Boxed NumMinus TypeMismatch
c36b83a78b833cacc927c2e9e89355a192167261 Boxed NumMinus TypeMismatch
ac8ab43ae88b7aa83b6e83776b8423435e538d73 Boxed NumMul TypeMismatch
c1731326336ddb8a5a2bf285f112ff6a32521108 Boxed NumMul TypeMismatch
bad1ad3ebcb32b941d038f62544c4b186c65bc31 Boxed NumDiv TypeMismatch
86394ba476f61f627ea4f7d241531c3dce008e9e Boxed NumDiv TypeMismatch
a91c0dbe554a2af55f4ccd77b640ef19d5904888 Boxed NumMod TypeMismatch
fbc84951b71b06e111be9af24ef626332ce041ae Boxed NumMod TypeMismatch
c1ff98c93a61f15277688b2015fd509344119178 Boxed NumPow TypeMismatch
3c4c29a863d2494df554da321da59f1c064f5ddd Boxed NumPow TypeMismatch
b1cb8219b5ca709a6c86cc1f9fafc7ad0d063ef0 Boxed DefFun TypeMismatch
f45c54b2a552b47a35ca3ecdceab72d1608b5d0b Boxed DefFun TypeMismatch
ee3dafd92f0c592665366e86395cc873fa722d90 Boxed LetDefFun TypeMismatch
189361496bad0ca178dbd1647133501051e2ab4d Boxed LetDefFun TypeMismatch
395c580df6dd4b150d8a37a929524c694667a380 Boxed DefFunRecursive TypeMismatch
d5ddc8da9e78e21e8e998d8d16a8211c74be4b7b Boxed DefFunRecursive TypeMismatch
923e9d751d6e3fa9e9df8a1f6cd1eaa0c0801973 Boxed LetDefFunRecursive TypeMismatch
1e0fcd6719bae9a110c40a48d8a792ce6e20cbdc Boxed LetDefFunRecursive TypeMismatch
63f0102e3e030be8a2e468fb2616cafd77658b2a Boxed DefFunInDef AlreadyCombined
c6f19b16c9ed5b8f629bd90a2ec24dd60e09fe79 Boxed DefFunInDef AlreadyCombined
fbce27265e7877561c60234c32f9ed5667c428f5 Boxed LetDefFunInDef AlreadyCombined
17d787d9bed5f0be5835500de4a422b35c9db39a Boxed LetDefFunInDef AlreadyCombined
d71e1db5a4559d81882acccd7dc0e657d4562a45 Boxed VariableViewExclude VariableExcludedFromView
fcda8fbbc74c6d314d17fffd59a6c27c01756f04 Boxed VariableViewExclude VariableExcludedFromView
1dba53e538bfa99ec8f8b648835182134b396ed7 Boxed ConstantModelValue ModelValueCanNotBeUsed
736e4ec1320828378ad1ee021e9d92f0043eb622 Boxed ConstantModelValue ModelValueCanNotBeUsed
add0cdd232d4e042a262e7b4c6a7d1858d43a029 Boxed Assume AssumeIsNotEmbeddable
42b01654e6a8ca6b726e44c6f2953bab8f01a479 Boxed Assume AssumeIsNotEmbeddable
0275a43b2e3c93927f5bbe3877348c7e1c592656 Boxed AssumeNamed AssumeIsNotEmbeddable
a105f511d3831ac15d0374551ed64bd4b902db67 Boxed AssumeNamed AssumeIsNotEmbeddable
e1ab7aca6ff4b637402f384f11b6e3df296188e2 Boxed Lambda TypeMismatch
5aa29fbb8fd4125929e2fd06cb24e203d2626276 Boxed Lambda TypeMismatch
e0690918c591bd14a7c8d717a0c176dfbb783e50 Boxed Cross2 TypeMismatch
56a578f178b87dd2332e06cac35b48d97380133f Boxed Cross2 TypeMismatch
d3ff6334c3a0a49c11bba51f106706be70bc406f Boxed Cross3 TypeMismatch
498524d925e9030f6dd6027864a6bb7111e1dc8d Boxed Cross3 TypeMismatch
f930e0c7802c2544bd28672b80d6c0fe003aeb1f Boxed FunSet TypeMismatch
757e36bf6ef8b6d095b3b4c8d5d0f6fae3bb6046 Boxed FunSet TypeMismatch
8a07ae939670dedfed3551fc033241b57f9efbe4 Boxed RecordSet TypeMismatch
28c9b9c58e2915afd8939e5309d4aafeb162510f Boxed RecordSet TypeMismatch
f234da27428140ac8b7b104012a254490e72fea8 Boxed SetDiff TypeMismatch
20e928e16cc5b04035be560c0f9e068bf4ff2794 Boxed SetDiff TypeMismatch
b5b5ca53a7feb502232d85a3777b858d0134c4d0 Boxed SetUnion TypeMismatch
6f566d8eb03a67096c5a76f7c36a233d1e4593c6 Boxed SetUnion TypeMismatch
202a73c79569cfa55b6aea4ae1de01ac7c31875a Boxed SetIntersect TypeMismatch
f7fe5a1bd22966184cd057824b4f5c37949bf0cd Boxed SetIntersect TypeMismatch
d283184eb3fa778d164603698ba9becf07c26983 Boxed Subset TypeMismatch
3d7692d48b3be82f8669ee8ad8203c501473095c Boxed Subset TypeMismatch
111ca800697dc846acb86d46e0e3aee254e2e16b Boxed Domain TypeMismatch
bc72f485327889e3f7bd3a9aed720c1d240fb0e8 Boxed Domain TypeMismatch
42d9b492a9829117dc9fb1944e0e32aaef375312 Boxed Union TypeMismatch
db8554b8e18f570ee8ac4bcb3255bd43d69b5265 Boxed Union TypeMismatch
ce4e3dbf54bfd6782fe0c7a917231bd5673d8d96 Boxed StringEmpty TypeMismatch
928e24666a15ca03365ae78af8c05b3dad0de793 Boxed StringEmpty TypeMismatch
4adff5358bd8c01e2e45cd220d65b874d0ade0f9 Boxed String TypeMismatch
c85c7695d5f7be5acd07c5519129434ac2857259 Boxed String TypeMismatch
5fba8efcc276cb056d833334feb8ed75092c0fc4 Boxed SeqLen TypeMismatch
1151b123ef3af9cc615a3250333c0bc8604ad9f0 Boxed SeqLen TypeMismatch
278e9212b7531681412e128ed9545fe1b4019021 Boxed SeqConcat TypeMismatch
1b7565329dfa3093c87ec9d9bb7552f301e0de64 Boxed SeqConcat TypeMismatch
0911b9d2350079fa0dc39100a369c7f3c4a9f335 Boxed SeqSeq TypeMismatch
818293ef8cfd9baf0b6b916eb7b61fb427f9af64 Boxed SeqSeq TypeMismatch
d14453b98fccfe23898ab1111eb2804150f3bd02 Boxed NatSet TypeMismatch
00eddce9af1787ef6dd933c489b36f3839ccbb7a Boxed NatSet TypeMismatch
00e5184afedbe88b0588aa0ac35f9e6edb9e77bc Boxed IntSet TypeMismatch
b0ca6a57e891e303da13797379dabe03471040df Boxed IntSet TypeMismatch
826c59f401674d215958df9ae6b0d7463f16fd64 Boxed StringSet TypeMismatch
e65d8a83c27a44464a48c63375b103fd8ccc9e60 Boxed StringSet TypeMismatch
1afff522f3f6f6e6867362f7a0b198107eb388b8 Boxed SeqSelectSeq TypeMismatch
6e712c57f9f5379f14766c35a80c7f984c6f8aad Boxed SeqSelectSeq TypeMismatch
b716b7225cf51211b5a7a4ba704dd5cb56858364 Boxed SeqSubSeq TypeMismatch
82ed9dbcf7a323b88d56f287e4c2ae3ed75483e4 Boxed SeqSubSeq TypeMismatch
15cdebbf37937ab7cfb6612689e81ae578c7b816 Boxed NumRange TypeMismatch
efac5b599b72cdc3f50031cf3b095f39043b13dd Boxed NumRange TypeMismatch
9187c6beb59fe21241878010db70d865dadeb2a3 Boxed TlcSingletonFun TypeMismatch
9e6fbaba35a575626a1ac3fc55689c0ab8b63916 Boxed TlcSingletonFun TypeMismatch
62f4cb4d8f382f880e517a13ca80b486e1f224fa Boxed TlcExtendFun TypeMismatch
fa5e80fee3d8b237da58e29308182ff77f854f31 Boxed TlcExtendFun TypeMismatch
df5bf3bf93113111f56a59daccb91a45ce6ddca9 Boxed TlcPermuteFun TypeMismatch
29133467951b89523f42b3edcbfd664f59573f41 Boxed TlcPermuteFun TypeMismatch
936fae0a6109e815871eebcbe8c17d29392be08a Boxed TlcSortSeq TypeMismatch
ccf582b494190c041d70ef37e105fc14fda7c9fe Boxed TlcSortSeq TypeMismatch
05b6a6a056db42241ced67164c9ad3b6a9384a95 Boxed BagBagToSet TypeMismatch
8f68ef1b31624b1f7a7cee019ae6d2178238ffac Boxed BagBagToSet TypeMismatch
3b5d427cb0f0b577b4898bfc4680bdcf518204ea Boxed BagSetToBag TypeMismatch
ffb1668cba01a8388d25ae33f72128107ced2128 Boxed BagSetToBag TypeMismatch
3e0763ab26d147e2daf392cbbdb805b013c6bb7b Boxed BagEmptyBag TypeMismatch
41b3ba045ec33a90463935d8037b3bbf720f9773 Boxed BagEmptyBag TypeMismatch
8ddb7cd6820bdcecf969f5f8f9de4689e86791e9 Boxed BagAddBag TypeMismatch
6714ac16e299bfe8b2a5a0832dea714af43075d8 Boxed BagAddBag TypeMismatch
72159e08b7de24bb4824905166c864d6434a73b7 Boxed BagBagSub TypeMismatch
05bca16c5aeb0528840c83d3939cd026fb227e03 Boxed BagBagSub TypeMismatch
106558a0a8f0df61b8c5fb239ea072481fcaf768 Boxed BagCopiesIn TypeMismatch
12b29423797a0fc4a1ed58aed1731314feaf54ad Boxed BagCopiesIn TypeMismatch
86ab275c2fabd2c620763520a9fe0e890dbbf91c Boxed BagBagUnion TypeMismatch
717e1f2c02bb1e3eafe8053fdbfb72e71b4031c8 Boxed BagBagUnion TypeMismatch
77fac1dc72dad53432ffdaf9db972ac369cfa794 Boxed BagBagCardinality TypeMismatch
4be2598186304694a8a62f76355317122fc74548 Boxed BagBagCardinality TypeMismatch
02b51d8f472688ae57045b4975b17e6d0d2b9840 Boxed BagBagOfAll TypeMismatch
04ef9775653dfee54dc1d723636208339096c92f Boxed BagBagOfAll TypeMismatch
4bacbc196fcd4b57a889ac7a025b4c493b08ffd9 Boxed BagSubBag TypeMismatch
ca40c219762a2ad65627490b5484787a18d3110c Boxed BagSubBag TypeMismatch
9740cb55a72784615e955e0f45d8b754e9b99f8d Boxed FiniteSetsCardinality TypeMismatch
510382d3130b438540a2983ad94587f3896fce8d Boxed FiniteSetsCardinality TypeMismatch
e60a01ab7db4e6286cd163d8166ce4aebe586d7f Boxed SeqTail TypeMismatch
c36f55c7749928a1e63ed5aa474cdb70094b5c9e Boxed SeqTail TypeMismatch
b31842606a1be25ad13b7adb597bde2af3eafc4e Boxed SeqAppend TypeMismatch
70d7c43b92088f0c04849ce75a4ff92ab5ebf450 Boxed SeqAppend TypeMismatch