Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
3747cbbe5ee01aa59d96451b84f0b0ce68fd18ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And NumGe True Passed
44d2359bc820a235142dde759f06fb013c365718 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And NumGe False Passed
6845cb95d1ecf5d858b0a70aea82204bcf6dd7c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine NumGe True Passed
025df888eb6c74323228920111a67371b2cbcc0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine NumGe False Passed
f21e61788eaf715ebaafe8ef8e5124a3fb32197c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply NumGe True Passed
aaa6bd3304cf02654455cacb9a330d20f2fa13df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply NumGe False Passed
ecbf7f1dbeeaa0b871dd86c4080862fc40d63633 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not NumGe True Passed
f352d401332f947cd93a03d805c69da957663cdd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not NumGe False Passed
adea7024c8a4e122c3042f2ac86a85cd2beb95f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or NumGe True Passed
a1d720ce6bcb4d48458222ff8fc7cdcc0e681d97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or NumGe False Passed
641511159ed3847fa60319905917b506137df702 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine NumGe True Passed
bfe07a3114683438490aec073d58a1f39af3178f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine NumGe False Passed
bee5b36d638a662496a86672e1a6bc49b995d044 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp NumGe True Passed
8e430af41e3915698d25ab91f07de60d21422a7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp NumGe False Passed
ddf9bdce7f9d5a8d0d2ec2dbf6858f40258bf2a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed NumGe True Passed
4efbe527a4c7552c5e9687cc3b44ddfb2c043953 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed NumGe False Passed
ca492e667fff91a55d78b677a1b824ba0dbd240f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumGe True Passed
13327a38a16cbd6c6247581a718fdab8cf521e38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumGe False Passed
f16dce513c82500e1061834c3647cdd0a5a43ace TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumGe True Passed
9b70bb81dcab20c773ba409b0b291124b0d05239 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumGe False Passed
a129443bd54fc94f4ce3e824b0c08e4344f074af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumGe True Passed
ef74df290c2216e84ef107c0998f7eeff0c145d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumGe False Passed
23615ce6b630eda6a3d4f23e115afe8346ffe1f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumGe True Passed
c910da46a59351757f494048713ca5607ea6d9b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumGe False Passed
95d8efa29cbf10309489a78cf54ac6bf0bf2af75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumGe True Passed
1d85bba70f3cc6c1fc2f675f09964bf6e8a70237 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumGe False Passed
b264487d4b21498b1ef4d8e2547239873fdaed7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumGe True Passed
4a633c1b1d3bec11317faf6b758b2fbf3e6d98d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumGe False Passed
07d7e565de932cb48cdeeffaa941470be1421882 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumGe True Passed
2c0129eb5b14033c021d6ee7b3c06151e2465d54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumGe False Passed
5fe1509e3aa4ca3ceca50f6d764c0c1fdbd76474 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumGe True Passed
a8e69ce3e9169bf9acc40c7c6c82d75cef239def TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumGe False Passed
ace376a192f9b18a888697e49e98bb2dfa889d9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumGe True Passed
cd609954672c4cd8a5a896937f4d97381b3119f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumGe False Passed
9c3fa70c427fe1b5ea581659f7fe4633d6cfb0c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists NumGe True Passed
bc77cdcf35768cac78e17a658683afb110a6386e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists NumGe False Passed
f4d58f5a866f8b6813998c49c2fef4143353e980 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall NumGe True Passed
b19078a3fe5b3c35a42eabb7e20d7d121c99ddb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall NumGe False Passed
101d79cacd21bf3a9facde76295a34a910e4815c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose NumGe True Passed
e254bceab3ec8d01833e8f2ea52bd763dd758cab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose NumGe False Passed
3f2c2a510508b8667fa1bae0988e43c3a6a7ea8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumGe True Passed
d83d46c398c98ac8994f21a4d955994b6283b0fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumGe False Passed
4f4053ef33a24589f6fac05281779dbb497db8f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumGe True Passed
1a62de89e8dfce94bb8e1ff757c95d20c57cc2aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumGe False Passed
f6d6ba48a58a66c5e5e5cada4912f314d8f47bfd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumGe True Passed
d5c159e5cf5d2f4219a82da6f16db4403c6f410d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumGe False Passed
d32d4931fc452a483efd8c8c795eb42c2e85870e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumGe True Passed
e386f7132530ee3824efd64a0111d4bdeab30db8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumGe False Passed
a3c36b1c97951f07142f3cc0f621d3c0158b5d8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumGe True Passed
cd8ebb1390514808653213321f8e4f01daa6b373 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumGe False Passed
4e13e0d895650a61ca7552a18f5807f18ecc09bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumGe True Passed
8c19b44aadaacdfaf21e4195bc581ca5824f4c61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumGe False Passed
43f041b3995525efaaadf0270633afbed81cbfd0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumGe True Passed
32032813398d8994045dbfe3acf6d104dbdf4928 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumGe False Passed
a2385cdeab49bb3c4d15b9356e96af54d39688f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumGe True Passed
4e0c582fc23cde122e14a7850f38dc86a844533d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumGe False Passed
dc14725a74b15d77e6d4c0b00130a067ba622b1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumGe True Passed
e989e108782cddea22ccae6c154a18b2953df4d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumGe False Passed
f587581b2d108f508c5320993d6b91365529a566 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumGe True Passed
24b322dd7e1f60723349c1e828284e9de15e8c6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumGe False Passed
2cccd8050047c02ec41a2b3b4ca6de5fac317004 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumGe True Passed
d16a386155740b0f319b3c0d1639445fab0b1104 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumGe False Passed
a5cf376684c18fbd87321dd19a6fee53cbf6cd9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumGe True Passed
9369d36f2c3155eb2990f9ecbc1ad7ac17a9b8a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumGe False Passed
520575b7afbe8de558cad1b72a3bdc56b3927ec7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumGe True Passed
6571b63eedb4d257d50056613994fc81f3e0dabd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumGe False Passed
49bc388de6d66e5a0fb81ca498cc094aeb7cf048 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumGe True Passed
918ecd6f2cc95034dc067eb7f794a37fad107194 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumGe False Passed
3f92c5f90f90faee3359b6bc3a95383a7a83509d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumGe True Passed
f1b9f1cd2dcd7cd9650af8c85b07a922b71b0a95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumGe False Passed
ba6dae77368fba1df8e8d1e57b67d03a6bc6bf24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumGe True Passed
9b89ee7e1c9558c6d4f65a72a64dbc0fda2ea89a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumGe False Passed
b8025e37f34bc1e044bf9c234e051f954940aee4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumGe True Passed
1a8141082fe5d2194bbfd580a1c109572f185611 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumGe False Passed
f619b76c5df903a71c869c5d8a89b21b09218549 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumGe True Passed
aea1edf76d973a8fa5b7808898d6adc2b8e58531 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumGe False Passed
f125960510193c7a0e48d224bf1d89dbba577c1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumGe True Passed
ef36cc8252d1b046059caa89040c7296087f3254 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumGe False Passed
02384e9b279112ed485de26592a5a2307294e675 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumGe True Passed
39eb43d8449e28283d812620fea9b9ae57c54e94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumGe False Passed
e77786753885cf2048709832f3f553c1b5904b3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumGe True Passed
7b485b5631d503448cfca37fbbaf2f410de53ce8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumGe False Passed
39bc1aa540c172ee0d74d071292f421abe597120 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumGe True Passed
05b157cb6fbe68077d87990e948c4c2babbb16d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumGe False Passed
7887dee2de3c96df532cb7a8fda5094a183e8586 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumGe True Passed
9a404a015a033947241cdfd56e39d08e2df9512f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumGe False Passed
4f2c0d578b481e2b071b779c194bf22a11a3a17c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumGe True Passed
dad915165bf3823e9dde795539f60f704037cac8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumGe False Passed
675affc5786970c0cb3001d488700a498afa475d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumGe True Passed
69947ace88d48e8e6b8e90b460522250d600bdf1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumGe False Passed
99ed12922d7ecdf3496c93b520084c363516d051 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumGe True Passed
0bd84e66539079743f6fd98b2d7123c46df61ba0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumGe False Passed
4d330c15d747cff9ccd031e6991269e486bb8589 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumGe True Passed
4a8d9e9ef803c79707d7946d77b8686e98ed4aca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumGe False Passed
1cd8f5dde989f3b6f3931a96b777a976cf9eaec9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumGe True Passed
5f578b7b537153c9545646bd49cdb193ff484a12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumGe False Passed
57b11df6ef7a4218fe3433df0e27a608fb94596b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumGe True Passed
347f7d974cdffdb88ab059a38a05e4623ffa5872 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumGe False Passed
8442c88c0f0b7749e1b457bac5d3ead2913a795e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumGe True Passed
62feed936f742a2d1249fc84ede5b39a86f2677c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumGe False Passed
f5d9da5e46c793d50f9a35b9d758069fb45f123c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumGe True Passed
1f8c59fea9bee97917adde56c1168a70ebf49aa3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumGe False Passed
1cc1c4031c4865e2af1420f9ae78b89075252cae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumGe True Passed
0d2ac5d9f4aaf48624515b604e45d664cc49614a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumGe 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
402963b9ba559b8b390f4facb019899a6da1421d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumGe True Passed
1bbb24a90b73727cf1dd4dfd5078c7c7b42b9aca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumGe False Passed
ab49f902453924a7a9fa7cca7d352785e7aac98c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumGe True Passed
9e2d72d3d3ccc45251bb4b454a5b30c5665718a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumGe False Passed
eacac63e90d69877fc1890814e66e8015bb9722b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled NumGe True Passed
3a12c9c3da62a4d3a9336f6dff36e9577ea746fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled NumGe False Passed
3b8ad1d90965112c9d2e9a287274d1b4ca87473b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume NumGe True Passed
3d863722751cd01c7951588333bc895ed85edb1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume NumGe False Passed
b60ef45308eaadf10468dee91c252f56c950d248 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed NumGe True Passed
859cf645405f0fe288243d6b89603efed319e0f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed NumGe False Passed
b6a5eea588e5676452fdd78c2ecbc8c0c8a4a16e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumGe True Passed
df214af658ca1fbd819d132a638a58cf404be1c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumGe False Passed
43baa8439ea1f7333058496087f93cdb9a1a5778 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond NumGe True Passed
0ea5a1beec0f1d5d4e4815aceb27cc44fbc9a24c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond NumGe False Passed
7f448db8e8cc1f754e4fdd16fca62c3ad73329d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumGe True Passed
7c32756e0faecc3652a8ce008f8519d8ea7f2181 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumGe False Passed
425a5143fc2a206a9c692616072c853908163176 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumGe True Passed
7e0b3c5c8d6bcd79cdf43eb8f4e099635d71e49b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumGe False Passed
9848e036f057bc5757395213f95f4813c2098884 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumGe True Passed
921ca36f1135bc43f3ec54dc8671fd8d845edd5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumGe False Passed
6c5d7706d394153384bfbe565a934aee39ae9231 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence NumGe True Passed
01b708e971406852a3f7d0f9907d23bd2d96be33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence NumGe False Passed
2990130dfa15ac6ceab3c9d983714b277dce209f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumGe True Passed
7623b833bf24d8984707abf60768439410beac2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumGe False Passed
e459f4e95a71756b9b8f12360cbc8b1edc3cf10e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumGe True Passed
01f5f1dfdec8cc77a2ce8e2d1da010a5a925e3a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumGe False Passed
3e05b8161f4ed37f20c0d26af2b485d71ad679a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumGe True Passed
2d1298b41702fd76c14800716d9e7f955354edfd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumGe False Passed
39de0df55c95a2f1be683f98f16cbf3fca5c293f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumGe True Passed
95ec9525e8921c00a99b35e9c95d7c8c80f23214 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumGe False Passed
accf6402bd06cbd62900e411356c14c6ce1b877e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumGe True Passed
fd4f2287249377528ae0c8035f55d4cd316de661 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumGe False Passed