Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
dbd4420478462599efc02ed96b5e992f89694f76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq FiniteSetsCardinality True Passed
8f6e6ccdbb0046464bb506e95b4f30ae96f2ce40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq FiniteSetsCardinality False Passed
0fb3c4513616be1a2bdae4e4a671c596f765b7bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne FiniteSetsCardinality True Passed
5086e88b4bde79ceca7c3597c5fdf92001774583 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne FiniteSetsCardinality False Passed
364ecf8e5005f633289981aa2598f6244f1c0d62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let FiniteSetsCardinality True Passed
829e46e361f87a2aac2e68ee5abd9f1f3dc64211 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let FiniteSetsCardinality False Passed
a1fa9f4b64f22e221316a153580c3d25c53c60d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 FiniteSetsCardinality True Passed
c1282d9cb7fa18e77d674d74358c9fb453553629 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 FiniteSetsCardinality False Passed
9c60355f0a85f9a664a745069db5af5b517d523d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 FiniteSetsCardinality True Passed
0b0f269ba0c4a855fae42cd83e51ce1d45f4fb38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 FiniteSetsCardinality False Passed
8f8d4ba8aec8a12e7d3f2e69751dd9b56a2febd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 FiniteSetsCardinality True Passed
eaa49d23408134a166687553843497a568a39219 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 FiniteSetsCardinality False Passed
de4598f5575dbc1a7a541e1566efc6074349f08b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun FiniteSetsCardinality True Passed
381cda01bf3fa7eafa01f25db0b0e81390ebfe11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun FiniteSetsCardinality False Passed
31c485d177c0582cce2912c447cd4d1e91d821f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In FiniteSetsCardinality True Passed
e9241be4f10e2bf4898f21fe220a882564795725 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In FiniteSetsCardinality False Passed
8346ec52d13c144c864243bf8debf926b86c92fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn FiniteSetsCardinality True Passed
82fac932b9da1155a7e1bedcf0f51c6f954cf2aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn FiniteSetsCardinality False Passed
7f567b90e6943405e27766207bf6898f175b176f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record FiniteSetsCardinality True Passed
b71cdad632dc993199f39f70cad2832322578378 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record FiniteSetsCardinality False Passed
5fb5ab180c85a2dbd48fa0c2c1e61e5a23e11f31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple FiniteSetsCardinality True Passed
71452d174c3bd1c3c87dcec4091f1e722f533722 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple FiniteSetsCardinality False Passed
d4afc653e607f2ab146d410c8aee19d9329f956f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp FiniteSetsCardinality True Passed
6047e7f21e798a50f3580b59df2c6593136244f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp FiniteSetsCardinality False Passed
b450100954fbfb7d23310f6c557746bed49c5053 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun FiniteSetsCardinality True Passed
8c0f677b04544f0e299ca8842863f24f10d1ecac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun FiniteSetsCardinality False Passed
2a23a255c548ea5f32ed4e0383c29ad3a307b0fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt FiniteSetsCardinality True Passed
26a23fe9f79e0f1c803db10d82d39d76c5428533 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt FiniteSetsCardinality False Passed
7173ba490af5c9f0bb33dfa310eed430dbc3f380 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec FiniteSetsCardinality True Passed
c47977180618673539dcf007043ba650d7cb9bca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec FiniteSetsCardinality False Passed
0c2ac2acb70e74d095f34a1be67fcd4dd6d0407c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt FiniteSetsCardinality True Passed
5a775c5ba0ef591c360f52349017833e0becf30b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt FiniteSetsCardinality False Passed
1291035c944d139e0696e1d1d3ee3446bf14a1e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun FiniteSetsCardinality True Passed
845084f04f4e8bd65d93b7a532ab90956565a58b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun FiniteSetsCardinality False Passed
0b11025d17518dcee61fb894939991b7240e595f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime FiniteSetsCardinality True Passed
d7c9339955fca23a44e4ceb6ebc3b01924ae6cee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime FiniteSetsCardinality False Passed
8a9fd9288394ab1d8d4693868ea87cd8a0594bf8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus FiniteSetsCardinality True Passed
a2d0bf76ccbe5943feb95aa17151bd627af24dee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus FiniteSetsCardinality False Passed
68f9c55a34dbddff2533a46bfe216d3f37e37df4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus FiniteSetsCardinality True Passed
e930cbcb5cacc2b6f1f1ec77f909e4371bd520e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus FiniteSetsCardinality False Passed
54faedd382da4846a44321f7c9c21c7c99f73327 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus FiniteSetsCardinality True Passed
a23b06faa4276c51565558632fe0ab33073fc60c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus FiniteSetsCardinality False Passed
27cdbc62e1a3e3e899fbf36658ba93c6f682f30c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul FiniteSetsCardinality True Passed
776c127add5d689b88ba792896d31647ef719679 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul FiniteSetsCardinality False Passed
d0cf472fd576f10785bbba6eccbb6ba82adefb40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv FiniteSetsCardinality True Passed
1a015346848e71f54a2d9c8ef5ffc00cac42a438 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv FiniteSetsCardinality False Passed
43ba6d2af086bd4dcb99bc2a81d409ec394f085c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod FiniteSetsCardinality True Passed
0f73140f8a8b808bcb44caee90f9c5388bfe7be9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod FiniteSetsCardinality False Passed
4c9f4509cb60df2d52b455790957993364968dd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow FiniteSetsCardinality True Passed
89a8050a868364cddcfec07c8599c972ba4eb9fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow FiniteSetsCardinality False Passed
dabb848d5c8d8c490c0104865e27f9818ce886e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt FiniteSetsCardinality True Passed
a8c0d19fad5e0da5572e74d3f1df33fdd1b241ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt FiniteSetsCardinality False Passed
0a4df037652e9152ab2543887824f405f120395e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe FiniteSetsCardinality True Passed
9d4f78168cb507d96601e661a3b0a5be43d6fe13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe FiniteSetsCardinality False Passed
ee8c317dd442f82308f5500572aaedea4aedad6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt FiniteSetsCardinality True Passed
201a18155acb5073cb3784a6ad8a278b5dbcb8d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt FiniteSetsCardinality False Passed
14d895fe4ad2dde8c8ce00396db7765ccd0e565c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe FiniteSetsCardinality True Passed
177345f8ac35f3a01f4c73e3d591ec2d6fa6a06c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe FiniteSetsCardinality False Passed
29ba92a5a1b1c75d9582dfaed64b22598eea7616 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun FiniteSetsCardinality True Passed
9c13cd8176863463086765e71be017dd4a341a66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun FiniteSetsCardinality False Passed
1572b46cab12eaec7dcc6a9e84e78657dafc3977 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun FiniteSetsCardinality True Passed
a1220ff77136c351fe71e48d1a60e9333dc1991b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun FiniteSetsCardinality False Passed
9f1cae86a03adfd2f9bae317ef830bb3133605ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive FiniteSetsCardinality True Passed
c2dad6464579cbf4920d112862be929133dc1045 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive FiniteSetsCardinality False Passed
d3750a0568352efeb1887c14fd26ab4d94c78799 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive FiniteSetsCardinality True Passed
35eed9c0f6adcb92ecc727dc042b317c251b51d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive FiniteSetsCardinality False Passed
aa52e655782c14e1dbf4745f15db7ffc248e4ef6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 FiniteSetsCardinality True Passed
415ff220db631257814914c7deaf5e4cdb5579a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 FiniteSetsCardinality False Passed
109bd837c9259ededb3f19260164ee08f81ee57c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 FiniteSetsCardinality True Passed
f4eef30706baddcda8b00edb3d1dfff60c574aed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 FiniteSetsCardinality False Passed
5fe411aff8e3408eba7356de25a499dc720177dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 FiniteSetsCardinality True Passed
d5e1f12eaa8b4711e4a2e4111ed1c351ea42f6c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 FiniteSetsCardinality False Passed
0cc9b939ceb64dce832c72a9dcb0f50f70c35342 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 FiniteSetsCardinality True Passed
cc61507bd096c4777317c797171a84df27a08d3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 FiniteSetsCardinality False Passed
c264df1462084bdd4eb7b0f933511173b70ec73c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 FiniteSetsCardinality True Passed
948cf5ed59392d5aafa72e5abea266305f3ef1a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 FiniteSetsCardinality False Passed
cb88054e58b5418571a2dd6575cd56723c09f8f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 FiniteSetsCardinality True Passed
987b05f4c7b1b16e327c2bf4e6ae401f1bb261d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 FiniteSetsCardinality False Passed
8c005d0d28553819cd24163eb7a4ba4cc9af3572 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive FiniteSetsCardinality True Passed
854be2fac9b00f613abf526407aede5fffb5db85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive FiniteSetsCardinality False Passed
fa6b5a29f5705e3aa4cd7d51f14a4dc38c3dfdc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive FiniteSetsCardinality True Passed
31b13f6a367730ea8bd06e24f71de47dd27fa1ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive FiniteSetsCardinality False Passed
bd4b77e88cde30e9292ea5579edb8541808c1473 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends FiniteSetsCardinality True Passed
c8b3bc3b3b8e7ce5c15aaba4e2a6879e6281e691 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends FiniteSetsCardinality False Passed
cf4bd4c205d638e262a067c4b4b7065a3900300d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder FiniteSetsCardinality True Passed
3397108b03fdf94982c289d4c1173b6e15d07a0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder FiniteSetsCardinality False Passed
028ba770561af2b309fa17befa3db2c86e44fec1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable FiniteSetsCardinality True Passed
d4754f400217fca1dc0375d2b6690ad583dfd1eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable FiniteSetsCardinality False Passed
c35e18c4b774ae2379f096ff0708d1c1485a5544 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude FiniteSetsCardinality True Passed
e6aa4195ced9490f9b9f5c12bacc51d4548ca003 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude FiniteSetsCardinality False Passed
2ba8ed715d8efff00f38076b171e3f76c1eba6d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant FiniteSetsCardinality True Passed
54d0ce73272bc087d1c442e88ecd99f97aa3d177 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant FiniteSetsCardinality False Passed
b417ae0306c00854674109d95c15e2e3b06a19a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 FiniteSetsCardinality True Passed
de3e5996bd74733a9c15f156f153552a3fbe0c53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 FiniteSetsCardinality False Passed
53ed0a70ad225a35c99f65721ee88b9c8e32fefd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance FiniteSetsCardinality True Passed
0d2b11bdd5a8fb58a9a1568269c27ea67e82c8c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance FiniteSetsCardinality False Passed
dca07af114490744b5424cbcb8e7cd38039c3df0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith FiniteSetsCardinality True Passed
a27d80846cbad591a16dedd1e4ffee84d2d089c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith FiniteSetsCardinality False Passed
fb57fb403a10f07ac3bcaacc3b6292a7f4d26266 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed FiniteSetsCardinality True Passed
93303fd33e700bde72806ae0761e9a265977b99e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed FiniteSetsCardinality False Passed
c6d01f9dd2e3b955b35f004d67672dd770b3c108 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith FiniteSetsCardinality True Passed
b8e3efe9b029f3eced2941d0b4f407ad62da1b62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith FiniteSetsCardinality False Passed
4c6059654308392b1a52fd167db7d37ccec62f3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder FiniteSetsCardinality True Passed
258d370bfc464721058c70f0c8762c29ad806451 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder FiniteSetsCardinality False Passed
7122099f2d953113ce5c9fe881ef28ecc7de6868 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder FiniteSetsCardinality True Passed
e00a0fd11be0a9201da4d428c6dacd33df1a5b42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder FiniteSetsCardinality False Passed
0921be5cecd68d73aa03e74a80b29a45258b921a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder FiniteSetsCardinality True Passed
41f4a9db2a920e02b0df0361b94b08d803eff292 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder FiniteSetsCardinality False Passed
cd043283fc80b447de489ad89209e999cdf19cf5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder FiniteSetsCardinality True Passed
1708c13a5d7a2eb635014bc6e459174818894306 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder FiniteSetsCardinality False Passed
0d1dc08cddcc52befa03e29d772890d8744337a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda FiniteSetsCardinality True Passed
7258f7f6ae14c287b93ed36a981dd465616ce063 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda FiniteSetsCardinality False Passed
09e7a9539af309029671f2a8beebdb877c915e50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen FiniteSetsCardinality True Passed
2cdce42434f92b018b0fd62ebddae46c574d9040 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen FiniteSetsCardinality False Passed
cd4140e5746567320121dbe117c42959e45dfbc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse FiniteSetsCardinality True Passed
39e292087a4f2d6d34285976e03938e5668bd7df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse FiniteSetsCardinality False Passed
50d9d217e3622552efcd5d0dfc159d075db5c9df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged FiniteSetsCardinality True Passed
58cd7632583e2e0584a2e98b2432adef2ea74dd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged FiniteSetsCardinality False Passed
c2fa13e108b12405ddf9281db5c7bc662911a2ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq FiniteSetsCardinality True Passed
980bec6bfc1d6ea2ab3b1417d10963100ec2bbc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq FiniteSetsCardinality False Passed
9a41a7cd7d29754bb6c4c06a5131025868fe5ede TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange FiniteSetsCardinality True Passed
8edc6670d11a76777a15c173bb43690a8e9b5c8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange FiniteSetsCardinality False Passed
a46e635c2043fe2f5d95b435c3e792f7154bd2d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun FiniteSetsCardinality True Passed
c3c10cc3d8e0b1d799a8ec3d8302d6fee838537a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun FiniteSetsCardinality False Passed
409428727d749495ebdfdd6cdebad02e89a065a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval FiniteSetsCardinality True Passed
fdf6fb89ffdf1635ae3d94a8859be6dda82f7e7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval FiniteSetsCardinality False Passed
cf140eda7246c6ff9eeb9e7d6e49901e28c3dc39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn FiniteSetsCardinality True Passed
88bbc5dedb89c1173ca4960e82860a582d54e8b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn FiniteSetsCardinality False Passed
a6511845a319ff44b01515a404ca5829b1185c8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn FiniteSetsCardinality True Passed
10b998e24f270a604f8fdca493efa950c6a5e419 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn FiniteSetsCardinality False Passed
0ca4449e29236f8110e4fc1a9202cc53b933f811 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend FiniteSetsCardinality True Passed
c8925ea2a31327418d7b710d37b40032ef4ffadd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend FiniteSetsCardinality False Passed