Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
9d742a8569b037328cab86ed73fc06aa0c8dd3db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And NumLt True Passed
a1eb38dce4a93c17c2afc045a3d4f261d5e9c475 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And NumLt False Passed
5a6a3ecdc42aa2c5849b942c6ff9bd79deae94e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine NumLt True Passed
1e9fd6f726596685c636d8f45b13794e9db870f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine NumLt False Passed
e307c57291d9b8ce2ca7d950b47428aa9460a09e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply NumLt True Passed
a257a7de96a337ad4daa71f7409c7d21eebb5519 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply NumLt False Passed
a879f8501e83b1b023a226198151be7b7d726d2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not NumLt True Passed
5c4113a0ff026cdfb9747a82cd5a27a0676dda80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not NumLt False Passed
8f81069df6d89658fa83d6726a9800029f177f30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or NumLt True Passed
1332a68af12d5c58fb1e821590e5b82e7efeb3f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or NumLt False Passed
bb1f778efb2d660a32274712de690ea670361bcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine NumLt True Passed
be1327706448b6d6e2699b1d3d3a0edb09ceaa20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine NumLt False Passed
68f52e6b25f3d69c81d0fe371f9fcd76c6af5482 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp NumLt True Passed
5c622b289f984c58a8cf5ab77153bae165c76d03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp NumLt False Passed
eeef3ea0af88e95a8d3ffae617e560745a079e30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed NumLt True Passed
06388dbfbd36b34bd6505e7fbeca23825896dce4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed NumLt False Passed
4b65dbd21c6dd00045da4bafdb31cd3eef93f47f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumLt True Passed
7a60c71df20329c07888c912cf0960acbf1f6ca0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumLt False Passed
08717b0d2dd3ecab443500038789279b6a466e91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumLt True Passed
43a030fe44c06b539f09c1a5c81524469f85e38e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumLt False Passed
ef65ff366bffe6a08080381da7e250112f65c067 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumLt True Passed
c1032f6370b0aed206460416bfc6678962f85fce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumLt False Passed
3b8c2194b2e39be22aeecb3f1b9e7ad7073e5efb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumLt True Passed
abf46ba8fc4b7f3c013502fa3dc2101a3a0514a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumLt False Passed
92efc21a977e11ca6847e301d34fa48d4a1ca525 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumLt True Passed
70304f70526a66575d89bea32da701694b7822fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumLt False Passed
27563d1c1308914dc4be2ece7de9d77156d11e91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumLt True Passed
a5f989d88272e9d2cec1ce1c9f612bad7368884f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumLt False Passed
7f36d2944ad5f951532ff0d177e8b6d97a10e29a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumLt True Passed
36a57a387a1e02f630cbff1d9dbf125369389bea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumLt False Passed
6f31bf78e338a47e2f18e39a86a5e75a421e7b6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumLt True Passed
a8127e3d73b7cc7760d329c40cfe651407909f89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumLt False Passed
e5ea4966e23d1bf566034bfd4948823fe1e49abe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumLt True Passed
7c544bdaa339c91f1c8eccc9ce0db7e21dfd1c96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumLt False Passed
abbaf4b77d7e618c8498ca6b06bda940f87acb5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists NumLt True Passed
552f0fb6f00f2fd110018ccd49b51555db5161a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists NumLt False Passed
c1d20ceeae1be9811f6c64a7989c794f899e599b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall NumLt True Passed
3ba62533cfb0cd2fa2842272f33034a2b6ea8352 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall NumLt False Passed
ecbd4b3ebddedc3503c171a5508dad56e70fc2e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose NumLt True Passed
22a591db3bfeae1002af46d998a2b10b28f02587 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose NumLt False Passed
1e2ddffaff112c864a9f656cc9b506f40dcdeb82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumLt True Passed
276b0f772043b18a3df3063bc1f648bd53d8e25f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumLt False Passed
3fa28c9edb150e879fa51f595af696f47eda10b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumLt True Passed
5115f389ff89c15190670522c87c16ee7245abc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumLt False Passed
2d3caf2c4bbe05b13e6ab3998e53dca5bd95fcbd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumLt True Passed
a4348200c81253d0baa1f3957d03c24f4fb39adb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumLt False Passed
4d4741c9ece0ee272c0f0280ba19b8e6a8a04722 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumLt True Passed
4fdae065f627ed56a96ba3d1263e5eb0c1ce55d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumLt False Passed
a1f0347a54dab14dd1c66fddd857f04c8fc48f75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumLt True Passed
6dc046948fb0b80f26e4211d8a5537138bbb7888 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumLt False Passed
305402776be62d8238116502caa5392515fb2c00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumLt True Passed
0c147054bdbac5dc865bd9930464ba9208034a42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumLt False Passed
5f45109f3a5dbebfd30ed83de064b6b7abd1e093 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumLt True Passed
88d48f1a0a294f62473778b201ac8d094b3742b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumLt False Passed
3c1071864927242e195deccc7ea68b9d3d57ed7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumLt True Passed
963a9b3320d3045f3ed2a2c89ad83b8d20b3c616 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumLt False Passed
0f75e6a7b38befd0e704c32df687d92bcf9c9188 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumLt True Passed
77b1124828a6d8f33e5f89eabfc80dad5881fb17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumLt False Passed
e5867999b0f2e2e4a9ac350bc6755bb34a94ef59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumLt True Passed
af3e23854c0630f4c8f37c4bdd19529cfb5d627a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumLt False Passed
29e065b2fd67065f9a788a367378db5e55b0dde0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumLt True Passed
66a8353643c11b912dcbe0183c0e473255fbe897 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumLt False Passed
ce05de6736ac57a1cdc0a0d5644eb95038c79265 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumLt True Passed
926da48d7d1f56ef8fa6e013242270eb39d35420 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumLt False Passed
573fa705411ddbc8ba8748e80599a319c653b3a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumLt True Passed
75c0c09d8575ee993d37749355d51e61a3960aea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumLt False Passed
2ae85a76373ffb6ba15635b0f4ded5c5e6ea3c3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumLt True Passed
01820071f025673fe4f57237661c27d6d97da71a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumLt False Passed
b871894fc5119d6f7714724683490472d55b930a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumLt True Passed
cd8ef38d790d9ba1dfdf02a120acf1ea9f54c996 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumLt False Passed
381468afa63f27e7b3cd83a4b5f95a5f717d5d74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumLt True Passed
6d5f35b764684a9ed4334a0bd4239ce6db989631 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumLt False Passed
529b7ea7b0fae568f1903cb585d48cd76db64985 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumLt True Passed
629c989dfa19a8199ba175913b8d92149e5a48d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumLt False Passed
c280fd825737007e4a1d8b2ce370596a47449611 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumLt True Passed
29c34ae48da8c27ab752a7edd7a3da2240ad93f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumLt False Passed
ed12552c2a0a2cf6274ddb283619b6abf0444336 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumLt True Passed
7f6178838567cf7cfde8ddb73d25a544dd657d33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumLt False Passed
ed6085e53214281a74103b287e4892d9e68eae0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumLt True Passed
048ea215665d63183e15cd562879408f354c00d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumLt False Passed
258e50ea4ebcab5961cfdd74690bc8468a77840d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumLt True Passed
da956e1a00e3bbbb465a9edf8b0922673bf8a90e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumLt False Passed
4330fec4d96093525b790c6e87f80221f8ab227c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumLt True Passed
97eeb6ebef972ebd24aadbc7802226c80fec8721 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumLt False Passed
ba5180d0c298c6a198715c0f5e465436af8fea90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumLt True Passed
752cce01fd6cbb96f162703a242fa4f165ff68dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumLt False Passed
4805b62440741306175e940c38dfa3f91b1d778a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumLt True Passed
537517b0fc12ea3723a7fcb1d3a504af813b3d52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumLt False Passed
b72654bbc3347dbd06a4de53fce35b11f27f931f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumLt True Passed
98bada66665c14ca0d49cf336fad53412c27febe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumLt False Passed
954af6e0bf83250d161090bc4968605544d14f5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumLt True Passed
58933e4e03780a245f11f50a01d9ca4e5d4609e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumLt False Passed
246ab3b11680e78a792bc6799119db4dc20ec000 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumLt True Passed
33ef89ad06891a1939ada7785545dad05692e466 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumLt False Passed
6022d03d5b6038ca5a5b9d736e4b832e824b2dd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumLt True Passed
f2c2b911e1d18b973307ef0e2519939a50dd9ceb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumLt False Passed
3b25461c22e5ff7b1b549a8210682e48caec6868 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumLt True Passed
e235a41046331fbf829491463b63e99f28c04e4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumLt False Passed
4f03182be868aadaa0bb2467c764f19be2bc8916 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumLt True Passed
9a36a5d8a7ee49412921781730ec87441d378f0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumLt False Passed
960ea6ed43b836e835748666b624b615c1546f64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumLt True Passed
74d592a67dcd4728a8025c962f22f1d10ce79899 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumLt False Passed
2c56ef97b9877722c69d5e486108a326ebdfe2ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumLt True Passed
98c9a7952d359be35f00b918c3bf0770afd64a72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumLt False Passed
9125db1a06b407a2df040ed8caf18fd497d9faf0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumLt True Passed
aad6d83aea5b1e2b89eed7358aad5fda1b179ff0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumLt False Passed
724ab11830c8cbde45e7cb5deef2d3cc59af87d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumLt True Passed
3f1f6846a83290866fe4260bf50e2bfc1d7867dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumLt False Passed
d765876bd2094b38cc41016591cc7e835b9bbcba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumLt True Passed
7ceef41418420e6e152690e8b8cafa0b4f3cab2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumLt False Passed
72d89597e05213b4c456376434724147bc800d10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled NumLt True Passed
e2485ebe7de472a95b36741c3f2f3bc22786f1bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled NumLt False Passed
9c11301b0f580f1cacf4c3b36191a9ec6b462e93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume NumLt True Passed
8d88be0beddc73c4df88ddaeaed49c10e2266c6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume NumLt False Passed
35da28e5df27c1d0105381787a06a435e2e603fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed NumLt True Passed
26f4e7de34a4c1a64f75ed7c1a2c7c6e3a0060fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed NumLt False Passed
d5874e1603f87a53aa69f2161219a3606c53d5e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumLt True Passed
d67b6bf3fe0b030998a9f340215420a96c24a0c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumLt False Passed
6e7535e608c5af990e8e4a7b17d6c5ca492af8aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond NumLt True Passed
f892f5a74452490cf9c394a8b27f20c1e3941028 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond NumLt False Passed
99bd2464cad347e2c455b098797c8db1e54c4396 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumLt True Passed
db6ffb7d488cd66e3754fe3f49acd132a7a0104d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumLt False Passed
7eac0978fef6d75aa2d5004d68a58d70fca802ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumLt True Passed
0d4bed39f05d064ae6a4535caf951013317746c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumLt False Passed
18f81166e746a8be8c10c741eecf6ff54f7d5543 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumLt True Passed
da9c7d698653e1e3534b9483761c0d83fcbf0739 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumLt False Passed
9c94c474842071b4dce084a35e44e7a13c883398 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence NumLt True Passed
54ee25526887ab1b31ced0a808d53112548e054c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence NumLt False Passed
499c1d7630d255edd704d8eb3365e934b833c806 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumLt True Passed
eba269601f75379251f309e9390928b4c5d8649f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumLt False Passed
7b9746e52b8b566abc663dea2c9d896a642a1dbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumLt True Passed
33b31c9380bda5e3ae95c5783d72b4cdd7f61bb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumLt False Passed
382c8b0e87dbd3297e403e94345aad625a35ffca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumLt True Passed
e5ea72ea7a201e6ddddac55885d2bd37f15738ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumLt False Passed
9286a9a7437e7e882426919e4ca98099ed74b307 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumLt True Passed
797262241c5700dde6b7c0bf8a202182bfbacde1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumLt False Passed
382911aa85ff740e3b7400a8696177a5163637bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumLt True Passed
c9b217a6bf858342fb6e3de2cc130c90b6f3a8f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumLt False Passed