Index

Skipped feature combinations by case feature TlcSortSeq

Id Case Feature Plug Feature Skip Reason
ef882dfcc129a60ff670695e4b77aece0cc91484 TlcSortSeq BoolTrue TypeMismatch
6995512077f5b6971f1501962c95c14762fccc17 TlcSortSeq BoolTrue TypeMismatch
673fe6e66167702bbc29ddc97f39e0cbe8aba6e9 TlcSortSeq BoolFalse TypeMismatch
db5da438b3a50a39c1998bb00153f93d8158e95d TlcSortSeq BoolFalse TypeMismatch
eccc9e871b39f4491fc2b99835a600e918f443ca TlcSortSeq BoolSet TypeMismatch
f8057132611f36ed3678db71bf020e4781b3b5dc TlcSortSeq BoolSet TypeMismatch
7c724adc281fec2b2e501fd2132d5e94616772b9 TlcSortSeq And TypeMismatch
b87437435748a39f7da67ffcd42424c7682f354f TlcSortSeq And TypeMismatch
da221e66940a11734886f52fe28c1033ffabcd3d TlcSortSeq AndMultiLine TypeMismatch
5fe5083ac5a606c5d36180be2eb800da7742c986 TlcSortSeq AndMultiLine TypeMismatch
d0e5bab42f155bbcc2e5380565fb6b390cc46add TlcSortSeq Imply TypeMismatch
bb1406750ac847a8452aff6bbd369c5ec4b8730f TlcSortSeq Imply TypeMismatch
db01befb23d4bb0c85436a2256865b500e4deb3e TlcSortSeq Not TypeMismatch
3c4a7aec7d6e8b730c2b749f65131a9dc1377517 TlcSortSeq Not TypeMismatch
57d148f31466e9c35dcc088253fa331418700ded TlcSortSeq Or TypeMismatch
a5e8e0e9179ff270e37c40f75c9b252c14058388 TlcSortSeq Or TypeMismatch
0e90aeb8d52886c5a3833f2e0381240fe949146c TlcSortSeq OrMultiLine TypeMismatch
8b500d2c2777a9d4afa3cd183d26ef4beef9d78a TlcSortSeq OrMultiLine TypeMismatch
0c346114b7bd62ef4ee415a84505530af2394718 TlcSortSeq AndProp KindMismatch
e54e670b655060215d860aa4df23e79255c12eb8 TlcSortSeq AndProp KindMismatch
79a4e1878850beb9c230a6e4fb381a683f94e911 TlcSortSeq Boxed KindMismatch
bf70ed6f4b928d44989749831ffd85c87045b402 TlcSortSeq Boxed KindMismatch
27e5579860b0d9da46834d96c6866418f90da8b8 TlcSortSeq Eq TypeMismatch
4723a961c3b8649ecf77e7670fbed7c39b0d4091 TlcSortSeq Eq TypeMismatch
8a0f3658897969c03272b42cf7813f25464254bb TlcSortSeq Ne TypeMismatch
a315f17dea4ad55718cd60ea4e4a4dfd02694578 TlcSortSeq Ne TypeMismatch
9daf9f2ff2650a6bec424540662bb2975841dda3 TlcSortSeq SetEmpty TypeMismatch
cb05413eec4d92e345a59d540f263c98a4f5fbe1 TlcSortSeq SetEmpty TypeMismatch
67b120cee9867490fb2165ec8b5736f6cbe732a7 TlcSortSeq Set0 TypeMismatch
bcbf217486888ecd3855e97eef5a35450e9f547f TlcSortSeq Set0 TypeMismatch
2734058d0636b1d1e1cd382508855cc4bfc0e8da TlcSortSeq Set1 TypeMismatch
7b06860e8a031cea7aa9d4528aedc6eff548193d TlcSortSeq Set1 TypeMismatch
f1e5972976c8cfadd760071c83e81894432fc4dd TlcSortSeq Set2 TypeMismatch
128d9f6b66d42db6ecfa4ffdd91b057cc8f0982a TlcSortSeq Set2 TypeMismatch
c3d6b6a9ea75dee5a6857bd07444bd9948744955 TlcSortSeq Set1InDef AlreadyCombined
74a0d3a6b760e98d3b3beda5bb6ae58e25c81c26 TlcSortSeq Set1InDef AlreadyCombined
95223d74978ec5e96a79c618cd63d0b5614ff49f TlcSortSeq Set2InDef AlreadyCombined
e9fe7a7765a05592ab44c04f1ac44626c85b161b TlcSortSeq Set2InDef AlreadyCombined
bd7a1939640456e41738ec7a0004cb8e6790e7ae TlcSortSeq InDef0 TypeMismatch
0fa2fddf83aa1c22a43928f422097ae799e6c30e TlcSortSeq InDef0 TypeMismatch
25c51974882c4c929049a95d0ee6475d6268b65c TlcSortSeq InDef1 TypeMismatch
fa9a9053a10ebffb0237c5c79fd62201b82d6f1e TlcSortSeq InDef1 TypeMismatch
a1371492f2d05d9a13e60e053bbb54716db34ffb TlcSortSeq InDef2 TypeMismatch
66f2eb6aaffa1a0c92596b0045d061bfcf71bdae TlcSortSeq InDef2 TypeMismatch
732ff762f6fb840b6c46ac6e963934f00ad09429 TlcSortSeq Fun TypeMismatch
d0eb32a33e5cad4552cf2bf2cca166c7f6ee7c54 TlcSortSeq Fun TypeMismatch
601ef4c19ed6ba68ab9403a5f84e5345f885aff6 TlcSortSeq FunInDef AlreadyCombined
63d53c00600a016d4200d8e0603577680d9191d1 TlcSortSeq FunInDef AlreadyCombined
24dd3926665951aff23165ba656b062dd95f8314 TlcSortSeq In TypeMismatch
04c10b47fda04ae4734709ff7c3f23ea86e59cc1 TlcSortSeq In TypeMismatch
03743e161e1fb8e710a384e3698b365a9a99179f TlcSortSeq NotIn TypeMismatch
a0fd816001b126e9c47d2387f3f0cd3c88b275c9 TlcSortSeq NotIn TypeMismatch
3a269d0eabab950bba3b9b378069a83c444cf943 TlcSortSeq Exists TypeMismatch
59aae2221d6c8cd6f89d1b8231dcf907ba5bba15 TlcSortSeq Exists TypeMismatch
1bfad51f8983057317b58ae515c47783bb58e8a2 TlcSortSeq Forall TypeMismatch
cd9da90cfc28422575d255c93d564fd1d20a85b5 TlcSortSeq Forall TypeMismatch
73a8a33a6c626d75b3c3a54383cf4d193da33609 TlcSortSeq ExistsInDef AlreadyCombined
10bb75da916bacb8f8340327f1dc4512274f9523 TlcSortSeq ExistsInDef AlreadyCombined
84515ff4233ea8ef84cd1ba17b6afdbf64b24196 TlcSortSeq ForallInDef AlreadyCombined
e70edb012def5ce1bb1eb0404babc214c71978a1 TlcSortSeq ForallInDef AlreadyCombined
e834496b0ec487fb6d39eb8e090abfd8267e645d TlcSortSeq ChooseInDef AlreadyCombined
1cea1f748d6af3c6839bb9285e331da704318a55 TlcSortSeq ChooseInDef AlreadyCombined
b4abc023bfb0a8f0b2c1150de20bc1963aedf290 TlcSortSeq Record TypeMismatch
65ea2b7abcdcd64ae5d89620db20f85ba235c085 TlcSortSeq Record TypeMismatch
5ca9d99fa1f1b8898ea28b839d4a72bdd1390bf7 TlcSortSeq Except0 CanNotBePlug
36d6112487d92b5f50541e2aa627a107c248d6d6 TlcSortSeq Except0 CanNotBePlug
1df9f440f2df5b3fccd6b2db9acb7a1cc95a0c50 TlcSortSeq Except1Fun CanNotBePlug
2ddd3fd14d22c912db55e4e20a65f7e54435027c TlcSortSeq Except1Fun CanNotBePlug
20ab3d2433f7249d2eb1e2ea137dd91385b3d7ee TlcSortSeq Except1FunWithAt CanNotBePlug
f1d9d2c4b909a3ac7715fcf2e8ae1e4eb950263b TlcSortSeq Except1FunWithAt CanNotBePlug
58f647576a0964ca008d8cde75900c2e88da3c80 TlcSortSeq Except1Rec CanNotBePlug
30a7bbe605d503dfcb77e1694401fb6d9a9544a1 TlcSortSeq Except1Rec CanNotBePlug
31bc83c2561a33424d85fab546837904852b8011 TlcSortSeq Except1RecWithAt CanNotBePlug
31735706019f65e69071ff8b8df41ca03194774e TlcSortSeq Except1RecWithAt CanNotBePlug
5be2acbbfc3f781160d3cef4490dbf3ecb58f15b TlcSortSeq Except2Fun CanNotBePlug
ead69875c9bee245e6d70c301a143bc97d4a5ea5 TlcSortSeq Except2Fun CanNotBePlug
f04d4e5cc3f78dcae58e70bf112349a54172fa07 TlcSortSeq Except2FunTuple CanNotBePlug
19b293818dbbdc4755ee4d9897acc8308a39baf4 TlcSortSeq Except2FunTuple CanNotBePlug
0bad375a2ede9f3145ee7ece158499c04b1e8979 TlcSortSeq NumZero TypeMismatch
9c2eac7f5503aea47760a273e826de0cfb9b2ad7 TlcSortSeq NumZero TypeMismatch
112038fd9e128b24da29a8c4f19ba1148bff12e3 TlcSortSeq NumOne TypeMismatch
a642e60eba65d1b3ceb7ad5eafd1e267a527c199 TlcSortSeq NumOne TypeMismatch
e220cf4c8cb36066d666b6079f74c79264a9655f TlcSortSeq NumMaxInt TypeMismatch
4c97c0a7b9d0d4a1c5419022a7922bf62a5b659d TlcSortSeq NumMaxInt TypeMismatch
f5d434441627a7a7f3384a40eea9a518f31cf946 TlcSortSeq NumUnaryMinus TypeMismatch
48858c45c6621588f6d9dff71b9c2d80b3d62036 TlcSortSeq NumUnaryMinus TypeMismatch
e05a43d2ee64b2e23e8d1ed99f0e0298e85b03e8 TlcSortSeq NumPlus TypeMismatch
e613653902b844552fe01ef61c0f0e1756234517 TlcSortSeq NumPlus TypeMismatch
3672b5fdbf61c0663ced162f84ca08517ff27e0f TlcSortSeq NumMinus TypeMismatch
53b8dc118e888f0fd788282681af78b7ee50e602 TlcSortSeq NumMinus TypeMismatch
8669adc3375972c8b23312b8fd9cb9cdb6a8e640 TlcSortSeq NumMul TypeMismatch
c14cfe762b1ef654f6830ed12499cf3201c33deb TlcSortSeq NumMul TypeMismatch
717ae7bb799cc01b55cc083fc48cda58c1a59e57 TlcSortSeq NumDiv TypeMismatch
f6afcbaeb351e4f2f86738645dd19f6497f1bc9a TlcSortSeq NumDiv TypeMismatch
01594914362f15db8e8203a47f8086239ccd38a2 TlcSortSeq NumMod TypeMismatch
0aea2a33b3ab079228ec45d979ab26ee0672c3c3 TlcSortSeq NumMod TypeMismatch
3da479081d38dbf860d619dce0858044dbf7a4e2 TlcSortSeq NumPow TypeMismatch
d13931fe3376aed6abaf8a5aa8bb32d54772bae3 TlcSortSeq NumPow TypeMismatch
a82901bd11d714072950af41de80c4297cefa98a TlcSortSeq NumGt TypeMismatch
e5413931d3ecb5b74d4e6e249a4e0eabdee91efe TlcSortSeq NumGt TypeMismatch
ef7323c67ee8010a085155ca6bb79b165c0fa905 TlcSortSeq NumGe TypeMismatch
a1a46452ad83565cef648d2ac1eafcd570b95d30 TlcSortSeq NumGe TypeMismatch
f9dd540c8e0a698a10c79ce88f257b1987562626 TlcSortSeq NumLt TypeMismatch
ae429ffaeddce4e4a7e9526e96929ade274fb422 TlcSortSeq NumLt TypeMismatch
8f3a6b4c6ec5ab5351d2e60f14913c92db7ffba8 TlcSortSeq NumLe TypeMismatch
c7642ac4c58148509749a26588dc9e5d2f774fc4 TlcSortSeq NumLe TypeMismatch
8dcd256f78903448f75dca92abbc677e37d242dd TlcSortSeq DefFun TypeMismatch
e2a409561e3e0fe8d9687259650c1ccc873f7355 TlcSortSeq DefFun TypeMismatch
7d6fab082e4edb0b873dca98a84858825d9fd217 TlcSortSeq LetDefFun TypeMismatch
0ca7effd08cfde508948cec7dc2b18f7b54c93d1 TlcSortSeq LetDefFun TypeMismatch
df43ce2cd6c4762a94e1b3072f9259f6dac86fe9 TlcSortSeq DefFunRecursive TypeMismatch
fccb28b28245fa2a74f745afdd223c7df633ff32 TlcSortSeq DefFunRecursive TypeMismatch
0895bccfe1100693ac9adefa96662b8c9bb595f1 TlcSortSeq LetDefFunRecursive TypeMismatch
b440df74d6142e387369c56df72c83dd14d51917 TlcSortSeq LetDefFunRecursive TypeMismatch
dda89d980531979d097579ca6ffb86ef82c9821c TlcSortSeq DefFunInDef AlreadyCombined
6355995bdb0e984aa16ac89ee6f66d431d4c47ba TlcSortSeq DefFunInDef AlreadyCombined
ec2976118439b156ea08dd67991eb14ad145c90a TlcSortSeq LetDefFunInDef AlreadyCombined
b52ad1879c276056ca31f07371c636adf2fbc6cd TlcSortSeq LetDefFunInDef AlreadyCombined
7b6bab0904799bd34730b6c618a25a737c9d394a TlcSortSeq VariableViewExclude VariableExcludedFromView
54f0ac07dbc5f91338720bff301ec2ae85822c71 TlcSortSeq VariableViewExclude VariableExcludedFromView
6c61b38e3dd8a789bbe6072986c11367bf2141ee TlcSortSeq ConstantModelValue ModelValueCanNotBeUsed
a83f23112bd0a18b656ca617a2d7ebfa7507db8a TlcSortSeq ConstantModelValue ModelValueCanNotBeUsed
f30d7cf00b0e0977622409373c9c3065f8634808 TlcSortSeq Enabled TypeMismatch
1c2f97228a629b27c1ae7af36167ea57786eaeaf TlcSortSeq Enabled TypeMismatch
1e1522599a6b192dcf950b373810e0961802d0c8 TlcSortSeq Assume AssumeIsNotEmbeddable
cdece97aaaba5ecc539e65cfbb7eef3979a4ce21 TlcSortSeq Assume AssumeIsNotEmbeddable
c14c75372e9b93dfbc8d1e72569616ed1f765da4 TlcSortSeq AssumeNamed AssumeIsNotEmbeddable
4a14b78d201b939982cd0340567e52874a807bde TlcSortSeq AssumeNamed AssumeIsNotEmbeddable
a966f74eb8db215c21e2dbe23cc337af712ad33d TlcSortSeq Lambda TypeMismatch
f8a6f39bbb05ccb5f23e5cfc539265216400e8c3 TlcSortSeq Lambda TypeMismatch
7c9c5dba6b0b07462ed9bf5d59fa02871699b3c0 TlcSortSeq Cross2 TypeMismatch
2cf0b01d237989e24275b159ae5a6fcbb1c9c42f TlcSortSeq Cross2 TypeMismatch
0e0cb830132b87960061249ee486802c1e463427 TlcSortSeq Cross3 TypeMismatch
dc51478ee2bc7ee6228901492ffe005b77a744f2 TlcSortSeq Cross3 TypeMismatch
abcdc5ee4073c9190af3a38f10d64bb7698f3209 TlcSortSeq FunSet TypeMismatch
141a133c7f2d1825f5a9aa38da81576b714ce08e TlcSortSeq FunSet TypeMismatch
ea4c69ceb9284cf69999b823a6b6a2a8e204c2db TlcSortSeq RecordSet TypeMismatch
3eaf058cc1c72b4754dd4eda0732db073fb36ce0 TlcSortSeq RecordSet TypeMismatch
7981835f90e6730b3b6fd1d38793765c219869ad TlcSortSeq SetDiff TypeMismatch
271c4cd7eddd6b823d19ccc7b7f7e66ea52ce49a TlcSortSeq SetDiff TypeMismatch
86309261312ee1e11a7774ca7015da9e5dfd95d9 TlcSortSeq SetUnion TypeMismatch
405d24ab7ebe1aef9bca5f717a470905677177d0 TlcSortSeq SetUnion TypeMismatch
61a749e30fcb47ce6dd92dd551d7aed437aaf821 TlcSortSeq SetIntersect TypeMismatch
b9f0ee5873283abc339fa062de9fe3f5e44eeaf3 TlcSortSeq SetIntersect TypeMismatch
174c327bf0bd2f8784eb99ed96a2867d4a192e5b TlcSortSeq SubsetEq TypeMismatch
6b97eae298dd520da174a0839782fb4416cae821 TlcSortSeq SubsetEq TypeMismatch
ac1292f51d140a1f663b6bef9d11de9c9fcb9d4c TlcSortSeq Subset TypeMismatch
59d0bcf84b9e10c06b8e46bcf0aca6cda1709a6e TlcSortSeq Subset TypeMismatch
ce45eb75d1fbfd2794b0ef4afaa8a613bee69200 TlcSortSeq Domain TypeMismatch
03702b9a7dd4e0bf06a5f1cba4effac71a85ad9a TlcSortSeq Domain TypeMismatch
e1f2aea216407f53e7b7c802bca2ebc8244682fb TlcSortSeq Union TypeMismatch
2db5b7a92f179ec22b328113fb92979d2ae21c08 TlcSortSeq Union TypeMismatch
4e34bef8b6ce2759af219a6d1448b59f2378e29f TlcSortSeq Unchanged TypeMismatch
a7fd1c46de82a61e879c4726764f92d750deee5e TlcSortSeq Unchanged TypeMismatch
a5832007aebef04224487fe5511733c7c53a5c9b TlcSortSeq Equivalence TypeMismatch
7c3b1768dbb3d3222272ac009dae178a87d0b589 TlcSortSeq Equivalence TypeMismatch
306b865972df0bb0b4fb1a122be81515bda56c56 TlcSortSeq StringEmpty TypeMismatch
cf5efc952aaa61c7b566854faaedd5d355450f8f TlcSortSeq StringEmpty TypeMismatch
dbe8de396fda873b5da4fe98ee6da2c44fd5dddf TlcSortSeq String TypeMismatch
f439f41211a894fabd626872ca9051c86af1e747 TlcSortSeq String TypeMismatch
1202c91e26f41296dd727e0da383ff3113ef390f TlcSortSeq SeqLen TypeMismatch
20cf9183ab878c53471a5790deca624c6348eda1 TlcSortSeq SeqLen TypeMismatch
f879f5bf5ae673ce3d96c23cd5040d8fe9fd1a15 TlcSortSeq SeqSeq TypeMismatch
5de212823e4a083069d22ce379ad814482b04d30 TlcSortSeq SeqSeq TypeMismatch
3e47386202684b741693fb1c9e2822e4bbd92de2 TlcSortSeq NatSet TypeMismatch
ab112335b6cbef0ca5f978b4f45ce06d4821864c TlcSortSeq NatSet TypeMismatch
a522d0ae2e3619ec578a91cca4d10fa65bdbe2a1 TlcSortSeq IntSet TypeMismatch
f2068d0743572447773811cce210cb0d0f96cd69 TlcSortSeq IntSet TypeMismatch
68211a7908152300b8fa311bfe7841972fde84e7 TlcSortSeq StringSet TypeMismatch
2fc56eadc4abc6636cba9fc8be3a36c87f3248f8 TlcSortSeq StringSet TypeMismatch
aa1875b8ebd94823983245c79b108faaccf3c7fd TlcSortSeq NumRange TypeMismatch
8e22ff2866d597d9011d940753570cdf52966c9e TlcSortSeq NumRange TypeMismatch
d56b5aa97100756358b1cc4af26bc8f6e96119fd TlcSortSeq TlcSingletonFun TypeMismatch
7c063ad3373acd02279fbfe91c38a291cbd3f5b2 TlcSortSeq TlcSingletonFun TypeMismatch
0972b15d5c061fe6a5d26d62eb5ec336905bc233 TlcSortSeq TlcExtendFun TypeMismatch
85cf1cb09ab0769b71378bdaeb16bb6fc598ad12 TlcSortSeq TlcExtendFun TypeMismatch
604d2f90b647664cb848e1853f01ee9ee74e22b9 TlcSortSeq TlcPermuteFun TypeMismatch
eb89fe14878981a151d52d0a95fc8c81af41bc3e TlcSortSeq TlcPermuteFun TypeMismatch
e993f02c89602896614f1f3a92ecf3d906a21c6e TlcSortSeq BagBagToSet TypeMismatch
c5cbd7d4638577a6a9b19f8e752f33342a317c44 TlcSortSeq BagBagToSet TypeMismatch
f9f221f6bf0a49e6390992f758b2879af73abea3 TlcSortSeq BagSetToBag TypeMismatch
538e50a0cb10db7d6df21dc652d4fe3fe27045c7 TlcSortSeq BagSetToBag TypeMismatch
a9576edb40bbca9b36b6ae647ca5b4cd238f71c3 TlcSortSeq BagBagIn TypeMismatch
3475fe468ca5c10694d91d392f6e47e3d6673255 TlcSortSeq BagBagIn TypeMismatch
7a7869876355e0f26eb1cef434bc7e31aeeec9f9 TlcSortSeq BagEmptyBag TypeMismatch
5e40886a66f9afe3fec8c91ef3939ace6f53c6b4 TlcSortSeq BagEmptyBag TypeMismatch
692a8042c84bae0d414a4d71a886be8d172c2771 TlcSortSeq BagAddBag TypeMismatch
b3b3d4306001f7e702d79095f451f0178d0a27fc TlcSortSeq BagAddBag TypeMismatch
80901b1e9f52258a9f9457a1cb3d360cc7f219eb TlcSortSeq BagBagSub TypeMismatch
beace2c1ad0ed940526706685ebe43cd04e299ff TlcSortSeq BagBagSub TypeMismatch
b22a48380e3099bddaec15e133a8c9d9009b30be TlcSortSeq BagCopiesIn TypeMismatch
f57c47f502a9b060be72a331517860c84e753e69 TlcSortSeq BagCopiesIn TypeMismatch
35ba853f37fa6ce2d2a83a8c20f05be7ea22c73f TlcSortSeq BagSubsetEqBag TypeMismatch
4e91df3691d6d5d17af58f8de9640b9e8a18cdc1 TlcSortSeq BagSubsetEqBag TypeMismatch
d08fa00be40349f71a8eee06dce53ddd3ce1c270 TlcSortSeq BagBagUnion TypeMismatch
880ae6b6544e03390f5ddbdfe2a44a1756dc47be TlcSortSeq BagBagUnion TypeMismatch
5432b616b8f8d8ad81b2ca2e2499638c9859560f TlcSortSeq BagBagCardinality TypeMismatch
2dc944931ea1bebb4608c6d8371dbfe2781d1bc1 TlcSortSeq BagBagCardinality TypeMismatch
3003934d04b1073cfeae9c389d85e7a9a6078a08 TlcSortSeq BagBagOfAll TypeMismatch
5a3d92c2e33e7097a69e974d7eab6dddea143b9e TlcSortSeq BagBagOfAll TypeMismatch
7dd4afbbbe5584c16cce73e1f2cf8eec10931142 TlcSortSeq BagSubBag TypeMismatch
0ac0af69acc7640e84433ac52eaa75cb2f31e56d TlcSortSeq BagSubBag TypeMismatch
7ca57f2bced17c912f4b73055593d8025455a514 TlcSortSeq FiniteSetsIsFiniteSet TypeMismatch
64e1cc24286ae88e8209aee0e15f198a8b26fb97 TlcSortSeq FiniteSetsIsFiniteSet TypeMismatch
f1e77c116de59f6c51b1d100855634b643535888 TlcSortSeq FiniteSetsCardinality TypeMismatch
edc5ecd1341b7a5ba0ab800f56306e6f26e7afd3 TlcSortSeq FiniteSetsCardinality TypeMismatch