Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e06f60ab78ab18cbdfb1c9c3eee202d8be68bce3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder OneLineComment True Passed
63337296f5425a1f0db12fc8292cda16efb0d479 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder OneLineComment False Passed
575779094164ae5efbbbd8d2f1258347f750146e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder MultiLineComment True Passed
cad029270b89e8038db28aca036e6377a65566f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder MultiLineComment False Passed
f8bfa73bc2a1f23d82ad4f09cd6f25d2e9feb2f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BoolTrue True Passed
fc54b2dc12ae212583c1ed1089a3537d128f1259 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BoolTrue False Passed
b3bc069200f5e76c43bb1239208439be5c6b9cbe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BoolFalse True Passed
5d9e2676704a83852d38a2c8721f2a4792c058db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BoolFalse False Passed
b12e69c72ca6c32c44f1b09e28d053bb38c4f9b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BoolSet True Passed
6fc9edb09a87e131e5f45a8c305c2be6976f2856 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BoolSet False Passed
8d933a5cce6b027feb0f9cd88b6150395f4a58f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder And True Passed
1ad70aff86911b63955b61995ff23d4c5bfab1b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder And False Passed
b17e50fa0c2a1b07b03d52d0cb5577a82fbf63c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder AndMultiLine True Passed
5fea21aaca21327ea4dc0be04979a079fb936611 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder AndMultiLine False Passed
5f5d2f3ee8fc4dbb8db0eca1f43c73bee9316eac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Imply True Passed
9b66d0a4c6eb4eccb62d6d288c94a0285937e459 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Imply False Passed
72440e6eb36af58bcda60e4ac535b9af09816563 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Not True Passed
f84214e1960fd0b0918f5646647b88ed2e3c5e87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Not False Passed
3f3983c35713b602f75bb86027feac293353068b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Or True Passed
d4a1a072e6803f0ec0601a39713dfdaac5b61156 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Or False Passed
bb821250e5ba8f42b2157197935cee4916e01836 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder OrMultiLine True Passed
5309e05b57721c7a90fe64f2ed66ff139bb7a614 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder OrMultiLine False Passed
2f0b887fd11df7c06b4855e1291f8f758a919ec2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder AndProp True Passed
b6a947820f514b633bcf18a04c1df056e315e079 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder AndProp False Passed
aabfb83408bbf3819b790f6025ad397afc85935e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Boxed True Passed
c9ffcefa136a8da456b0ecfc7deda30c9b09b040 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Boxed False Passed
0fa345d567b0a887bccad0c3e5ebb5a78f3ba7de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Eq True Passed
995f6f9a8ce09bb71e2c9005d3e9f3a62a75deac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Eq False Passed
dffd99adbeee4cf009e10254df3baffda3366b37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Ne True Passed
c0d02b1a4ff554d4a555f1adf23636dc40182152 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Ne False Passed
981ef458c7583e25af684dbcde5c94110a72d99d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Let True Passed
d40d3094e94d31a350fb227050603fb8e6f7c48e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Let False Passed
3cb69c36de5100c7424745f7796c210601982ea2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SetEmpty True Passed
130a8a6e4bac439274aa720f676c2914ad49f6a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SetEmpty False Passed
504aac05857b69071525edb7fa1d59ecf1d96b26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Set0 True Passed
1d450c4ab2339b233acf57bc397d6832cbbcc38e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Set0 False Passed
3261dca3c873a73ece00aea87958f4e8f1ea4214 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Set1 True Passed
5083927843df286493bfc9f429e2fa08127337ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Set1 False Passed
d283a1b89a75865bd90224947457c3f1af119884 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Set2 True Passed
bbf6f77be88eaceb5bafefc216b286ea343ccf05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Set2 False Passed
0c02d49896a9548c58bd35e5106591c14edb7a17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Fun True Passed
aee38b19680a9f212503ef2d4757a55ad24348db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Fun False Passed
6d94938cc1ee3105e377ed619f5557ab152bacd0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder In True Passed
cd873da81365dd72c0bba86a0b47463255a023b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder In False Passed
cab44c7de5d5f3c74075a8d7e096c6c5381269a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NotIn True Passed
db410f8a6e5c63213a9cba18853c07ee1ae4792d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NotIn False Passed
34b0661fa14613df0e318a9655c53b7f83f0745a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Exists True Passed
5204552917fdca9486c872056e993b5b1a88f096 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Exists False Passed
526f8ed170ae0f08295d1501cc686f440b0109a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Forall True Passed
8c6a77161fbb3e59dda66ea9a573842422920828 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Forall False Passed
f3c16cdbea0f3b9f41512d359bb8f9bc51d438da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Choose True Passed
85a8d6917be874cd7f12d43077f7a01ec4346a0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Choose False Passed
e0850f327ba24f7f7fece26cc7e4af3e24ffc9dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Record True Passed
b3eaab1eb3266f70749fe63eb2960b47fc35f177 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Record False Passed
fd2b7d9eab3a8d166d93121efa5e327351b99c29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Tuple True Passed
b118948893af1ac62eaff9856ae18d3353803754 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Tuple False Passed
9e2eb409f61fc70b2a498b6326a406f1f8f6b468 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder TupleEmpty True Passed
7bc83627c29146c799d08eed183b7f610d3f5b43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder TupleEmpty False Passed
054952576aa01cf4ebf299d77dab241e018a3b04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder FunApp True Passed
d0db77e1b2d9046725746d3bf3d427a23917cd0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder FunApp False Passed
9d1887c7ad2f5aea432ec3dfdea7853f6fa172d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Prime True Passed
0bb1ebc7d5dfe710630ab7e0a2e33b9ff654eebd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Prime False Passed
2835e43815f03cb1fee49f86a1260b8addc099f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumZero True Passed
53d1a4ffa359e8450a4efb18b7e472a18d22abc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumZero False Passed
612f567800e09cfd805e4bd83fe58863da6bc3a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumOne True Passed
25ad37f5836df59e0d6684ddb29f56a0b8354ad5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumOne False Passed
b5414dbca4d0860e763fe1d644fc0c62d5ca0a05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumMaxInt True Passed
272463c7ba6cc593cfa871bfd696f1cb63a32d9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumMaxInt False Passed
be2408045cc06062c6fe08bad9c1f57eab3ef974 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumUnaryMinus True Passed
0d5a43f09736e4c33862fb5525c2909580493be7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumUnaryMinus False Passed
e972d0b97b1cbcb25df753eaa3557b6fab77005c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumPlus True Passed
5746256295134ff0721bad062569eeeb3a33220a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumPlus False Passed
4a1259ed23d7db9aacd6130778646bf680356be8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumMinus True Passed
b9f5b970cfa4b7b0b23091e78bcafdbe8e4e3c7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumMinus False Passed
b457b5c31495b418d6e631d49c0679f262228524 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumMul True Passed
9731cb2b8920c9886aca921fd0df040c4bccdd55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumMul False Passed
428316d560832d47857bff235f58ee2807b2efe3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumDiv True Passed
568a0050578909fd04048692456e8245745ff0c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumDiv False Passed
2d6e3783978c76d4a91bc65d09afab6354c841cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumMod True Passed
0aec681a3d0e4823c1ebe6f0415cbfe07c52e36c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumMod False Passed
914c727de66490ec00d49baa4ad8767032badbce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumPow True Passed
060ca571e625633bccee5e42a7d71cbe079ba710 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumPow False Passed
4508c222a621233756730f62cb16d7f4ddaa9af6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumGt True Passed
bf3c50f63fc3dc7f8f667a3732bebd400c0efdb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumGt False Passed
504bd9372827e02bac4fb4f33b3ed2232c2b041d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumGe True Passed
296cc9975920dd6fc598f8903e8bbe2fb78bdc1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumGe False Passed
9125db1a06b407a2df040ed8caf18fd497d9faf0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumLt True Passed
aad6d83aea5b1e2b89eed7358aad5fda1b179ff0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumLt False Passed
179122d7192d0e05f69ff7e88c210e98cd80e6ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumLe True Passed
05c50a7b1ccd038ff91e07e722f380ee4198ca15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumLe False Passed
3eeb1c94fee332cc31042b79a5da1d79f87cd04e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder DefFun True Passed
ba78cad972f93411a88d66787535e597ff375980 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder DefFun False Passed
ba44c9711bba1595e30d9d0660db322e155ee13d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder LetDefFun True Passed
d90f713126f1053f9b1e1d0abf41a6e72542d025 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder LetDefFun False Passed
922afec911b57c9619a2b823c6586644583d799c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder DefFunRecursive True Passed
bc33431632575e51bf9f69257c512d3a62a1a317 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder DefFunRecursive False Passed
f2095dade89b52484d30213298b0e0cd9dc1745d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder LetDefFunRecursive True Passed
1e9ebb423437962d7125b04d24005e0eb9fc7837 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder LetDefFunRecursive False Passed
3a3d32a08c9a74fbaa5b7a9bd844b797b7fff8d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Def0 True Passed
b024e4d12180d46504621ba96cf257b73cf7eabe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Def0 False Passed
a0f4a1837684f79c2558272077043fd589b48cf7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder LetDef0 True Passed
5d49af20948e8ee4266ece330efdf061ecbc4da6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder LetDef0 False Passed
53889142521287d66a1b2dfbc8be74dbe7082dfd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Def1 True Passed
d97c44bcc1e53117fb683d2c89367cd25f4b7a86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Def1 False Passed
d270977d89930238e27e0d403d10dba8bd140351 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder LetDef1 True Passed
72a3192629cfb2db93fd7a2fe979a095f5aae1ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder LetDef1 False Passed
562938c805baaf03790e68d08492a5e313b98ad7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Def2 True Passed
594739b1f2dee033e4e9736b888bd51b097d9994 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Def2 False Passed
03b749ef5760371409aff61af6b3aa52ebcbad77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder LetDef2 True Passed
be7e16eee98797afd45dfff2387fab9d5148385a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder LetDef2 False Passed
1be503508b62546bb66c3d0fcb053d0ed8f9f780 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Def1Recursive True Passed
311e9483203e94b35170c7c3ce76784eadd708b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Def1Recursive False Passed
bb0bf10cdb0594b6c91ff01459f05edbdc01a4cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder LetDef1Recursive True Passed
efac2964719727158d5295d923366617e8e29507 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder LetDef1Recursive False Passed
108d5ffb8932d888f6fc445a823499ef120b52f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Extends True Passed
e6178472f317af91944f27aafcabbdc055a664fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Extends False Passed
242762c852d3da13e931e49943c805cbd42e2187 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder ExtendsInDifferentFolder True Passed
8a376cd682fe1aadbcd78ffcefe5dacd04132672 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder ExtendsInDifferentFolder False Passed
a39d84ecdd65c2545604c5da4baaeabf5ba7fea4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Variable True Passed
c4e04396a49916aaedb5373e080f4f7756058b68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Variable False Passed
e3256a5dc98e7da0be32cda997b79131a4bdd796 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Constant True Passed
b296b4fea3fff31193058b27e45aecba3da12c66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Constant False Passed
88d555b21faadf291cc3f8cae653daa9c36bf138 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder ConstantModelValue True Passed
9cee8db209c18bf1f9e200ecd2dd3a26113b999d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder ConstantModelValue False Passed
292de82f7a23593ffa695b418ef5d490b76e17a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder ConstantRank1 True Passed
37dfeba107575ae85dc43ae35ef1f61ea2ff12b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder ConstantRank1 False Passed
17f5bb19022c8cc8823e20c87740d05b3ec0cabd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Instance True Passed
7ed5d88a24b0251a429350f77985c82077f09de3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Instance False Passed
1ec3699b863900541dcfb7d1540a0a65e7d5e5ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceWith True Passed
16dc6e812a83c01ad3f915d27379d4b99f67a31d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceWith False Passed
c92b9ae3aa97ef40ad481f7c6236d877e6c2fe42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceNamed True Passed
902d82f15591d759917b1aebb1168ba02a625277 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceNamed False Passed
58c65f3e9d43bacaa264704bc368f131757b3c32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceNamedWith True Passed
634c80c4b70e6ccb92361a1e17afb5c7bdbe3e41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceNamedWith False Passed
1f676d3e32dd868e1c96620eb0cf1d8bf6aee97d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceInFolder True Passed
c0bd593cf9d167f24d753f046246254decb80cff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceInFolder False Passed
2cb9a18472f79eda3745e68d464ea2868164a8ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceWithInFolder True Passed
530c8814d4faeacef5a1f25b9435bc6c8cafdb8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceWithInFolder False Passed
770fb0b73956c65ce61f15b57dad97c4c3122a0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceNamedInFolder True Passed
b8a8820a30b9111c142eea5fa1785022290f79b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceNamedInFolder False Passed
fda23d280cd2f8b62289f812962accf5e1602bef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceNamedWithInFolder True Passed
f444b56ff3c34c1a84e8cfd6f5b999b319d7ed64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceNamedWithInFolder False Passed
7028af8134dd99421c47743d4feaf558846a4844 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Enabled True Passed
5a9403d61804b8b79948a2dbc9d687e096457008 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Enabled False Passed
8508a159610c67de532693cf707d787b917b27ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Cross2 True Passed
cf3ff23497b877f554e16ce0ec5a8e188dba3ca3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Cross2 False Passed
3a43192de469bb2359075be39b9f9ec659eb5fab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Cross3 True Passed
ebd36a4bb5c1423b32a8ef559ef58134ee96b616 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Cross3 False Passed
5d049f0728a88bf340ea8e7e971fd40d2a61e7e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder FunSet True Passed
21d5e735108297cfd7b9a07cab5c5a8b19159eef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder FunSet False Passed
cc27ebd4921f86c2e246e24aa40b91c31e665e3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder RecordSet True Passed
410e32a710b15a37e641788ae51d09363169d772 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder RecordSet False Passed
c7bb4efa62de0f7abfc2c8efae0babd0ffeaf2ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SetDiff True Passed
7e5225eeceaefb1e53342e9210d15b487456f252 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SetDiff False Passed
afafe7300e5ce22930ef8c7923810e56945ff512 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SetUnion True Passed
9975de9725465268388cbd2854d27f2e8664f67d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SetUnion False Passed
e60fe95a5c26754bc9759bcb31a64e34f6015940 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SetIntersect True Passed
ce2ed88ef67adc0e2f83871cbfc1decf9048f38f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SetIntersect False Passed
e716842fc07e1bf282212b1493bc69671bde3074 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SubsetEq True Passed
1c516d203f18384a8397ee4420109c14bca5325b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SubsetEq False Passed
538b3ee8e7c304bce16a16da055778a8d2e61fa6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder IfCond True Passed
dbce9611403eed9b34bdb31bcaf42176d08a9a6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder IfCond False Passed
49f8d7f5845ce00cde963fa48d31b77307ce70e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder IfThen True Passed
6c4ee7239d0fca36367a417a0b13dc3fee846a67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder IfThen False Passed
f7b709e3af78d0f439eaa0fbafd3cf80dd96a2c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder IfElse True Passed
f8525c64ea6e9d58b1d2f50f5fdd5b591049950d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder IfElse False Passed
8c4ff783305845826ffa94c87ec8cfae324ac7d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Subset True Passed
fcb484dcb36510ce7c6013916a0109f3b4a38901 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Subset 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
11edd042c914cc3e530028bfb2a88cab781be6e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Union True Passed
d0660f8e069389e2e90c5fba0258346622236079 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Union False Passed
5d1888d3de3a6ff0f3a8b5a81d60e32def547128 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Unchanged True Passed
523d7a1766b47e87f80e57631dd68f072fc3ff39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Unchanged False Passed
84b0d4c0e6b6a31ecfdf715f2f96e6e0b824b764 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Equivalence True Passed
72948c3f0b45a61c97a49006e22f32e7fd04e3c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Equivalence False Passed
bf86fb905f7d47d403eb056705c1e6fe171aeddc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder StringEmpty True Passed
3321f00d683c61816838d7fcf518e4c0e755b20f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder StringEmpty False Passed
639308c8785e3b3198e87798d33b2a814e9658df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder String True Passed
695f40744c5850e9cd09b960362ec951483f9b15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder String False Passed
e30681fed3ba00374ea7cca0b6c254ba975791a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqLen True Passed
0f1230067b2a12de9f41f097bc810063da7b4b6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqLen False Passed
f08796858463e4b23b7b369924adbbff857236b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqConcat True Passed
379cedda9c9bb96ab03af3d99abfd983fbd3ffa7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqConcat False Passed
9c1b5465415bcd927d6affe1e93cae9714b96176 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqSelectSeq True Passed
2a5866be3639879cc4c80d134fdf2d6e2b3ae4ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqSelectSeq False Passed
0bebf44d17331c474be38e2cb8e59454c807824b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqSubSeq True Passed
fa82e3e1bc099f9d164bd536f4b4b92cdd4b90cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqSubSeq False Passed
d8f2ccbcb86be2efd22f666f7895e7724a918c1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumRange True Passed
a78189661b53fb436801d929f62fc67d3d4df5ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumRange False Passed
3d32a47bff5613c1bd952a9c2842bba0ae1af504 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder TlcSingletonFun True Passed
99abe7193eb9826a2958a0421d79f0f5ccdc5bd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder TlcSingletonFun False Passed
3d6815f62d1588433ffcff1f5402ae60c1b02f56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder TlcExtendFun True Passed
6b4f0f92e4fe9fe0721a1947cef79863a7480093 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder TlcExtendFun False Passed
c908d30ca4cd9905fb6c8728d0884c060418a8a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder TlcPermuteFun True Passed
49c6a9975fe62645e25f342fc19be18654ea5982 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder TlcPermuteFun False Passed
ffbe1f44da0778f326adf866d6ba172752653631 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder TlcSortSeq True Passed
c92479e0f84645c2d7066eaa4548f2ee600a7860 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder TlcSortSeq False Passed
4f427f6fd0ac528a47cfedd61c79b486a3438e66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder TlcEval True Passed
3959aa8ae46cffe40c9221d4c729b4bf3afa81c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder TlcEval False Passed
0ad74be0204a76cc7ad78cbab3eea30683d686b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagBagToSet True Passed
e6384016fefbd3a0e07dbf94c00835c8ac727e2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagBagToSet False Passed
70208a646c3b0f39c263ceab17c36462ce883972 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagSetToBag True Passed
e30fffbdcfe79cd232cab5fa7c554c6840ae28e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagSetToBag False Passed
0d0cca8811893d0a81895e259f5f45c71ae5de3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagBagIn True Passed
2fe94a215185294c720c0c175f356e3a3b8db922 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagBagIn False Passed
5bba1e4e6048cf429214b9f47f06bd0e20a83962 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagEmptyBag True Passed
2b1d1ac0272a406a4da726b6a1890c6581899f41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagEmptyBag False Passed
861e9211d141453eb20b01a92a1b7851d6523bff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagAddBag True Passed
bbae5bbc548b162c52b44fd8529d90a704cf9f4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagAddBag False Passed
4ef54bdbcff1a9e7f6c466950db0c8c40878c66d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagBagSub True Passed
96ea38bda5000bbca85c88c9dd8bc4841ae66573 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagBagSub False Passed
247ca6c19d1231f352b3dfac6763f9afac156c75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagCopiesIn True Passed
a9ca6a17ca57459c2dfcc04ef18d2d8e083e9273 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagCopiesIn False Passed
05d955fd78fc7ac5f1eef655b2857bc88c20ccba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagSubsetEqBag True Passed
055b65645ef02f8e9233cb30aa9c82f55d06cb5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagSubsetEqBag False Passed
e03bde99dbf217234a0d6d9d6fa8d2b735055cd1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagBagUnion True Passed
04af59c33447c0bdf91e8dd3411d66c3d8829f98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagBagUnion False Passed
990919eddce9367dd9cd81e66241c88a49bbd5b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagBagCardinality True Passed
fb5610d4ce32a9256f578d1fba1930c84b449095 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagBagCardinality False Passed
99f60b0cc88b2087b8f6aabb943f51bd12007921 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagBagOfAll True Passed
4c0a9d13a4205ccdeb3ec506304493f4783cc585 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagBagOfAll False Passed
a0e793e925e1e4c65fd97f2fbed206224d7ccb45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagSubBag True Passed
488e2a7f6249a596d1ed9a99e1cfd9819b5fc481 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagSubBag False Passed
cb795bc4cf596049cc0de3535ee0ced10f29ee09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder FiniteSetsIsFiniteSet True Passed
40a0a790c070ca7d88b0aa3730f194220fe06f59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder FiniteSetsIsFiniteSet 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
41ddbbe6f4247303a0f76085f0b734d073d3918c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqHead True Passed
1b811dcf7d2d779fd44fbb54e5f59a7d69f273be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqHead False Passed
fc4581a36b9dcae4669d00a6907e804363a345fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqTail True Passed
b4843a8ca220c7646c04de24bd174a8497eaf484 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqTail False Passed
45289747a7a32476888a933ac243c241aef362aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqAppend True Passed
ee1e0abcf5697d36b25274c1ca8dc28f20c19762 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqAppend False Passed