Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
2eaa055f4c15b638436b3c5914212c274cc474bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And NumLt True Passed
2c0b24fdad963a16ce2692918efa3f039dd83e55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And NumLt False Passed
7e4292a48fbd029de29c472e8c629acdfc432512 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine NumLt True Passed
c6e074ce7a95ffb3ab5f832342e0e3a53d3174f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine NumLt False Passed
7c346988e9dc3a96b569322c7c26f09634e08371 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply NumLt True Passed
87da5dda4532668629b2ebcabe4ed8e0e0b4be39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply NumLt False Passed
8b6f061ce8937e1ee5e66b3d98984aad40bb6eae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not NumLt True Passed
5030c8ac08112895bbef180f248cd247e96d4abd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not NumLt False Passed
1f898268212890fdc7c2aba1f99a5e38d10478de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or NumLt True Passed
41eefd732c352f73c12c20ff31be26022afda1d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or NumLt False Passed
8d0bff2dcd6ab12291ec83850bf2bc912b4d28f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine NumLt True Passed
a322066ef2852d2fd088189afb1c51c42e3a62a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine NumLt False Passed
6d06f725e8a9889ec25a98b0e4b856a2aaeddbca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp NumLt True Passed
5d5734392651fcc6abe4b330d977b7ac3a8a96a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp NumLt False Passed
3b4e825d0d0b04868c7e8878c75e06d2e4ac912e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed NumLt True Passed
5457822b592ce70a6906f70899a05791dc6d799c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed NumLt False Passed
fa69a78aa652fcd081dc8443cce765712791e6c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumLt True Passed
a1841654a2330362c6138b60fc91fbe57d823d5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumLt False Passed
2aa2cee033540a42b2f6e08eb239594d8304d2db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumLt True Passed
75a51e781fddf522c1ba15577d826745ace7e1d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumLt False Passed
03521f7b878c85fbd5f7f851c1f1df4cb87e2ed3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumLt True Passed
c9465d92dc8c04bfe28a31a12a3ff3d71784dca2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumLt False Passed
188c5bd14d4126eaff994faee53cc9680aba674d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumLt True Passed
44f0a016e7e23d3569f19e09d3ea37ed518fa5a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumLt False Passed
935c24a103ef6484862f2fe77a9ef993e4f64754 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumLt True Passed
b2f099ac20baf01824e9eb7d1405024515f849c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumLt False Passed
c0a9db4894e68706c98eee423bcd760f0935992b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumLt True Passed
a0eddb1a9c021f140b3f1e170cf32a2b3e017baf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumLt False Passed
467745983a766ae1dc906a1df2f6860c1216daca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumLt True Passed
0ebfa2b8f4e75d68fb76751697f0f86c6b29ccfe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumLt False Passed
7d619132f86b1faff93ce62fe7ce994e5cad09c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumLt True Passed
34618fed62c2db4898e51f236ba90b32f1af56de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumLt False Passed
725dcfc62c048ae3499e0617c6781e094473b07c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumLt True Passed
d46e84ad0277b5498e083e2cce014f9e9faf76c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumLt False Passed
c8b0df99f7508ad7f997cc4c457860f910b136a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists NumLt True Passed
306a415567661f7999397a0288997b2746aab708 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists NumLt False Passed
9db8a89b555ad004120e7fc1e9c7934c4ba407bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall NumLt True Passed
fd11fe384e318c51d152760e2128a7d678b4751e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall NumLt False Passed
c878e385bf27cb9477b4e29710fff2157d046ff7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose NumLt True Passed
7ace3d2a1ab801c497a337ff8ec0470a8eaa31b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose NumLt False Passed
98c549917da39cc0fbb9b68130164984bf696fec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumLt True Passed
674bf530531db4eb3b7cd7413edfe3946b4c77ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumLt False Passed
708685fdad1026956699a4ea5bd362ea0357fb3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumLt True Passed
aec0b3f66e878b3ceb9b974504b08eca02fe0802 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumLt False Passed
d8d79cc4f3c0043b5e32a5214beb24d790089e48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumLt True Passed
2e56d0b82fa7239f54e7b00397ca67d336cced9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumLt False Passed
926642a3f349803bdea6ed002547e8a34d54bbf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumLt True Passed
67dffd2aefd98da5563918519a728311aab70007 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumLt False Passed
e7ef17475b18108ee64d97d73df100c304fb6af9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumLt True Passed
3f9b8dff4d7bb2fcf3427f34b59e4fa09dff0961 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumLt False Passed
6db918e38f407708f7069450bfd00a2215a1d293 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumLt True Passed
b01316d33831bc9039f24dfdcf41aa2f773e2a39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumLt False Passed
0f3e560cae0540592c42393f5a5ef1c7a10ea89f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumLt True Passed
c7fc3a5b0e0305d2184e4549560d2f4f66d4ac0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumLt False Passed
3a66bde95bea8fc00d74e149e53e525c6fbe0c23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumLt True Passed
0e65f0b324b590b925e9ba3c09c3a8527268bc64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumLt False Passed
ad6ae69ed2dc4ea61a0177b6c6bf692d675c7e10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumLt True Passed
72b0c6c0e3cacd005ab044c3820af5a74242ebb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumLt False Passed
b19dc0cd5415ccc5b1207d5dfae2a3b49f6e394c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumLt True Passed
ac6e4906616b9efe5110edb9b70b9835439e468a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumLt False Passed
20afa82d0c4404e6e55dfa652923a528940e03aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumLt True Passed
b53837d42073279f191858d1ecaf9999b2e7fd04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumLt False Passed
2ce00d364776c48d57944f62d671d5ecabfd0f9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumLt True Passed
728eaacf7afb538f2a3e66dbd9503f45fe290973 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumLt False Passed
fafade1b2921c3cdc2658316acfde64503ecd8bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumLt True Passed
05869de1821f683103532baee8587d89cad7a040 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumLt False Passed
334cef4dd8c75422cf52496f4028d78d1af79830 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumLt True Passed
c5591e37025763a8924fd84ec7779373d8de7a11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumLt False Passed
b03b8956182b1cd3ea79b2a8b6f4faf96de5e97c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumLt True Passed
04587afdb6ffec5cf0d2cdb61701c9d43b86b9a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumLt False Passed
8ae765e8aae6cac63c546f3b5f06caed90b8c727 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumLt True Passed
529770cf3df7e8bd3250be504381b13093807e00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumLt False Passed
689df3941c95d7df467fc188720e173ee68db1d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumLt True Passed
f774bc4ca053b8de5e3e180b97222ce23fdc1ac1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumLt False Passed
95b7800aac0f74de65a4a8ea57bd262cb4d7168a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumLt True Passed
651c40a0e5bbd7bed87b91ecb7052ab30659493b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumLt False Passed
ba48b8bc66b93ae86b8a41572df0dfd794357592 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumLt True Passed
7a379b18187140e69878d7bd6cd1d08faffebb7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumLt False Passed
e446d737a35424d3d2f6dc867314c30b2730da3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumLt True Passed
ff359860815e0fb2409baf31c2587495e791c13b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumLt False Passed
a567a1514ce02ae5d8eab369c379da66b1d1c19a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumLt True Passed
dce5cebf304f11a246a492e230a1a1b39eef0c1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumLt False Passed
f03fafd07f1b1095b4c7267354d9e23670081d9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumLt True Passed
34cdbd9c606eeff4dad97e4441dc68e4e4baf773 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumLt False Passed
5f476d98f3424c88dfeb0cced877d61bada291c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumLt True Passed
a9073ae77450b9064ffba516f3031489667e7d8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumLt False Passed
2b109edb9182610e29b8f33291424d3c4246edb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumLt True Passed
af596a47a88600a71b47fc71ef40daadd78c3082 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumLt False Passed
93d7c87bfd95c83dcf2daa9063cc1443dee2ac4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumLt True Passed
4fffd65c777925461e8299c57a33ef1d01494019 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumLt False Passed
7e04e517d7f494fa2dae87943175c702c7029e22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumLt True Passed
fa50631a0ab8fa0bc81f3a277d2e3686ee1ac8ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumLt False Passed
80833e700f0e38f72d4096e63231f471e08f0d9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumLt True Passed
06d757308f8c924880f73307de6060b6eee7659b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumLt False Passed
d11a7259fa2daf3defda75c235f4a1a0fd95ea28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumLt True Passed
ba89d91110b5105ea8d43bf7fa328a69cd7ed99e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumLt False Passed
5f476648dac680f1640e5e010df3c193465662d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumLt True Passed
bdcfebed5a39369b028c67b8d8dde8c387545732 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumLt False Passed
393dcb7f84713cc3339e0f22d5a347bb0d128fd5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumLt True Passed
c74a9666f10187fdd1d692a77cf366608b52c4f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumLt False Passed
f62bc675ec25cb8403fa34b9fb7cc487297300c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumLt True Passed
b1c5bd1e0b7b3a887899688740c9f1d3479c45ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumLt False Passed
f53b59c9d5d9bf4bc75e6c4da3938fc397175e53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumLt True Passed
3b34a82a065d8bb0b3099ca7762057e69a5237e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumLt False Passed
b54b0963a7be245e5b0e6f460e49c704e51cdd6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumLt True Passed
98874a267b03b9e7c963378a2c3df43798265f7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumLt False Passed
b9c7365aa7a7c9074eb2f4bc2fccfb1e4c4e1aca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumLt True Passed
116c301a695acae0527b77f13247054302813ba8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumLt False Passed
d7040576b1eec766ada41809aeb6c7bf135bb4bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumLt True Passed
88845a623afca9777e8c50089a37cf8796d1fd18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumLt False Passed
436cbfceb0eae6a958fd19e40d19a82105ef7259 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled NumLt True Passed
438926dbe9c8dfdb96c9b6030e8ca130215b0fff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled NumLt False Passed
cadb28af3778ab97e1afc9b38359c52191d1b161 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume NumLt True Passed
1999670a581c96ad23d30e3ab0159e830c77953c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume NumLt False Passed
b526fd1ffe65b4eefdd18c9d3566c34a897ed6a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed NumLt True Passed
b679fb5e67a78c47743977d79e0396a4379b8111 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed NumLt False Passed
409aebab7d881641821467280f64c744f5d7faaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumLt True Passed
6c147840d42e05f06f35790340a3867bcbdfee7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumLt False Passed
10aae1356baff5914a9832f0a88f68b8a60bc751 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond NumLt True Passed
ec8c2cea3e0c8d8e6fc401254fdc08c31aaa3e3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond NumLt False Passed
74fb3f3be0f655b39a7af1b9b9589eeda8efdc75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumLt True Passed
81c00e0b49bc5934042d81fe6870837a142e5c01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumLt False Passed
fe9139e4a8a35337fe639e19c46fb95718cb3e94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumLt True Passed
e8df5f5d2d07953cde613a364853b8b6f2c1de3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumLt False Passed
ab2f073e9a64731cc7b0b6040c4946a02d4a29ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumLt True Passed
c8eb24a9156cece314d3456a15e57f007ceb81fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumLt False Passed
e2419d0276ce0a82138cdf46618b96fde73db1e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence NumLt True Passed
b000aa08e7b6009d1f2b79342c0b856c3c243248 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence NumLt False Passed
7b1b5819d705064f1d8d0e3ca6f22a17b539aa3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumLt True Passed
516e3208f95b22db96536449e1f42eba6d3ab972 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumLt False Passed
84daa5aef993e7eeb08f1c7943b34bd15d9c12e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumLt True Passed
69d5aeee8804d16fb0cc04a69a15cdb65341b19b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumLt False Passed
450f3f049bf5dd3c163fdc68c5573145ca176c15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumLt True Passed
64bb29a9d475aac13764e4b0e59f2a67a028cfbb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumLt False Passed
288c2f48fb3e3a083cbd4ba3ef4a30ad8d119cc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumLt True Passed
4309bf450dab0b4de8813565f581037be3a7bc4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumLt False Passed
404f7de05fd6131627e1fbcccb62e603f70385e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumLt True Passed
77280a91827d8a2355783a61617daff56fa33ec3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumLt False Passed