Index

Skipped feature combinations by plug feature NumLt

Id Case Feature Plug Feature Skip Reason
d3eb125c68010c54e62cab484f418db51510de5f OneLineComment NumLt CanNotBeCase
7ca0662d7e8d8114a3e9f70d1c76ecb9dc905e6f OneLineComment NumLt CanNotBeCase
93e879e8c10e56834d9059e5cddf3ac58a74f859 MultiLineComment NumLt CanNotBeCase
3207d3836273b3221b76332ad4f4c4d2efe83dd2 MultiLineComment NumLt CanNotBeCase
ca1ebaddfad6373c7d5d35d851331518407a4cb3 BoolTrue NumLt CanNotBeCase
facfae2674c5c42c89c2d7114156da69b025df29 BoolTrue NumLt CanNotBeCase
9ea092db44982d63fc67e815d4139a7df2ec9fb9 BoolFalse NumLt CanNotBeCase
07d1d4eb2185e4fc552ae0c5af817d14187a1773 BoolFalse NumLt CanNotBeCase
738d33ea963283fa2a7281957ed6faedf56aea82 BoolSet NumLt CanNotBeCase
7e4812cdb1ecf047266af60bc3c74b82df3e7cbf BoolSet NumLt CanNotBeCase
349e07bf89be83481fe4d941a9d40fc4488e60bf SetEmpty NumLt CanNotBeCase
f3eb0e6e2432b99e7b71ba58a77e2cdd45862a86 SetEmpty NumLt CanNotBeCase
c9e1c2fcc288a8039d0f9e62089b27ae30ea0d88 Set1InDef NumLt TypeMismatch
a36cffee6c0401921edfe791f7bc97a72291fd8b Set1InDef NumLt TypeMismatch
c088af59ee02fec037a2209c905dd76cebb4f8ff Set2InDef NumLt TypeMismatch
ced1839aa2badae78852896875ee8aee613a624e Set2InDef NumLt TypeMismatch
535302adb73fae19540b134b04629711c267d99c InDef0 NumLt CanNotBeCase
be59b4646cca44be841b9f3470e27448a802455a InDef0 NumLt CanNotBeCase
adc940a3d69d3acb46dd410b0708b0fcda268c01 InDef1 NumLt CanNotBeCase
dcc384d001883112fc035e46463c5f0ebcf421d1 InDef1 NumLt CanNotBeCase
94198d08589355d897bc72683e577cdebfa324ee InDef2 NumLt CanNotBeCase
97adf8996a53625e0c3d3851d5f6394d5c822a9b InDef2 NumLt CanNotBeCase
cd5d2c99f144c95ca44761e0d0158214c6941bc3 FunInDef NumLt TypeMismatch
5d28674e55fe425dd0398c20efe26c33cb9240ac FunInDef NumLt TypeMismatch
9096588f7f9eee1d3c0dabf3008421a7c980a3f4 ExistsInDef NumLt TypeMismatch
b01f38320fd864e00a3e18c9912fdbb7b40582a3 ExistsInDef NumLt TypeMismatch
ca5b708addc9ade0cc1000dc565410a475159a02 ForallInDef NumLt TypeMismatch
e9a28db84bed6f5ca4a11a8723d6a65d52545eee ForallInDef NumLt TypeMismatch
b0c8be28afa08ba52203d6025583a2f88c09b7a4 ChooseInDef NumLt TypeMismatch
a8bf412357a545e4206052c696a521683b3b9ea6 ChooseInDef NumLt TypeMismatch
78ace2ef6632b3b508c450b235f0c8213a7f39cd TupleEmpty NumLt CanNotBeCase
ff6aed3a2b0ce698fa6a83682c9c81db57fe4087 TupleEmpty NumLt CanNotBeCase
6703e1552e2f66d0dc0cc42fb74ecfd2314744c8 Except0 NumLt TypeMismatch
242843752855535ca0a1aa15d98b4966afbc16a1 Except0 NumLt TypeMismatch
eea0afdfc70c717495145a423933c7034b062b9d Except2FunTuple NumLt TypeMismatch
d86c1d2e64da916dbbe62687de1f509fbb58b8a8 Except2FunTuple NumLt TypeMismatch
ffc700636c79d569e0f530e4252f21b0900abcb8 NumZero NumLt TypeMismatch
9083ddf7a35289a43bfb2e5d53b324c82cf89cde NumZero NumLt TypeMismatch
ad9ccf84f7357e4e117f4d4efb5854bc88524d52 NumOne NumLt TypeMismatch
7b692a72379195c9ac0d8af8520280071a0ece65 NumOne NumLt TypeMismatch
55cb1968bde35b594a495162f57f574308a13c08 NumMaxInt NumLt TypeMismatch
17f88ca2a59f4eb21ae225ca2d0c682afae7d18e NumMaxInt NumLt TypeMismatch
cab473bad9bf7e332fffd6c11b0cf2d50bdcfc33 NumUnaryMinus NumLt TypeMismatch
84c94499d566abdf96bfa0d9e45e07faca2cf105 NumUnaryMinus NumLt TypeMismatch
8c252dc3e739b406f1e599ea8c1ee5ebd8160f9b NumPlus NumLt TypeMismatch
0ce549055e8412c169ef3ed920ad109a407361be NumPlus NumLt TypeMismatch
6fb9b808e1dcdf68f04cb5d4250eea8b05e6cc0a NumMinus NumLt TypeMismatch
a7ef81b925d71f1c3236edd31a4d816514979383 NumMinus NumLt TypeMismatch
bed465345d6d64a3ee7ec9d5e7052f2a4b4574c1 NumMul NumLt TypeMismatch
58fd1d219836af06517cabf8862e9d542d80c211 NumMul NumLt TypeMismatch
077b0d969d5484294a266ccc196382866781a222 NumDiv NumLt TypeMismatch
41834506f505bd77f9462419f3ca78058a0826d0 NumDiv NumLt TypeMismatch
98e5a3e962e5f6d2a6b021fa5545cff22c37d7f5 NumMod NumLt TypeMismatch
b2320dcd99d673fbd60361e550ee729af862d0c1 NumMod NumLt TypeMismatch
6a8cba32e0813dd8002561573b37d682e293ce76 NumPow NumLt TypeMismatch
a6ac50627315ea9ce4514313f286f250e93f3869 NumPow NumLt TypeMismatch
bad272f590f496160ae0bf3552afb7e7b42f3ddd NumGt NumLt TypeMismatch
9b16ed5ec7315bff10fe29ddbd4a31d46e8819a7 NumGt NumLt TypeMismatch
7e0efcdb0c2781613281c12d4e8ce95befda72f3 NumGe NumLt TypeMismatch
0d872e24e6ebd320e8bd6f58b876faee2243ba46 NumGe NumLt TypeMismatch
c936e8701fc5594f3ace2a021a2ea4a1f644f8ee NumLt NumLt TypeMismatch
29e09507aad59044ad19e996e195448d89370934 NumLt NumLt TypeMismatch
461e51eeacaeffaed4d0d40b3889025c5c65286f NumLe NumLt TypeMismatch
25be3f6db4062fbc49f4cd7f4d3a354811ba7d18 NumLe NumLt TypeMismatch
987a2833d97c5c70750e3630c41d51b4ec404905 DefFunInDef NumLt TypeMismatch
3d65f6742f799990e91f86261c4936607add63a8 DefFunInDef NumLt TypeMismatch
66dfd95331a43686ac345cfb18eb6963452a1f10 LetDefFunInDef NumLt TypeMismatch
9e65a41aa881bb33a9578601e6c4b8dcd333c741 LetDefFunInDef NumLt TypeMismatch
93f6effb9e999ae865c5ac3b6fe41072a8c896e8 ConstantModelValue NumLt CanNotBeCase
45f18ccfbfffc116a390b609ebc8b07454cc443a ConstantModelValue NumLt CanNotBeCase
1def527b901509c64b5ea5e787d18b433d411e4c Cross2 NumLt TypeMismatch
51124081e5b7410b06a412397d9ced997d9425bf Cross2 NumLt TypeMismatch
ce19bdfcd02323928a8376111c8d2da621cbf7eb Cross3 NumLt TypeMismatch
3049c52e955636048a9f9c409ab35ba3977a8a23 Cross3 NumLt TypeMismatch
a1fc67c2ba43f7fd69128951715565298cc8e267 FunSet NumLt TypeMismatch
b667135e13bcb24a1e8da030e46def1c70ca77e3 FunSet NumLt TypeMismatch
e8fcd1afc1bf295ed4f931163df6f92596e77545 RecordSet NumLt TypeMismatch
6a0e82d2731358d5813da058dbe5220678c04a93 RecordSet NumLt TypeMismatch
c31449b2a17016c0320a0689f8d2709ea7048a4f SetDiff NumLt TypeMismatch
f4bc791e53971fcb59ca0f8c3ec4983ee6982610 SetDiff NumLt TypeMismatch
2cbda967af5b63aff74859812d8cc4848d5667e8 SetUnion NumLt TypeMismatch
d004193df4c7324ded673b06e1fe3742b58ee175 SetUnion NumLt TypeMismatch
c77f563fc83bc4bc237676dac1e618cc0bcac434 SetIntersect NumLt TypeMismatch
b3dedb1ff894e0b10abec3bc24af8e09806dd14c SetIntersect NumLt TypeMismatch
7a36b0733a69a48c078dabb6b63138eac89756b0 SubsetEq NumLt TypeMismatch
19ca4848d7d92343a895d7d5261d81253fc818e8 SubsetEq NumLt TypeMismatch
b8ea32afc30a7a7b2be370b1cbda6cad2043257b Subset NumLt TypeMismatch
4f42d86d6de18e8cb95c64086f6046f34f44d446 Subset NumLt TypeMismatch
5396a0b1c41ed30779af8270f08ee58ea1b508a0 Domain NumLt TypeMismatch
7f01c06afb6581fc60ab69b17cebd8c53f41a56e Domain NumLt TypeMismatch
18510aca4ce3c467a9ecbc4b9b0bfe5ce1a7b42b Union NumLt TypeMismatch
613bcc54f7d1c8f15870595fb2f93da2a610a2bf Union NumLt TypeMismatch
ba85b8bc22531aba66a9d814c5ea54ea3007ee22 StringEmpty NumLt TypeMismatch
d477ababc14058630bf7d416bce8e781e0e0a9dc StringEmpty NumLt TypeMismatch
32b8017af1f085ebfd6fc00dde39cbd9fa81076b String NumLt TypeMismatch
88c3ee8a5c092b9f5cfc190acaa13a61dd3caac2 String NumLt TypeMismatch
d5b59c07164fba13a252b0344cb752173c0bcae6 SeqLen NumLt TypeMismatch
ba766667e0f11f262aecf72a96696111fbca8e8a SeqLen NumLt TypeMismatch
a29e8eaf9eb2a7cd8e17e81634550fa6d7ed13bf SeqConcat NumLt TypeMismatch
662cdfb43a89d5fa6971fe71783f7081d0eb1b5c SeqConcat NumLt TypeMismatch
efed3d60f08b4efb213eb5927caa8bacf7f95f34 SeqSeq NumLt TypeMismatch
802ea12e27f51b7bbb513726dbdac6b5f581fcd1 SeqSeq NumLt TypeMismatch
573a430ab211e1afd4e885e6548c032386bb10fc NatSet NumLt CanNotBeCase
42352ef530e7d512dbdcb78f4d2e550f6a9def28 NatSet NumLt CanNotBeCase
0c7a8d84785013fcd00e41d21de4777a889663a5 IntSet NumLt CanNotBeCase
3b019a6516f8eca214622ba0800b62f9d269a572 IntSet NumLt CanNotBeCase
7e52dd5f80951bdadd5d7a73bee819cb3cb147bb StringSet NumLt CanNotBeCase
81eaead01803c83774bebb0428b10182fc112852 StringSet NumLt CanNotBeCase
9275114355c83bc287f225978ed51950359c6821 SeqSelectSeq NumLt TypeMismatch
2afef06551ea1625a598b98948e1f59e1a17fc84 SeqSelectSeq NumLt TypeMismatch
e8286cb56312bb0681afeadebbbbd2af8b4571d7 SeqSubSeq NumLt TypeMismatch
66c87f86ade9acb2e358f76cfe528b5ad3ccb07b SeqSubSeq NumLt TypeMismatch
11a6d64dd5adfec6587dcf69484a0ae55c7dffbb NumRange NumLt TypeMismatch
d39059f0e033316bf795688cf98919c891b4c700 NumRange NumLt TypeMismatch
063128e9ed2b99e13476fcde51cd2438e2819247 TlcExtendFun NumLt TypeMismatch
9dad4f4b31d05a1d9c3a01ec4249c7c24264ad1a TlcExtendFun NumLt TypeMismatch
b416fd25eac723c3e44231432060c0551a748d6d TlcPermuteFun NumLt TypeMismatch
7e3f74570d2fd6d56e08c57879f5844b83d67160 TlcPermuteFun NumLt TypeMismatch
f9dd540c8e0a698a10c79ce88f257b1987562626 TlcSortSeq NumLt TypeMismatch
ae429ffaeddce4e4a7e9526e96929ade274fb422 TlcSortSeq NumLt TypeMismatch
e19962fd144aa98303f1177e00cba486deb2661d BagBagToSet NumLt TypeMismatch
0dc1c63af68ad3911738d84be03d5f5a91d307bd BagBagToSet NumLt TypeMismatch
8c0495e2a6332459fee4048d016046b69742936a BagSetToBag NumLt TypeMismatch
ec5bb148c1cd7aeee63744c03d7de9d803787351 BagSetToBag NumLt TypeMismatch
140b9dfdfc9fccda620d887bae887d7ce2db0851 BagEmptyBag NumLt CanNotBeCase
3e42fd981c164f694c177fa78556cb3eb225d92e BagEmptyBag NumLt CanNotBeCase
a3a7790ccfdfc59bc8c172c154ffcede0de74fe5 BagAddBag NumLt TypeMismatch
c193df07772079b491e10e95b10ca8c71e910143 BagAddBag NumLt TypeMismatch
c9d3d6be683484d07861eb31086e48da137b4584 BagBagSub NumLt TypeMismatch
6fa72abeb914f74141df1d67d75605af9bb27511 BagBagSub NumLt TypeMismatch
3b10afb5915a0b43b44e6281990e19e1d987c74d BagSubsetEqBag NumLt TypeMismatch
40635db6fb231ad6f0f41a4056231803f07e80c2 BagSubsetEqBag NumLt TypeMismatch
0221d0f109bae406bb54bbf866c46e855e0f6d6c BagBagUnion NumLt TypeMismatch
818cef41cd60be8b183db44ecdba593461cd3c2f BagBagUnion NumLt TypeMismatch
53111988e5be7d7925cc5dc77f5716fe2555ef73 BagBagCardinality NumLt TypeMismatch
9fce2eda7c62dfd5df9382688dbe34cb27195329 BagBagCardinality NumLt TypeMismatch
e91c231f3966ebeb876585318ecad2cd795d051c BagBagOfAll NumLt TypeMismatch
fefe97042288d7ef19daa9ebab97f5908a5a01ec BagBagOfAll NumLt TypeMismatch
3e176f41cfeb10f4dfd1e331510eeb3fe2967d86 BagSubBag NumLt TypeMismatch
9212812123940721efc78011720a73aeb679a8c6 BagSubBag NumLt TypeMismatch
126197d0c7dca9912f38325651c6c65d50a6ada0 FiniteSetsIsFiniteSet NumLt TypeMismatch
bfb797fb2708311ae54f7d37ccba08a5892e3d23 FiniteSetsIsFiniteSet NumLt TypeMismatch
672c551c93e60ac1eb89cdaeb0c7c6daa9cc2262 FiniteSetsCardinality NumLt TypeMismatch
e06fce09938cc78430a304381282a00be15cb63d FiniteSetsCardinality NumLt TypeMismatch
99efb60711d00e21e61cf8f906ed1dffb982da96 SeqHead NumLt TypeMismatch
61c39a468b3f8540b0b419a13e51e8d26705a77a SeqHead NumLt TypeMismatch
d7096fcf86a03d0ad73737516a91949a34e56e8b SeqTail NumLt TypeMismatch
f004ba0ff5bf2643744bd522633385710d03da70 SeqTail NumLt TypeMismatch