Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e195dfe7abe61640426e923af8eaff8280253499 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Domain True Passed
b752fe496fac11e8f2098a492da44af244662278 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Domain False Passed
918262125582a59a93317ba15452107b1bd236d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Domain True Passed
20ff949d45809233da8a640b96e33c55a8c012b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Domain False Passed
88d249b7eab69d95c645f34863d062d5508a33eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Domain True Passed
6a3dbac9379dc776db51bb48d44ef466df8da566 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Domain False Passed
c83f187aa33b7d7c11c797baeae4e1f61f0fb0be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Domain True Passed
20dc6ab95735fd2e5813a9db402a8e634172f09f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Domain False Passed
7849b224576ba9e0c6a9a370b3320d0063d8dfb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Domain True Passed
dad6b226fd9da1eab3d3d98fe8ce00a9b57bb415 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Domain False Passed
efc1c6d30e745afcda39e8de61d74b769a59d033 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Domain True Passed
4263e8e2676aae3e62beec88cffaeea236506be2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Domain False Passed
922d4972f2c025a892d5ae28aa31cccf15b45208 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Domain True Passed
f5472973d2e93135632c6fbca38f49ed38562806 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Domain False Passed
1e096b393fa5200d58833a59a3ff3e534744b723 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Domain True Passed
ca784675d88b12d6ff86c1f8659431c548526709 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Domain False Passed
473b4ccc7bdd9940c5753b45e92f03de25d2cf5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Domain True Passed
e28d79efe90a5adce1d22b30e400d2a4a2a844af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Domain False Passed
07a0152019bcc263e1372093f7f69c5004729485 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Domain True Passed
b02fafcce94aaa005f7bcb0132112fc68a469645 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Domain False Passed
cc25b148c27c14e32fbeaa6f85b546a38627a29f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Domain True Passed
8021b66afb4c3eac48d373749fad6c031aa24bf3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Domain False Passed
057f612663f7fae08f89739b113e624119159595 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Domain True Passed
b10a93d1961cd4b49711e065e58c098c082e59ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Domain False Passed
a55bea0450c29c72170677ed3002697db47ad442 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Domain True Passed
d3fa0195dfb53b7e2c4628623a39d42d1631ddb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Domain False Passed
9296267f5376dd08e673a203ca1a96b9a05b3adb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Domain True Passed
aa9f7d7a441c3f2ab1959fcfc1580ae5c1b363f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Domain False Passed
f99bb482319175af7134ead85d84797d447b9dff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Domain True Passed
884ed0f1d3a65faf565db29a10b25c70f9816a6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Domain False Passed
2f3f7960344c9b8acab8c3bd2e9b76c35a2fa6d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Domain True Passed
90297eb17ea9709fa824079e8dab76dc7ac705aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Domain False Passed
c5099ca03e719723c3ca7769fc953508c8fef210 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Domain True Passed
273a921ef94febd2e87a94a05c3dbf3f442d8666 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Domain False Passed
5d88349f014615919be32554ea11bf59689e4102 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Domain True Passed
fbe16a0532df9b5f978efa4d5dce9f65c3e96087 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Domain False Passed
f91e745130533b3d55d5eeb183af37f78c712729 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Domain True Passed
df23f4ab1f53491968cc53a6410ed93a9c6d7f5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Domain False Passed
6f6387bc514f048c8d917e25174757a587e5982c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Domain True Passed
e3e863b0a2a9824501846c43291baa8157b05c35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Domain False Passed
f66b65f88cc58ecd1911604d29fd0453c03a126c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Domain True Passed
9101164922e101a80d7a8b6d9f9855ee38829b8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Domain False Passed
bc4ee41d9a6d9714cf6012ef9a556510f968b32b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Domain True Passed
4dd682708c28670a5c01ab1dfb75af76a0dac674 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Domain False Passed
73dceaf377492cffd5d9bd54a24eb93116ea6fa3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Domain True Passed
1ee85c49bbdf64cecff76e8b4b7e077adea722b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Domain False Passed
130d1e6541083f83c8efbfad911e07ba1f82a507 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Domain True Passed
3116708babaab61b226444d9a751886fd0b3db85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Domain False Passed
c3add0cdb04e506d77f239ee1f70ce3e6d0950ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Domain True Passed
7b24c04a685f88bc0afcbaf4ef2c4d2a5854e7eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Domain False Passed
d853b84e19acc9269b27f84fa95ed6b7e3bdac29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Domain True Passed
726112824f44c94c2d0a28fcca0460395966b7be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Domain False Passed
75cfe1c84bac3fd2f225d69987267ba2cece2ddd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Domain True Passed
f2444fcc7a9505d5d5fb47524f5bab502dde3fe8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Domain False Passed
6d8e334ff41c948764f613f01b086faf32e6a8cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Domain True Passed
176802cd4aac380bdf50e5159476be5b3fc8c67a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Domain False Passed
3e7e951b76240c14d097e61ca0be619f640ed5c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Domain True Passed
e128190432767243a8bbbbcf63e9da7820703f12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Domain False Passed
fe8e9715877906579f2c7de037d36cae61c88d86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Domain True Passed
d17fdfd9e4016ded4389883aa879175c152b8166 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Domain False Passed
ae6010e338b0021700c47d3ca660aa3522ec0d25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Domain True Passed
2f2075ba8271926962b89709bd4122e5504cd72d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Domain False Passed
9c0022a32d685162f8217f1b6620addd7434bd68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Domain True Passed
43d8ab2a9f2f3c99713a952d27093d523dc3e369 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Domain False Passed
4a93cdfc3362bce58cea5f29ac667ba73f53f2ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Domain True Passed
a7007131541ab3f302c8e31c81011ffb22458d40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Domain False Passed
389a62b32013059102d4e4fefae6fd34c688da84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Domain True Passed
6003ee0eea037e0cfbffb30d86846fd2c6480718 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Domain False Passed
5fb6b76681ba6bd2b3b789965a21297686118537 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Domain True Passed
8c8f3a0b817368d2d77eaece380110c2bdd261b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Domain False Passed
eb6414fb72d50b3dcc1860c81bc98fb7ad56101b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Domain True Passed
210d46a28c50359c2176f03c883b7d9fcd5bd647 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Domain False Passed
22e383b9af4e18cb7930f286cb1749510226a7fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Domain True Passed
cfd477020d824a7b5201e228e73ce7981f4a075e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Domain False Passed
76552fb688142cce3a751477c030faa2ba59536e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Domain True Passed
5ed2a9fab088bbb7ca1d8f2c8757849b7f279013 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Domain False Passed
92c8213ef5acdc80154babe864c49e34103d3e56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Domain True Passed
e4edf60820dad774902034e7e58abba4223a840a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Domain False Passed
d41d61b2ce88d472f6e2697c927658c65c4dd76b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Domain True Passed
fd493bb739ecd98505fd3eb0dc539f783404f7ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Domain False Passed
5272c292d3a2cb9d8484383d922f386038125db7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Domain True Passed
533c4cafc5ea13e3a8d3a53822ce38e87e2a069b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Domain False Passed
ffd3ce2206d107022b4a9d4c280438c70109029d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Domain True Passed
b980cc82f9b3f34dfa3daeb7f4d7971defadfa6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Domain False Passed
3e137c664af9416c110d65e4709026e744584915 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Domain True Passed
d80cbc9f96cbd2bc22cb32fa776ba3a487d71913 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Domain False Passed
8fd34de400eb95c0fb1339df3107c041a8b978f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Domain True Passed
c6f16c37f2f783f854bf286f5676cac32caf89d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Domain False Passed
f7d5530848ada5c5e87357b10771c9bf9b434b04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Domain True Passed
f24e7344ad8ef6ca3cab9fe313ef454e37fb565b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Domain False Passed
4d150161ac95de53a56b5f7d369c4e818ea795fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Domain True Passed
bbc1d97da9a42e4b12801bec247d75a6e478b90c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Domain False Passed
329bf3eb343157354b323a674a4de1e4d655df96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Domain True Passed
c3777917e02df79b0372aed2e41efef38f37c174 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Domain False Passed
8e5cbdc76c34ca8c83c6a6848b7bb59f8bdbbaf3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Domain True Passed
1025ff232ab51349eb106d578c7d22b875cc19df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Domain False Passed
665aac1ec262433a26436e8316262492a36f9917 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Domain True Passed
82731c2f9ba5e2d7ecbeab1e00a2aae1e1ea9486 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Domain False Passed
bf83a68209cea3377877959413ec6bfa1cbb8322 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Domain True Passed
93fa65aca6f88b288c20ad23655ddb52a56e5c07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Domain False Passed
035e69956715fdbde3580f0c3462a024d270b9ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Domain True Passed
c2239fa93226152e6d440f0f49c469f546dc38d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Domain False Passed
cc30c21706359b48ff60c969f979e5a3d54239c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Domain True Passed
382d98b1223b675ea2f09dded70163bc55c6bee2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Domain False Passed
1fc4d1060adfbe4c8ace46cc531a8da981ef5396 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Domain True Passed
e5ac7a3193def2fec14ab3814c51de9a94b9a3b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Domain False Passed
51cda874d3712dd521ec2e34256d6458cb8f4a77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Domain True Passed
068eb7c8a100f1c076f007a6693199575d69d41a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Domain False Passed
cbd8b5465fdb1def325283b1f893dacd66ce8ce7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Domain True Passed
69f72a83e593dc792339217630b712d0b1b52c79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Domain False Passed
1cf7621c4057d0f227d42454d1f111c2365ccde8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Domain True Passed
2b15cf0fa10d0cff465228732432fb081a84c599 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Domain False Passed
bd21767628f233c188a586e0fae8425473693093 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union Domain True Passed
11ec42980ba875d70789f16ae37eb39dec1a52a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union Domain False Passed
9059e9388818b19e800897b5d06994df634e8a6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Domain True Passed
f0295846978323cc9bcf232a56d1029b75149a7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Domain False Passed
1c0ac182ebaf42ac891f211c97fa7e271f23c9d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Domain True Passed
a831d3603c90a1b3268d4764182732b8ba854c96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Domain False Passed
6bdf78b2baeb946be1cf969c0cdbed60986b4e92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Domain True Passed
8de6ef9df810cbe426361829ce92f882dc72ec00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Domain False Passed
e7b12258ffb1cf097929ee5a7dc6626764a48c20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Domain True Passed
6dadc30c984d0370874aaa63befd014c152a9d47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Domain False Passed
4960c9794f2384d176d37ea8b6b513c9131e56bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Domain True Passed
596a351749ed0abf3f1ace350bf10f553818097e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Domain False Passed
85eb4e53ea73ec708990ad689f4c7822dc28252d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Domain True Passed
9e9ada0399e9c0f88a544cd00ecbf7893ec84e24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Domain False Passed
dcf72fa1e5a37f97d0cdeb0f6aea8c7e6b58dd6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Domain True Passed
3dfef1841910413f73e6a6660c203161add8ff25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Domain False Passed
387cc227498e60636f7f4970d5920f56113bf8fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Domain True Passed
e773ac9aedf5c16d949e18beee4bdff25e6d7d93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Domain False Passed
6132ed865932279fd2d8a40f03bf30d6fb61a8e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Domain True Passed
ed54ffe7a499d1933c1e4d3cbdacc75a5984df30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Domain False Passed
1223c656917be27f1c2b0f9b478736cca721ab4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Domain True Passed
6bf073ea347abb5f94b96e485ebb3cda0150c809 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Domain 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
028c4109cf281652987fc5fd07a66ce339d39893 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Domain True Passed
0c603f522e35b014ed2c48ff5c56b7fb0d937e7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Domain False Passed