Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
f731b5cc6a29a1f3a0827b20fca026c0b14e6ace TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumZero True Passed
e879c8e31f7aee78dc52e4c85f800d0ce002cbbe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumZero False Passed
84bd29560005cd9ec7b9cb9c5a04a975dfbba413 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumZero True Passed
ecfeb2c260107fcb280fbbf3b1f7b372ca168ac5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumZero False Passed
5b89f0eab1efb1a92695c392e7fdd85f8799ed0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumZero True Passed
9029f4f3d08c8120f878eac9f0ba998a41277a05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumZero False Passed
12c9c3ac687b154f2227bf17ab55ff12aa28791f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumZero True Passed
7dbfcc6e465ac9b7cecf0ab9bc02e5bcbeefeacf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumZero False Passed
2bdca810b951bdb347293e4ac8318be759a4fac1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumZero True Passed
58f83b5f00becb9060acfdb323a3e3c267195095 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumZero False Passed
96a34269c3806fd44bf4afcf6c1fb9bc0b4e86bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumZero True Passed
f5b8a0767f895a43d98f68a2d1de28e5bdaec647 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumZero False Passed
3359922468b71895b7f60ae780bee449dbc01a5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumZero True Passed
70b7207daaf5193cbaa7b57a9c01ed4a751294b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumZero False Passed
08749704342950aea754ac554f15d644c016595a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumZero True Passed
28e191ea213a844d7de3921296c341cc9b35dcc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumZero False Passed
b70834fca1c76d66e3e8e81f91dbb26671526238 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumZero True Passed
976d00f7e1d0cd31d166db964422be90b56ea094 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumZero False Passed
da1f2fa39aa20f26f288b72034e710ac86b9e912 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumZero True Passed
2abd2f7ed706028f3d2ccb94c744d91532afae61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumZero False Passed
831e7a993df51f2d536654f07bb7a32dc9ef6d19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumZero True Passed
a2520af3fa446229096d57beafdbff27cec41dbe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumZero False Passed
385182a39411e5687f23e1be67e3a61674935031 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumZero True Passed
59ac0bcf473a98acb9f536effb762542a4c58ef6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumZero False Passed
910884888470209af15718356a8a59ad7c77cf28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumZero True Passed
87b0bd556c505a75c5c976e57d4197cbfbe857fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumZero False Passed
4f26d24492e28414e830c4ff9e712449399dd7f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumZero True Passed
15240faee0371d518cad1d42efab9412ad449561 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumZero False Passed
10f1bfa183a74d2c09dbe70bba19ec5204c1a83a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumZero True Passed
13aa09d41fa0a85233ee990b8978c4d30264413a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumZero False Passed
6c2a05abb19c51388bcb8eaa6e4b62f422e2421d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumZero True Passed
8e64527ab140c87a4b652f34e231be0869edea76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumZero False Passed
40a03ae2afc01b35bd1ecc3644c15c776a955b78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumZero True Passed
3cfd038b388e9c80edf5b8e59be5fd640ac713a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumZero False Passed
4b740bfa21423784c4be2ad275d36ad085c2eac5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumZero True Passed
a57d2c4acb459e8d4a719f659da6bbd094b02fa4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumZero False Passed
3ac06e01305289a2db48aa041de5f4124f037f9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumZero True Passed
a2d2847eb33bbee14936a981019a04c4c3788f7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumZero False Passed
57897ba73e4874cbc6114d767fb554c3c3f730d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumZero True Passed
2068555f718096034a8f82164b9b6ca06323c7c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumZero False Passed
c6e4dce6675b13aa2d1b121ceb55dfabcb10a3e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumZero True Passed
e1eb49fd65b0bffc7cf055f61ec728bafdb31cda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumZero False Passed
6694540d1ae537ee7f9b7b24c8189938fb473cb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumZero True Passed
63735634316e46df6f5001524c61f510aee67278 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumZero False Passed
95e355616f5939475ee5f971b5df66ae19b75676 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumZero True Passed
a34e7255c4f01207a8c43866df63795689afee21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumZero False Passed
6150f17cd0a8e4daf69694b2626d2ea2c5c36366 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumZero True Passed
512266163dd8799d9b982aef7c2cd7153f94b697 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumZero False Passed
d765afba5c53e7271c1fdf8bb736064ae40b270e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumZero True Passed
37b59f2d30acff6cf836f8f0d039d892ad0cdbb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumZero False Passed
3cf73f29f726a1a57d9cea94f7caaace599ac3f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt NumZero True Passed
416ac491ac568a9cd830617118aadf07d98f2acd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt NumZero False Passed
602a2aefd42caf3993ca6cc9378965e9efe6e0ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumZero True Passed
7620df7f4ac18404874de7e20c08fdfc5d5ceb92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumZero False Passed
6c3907a87caf5c6715fc698c0158f868f95d26df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumZero True Passed
25fc5d87c87e2145f24b85d6199d09396ebaa695 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumZero False Passed
1336fa78db9532b5c9c68dbe043a08699e9fb1bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumZero True Passed
a529cdf42005983432e44f45947c191faf4ae827 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumZero False Passed
bb637fb298d92820cbcdedd2c6b7b8325d2be4e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumZero True Passed
06448cd39677c69d24725c60da83393eeac27fbc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumZero False Passed
6ef409aad39fa878333f0c8b81892677344616e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumZero True Passed
d9eb6e6b0909800c257297d8ba5793f664e81d45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumZero False Passed
56baaabb8b3d8153061c14df73e401e911c3dba9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumZero True Passed
446fcb76c81a9c261e080cc1eef53617e2b9dce8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumZero False Passed
93d17170bfb5bbc50f3650ab705621a5eef7fd28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumZero True Passed
017f7e913b2d8f7ebb4f191c999bd10164ebf735 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumZero False Passed
c7795ef4b4518559e69e3481d0aac046f50ca475 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumZero True Passed
7f38a128b9bad232635bee974d0f2329f17ae8da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumZero False Passed
1e6b5e0c78e5dbbd7b4db83fc2f5df6ebe5cbb6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumZero True Passed
3747bd239fe8f55886b35fd422e8a9ab84a07ea5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumZero False Passed
1bc8e94cbfe49f97d6f4b099be7c170367ee0330 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumZero True Passed
6b5f1af1a865de1db6cecf3c92528b99264a0e73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumZero False Passed
81d375a885bd6e44f8840854770c8071c1350a50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumZero True Passed
8c33726e933f128783b5b5f54438b2683adb0c5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumZero False Passed
943096228817193fb7b50d21ea113d0a9dbb3a3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumZero True Passed
b1679141abfcd7dec81129020f2b6e4eacf54d16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumZero False Passed
1a398b182a487b782c32b84ebf2fbdd0333c7851 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumZero True Passed
10c3189c9bc8ad8a52a1699fa9451d14c22e8edd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumZero False Passed
017b36646129695d412526b0dc255f6e2cff1272 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumZero True Passed
b420e7e9115a628a6a45f3b96f5f9c4de9cb970b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumZero False Passed
2b57788b7af8a0394640b881959605bdb480e163 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumZero True Passed
f6ac39dd52e07799e43c941eb3277515bd95ea84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumZero False Passed
2e56367c4bdf5889f0e6075126d71839215beed3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumZero True Passed
44635d21d3c5b803261c7f3cc7717c2362f40b7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumZero False Passed
757caabe77af957458b5887a5ab3019448566576 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumZero True Passed
b077841533512c923a8874de58435540b072599c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumZero False Passed
4311f1dc8650bd2dd3844315fc8b76c7776d8b07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumZero True Passed
3cc7b4b14e387aac8c3d45ac15178d380f989354 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumZero False Passed
8cb2cccc63d5b1ee00506d2b4b1b35f133345d31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumZero True Passed
d108b4d1fcc341a79b00515319e61a9c7412d203 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumZero False Passed
6bceb3012e92756e2566c8563a3e6b0b16babf68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumZero True Passed
b55016896fb1a745e12e19e2cf8b5d2bb722fa38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumZero False Passed
41047fe5981f77877e629c1d0ab5d567f63a1f87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumZero True Passed
ce4b0d83789a3d7bf0909f21e00c87ec97540bc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumZero False Passed
1303746dfa6242c4f19d57ff1ed037abbe87b038 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumZero True Passed
e03c3995af7f55a034f390d55a340bb0fb603120 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumZero False Passed
98aeead1bb9785ad9334eb59f75250f8bdb6cd34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumZero True Passed
2a8f723d5aeb57852911510e7de614bc30d16f1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumZero False Passed
8acac2fc81145aea4155c4aa1b0a1c1fb99b215f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumZero True Passed
a4fa63add54353180fc90a7a684106456824168d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumZero False Passed
ab37f5d4f6fdddd141ef3403e5563029e117e8a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumZero True Passed
63c9a6397da585597bb283d158c9814d746a9d58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumZero False Passed
7d24da29be1bbb6ebde8be59e13e8aaebb57e784 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumZero True Passed
e1545fd941f32d0e70718c48ec23d4835070ae93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumZero False Passed
5f89a780c07210f7ddda4f6daa5488a325044236 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumZero True Passed
20e1bf685f76fbbaf0a5ad7c3a4bd19ef4b252f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumZero False Passed
9d7350f7b7c5ba5ca6ac7f6dc6df4957b859a86e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumZero True Passed
4cbf325b0ecec1aa5e33919f42fba818b0e5bb0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumZero False Passed
34fe564a24f5dd4761c3c2a25831110fae0cf01c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumZero True Passed
da4495db3782d074a74b8f850214cfc5a802777d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumZero False Passed
7c9acd97cf99f5c0291ca965952bf10d5f44ab54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumZero True Passed
d5ed058831dcf473b04494d7b8591f4f2418bdbc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumZero False Passed
382103710a4dd9bcb0276900b50342996c58629b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumZero True Passed
b6024d36e5745dd29a932d503fae9f8938324256 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumZero False Passed
02d8ecf74773e219f4727bc5f69487b882e79e57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumZero True Passed
ebd13d817b95d999266c81fba7407850a64d2053 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumZero False Passed
87096d4f223967f4d4b826e91c1bfd4f444613ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumZero True Passed
fcd0fc1d6cebddcf0b0c70f803436fc2f4c49999 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumZero False Passed
bcf1a38204f34fd057932ee8628811a536457fc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumZero True Passed
2b84489c03f96bab9487db80a3f350c0facb8986 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumZero False Passed
77c9a5e1822f7b4e15b63b58f32f0c4e2fdcdef4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumZero True Passed
680a79b605ab158b05d6cb3d3b94f61269971402 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumZero False Passed
87c52c8ec98abe5f20d82ae5c7f30f3b00ad099b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumZero True Passed
ffacf6c66fecc88620cdc75481e0f93c8b4bd2ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumZero False Passed
0e2c6168d295c2e48680f15fd9ba72df52a0fdf8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumZero True Passed
e6078d6e19de5740cf9abfcc6d8591b4a53852b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumZero False Passed
a357d4dedc511e13fc5be18274506c392a94c578 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumZero True Passed
083e2e1060d362050605a06d597405cc99f500d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumZero False Passed
6331b01768729b02a068c460047df6d098f4fbb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumZero True Passed
c359c347f659daf4bb475f76876efc088eaeeae7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumZero False Passed
a3616015d96fb281ed2066a4ddb5b6671defc964 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumZero True Passed
a1aa277a2ffa4ed7e3a28275e27d82a239d23580 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumZero False Passed