Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e07cd7c11645ab63fb560955dc8084122b69b85b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And BoolFalse True Passed
e4d7cfdf26bd093af5451497b03480ff6579f933 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And BoolFalse False Passed
2d2f854b99ff5238ac70ca677d10bac23e70280b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine BoolFalse True Passed
f61174073a75bc574667bd9b3b65af5e9c17d400 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine BoolFalse False Passed
1a379aefa2b0e9938e4ad98f83a73499c4eb7d17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply BoolFalse True Passed
f613ad1b1e31671572784b22c43ca9e311d019f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply BoolFalse False Passed
2da4102277aa87ab0f5cb0e896f4cb0d77a7b0f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not BoolFalse True Passed
806b12e699698a99a69af8b71f2d533ac9985695 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not BoolFalse False Passed
b53e14de037aae505dd7def500b7fad91f58ff8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or BoolFalse True Passed
b7bd248ff61621a30abd3b9743d0b1b0005f6655 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or BoolFalse False Passed
3240a8dd9d3dd5c3625ab7f552fd0a26551c0b00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine BoolFalse True Passed
5c4c8af26062b80cac9ae8c40b9c698e02cbf4df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine BoolFalse False Passed
f34b7441c9e25a5f28d672439a070cc4e8e2c1be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp BoolFalse True Passed
1be4c35440bcf47a9b2ae78253d9db5f80ecf7fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp BoolFalse False Passed
5e0eee71cc921f7fd29ea70df75acc97a5866b59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed BoolFalse True Passed
0e8fdfa04063284ebe02fcb594d38a79020df487 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed BoolFalse False Passed
ed332c398024356094ad777b99f8446d2c585458 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BoolFalse True Passed
f1a1c5203bad3e66da388e08b9c49e1c3fb9d794 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BoolFalse False Passed
46f6fb1a5ae63e33200f5cdfa8286bf9cef402f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BoolFalse True Passed
017caaf95c56f03248f6a31b9bce56313d316f17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BoolFalse False Passed
a60aa37b304f57425d0437ef6f59f43267845119 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BoolFalse True Passed
70a861839cf389791bd9e546165c55fd04fa1181 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BoolFalse False Passed
aa8afec54c1665468d60e41898fab3bdf63a18ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BoolFalse True Passed
3a4378fc3656dcac6095f1a8b1cd3870d833f365 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BoolFalse False Passed
b0916f8e97b59496a9dd9f30fdf933b867e9d46d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BoolFalse True Passed
aeeb7ebd1d2d900aff1bd564362ac32676e90c7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BoolFalse False Passed
c854097d430b7cfd3fcc1694cc1662eec0f2ae8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BoolFalse True Passed
b2e1b3f50ec57abad51f0d2a438df0ed09394310 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BoolFalse False Passed
47f974eba1f73b803251dd95a43242cf651e7147 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BoolFalse True Passed
49334778ac5ab57dd9a7f0ada80381cd351c87b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BoolFalse False Passed
40ddbb1ba1b720852b9c1ea9c3d5e0a710245bb8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BoolFalse True Passed
3b1a61e170337f1fe47de9ab10dc4bc227469a9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BoolFalse False Passed
d07de205103053a314d9503e1e04244a26949d39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BoolFalse True Passed
67709253aa7c0443d3f8a38d23b8be31a31b977a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BoolFalse False Passed
0ac303c5157649b67d149a929671df9c842b61ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists BoolFalse True Passed
73a14d0031af9b1a2081b9a342c2ad8cb0633f84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists BoolFalse False Passed
99694a2d09ec62ff304a44036f747373da7c7561 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall BoolFalse True Passed
2a70ff2b12d55e87608c3c582549213d45051abb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall BoolFalse False Passed
bc63396f7af9a3f3f8f3e90543b907952691f0a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose BoolFalse True Passed
36e36c7b15d1f32879c5579c213c86b8a862c8a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose BoolFalse False Passed
90c22abcff5024ee3274e21a960114d925a1539b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BoolFalse True Passed
89f71f944053c7c9145ccb73b849b70aeffde91c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BoolFalse False Passed
e24b3950798ce418d0d4092b91ba258cddec49be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BoolFalse True Passed
7a56748e71199afc79fc1c6715502a5513a64cd9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BoolFalse False Passed
6a74098080f0cc3275072f8ebd21cbe6a418d0e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BoolFalse True Passed
cddd8fc1e1ee68425fc2dc0b5c1cae38c140f960 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BoolFalse False Passed
586fc49c3bca7e96af50ebac4607d2af609c2403 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BoolFalse True Passed
e3b6451f9c1f17339dce3e0f5916cddfc1d0805a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BoolFalse False Passed
3d370280fbc65ba570f55a3d7a66c3e1ca016a6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BoolFalse True Passed
2e74f16fac6b1c74ff399ef47a001f1809edb91a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BoolFalse False Passed
5da656dcaf24cb22c5bac87e1402e122a9858322 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BoolFalse True Passed
1709c5b551fbaaa7a4cd5596e2579ceeb0c64761 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BoolFalse False Passed
7cbf5d5dc60bd6e4cd0b380e03aa5bd76d831fd3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BoolFalse True Passed
9b0a1440b4ffd698f81b038b2455a55db905c656 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BoolFalse False Passed
aa47e46c97a74336131de7ddff3de1a5bb9cb487 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BoolFalse True Passed
db8e60b590980f1d820741f1a5a978f3ecb01883 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BoolFalse False Passed
6f27fd1565ba7adb3824b4e9d4047bf60e174f73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BoolFalse True Passed
beebc371d9a5230cabd425f3d5d80919aa6f45aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BoolFalse False Passed
25de034e398db8dd06e30fad0aefc94740288fa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BoolFalse True Passed
6d674b7f5c9cf62d10cf02c02d74cbf6dc856b20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BoolFalse False Passed
3134038996c5df513fb22a5612d18bbc53522478 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BoolFalse True Passed
0f13e7c3f5b71c37c3180b7b8c09085497c6a2b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BoolFalse False Passed
8ba294598a72bda805bcd669c43b0050efed89c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BoolFalse True Passed
1a8c7bd700281416a7ee4105c8c4f8d706eedbe7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BoolFalse False Passed
a65eb79cfcfc895705bbdfcbc26cc56d3e8520d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BoolFalse True Passed
151960102b743995da03033112d923b2780bf7dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BoolFalse False Passed
b499c7e85a537248db29f0daf48d94275f4f2039 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BoolFalse True Passed
6c309ab5732d4226c2a5696dadb4c5b1ce200fe8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BoolFalse False Passed
af441f2a037da474763c13a16b050b8f91947011 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BoolFalse True Passed
15730aa2b352f4a71d7d2eca115228ba143f2e0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BoolFalse False Passed
1d1d46f25f1aafce7d52cccc4695d838bd7f020d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BoolFalse True Passed
4acf92a3551295c25d0f795a9dcaafa3ad74abcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BoolFalse False Passed
81fd3d64823f998779ccb5efee1b997c6ef1df08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BoolFalse True Passed
0e81bd4f2f1b8add903bc5909885b02746344e7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BoolFalse False Passed
da05ebb114828bd3cd586c8482da570912515418 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BoolFalse True Passed
979f8346a8a7cf85484ec05a9821e334a9ec0ee5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BoolFalse False Passed
b538b8b6d76b344c3b3f1fb9e934bbc48560f497 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BoolFalse True Passed
bf811244ba34ca1d4363972d4c9a8a37ff00be39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BoolFalse False Passed
440463c922ca5829315b1aca234f9cc3692863ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BoolFalse True Passed
58d5abe5ddb99e822746e39582ad81b92d53f23c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BoolFalse False Passed
cda0b1cf08561a195ea5d09957bdea120f712e67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BoolFalse True Passed
a7bda7ee3d32b7561c86f21162fb1d422f8d1a5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BoolFalse False Passed
353ee656a62d752f8f0d8d558998ece25b900a16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BoolFalse True Passed
2035166b1fd2d6a3d8704734abeca4fe163e2819 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BoolFalse False Passed
de20ae06f481f241ea81e98cb8e5c5f6f83799e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BoolFalse True Passed
398421ed80dafa4599bf6e3f8f73a748ef6b4ba5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BoolFalse False Passed
a3babdf51c48dc87615498119ba310743e886965 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BoolFalse True Passed
68da2bf53c8433b3e47d8928498cdc19945c3866 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BoolFalse False Passed
af4d24b89cb6f4551b13fc55d84200c5da43b654 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BoolFalse True Passed
5dce6116d9e841b54c5044b79d1b09ac8ef6cb41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BoolFalse False Passed
79656c3154db38429de649f984e718b1dba7af0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BoolFalse True Passed
130c591bea824cfd337648c543a9d61cdf73a366 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BoolFalse False Passed
e30bf6616a6d03c62d14ba55e4b4f27979382d5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BoolFalse True Passed
f07ecbf2523f80fd79f950e12ad1af510f4a27b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BoolFalse False Passed
7b0583a48e5fd6809f3950a11fa16af8243ee008 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BoolFalse True Passed
891a3973270eadc55fad88fc58d8c78fd19adaf2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BoolFalse False Passed
6a23ec2588b4c8f5c956ead135d393b15a3675c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BoolFalse True Passed
e5d3e3b1ea32d5ec153855e38e36e7428bcc4693 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BoolFalse False Passed
91fd7ba0e119c66fc8db0966975e7f898e5a9b0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BoolFalse True Passed
95d7cb76db667d5ad84353f1dc88d648a97f6ca0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BoolFalse False Passed
ecb49706dd310ba1dd29fb6d90548b65574e86ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BoolFalse True Passed
b74c01dfd0b4c1221fab2f3b5675993872aeffe4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BoolFalse False Passed
e26126942634a25108c78776077616e0f8536d0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BoolFalse True Passed
8aa3a723728df43a24195dce11f63ca58ea02f18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BoolFalse 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
b8fdb8a8ff80a3fcae21b7d704055e6002888bf3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BoolFalse True Passed
e52c748965da70ef094638ef14899de9c2d222b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BoolFalse False Passed
9612fa1c0482c202a011936a2cc3db42af9a3010 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BoolFalse True Passed
72091b42b39e0485b41c04173f035c2298e45b9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BoolFalse False Passed
dfde9cd9eb607070959d940dee5927dc1f1cdadf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled BoolFalse True Passed
3f3bfecdc841c8823ec9fa2630e43ebd21515ee1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled BoolFalse False Passed
bd9b675dce7b302b6a959426b26196134c2a740b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume BoolFalse True Passed
005691a8f56e2330cf3b70458cf9edb2b06a9d0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume BoolFalse False Passed
6daeef4ebedc583da07ec3138eacc1d50c986a62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed BoolFalse True Passed
fd69f9d5fb79f72d9f67e7429f2f2464900fc905 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed BoolFalse False Passed
cba615f98bac9a377b560e1a3b195d242cfb473a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BoolFalse True Passed
7200244a050e43baabeeb3b59aca6e3e61e294fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BoolFalse False Passed
c9a5d97367fd32f6b16577583a251fb8e857db13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond BoolFalse True Passed
ae9bec62ddc9d02a6de89ed4d44d65ec2c584a78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond BoolFalse False Passed
f4d6dac47155fb11a508506567fbd2ed83ded317 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BoolFalse True Passed
518faaca974d0a83eecd148018d066c7a96391c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BoolFalse False Passed
d7c709147152b76c49a800aff49637a658597c76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BoolFalse True Passed
8d43e0b6dd9e9d2c8114194897f29dd83223a7cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BoolFalse False Passed
19361805559d1802637d2e27500711cbf69c698a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BoolFalse True Passed
cfe4a529fb8f3d8e72ccbb73921e6b54769d9687 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BoolFalse False Passed
874e2e560ebda64123443f6457604da35e0ac27f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence BoolFalse True Passed
7d1abd282bc57a543c2507602516c6e6d55e6520 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence BoolFalse False Passed
7b51b11e4ac77bd8b3575bd0b1b1287809442cc9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BoolFalse True Passed
cd1cd8db479ac5a4ec4160b412b7eca2a75adf2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BoolFalse False Passed
f1b21ab41a7126426f9be5e4c165f25fa6ab75d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BoolFalse True Passed
b42f22bdbc8959cdb6940294a042089147de6503 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BoolFalse False Passed
df0f5a22ac8ab5ca9bdfb4e362c91a38119bb647 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BoolFalse True Passed
374677b7712ccde41ff34a55db6aa95401a831b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BoolFalse False Passed
da6b4ac6cbf107eb90713fb38e6f209f4f9766b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BoolFalse True Passed
9ef6a77f08f73b8d2df0fc0afc6d25264ff936d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BoolFalse False Passed
b67e63f66edec2671046b2ca93d98b9a97fccb04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BoolFalse True Passed
f4a15582abd1ea3c335ec62183c1d3c46b2af290 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BoolFalse False Passed