Index

Tests by plug feature NumMinus; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
bbf833a64abf103a9202e4b74648150401833b43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumMinus True Passed
5fad9838d044eee01fbd90918d43df2ee87eddbc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumMinus False Passed
d5674b1ad422ec4becc7170fd74256c869eaff99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumMinus True Passed
c73bc5e1870397fa42914c086791d96fe623e3dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumMinus False Passed
7713a3521f10cec56fb7543b69719f71cb922c0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumMinus True Passed
1001d6e5a36c0163b30bdbdd897391b8a4946c64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumMinus False Passed
5405e46e16309a413127d657438d03e53019c286 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumMinus True Passed
67490307ec0a23fa8ea866bccdf7793ccde2cbb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumMinus False Passed
0b5ad5e0d6469745cda3bf29f7632bee5ec47d2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumMinus True Passed
9f0692d38bbb4868d3a68192c93f96ed765dd313 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumMinus False Passed
e0a42e7cf482184d874e4016b9260408cfd61d8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumMinus True Passed
688383bfd6b08dca046cb3cc134f2133d3d15d17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumMinus False Passed
b922fd8537884eb5861a3728d36e278213f20503 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumMinus True Passed
a2d5b0e57b233dfae08ec94ca8e8e56e272cf61c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumMinus False Passed
6bcb5e29532c0b13acbda924c7be1cf64667479a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumMinus True Passed
c4ba7a74753072595094b1ae7bc7dec31440a55b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumMinus False Passed
b5e81323e204add9652d815f48766c525f0533df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumMinus True Passed
1f7b49e8151b71d1ff62d5cc9c552f2fe2527e34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumMinus False Passed
dfd8b2b7f8b14e03b35aa0d1a447b21000881e57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumMinus True Passed
be46c48552f4493fdd8d0db004e296621f173495 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumMinus False Passed
dfd38d1dd4ece5c7e47b0e0f3696bd16358da6b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumMinus True Passed
63dcd9b6c46dbae1b293eb3ccc61cf78ed3ad51d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumMinus False Passed
805d37a8cddec52453bdc24ea841870c29a1ec8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumMinus True Passed
de95299c4348e18cab7f65e63659cbade30a0d0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumMinus False Passed
91d4514a2c2d83b7f7315c0f0221c5b0351351b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumMinus True Passed
10dea614d3cfa7542e261fb641457cd211742045 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumMinus False Passed
42f44560f6f0f365855b8adfdc71ce666a0c374d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumMinus True Passed
b0f48b337cc33eb2e77f092eae418f9a39110f1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumMinus False Passed
5a958c1acbc5dc83ad12ecd5990ebb646d1b5598 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumMinus True Passed
9fc3ab4f9ad853fc9f8fee5a8f0ee0eb1d311110 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumMinus False Passed
f2799bd0fd807765b1b4968164521104b5a7a8d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumMinus True Passed
b203f293d6a4e58b8d02dfb47ccb2d79eafc5f2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumMinus False Passed
47b3f24a6c6e5a63903bdfc09998f9d89535b173 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumMinus True Passed
86acc5ac86b63df56ed678ee832df0d05edafb1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumMinus False Passed
57e2a44a374562683eae6a75197c6eb97909f4a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumMinus True Passed
679d608c6377418c8b69828cfa91a79151036c15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumMinus False Passed
3306783687d0c114e76181836ab3cbd68501d5c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumMinus True Passed
65c8089e0bb48022b1f1b69595e0e25fbcb45646 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumMinus False Passed
d8e3e46aa550358ad9329cac31d6c6b6cf70b8d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumMinus True Passed
5f6e7e87189c20db73cf8a9999d683c0ce917ee5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumMinus False Passed
c5142d4f9f0377ae227cb2ace22fb28bafdf834c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumMinus True Passed
01432db1a59558213b0b3f4c504b20c58c565df7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumMinus False Passed
59c69c8839acac807267c5e94c837f36c00ceede TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumMinus True Passed
162c5243ab13f576db3acf66c7db39af03324020 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumMinus False Passed
64cc10345bef0b4eb08f8ca17b50f2d694241fc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumMinus True Passed
2b64acae570cd3411972de16085580423ce18379 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumMinus False Passed
be5930171e85e7a207d7755a19c64632faac7030 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumMinus True Passed
7af57f6ae25684266f3e563fde5f1df27ec3ccaa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumMinus False Passed
e291cf0db741c0bca88c52d2c8c5882f6c086d9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumMinus True Passed
13f286bf0bdf9610c5f8dd119bd40535efbe092e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumMinus False Passed
09418cbdea70e076f0c8b82863db9d97566636e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt NumMinus True Passed
4680fe5bb141d9235994d3ce637f4f061bbe90db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt NumMinus False Passed
a9b25d1f383b0fa19a838d5c53ed7d431e4edb81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumMinus True Passed
bcd082b8ffe50c27f5cc4bc044d3b1d7a58ffd90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumMinus False Passed
60a98987aa224fb2c92082dc307f8ae2863d277a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumMinus True Passed
7dc9a08657784c8217a4c4398971f6c6e68207ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumMinus False Passed
e04ad8c78b71594245d96214406e6ca6599e4156 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumMinus True Passed
f5e077f3d957d006f1ca63bfa5d7ac5d0d15b3de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumMinus False Passed
6619a9995ec030207ed7f96e55f2e44d1236e2a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumMinus True Passed
0faa4e4d169cb2c7925fea863bbe7440c06f719b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumMinus False Passed
8dc22fdeb2e2f787a55094103b1a9803e152a7b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumMinus True Passed
4dc3ca0faefee774d200ed277fc61b6ebc7ea176 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumMinus False Passed
d722207b5a178358f3377d1aeb954d8b2b1b326c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumMinus True Passed
d82a77c37d062a9e29d220c0a12cb5556729d4f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumMinus False Passed
2d930727850264052d2f859b221ac6f7950df05b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumMinus True Passed
efbed092dd13ec1040a029f72847c08a469a1dff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumMinus False Passed
cb14b9fcca31091f586760c025614908eac8bc9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumMinus True Passed
a1f2d94cdd7f127753aead5b32a9bd5035e63ce0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumMinus False Passed
372658b42394ec5b85d81de3f9b27c1fbe824513 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumMinus True Passed
471d6f13364a91867a5f3e084df4dcf32d028ad2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumMinus False Passed
595a6b07bdbb7cb26407606ccd62cd26ff7bc7c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumMinus True Passed
436be01e18b329e72f1872a06b3ce2db17f4fa1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumMinus False Passed
d865d9436b959c8e8765c34c086b93fdf2e7f1a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumMinus True Passed
5824d5d7b898cf849cbe86e3620e29e8b1a32d97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumMinus False Passed
b447616a4ea8c8f42ee604cc09524333bd62c0cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumMinus True Passed
10aab4c5eab2ed9ce712896f38997717c0235452 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumMinus False Passed
71e75b758a68ec7a9eac37f39aae3d3e18c5df2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumMinus True Passed
6d2f9dd48fa408cfd84bd492ffcf4c1da5026141 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumMinus False Passed
f406897ed2b51782e7861923643437bbc87770c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumMinus True Passed
f25cd6d017ab0948bb02fdbaf2a3c8ae0c97209a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumMinus False Passed
1d2b1c698c115ed48ad0253dec59c3fa112cadbe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumMinus True Passed
092b440e48a13bbef63f1f32094b9de28c102570 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumMinus False Passed
07afd386a67aa1d5171463f54e8e66b8ecbc7fe6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumMinus True Passed
6daa7b58686f0a82be8e6adf572e6e1f44410a20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumMinus False Passed
bec3ccc6e8240741967babd0864df4c9ba4d249a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumMinus True Passed
3fc67ce76661fa05b95ac4fa3f6ed0e146634ee9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumMinus False Passed
b860a9790991fad5af2c4d9902ce35cd6572680f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumMinus True Passed
7afca66fc68a68a2ca9274f469fea2b8736a903d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumMinus False Passed
38ef47223add0f46e7cdbb12e0e55a0036787f3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumMinus True Passed
3994c6a260fd83eec32ccc98cbcb17997caae65c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumMinus False Passed
82cebcc9c47b0f5ec98e75a1ebc44a51763c0994 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumMinus True Passed
e89514a73b2c2a04df5a939bca5a9f18e4c6310c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumMinus False Passed
eac98440eaddf9e58ec9a6df3ecaf8d2203eae1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumMinus True Passed
f22c18a1c7f8a4780dc7e607a0c3467a501554c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumMinus False Passed
294258d768981e4f85414664266343f229be5666 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumMinus True Passed
6706d557cc5df620b36c7b4211f9ee5893a2a152 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumMinus False Passed
039a254cb4f01902a78ee4e4e83a6b8f477b9796 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumMinus True Passed
addbbef7dd89c9f088fdee58cf2952ced9be5705 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumMinus False Passed
93361f5786ca9b088bfb56b9e206d6d11709d2a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumMinus True Passed
530f78deabfe2d44e55b605e5a27aab2a325c23b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumMinus False Passed
cbe793c0f1d99b5924d3eca42baed2c7a304be5d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumMinus True Passed
0e6d01b0e4a23b70320d036b25bd01a0fad107eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumMinus False Passed
0ed64a16ef326657d13cd3cad75cd2f9653499be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumMinus True Passed
bb2a6af074361e39804d29d45a053719fefa38e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumMinus 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
d7b8ef8d36fb8891b5a193aa1fa91e667c0a421f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumMinus True Passed
4c24e8582f93885c860917a22df2955fa1d17da3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumMinus False Passed
89dc4f3c086ee86963b67098972095ea19be36d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumMinus True Passed
8962c901dc46df03d9da2576f669706fd8f82a17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumMinus False Passed
1e4a7636db9609206ee3a4deb0f775f60e3309a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumMinus True Passed
a8bfa9b1d705aa249ffe31564c33bbc91b6a4b46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumMinus False Passed
c2d7807df8105908f96acf280680d38171cc1a13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumMinus True Passed
5eec0724a8b07b6da936b98298a5756c59d87d67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumMinus False Passed
e6911563900bca8649607b8a4adc8a6949843658 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumMinus True Passed
3e2104fe4c0a6e95f12e66c918cc4d7e3ad5c632 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumMinus False Passed
6e650fd17b2957b9230a56924fe3c6a07e1dd328 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumMinus True Passed
a2c5e1c20a2817c5cb2bbee74de18ec374c73188 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumMinus False Passed
9b940bf798a7af75fa3d465c7e1d26220f69bdf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumMinus True Passed
fb15bff406568a806639604dff4bc7fdbd399853 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumMinus False Passed
a0aad4a70025fbf325fb8594d16cbfdc7f16488c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumMinus True Passed
4b7af47496201b7ffcdab40ffa8b3628c46c674c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumMinus False Passed
56cc0336e9c3ba6c87e5c2cbe3deac0d9a8d1801 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumMinus True Passed
da9d5f8a1009cc7490b8c8c5dff82b692ca63b0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumMinus False Passed
840e25ad34b9e14daa6b56c4e4f74910b1cc614c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumMinus True Passed
4660007e227465846f8d34b3ae629eff8078c20c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumMinus False Passed
fa18038fee77e04ae29c2ce5f1a7c9ad135b49e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumMinus True Passed
066f1e403498c0c16c2bb58969697913943a8ba9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumMinus False Passed
1182e4e28d8043cd48b32af6343c89d6679909ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumMinus True Passed
cf6a150d6a4f95a0965d4a6f889bb68996dad9b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumMinus False Passed
726f2d40fb7ac50994d9be5c87095e8617a20dce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumMinus True Passed
9c18f3747905790387bc982721c17f9ff2f33c26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumMinus False Passed