Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
ba3b37d5e8724437e80aa884fe7a2f1a5c28af02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumMod True Passed
73bb005106ec43774969d7aa88688575f8e2406d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumMod False Passed
afeb85d61887af573a437803088e72732b60dbc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumMod True Passed
4adf15baea19ba1c6fcf588fc482a8e870d58ce3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumMod False Passed
7cfeca28390b69bd2f46fecd21c05cf78ee0e62f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumMod True Passed
a123d28f62aa23cce9f4233af65af90a2e607a65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumMod False Passed
b1807d283d5a9fa26176214bcd8ae4006692b183 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumMod True Passed
dd6116e588dec15613563f39137f8ea5b5268c12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumMod False Passed
1353e77e893456a455eec9a1fed79c164063bf7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumMod True Passed
9c91b48a028b99b38b56eb6cbc275bf6e359ebbe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumMod False Passed
09b9366032c58323533bcb8326e861a016b6118e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumMod True Passed
f2586edcff9deec241c470d27f08e31844f68e4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumMod False Passed
6f50d4ae6642975f024dde538475c0840e9c767c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumMod True Passed
55b0513d649f6186d38b6f049db9d0b0c6fa5cab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumMod False Passed
5ebe20918a5da748965691df883c27d36908b944 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumMod True Passed
08a570526ee98e5ad5f594e725eb7a5955e2e685 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumMod False Passed
bafddd261d1630185c9a9220daef8960904d3480 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumMod True Passed
1c09bacb9ad177ea25748834006d8e240e564d73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumMod False Passed
d2953bcff791b4143c747872157ae7ae6f988588 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumMod True Passed
6e8e205b4c213f8757ddeec8afac8a3588f1df1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumMod False Passed
dd2613f6e83c3135c7745f6d4f9f251527c6ddb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumMod True Passed
2072bd95cd452efa2eedefbb9de3f29e985293ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumMod False Passed
95416ac7614b883f49d46d5133fab44753635874 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumMod True Passed
f30533664a586f96dcecec92d1793ca9aa4728fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumMod False Passed
3cdd38cd12eb2d3fee8cb64a3d2d2b6361758d8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumMod True Passed
ab2a76fe868628691a431d1b57c2cc218ab750aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumMod False Passed
e994329ff0435a9afd677e40311b8e0b25d99473 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumMod True Passed
4120202c2cccc272b4f91d60a9243e3f343988b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumMod False Passed
63c4e85f5dcd81f7dd1cc9ec700655fea9150864 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumMod True Passed
466733cea18e125b2857749f38b362d2060d43bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumMod False Passed
f036d8cc44ccb3bdaaa86122af7cd9717e3c7de6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumMod True Passed
7803a8bd9416107f3114ed1447333fe97102b3ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumMod False Passed
9c430b9b6af8fb28694604fb21f621567d52c2c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumMod True Passed
92781dc64fe2d0ec5f94d5e689c1c085072f3ffd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumMod False Passed
3dc3292b8254251df3a62a7e9a66843d66807d29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumMod True Passed
61a53e12cd3898c4710cade0188d304d92fe67c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumMod False Passed
bd3fb90c4d35158ff3c6a58681e0531d30a7c192 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumMod True Passed
b87c934992b5a3ed6e41de1e8765613895531e08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumMod False Passed
f9e3953be5f5772a28cf8f555f811172735dda1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumMod True Passed
f0457e4690125807d2f104f28745661aae851e10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumMod False Passed
dbb9f410ee2a96ffed88e2c9752923e3bbe70456 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumMod True Passed
07edd9177fdbd7a09b9e4af7c9e3cef773bb29d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumMod False Passed
6a0754c37f78eb8fb747f17e1f15ecf62f2510a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul NumMod True Passed
d552b0e4a60ac413ed3c5459756f9136f1981f37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul NumMod False Passed
6603c8c8271d1c53c542f189970d2ab5b8de4bd1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumMod True Passed
f525e36e69125041652f7ff3362b85e147e5e871 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumMod False Passed
1d330dfa539d639953cba8f54059cc4a83fc942e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumMod True Passed
118355fb6f07c4d95684b76e66e78016f7c2eee2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumMod False Passed
385089b2beedbaf4449e0d8dba64cc6965f40094 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumMod True Passed
847943a41475cc77f893a96dd57860b72ed2408d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumMod False Passed
89a5ba14be6b75417e0a9433270699da7a50df20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumMod True Passed
6ac235297a3e0b95b13a2923103fc7c1f29be4e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumMod False Passed
8b81befe5fac7f70a9c7c11d295df34f269632e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumMod True Passed
2bcef07fb09be5cfd3e33dac3b46c95ae441d78d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumMod False Passed
fa07f095c2696e6819800cbda8ff6b0699296d59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumMod True Passed
9362c12a52eabeb012d8c07bdfb32f2809d0076e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumMod False Passed
0f2c9a07e72b76bdf89b41a4d2dc1e8800a7f910 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumMod True Passed
735040054fa01e551e46df9c6be04875d1311d57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumMod False Passed
11419b8e34870de590cdf7ad2557c97604eae5f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumMod True Passed
7def72fb33211e535488ae4bb956151e6c1cf3aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumMod False Passed
b702997b516ebfdab4c7ef1aa51370c8b12bb90e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumMod True Passed
baf0a5c049fb3d92416391f26fafc07c6ca8fbbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumMod False Passed
6a5cd0689c62b8a4f5d5c846aa37eaa1887ed711 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumMod True Passed
d89c3f6a0cbc3e588cbfc55612fbfded47e6453f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumMod False Passed
f13bed6c343d692e291cbf6c511e4c6edbafd795 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumMod True Passed
610044edfae66055f47a78282d33eefd373e022b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumMod False Passed
12162b70397c5922c8d9838f84830964f4b86e24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumMod True Passed
06b8b86f43f2d4a5d3ec754393e8bc0d3c0e1de6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumMod False Passed
2923e47b98373b8243117310b8b7fb5c90c84213 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumMod True Passed
c23c6f7f6c599043d131f490ae8af44ab91f56a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumMod False Passed
05d349764cf2e90e646e3dad36ca786235b143e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumMod True Passed
8118268764f87bed2aa67bd1a702c63975a4f9be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumMod False Passed
60adec187381f3500d9a50600e5c21458e03d82c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumMod True Passed
2a1f3816a671d38113449ccacc7a0d26cfae76fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumMod False Passed
3528763e2832b6ef6db35a1f4c54a4a9985575d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumMod True Passed
832f30aaa9fe2b0c43583bb5aceee5264310763f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumMod False Passed
0dd9e9383a4a64482e9ffc2f571b5864d15e996c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumMod True Passed
e1a2393a9281633aadc2739a5518c119c1ac7e68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumMod False Passed
8844008aceb53ac56c345a388466c4f762364710 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumMod True Passed
c3aaaa7fee45e333801bbe900bee20431e6bbd7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumMod False Passed
9faf5360ca93bd3d225a02925f28237451aa5fc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumMod True Passed
cf7306244b2cacb1714be225f28cf2543c95ba2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumMod False Passed
ad4637fea7dcab4677f237c84b10966e5edba7c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumMod True Passed
84ee35de623383dbe70450db018b62a326e00c6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumMod False Passed
7668af4c12832a0496c882bceee35bdbb9fe7c35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumMod True Passed
457dba31c534620015e197d5017e4b83b4908292 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumMod False Passed
fdc84a9be25ccced8e52632a903ffad05f0a316f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumMod True Passed
de219e066e3aa31d54582fea0c4133a77e46a63c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumMod False Passed
5cf891c5890276105ef8f2e2ffe35b074552f90a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumMod True Passed
45fc39b33ad2ebe07ead8635d43c1725b53527f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumMod False Passed
a76f9c0c35f57a6d424b720d7e30f68f35f9f790 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumMod True Passed
343c24be04d85b2fa5edd339745a49a8088b5c80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumMod False Passed
8575f7eb535db64f12feafea64d642d1217ba012 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumMod True Passed
08fd10184d81c5ed87319f3e3245b699f4760df3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumMod False Passed
f682dc8ce3b330dc036c6a31191341794e39354b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumMod True Passed
e8d7b29fbacb6c50ffbd25f81dd8bc08face6814 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumMod False Passed
5042688c92836da888d807eecf9f82883346da23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumMod True Passed
c3b622c0157b4d0312e0258bdde46b43837982b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumMod False Passed
e66817b3eaa445bf0e3c96114b3eb6c0554fc145 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumMod True Passed
df7827df0119760529e763358532d6dcbbb6cedd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumMod False Passed
7f65cc87cc47d2ffcbae564b857fe6fd3013b2d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumMod True Passed
78dd99fccce67677383f6dc38451e6bcd0bd45ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumMod False Passed
843848edb23cf219d7c16800318c93dd46839e9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumMod True Passed
4c104af57e0b333d9a2cff1805381fb329f96ae2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumMod False Passed
2d6e3783978c76d4a91bc65d09afab6354c841cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumMod True Passed
0aec681a3d0e4823c1ebe6f0415cbfe07c52e36c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumMod False Passed
38c798286054e69207810298e2d06dfeae2befda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumMod True Passed
6c4e1e0b92d1c94cfb052de3be14253477ed00b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumMod False Passed
ce790342a28f99b5b262f81912fda045d0b6984c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumMod True Passed
10eaeb4f287265b31ae6f373242289f96e8c19a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumMod False Passed
bd00b46069ba6393a07e7c422641fcaf60f2e321 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumMod True Passed
fa89933b41f95583afd55a0585468d928d3955e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumMod False Passed
933014bcb52c0e7f8fb1bf53ffb837ae4108d7c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumMod True Passed
84a15f486a8031750cf287b96ca9db87c299f5bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumMod False Passed
1d831de7b5652c467f082c0eaf22ce0ee1b810bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumMod True Passed
1c62b6c2ad8a48d84583631ce3858c4a90e79b00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumMod False Passed
69dda82a692c19d4c270c2499604eaf166270c44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumMod True Passed
09a4c3f0616aa70f3fe5a33d00586acf0e493530 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumMod False Passed
e2c39521cacfdc32935a3163aebc0c2f59be3062 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumMod True Passed
a5d86ae555487c0801cfc5c30d2959feb2d34c5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumMod False Passed
fd7c06c7e23d5adb58d05ee45bb79d4a0d3e0c33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumMod True Passed
aab16ca56670aab73e4893cc6990dca4a550bec4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumMod False Passed
5655efee41534c9a8985d0103782d44aaceab5fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumMod True Passed
3d7704aba160d05c4c0c8f05f2d18fe189847a30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumMod False Passed
9358c91986c1064af091ce580a236e4cd4bfd509 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumMod True Passed
43f32a8be34ba7280e58acbd4aaf8063ee953cde TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumMod False Passed
8342be7e95e1e4f6e2b76f0f7a75ed3a975caf4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumMod True Passed
1704913c7862ca63321fc573d0b346ef73202fa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumMod False Passed
95627b366d4f340abef1178a051d08968906bbd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumMod True Passed
24b7669b5c56adc219ed8c125c816dc183d42fd1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumMod False Passed
1dacbcdc6af6cbf2989ec93c495939a411a8f474 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumMod True Passed
47eb12f79c9f5a8c3f7d453b21cf113fdeca4018 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumMod False Passed