Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
42fda1996f493f55cc1bd0d4118159f91cab984a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumOne True Passed
6ed2830a48af06684bc9ed110b66571ef27205e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumOne False Passed
9bc1316f218fe2b017bde459f115d392f5e1bdfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumOne True Passed
ed79e201148a05ea16a28404863bd3953bbc7403 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumOne False Passed
947316dc81fafc17627415c98503dd88c2004dbd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumOne True Passed
166082f823e545a3dc3893f8a5315a71c62154e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumOne False Passed
5b275aba5973cb070ebbef1c8859cf26814cb82e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumOne True Passed
d4a93226ce1112a2a084e970c4b9d78e6808c90e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumOne False Passed
cd769025f119ea9926214bff3207aa724b1d3003 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumOne True Passed
c2399321bcf2459b4af2abb4f9a745bb639248a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumOne False Passed
b13c785ca5be7714ecf3ecebada2faa08b5faf59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumOne True Passed
2212eb19044d2c3bd1a47b811a59b9207a8aa00b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumOne False Passed
fc4b412cdfacb864294812a8b508d27fbe9dfe74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumOne True Passed
d6a8e3e797d20733b43cd04cc0074611207123f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumOne False Passed
b17a108dd4472cf58a3a9c2aaf6564f0e2117da5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumOne True Passed
055c7b780aeca6f11337c68ecac0240645e26a69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumOne False Passed
ad5678268ad17a6825ac3380cb0eaa859445de2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumOne True Passed
89b343e45908d6ccae2df1e64f7edd86f9433c0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumOne False Passed
1b66f27089ef30f5b1fd8a5c1dc9f532bd0d8d9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumOne True Passed
69fcce5dd4058c289ec5bc6fdd93af39edc683dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumOne False Passed
28d5b1aa3b17c2f32594f4638d495678e87d6cd7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumOne True Passed
a52f9d72042525e2e27931a125e22674b4f949f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumOne False Passed
11dbd8ecf7453061fffa618d66a5aacdfef6ada0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumOne True Passed
b4814b4df5b611c7246517941004c93c08c6390d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumOne False Passed
10597a015c57b568b12a8a29cfe639a826ee3ff1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumOne True Passed
96d51ddc7170c134c3fe57b7ec1a467897d922f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumOne False Passed
ab48232884b8e09da6cd4c36df155c9e87dc9795 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumOne True Passed
4a09c0d11a2317c8762ae5a9f2c6a4cff90f2927 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumOne False Passed
f3ed5317034c8e98b01e006b10784509517eb828 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumOne True Passed
e07bcb5e8023ed94e8f501a3663b9a5b6b4b6dd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumOne False Passed
ebefe892d02b486635124310a4b38c1df2d0c186 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumOne True Passed
dfa90f254659ba25256b2e1491fc17a25edfae6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumOne False Passed
5b12a962707c2ad2b92612e4c8cf0a4064b5e384 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumOne True Passed
8b98df1dc287e53710fe8a0f012dcfa5db310d69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumOne False Passed
6b389e1621498ca70d4aa00fac43fc05099348ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumOne True Passed
4fb7af404712f4b2365b2f2d96d4d05e03ad4f13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumOne False Passed
2a94cbe3f73153b3d938d32b87e1152e0f48f343 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumOne True Passed
42475f9c8d4ece5f080b09fa1dcd007bcedd568e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumOne False Passed
002d6401eaea6bd4bd8d72b48feb60b6999b27c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumOne True Passed
733c765c24341d805e86ea9926ff2866caade4e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumOne False Passed
eecadb17c6501cfac0e611b97d1df3c351c8a2d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumOne True Passed
e8fa7e87923937c641feea7dce8b7b29a7b76716 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumOne False Passed
742fe62ca6ea15970ac8aecf29d320febb025fcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumOne True Passed
0404f638ecc059a30c9787e81f3773d2cf2a8439 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumOne False Passed
633ec3fb1fb701a090298cc51177da0771170caa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumOne True Passed
6b85468fd59e2c8629db636fae5ba07f074d74d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumOne False Passed
22b7400475559399d84c7f715361a97fbe2fd33a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumOne True Passed
ffc8139bbf99249eb86f781f6335d8a9d95156f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumOne False Passed
a782bfc3b289d948c0a2705bec5c460f24b4a0e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumOne True Passed
71313b3d1402300410407e78d15719ea9263a1a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumOne False Passed
8ec142fda97abb627813e257ce3d218a86ff7a93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt NumOne True Passed
28ca562defc26f59efeb08ee6031994938754aa2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt NumOne False Passed
58309a07070c3a356d2188174e462fabd577c25a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumOne True Passed
615405ec3b83e621533eaec423038bfb883dd9f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumOne False Passed
95706c776c830d9ea3ce9d7ea3599dcbe0988404 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumOne True Passed
5c4d91fc6af448f44c2095a5a3debdb9a3bdf09f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumOne False Passed
8ee045a90f7fcb310d09f0edf930710902b75396 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumOne True Passed
df0028438e212abba957e30ac0b0c24952b0d856 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumOne False Passed
ba751dfcd7611c490492b0513338622abe950a3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumOne True Passed
d21bd04b53b00a853014f9390931f8500c3848a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumOne False Passed
2f5e2a84d67913fd887a9850dbd081a4e1e9f815 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumOne True Passed
dd4768f5969604f75e786407e72ad40748d65a3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumOne False Passed
625996167e3c6313acab97d51030b6109464a271 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumOne True Passed
7126d51209966e6f5d228e035fbfae3b069e200d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumOne False Passed
23d913b8828ac4137d2cb0e24463eb88f5ed7220 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumOne True Passed
da13ee2763298591ec06ff86ce2a5e5bcfa1080b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumOne False Passed
402bd143538bf7a3361f9dbeb0f1772b9ab60829 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumOne True Passed
fe287cd582ce16b0fc623477a606acdbcf3532d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumOne False Passed
ff7209947f7d374330f70638614cd507eac12f97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumOne True Passed
a5b357ad2b293b121b39f348810d89b02660ec0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumOne False Passed
dec698b8c1aeaecba7a79df10b02f97a45515840 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumOne True Passed
07ea005ec92601cc362c2fe151f64168aec423bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumOne False Passed
ae1b1e97f0a79d1f951a984318f8fce5d79dcd03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumOne True Passed
94ae8e6cfad07d95bf23269efd56cc63b8dfa91b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumOne False Passed
ace0f5698943536adff817e037138113d30a704e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumOne True Passed
852cf7b17cb071df4950cb8274c2091f0ff14c31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumOne False Passed
ac9056a1c92ed55f9e7cbe551703e0d48af99ce7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumOne True Passed
ce1f84ed97563ff5ab4e21b4ed140913572e360d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumOne False Passed
cd1b7afd6d2819ef500e34a9bd0d07cc5cc52fe8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumOne True Passed
ba8c2293d99b8013db9ea9a4394b85f894ac770f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumOne False Passed
4a19bbebcacb73d67d94985610d5df09c13b402c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumOne True Passed
edb44ed92108f985487d3516261a46edf34d914f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumOne False Passed
64884a665e46c534f1541f6062aa4c194a8ead2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumOne True Passed
77f4d7f00f16e809d5ab9bb02b6ac14495075afa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumOne False Passed
f441424d3be7611b804deb6457e4304a1e7feba1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumOne True Passed
ca37d98865e967428add218a07fd6985a1cd6d98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumOne False Passed
4798425cde60dfd05927ecfacb8acbe389f96629 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumOne True Passed
50c4b1751fd08fa684c38bec3080e6ba69c56fe7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumOne False Passed
88895da6dd12e7f1ec20d7be1192a668e91aaf91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumOne True Passed
ace0f2e4ae3ad4e688bf6e37af590efa708477eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumOne False Passed
a5f801f2fee07b33e6f3ca52351fc0c28b2eb82f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumOne True Passed
3fb0d49d486fed300a81a43a79b0320ddd34f5b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumOne False Passed
f41fa0804d7ae01300228908961406ef3dc39bb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumOne True Passed
28ff5f7a37d63a6434bcd2414f161050f85ec54b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumOne False Passed
c9700ef7db906b2385010112e0d48d8a1741852e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumOne True Passed
8be4bead3a17e453bc10026b690ad62e854e2251 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumOne False Passed
7a5aaa6942ae78b2c8199b716e654ea4f4e55802 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumOne True Passed
a4bb0a7b355746690d7162c520c0007a530a529f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumOne False Passed
77269525770ad3a240980b6de3dd3f738ccf6ff6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumOne True Passed
9e8d60df7fd979c3ea78100bae2fda495f061751 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumOne False Passed
269ee9a4b3d6e620e9fe4979517602b942a6d7c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumOne True Passed
e2b83149fcfaa85b3ba06fd1bf5f55e5c147a3fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumOne False Passed
183a92115e11f950ad88b58d0bf221a6ed65af60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumOne True Passed
70663f7c2851abb1438e44bf38725147926f6b93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumOne False Passed
88902ff58b62c75f9a9766d1d29b93569c554981 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumOne True Passed
2f68fb8303f1dcb2e5cb504410196e0690b4a3f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumOne False Passed
e4a27a89408515bdcbe8ddb91f5280cb8f820601 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumOne True Passed
fc9b9b73759ebfda7e3276e4e4bca4b01ac1fe81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumOne False Passed
c9bcfa78c6608bdf468d1507409abca8ace8e7bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumOne True Passed
11f983e34c4eb9d472d32d2fad3a7dae7f74e550 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumOne False Passed
ca6875bcb7b8baadc453c667ee9e5bcebd090518 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumOne True Passed
692d7c9c849967902b0beeb06d93a38174f26806 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumOne False Passed
35ff19e6aef1ff701ccb96bc50e3365ccfc8df49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumOne True Passed
4a84308682a72e33310d8a2cfa47a7d3a9172399 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumOne False Passed
dcd0b89bc34031754c80fd4089e93b3376713af4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumOne True Passed
9b02beb13e1ea516e694efcd361ff4a0acd66f5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumOne False Passed
94ce7c35ac64e93b98742700ed037723434eaa64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumOne True Passed
d487824b2888f0b63073c940dcdf3dce8aad55e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumOne False Passed
379de4ae05116c1e49869d978e09eea35ff473aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumOne True Passed
e8e15b7e6d6a470d56c32b14ce2727c94257921b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumOne False Passed
a51035e7463f2fa728fb3e3b825464fcc96f352a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumOne True Passed
64ef22dd49dfe6168879e24de9ec6a88e8a5ed08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumOne False Passed
ce59f13b77868815b25de05528c01587236be60f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumOne True Passed
fd0800a308961329de1d9937dc335866c464b5e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumOne False Passed
35fed6f49d568383b90e39d00862003b9117819b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumOne True Passed
6b2e66ad27753177f594d05a6cc53961487aa35a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumOne False Passed
a73f1843db1d728e466332284fb8ecec1e47ec7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumOne True Passed
20f16fa037e3872e6ffe1aba4a93be1595c6ff18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumOne False Passed
ec55099db398329db842268dbc43d4440d5f60ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumOne True Passed
3786644af5633948001fe5aa02c5a3eda9451a40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumOne False Passed
6a9adc143cd24779249dd5494654524256dbd9dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumOne True Passed
1b842e49ad9a0f01a85ca75799cc0e187839e840 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumOne False Passed