Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
53ccf16a7cc9a5d303c84edc7d0f878b4229adb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumDiv True Passed
014ee6281615971fd1e7ac5c965a47c58ed7ee33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumDiv False Passed
2463c8a6e21938cb45768fdb46eebf2c1ac4537f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumDiv True Passed
72a5c42a70f9dae3fcfb9a666012e5b4166a9d10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumDiv False Passed
0b753b9f3abfc9428f123482d9ff1cfa7c93e15b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumDiv True Passed
26bcbfd53ce89fc22f1b81f67f266e9b1d1234b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumDiv False Passed
75df86a201871a796b3a83c16ef112546fb4b253 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumDiv True Passed
65a7950b927ba9d24d70bde6745cc3a72c03b7fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumDiv False Passed
bf05f023dc9a66224a3de388476d91c162ea2f71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumDiv True Passed
6ae9d14a913b5fb834d236b943e910bad92c6ba7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumDiv False Passed
6e96cb01073b5969b321041af2536a6d5b3eecd5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumDiv True Passed
38c02cdf0556cd32c11deedaf965a2dc391f9452 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumDiv False Passed
c1c004cab16adbc7f25d1c3ab2e0e4e83f609bd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumDiv True Passed
798e402d002f477a7168ee96e8e8e9c26d61a818 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumDiv False Passed
99cf91b51c5fafeb18608e74d8b7af1e8808c5f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumDiv True Passed
55c51ddd22559038558b81a0dccabc15bb8a3a9c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumDiv False Passed
5d43d4adc208ad521f0a85fdf7ad116c2a86e2d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumDiv True Passed
1461d03f62c05d164605b28f2bb3ca2e5ab42131 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumDiv False Passed
4d037b1e39d10c8f43425b2f4fb313d832233a06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumDiv True Passed
ad1a031b6a94a578bcaef14198ab86291d8cde60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumDiv False Passed
27e1f9bbe4d79e96c133bd685c3776f395dbb54d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumDiv True Passed
238bbc950ddebf978d1e7de3f53d5941d3c64c75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumDiv False Passed
415b9fb3388335f5f43575a193284c339c848741 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumDiv True Passed
72b01ed84a61eb89e2ef0bc1a20af8da7015df01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumDiv False Passed
f6e83dc8f0a8c5a3803d12a6cef24e1dc1bb86a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumDiv True Passed
5b34b5b85a39bf530e12429d24141b485e54192c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumDiv False Passed
50c89788a76187fa45b108124c45af582566dc72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumDiv True Passed
de0b0b505a97ff9abb1802f034aba2364798e8f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumDiv False Passed
d2e0dd4543f124d83af7b3d7412a088196c8bd7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumDiv True Passed
114d3b9093bafb03912664bac710bdabc2f6c98b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumDiv False Passed
78cac13a4e0aa393e4189a0fcb11b8e06e5c1a16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumDiv True Passed
fb3e449751d40bde02d0956ac5225933c52deb80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumDiv False Passed
7bdce78538799648fde79afc2db21e50e9cecee0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumDiv True Passed
c4e847572b4c9ea51e9db18c72fc0205f4a7515d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumDiv False Passed
3227e4b66127a6a66bbf9b397de58ff8b1eb94de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumDiv True Passed
df1ca5e7990ae3a80fe9bf6b8cd03c4b89a893ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumDiv False Passed
dd034848e8ca25ca0aa5b90f37e7823f0e5abdf1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumDiv True Passed
14bcace56d1b2255424c73686ff1d2b8056dcd4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumDiv False Passed
494767a88ea6bc4b6dea8121bb08b488b51ef625 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumDiv True Passed
b8f6d96658b0fd7e4bfaa7741e03cd81ea6ece77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumDiv False Passed
1cdb6d1deda6404a46bb5fe03e0a4db077743cf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumDiv True Passed
989d70be4fbe202341022b4c0c17f060ddcc7db3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumDiv False Passed
0b6015930c1cb0627eba8f88ea2acbe70ff7620b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumDiv True Passed
2c63e5efe58771c1b4a922af19b916058c4f6242 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumDiv False Passed
af54df2868d960344ae8b3f044b939132487c9f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumDiv True Passed
b4efe761ed723c58d5f5e62f1b11517a779c6d7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumDiv False Passed
39fdf4a81b0d3680bc68e63a88458ac30a1356d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumDiv True Passed
8ec7341ec4d9a78b7fbbe44286ecadf96fc9e408 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumDiv False Passed
a21d5bac60aca948733b9bee585e5f83dbcfcad1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumDiv True Passed
634856bfcd209de2b44e28ec20f1a996162e8a45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumDiv False Passed
d6818d0665d64feb9b69c331e2535bb5bec1c0f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt NumDiv True Passed
b3cf9d9d6d49edb91719efbda57931a6524d9fc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt NumDiv False Passed
47d7402c6d0166f29870794f5438e461623301a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumDiv True Passed
43d935f5b9134a23d568da25d9694f9f89063ceb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumDiv False Passed
3c3e37d9e88431d7872446cfaca62692cb367caa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumDiv True Passed
e9472c65f253fe7ef5d026096f0f52f816d21aa7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumDiv False Passed
74da56a2eb924c2e845d60989b71d8d3759735f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumDiv True Passed
f0b81d77595f64d3b6261197876f66ebdad360f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumDiv False Passed
d704db5920566c85ab723a072714199dfdf4a96a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumDiv True Passed
9f5eae2ef8a4594b2f1d699fa4d8fd5b6b2542dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumDiv False Passed
5e888000630e06fb2c3eeac0a5d3dc15ece9da09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumDiv True Passed
2e1b378eaf62bbb10ceee0fac6ec4180a478f5b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumDiv False Passed
4973523566513dbf8d2eadcf0b68d982fba96ee9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumDiv True Passed
5c932d9c5e1db551cdb5ce2eb92e7f6653162add TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumDiv False Passed
da8632d148e3d09087766d6a83e9f73d3c7fef8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumDiv True Passed
231c8caf48dc51cbc758f4a65d32c8bc1f1124e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumDiv False Passed
b0caa2d5206333b2ddbdbe505fa3ad67c73b8121 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumDiv True Passed
620902eea212a5a57bcc9564585e4711ead5181c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumDiv False Passed
f5264cb23691ac9619a30bb7a1906d75774ed3ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumDiv True Passed
a4911ddfc8d3fb1c130f230abb306803967454bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumDiv False Passed
d4e16725a55cb1619a7d702c11cf515c98b8527a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumDiv True Passed
d6225a928916f724153a8cba5699bad297b12b4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumDiv False Passed
5b018fbbc8197f0f5cb870f94d88d66fd970d08f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumDiv True Passed
5f6f2972d213633a7f6799999c22931855e26dac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumDiv False Passed
bd635f90d89d16fb923f41a5d5cb2daa0f67e32d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumDiv True Passed
a043d86c2b5108b9e84dd7ed1c20d84c6d1d9b33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumDiv False Passed
7267e44b3df29e42d869b0d4d824c391a8b73b75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumDiv True Passed
86c7ba7a8fa72ab5f9067c2b7e89d785de22719a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumDiv False Passed
80a6244a84e55b27a3a888775901f222276c7452 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumDiv True Passed
4784760108498aee0082707df9186f88f332b615 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumDiv False Passed
50aeb90ee1379146ef352d86d9590813239a6335 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumDiv True Passed
a6c12c57ec831728f04bb252b59950a6be1c9e3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumDiv False Passed
991f186d83e336698811bc4077464d7ccbb760d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumDiv True Passed
5557d9a58fcaa1cac1aaa469ed5c9527728cc029 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumDiv False Passed
b3f129b7e07c67a548755fbbbe1028a7cb404958 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumDiv True Passed
edb75dac68cc4031db12052283717cb3b8dd77b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumDiv False Passed
7f0cd6a20099858a22c474f07914f17410c465c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumDiv True Passed
d81ec74442261efaeaf5cd17df79051ff883a5c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumDiv False Passed
246d89dd6848bbb05a8cc2b2ea8f22a0406e553b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumDiv True Passed
82f07f21d6e32e4def7850688e5decd2b91008c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumDiv False Passed
83d3ff452ee987512b882ec37c4298382e0611ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumDiv True Passed
c9b5ff1fd6d0cb2fcc92da139aef57c7a0d5627b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumDiv False Passed
49856f6b4c66e943b448ad3e47cd1c6b13868591 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumDiv True Passed
ca16d706ae065869796759c9a4a06562569eebd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumDiv False Passed
19ec1db32f9d43c161851bb2f39f76f6c93e9393 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumDiv True Passed
c9ee78f5f3db43defde08d63e9b1be197d2eb605 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumDiv False Passed
27e98b311b056b2d6669993fff92f22e843a112e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumDiv True Passed
553a309c7636780a6ab7c59892b0073d665c2d98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumDiv False Passed
7bfe001930e7389eb86f713526dcf25ed882a1bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumDiv True Passed
c504a20398d74676ad5ef16d171ce1240dd081e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumDiv False Passed
dc589047d57c676971ca77d3b6f95079513c5342 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumDiv True Passed
a312fe850e79bf793b141e2a9ead52a620b13bce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumDiv False Passed
03bae09e4cbeb5f85e1572536deced44591dce41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumDiv True Passed
ef78c11ebe014d8a299b69db633a382184c2cec4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumDiv False Passed
f1e52dcab19731bb8363eb92a5fdb8934777181d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumDiv True Passed
63fb50a7bb169664ff7d099954c5206180eb82d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumDiv False Passed
3091b0443400d373766564023365d1e8c8b90516 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumDiv True Passed
b7a10440820afb59878482e98f3f383b4b9e70ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumDiv False Passed
1edc8ae955540a0b90a939824cd4954e3b276589 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumDiv True Passed
2def94b0e86e58f2c604a74b08f666f393e4c77c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumDiv False Passed
5be06da98a594a565cba9503ad897f31e87e26a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumDiv True Passed
7e2537ad808f1933807d508e57e7418ca813066f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumDiv False Passed
5b29b0bbc7873c2632d7c00253e402980cae367d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumDiv True Passed
8829fe4fe6ed29f63dc847282d3381ea6b2c668b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumDiv False Passed
8669ad5d07fca584694c7bc396572f5112536a45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumDiv True Passed
1a6f5fff0f8f01b2e72f635ae535cf5e94618b46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumDiv False Passed
a234490cb1dd3ec1b07f849a235d29f39becc64c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumDiv True Passed
86cca44be10eeefa9264bc6d311a927bfdbfe748 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumDiv False Passed
08761650c83b927ef6c406e88b6b78accad058e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumDiv True Passed
c884b9293dc16c1913416b91497dd24d66fc2ed0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumDiv False Passed
22bbe0d465ff113c8fbd5a4d30f241f769e84618 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumDiv True Passed
11db7e7c8ce6f9370c7e197702e15fcc584e5cd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumDiv False Passed
7205ab389c02238c90a0f567d6ad0f9cd6ea88f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumDiv True Passed
0d9617a63a90dce4b30c533d10a6daed86c0f162 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumDiv False Passed
fb49ce25b3128f5c273447067f2a4185d610efc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumDiv True Passed
4e8356d8544117d444082e47992a0eb06cd62ce7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumDiv False Passed
07f135d5d92e1ed8b3370f647f06618ef1ede856 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumDiv True Passed
4deecaa99843b95cb65c098f3ad9d17110536a61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumDiv False Passed
eb81949a0ccd7e69981e551691d9f9c3abc7ae5d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumDiv True Passed
887ee95df12b43cd8ba4bad4cc15e75d7eb14f2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumDiv False Passed
77c062ea35e7f3bec25963cfb3127824372cddad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumDiv True Passed
b7aa951642195aa1da72645addb803b4e7a74487 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumDiv False Passed