Index

Skipped feature combinations by case feature Equivalence

Id Case Feature Plug Feature Skip Reason
db9ef968ef1804a3078cda7988f4cfa89c266e8d Equivalence BoolSet TypeMismatch
efe6ba7c1538f564cc90b13286ab5fb4d3581f4e Equivalence BoolSet TypeMismatch
28d733ec5931716a7b94e4a802b42293dfb404a7 Equivalence AndProp KindMismatch
b6a688796ad2f72b6ded44f9dfe596cac0d1e679 Equivalence AndProp KindMismatch
95a2017af6a315449824e54c2b6691e38cda7819 Equivalence Boxed KindMismatch
4a5a78b452f334e2f9d8619e7a22d414a2f94210 Equivalence Boxed KindMismatch
5f4c62d7742fb3b3517254c7b12468461d2caf9d Equivalence SetEmpty TypeMismatch
3d440c0116f3156dad6f395455ab1f9412bbb0c4 Equivalence SetEmpty TypeMismatch
465a3550807e58a3bf9795c7a7b7d7780b796af6 Equivalence Set0 TypeMismatch
83be7d0fe3aa9a1ff0d1eaf0c8717863dc566882 Equivalence Set0 TypeMismatch
8eb15551f9d7e632b961891ed80a0a4aa6fba9bc Equivalence Set1 TypeMismatch
b03ef3cf299aa10bb7a0eac60fababcb0785331b Equivalence Set1 TypeMismatch
551b6ddf10c0109bb368200e56f55bdc4a427980 Equivalence Set2 TypeMismatch
67ebb21fbe8bc55e9cacb581b03f3f17d3af0259 Equivalence Set2 TypeMismatch
2a2adb8a589e6e7e4e543bf0774f26b9ee734b3e Equivalence Set1InDef AlreadyCombined
837f9d9a8a45d941ac03629ce76f70bb4c4e4e18 Equivalence Set1InDef AlreadyCombined
634014724e8a5644ed8bb24c7c0e6a4ed6509fd6 Equivalence Set2InDef AlreadyCombined
d20db646a0cb4bb958594565cdfd60f1f9ce81f5 Equivalence Set2InDef AlreadyCombined
2ddd0bc7e59b16d9e76ab54864d4498d32ea33aa Equivalence InDef0 TypeMismatch
beaaa0783ec202a435a6bdf9be014d4a31fdf154 Equivalence InDef0 TypeMismatch
870399112702ae09180d79df94ca6d6041712a4d Equivalence InDef1 TypeMismatch
ba36be1b937906d3c8f75d58ec9e9f30632cd0a7 Equivalence InDef1 TypeMismatch
8236b29114f75a5192e462361adfc6036b988b41 Equivalence InDef2 TypeMismatch
7e417f41d3a2aa1b3d38c7e7283b57b891814654 Equivalence InDef2 TypeMismatch
6ceeafd4cf8d246c46ec8dc0ca43fa2d7104c39d Equivalence Fun TypeMismatch
fdf168fddb464cffe8589ea0e6711127a5fc2470 Equivalence Fun TypeMismatch
a4f4d5c2a14f30d993cb5d9071b73c9e1f268236 Equivalence FunInDef AlreadyCombined
43390064cde72cf01a2fbc347a533df1a09fc286 Equivalence FunInDef AlreadyCombined
b3c045adeec24d29a02c0991c1faad9a6609808d Equivalence ExistsInDef AlreadyCombined
65f3bffce5beab617b2544f5cabcc06af3c8c63f Equivalence ExistsInDef AlreadyCombined
9839ba71ee759d8fab571c22fdc8a0236e1b8b46 Equivalence ForallInDef AlreadyCombined
3dc3113c262ca3f4592cda2f440c269db87f3f9a Equivalence ForallInDef AlreadyCombined
8393966d72b975ca65f9ebe84574e10840db62dc Equivalence ChooseInDef AlreadyCombined
e6f58a1ff1b4193968510d5121829c1ed34b712d Equivalence ChooseInDef AlreadyCombined
449edea634138f3e286bfe0d08cedd70033b91cf Equivalence Record TypeMismatch
9267a150eea621d05b7251afb3be967d9bc9c1b6 Equivalence Record TypeMismatch
f03c9bd3a7ae8876d935475df1ed163289b4cfac Equivalence Tuple TypeMismatch
bca7b9c47e968228e42b51e2f4be066c522a9b35 Equivalence Tuple TypeMismatch
c6ddba8190aeb4e5965c11601af5a9c89cfc7ead Equivalence TupleEmpty TypeMismatch
a316e3190f9db443e05703aab39e0a8b8083f59e Equivalence TupleEmpty TypeMismatch
bd469f75b6e39c6e7c553ce12fd48284f55ddaa6 Equivalence Except0 CanNotBePlug
7af8089ec03a7a49f0ac40b994394dac155c3500 Equivalence Except0 CanNotBePlug
8755520829ff2ed204b7e4876bd6075cba31c458 Equivalence Except1Fun CanNotBePlug
f09b2d2b58d5896684aca9ed3eae88c8bc0cb4f2 Equivalence Except1Fun CanNotBePlug
b6a406bd60ee27f4f18566a5dc570dcf610c7dbe Equivalence Except1FunWithAt CanNotBePlug
963da84a5d5faff9a50226f61a1ead385ad06f0a Equivalence Except1FunWithAt CanNotBePlug
6915d8935497f01f55600f8b08e5c27d8d483448 Equivalence Except1Rec CanNotBePlug
1555fd0cee6468c0af6e6acf9fecb2981bb3f6e8 Equivalence Except1Rec CanNotBePlug
55c26fb6e7a888a05e76f7a62008be4c67b297bc Equivalence Except1RecWithAt CanNotBePlug
b15e77334e29327eddad848eb4f813dc4d642916 Equivalence Except1RecWithAt CanNotBePlug
5dc0292a6573f942e921fff017d350e5a961424b Equivalence Except2Fun CanNotBePlug
95fda5016b7a26b25457d0d0a0e956d045cb6859 Equivalence Except2Fun CanNotBePlug
b77389fdfa23083b05392ece12fe78cdf73dc632 Equivalence Except2FunTuple CanNotBePlug
b29acc747277842aff354bb1d37eb9b9d1f6ec2e Equivalence Except2FunTuple CanNotBePlug
0c74cdb0526d29a23cf77e83d5f06b49c1cfce2d Equivalence NumZero TypeMismatch
95ced2fd4a1a1f4bdfde3dd8f2fb2f734cf3f622 Equivalence NumZero TypeMismatch
d1cf91999afa88c07e67ec5a0035c54373c2b650 Equivalence NumOne TypeMismatch
0ac68e788f4dcc6c3b207b314a97cb8676c7759a Equivalence NumOne TypeMismatch
bfcfb2927927055e414b87ca24b141c40e358de4 Equivalence NumMaxInt TypeMismatch
6637b9ac564a4da799733b5ab531621db53a73ec Equivalence NumMaxInt TypeMismatch
2abd99965cde8944d8c654624a07098ea9d7c9fe Equivalence NumUnaryMinus TypeMismatch
47c88f12b258e47a14405f7615995b3df29cb713 Equivalence NumUnaryMinus TypeMismatch
cbfcf3d16442693fec713c5ebd0f159c0db6faa1 Equivalence NumPlus TypeMismatch
ada06b94cc3dcc5784481aeb1dc1147af33e3f7c Equivalence NumPlus TypeMismatch
d7bd934bc70d153f1d19b29fc6a18642e86acf7b Equivalence NumMinus TypeMismatch
db99892b28a2ca391df744a077fa3760d74b0c65 Equivalence NumMinus TypeMismatch
4a2d9fb2aacfe9aac62c821a7dec432c3a407108 Equivalence NumMul TypeMismatch
3d46914dde0118028d8c68a51811e21d820efc0b Equivalence NumMul TypeMismatch
2510e89e033368a27adcda800cb869860b672fd9 Equivalence NumDiv TypeMismatch
c1af471c001717f88ebf7d783fa80188a32ecd74 Equivalence NumDiv TypeMismatch
98b50ad7849a6c9071d7b166b3c4ec357730d5f4 Equivalence NumMod TypeMismatch
3a94883fd64e5faf1093483f342187c00bd67b09 Equivalence NumMod TypeMismatch
736d112ed3bce6127fca66b5ca8e174ae668ba63 Equivalence NumPow TypeMismatch
1bfe45aa82d198b9cac0153dd3d5d0399b1f7a17 Equivalence NumPow TypeMismatch
9ad2b21a2c19fd54307bfc3b257fb446e5f6321c Equivalence DefFun TypeMismatch
2c8639f8f29f8ef38f7b07f80668c919c17de6c4 Equivalence DefFun TypeMismatch
01b4ce576f6a63d5fe4ebfcc354e073ee8ddb5fc Equivalence LetDefFun TypeMismatch
5653b0c5140136e471685103227d711a3f7542d4 Equivalence LetDefFun TypeMismatch
b029a5bd6df81caf17087d14fa92cbf8913d73cb Equivalence DefFunRecursive TypeMismatch
68b7b1c6d99fa5f7e58478b2aa53d3b51de66abc Equivalence DefFunRecursive TypeMismatch
b648eb06c8347a8ca03c74624d787aa24435d487 Equivalence LetDefFunRecursive TypeMismatch
b9d8d08639ada6122750cde5053029ffefd2716e Equivalence LetDefFunRecursive TypeMismatch
42e23e6da428d5500f8c8e113f3cb3973c40b5c8 Equivalence DefFunInDef AlreadyCombined
411275c1c54c82c0c2e4b202a20873f51277ac82 Equivalence DefFunInDef AlreadyCombined
2a6e92b2f2d8992c2f077c84506bb4934eee95a0 Equivalence LetDefFunInDef AlreadyCombined
3c95f9715161bf733d25f02b5cba327c7e3d3e72 Equivalence LetDefFunInDef AlreadyCombined
19c485b1af0753d4a91011ddb6fadd7c0026d531 Equivalence VariableViewExclude VariableExcludedFromView
df28a8de81f64602c8c8b022049cd03bad31e45d Equivalence VariableViewExclude VariableExcludedFromView
67d4b447d5d6ebcd31dfedecaefd0e6b30570cc8 Equivalence ConstantModelValue ModelValueCanNotBeUsed
39869c4737b4366fd7101a6785ad22f8a6ec8c0c Equivalence ConstantModelValue ModelValueCanNotBeUsed
ee22a5e434bd961700f4756662b6a973ef167c93 Equivalence Assume AssumeIsNotEmbeddable
cc75d71eb5b19c7b749e7423caacc4e8d3c91683 Equivalence Assume AssumeIsNotEmbeddable
61dd5bb78dbe269ace7ec87784bf92cdd509372a Equivalence AssumeNamed AssumeIsNotEmbeddable
fa3b89a6d7685672f8bf582ad2796890de25619c Equivalence AssumeNamed AssumeIsNotEmbeddable
58e7af8ee613968f5da709ca62e900b5af949b3a Equivalence Lambda TypeMismatch
8149e61dccd327df300dc9ba993694f6087df061 Equivalence Lambda TypeMismatch
7d56f8516e353e7e0185477c6ec20c8e8951c076 Equivalence Cross2 TypeMismatch
be976119a6ba5924d7dcbb38092eaf4b4fa61b12 Equivalence Cross2 TypeMismatch
31c5a179f4f1304278cfaed0abd979eb476420b0 Equivalence Cross3 TypeMismatch
add7ff34f84fda8b85199ebda477c78ad3e41ecd Equivalence Cross3 TypeMismatch
fd809a688263ad761387b66734d339541a94ece0 Equivalence FunSet TypeMismatch
94d53dac2e4754ff22f4fcea2fcc37474d32968f Equivalence FunSet TypeMismatch
bfbbfbf01fa23633fc28f59d93b008f410fc6006 Equivalence RecordSet TypeMismatch
f3bba117dbff3144322c98349b36b67e9e3f70ae Equivalence RecordSet TypeMismatch
67c66671e65307f53d5b930786549b0be945d297 Equivalence SetDiff TypeMismatch
6c3337219eb18ca700398bd61dc873cae0279344 Equivalence SetDiff TypeMismatch
c622c2da915f51ca78f2d6d77c2de608b01b6f10 Equivalence SetUnion TypeMismatch
66b28bb9ca3c3058bf2cefb88c38db822adcc1b4 Equivalence SetUnion TypeMismatch
8f059ac12e6c42bcd30f334996de69d152cb4742 Equivalence SetIntersect TypeMismatch
02d6882d0d6b53ed0e1a3292804fd3ee355155e8 Equivalence SetIntersect TypeMismatch
661137fff0e94e34b49375a95dd69c92001afd2e Equivalence Subset TypeMismatch
a1fde86e7499b467f5129e466b2454dcbfd56873 Equivalence Subset TypeMismatch
8654bb1cee2b335ee0d4c3d3a6daac99b4b25322 Equivalence Domain TypeMismatch
c134273911759b5752e0af77a6d5b668a3ff9edd Equivalence Domain TypeMismatch
32ec4daa7148fd7a35fe4d9a22b47815ec842dfc Equivalence Union TypeMismatch
bc8cd4e06372f78fdd5d912adc0f7e755050f157 Equivalence Union TypeMismatch
d57d7ee59f29e618b8e8e0ee4015ceca03574edf Equivalence StringEmpty TypeMismatch
9e929a37efe3621247541755df2399900a9e3804 Equivalence StringEmpty TypeMismatch
a0e5e74171d79a35d8de57b6ee151f5f7cc5c411 Equivalence String TypeMismatch
93b4481da166c7e19e0397a886970cad4b5765c5 Equivalence String TypeMismatch
f2930249e7997b96ef3bc0862132ff836356d95d Equivalence SeqLen TypeMismatch
cd5f91bb3bd3a36d8749e3b1a9d0b6dbfcbcb443 Equivalence SeqLen TypeMismatch
07dd2d03fdf423fdeb01f98e520d1c7411b2444b Equivalence SeqConcat TypeMismatch
bbdfe5d9614bcebac73c7870109d7d001968fcd1 Equivalence SeqConcat TypeMismatch
c5e15eb1ee1117d8f71985406e9db95d0d2a44c3 Equivalence SeqSeq TypeMismatch
c0e50dad684b0f8c2b1001af136db56aa9782222 Equivalence SeqSeq TypeMismatch
410aa52ddcde28a90eeacc328adb9a1822251d1d Equivalence NatSet TypeMismatch
366f604cfb5d74152c94fa40af06ffdca1a2798a Equivalence NatSet TypeMismatch
14631b27f520ff49a2c02c7c3e0ea14ad407f5a4 Equivalence IntSet TypeMismatch
dcf40d60cb43ca251de72104b3febefde828a443 Equivalence IntSet TypeMismatch
e1b72074ce3aaabb2eeda9f47a8de53b48642a4a Equivalence StringSet TypeMismatch
b84d72845358667ca47746aa9e6ed86940957146 Equivalence StringSet TypeMismatch
3880a70079cbafeb082a5684e090b21704437054 Equivalence SeqSelectSeq TypeMismatch
22f14974c5c8969dac1855f7fca33d91c339b87c Equivalence SeqSelectSeq TypeMismatch
a1b19268b5faf160d2088f51cfb2b13fbd87b070 Equivalence SeqSubSeq TypeMismatch
39c75871823a44492f6fddcf60d77e553f4cca99 Equivalence SeqSubSeq TypeMismatch
c83bac8cdcd6a318f675348fbc271e7e6b02cd0d Equivalence NumRange TypeMismatch
818567eeee1b0688d18be393b673b8bc674cda91 Equivalence NumRange TypeMismatch
c32dee0c8fb66e94b2f45fa0a6732d12b7a8edf3 Equivalence TlcSingletonFun TypeMismatch
0ef1863c9d7cebbeda996810e7b6282fd1526de2 Equivalence TlcSingletonFun TypeMismatch
1021697853809b8c39f2ae5617c37f2207e66037 Equivalence TlcExtendFun TypeMismatch
2c11c20bedf61b183db2c0fcacc992ad0f621ff8 Equivalence TlcExtendFun TypeMismatch
ebc98cfafc018aef5eb9063512406ec202202234 Equivalence TlcPermuteFun TypeMismatch
58c1d51236c44c7de43a6005875464f408187819 Equivalence TlcPermuteFun TypeMismatch
e6c8e168af97fbe196a79fbc7847b287d430603e Equivalence TlcSortSeq TypeMismatch
85fd316eb87ff3f751817539700b540e664d69f0 Equivalence TlcSortSeq TypeMismatch
fbf90bb329a9ca04ec3e72c52ec7f050970adb65 Equivalence BagBagToSet TypeMismatch
8814c745b77a584e120c08b6510d0b7bb9fb5d95 Equivalence BagBagToSet TypeMismatch
d169b1f64e475a76e5e4fd791f385bbc17a15362 Equivalence BagSetToBag TypeMismatch
4e987894afeb826e030195c38f8c203fb3a80030 Equivalence BagSetToBag TypeMismatch
e8072079f76b33f22079c01dd62d17f2ea6fe0b5 Equivalence BagEmptyBag TypeMismatch
2bc4cfc69c6e488e785b924040fa866653e399f9 Equivalence BagEmptyBag TypeMismatch
f54d29e8c5c1d5169466520492a57cc3e59b7954 Equivalence BagAddBag TypeMismatch
91e466295ea6ca50905fee0df704a290ba991a93 Equivalence BagAddBag TypeMismatch
72196f3111775bf2f734485ae27ee24fd798ecb3 Equivalence BagBagSub TypeMismatch
4535534ca1b61ea285be8685e13fb21504a0c8fc Equivalence BagBagSub TypeMismatch
4fe28b4c69edeb9b7f9315eb959adfb79ab3f272 Equivalence BagCopiesIn TypeMismatch
da0e21e37a3198a7e8d955b93b3252d4564dcced Equivalence BagCopiesIn TypeMismatch
48b051268964fc8a1efb1fa942d3d4d95ef120e2 Equivalence BagBagUnion TypeMismatch
31e6f2816f0eaf75a70e8a227b3932a8b7c49e52 Equivalence BagBagUnion TypeMismatch
e5068f443259f5b01baa17879b0d22397f3b7372 Equivalence BagBagCardinality TypeMismatch
c546ecb387c5c87a03d6fbf41bbefbd3a00aa3e1 Equivalence BagBagCardinality TypeMismatch
189d1199674deb292bfa6da2ef6e173f9247a73d Equivalence BagBagOfAll TypeMismatch
3f12153577d9dd5d2034de6bc3b1c529a5ea33bc Equivalence BagBagOfAll TypeMismatch
db79fd748debf041db934efb6de33035def30ee3 Equivalence BagSubBag TypeMismatch
e7e0d92d68f2b1b62d3c410aea48f621a916ee70 Equivalence BagSubBag TypeMismatch
08c620a1b58f06ddd13396e89d21cc27609d90e2 Equivalence FiniteSetsCardinality TypeMismatch
43a51fb43075075da86e49a898da763086a069c5 Equivalence FiniteSetsCardinality TypeMismatch
e84591d41450fef2e474274bb74e5bd0dc884fc1 Equivalence SeqTail TypeMismatch
5c4428a6055f3b5fa2ea97ec31add9ee3af55c94 Equivalence SeqTail TypeMismatch
0c4a2109377d09156c64097ed50a7cb2f4ccc0df Equivalence SeqAppend TypeMismatch
72a453cd60a0b91f6056e1f919e035fb7dc3ef4d Equivalence SeqAppend TypeMismatch