Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
c2732fd1bbcb3851550a9ce0aa7c4de82f4d1e8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq FiniteSetsCardinality True Passed
df68874763665222777f13c1bc4e3eae73d115d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq FiniteSetsCardinality False Passed
9bed82922a44db39fa7ab08e21cd95a0090fc18a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne FiniteSetsCardinality True Passed
7293ad464d0bb579873211c95c43949b4b2b4c19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne FiniteSetsCardinality False Passed
0033a3c6b090c663c0f97fa0704234ec4ac23141 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let FiniteSetsCardinality True Passed
92770a84187ab5512fea738278369d4e38313886 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let FiniteSetsCardinality False Passed
c22f2b83e45acdba55fb1fcb72bf0f55204ad84e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 FiniteSetsCardinality True Passed
46e88a7ccc000e6d8e6da5352278858cdb7cf1c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 FiniteSetsCardinality False Passed
dd90129adc0f2fb560b1035776a0f027b8577f92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 FiniteSetsCardinality True Passed
5f1cfb20763f036b0f7dbd09d852f2f47f1595ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 FiniteSetsCardinality False Passed
dc0a1df6bf976797401ba1bd9a8ad074ca33000f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 FiniteSetsCardinality True Passed
25efd897cc4978f9bb734081d28c1d34075e729e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 FiniteSetsCardinality False Passed
6679ed1b49d2e67175ad5e569419a3f23f236874 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun FiniteSetsCardinality True Passed
aa82a8707dbe682fdf015631fc6789842621be14 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun FiniteSetsCardinality False Passed
54ab32a0d3451e783f46b432a76d0b32462332fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In FiniteSetsCardinality True Passed
a1b278a6cb5b466eacbc92bf4f21fcb0dafdf732 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In FiniteSetsCardinality False Passed
0845173f64a387100b38b5f660762fea6904f63b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn FiniteSetsCardinality True Passed
c1326b34620c877a77b7c245d1e5c7b8dda33cfe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn FiniteSetsCardinality False Passed
edd908f231ce4a6f27250fa668f7dedb39daffe1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record FiniteSetsCardinality True Passed
a23c50c66cdf6d1b9b75575c6df5c6f7b0daa54f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record FiniteSetsCardinality False Passed
8c13950fbf32888b94f8588103bf8aafcc7fe4e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple FiniteSetsCardinality True Passed
82ac13b332969cb83dd794504ec258a99402d0cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple FiniteSetsCardinality False Passed
b1a880ba5b32b4e59b7149b6000bc76245e429c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp FiniteSetsCardinality True Passed
cddbaa4f4393e0394f841defd6edb5de0f52f1f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp FiniteSetsCardinality False Passed
e33ec5ed97f02f8b315f02be9947eae1ca65b00f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun FiniteSetsCardinality True Passed
dfe8146fe675a2ec31f2660e3276d864baec4096 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun FiniteSetsCardinality False Passed
89bbfbd5d1c07186a8b64f03325a42282f4731d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt FiniteSetsCardinality True Passed
a9e62db43c174282ecf3fc30c027d09d2f907a6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt FiniteSetsCardinality False Passed
77e4b658fedb09797ce5caee380c9e9579b241bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec FiniteSetsCardinality True Passed
a8dfc0b252a37c11b03d9879b28ab06e330746a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec FiniteSetsCardinality False Passed
a16f450fdf697792c720ea7c2e32013f26e6b23e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt FiniteSetsCardinality True Passed
c9c149f35dce7c8b40bc5bcbd85267a190932835 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt FiniteSetsCardinality False Passed
1a0ea0edd685a12f9f1a34c0daaa3ad72c50f935 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun FiniteSetsCardinality True Passed
56e9c5fd1a774726b89a93ab7310ac7353c5520f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun FiniteSetsCardinality False Passed
8536f6167923ef7378239e0541b99c03395b2d4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime FiniteSetsCardinality True Passed
9089b19bedf0cf76bfb16ee25c3958d27e26daa5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime FiniteSetsCardinality False Passed
3149fcf01d9feda0f256a6e20d817f03a0985775 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus FiniteSetsCardinality True Passed
8d65e0bfe1c493c099c09635d4d08a5c821fd2d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus FiniteSetsCardinality False Passed
ed9ea777e7341121e2d4d8acac86fdbb3c270efc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus FiniteSetsCardinality True Passed
f872fbacca7c7ee504d2f7322673dd8ead379a15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus FiniteSetsCardinality False Passed
ffd9ca5c8a812a0bab542c218d28f52eab7a44f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus FiniteSetsCardinality True Passed
f43f07434bf174271dc261fc77bd9ae72d8eb7e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus FiniteSetsCardinality False Passed
71b735d2cdb75447bdee55852a072eff9255c482 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul FiniteSetsCardinality True Passed
d20a8b89b98123a0c655764a57e582b93f2ca8ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul FiniteSetsCardinality False Passed
a505ffc64828778c76edd5dc96c93b7d6d433c60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv FiniteSetsCardinality True Passed
462abac10f9f2e3753f7cfc09e4131caada04eeb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv FiniteSetsCardinality False Passed
29b9110aebe04a47f2e1d9d5ea7baf4518a86ba5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod FiniteSetsCardinality True Passed
07b4100de2ad98508c26df2ceeb8b012b44b70fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod FiniteSetsCardinality False Passed
a06f2360ef20288dbb16b83c4d3216a7d2e3dba3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow FiniteSetsCardinality True Passed
9291fe7549a1657239e59d94a9a88f7bc39ec7eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow FiniteSetsCardinality False Passed
2a5b024a52b035ead6aa49785ffddb9229f58dc5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt FiniteSetsCardinality True Passed
3d89d8dba762da7046f9cd4b303df9491be71793 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt FiniteSetsCardinality False Passed
532bfe387fe1cd8329ce740e78174d002c7f396d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe FiniteSetsCardinality True Passed
284faa1b747978db838e8951ab7c63147b186953 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe FiniteSetsCardinality False Passed
4ff8b702753fd93a3da762e019dc7983bb6b0e63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt FiniteSetsCardinality True Passed
a27771f91c90a903cd3f8cb8c7f35fbbfc05e787 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt FiniteSetsCardinality False Passed
90e2fdbbbef044796b43a13f58880479a155a3a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe FiniteSetsCardinality True Passed
d076ef7c8566952a7b4438df898f49d953215dcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe FiniteSetsCardinality False Passed
6d56279aa30d09b4ace0c7c9ee1e111bac0cb37b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun FiniteSetsCardinality True Passed
9a728903dd4f325314f8367c8b1710432755396a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun FiniteSetsCardinality False Passed
39ef0f9f71fde19f7e7ffb5315456b640b92413d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun FiniteSetsCardinality True Passed
829262f6b939a2fcfee4929780a0f0564e3c433a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun FiniteSetsCardinality False Passed
1dbab61ec2c90a4cee0602598b1ed131c90f7bbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive FiniteSetsCardinality True Passed
0c3907f0cab95d0130e6b0b59ebc373a089301f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive FiniteSetsCardinality False Passed
4f58a72a2eb170a1fc36f902dade011d3298465b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive FiniteSetsCardinality True Passed
11a5533d085b04aa70657a96a848ca3433651063 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive FiniteSetsCardinality False Passed
2c147e73b78d69037285124e61deb0f224cea622 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 FiniteSetsCardinality True Passed
c83bdaaceb9146af464611865aa4fcd1504e1b30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 FiniteSetsCardinality False Passed
fefc12cfd8f5e44d450336a0ad69da288ed111fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 FiniteSetsCardinality True Passed
769c4d0732c7e97f29f55f397c8bcb68adc0265d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 FiniteSetsCardinality False Passed
3f430def26027f8bcdf0eb24b95eb13f3d779fac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 FiniteSetsCardinality True Passed
20864f971413d67ba7fa291635aff4a554cfb68c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 FiniteSetsCardinality False Passed
6a9e6b2e573c0f463a1205d7955feec54843cc77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 FiniteSetsCardinality True Passed
6974c4a6e002423f93c775d281048e037da3042b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 FiniteSetsCardinality False Passed
f45937d7cebaee256a443f7fe24b2a657bb2e14b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 FiniteSetsCardinality True Passed
b6feb9b2737252c6c3cebec7f1e5b584067ed01e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 FiniteSetsCardinality False Passed
853003cfcf83c73f757fa7903717e43965dc0f2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 FiniteSetsCardinality True Passed
3e74535a8445b127cfe9691b129e4c599cbe4b2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 FiniteSetsCardinality False Passed
bb7e4d125412ec335fbd9595f825e91682523542 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive FiniteSetsCardinality True Passed
2718285c902a0a4a92056189a33e7d4a617e8ca1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive FiniteSetsCardinality False Passed
863c2606535e450b5c24a68c9c750a615bcc82ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive FiniteSetsCardinality True Passed
f82256aac85ffae98189474cbf1921d996c25733 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive FiniteSetsCardinality False Passed
79fedf4d25113efe83861c6a742195f98196750c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends FiniteSetsCardinality True Passed
776f8837b671d4bb169addeffcaf9b78550a1946 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends FiniteSetsCardinality False Passed
6dfdec656f849589751b24e74f86803068c49a5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder FiniteSetsCardinality True Passed
f211d3ba28a6f524fe9becf5373029569896f275 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder FiniteSetsCardinality False Passed
4efa815d591285d08f32f812abffd89cfe9499d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable FiniteSetsCardinality True Passed
875121003ba5c88860702bd82c878a089ddfb6d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable FiniteSetsCardinality False Passed
fe53617dfdea8e96af991700734ef0f4d7e79b90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude FiniteSetsCardinality True Passed
5915f6a610ff7b5641688798858e8a2ed39e6ed1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude FiniteSetsCardinality False Passed
49547c2638a797cd940fb45565ada20554d158d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant FiniteSetsCardinality True Passed
05f3cad84e0c507ba757f8d77a736d8d281e4b22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant FiniteSetsCardinality False Passed
b46de5173d42385c92f782b650158082441e1341 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 FiniteSetsCardinality True Passed
6d73e01cc0a709a4d407c4971c7de40a5c52a73b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 FiniteSetsCardinality False Passed
facb9e699ae9fde77d944da3878088df04968236 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance FiniteSetsCardinality True Passed
c071ef8692886fef7d1fb64b0ff1cb1f79d8bdc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance FiniteSetsCardinality False Passed
cb98fa89880b7fec251ab6a850eaaa08781c7eaa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith FiniteSetsCardinality True Passed
826952ae67e015feb270f1710aae53d4b2046691 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith FiniteSetsCardinality False Passed
b27a553269c95da7bb07690ba3fffaf2acf0d1df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed FiniteSetsCardinality True Passed
efc0f0c3d0f7da4ee1204a26dba204ba540e24e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed FiniteSetsCardinality False Passed
0ac4e8bca9f4e4c81bb9b1e83cbf8c0b106b4a56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith FiniteSetsCardinality True Passed
920a4d621d8b7579c96f21e75d99e3ca362f6164 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith FiniteSetsCardinality False Passed
c40e54d393a01ac594f3912a7ee79e3c590a8969 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder FiniteSetsCardinality True Passed
3966f63d572f4820e4d4a256ad45ef2dad7e913f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder FiniteSetsCardinality False Passed
088a2a6cc64bf29011813991db583b3913defa58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder FiniteSetsCardinality True Passed
8c610780c2566220d0b69d43bc9c7c01ad80ca40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder FiniteSetsCardinality False Passed
498c5c40d5052d704294d33fd253993e6d1b7533 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder FiniteSetsCardinality True Passed
5a7c5da2095acc5d50951abc2ea5a0fd4ac8c9cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder FiniteSetsCardinality False Passed
300b36ab178393644674eb5b1afc3c96d811f30a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder FiniteSetsCardinality True Passed
f5578b517231b1ec9d641999a5119defdb899139 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder FiniteSetsCardinality False Passed
7233835711d0072c284580efc021fb1ee9898703 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda FiniteSetsCardinality True Passed
4ccd20cd36d6255ef403b1d3fef225c54a06dd78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda FiniteSetsCardinality False Passed
1759d84b269ea7a28b203e665c16a70e42337c6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen FiniteSetsCardinality True Passed
aec77c8e5c6d8d7450c0f02df43d95c7250075b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen FiniteSetsCardinality False Passed
261f594ed233f4900845cb81edde3e0c3a07a0d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse FiniteSetsCardinality True Passed
dcc3f05cf3f2801af246d2af049c7c8190ec87aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse FiniteSetsCardinality False Passed
d0fd1513c60a6d23c4cf88921c533b21ebc702c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged FiniteSetsCardinality True Passed
8a2560036bf6c98f632446ab6a091cfe8670cc3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged FiniteSetsCardinality False Passed
4aad47f47e16b7e094a3c5f1f891c42fd877c9b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq FiniteSetsCardinality True Passed
4ca18f88f39a6e5611980612ee789749ab59ce31 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq FiniteSetsCardinality False Passed
ac364adb10aa40a3b34a961c1ebd8cd5d47b44c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange FiniteSetsCardinality True Passed
ea6277d3d766b68ea764f14471019bc8c7a9aa30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange FiniteSetsCardinality False Passed
afeeabeb9d0c021b972bcde5fb567fc868c3c56e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun FiniteSetsCardinality True Passed
a51d0359dfd697595af79dc1118b1d272b568bcd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun FiniteSetsCardinality False Passed
8bd077a67f564518a6a0253c58dd680a7c6a9bba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval FiniteSetsCardinality True Passed
4024dd3cc59666c27f4d2bdc677906136e0b15bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval FiniteSetsCardinality False Passed
8f036533a185775852fafb06c99e872f209e8d33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn FiniteSetsCardinality True Passed
41b0fb46ff4cec8dc3621a556416e90cdcc4d99a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn FiniteSetsCardinality False Passed
3203ac9bf85716dc8c992d080fb5b23675c74e4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn FiniteSetsCardinality True Passed
5a7ff8fcdbd45eccc86dc0dffec9b05b9d0210ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn FiniteSetsCardinality False Passed
512bcff20c0a1a8fd289dbe9b8da6aa0b84221df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend FiniteSetsCardinality True Passed
9c738809bef08b6bf2b1b4a6ef42b33684c70e61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend FiniteSetsCardinality False Passed