Index

Tests by case feature FiniteSetsCardinality; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
430069ee1b52d9c78c74decc3607f7dbbc30b4b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality OneLineComment True Passed
5281c85498bbf397c4159912e802d4a05af9539e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality OneLineComment False Passed
f165b5dbc659646b2ea057bae5b8d9dc01f9537a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality MultiLineComment True Passed
cc21393ef90116fd3b389a6726ee3e8307d98a75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality MultiLineComment False Passed
934c518e38ed8c407eed51213f86af3d5dd4dc24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality BoolSet True Passed
7ab2affed1bb42c4d291ba26cf89b3b126030e9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality BoolSet False Passed
3358d0ed5449163184b4f7613ae0095d616e8dd0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Let True Passed
8efc5ad758a35fc43ca21d7daa250bc8bd798e69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Let False Passed
60f1c1c8ae9ad51517e02f3893c1f36d516cb666 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality SetEmpty True Passed
efac0756edf2fa16131068157ae39ee164c6df25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality SetEmpty False Passed
056f8d30177b319468d2e4abe9afbd13fca84909 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Set0 True Passed
c9dec2e850c4d355357d596d06f469506dda4999 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Set0 False Passed
93bc879bd99f9ff2b43f61fe574f0e1b25681dff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Set1 True Passed
58ad322c20010fa4c6a93dd03056585dec3f7543 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Set1 False Passed
42792afed9e98c62f254efa85653234b80dfc0b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Set2 True Passed
3a6db0531a9e9ec1b427de7ceac489cddb05b194 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Set2 False Passed
985eda4b8d3d03ae856fa409c66cbcac850b8ea7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Choose True Passed
9a7669cf1429ae50629b717f07eb7d8fd902b654 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Choose False Passed
931edbdd1db5c4767faafdb3fe38f899f648de75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality FunApp True Passed
29dea4900507dd6bb4d92318954dc0be8a27a2c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality FunApp False Passed
bc6e071c9f226e4631cb256d6cefc8a3af0af144 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Prime True Passed
4396826a06a9871baccac4f2aa212081896b7ad1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Prime False Passed
9c7122cf498e409c3e3b88b3d898be3140f6ff2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Def0 True Passed
d8a8a8eb64240fd7f1b25d7d226ccdc265feab42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Def0 False Passed
f6f023279d5fd9c5c077f577d94b309e416a3924 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality LetDef0 True Passed
4b81bd9cebe4cd67f6e2941a4c090a0e7b7f3ea3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality LetDef0 False Passed
df495b3bceef71546ffbb1e43ac54d0be95a7aeb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Def1 True Passed
6bfeebc722abc01e0e60d564a76ffed63b66a4be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Def1 False Passed
545ed7dff26c4d6fdb33cbec1ca642947f6e4ab6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality LetDef1 True Passed
535ec6956bcecf713408640611abdca040af57ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality LetDef1 False Passed
0282444e8d9c13d98860fe62280d6bac755501f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Def2 True Passed
40d30bb98639222292be06f4f70906b0e9b8abe1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Def2 False Passed
793b3d956567a5ffc0c4d1820deba577f3166f72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality LetDef2 True Passed
9e214a94981a0661c1cdc60c94964306ba992479 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality LetDef2 False Passed
dee29f29f858ad61640006ed8118cceda317b195 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Def1Recursive True Passed
bb47f9ce02d728040ee35be3c5beb3abc041f406 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Def1Recursive False Passed
35bb49fc1419d5792e3c9b431169fc433d1e7fee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality LetDef1Recursive True Passed
9dcf5d6908b8a909cbce3e504019254119e6d675 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality LetDef1Recursive False Passed
eac54383fa23ca27e5bc4c5222e2eb4041aa3c55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Extends True Passed
e6ebf826c628a18f2effac4071ee1fd7003db81a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Extends False Passed
82a520fba3d522eac36bbe375f5767ab55e99877 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality ExtendsInDifferentFolder True Passed
76fb1651914d4bc942ad37619b739d34b7ce8787 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality ExtendsInDifferentFolder False Passed
3ce1baae8b7b17d86bb4e9564335bc943c54bc94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Variable True Passed
b59f24a10e6e8e2c50f178f05ea945aedb22a166 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Variable False Passed
878b4ffb7de6c5bde956292f4d1879e7e494476a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Constant True Passed
3dcca10c9f3773fab651cebfeff863b1eae61a59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Constant False Passed
8c662877ea69b8db7a4c69fb34426727dae9d823 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality ConstantRank1 True Passed
208dad9a998a642ceb94416cad904a235b362958 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality ConstantRank1 False Passed
079332bcb60f706c44c49c09a404f4b78763385b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Instance True Passed
e01bf99baa4ebaa06f51435b9b660c79a84a4fbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Instance False Passed
603194759b68a42d11dd20b53142e0bbb758166c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceWith True Passed
f150e51202951246860de9620193e2da11b8c31b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceWith False Passed
ded978793bf93f61fd1529836028e12f4dbf777c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceNamed True Passed
c5cedc525d351c38c52dbd1b9857e1f5a487bcb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceNamed False Passed
f1e70e926f4794523d8d46632b2f94a3860c86d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceNamedWith True Passed
a6b8c0da4449f8d64bf99144a303b3bd5e433c95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceNamedWith False Passed
97dcf2432e688e70a0d7f49a8cc3ae22c5a94d88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceInFolder True Passed
5a1c690e0da255364db44b75fcf267b73b1c46ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceInFolder False Passed
8ae13447b33fcf6ff594429c37dd4158a6ee2212 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceWithInFolder True Passed
6cdfe0870e7e458c63525d1bf374efb14d930877 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceWithInFolder False Passed
c546598b93ce29b256688190868f0605e1578821 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceNamedInFolder True Passed
4c0559e137a13c61cc32a489eab19cec1fa83744 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceNamedInFolder False Passed
f7d52ac2ae0c3b4424b5a846244e738d93724f48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceNamedWithInFolder True Passed
cf4ca07f7ddfa23b6484fa9a2c6e1b46653dcf65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceNamedWithInFolder False Passed
6e1e3f7cc141688edcd52c18babc5a0ddcb3402b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Cross2 True Passed
c4906da013c64131bd711c08b6a58f4c5061265a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Cross2 False Passed
c02e481c0ee27ce9daf63ff4fce0ae72157fe9a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Cross3 True Passed
d7b900bc340af8ff2058174d220400aa5ea8f40e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Cross3 False Passed
dd9a542cd9bd945bcbf5bbd3900d79e3ead0b773 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality FunSet True Passed
757074a7d4f7cc573bb789484d3910970d5e74a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality FunSet False Passed
7adf64e82b58c81bd3591277e59d3af46d5cd784 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality RecordSet True Passed
e6c7e561ce02e1e3e99a5b7f752098c0484d6d60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality RecordSet False Passed
9b23aa95f6ca73b8734e7f5d1c7f37fbd345c418 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality SetDiff True Passed
09a4af6730673579db63a36e334646d8c7215541 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality SetDiff False Passed
ff85b6b45e6c0b9700cf3231796b497fa4da9689 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality SetUnion True Passed
746a6f6f75e7f670a1bede16529886afea1db6b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality SetUnion False Passed
dbb826b52aefe495fdb5667394aacb658d2e9d72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality SetIntersect True Passed
d1f144333c8d2aba562bf4caf31015ab47d7c19d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality SetIntersect False Passed
7419a3a859e6dd1a91bc573425d498af514e9652 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality IfCond True Passed
b8cd9281b0d3c0c32dcf89e3b86b08a88c73a29f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality IfCond False Passed
4b48e8743dc6f9b2025ab831a9eaed8a588f0c39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality IfThen True Passed
6042ba7d33dc15748170ea341429323fd7111803 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality IfThen False Passed
8ae7d9b65ace623d2a5706bac32f7a16d95d33c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality IfElse True Passed
0c8c3c93ec7d89cbaefec5f54b21a26d5dcd5636 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality IfElse False Passed
720da8cb5aed19df6d4befb43e8b444b68ebe5e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Subset True Passed
5dd57f8ef1a037bece8612afaa8c00a8e28b8ddd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Subset False Passed
5cc4db3a8620147eff82a6debb67561c0e005abc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Domain True Passed
a0edbd2c96353855ae23249dada0fd8db006f6a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Domain False Passed
c7434ee7a19e0e07917828cbd92393b35cd009b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Union True Passed
85c8d091c6df060ff7f53a8f0bfedeb8ce5b46e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Union False Passed
a79f12f3e508f119a9d87dd7c358fa75c9e61fbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality NumRange True Passed
53fbaf4a73b7c2d9a102b618ef1d74fad6a3e68b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality NumRange False Passed
27d014f359e360f8cad518d9478ab5789d4e9146 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality TlcPermuteFun True Passed
b6b3dd546458ba60309e9cc310e633c1163a401d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality TlcPermuteFun False Passed
9b0c1c9bc0a879d0e95bdd97e86de59207627f56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality TlcEval True Passed
918e249ce411c91e070eea7c697144ae6edb30df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality TlcEval False Passed
01018e4d3cffb9bae3e6171638ba956b15ab6edc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality BagBagToSet True Passed
69c71aa3c34f5c87f54d4a64042708000af69694 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality BagBagToSet False Passed
f97dd36918eb939c73dacb6c8b9e458d87cc6563 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality BagSubBag True Passed
cb198d5e46f2b591a286b0271942ea8ae53db582 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality BagSubBag False Passed
07c0435e583a6677175ee7a6a3bd46bf4e1cd98c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality SeqHead True Passed
74cd517c5f4db855ec74dc5e1923f38c968ae60f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality SeqHead False Passed