Index

Tests by case feature FiniteSetsIsFiniteSet; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
af7c9e2d32f7429a4452a6bd8875b5fa61bdb2de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet BoolSet True Passed
5925062f7114c6e3f5bf277c36978d3e727baaf9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet BoolSet False Passed
ad247008822db99771bacab06f5d94aa08a8a477 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Let True Passed
daedfd0a45de8fa4ae4c5423d330f85d18773b54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Let False Passed
6f42c4012dec3398efbdd68ab7a23330ca923fdd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet SetEmpty True Passed
5ed8ea5a740c7fe28091604152dffea2b4b7fe95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet SetEmpty False Passed
ce72a4d1d2685a4929a0cb0265c35d28ff4f79a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Set0 True Passed
d14ea56686a21e0812c5a7449c465674f74e1208 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Set0 False Passed
d748e1f076cbae5ba847f5f31f5b1d86a81771e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Set1 True Passed
af969fb100f94cfb7d012bd0f40f646cf55dd04a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Set1 False Passed
2d42857a0b6c7f7cfa5fc45923431311bc3a8eea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Set2 True Passed
5811d62bc4527e4f00d9577f724f878e2fb7e1fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Set2 False Passed
1c643c173f6c43c719626ced4b7a4e43d741ae09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Choose True Passed
f107dea6fe55ec41564b85643810a7733e28b327 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Choose False Passed
1dd370391f57d1989b956353d7f89022c20be30d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet FunApp True Passed
7ce397a0752f6c9ef222cd702f4f974b180bcdc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet FunApp False Passed
6102509da28c82f24bb5cd7b6ec2defa7f7d358b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Prime True Passed
31ba8218818297a883cde23c11d0afd5c6aef9d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Prime False Passed
77461cc46fde780babe3faefedc9abf1f9aa7fb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Def0 True Passed
c6d5db41d80aea3da8d6c224a76906751841560e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Def0 False Passed
7e37baa404f68d4e61519eb23edd299ef104e691 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet LetDef0 True Passed
7cd213141b37008e29ff93df4c386b81cd1930e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet LetDef0 False Passed
303f5140f0234d9849af0d491fba33b0ada7cfe7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Def1 True Passed
0afcdc59ceb2251f4218158e87c2b84b3a0437ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Def1 False Passed
581fc4a93a6dddd523003a8280af89e507bc4e90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet LetDef1 True Passed
bcb6dd7511b98b1a42e7b0fe810f13d3adc57c5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet LetDef1 False Passed
0aa8bac793026e2c1e51eca8354bad6360ff1de0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Def2 True Passed
c79d97909b190d416df5470a40c9a32d5a855467 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Def2 False Passed
c4695d73f132edee2408978b9e5ecda29a2a1dd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet LetDef2 True Passed
94857dd12f1fe63715f2561a57e067967ea2639f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet LetDef2 False Passed
cffddc1876a84fabfd7853d9f6819f844ea9c9f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Def1Recursive True Passed
53964adc076a0d7de7541234647b4741d272a5f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Def1Recursive False Passed
f1d87d32ee4c2f46d039b6190ba7804cb1fdd298 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet LetDef1Recursive True Passed
4b9c21f057ea92a22f342d143d6ddf3e66802b45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet LetDef1Recursive False Passed
e1af3b6c31837c40672caed92a293a661c508a8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Extends True Passed
3689cbb8d6e72cf4e0d167d703390bbd49ff793e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Extends False Passed
0cffa861fc9aae7fded75960393a511b875d85b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet ExtendsInDifferentFolder True Passed
c9156bc8797d1416467a10a06cf1167a4178315a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet ExtendsInDifferentFolder False Passed
12126762f992c0edf8a40147ae5623b2230a26af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Variable True Passed
5d548e4aca286da5978e327dc5a4ffdfef9e0500 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Variable False Passed
89a79dc170cda5218cb00ce72a75baaa3eb199ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Constant True Passed
d51ab9f9dbcbdab364217b4bbc457b84e6764f02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Constant False Passed
fd139d8dda17d8168375a06e82935ee3f82bab1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet ConstantRank1 True Passed
cdef1bac451bc5da179403fc99e2aef78f526749 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet ConstantRank1 False Passed
38a55e37b3d1f1cf5b8362f719da26d79ebad11d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Instance True Passed
96b064c4587973d8bf2c6f250c5cdb80b206723c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Instance False Passed
14d44025c31b9db553b4f57d73e21a0d18b09acf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceWith True Passed
79db7a6038599d9c9369d8a270e6bcaf7090de85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceWith False Passed
e6d0211634128a13b797ed4d5bf9b12bb3e13be1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamed True Passed
a365b24bee781cbb0b5058584ae78f963d4da63b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamed False Passed
1c05239c7564aadf8c5ed388d04f05d8f050bda1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamedWith True Passed
4bb37c2defc75308337e35c62efa67fca43c5bae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamedWith False Passed
62dbd128c4d321dbef67434aa65465832f5b9d7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceInFolder True Passed
07abcb6aad485c41666ccdef8f18346f5beddb66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceInFolder False Passed
18b5c615b3e68b946fbfe67697f79301e9bf5675 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceWithInFolder True Passed
71a35e2c592fed8d4fae0d89d3ad84115ee62758 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceWithInFolder False Passed
c37771a68d4f2e534414599dbc98b9f22f861f0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamedInFolder True Passed
23f158c08e436c591216e8a0e0f93b385117761b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamedInFolder False Passed
9a26e85ad39c14534a51ef27fc9948a898594873 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamedWithInFolder True Passed
0441f15a3ef3eec1b2a68f7ef6c8694928ad67b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamedWithInFolder False Passed
62da5efdfcadca584c2702317505dcd6806d1ba9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Cross2 True Passed
518be65935ca01c166ff9f2aa3940fde134ef674 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Cross2 False Passed
a9b476131c3b54c09ca432f7ec2e853a6ad30bac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Cross3 True Passed
5e69ef104724ea7ffd015834ec8462df97af5300 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Cross3 False Passed
bcb7a0b3412cf8ee910f1e65977c9029e73c03fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet FunSet True Passed
59f51f42dd381afdde7744a4175b62092d397239 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet FunSet False Passed
1970cdb06190dce1dff658a56ad23162359f754c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet RecordSet True Passed
baaa86233d1619e68ce43e2c0ba35c4ce7bef31c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet RecordSet False Passed
594968a2de9ad035d782ae62ed7def76a6fe879b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet SetDiff True Passed
dfd8e7897a5ae4f0b3f801866d652c2907952602 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet SetDiff False Passed
2d22bf2163f482a37c780a1eeb491a71547e2b12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet SetUnion True Passed
eb3ae38141a44fe0c0cfcee7257e8fdffced038a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet SetUnion False Passed
64f8231f39df36e989e23b343f20707399c098fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet SetIntersect True Passed
d190e1daf4add8f29858e97599d9e64bc2aa2dcc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet SetIntersect False Passed
fc69712daea29fe6bd915d6e95ef9d9372256888 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet IfCond True Passed
3c95fb87694e5e7b22856621a618fb1c602bc318 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet IfCond False Passed
b94a7a7b939379306d2fedc9c3a200a44cc89f7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet IfThen True Passed
531a1f3e23d796da2c25a1a15317a1ea47dab39b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet IfThen False Passed
62998d3727f20fbd0f1f296a9d6bd43b9c5394e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet IfElse True Passed
f01be7e34592588d684754a76d3fde231c71c71c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet IfElse False Passed
ff29fc066ddba15c3426d4cd716b0f5e83bbeb89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Subset True Passed
f76e0d8fb3390a7998e44ec29c3e7072b5755fb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Subset False Passed
a495b9103753c6332c32bb000d4cb94fe47301f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Domain True Passed
2123b3534ecabd195b898efeb0db639da4f5c61f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Domain False Passed
cbb3ef362ae4d30e4cfd766de1d329ada6611511 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Union True Passed
cf96b6a56f1105eea66a0f3183fbbccb468a6fbd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Union False Passed
90e0fefea0433c83fc291be4a919e99191e5e4d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet SeqSeq True Passed
e11c321af5b214d31bb3fe32fd4f147f7b0eee66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet SeqSeq False Passed
f941f62e17adef159bc0c50e099133253db21729 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet NatSet True Passed
596980f6b914bae9a2bfda38426ac27fbd0a4a60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet NatSet False Passed
966e18115980db06a7ee13f544163b08a888e9bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet IntSet True Passed
71a4bdfeb48bb4c4003bbb254bf9a5c1920d0436 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet IntSet False Passed
dcbd958fae45455dfc45ee4c03a727c47e711656 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet StringSet True Passed
18a31c9f15f864a9c7572152975fcf6bf81ec904 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet StringSet False Passed
ee510396eaeb3f8248defb5756be9b131d10536b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet NumRange True Passed
a6fff2dbb5a12ffb1d87afc38f1e0725d734b2be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet NumRange False Passed
912330c5b789ce7230a4a6086baa9d9fe6085a24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet TlcPermuteFun True Passed
5dda86c758972570967eb211d2f0a8f0ad3670be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet TlcPermuteFun False Passed
5de23736595d1d76d6eae965e13d4bb4dccfdaf4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet TlcEval True Passed
1ec25c48eaf5478e456fa4ff4e46002d6ba1d576 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet TlcEval False Passed
d852766a711dafb379819ae4edad2356b5c4d4d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet BagBagToSet True Passed
cdcb8f15dc2e88d5bc4a2737254fa6b45cd09c7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet BagBagToSet False Passed
04a5ffc2c9c11820cecc001bf195957d1806cf6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet BagSubBag True Passed
8fe1464fc5f7b680b6687aa4f3d174021c8bea48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet BagSubBag False Passed
d25a21bef176c8ebbcc7158256db7889c9a4cb66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet SeqHead True Passed
514b2ebe0bfc0e69c77fcfc2bb99232c6d7be2ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet SeqHead False Passed