Index

Skipped feature combinations by plug feature Set1InDef

Id Case Feature Plug Feature Skip Reason
1d86bcf42aee2dd0fc7b727d8bc6da57c589a71c OneLineComment Set1InDef AlreadyCombined
82e3f24ccdaea546a21ab5909c6cc5150b4e9044 OneLineComment Set1InDef AlreadyCombined
cad43d8960942cbcb5c86064b9d111a655e6cbfb MultiLineComment Set1InDef AlreadyCombined
fed4ac1ba7c8e6fd8e345a3a0232752754f4c545 MultiLineComment Set1InDef AlreadyCombined
ef14e13aeb3cfb06a4e13eaef61ae6858acac2d1 BoolTrue Set1InDef AlreadyCombined
749dfcb4a4b0d1147bde5339db8e41818043454d BoolTrue Set1InDef AlreadyCombined
b44cf4b44c4efff0b4a51601bcbef6f2d6df1d0d BoolFalse Set1InDef AlreadyCombined
0a91b43c1044b2b0c4a9b00c03ddfe0a5b1a4fef BoolFalse Set1InDef AlreadyCombined
189da89949b0fdee01f449c16fd1c085e6847e99 BoolSet Set1InDef AlreadyCombined
5106686a0854c071d44783fb9489b26439b8e96f BoolSet Set1InDef AlreadyCombined
a59762dc35d6d913a3ab07db70bd278014da12e3 And Set1InDef AlreadyCombined
2df86ad9ebf0474e67fc383f012bfb530e799c38 And Set1InDef AlreadyCombined
157a02411ffe3187b46a64d7acc633f6174960c7 AndMultiLine Set1InDef AlreadyCombined
c93423b6e98fc900a2fd3d4be7ea389e5bb9dfec AndMultiLine Set1InDef AlreadyCombined
c65b51653633051a84094628078665ed4b29ea3c Imply Set1InDef AlreadyCombined
b3e0860a439d94f77019b0be3d4a70bd03f332c7 Imply Set1InDef AlreadyCombined
6c7242e4fe4d8fe78495bd7511b2333f1565a2dd Not Set1InDef AlreadyCombined
cd73fa0b589f84043e95c91ce4224ada86135417 Not Set1InDef AlreadyCombined
7126b2a6132c1370ef314de5d2edbc678b27b98e Or Set1InDef AlreadyCombined
6b7c4c824708c552929372fc908322301227fdeb Or Set1InDef AlreadyCombined
0b003df42a77fe4d47ba0e3c3061efe619c956b7 OrMultiLine Set1InDef AlreadyCombined
972bc1acd31b320968dffdda53df33c8535006e9 OrMultiLine Set1InDef AlreadyCombined
f9403ff702dea72509382a9f229567d7578b88bd AndProp Set1InDef AlreadyCombined
67f9ab2e1e208f87bb3a6457f60ca6a27ed576b0 AndProp Set1InDef AlreadyCombined
efdc86bce15fdc3ba0623904fa9001a07a54fc65 Boxed Set1InDef AlreadyCombined
c0912f3d75aadc0af7f519a2b8c884c8c826433f Boxed Set1InDef AlreadyCombined
179b3744fae61ad4cdd6e0b09a27871c237207f8 Eq Set1InDef AlreadyCombined
f50fea9d7f45961dee4deb9ea983fb381db21f70 Eq Set1InDef AlreadyCombined
b441d8b7f2d04de7ba9b123145759703702a7693 Ne Set1InDef AlreadyCombined
43bc15851d81cb5d66a08aeea2971c092383852e Ne Set1InDef AlreadyCombined
e4c4bd4e00a3f18923f0b11f5fa26b507b2796e7 Let Set1InDef AlreadyCombined
b4e870a8ec9c8c017a8446c74fa3be05fbe31d34 Let Set1InDef AlreadyCombined
127b594aa7fb3033864ebd5289ef0794f9cfa08b SetEmpty Set1InDef AlreadyCombined
0068cfdca91903c36b888a6216057592b4423e0b SetEmpty Set1InDef AlreadyCombined
186bea99b58c109438b44faa94512846e01abd81 Set0 Set1InDef AlreadyCombined
3affc438bd5cb96f8e2935fe85cbd882cf325702 Set0 Set1InDef AlreadyCombined
18fe5e6fdf5a0ff518f8f742a3b4928f7450c482 Set1 Set1InDef AlreadyCombined
d6e6449133267f94aef317889704effc060c924d Set1 Set1InDef AlreadyCombined
f46d94dea89bd27f346828f1695d2817fe73657b Set2 Set1InDef AlreadyCombined
8f71ff335e2f289d7c41c961036f7380047938e8 Set2 Set1InDef AlreadyCombined
24776070e66aa8ba29832499e272eacaf7cf1989 Set1InDef Set1InDef AlreadyCombined
ea6bc36286ebdff935e01f2e1485473e0dbc61b0 Set1InDef Set1InDef AlreadyCombined
6c4d508eaa4cfe1775aa084037b1ae455f285791 Set2InDef Set1InDef AlreadyCombined
72f71d8452fd8a12924044962c52d80ad7aad064 Set2InDef Set1InDef AlreadyCombined
b12c49c913bdd5763473d851b2ca75087fb5ea92 InDef0 Set1InDef AlreadyCombined
1cd7a271e672b01329f0c920bbb0e27c19f98759 InDef0 Set1InDef AlreadyCombined
eb8f43a38cfd08a9bd06dac646cf7346c1cad55e InDef1 Set1InDef AlreadyCombined
c0d18bf2a41d0f65bcf1a4ae0a990bcc91bb887d InDef1 Set1InDef AlreadyCombined
b8ae0a7cd67f2356e74696bbfd69fa17ffab2d2e InDef2 Set1InDef AlreadyCombined
5ff89c61111c5a5876b56c7ba604230dae0bf75e InDef2 Set1InDef AlreadyCombined
fdc854c89c85c2c44160177bfcb3a968f69e305e Fun Set1InDef AlreadyCombined
cf4d9b43bdc524fba823f0c645fbcff8114aefda Fun Set1InDef AlreadyCombined
ce79fa8e160d1ef57b9a4bc4d0a3f599d31efe51 FunInDef Set1InDef AlreadyCombined
a186c6a948b3dab2f5fd4b964154949e811b6238 FunInDef Set1InDef AlreadyCombined
a440113ba5838cf99d032f5e90e5bf4aedcd9dc9 In Set1InDef AlreadyCombined
6999af5618d543483c0f5e1d9fdf6162ecd30a7e In Set1InDef AlreadyCombined
e47f46fdf67c3983c858f3cd23c1d6fb7ed56ae2 NotIn Set1InDef AlreadyCombined
49dabd08322fe3086482d2cea95735866d743ec3 NotIn Set1InDef AlreadyCombined
e250dd1772b8ab8f81dd477dc467f60d94b328ee Exists Set1InDef AlreadyCombined
d2396e276b3c9a15b29b90bb384e6961b2893bec Exists Set1InDef AlreadyCombined
e158e59a1110aeb6f1d8ace7f3a4750e55f551c1 Forall Set1InDef AlreadyCombined
7db74d917dae8cd1632afe52ebeefa9ec8465938 Forall Set1InDef AlreadyCombined
1730bc6a321531ff61316324dd4caa2529c58775 ExistsInDef Set1InDef AlreadyCombined
2e1fb62d936aab98213850bd02ed19853430228f ExistsInDef Set1InDef AlreadyCombined
5d6747b31e6302f5722956637bc5fadabd5e5a31 ForallInDef Set1InDef AlreadyCombined
872f069eb4e792d93b3ffe9c7ffe4e152c81d379 ForallInDef Set1InDef AlreadyCombined
8c29a3096d513958fffa92e58b16bf5bfcea096f Choose Set1InDef AlreadyCombined
62af80273a53f9167b7f61f97602e8d11d7b7d0b Choose Set1InDef AlreadyCombined
855c802d34f34da483bac8c5114d73418301d019 ChooseInDef Set1InDef AlreadyCombined
49a920c1c9f89689f05c8e2714bcb379c5ea0df6 ChooseInDef Set1InDef AlreadyCombined
e16658dcc20461e485478c06dd0b8dcbace9fc9c Record Set1InDef AlreadyCombined
82e511dde99bfcd80781c2d0b2a8b0607a5eb7b6 Record Set1InDef AlreadyCombined
0fbb5f835dd4f03a8b54c813cc8e2069fd82d8c8 Tuple Set1InDef AlreadyCombined
34533c574614203dd7af46154226d99fdbc551e5 Tuple Set1InDef AlreadyCombined
4a9d39f81bb7cf61ac1f735980086642440ef7d6 TupleEmpty Set1InDef AlreadyCombined
49fc7ee188dde527e58fdf12ef3610f6e222ab44 TupleEmpty Set1InDef AlreadyCombined
9809d3b35fde46b6748b23c0761c970100cab8f8 FunApp Set1InDef AlreadyCombined
8b4cfcb0980af2de1a0e70f0dddceba871738de6 FunApp Set1InDef AlreadyCombined
eeb237635c5a20f690b908a7801c5dcfc5bddee2 Except0 Set1InDef AlreadyCombined
bfacb17e69fc37ab5c20687b841375092814df61 Except0 Set1InDef AlreadyCombined
37a907369195e4a2977abf4210737fc8047d8731 Except1Fun Set1InDef AlreadyCombined
3050772969c05f1695091178c2cff4422593b24a Except1Fun Set1InDef AlreadyCombined
12bcad13ca1e93f77d956e83e1904e257dfd5305 Except1FunWithAt Set1InDef AlreadyCombined
e864bc091e29348e18837b0c19502488f1535415 Except1FunWithAt Set1InDef AlreadyCombined
d0a72b8a80a832e15cea6cf11c2eeee6a9013106 Except1Rec Set1InDef AlreadyCombined
203f09bcf439c84cafe8a2f3dc1a2399de1e9d70 Except1Rec Set1InDef AlreadyCombined
cf4e4e3238c0a58f268e3f35a29769d6a72d69d6 Except1RecWithAt Set1InDef AlreadyCombined
85829fe8206e9a5b228d89415a6d234f2e2a579f Except1RecWithAt Set1InDef AlreadyCombined
36f7a1cfb784381587a94e1abe076df3d2584c21 Except2Fun Set1InDef AlreadyCombined
35aa733b1f53f6dbaf2244e41a2187b85c0d97eb Except2Fun Set1InDef AlreadyCombined
8a1a35419023e80a4a6779b9ca3ba1afb133e9da Except2FunTuple Set1InDef AlreadyCombined
816ce2d70ec846350075afba8dd155ed1bd8ab55 Except2FunTuple Set1InDef AlreadyCombined
25fad050d90f3299ec80d608187e6003b3960bd5 Prime Set1InDef AlreadyCombined
e6375ad4b481ca7cff3d215777198e82dabfa2e9 Prime Set1InDef AlreadyCombined
2e4fe1d65dbefe8198e3ce3265f6fd54cb905d24 NumZero Set1InDef AlreadyCombined
36d5a3aef6b25f97a19a731e8ecd78b024cc30dc NumZero Set1InDef AlreadyCombined
e26cc3f733e59fc11f2f1b6a697024cc13a59631 NumOne Set1InDef AlreadyCombined
d17f1cb03a734e03ce5dd8e134486ead8d01ca17 NumOne Set1InDef AlreadyCombined
e28320350574175f48e651b3e804d2b1407efca0 NumMaxInt Set1InDef AlreadyCombined
29961220cdd3e17c2dd3b5c383bba050ce908979 NumMaxInt Set1InDef AlreadyCombined
cd2a973acb55b779550fb00492c9b9cf9a198960 NumUnaryMinus Set1InDef AlreadyCombined
97bad76345e735ffa9b7fc32902357052594c3ee NumUnaryMinus Set1InDef AlreadyCombined
f6d96967e9e985aa7f43283b2a5285e872104fcb NumPlus Set1InDef AlreadyCombined
438ee8eb8da823fc0e4064da350928274f5bf882 NumPlus Set1InDef AlreadyCombined
fc882bc94258a519c2af0e8004905f0fc2fc0123 NumMinus Set1InDef AlreadyCombined
2f57fb369abfb688a42dff8f43ccb97d38ef5897 NumMinus Set1InDef AlreadyCombined
73e7d884162d81802e53c9ba7600035b0bcec5b7 NumMul Set1InDef AlreadyCombined
a5190436e4f7092fc3bc97e37070eb8dd8061ab3 NumMul Set1InDef AlreadyCombined
56655cf3e5f604111d64fb53f16eb135ce2f4624 NumDiv Set1InDef AlreadyCombined
bdb1fd7fe494ba403707d544447e30d827ca7518 NumDiv Set1InDef AlreadyCombined
57da074d442f307dabbf13dd1894956f2e14cf28 NumMod Set1InDef AlreadyCombined
052ad9fd26b562653830a2e3bf5e899a58e6d006 NumMod Set1InDef AlreadyCombined
f5cf4a3fc2ac4af3933b800a3fe1964ff0aa1390 NumPow Set1InDef AlreadyCombined
d448ceabc1a93c7c3f696910f1a217f5fdcccc9f NumPow Set1InDef AlreadyCombined
6ae9861f255220189be551977f3907aae6113d86 NumGt Set1InDef AlreadyCombined
60ff3e49505c5b92f789daaed3a45f9f06de6811 NumGt Set1InDef AlreadyCombined
67badabba0e68e050e302ad8779601da612e96dd NumGe Set1InDef AlreadyCombined
6fe2d63136b8365a34e67961a5b476cd71b15bf4 NumGe Set1InDef AlreadyCombined
451615409b8c451480945ffe8db826f3d588d510 NumLt Set1InDef AlreadyCombined
5ce4c3ca12902ec27304db50503c206f6f93a220 NumLt Set1InDef AlreadyCombined
033bc415dba8323596055987315600afa12edd4b NumLe Set1InDef AlreadyCombined
2671011a773795d33e7694d3686e814c0c42b445 NumLe Set1InDef AlreadyCombined
5855e263b6517580f0ae30281ea28cef59c8d7e9 DefFun Set1InDef AlreadyCombined
7a2798b1e4e1277f09b18f7de232b43170df88ac DefFun Set1InDef AlreadyCombined
80864026008179f87c0f2f6ca623aab216108a3b LetDefFun Set1InDef AlreadyCombined
ec0ea58dd708d8a6699d5e1ab7495cd5f9421571 LetDefFun Set1InDef AlreadyCombined
46f3d59c27e91efaa8e9116b9dd56a1e98a47fcb DefFunRecursive Set1InDef AlreadyCombined
bfea890f651f39ed5f9f2dd0858bebe7586fb186 DefFunRecursive Set1InDef AlreadyCombined
b19a8c57290a12715b3da5baa46ffb9a09c29e3a LetDefFunRecursive Set1InDef AlreadyCombined
2807900e47a6fd0ede50a5b1b96d696ec926b040 LetDefFunRecursive Set1InDef AlreadyCombined
dc22b53a914e8d48079c33d23b417d09b1babc00 DefFunInDef Set1InDef AlreadyCombined
6b5dee914e54ab612e141d27a56908fc5825b4a1 DefFunInDef Set1InDef AlreadyCombined
490be11c26ebeeb0a1bf2e706beb1e48538f17cb LetDefFunInDef Set1InDef AlreadyCombined
1a26228aa2421a5e9de794524a3a3a4a571c0b9a LetDefFunInDef Set1InDef AlreadyCombined
0ab546822061abc417d8cf2844961cd8356e4b0e Def0 Set1InDef AlreadyCombined
2e4d31ee600063d4b2bbd46d174942d164d988e1 Def0 Set1InDef AlreadyCombined
60cd8cf5d047a69579f9b4c44388c11083c30ce9 LetDef0 Set1InDef AlreadyCombined
6fe796e0a395be5c9d3cd1217e1d349ce9ddf7be LetDef0 Set1InDef AlreadyCombined
72461ecc33e3e681feb797b83865341d86a0fed8 Def1 Set1InDef AlreadyCombined
cf1298d84bb6ffdc96b44bf4e015141990c9ec56 Def1 Set1InDef AlreadyCombined
3761d7ee720b18d5c3c2dac9c62f932a52143940 LetDef1 Set1InDef AlreadyCombined
3ace40de5545867a8b43417a733b93c5f4123724 LetDef1 Set1InDef AlreadyCombined
07141cd65547f97ea2a6061d5c81ef9d8fcb1747 Def2 Set1InDef AlreadyCombined
06910359b206aa87f109e00c7fa3373abdae0acf Def2 Set1InDef AlreadyCombined
0b2fddb85a5c1c961e653d8d4c7381483969d0db LetDef2 Set1InDef AlreadyCombined
07ebbede105ba48781942329a9ad9f039e6f5b25 LetDef2 Set1InDef AlreadyCombined
9b17f730e8c88b109d1aabbcb8407b9ca7e84e96 Def1Recursive Set1InDef AlreadyCombined
1d65dda6e74bb898bd0b672ab441882a7b7d41aa Def1Recursive Set1InDef AlreadyCombined
83bcd828af7e68c9825df629d641641edd583c86 LetDef1Recursive Set1InDef AlreadyCombined
76dfa4348dcc6dbd9284a8694597fe2322e67987 LetDef1Recursive Set1InDef AlreadyCombined
5c50d1704bfa614c4e225335bf878192bb99d92b Extends Set1InDef AlreadyCombined
d0fc6278af15b9c962f61b7a6713210677c59f26 Extends Set1InDef AlreadyCombined
144517ee83bb5c9e5df93d9f98755d4041325595 ExtendsInDifferentFolder Set1InDef AlreadyCombined
b260af926692a89ff0d36be21ff2db8b31d8de12 ExtendsInDifferentFolder Set1InDef AlreadyCombined
97834074fa68f170e4341f939b08348f8e462b8a Variable Set1InDef AlreadyCombined
6855cd65d6fc13177f19e57246fe4d81f5feb4da Variable Set1InDef AlreadyCombined
0135e7198d24685f161a089fadac40a3ba936ff1 VariableViewExclude Set1InDef AlreadyCombined
bdaf5c49eee03235a366377d8d762784ce130c05 VariableViewExclude Set1InDef AlreadyCombined
774bfed9fedd5438023adc03d2c2e5392216089b Constant Set1InDef AlreadyCombined
92d92ed09601c380b038510782f2cf76a38b832f Constant Set1InDef AlreadyCombined
828df7e693fcc2aba51670e8517e5e33e36e1f67 ConstantModelValue Set1InDef AlreadyCombined
f155fa131d7031df1fb34c0da14ed30a110aadce ConstantModelValue Set1InDef AlreadyCombined
e5c5a4560d303d4c7b8079f4a58afa8a1cae345e ConstantRank1 Set1InDef AlreadyCombined
722c52f26d5670e5f6395adbd6dda73db44ab957 ConstantRank1 Set1InDef AlreadyCombined
bc862fc6c7bd07925d210a4da0cde77899aec765 Instance Set1InDef AlreadyCombined
bee125cc9d79541553ee3996549b34d4cb4929ae Instance Set1InDef AlreadyCombined
e38821b27f380d15af0bf183d7dc17aa7e8ec8c9 InstanceWith Set1InDef AlreadyCombined
8f1ccb9401cfa698526665e36cddbd300a952211 InstanceWith Set1InDef AlreadyCombined
ae315e8e3e1d45ad3ce42bbf779792a62a23056f InstanceNamed Set1InDef AlreadyCombined
13117596b9d585463f43a557ab432b13c8794453 InstanceNamed Set1InDef AlreadyCombined
f691ba21121e3e775fea432706310fe1ec7c8556 InstanceNamedWith Set1InDef AlreadyCombined
abd694258a6dd1e86097725f99ade44a2f8d85da InstanceNamedWith Set1InDef AlreadyCombined
9255b9d8af6600eb02551a64ee5b230616f94531 InstanceInFolder Set1InDef AlreadyCombined
a937ad7699782f0c2af550cad7c7e9efa20081e0 InstanceInFolder Set1InDef AlreadyCombined
fd26066d9ac03c79f0818a62170b7eaeb2d62ab4 InstanceWithInFolder Set1InDef AlreadyCombined
829a769ba2bdf8862c3d51a5d2a9fe72df70fef0 InstanceWithInFolder Set1InDef AlreadyCombined
9dfc10eace1f508191ba36a53883d17131ee4f00 InstanceNamedInFolder Set1InDef AlreadyCombined
c83adf6aff9d76004f7475fa3c9ebb17eb7f10ab InstanceNamedInFolder Set1InDef AlreadyCombined
f6bacdf22de9b5a412dea9fe3d78b66dd8de283c InstanceNamedWithInFolder Set1InDef AlreadyCombined
0f3e1944d4ba6a4f99f162cf305058b55ff2d92d InstanceNamedWithInFolder Set1InDef AlreadyCombined
07f0aaf03cbbc09a47bb582fa56db2bb8356f648 Enabled Set1InDef AlreadyCombined
6ad17defbed7f1a14a71e4b6a4b9dfca5ca2e23a Enabled Set1InDef AlreadyCombined
461193febac96aa517a200b64d712903f2c740f3 Assume Set1InDef AlreadyCombined
2aef5f8e10c9ef4d86a00b3ddb65da93cc8c7a24 Assume Set1InDef AlreadyCombined
18182dedf268ed3cf50d70697d104987c069a5e8 AssumeNamed Set1InDef AlreadyCombined
3e5c8193ba1105e02f0eceb8b7c9f06df59a0894 AssumeNamed Set1InDef AlreadyCombined
ab9da525baeaabd34f5741e4e144fc995490c7a1 Lambda Set1InDef AlreadyCombined
53b2c8b732cb7d42fd52aac7c321d9ef4393fda3 Lambda Set1InDef AlreadyCombined
d2f62881394a24ed75b14202ef54650d2ab5f74d Cross2 Set1InDef AlreadyCombined
239ca6a1fe5c21614683f6d4067fba63f39087c7 Cross2 Set1InDef AlreadyCombined
13ce2b1848aece2769dd977814556ef7de10162d Cross3 Set1InDef AlreadyCombined
20f10d9477f5e331c925ec93eda67606d2dfaeb9 Cross3 Set1InDef AlreadyCombined
32de67fe4a4592af06e99ea5a3f43cc7ed7978e5 FunSet Set1InDef AlreadyCombined
d45483ec4f373e6ad008bf393caab46d026cae25 FunSet Set1InDef AlreadyCombined
49048bbf894052d82c44923e1ff9624f775341e2 RecordSet Set1InDef AlreadyCombined
24009851bf8442388dcee2c78f70cd16ade559f6 RecordSet Set1InDef AlreadyCombined
eef101659df7a5e32599cb607d06dd508e0ca86b SetDiff Set1InDef AlreadyCombined
e9df6019b0ce4bbd09e12cf9752ca161d31452cf SetDiff Set1InDef AlreadyCombined
1728ed64700c445b9b88a56e978ec4f3ed1c450b SetUnion Set1InDef AlreadyCombined
290d2b9f4c1b0eaa2d8a84ceb7d2ff1bdeff3210 SetUnion Set1InDef AlreadyCombined
67a40426df4103ad50d2fad7e02240c3ae651dd1 SetIntersect Set1InDef AlreadyCombined
2a7cf746ca4b1a9aad78a778eb191eb298cdde19 SetIntersect Set1InDef AlreadyCombined
7dcf23824dd059152718f92891a2374803552f0d SubsetEq Set1InDef AlreadyCombined
7f72a2c7ba00a1363ca1037c94c3a6e7f59937e0 SubsetEq Set1InDef AlreadyCombined
e45679a35724d50934d4bfd07ad0ebe2666094e0 IfCond Set1InDef AlreadyCombined
a5a6b5170a8e042c500951657e6f11d217ed545d IfCond Set1InDef AlreadyCombined
1449a3af4351174e830b4c2260681effc9115808 IfThen Set1InDef AlreadyCombined
92285a688bf8a361f152a2c94d70923481643add IfThen Set1InDef AlreadyCombined
d59e6d35583e6a712ed3fbbf0e29400f2472623f IfElse Set1InDef AlreadyCombined
3a68ed38250b39ecfd94c2409bd6a9b0125a472b IfElse Set1InDef AlreadyCombined
9f8b9ef53ea8fb791fdd32e9f4a66739a3757fe0 Subset Set1InDef AlreadyCombined
c57375796050a80d1718817cf4f00a6fadd3b4b5 Subset Set1InDef AlreadyCombined
22a891a400411479bb56ab4dab67305128f7d8c6 Domain Set1InDef AlreadyCombined
2a3fa422d6a09a09ba34c02fa59bd3ea4fde1226 Domain Set1InDef AlreadyCombined
4c14a51f9cbd34da11a75ccaf0c58fc8d6f2f5a7 Union Set1InDef AlreadyCombined
5a653d48b7d7ee034977688045abe8c25eb1b0b2 Union Set1InDef AlreadyCombined
6c7e90bb2f0e3e59f49c9e2d5e28e8a49ea9d064 Unchanged Set1InDef AlreadyCombined
5bf5cd2d9b3a48b1b9e407c8bd0c0736e1294687 Unchanged Set1InDef AlreadyCombined
2a2adb8a589e6e7e4e543bf0774f26b9ee734b3e Equivalence Set1InDef AlreadyCombined
837f9d9a8a45d941ac03629ce76f70bb4c4e4e18 Equivalence Set1InDef AlreadyCombined
5693568766b264201b74cbaebf2233bd1019654c StringEmpty Set1InDef AlreadyCombined
48f635d1b8982b7aa7fb044b473a56076d59c213 StringEmpty Set1InDef AlreadyCombined
aa81a2d94e0753f8bb8f0ab37e20681078bcc09e String Set1InDef AlreadyCombined
5fa678392417eec3e88034ee51e12a46c2fa16f4 String Set1InDef AlreadyCombined
5ffa46068fd0d6827e5becbca94a88166202351f SeqLen Set1InDef AlreadyCombined
a4e24524ad1372a8ebb2fc5c6cbbbc1555d3f998 SeqLen Set1InDef AlreadyCombined
13206ee65eafa79514379ec3b64c67187f881aa5 SeqConcat Set1InDef AlreadyCombined
fc021a302c8ecc178285178673bb99f4965a84af SeqConcat Set1InDef AlreadyCombined
05b575d1cc4a42ed08b2fe5f6188e9fe197ad374 SeqSeq Set1InDef AlreadyCombined
a639039a2d9f1f1698524b9d2943f88a7ab6aec8 SeqSeq Set1InDef AlreadyCombined
3c757061df3dfa9fb8634abecf4153964eabd7a0 NatSet Set1InDef AlreadyCombined
5ffffe9a6b388cdddf2a676ec857e47d760b7150 NatSet Set1InDef AlreadyCombined
b80dfd8f5a209ae7a77ee72951ad3d92b4480bca IntSet Set1InDef AlreadyCombined
f1e1b9b2de9637ba36419ab5bcb7f161980c6c1c IntSet Set1InDef AlreadyCombined
288ab7a417d8d7edda7a531d02aa302691f2654b StringSet Set1InDef AlreadyCombined
982ae27f62299cf815ae1b32003a973abce7c12b StringSet Set1InDef AlreadyCombined
b24f246448b59fe94d565a847f32002abcff536e SeqSelectSeq Set1InDef AlreadyCombined
edf860a973fb10530f746921409ed178462e3afa SeqSelectSeq Set1InDef AlreadyCombined
5025e91916e3a4350c4be2aba96a8be3f06e5d3b SeqSubSeq Set1InDef AlreadyCombined
108fa78a401c5a210008a35fb515a1bbd56e57f0 SeqSubSeq Set1InDef AlreadyCombined
2287eb863e64b6ebb7d7e785a1cd933facd68e5c NumRange Set1InDef AlreadyCombined
5d77313592a75b246096225505bd3c8490cf5c0e NumRange Set1InDef AlreadyCombined
e9f11fa0a4ecfada6bfcf71d7efd917a530f17c6 TlcSingletonFun Set1InDef AlreadyCombined
083b104051e5336c7ced0737800d00b3817c2a91 TlcSingletonFun Set1InDef AlreadyCombined
3fc7cf147a16d68c746e10d4176d489399f7b196 TlcExtendFun Set1InDef AlreadyCombined
fd2e30ba31316c94a7af3655443951f44791bf9e TlcExtendFun Set1InDef AlreadyCombined
8c64c9e77d88f532d8976e495179573baa2fbe12 TlcPermuteFun Set1InDef AlreadyCombined
6fdf508ea611c634fd77e9c1d0811d18778ce01f TlcPermuteFun Set1InDef AlreadyCombined
c3d6b6a9ea75dee5a6857bd07444bd9948744955 TlcSortSeq Set1InDef AlreadyCombined
74a0d3a6b760e98d3b3beda5bb6ae58e25c81c26 TlcSortSeq Set1InDef AlreadyCombined
b1bc6af60dac8f993ce2fd204ce1f6159fc1d634 TlcEval Set1InDef AlreadyCombined
3dd7dfb3a3b6d474e9090f00dcc29087bd33c327 TlcEval Set1InDef AlreadyCombined
17c8a60d28387ead4aa79dc39f1614939f8a7f53 BagBagToSet Set1InDef AlreadyCombined
d78a2bc3eabd2377f5a5b5bad147633df5bf9b8e BagBagToSet Set1InDef AlreadyCombined
2ce939cf527f1bde272b22ece1b0af051c6663c2 BagSetToBag Set1InDef AlreadyCombined
21de640c80d715c6801dd25140ce1f9b3e352c29 BagSetToBag Set1InDef AlreadyCombined
7bd46736a464b30ae2eb8ae3c37933ab4bf7e8da BagBagIn Set1InDef AlreadyCombined
12ff75de541703ca0854a03d5940c170262cfa91 BagBagIn Set1InDef AlreadyCombined
f1136bd2690620f7ff8fd40b1ac0eb23c82b6807 BagEmptyBag Set1InDef AlreadyCombined
af5e2673ba985de21a6cd0558f83e412290f3235 BagEmptyBag Set1InDef AlreadyCombined
53c74f49617ed639e9811b3bb2d0ebd54454e458 BagAddBag Set1InDef AlreadyCombined
05808d153d8f1d62fa0c9e8807224a04f0d15759 BagAddBag Set1InDef AlreadyCombined
9cf22b5060dbd91a15436debf2235cb8ba77c50d BagBagSub Set1InDef AlreadyCombined
474c589f7d9e22eb68089b79150ebcabbcf4ac27 BagBagSub Set1InDef AlreadyCombined
08d86ab9b944beb7586e45558c8074665661cbac BagCopiesIn Set1InDef AlreadyCombined
9e4c7625ddc5b9ab6be1e604cf7a6577d5c44813 BagCopiesIn Set1InDef AlreadyCombined
740cf90ba909f6aab76cc3c40f9845d58aaa0f91 BagSubsetEqBag Set1InDef AlreadyCombined
0001f943a344edfa81d28eb0aff002a5eef16fb5 BagSubsetEqBag Set1InDef AlreadyCombined
c58d468b093da2337691d3ce976f9a2fb9279f4d BagBagUnion Set1InDef AlreadyCombined
fc719e8d0866d6b1145019a3e0f296aae596bd50 BagBagUnion Set1InDef AlreadyCombined
fdf8b7246f2f5cb8ab1b58da2f5378c134bed609 BagBagCardinality Set1InDef AlreadyCombined
84c32dd9d69c722ccc6a4ca0ff59e0e5d4b9b042 BagBagCardinality Set1InDef AlreadyCombined
561a4ce5c6d374ee99c3584c3ae27d42725ca862 BagBagOfAll Set1InDef AlreadyCombined
1c126912a551d917f06cb0adc3b03940f719b038 BagBagOfAll Set1InDef AlreadyCombined
14c5d28befdee639e7854fbed2b654d49f0c270f BagSubBag Set1InDef AlreadyCombined
6f82951d3c8c51d1eaea7fcbce89073d7522af46 BagSubBag Set1InDef AlreadyCombined
ee6bc0d42c3401a506c0783025b3130bca93ffe4 FiniteSetsIsFiniteSet Set1InDef AlreadyCombined
82654c2d6226115b23f52f7b8f7d67ce6c521fdb FiniteSetsIsFiniteSet Set1InDef AlreadyCombined
0dee6fa4e3122f4392a61befdacd0566a93e1949 FiniteSetsCardinality Set1InDef AlreadyCombined
3ab9b992a80eb462fb568ab3cb0675d69a4cc17d FiniteSetsCardinality Set1InDef AlreadyCombined
9e4bbe71242e64029d16ddea909685b13d93290c SeqHead Set1InDef AlreadyCombined
e4eda68eb54fdf36a99555e1c1bca1c1dcb9652e SeqHead Set1InDef AlreadyCombined
6aed44162434f4de8a77d278526193e2f8bd4b89 SeqTail Set1InDef AlreadyCombined
69068febf9395ac6bb6b5a41bf6695b764b4874c SeqTail Set1InDef AlreadyCombined
c2b2ddd05da608a5b3a0067185d0d281b4be5d41 SeqAppend Set1InDef AlreadyCombined
4d0555ac2723bd19bfa0d4e5b20103550c8af0b3 SeqAppend Set1InDef AlreadyCombined