Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e558b62dfedb901d943cca29e0bd5ce744916b59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And BoolTrue True Passed
ea24e40e4504f1dcf94fa12c9fff39f2d24e45c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And BoolTrue False Passed
339f073edd0f0cc15965dc927395d7fd08cf4d6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine BoolTrue True Passed
8c2f796ae0df5e574bcc326ea44647974206fc1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine BoolTrue False Passed
9649a8afd90b1d64391585374dee94e85f598c16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply BoolTrue True Passed
8bf2ada272f1b3544c73b116408b9b008c053468 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply BoolTrue False Passed
c7cc983fa1ca58df6e9d878a5c6dffb9929f2bb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not BoolTrue True Passed
3f16dcdcc9e8a39e7985e0f3a73901a64c301c17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not BoolTrue False Passed
9f09c3219c96a064653842c3d4bf471e16430abe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or BoolTrue True Passed
2fb574df686fa65a987337c1d5cb3d1e6800c958 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or BoolTrue False Passed
3a606fb8d602eac4860a1aa56986a16795248f32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine BoolTrue True Passed
b62bae9c517c03b1894e62e1fa087a99f709babf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine BoolTrue False Passed
ae610d928a7ae55e201ce3993803b9aa731942c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp BoolTrue True Passed
b25776e73c588ceb1c33fb959cd565349450208c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp BoolTrue False Passed
2f6a880f2016a0090bcf845aa7df4f816f20c835 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed BoolTrue True Passed
bb144b519e6559f3990a4d369275d0d6e4b07b6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed BoolTrue False Passed
6f575765ebd327948b18f7e581f7845eb9419e20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BoolTrue True Passed
f11f82411aeecaeaf1e0ca466d4c513292292aa1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BoolTrue False Passed
d3d339e2701ce81236f2c1acbd3a05a16eed425c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BoolTrue True Passed
eec8608626b3c87fa4b62db8ffd07a9637d6f6e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BoolTrue False Passed
b9bf3d0a60c77c7dc4484f658d3a90cf36945551 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BoolTrue True Passed
a253801da6378d0df5266db0bdfde5a491beae5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BoolTrue False Passed
f449d8d48c85eefdb55004a978ed6015ab7c2566 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BoolTrue True Passed
6f3789089cffeb890c525a29030686783ce99755 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BoolTrue False Passed
77bb9165b8d53fe7e0731083849ba93104407560 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BoolTrue True Passed
52e16acebbd5977f4dc0e67ceff9946da62e83fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BoolTrue False Passed
677bf64784b71c7398a700d8b35665cd2a663b3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BoolTrue True Passed
82cb1f37d81a7a5565bc3020b77c543712f16646 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BoolTrue False Passed
a127c9c56c08635c9a37ed96da8b505d97942ca9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BoolTrue True Passed
baa91066b0cc3e52bbc3e99d048f31eb45d0cd84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BoolTrue False Passed
d7f18b26cfb151d2e60ce791751e91fc8265c9ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BoolTrue True Passed
fe9caec8396af768a8fd3d9133a03f970d66111b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BoolTrue False Passed
f0773fe54cb6eb071904174e402a59451c686bee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BoolTrue True Passed
fa6fc69c3f02762d9c40220bacaec0a541157c07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BoolTrue False Passed
e8866e89d523b5ce1060fb6bed661ef3be45c923 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists BoolTrue True Passed
5524d928f75ad7a9d8067eb4c4d2bb75c6d167cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists BoolTrue False Passed
82bc106c6252c51f9d38ab9aa3b73faeca8d6df6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall BoolTrue True Passed
0fbd8a5da1b244983dadb2e356f08a8db0b68a39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall BoolTrue False Passed
03cac4c79ad183cd03d6c26fafe4991a03d45bda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose BoolTrue True Passed
995cf19ccd674ca987e8f478d2b412b1f716afba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose BoolTrue False Passed
4bc8c65bcfff0080e629b9691bec7ac8bdf8e3b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BoolTrue True Passed
d4a3fb0d24398470062766d7588eb73e002d7bcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BoolTrue False Passed
94be1e854717104ba0960fb9e3ae0a2e673c6b67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BoolTrue True Passed
a874daa631cab8780c7c38791eb69fe01a752c96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BoolTrue False Passed
dd1f32bf7185bb619b1c5f1d6222664bb2736d0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BoolTrue True Passed
42d480fa6857a27321b82eee634db73a9bf07262 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BoolTrue False Passed
8e6b550ae08da3451fe000508897a61b14cf1111 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BoolTrue True Passed
bf393bc0c9e33ad282275eb78fa8bbbb6a556485 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BoolTrue False Passed
9ad0529e4a260988a209e69db1f8a17fae98f12c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BoolTrue True Passed
635fa7ce55f92ba5710a5d0a6d9ebe048364db52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BoolTrue False Passed
0fc1b8eb98164f2f5734013c5e72db8b030af029 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BoolTrue True Passed
1a617b9eedf0c4f5bb1fa9e48d9f924129564fb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BoolTrue False Passed
733accda40f4a7c18a3fd7258b0eb13506fb3721 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BoolTrue True Passed
c273d49ef75937fb998947cd70277c3f1c6b5179 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BoolTrue False Passed
350fd2ab851b7e502a907dcef4c5a493141dbac7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BoolTrue True Passed
4e2f2dea77a8e1dcc54d48c5418f44df043e13b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BoolTrue False Passed
4f163190a7bbdd7253b598144acdbc0b2c10a252 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BoolTrue True Passed
3244ed8fbaf8c117e58d48506c8de5c39193c196 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BoolTrue False Passed
d9e29a7a5e0d21613d30fa6d8b51d6cf61011e92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BoolTrue True Passed
c5c14d9384fa835a88c9980f57f11a30bbb77986 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BoolTrue False Passed
69fde52ac02412e972677892abb02fd4363f0485 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BoolTrue True Passed
26b242c4f02b50759bf5875e19fc4be716d3fc64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BoolTrue False Passed
e164baee80ff2cd47ce9b7c4d79fdbb510f3a9ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BoolTrue True Passed
f27f12e909761264c126d7e97f9855f620b5af01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BoolTrue False Passed
8eb932f9e1ea32b2d537fad84d4f23eaaf799905 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BoolTrue True Passed
3864b750ad15a6006ecce124550c017cc8582b53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BoolTrue False Passed
9f0a21b08a065e1795957f23bafe3580d5013c6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BoolTrue True Passed
5d0e974a69e5c3c0b5cd761880322591ecd29fc1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BoolTrue False Passed
92e607cdc24fc3b2fa789314489f9e2cfec7bc3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BoolTrue True Passed
2a46c0e3be83b73134b075910254aa77ce864e23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BoolTrue False Passed
0d77fcc0f9187e1a8cec343476b8486feadf6554 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BoolTrue True Passed
b3f13503e33215a8d2682c894e2a7bedb14ecb99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BoolTrue False Passed
6498fcb4797c79a10dddf2bd60b8e0bebaf0fe25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BoolTrue True Passed
54528d9a2b70b86e0e111066cca4248639f03eab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BoolTrue False Passed
c5c9bd99c3b44bac2ed085ec3c17ccebe9ca000a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BoolTrue True Passed
19ebcdc469cbf19cff887fe496b039606338932c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BoolTrue False Passed
e31c6a32a1dc47ab64c4503435c6832961f75dd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BoolTrue True Passed
c01369599e2d68a85e58d5d145abc6d053f0cacf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BoolTrue False Passed
03aea8b5153d0a7a81cf11c5c872c401ca756923 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BoolTrue True Passed
9337227b1bfa18c3f43add909b1674654845981b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BoolTrue False Passed
6c02452716fb4dafec9e5eebd7e460720ded770c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BoolTrue True Passed
2b8fff63432513132a6878dcb3a85f9d7bad86e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BoolTrue False Passed
236f6d829954b00008286241fd0640f22da05371 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BoolTrue True Passed
dbd354185fefa927c649bde55675f027e3ed8d26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BoolTrue False Passed
7b7dbc5460863e5807841821c9a3dfb6e7d457a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BoolTrue True Passed
d904b8b0e688355bbbdb291d2f69eb070943ca3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BoolTrue False Passed
3108d6ce2fed830989be8e8bd0db0fe3e181e038 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BoolTrue True Passed
6119200d9e7a8e214332e9dcb5d51046a85a2485 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BoolTrue False Passed
0302b4a725c8e898e2a1be127fddefd3dd7f0716 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BoolTrue True Passed
32ca9ec5bd8760cb63dc627a9d49c6e998fef339 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BoolTrue False Passed
cfe62b882eac3a2c369f0cc5fdc2f8b5dce50473 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BoolTrue True Passed
13afc62454b677f5fa2d1605d08fab9beaa769a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BoolTrue False Passed
c329c9010502b7cbf3ef73547662792f305f5202 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BoolTrue True Passed
099ffac81b930e2f320a059a4bfab067209b5ce6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BoolTrue False Passed
78eae4b312ab8e01d5634329de1928421d960dfb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BoolTrue True Passed
b3c730aead18de8279154adc6057286527519aca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BoolTrue False Passed
9b45425c8304935590904f996d8de52594ec92a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BoolTrue True Passed
6724b1f2c85f4869dfd0f044992e1d5f516ac4f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BoolTrue False Passed
be85a3969e34bc34ca6128e3b087a0a23c2e966f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BoolTrue True Passed
e94319fde3d3e733dc679807f8bc08c2bc7f102e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BoolTrue False Passed
cdcdb62ee98215b77f93986bdd99f20e04fca695 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BoolTrue True Passed
193e22e549b1508f305f36c1448e531915fb0373 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BoolTrue False Passed
525f801d3c60a15bb70710eb3901e2eb1e1c36df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BoolTrue True Passed
c9ac6fc91ce4f04f91ff2535adaca6e66f5f4e4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BoolTrue 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
aacef107d4163a37ba68341ddcb93b8138da19df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BoolTrue True Passed
3ee67d40359cd86bb0a28887269c361d2d60810c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BoolTrue False Passed
c2d2b4ff096beee3c25a8959721ad99389fa1a61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BoolTrue True Passed
59ca5992f7474d243ac59fd8cef3eabf69443c23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BoolTrue False Passed
6c9d4b61dbe014f89336caeba06eac80898ea3a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled BoolTrue True Passed
ad38a059466e10a7ede497c5556b445a24af72ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled BoolTrue False Passed
8fd0be10f97cc5bb1b4026a0185a264eba3e5cdd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume BoolTrue True Passed
2e8229208a790449a34f389ea72dcacb85fe698e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume BoolTrue False Passed
ef7fe7161fb50a0ea3f4fa90cce16bcc0ed32e41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed BoolTrue True Passed
f65cdc683e34ad845ac4fe11519c8ceeffc539e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed BoolTrue False Passed
b0ddc1ec738691980860e6a0264037213cfebf2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BoolTrue True Passed
508641c7c424c50f04c47af20c802c4391c8cee1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BoolTrue False Passed
143e8ce9279858a44c568a0ed7f56694b3b43b41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond BoolTrue True Passed
1b16be17476ddda1c71805c12a3c4348576d3378 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond BoolTrue False Passed
d51de2f7cec2d392db940b61087ab6507e887e14 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BoolTrue True Passed
e6d5d5d37b12b1ad5e17d6dfbdfe0cd4e6335b0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BoolTrue False Passed
70a2fc4cde7c2aa9c847eeb6479dfff3945baa2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BoolTrue True Passed
cdedd16d2fa7850ef4506701d3d3ef59138cfcc5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BoolTrue False Passed
aafd789ee2375c06d67905ec9594710bd4c084f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BoolTrue True Passed
d075724f996b4540844983a62f318cceff10dc17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BoolTrue False Passed
74f7e6821a05212171f6eb3774c62de26f009de3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence BoolTrue True Passed
304f839b86a56bfcc230a8a80ad3fb3aabc1cf3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence BoolTrue False Passed
3dcac2e24633557ff650bd41e9a02da25b5400d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BoolTrue True Passed
216e6422e2e092dc978366b1d1375dde09561144 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BoolTrue False Passed
d5ed83e7126d41a50ae96c9000e8ebfce93c2535 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BoolTrue True Passed
6b8c9dfae0dac8524f75071f62809ad7306e6ffd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BoolTrue False Passed
20bd5cab265fe683398a5278709ace127b0f4cb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BoolTrue True Passed
d33794d78da92ecc21ac29242081dad67169805e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BoolTrue False Passed
8a50e4d2f709d516f5f5c738020730d19f177a40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BoolTrue True Passed
ccc7a2eb89b6dd7ae12277c72f33ce7bc0a854d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BoolTrue False Passed
fce574c00d5e001c35e5d711a29b70f0b4dae246 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BoolTrue True Passed
95b08c16d2ef8f63b075ac90ecff63a69ca2ddf5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BoolTrue False Passed