Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
6ca820ab2b603d40cfbbf1a685688dcc9a0b0859 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumMul True Passed
12746419cafd8746ff65f397bc7fbeb6044c64ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumMul False Passed
08f274a7e8e277e4264fc94c423cf7a515e6bfc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumMul True Passed
72b8a03b85fab2d46284dd2be5a3f0a72af69bae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumMul False Passed
8a5f337c53a18ad9137f095219f42ce60ceb2e9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumMul True Passed
a481890ee170777f11a9734b2341f41deebe672b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumMul False Passed
4e1a63a07766d4b66f32c85a564e9e06131b5b66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumMul True Passed
cccbdafbaabdc5c40b47cbf47086a6c0c38bfde0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumMul False Passed
3a4295128efe15c7783269c2c4f37a406b3c96e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumMul True Passed
ba8a3ecd73c670cbdbdaf8e8c239e7a47eb8a9f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumMul False Passed
f6d3a0c84753f01d0e71b07688f9fa66c3d1b1d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumMul True Passed
78ca787b2229f48fb7ff5eaa43ccea9204ff5d6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumMul False Passed
7aa877b186477daa5716647d7c395b27bf9bc211 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumMul True Passed
1e93252ee171663404f08fd1ca603c423f7525a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumMul False Passed
40859f0c5a4ef0f2804a9a8d6d532a100671142b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumMul True Passed
f8a42a2c73219bf208f45bdc0a55684c081a8664 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumMul False Passed
42fda8cd49543167eeb65cb45b9f8002edcc2c58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumMul True Passed
98f390e8f7baa16812b88b2ffa85eb56e16c28f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumMul False Passed
c1ef4add08c77820bf28b69e0120747689f6ea90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumMul True Passed
95d4840bf8c5756c79975bd5194e6194e9018c1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumMul False Passed
691e9a098ceb3603bb6d75423a96b3e6fb7ebb0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumMul True Passed
fc68b3da27c7df8b1d166fb9fcdadc9bf2f55970 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumMul False Passed
a7296218c993d9d2d222005856712e692897b325 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumMul True Passed
9051b9d34de38e3e836219fbbb9252de9d0738c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumMul False Passed
a5aeb955ea53494022e1271081b1b4f1551ef58b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumMul True Passed
3bc100786cb91d72d27bdfa60e177973ec495f79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumMul False Passed
68d3a00d83ea7421cf25c7954d30142bd2ed621e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumMul True Passed
5531aacbf8f71613466ff1d042fb1ef5a308965d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumMul False Passed
b67645df13dea13c9430e709aba9f6437f1b43db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumMul True Passed
ad6448a41c8d8d65f5b0fda7a410503126e5e3ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumMul False Passed
1a12ee401913ac679093e9fc11138bb4d3e079b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumMul True Passed
4c79cd41af81833f6c90a4b55a5dc9648384fcd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumMul False Passed
dd0f8801fea83c03d912463f9f6e7e190165e0ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumMul True Passed
ac41e2b25b76a132fc114abb050a250a29857779 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumMul False Passed
5c561a7af1990683ef3ec8cf8376a78b6a079385 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumMul True Passed
de434b628433e5214ed193079f8cfceb775961fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumMul False Passed
4a8e5065db50fb199b3eb2a0eb64b97f697ebb8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumMul True Passed
06059e058b0717c89491cb65c4326155317e286a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumMul False Passed
a6aab749e124204831dcc026e2768b65422019e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumMul True Passed
fe5384241a73f235d091d840b1ad2079671dcdfc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumMul False Passed
d709fa91e8830739628cbcc088b1778ff87fee29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumMul True Passed
0bec86fb99e2c9e3c5a22fc66448527aaa367fcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumMul False Passed
5181bde55bdfde88df1a9c048a6952cb65a8923f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumMul True Passed
b71cee11033edc16a6c78c2abb8d6ae16d676859 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumMul False Passed
8e3a518ad682edace2526e3dd2bf96055b77a726 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumMul True Passed
71dc4b4235446386cb10b904c5a7955667381bc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumMul False Passed
ea2809de5c622c7bd71698309d3f0817fb857051 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumMul True Passed
a5bc8a37f36fe4723c06a53b57d7809e1ba2d4fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumMul False Passed
c579d1ec050b005237d46ac7127a28714453803e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumMul True Passed
571786bab9608c3affdceb7145c0581679c044b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumMul False Passed
87f9790ca1e65ed0b4c31a391a5750848a70b472 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt NumMul True Passed
31bf2b1ed27cfa2c8bc52f711dc039912473c8bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt NumMul False Passed
9eaed3a217ec523642ac9d785c8ac46f844f9bb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumMul True Passed
b76ae5746c5ea2761fcb7b69cade13568e360e5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumMul False Passed
087d3e3c79d9278cf46b2b2894dadc846d21e021 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumMul True Passed
c286d2110d324da228af2d61546950ae4c6f3cde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumMul False Passed
2ad3b0b7d4d00a01ba13504e608a7406eecdeeed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumMul True Passed
acab80d4d6ece7c3aa00cb6fc31ff8331ac89a14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumMul False Passed
ae24f9f2d637deaedbf128bd17988a3d5b0ce435 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumMul True Passed
3d18f22023df7d20a67d2ca0c2c55be950683557 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumMul False Passed
8d5c3efcf8e881b7f0884dfb75f44d7cc1393f3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumMul True Passed
4073ab075e6e93b3c3bdc7b829285806a6074b19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumMul False Passed
e2e98d30e2f032a72ef6023326177c8eacdb2ab0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumMul True Passed
2dddbbd48d838bbe616752a754a22fc3df5f99e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumMul False Passed
34f7bf14cf858029364fe0777d512016a3f7aeb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumMul True Passed
16d1a90374d642faff82e48f7f4c8b9649914ef8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumMul False Passed
916550e4969378e539dc4c2394acb7138ea16f94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumMul True Passed
19956fbc90bc0e6b012db5e237bb1a20c024df45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumMul False Passed
0482d47afe8a9fc34c64adbe4f915fcf742fd71a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumMul True Passed
a13fd85706352a2c11f45103f0ca8d5d80320bf8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumMul False Passed
076782bfc5de29340d82310c66314e2a22601d8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumMul True Passed
744daaae099562fc7b4973ee51dbabb172e12ae5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumMul False Passed
4e595f869eb6ec9affd6bc403016093b5ae9f0a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumMul True Passed
ebf2184953c14f4260750aaf558646a021e1cdd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumMul False Passed
a1298f8444ac8f5d75311cfa571cd3847c7925f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumMul True Passed
7f667fb132eb1553e98b0fd2fd54c6685232b5bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumMul False Passed
db6622b4ad2a38d3976928b2688c0477fcde7aaa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumMul True Passed
0f848fd5fab15a32c24aeb2da6f336c906085429 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumMul False Passed
560b47c7493291111696540169253bd76e70dfb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumMul True Passed
31b8b3e3bb7014be97c5370de82ef63c58ca7bec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumMul False Passed
6c8190b4882c3743b8fcc950d878bf97e643bb23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumMul True Passed
53c1d301ef2e738ffe95fa8abbe9bfa61a6d6596 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumMul False Passed
5c8184220736c1a13809e31507fb2c838bd7f365 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumMul True Passed
2b390a0c7fd8bd255555ef500f267aae83d8eced TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumMul False Passed
79863d7ebe42f526d2edd027a1dd7fbe06d09cd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumMul True Passed
a188cb6819349b1a499084ce81bc54d2de4810a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumMul False Passed
36fd7ddf923f0169c30514cda5202ddda6178a8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumMul True Passed
f2fde5dfe0c0f3a2e9ffbe55bd75d5169c56d749 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumMul False Passed
4210abc630f26242fb26e375f71e90acef32eb30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumMul True Passed
fec13f7bfc14da761a842b369f58b5779207c509 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumMul False Passed
a51a235b829cde654b0929574dc0f3d70f3d8538 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumMul True Passed
a61d4ec1eb5d8dc9429723343bb4bf0e8a571bd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumMul False Passed
f1059eae550f3f6bb9e4caf33eddb71c121cda2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumMul True Passed
ea38acde6564783395d6b05fa810530bb6df1ba7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumMul False Passed
f92f561b609a2334872b5ac8bbe5377aa6f7b125 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumMul True Passed
03a34d233baddb56004b0f20be328145eac40fc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumMul False Passed
79627490ff4a0e7943df2b9c65a4d3bf2cb0e7d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumMul True Passed
c2b74a005cf9b2d642fca6b01e0c182be7b55584 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumMul False Passed
fa09ae34e3bdcb3c919a9a6d86f29945b652725b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumMul True Passed
62a714b0d6aec48211dcc914b996be65cac7b22d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumMul False Passed
96c97065430c31774be475e92928fa68988e168f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumMul True Passed
4b657e4030024872b6ea15d87858a11a8b72c51d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumMul False Passed
f61033cdf7b07025388a9f196f5e0812ac6e4f27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumMul True Passed
af0d30d01f5a50ad791c87a7760c5e384c18f5a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumMul False Passed
e530191d787de2a300c7db6ae1089110dfc20684 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumMul True Passed
c382d75c48d4192108e269b3573b4d8f6c48532f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumMul False Passed
7d1574cfa731f3edda7fb0b58af5f677e71f8874 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumMul True Passed
405841cd3d6147bd0949dc03a7d1d270ce623438 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumMul False Passed
733dcd6cf3bca955308fe181c33d110429e210cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumMul True Passed
46d90803287328548538112ccc736fe0d155cc6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumMul False Passed
a8a99a4a543c1e0a4a4de68638b26bd8c6ced99d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumMul True Passed
30c8a1dc7b745c737d26b7a90cbdfc768965580d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumMul False Passed
65b7ae4fc046f031822603517138bbfc0f2413ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumMul True Passed
c3c3beaf37bffb69e59e57df447f9e0b6e423cb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumMul False Passed
45b649ac260747e0a607a97750ac38beb6d093f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumMul True Passed
10cf825015b4b77dee2948924b92325e0ebb8eb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumMul False Passed
21a33db9ff79a82671e056774835dc2d4ae43f8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumMul True Passed
1f7f685c2408598eb2f44d9da5feaf9d2d695a1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumMul False Passed
c061bf98549ea25d89efe74bab4cb778aa654af1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumMul True Passed
29d1d735bf29f408c51adc6090513031488985d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumMul False Passed
7ec98d543741a9c25a27f8c4019c1e43924fd7da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumMul True Passed
a0d6e5a26059bb870f45c1eb5e6bcf04ed020f02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumMul False Passed
945034d4bf84687b473d225bfc885547cf6fa5d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumMul True Passed
8e9472a63bdec69c90146979468c0e9a3c0146da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumMul False Passed
932ab18fc6f18df5aa58e4e870f5fe168ee4dd68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumMul True Passed
ea48463cbedc1faabb0102a2a6786f4487d35c9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumMul False Passed
4a1ddc5d457f536adaaca867e0f721792c0660a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumMul True Passed
1be2c150f02d6f65a2ab50e121965ce7f4c2daba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumMul False Passed
1e6fce82330a30718b10d252fbd48994d86424eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumMul True Passed
fa0e98b72df1a9b0e18943e5f557635767a3f90b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumMul False Passed
99437732663e25e0c3a1a6b93d000376aee77342 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumMul True Passed
6a74cc130c5e8252289b23d52a78b338731a4bc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumMul False Passed