Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
119baf574bf2909351cb1ad196ea69257aab0418 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SeqLen True Passed
771dbe6a9df0c560809c0167c03ee7cf97743703 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SeqLen False Passed
8513e093672f08103e8fbcd5558efc7f16273228 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SeqLen True Passed
6a94478245f99c8235eb886872b5516e06add7f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SeqLen False Passed
2edb604e85cbe5c69bddf9f3ef03d9675c20b1c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SeqLen True Passed
ca6b234d89824e7faef19049356ee9243eaf2d81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SeqLen False Passed
b4e0ebb01ed0c2c40a0e0b7138e91db8fbec5e70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 SeqLen True Passed
5a65e2213750dcb0a40944a8060d049269a3ac31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 SeqLen False Passed
89ab0199bc328f75583e717e07dd5725802d64c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SeqLen True Passed
d7c6e22923ca6f4426c9ec9b0eb9e7912bb2faaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SeqLen False Passed
19b4ee4ddb5a3e87776572028ce0bc949face9a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SeqLen True Passed
3a6ec1e29f2920ffc82c7ee804055518c3b7745a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SeqLen False Passed
62f6464ae7f655b0cad08b5a8287892ea0acae62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SeqLen True Passed
a47f724660207d07f3ce77097976394a67022d7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SeqLen False Passed
e7a50e6aadc6155bd468f6dda28c78e05935f655 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqLen True Passed
b7b01eebd73d6707f307de82556e52f3b91830f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqLen False Passed
2467a642fdd3f00f066f76d04ad53ec45620434b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqLen True Passed
db83ab5b704ec4e6aa6ac5c3e999064ec2a122b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqLen False Passed
bfb4ee3165185a4fed266537b89d36f80bb84402 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SeqLen True Passed
6d30a970647fd4ec442352cfed4326e6cf0c06ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SeqLen False Passed
8a183b074ff0264f542815542e4028d4649f7fd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple SeqLen True Passed
b9cccf05f2aa6d0bc5f3befeb2483b8342c9c898 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple SeqLen False Passed
cdc7e7ca99a9838c1c3d7ea1db7d2971ea31c91a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SeqLen True Passed
d468b8965f57ce536ab056e3f5bcea1abbc64e81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SeqLen False Passed
0ad194acc7a12c57993959266bc2bf82022a3344 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SeqLen True Passed
8da5af11605c8c69d6ae2f4aaac1f737b40bac86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SeqLen False Passed
80df244ac2b5046d33e660a33ebf9b640d21ca7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt SeqLen True Passed
2e47395e258a641c5c1e186a5f7279df09925e08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt SeqLen False Passed
d10d91c51c863e62d6c2a77023429d1e3a57ed63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SeqLen True Passed
3c9cb6e645e97cd928081642901ec6c3dfe71a01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SeqLen False Passed
dc037e38414b5fcbfe511612fa57b4030920192e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt SeqLen True Passed
2a92a7e4325e5c22764121a8b1777733a8849e36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt SeqLen False Passed
0cffd96bf7cd9dbeaa8a1a58409c0b1d8f76dde6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun SeqLen True Passed
0a4c6fa0bc665ba6f854ed993917e52c54a6dcfe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun SeqLen False Passed
e6b5670ea6484268d221630aabc67fca8e82b8db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SeqLen True Passed
1a847801f2f2fc9aae8f1e9539113cb85704f16c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SeqLen False Passed
a2e5fca4dfded077ba802957ce08f691592c99da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus SeqLen True Passed
a2ecdf8d4596fb0e5f5b5fd837ba3ad2cb8d4edc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus SeqLen False Passed
0f5a2a5e070e18a23ff471f615d02350a6bf51db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus SeqLen True Passed
25e6cb4d9d45a6ed2fc1a83b9d02e1b3e20d460b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus SeqLen False Passed
aa3611b4fb56b1fca75f37aa268ff6f2a3c86366 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus SeqLen True Passed
ce518e08f8b85572b9f314b011bea9ed84e000c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus SeqLen False Passed
d59cca182e791decac60c5f8ab85015915283627 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul SeqLen True Passed
4d2455fa70cbaffb778996d30b1bdd0ff0e2ad51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul SeqLen False Passed
4572625ad80b7f376928d68868fea9cc2eb7e433 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv SeqLen True Passed
d3c000080833f95fef636f3973ddd316bb308cba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv SeqLen False Passed
8d0897c92117315190824077f19bba017dd37b98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod SeqLen True Passed
36abdb6d212c2ebab71cf29e79c480c8021eb7bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod SeqLen False Passed
d7dede9bd015b5bc88dd20a36068d58baefcf959 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow SeqLen True Passed
be13f41cb1e47529b8cbd225a05d3f4db81ae4ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow SeqLen False Passed
d82255694a274156d6a71c167a7501762653e12d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt SeqLen True Passed
05c6d69f3756778e4b5badd8e35d53f2bbf4293b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt SeqLen False Passed
50a25d56544f1c40c78968969d80f9c86ef60bc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe SeqLen True Passed
e0609a32969590cec19ac1edd0dd3ee38d5e3923 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe SeqLen False Passed
495995289b98e2120d6ea346bee437c396383138 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt SeqLen True Passed
74d8e8bad46c860bf8d5c7619a147a5e85948be4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt SeqLen False Passed
811e20cb16bf90ad1d0882aa8b41c6bb18753f8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe SeqLen True Passed
dc401eaf590c71561f7dd0b24ebeb76d2c209ea6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe SeqLen False Passed
2d2516a46ee29e9d7aa60742a43708afdd3a3e5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SeqLen True Passed
dcb899739dd822461ff11e16e5a1c185e9a836bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SeqLen False Passed
74d521492170a20620334b01a9ca872ff2134fd7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SeqLen True Passed
6c85f1aeef283a1819535bc66d67ccd674806020 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SeqLen False Passed
d68902c2acc0355de1dfed6db06ea9623f94e2e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SeqLen True Passed
69ec428b43cdf2a1e35b3cb10473d26fb5dee300 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SeqLen False Passed
4d977b8d6464b1413d3d794b752565fe99d824a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive SeqLen True Passed
1194fb65362ae13e82b555035c8976dfee151331 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive SeqLen False Passed
51b64648486f4d4c37d85e41687be1d343777970 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SeqLen True Passed
5c32ff3e1a5e2d341aac3b065b745511ca1e647e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SeqLen False Passed
98c8050305fa3b4ca4d515d33f8099d5e8984d01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 SeqLen True Passed
4cfc1af76941965da6890d4c05b67af59f9c8bcc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 SeqLen False Passed
f22dd6cdbc71f552004c436f15c4ee574948a274 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SeqLen True Passed
a3fdc891a63cca93d79be8386e06184612a6a026 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SeqLen False Passed
8d32c3821443ed3402cb486791a93128601e1c32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 SeqLen True Passed
c5adb027996a02fa3f4331ea175ca6e75a50abb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 SeqLen False Passed
aa9441764a4258dfb64ab9d3c106064bc2563f33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SeqLen True Passed
7eeabd9b6bfcf3a1253b786f1e6d604272d84d2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SeqLen False Passed
e7b7a363510e8cf12545bffdbbae2d8953a1a8a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 SeqLen True Passed
572e6e70f7c6e39d37f682b39c3e236934fa8e68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 SeqLen False Passed
5c3157cf2f1295f7029f81b54f0513fc5b788941 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SeqLen True Passed
f41296a0492e1eb9d6223c0c7227b2c07883ee5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SeqLen False Passed
5c9c5d5fcf892456e5028c789068e77928fe14e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive SeqLen True Passed
18253d6925331e70e0c0c34ac914c7b4cb83eebb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive SeqLen False Passed
ca32af836122c428ae1dbd87ad16e73f220c1985 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends SeqLen True Passed
3275c5937292a2f3766f54df24503f94e0caa7f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends SeqLen False Passed
0f0902ab04dd5d103140097f49ed6ff83e1db770 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SeqLen True Passed
e065450c44bfc13a922581abff345816eb72f141 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SeqLen False Passed
3d408bbdb376e9a4a0a6ebff0bec15f1724a4b02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SeqLen True Passed
5d595f10c2d9cab4ae7115336e0049db4b1c10f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SeqLen False Passed
44379721747fa31960e740b1b45e8cc77d5f65c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SeqLen True Passed
d34a889e2edf8eaed9832f3950348b776cb02641 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SeqLen False Passed
fceeda3be112dd32dc03ab9c7507f20593a02661 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant SeqLen True Passed
ffbc95a6c1c67080533beea6fa3aa60240bd60d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant SeqLen False Passed
9f337c52f56d1e39d7853a055c41cbe659be3b88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SeqLen True Passed
7e8633e9045a72513668ffcf312075ad87a59a3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SeqLen False Passed
6583c21f86433d3ea8f393fe4ea2f59220b16519 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SeqLen True Passed
27ff62ebfd7a3127f77c6c06955db454a17ca83d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SeqLen False Passed
30ff8ff32f1031491e909955c7dba399717f53f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SeqLen True Passed
9c436c4508a1b1bebf52fcdee84636a205c4b219 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SeqLen False Passed
bebc410368306a715939ec955171ef7d79b2330b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SeqLen True Passed
31b30bc787bb0f1a30350d3f5b8516753b42d767 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SeqLen False Passed
29af899c5c7384d183183145bf30614130849abf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SeqLen True Passed
c8d5b5765612b55684cb02a3f169bc246e63ccd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SeqLen False Passed
b635331abe75c6339cf5958f0df86802be3e5c68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SeqLen True Passed
ce6ff90e3e658c4c27692a93d08d955aec74068f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SeqLen False Passed
4093df315c1436be384ae96db16a02c63a7094c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SeqLen True Passed
cfd09032a4b3f05db889e23617ac12eab3bfb3af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SeqLen False Passed
479935a3b5f443dc45dc4ebed6eac0b98362e5f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SeqLen True Passed
41823dbc452f3f4370d921a57206f5fa433d2c94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SeqLen False Passed
421cef49da107d24fa05bdaf85475a1f9a75a8d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SeqLen True Passed
2c52b41cfabfa83770b29089343945ff76c9663e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SeqLen False Passed
19487f482d5155dbe84bf1c940502f596d9c42c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SeqLen True Passed
f624862e0566551318572b3c0df22674329e70e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SeqLen False Passed
20adeafccc5fedb1aaebb170f69ad3ec0f1da8d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SeqLen True Passed
3ca707ba7a88513c97c860d1ffc3e70ac17fd2a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SeqLen False Passed
f6487211c8a4b37ea0d63d7398f3510f8be3ff40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SeqLen True Passed
9ff4f1eacf11edaa7c05238747a0524f273aa700 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SeqLen False Passed
b2fe26744269a8bf3ca92af594e345e181440801 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged SeqLen True Passed
4f61fd400fbc4335fbe1c01b279488ecec2659e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged SeqLen False Passed
49c29b0463d0c0561d4ba0216a42aee2866d0845 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq SeqLen True Passed
9ccddeda990062872a2a748b459d900abac7b7a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq SeqLen False Passed
bfdee855a5bfd71f8adf9b54e3458e786ef7929f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange SeqLen True Passed
6150a9d4d847150cce6d56ac6dcba15da6e7c93f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange SeqLen False Passed
7d4be02419ceefc569909f6984c2c29c1f8f10da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SeqLen True Passed
dcf757363d31920e65bc0dfea4fb696adea0da53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SeqLen False Passed
bdfe0f3b2edee7175c1c36cf7d43ca7cf9c92491 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SeqLen True Passed
97da0ddc25e3519a143143f58923d0137e5c7c87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SeqLen False Passed
cd95ba9a9fd6cd160782131fa779fddda5a257f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SeqLen True Passed
98ba44116b1120f8530636382f924988b565aac5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SeqLen False Passed
30d37d846473f6bcacaf876c97f8d5c534e76665 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SeqLen True Passed
dc6b4c5e1c9461edadeb665587498f9cd6f3822d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SeqLen False Passed
d654d7c58fd013b268263bef59f7765464ecf401 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SeqLen True Passed
cdc062522efa4d5ab317ed60c925172bafd1a735 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SeqLen False Passed