Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
9bcb5bd2344b51136ef5e3741966ea4eb48a06a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And NumGt True Passed
b4e6cbfb0a44552dfedee65d4846dc67915e5d92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And NumGt False Passed
ef46bef85bfa9b05ad14e879497ecc88da12e183 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine NumGt True Passed
5c55a60e05aa91596048cf41d39838e9cdae5d2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine NumGt False Passed
5b4523fe3eaaa60ea6f86708823cbe39a8cfb99d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply NumGt True Passed
e243dfcb7b49c85d4b8f4afefbeeb0932ff613d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply NumGt False Passed
027736f0de4559c2dd77da8847368a120aee9f18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not NumGt True Passed
adaeaa7b01dbefcfcb918d1d7b520134ab7f42e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not NumGt False Passed
87f4cba570eb26c34d4d3496ebb69ad9bc176942 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or NumGt True Passed
b5c65f6ef714ea93039be1abcf1058ade1b96bcd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or NumGt False Passed
ab2728363ca900b2f7a3e7a1bcfbf6fcac022d80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine NumGt True Passed
2b825180107e5078d237ee2e86d89e80c5c35aca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine NumGt False Passed
d96e89bf5087bab844499599c94dd6619666769c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp NumGt True Passed
82f56c2322d293d02b22fd25926161cb5732811c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp NumGt False Passed
758beaf915ad3988e82269a83ba66c50efed19e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed NumGt True Passed
fc7f05a8c7bfc133e3d8ffd54cea5688aa1afe3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed NumGt False Passed
be97519001c56612e382b548bd3eab87891c8155 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumGt True Passed
d00a90d6504b31f66d77d72387f9eb7328bf6ae6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumGt False Passed
79e6d09ee6ba6d84eec3c74acea328480427beca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumGt True Passed
1035721d351230ff1887ddc69a4f6d4625608482 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumGt False Passed
be8260acac2e91540fcaeb72153bdfafe1b3306e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumGt True Passed
7c297f94d6fa064a700cfea7499866f0cdca3d15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumGt False Passed
71f0a6e813225897ee6884316eb7a8d05f4a0365 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumGt True Passed
3c5dfbf9e320cae131c2b17665a0384c9c7f8159 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumGt False Passed
f495e8ae576b5d9cdc13f2c1646ebd1f7a18b7a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumGt True Passed
57cdd2ddecddbf77aa88dad5effc1341071c28ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumGt False Passed
ef4f9809ecbeb5165bc0b31cef7e4711c8de5777 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumGt True Passed
8bc8e438f5b1797fe5f4de6429293ebf7532f55c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumGt False Passed
33a782f3d3562b8b2906fe304382714110cf5755 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumGt True Passed
a71c23647520145750cd14b84183638bf5623b57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumGt False Passed
0af1a69925afabd643229b0fb8c424bc54b39588 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumGt True Passed
bd0ae5ec9e7fcec49a84ad52c1022e413407e3d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumGt False Passed
2231fedf5d6ee97bf22988839c255e43fbe78279 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumGt True Passed
c0ca564eadd08582272cfc09deea5c8f0d9e7cec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumGt False Passed
70a6a5e162e7c28ab929b7312af566782400ec75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists NumGt True Passed
ba88e3153f7f3fbbfe356a295755f88ed0bbced2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists NumGt False Passed
fc2aeed4f1eafbbce7434590977b7231f3ee5109 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall NumGt True Passed
98b27bde8e53f5569a88de86ea7fdce47ddf129f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall NumGt False Passed
b0ea95baf31476cb60d6295c59083370c0a46085 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose NumGt True Passed
166804e0e6eab8b5999ae2ddc8c9550a3748ab5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose NumGt False Passed
feaeb43e94215d094ef08dee887e4a901ce3fe1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumGt True Passed
38139d341680461053f6a9ad31fe747e0aa7cb11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumGt False Passed
fb30345da3f0759c6858267543dcc2b1daecbc4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumGt True Passed
c6a185adb6725355700f513ee2612040a8fe9925 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumGt False Passed
3c088d9c5f1a573fa31ed610387bcc5efc8f3f29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumGt True Passed
3eef530a5aa9b8755dac0fcee43137c135ffa2e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumGt False Passed
2beb46fdaf55b7cdf7630072833c8c080fb7c820 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumGt True Passed
2b4e50ce68ef1152b3f0178284bab3508f238828 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumGt False Passed
3092824280cbaa2725859b726efe425c79a4e467 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumGt True Passed
60122a857ced056588e178a9e5b87ec85f8a7f81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumGt False Passed
fb886884ba4859c61b1aed53a602adfc4738ccec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumGt True Passed
2635b09d9e489d00456972bb9525cc56cb295269 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumGt False Passed
5558870a98efe4d3699bbb5ab7b1025b624ff4b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumGt True Passed
78b1499aba78091043b1432674cbca78bc6e7195 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumGt False Passed
c8da25e9507dd119a525f8eb7ee0e86abfc3c103 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumGt True Passed
f615081d6b62fe87e4bc8d69d236d47ca9dfd65b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumGt False Passed
8f2b617601c980c8581970e12ba27887df8dae87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumGt True Passed
b79f933f234cab8af58e64cad09378a2d14afcf0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumGt False Passed
6c546f09bbe448cb107ebadff61f3f48a0348b74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumGt True Passed
42340da7f0e45b8f345bf3a4214dc67a9f4b2a3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumGt False Passed
e907c1c4d903d1905555adcdffa4ae8944d101fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumGt True Passed
7845df972bb55952ba6e9afbdac0ca63abcf1f82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumGt False Passed
417005b54191e2c7c93e27be17be7b15ca4867c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumGt True Passed
6170a9b2dd3007282c16d90bf5a60912c326e8cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumGt False Passed
8559a056a0a679d98a352cee83b0a8ca3433e2f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumGt True Passed
315d6b272d76f2dcb7edd1a49381a1581d7f463a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumGt False Passed
47f9743743e7bc6bf5b16c2fdb4f43ae2751c7f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumGt True Passed
f2e098f22ae208d81fb6ab92537b83782c52daad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumGt False Passed
13474db0c2d1fa63f3539180406430ee04912a30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumGt True Passed
4a9a34d7cfd96ddd841ab382a529031bc500a7b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumGt False Passed
eb68936f3da8c4bb61f9841672840a46f0d7cf5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumGt True Passed
ac17c3703ae110960c3693fb2e54149214b3ff08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumGt False Passed
1b816c09d23531affbf7f8b792e324ca275fb9c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumGt True Passed
99bd8754e56a146da55016820e95f54b4196718b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumGt False Passed
964c1213f27bee42239ac58b77f27c5ebce5d04b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumGt True Passed
2462e5a8ee9c7ee761ffae40f5b53557b35c10a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumGt False Passed
25ad4bcaceea19a813e31e67b7d52b77d332f867 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumGt True Passed
31e806f37c9b43608a18b78c2dde097d2fd36f36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumGt False Passed
17bc5b6b2504f70773a49c69a745c292d5d79582 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumGt True Passed
f5a52b99be0938c459701eaea647b557178f3c20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumGt False Passed
0da05dce977802bc0d03b9d252f7c851611b7e82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumGt True Passed
4e1eff9d2c3e37e85dd7942fcd9025a238bdc645 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumGt False Passed
9c0af2a417de13913fd08bbb303516071d740696 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumGt True Passed
4a820fd8e017fd42612c12763839ab27ca89b3b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumGt False Passed
090ddd2b6b07647588add42a6e6c98a5d991b998 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumGt True Passed
d70179417672bdd6b3417dfe549db3b39741f005 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumGt False Passed
90d45e4a6f7693b633593a0292e1abeb53cb9f67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumGt True Passed
e071c26dfbb8eaa558cb3efd1faf92f4d9652d08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumGt False Passed
6dceef8846715980d9aa3f3f85b201bdb6e78e59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumGt True Passed
4185a6087036c84df39556f44153b76885f5812d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumGt False Passed
98ecf29bb9fe25a8ddab90a110de109a182eec77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumGt True Passed
fb9fb92f88c6ca7e418dfb4d581743b80fc9e1b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumGt False Passed
5df83f26bc8ea07aa264ad6ae86438c69bbbcf65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumGt True Passed
93fbc3deaf8dc2542b0f6bb4045f1c9393e17a88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumGt False Passed
1d92f5323eb21427175ab7d38f05f233b81a82f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumGt True Passed
76b9688f18fdb62be84c68bb298027e14bc3dfd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumGt False Passed
c1051bca53b75df4ce3a94699fb6ffe9c433f0ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumGt True Passed
9eb77f67a12fc26fd17c4ca63fe36420fe356ed9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumGt False Passed
16dea4474e1648c7df814838b1830659992a4e82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumGt True Passed
03e104ff80444b89a89b1f12bbc3e653fd6c0038 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumGt False Passed
f34f26b8136007ca569891361f1e4fccc0305430 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumGt True Passed
eb7c2fcd67cfe3a0f413347627163d5242a12aa3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumGt False Passed
6a6060266cf796e799029299fa4ed15cba57b4e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumGt True Passed
b48ac5ec45963fe3f8b7da63e4fcceda9d810e5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumGt False Passed
4508c222a621233756730f62cb16d7f4ddaa9af6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumGt True Passed
bf3c50f63fc3dc7f8f667a3732bebd400c0efdb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumGt False Passed
6061773b02d1f75390c012aae0d59d32c9559693 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumGt True Passed
4687abddbe4c90e36d9745968563ef825b10e1f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumGt False Passed
b8569ff8794e45a4ceb1878665ad78e967608756 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumGt True Passed
2f1aef79f97fc3da624655a64154e5a0f874d7c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumGt False Passed
2d01969abe67b6e34359abc40047dbd7bb7bfd82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled NumGt True Passed
e39fd6af6a204a01814abfc0f7222da4275fd40c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled NumGt False Passed
4d95ec4c0f011123e4ff7e68131a0bdfd12830a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume NumGt True Passed
ca79ffe6ccdfefa997a402de2832fe4917afaf9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume NumGt False Passed
0d23344745ba7308575f6de123fde0e4814a86d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed NumGt True Passed
405adcbedbdb460e936bcda14d86376cdb71206f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed NumGt False Passed
714dbe84ef7d13fd8d35cdd6da8c29f30e291937 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumGt True Passed
9c019f361b62db5a1e8b48788986311872986195 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumGt False Passed
16507fc74e3fb105a60073d40ea544534fdf7055 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond NumGt True Passed
040e98eb11cfa52ed7c56f5134bb89ee1a825cdc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond NumGt False Passed
e734e47c37220b39c6c446fbcbf0be45f1442ec2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumGt True Passed
654eaa84301a7ccc3fb5cb3d622bf6147fa6ff56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumGt False Passed
ec4279bbc1083ca877ad7df6ad820c1688ac64e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumGt True Passed
8655262503843aedbbd8ad8f5ea9942f0133c1b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumGt False Passed
5921dea29635f7bdfa9ddd36f08d31c594e6a1ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumGt True Passed
2909897c48c93a16512486b6e0e6e820b111137f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumGt False Passed
7b78f762e3ac5d8d9014fcaaaff91acfe1bae9cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence NumGt True Passed
3787e00dbdaf0d9fec3765183091dd2e4b173c68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence NumGt False Passed
0d6ee30b172eef63cf96158071c293566084fbdd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumGt True Passed
f389eb3053dadadd3f010ae1b7454ca715b6b6da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumGt False Passed
c71648a877c56e7d6d2a6da6692bdf068ef14d41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumGt True Passed
15e91e8cc27de778f3c4e61d5795fa939d95f570 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumGt False Passed
cf9f6bc8e2102b6ee14bc8eae4afca78cbbeade0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumGt True Passed
34868191dc697bf20c7208c1cfd80f170b5f35f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumGt False Passed
33dc3614f779258c8f0162b927de2b8eff820d74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumGt True Passed
6bf43132791614cda81b90e31fbf57b8c5c5e8ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumGt False Passed
4dc4624f860c77d18785d65f1034f9a1bd5b425d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumGt True Passed
4b98bb9b2b6fcc17a5fcc98c4f7d52acaf6b2047 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumGt False Passed