Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e980dcd6eacc192551b79b7018e0879cfac18ac9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality OneLineComment True Passed
81475501c83d31506cd1c7f235b42692bd64e3b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality OneLineComment False Passed
3d604f5b6b5764d9d12739e85c3345cb01a582d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality MultiLineComment True Passed
608c58b6a3638b9ca102e8881799935ef64a68d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality MultiLineComment False Passed
fa97eb8e7f505af7b90418f81482d0b2e7a8d683 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality BoolSet True Passed
d1631285868ac95ab876c792c0821060c77909c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality BoolSet False Passed
af291089b4dc1eca782433e8e11c064c5cc8c74d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Let True Passed
5c07f7efa54c044460805b42772060bedd636c7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Let False Passed
20259c3ca752cc49d466e71d75b2c8ea9a0a0122 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality SetEmpty True Passed
0c2be436f486184c4dbf715108f98253586c6d50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality SetEmpty False Passed
6255c1a1617a317fbcee1dbdc2e5cd7c135e7b0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Set0 True Passed
0c5a8ab8183ed1e1d5aa541c77828856627fc120 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Set0 False Passed
96ecd60ae42e32a67c567a7fc25a65855df48768 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Set1 True Passed
5e0cefb9f77cd189495465dd955e220f466a444c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Set1 False Passed
1338fef69c2eb4ed5ad9a38727f3d6fb5f861493 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Set2 True Passed
ba6a6ebd37a636cee9d3a0f9ec18b754e82a5c69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Set2 False Passed
685f54623ff091a05ee4e9d2237dd7ae0ab134b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Choose True Passed
1f9bd780a8f17a539f76150e6f9e8300be5b5435 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Choose False Passed
05a0564b760630571105ee83d171950ff84b6448 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality FunApp True Passed
4c6f026a099c042714b2c5d60d49a396031f27e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality FunApp False Passed
c01ab87b0920c680d2311507f9c8fd3f3310705c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Prime True Passed
4c1b583a654add43e431f923d8c6537cea66ac80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Prime False Passed
fc02daf3c0090077bfd811e89c5ef7ff6353202c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Def0 True Passed
a3e137698aaae7a4ae43fbd77fb5acf25a67b677 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Def0 False Passed
99bd211640e01478c4ac3353e8ca38001659eb85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality LetDef0 True Passed
0770b7a426ab17cdb14fe6461ac7c7ff5c75e15c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality LetDef0 False Passed
f4fb105bec0cbc869aef94e07f7c05c4ea619dc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Def1 True Passed
dd1c9d10a5f2b6e5a16b856b4e99a27a6db3c150 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Def1 False Passed
7c895b4d92f43a7fe4a186be877a73763ab7db9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality LetDef1 True Passed
858f922cc5382ff635b283a5679d3e09c2b3ba42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality LetDef1 False Passed
5e7069222c590680c8fbd60ea9bf7693124aa618 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Def2 True Passed
9b24cb35e0e8d61a34e9dcf210254658d7ee6c98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Def2 False Passed
edf92e9145d16a791502e1bf195bcfb3ebf473ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality LetDef2 True Passed
1d91f5677a8032302236613ebac0d66e23069ffa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality LetDef2 False Passed
8462947422d1c6d0266873bf1ee2c1308e211b7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Def1Recursive True Passed
e9609b8a6cf6f0c9f637efe30395ef19888a613c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Def1Recursive False Passed
8bf44b0e1014ed895d7af9039580dc03b684d80f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality LetDef1Recursive True Passed
10001fa7068efc3f63e27d0624d98fe8d2be8d70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality LetDef1Recursive False Passed
993cc0bbcbc62f7725327923bbe39a3520f4a5dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Extends True Passed
23028fefeb1ae8817777f80f26ca895ffaa456bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Extends False Passed
88e0676934257b91cf2bcf1e23304e5d3dbca3da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality ExtendsInDifferentFolder True Passed
847d9580d7c2f37b1e3b4264f91d7ec06f944aba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality ExtendsInDifferentFolder False Passed
35eee7c99ad13e465086c0718103070d39a6ca43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Variable True Passed
89687b24c883321b8a116cf0803cbca4f9be5542 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Variable False Passed
5d1000f87e7c44b4bff76dae04bc47aa5f47f757 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Constant True Passed
276ab149c17c9aba05b61fcddb03f57171cba4b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Constant False Passed
7c90524b0e0fe8618eb07c3064b4596bac0af24e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality ConstantRank1 True Passed
8c5740701d6bae7210278759cf3ccbad88c691a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality ConstantRank1 False Passed
c5c0e11f2ea59d7a176aa07ec65a0d9d433de6bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Instance True Passed
b1b83721e1e3310bd54e7ad331d955fd18756481 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Instance False Passed
feddc35aea51ba0ead48cc7061d588966969f2e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceWith True Passed
c800423dc71006d14a5fbf2824de56bacef4248c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceWith False Passed
9f978375dd7fe62c41780c00b8dd40c1668c92f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceNamed True Passed
f1451955cacd4912b8722d4524eb0dfa63092ca4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceNamed False Passed
a4850f567cdf88dacfac6f93dca327aad2ae5a4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceNamedWith True Passed
57a72e87b79302cb5ecba0927f7735f2fab1c11e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceNamedWith False Passed
2abb9da37d08764801ee3720c04181daf99a9d4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceInFolder True Passed
21502ccc3e54505c4f62e5890333400aaa845158 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceInFolder False Passed
6e865238f8e11582dd2c0615210bd733d527e631 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceWithInFolder True Passed
4a0b0001134370e375db26003304769247902e7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceWithInFolder False Passed
cb70ad94ab018b344737660eedad169eb886124d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceNamedInFolder True Passed
3917baffde247bff20085c3a3618561664ee1ed1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceNamedInFolder False Passed
6938de57666500012bc0355434fc4519d34ffafa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceNamedWithInFolder True Passed
28d79c6d4bf482242a845201dee06589cbd1cd6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceNamedWithInFolder False Passed
8f12bc88ff2f2e7243ff8c9974b84b5a04f641e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Cross2 True Passed
7319e7724740df031c08a23edfe6fe537b340597 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Cross2 False Passed
e628b18633c83dc84a6f77d920eb73f861db42a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Cross3 True Passed
59bf28089de87eeccd6336aebd20d3f66aef5044 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Cross3 False Passed
e1baacc0f14e1616ed77733e5e350c7e77792876 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality FunSet True Passed
33f536c7a08e13f908152772500a4530cf689edf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality FunSet False Passed
aa26d0a14ac432ab1de78b32bb884d0bf68e6618 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality RecordSet True Passed
e2f1e321d33f243b10288544bfd60d39ee439c1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality RecordSet False Passed
0e3a1f80cbc8b0ae2330642a1f88b8ff5c016e40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality SetDiff True Passed
d3fb6873f0ff4bcd620f6202adbe2b6395a876a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality SetDiff False Passed
78f0e8aabf8802c68ac0618529632bc949224cee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality SetUnion True Passed
b6723fd4f4c5b9b021f1ae49b32d242e8c0f4aae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality SetUnion False Passed
1eb9c343e184194bab09cdcd5cb61ef5bc442571 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality SetIntersect True Passed
a0ab45c3b9381f0bceccec1dbf9062dcd6da0c94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality SetIntersect False Passed
a8ba1b2a2057a181a774c2b50321a8d9fc6485b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality IfCond True Passed
1b9111f575678e4a15d5d1874d57bf0a886dc340 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality IfCond False Passed
c9d9a05457dad3ae0adee0eba01f454e47edb476 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality IfThen True Passed
34e18342196718182a92620153947ff98a1eb4f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality IfThen False Passed
efe3748dfe1ddd4296ea536907c9dd3090f64530 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality IfElse True Passed
706154f07a821c22f12c65d594d8800a0261c94b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality IfElse False Passed
607ff079fc3002fd20966372fb11eec911f85cd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Subset True Passed
434c1b3e339cf2294c9a7f76dea038aa9c92a3b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Subset False Passed
be3400fa15a74e8138256e0b3beab9a608843211 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Domain True Passed
4bee75644b82803ae004855758b06da5ae6d0498 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Domain False Passed
c03164bd936d8c50e6ec824734887e6275e7a1a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Union True Passed
eacbe4ee2e574326c9a56a840946d8b6b84fb619 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Union False Passed
2db39ce9568258ee7c7302c6fd1d905739744500 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality NumRange True Passed
5b3b80dcef25ca80815337b8ff5f7320de4ee5ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality NumRange False Passed
f31cb227b4477a30f6a54fd94a978fe3cfdbe87e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality TlcPermuteFun True Passed
c5ff44d21b2c1b0b53f7b86343c8acc4b2bb2f3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality TlcPermuteFun False Passed
670f8f3c841e0aec7e56bb417cace95eacf9dc24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality TlcEval True Passed
956855b77ae47fb61740fb7c6fe86bada3508ab6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality TlcEval False Passed
f7011debdae8a41e7b6a7f7adc7ce92b02fb9395 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality BagBagToSet True Passed
5bab6ca2a2da52694055b6072b24c5d216050fa8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality BagBagToSet False Passed
83e7850e1ffa8ac0cbfc4e20162b9c7a49f69f64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality BagSubBag True Passed
7db979851429c87b3b6a05773234aabaeb05a0ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality BagSubBag False Passed
ee38f7b75a8ad3e470bdc5a81db2057956b2523f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality SeqHead True Passed
e03fa2858bb0e40efede9f13b5e61532b5f36633 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality SeqHead False Passed