Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
c699b8d20c3b55fbe110085c05d917cb2a39bcc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder OneLineComment True Passed
a1a7cca0ff9c2a6288852de54daf3d1b16f1ced0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder OneLineComment False Passed
6c571cf61f19b5438dd3de9fcda41ffcc2fad0b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder MultiLineComment True Passed
72eec995b837ec5897007147588f0232c7777c38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder MultiLineComment False Passed
d5bfe351e74d4fdde678bac7304747f4c21ca08f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BoolTrue True Passed
285ab2a65c91946686e2c2859226567508f1a32f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BoolTrue False Passed
8971b47d251aa87e14aa42ffa7c8653b8aff6782 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BoolFalse True Passed
738de3f075dac0aae070036845ff1e18ba3c8d47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BoolFalse False Passed
51d08aa56332ae5f3eef46d1c8a62e7dd1fa1895 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BoolSet True Passed
1406f31682982650c809c071a1b813ab31cc98a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BoolSet False Passed
d51ae763906c51ea442756308b2ceb11bce1c35d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder And True Passed
4bd5971f9f10c5ed0cafb4ccf318b25404328a05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder And False Passed
24d9afa9be78f97a67b6696221624664f3716dfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder AndMultiLine True Passed
aabc1b0bacab0ad10db2223dae53bda142a8bc74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder AndMultiLine False Passed
914f4904a7d60b6f83539935cec42d02c411f5bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Imply True Passed
e2ced3e2629b4f2653186b0ee83001d7d0c4643e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Imply False Passed
b26afbf5bba0b7b06aaf18013227083aec00b7c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Not True Passed
74aa19950212f9492839dcedbe83050071933bfe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Not False Passed
ba41151a3cedb06044ce715dd5bf986648f4b870 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Or True Passed
52271fc7e10cee310239aa0ecaf382b025c01e22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Or False Passed
2ca2f3eeb08524495f8cfac2f5e1461e60e801af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder OrMultiLine True Passed
9be282abd2b7a1076d7ddda452c26579508e33b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder OrMultiLine False Passed
d2938741d2e11a8130bfd7f9213ffc868c4eb333 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder AndProp True Passed
9dda3021b5ccad32d9143dd3e61f7c91a420a01b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder AndProp False Passed
e128cc9d7acd381cca854153dc388697956b078a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Boxed True Passed
377147c00add8289ba2a6a0659126bb54dc7817a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Boxed False Passed
a8a2f765973415b9727d284cbeff8167e4729745 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Eq True Passed
d7429b9fd2671af78d1705db880af5957cde1f99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Eq False Passed
02d4abfa23af2e66448862159b95786d66dbbc14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Ne True Passed
b7df3abdd19a03ce2a3946eb6a4ca07e40941f4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Ne False Passed
fb8734550f04249b3786db15fdb5ec93e980927f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Let True Passed
6795e9836fee24b34729fbfa2af9e5d54126020e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Let False Passed
f804084bc4fa68ec0ca0ddce87c5c07486c18507 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SetEmpty True Passed
3f268b388f5c334a4e13385c31923207937d0eda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SetEmpty False Passed
cec0ef99972498f4f4170abb3f7fd82f2fab370c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Set0 True Passed
df28fdbf854f3a44ce1935454b617f89b5908a5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Set0 False Passed
6a5a99b1f2e4a54a669aee6707603347a6f126f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Set1 True Passed
616c5de84a1ec75ad2f6f7d78aaafe0a386103ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Set1 False Passed
fa6658e891b447c88f8cbd07fa4f8ad6cb753f28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Set2 True Passed
9504d26c54433ad8a02dee58be8e3e82ede0e231 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Set2 False Passed
6b755f627535444a0972f95b9d58b81ea42a2fea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Fun True Passed
103274097850c14c3d6ffb992a9a78a208d617eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Fun False Passed
11e7c5bd3da3071a1b06c01c9b9fb4b960f4ec40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder In True Passed
67d9fbf80d748b635ce72a150a2745a9e2811cd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder In False Passed
81e172031e4f1b001e3822b0d33af75b4f29e3af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NotIn True Passed
8cb8702e2ec2cd471048b56b362d6561c9789c4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NotIn False Passed
4b90d4a10f89ba13bce182209145e8cb3aae8208 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Exists True Passed
52392b356dbe596ccba9df76c5e593edb0093ef3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Exists False Passed
bb6b41fbb88edba4b633c3a4c0694b4e8152c821 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Forall True Passed
87207320d6b7d19b147ebc3acb8a6b65afbcac35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Forall False Passed
c92a5655345eddf8031d322660f554843f4ab3d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Choose True Passed
31a3dd76cfd8cfadc255a3f9e6a93ffffb70e6ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Choose False Passed
be17b3a8498cb50a9d27d9f42ef80a9dca93ec02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Record True Passed
f987e8512de27ee574e7d17ed24725488c2a7c2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Record False Passed
d6d6cf07ff68f94fd5a0f6a890679c2f2f74f77c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Tuple True Passed
be0bb0158714d0c37ea6003b709fd8ce5e03d8e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Tuple False Passed
3db7c1ce74b112cd672249fdedcd8ab7f9de83bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder TupleEmpty True Passed
ed8c9a5ecf44d435732460acfe3c31d1bcc8d3e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder TupleEmpty False Passed
1ebb24234cfee03cdf9613039b6977d13e2bcd5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder FunApp True Passed
dd8c79f3abe974a3bb2d13278b8d73a39aa7c5a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder FunApp False Passed
a536034c02bdfbb9eda656aced5faa3c7abf4b76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Prime True Passed
6138b8023ba298980f9519a044c53351148f7661 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Prime False Passed
5f89a780c07210f7ddda4f6daa5488a325044236 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumZero True Passed
20e1bf685f76fbbaf0a5ad7c3a4bd19ef4b252f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumZero False Passed
88902ff58b62c75f9a9766d1d29b93569c554981 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumOne True Passed
2f68fb8303f1dcb2e5cb504410196e0690b4a3f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumOne False Passed
8660cc604e41731c3554adb308b9b7af9014569d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumMaxInt True Passed
2feef98cf186ce79d6378a14d53569a2aad6ea6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumMaxInt False Passed
5f7b1c1d9a96387b346db55697db9ecd6a181822 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumUnaryMinus True Passed
a2e28596d1ab394f5a8b1a243ba6da8163c64491 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumUnaryMinus False Passed
06b945874509967644e75d642c24f4e462f2cbfb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumPlus True Passed
aed415b93198f3717575ef6a8ab953250ff65985 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumPlus False Passed
8693daaa01cc64c66bc16b5a45c419bfda1afa1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumMinus True Passed
0eac7f02b3c04db6e23fee024cffa4d922913bb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumMinus False Passed
e530191d787de2a300c7db6ae1089110dfc20684 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumMul True Passed
c382d75c48d4192108e269b3573b4d8f6c48532f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumMul False Passed
f1e52dcab19731bb8363eb92a5fdb8934777181d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumDiv True Passed
63fb50a7bb169664ff7d099954c5206180eb82d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumDiv False Passed
2bac847efac1659d58263c3f5f749bc36b232e0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumMod True Passed
d7ab52a63641430e2f1cdb6e0c4c1417d34a7fd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumMod False Passed
e44dce27dddab85a0c57e68351320c095b4967ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumPow True Passed
03c669937c31eaf184abe5dc46efca01b392307b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumPow False Passed
0e675f6cf238b2ee2468432006ae46d1a991b25e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumGt True Passed
a4a7ec3c2a0276019f5b265d43decb6e29bf0df9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumGt False Passed
f74ecb9acdf0064839dfd1d12eeaec4b8ed48386 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumGe True Passed
0b43df0f364f5c10b136afe1cafd08994bebc617 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumGe False Passed
b54b0963a7be245e5b0e6f460e49c704e51cdd6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumLt True Passed
98874a267b03b9e7c963378a2c3df43798265f7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumLt False Passed
42f3e656a4450a90b1d6efd74a4c39108266a102 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumLe True Passed
da63483c60bf0a0779c21a7eed27d08c4ba6295d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumLe False Passed
c6b35767eb1d14c5552d40f5e96f51c1dc957a5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder DefFun True Passed
a832d6ab69ccb9bf853ac538aa128c0cf783d92c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder DefFun False Passed
aff3185829ebab708a6d5d636e533fa40dbeb3cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder LetDefFun True Passed
9bd50ad338c04265da018e0d21f734b83480b22d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder LetDefFun False Passed
a28f5f358654b4cf4d7da4904b88d9d648ca0af8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder DefFunRecursive True Passed
74ffc3255c524dee05f7f0e480c2064c102a2bfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder DefFunRecursive False Passed
8920b8b7614fd71f6cca3c425069c22dc6e6e70c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder LetDefFunRecursive True Passed
4ba4fa4e207fe1c9859c76e90e6805913547d112 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder LetDefFunRecursive False Passed
82157f5c3a2293cda4b5f8603622f8dcff3e759b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Def0 True Passed
bb288752bc03c21a81e8203c7368da43cdaad960 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Def0 False Passed
43cdefb611527f72e52c3e7908f1c1c8a5824c24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder LetDef0 True Passed
7e6b4812b44dd3b400de218eab347f79cd89adfe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder LetDef0 False Passed
6cf7b0c5e696915b6ad25f97e6a1c8389ddb9443 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Def1 True Passed
e2660535404f8159f44d2742da4a1d6a0bc0b055 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Def1 False Passed
ce9cdda9080c84d4d71d414fec9ca224343da403 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder LetDef1 True Passed
929ee356f63fbedb8948a4e20a361067572d4033 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder LetDef1 False Passed
eae9a2b292a45ec473f9ed6eed185f59497daa91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Def2 True Passed
3cb0c39064ae64492419f5dd0224f12207a0e46a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Def2 False Passed
da72b886941f1af075322c6c7a7c26484d034247 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder LetDef2 True Passed
94010e58fd6195c83a340391eb771111ce66ac9c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder LetDef2 False Passed
1ea237ea546b4ef77357f8a8dd81c6a5acc4918a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Def1Recursive True Passed
92a9e41b5092d08850a85dcc6aac9152a9a20921 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Def1Recursive False Passed
245b49611b0dbbb1e6e49fb696f919c25053ad5d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder LetDef1Recursive True Passed
a20d85524468de65b1fd46c8b59daf1a5c62cea5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder LetDef1Recursive False Passed
35485990afcc16ba283a8878563f5d45c88347a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Extends True Passed
30fb05cdeb9b000e548974637de4f100b22d86b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Extends False Passed
f40b11d4896cad05ae60c0e01fb9c6d20f3f8b33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder ExtendsInDifferentFolder True Passed
16eb08095962ea08f3c8666a6c8755e84df40d1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder ExtendsInDifferentFolder False Passed
ffb00be3d92bc197e967f6484a543ec58bb9e983 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Variable True Passed
353ae70ef9ed30ef2495d639717096d28083ff8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Variable False Passed
a618f64fc965662698b8c49612ca23ea80d13980 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Constant True Passed
51f9d3b363552777b9a41278e31289f29de04d00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Constant False Passed
48a0b6426500bc16ef1cf490728c2b20419fa834 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder ConstantModelValue True Passed
17e9a001de507665e171d786a784accd358f64f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder ConstantModelValue False Passed
4c846fd310ce221cc0cee4122846e60da79f11d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder ConstantRank1 True Passed
cc58e6f2127b455346e2cb22b7581b08343dbe89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder ConstantRank1 False Passed
92041c2677e86248af45f3ed2eb044b322f73d96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Instance True Passed
17d09c8c6a092ab08b94f1c34518d3554e2c00fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Instance False Passed
a95a8b9e6e56c08a9033047df5a3a357acd4ff52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceWith True Passed
bf85af9270253748cc7d70afb0a35ab17130745e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceWith False Passed
e09327d49eb5a0184c41e83ba3e1398d44460225 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceNamed True Passed
fd99e33d109b62ae704fe79ab0e21375508a126f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceNamed False Passed
5a67d3a32335bfb15bbf34e0460270d4a890f743 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceNamedWith True Passed
12eb0a0b33e5c3d8339e84ab0f5703a6947e99f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceNamedWith False Passed
9d7e3b94023bdc19b8a0f97adf0574d10a21e414 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceInFolder True Passed
615b1cc790b9ec7d9ca42e28b18efa73c81bc2c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceInFolder False Passed
3c31e5e2f11584ccf2ee596aa17192b572359ced TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceWithInFolder True Passed
4ad962b74b09de4c8ae3810de8cf06ce8ebe7bd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceWithInFolder False Passed
87c7149632611dc1aefb44a102de29aaa7e8ea25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceNamedInFolder True Passed
654464ed66a5566a39c0c494ff768d2c8131b228 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceNamedInFolder False Passed
0a2bb36c2b6768159785302367da7b0360b30fb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceNamedWithInFolder True Passed
9f11ac8917022e00011c693dc76992b4de4bb6b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceNamedWithInFolder False Passed
8ea4c5209a0eca096d35aa30b8d5dd8e992c7b4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Enabled True Passed
b49fa0ae63c4e2e22c679205e0913a1b3a637bba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Enabled False Passed
31d4cea7775c30e11147bed7c5903826b69c44ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Cross2 True Passed
aeb99bc6ebf4ff1ca5f9756f2b985e0af7b90a7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Cross2 False Passed
9b81f0cb01c0207dec1b9bd02af3d3c72b54cf30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Cross3 True Passed
9741545c27c666764587dfebe6aa63c2cd180554 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Cross3 False Passed
fe88d218837528e4f1634744c392f9ac05e25bda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder FunSet True Passed
3b61bfa837bf7849896fdc720290c6cb345f6497 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder FunSet False Passed
3967f6194fa121298bcf79e4afdb50b68320b111 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder RecordSet True Passed
baf41bd799b24656e98abf957fc30a13d1a58602 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder RecordSet False Passed
9eb2d62147833f7de6d721e07b38d605d8383550 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SetDiff True Passed
059538cbf4e83d258a033bc1eb6a2e2ef475393b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SetDiff False Passed
e0f57aaeee33e583a6034e246677ec43ddb1374b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SetUnion True Passed
80d15c770e9ff8a9a27d1a122e4e7500182603fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SetUnion False Passed
2b81518be52b68c1e1f83558ffa3883228d0d073 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SetIntersect True Passed
3a9de596e05955ed68532065bad3c00c9425b5f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SetIntersect False Passed
f41f67c132436c9eae522510bf7ce88ca0b7ba47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SubsetEq True Passed
67015220927dd09e3f0e2cc5b37fd351802c3237 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SubsetEq False Passed
5c9c73ba575079eacc0089f8ed3bd55740e93f12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder IfCond True Passed
0a395d6665f19fbf778b39611229be0f84855b17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder IfCond False Passed
14a80dc02f9fa60f82bf46d41744c2255005f969 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder IfThen True Passed
5f5fb2cb6f7d9738d7f0e8e949675ebd8198d01b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder IfThen False Passed
de705da2ce6ebbda414bbcc0274e490a64fbf0b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder IfElse True Passed
fd193035a2c30f800fb6af162ee16e7809083d94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder IfElse False Passed
0ea253f3491b0f1a6e243efa4f9c19d45663d85d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Subset True Passed
6d4c5826a285281222fdd19f1eedd60af6bb8935 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Subset False Passed
e66f8fba9ec50bb0b909ce6bfbfde2d3df02bc31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Domain True Passed
8dccc3fdefb4bb534f4bf6b7de38128b8687cef3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Domain False Passed
61f0180b9afb0b25be5f88d77f2ed2dc92a4fea5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Union True Passed
94b81eec35504cd0def6dbf58d057e8015f28bf1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Union False Passed
f1bda496c4bfb14b7762ad84a2562b81573b2fb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Unchanged True Passed
815278b255430fa881116de68fb8c6f5646b805e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Unchanged False Passed
737a7bda5cdb99f0c53f0986129234676c816c43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Equivalence True Passed
451dcc2936a90488de36da8f07bf6f502c36701d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Equivalence False Passed
3a791b8c6a7202826e18d94a55636b3f97755179 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder StringEmpty True Passed
297cc3be242a267a50f61a47678971ccc1240bf5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder StringEmpty False Passed
f28fd3d9c0dda8515bb926f12ccc9957aa94e9e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder String True Passed
b955b8ad69929955d43750f9a4676811768225de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder String False Passed
4093df315c1436be384ae96db16a02c63a7094c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SeqLen True Passed
cfd09032a4b3f05db889e23617ac12eab3bfb3af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SeqLen False Passed
0dc1de1aace0a817e6bc74fb7c337b5678fd1bac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SeqConcat True Passed
6e36f86eb90726ded8c261f15161c6f7df50273f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SeqConcat False Passed
f2c589d6ad0469a4abd8b82295f442d69cf7674b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SeqSelectSeq True Passed
6b79fdddc53f2d7d5d921d7199c863f7957b49be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SeqSelectSeq False Passed
c3a3701a080f2abb0b7b445c769636f1ca271d15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SeqSubSeq True Passed
157d7703cfa5bfcf3ec5f510c99e36dd095068eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SeqSubSeq False Passed
46819f818dbaf73b14bc51c41b5f28a946e763ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumRange True Passed
95e0feb3b4379436fde60658d71adf30df0e7973 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumRange False Passed
6e9d7f62855e8402d61855092eb07120a3f77d25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder TlcSingletonFun True Passed
22b3a92f63c361dc7638b015c6381f267edb4c37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder TlcSingletonFun False Passed
34a50b151fd2b7be815e5256f5a6ba83fe315f22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder TlcExtendFun True Passed
3a1bd7e9a8832974cba940d28e147cc3e2254b16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder TlcExtendFun False Passed
2aa43a174f6296280d22a6169fa33f8b01473f7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder TlcPermuteFun True Passed
a1caf268592af56ebd51aa907b23f0989c3ef910 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder TlcPermuteFun False Passed
1e224f806e343ba1dcae784fdb7a49898e7f8403 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder TlcSortSeq True Passed
2d28dac82a873ec84f75ed1123500ae87ba2b15b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder TlcSortSeq False Passed
ab2c7b7f3423ea6b7f1e7738474e5588535b870d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder TlcEval True Passed
f0bb5cefdec2f2f8cd8904027807915d6ba7b733 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder TlcEval False Passed
cb0c2642718fa8882a44b8002588a999548a9b97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagBagToSet True Passed
9925deafe1b260d1e3b2a19f432b6250e8fe4e7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagBagToSet False Passed
22d0d9cf4d4a82089aec5bd3421271275b05020e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagSetToBag True Passed
b1dcd7c552653483075d69789cbe1129dfe7b1da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagSetToBag False Passed
9d7bbc4caed62112bd0520c32f8748028539098a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagBagIn True Passed
6c52963fa9a4b6612e6c1827932f45e88161332f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagBagIn False Passed
d360e43b6340d08f6331faed04f9b3590b776906 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagEmptyBag True Passed
7c2ad8cf2a7193123c1ba2960b4123a447c417fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagEmptyBag False Passed
9466e66d15d7ccc45f04e13dbfff337a14832ab6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagAddBag True Passed
4fdeb6908e03dbc2aee4476eb102fe9e3ae569ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagAddBag False Passed
c455a2c5d48a6232fc020d660264fde317dd023e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagBagSub True Passed
0fd1401ec68c5b00146569297d61e2daa562ff7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagBagSub False Passed
57df460ccee615a7d423b1a1f17f29ee8b4e0d2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagCopiesIn True Passed
56783d554c6f78be2fdc9f883504f63a816ef690 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagCopiesIn False Passed
89a60dad60fa5c9e090eb5963a5aafdf22d4be0a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagSubsetEqBag True Passed
34758ca4250db7479109fda9d5c95f90d0f2e519 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagSubsetEqBag False Passed
49a84a462fb38fc2c701f5e0b1768d5ce74af13c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagBagUnion True Passed
702ebef8e37a4831d341ddc5c1026319c11352d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagBagUnion False Passed
b091c8faec756f5a6817a09208250083800e6385 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagBagCardinality True Passed
ccda6b8663e1b78430f74c77d45d71acebd04f98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagBagCardinality False Passed
f17bf1f2512a5390561f80210b2b692512a737b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagBagOfAll True Passed
145e2a4850c759ff0b53595d70d1c426068dec7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagBagOfAll False Passed
695c2a4f19d2c431e09734de9e2b397e952e4722 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagSubBag True Passed
7bf298626230f32b3c1d1dcededd27f01d5f69bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagSubBag False Passed
0ad1b6953efba66b5f7ca8bd561383816f40074b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder FiniteSetsIsFiniteSet True Passed
0b487f5194df78a7b7bfc58d712b6848b099e719 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder FiniteSetsIsFiniteSet 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
e326b7461c6e9a6f5257f7f66cb27871dbc4206f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SeqHead True Passed
885fd87ade32cbf9b82c5dbaf4def51fb0537da2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SeqHead False Passed
bd395de57ad78056207197a5b7d88c521c464121 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SeqTail True Passed
d93e9841e1c2cc521f08e18670368fdef9fc4f98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SeqTail False Passed
8ca5379919e7fb5ad51a1bf3ab1bfcad02b6afb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SeqAppend True Passed
4250ac4fb7297e5b4c65aac110e536249f8cc9b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SeqAppend False Passed