Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
f8e72a8aa3a39f9ac194db088d0b2b57da7b73fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq SetEmpty True Passed
de2f5ec7e9f9b2aaf035f0b3386886096001beae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq SetEmpty False Passed
be627b3d544a90ce55bbf0968dba49c238db3dfa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SetEmpty True Passed
afbcefcdb62a6de68cfcbf8eef4320369d0de3e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SetEmpty False Passed
ff513da7dc17a8989120c32c3997a7c233234555 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SetEmpty True Passed
c67f763e50f47498062d570a104d3c24aafa793c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SetEmpty False Passed
a7da97579a0a82c744cd1e8df9fa26eb3cafb21f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 SetEmpty True Passed
6a840dde9389d47bdc8ef7cfa55d0e6f828450f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 SetEmpty False Passed
fce5243e9144ec81a198495bf7482625593397ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SetEmpty True Passed
a4e5ee8d911de3d5ab83de938547b8e062fcd87a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SetEmpty False Passed
2cba592730d48fa908e2d8c388cc726fbd2aeb12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SetEmpty True Passed
16b4af57dd913765354b7a2b4ec9ca8626f28c7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SetEmpty False Passed
27b4471ce3b4082d972338d6c68a6de7484cc81a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SetEmpty True Passed
1e29751567d5c144a04cf101ddf0a6dcff4ff310 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SetEmpty False Passed
83a14058ab5900760ea431e931f2b5dffb08e5d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SetEmpty True Passed
15f64dfed77c4d1dcc1d055e1d0af0408aadab60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SetEmpty False Passed
24c01bfb2dbc106539062dad3a89997a3d3bbee3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn SetEmpty True Passed
ece2cb7d555d7f4a2dd4661d826aec9c5fc21612 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn SetEmpty False Passed
3ed0b17004b77b321e87256f5ecb35b5809c37c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record SetEmpty True Passed
74006bca7c22061d0d126ccf41fc548fb0ca4b33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record SetEmpty False Passed
4e18b0ffd323798d89748ba914383c07be35c935 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple SetEmpty True Passed
a7633c5be57cf9494ddf74ade1408a91d5954b74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple SetEmpty False Passed
2dfe0bea1c9d3738e7bf7383cefccc2e770d5f94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SetEmpty True Passed
4d586eedcc0210b09f0c46b93723dd8cdd45f79b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SetEmpty False Passed
c4121d3e29a21ff6f511b0ce7293ee83dbfba307 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SetEmpty True Passed
54c41da453183b10f35c8161255cefb7b89b4123 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SetEmpty False Passed
2435e0c6b510bf0ff9599e1ddebc2dcb85d91b8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt SetEmpty True Passed
8ff3dff1680d3e374dc1df48752982ea8ac06dea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt SetEmpty False Passed
cad44bb6bc0d667025946677f2f7dc4c762bad02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SetEmpty True Passed
a2ec702c3f02e3f7c4210026133f002026d6b09b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SetEmpty False Passed
32154a19e43a8ef228f5e3d8e741a989b7bfd5fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt SetEmpty True Passed
9e6c16f0461ae101dce499f57719dbcc6def0396 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt SetEmpty False Passed
b30d78dbe1d12442a38907e7c4ecd4d1c5fd7196 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SetEmpty True Passed
c259b44513bd492ff92fd3475e6d7e0dd19b6a24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SetEmpty False Passed
11d337a76ab1abe62c46d4e73ddd7c4006281e4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime SetEmpty True Passed
7e1de6be9877c80cc9f08257d5a5b162151904f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime SetEmpty False Passed
15b8afee0d5eba9ccc606b79c28c374210bb7472 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SetEmpty True Passed
ab24555e76dcb4e6c840a891dd1f84a111c2afb8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SetEmpty False Passed
f87f0250f13c5a5202ab67e9ac6799d341bd670d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SetEmpty True Passed
62405216f8b0afd867dc613451b5dce2b92eb336 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SetEmpty False Passed
efaac78c14a9e6c2e6abfc60c39ab9da8c5b883c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SetEmpty True Passed
6d4e00174344c86c3f69f9e458e8d01705b8aabf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SetEmpty False Passed
89270d638e2e189202834bc790e7edba2bb5c2f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive SetEmpty True Passed
e233fdfed16904a2964d7c4ab2908ccc996d76db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive SetEmpty False Passed
38a8e7f504a90060396e3b844abd6be09089e3e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 SetEmpty True Passed
b1796432999dcdd859754bb46e24afcd55ff14d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 SetEmpty False Passed
3b38497de4b43bb7f7aedcf6af00b8db370bee39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 SetEmpty True Passed
3dd6ed7853f23ea5c3bd5924b9160d503c5526de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 SetEmpty False Passed
a1114f817b948eefe20cdecbf78582dc0bb481e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SetEmpty True Passed
515f27cece4acc285b7c9d161d95587c7a9d17ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SetEmpty False Passed
453437db188898b6ec77a3c856703d9a6ee97c03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SetEmpty True Passed
32a92116a4c1ec9a2f53f7b4bd71cbc80b542abf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SetEmpty False Passed
ba890f8f2d0dfa1946842691039796b3b5353889 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 SetEmpty True Passed
f80daea91ced2f84c6ebc3a7b490cf54c344bb92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 SetEmpty False Passed
b82213d5d9276e2b5f92b2f89bf2fe63d2e89463 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 SetEmpty True Passed
e37cddd66159d54f2828a1af0f560ff3187321c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 SetEmpty False Passed
7de45a6af2937f7e98855d37871da178d2443a78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SetEmpty True Passed
f74f843ab5ec0d0993d00a5be58f20e3ac67cf86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SetEmpty False Passed
db24189af2d9e829371b50535fd102870681e4b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive SetEmpty True Passed
600272870ded1fd8a1f54be59c3e9bbe8855c20a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive SetEmpty False Passed
92c9b339aa66082f704712eda6713659eb5d78ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends SetEmpty True Passed
7b7130f5bf29e9d8943c92e51f6314c827c73a2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends SetEmpty False Passed
f7ca8f9cf7f05f88f730552b2fc08b0bc164f5e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SetEmpty True Passed
7bb83b9c7b82ce17a25df742850483bc4cc8208b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SetEmpty False Passed
32cc74fdffc7e83242dc9f65dab403b3c957429a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SetEmpty True Passed
435a08be08b1dcc3610ef36a8a2abcde335fcc91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SetEmpty False Passed
5c519487d263997037a3187f7c59fcb78407ef37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SetEmpty True Passed
ab1e1bc7baf0787d0d115041ae582bc189940594 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SetEmpty False Passed
1575741e65b6e55478ed2139f11f4923985d77f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant SetEmpty True Passed
8a4819270d53f25e002cd0c2d73007badac5c5f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant SetEmpty False Passed
5e725b47083dc5dbc3cff24ac51553f2c42557a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SetEmpty True Passed
b1f3d0160e98fd78e820a647525f7007260967c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SetEmpty False Passed
0b6c47d59809f57bbc0e1e0786cebbc712042a45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance SetEmpty True Passed
368196194ccb570ff1a8ff72e8191cd533813a16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance SetEmpty False Passed
7b5f3afa4a148c3bd0f77cf021f19b49b5aee479 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SetEmpty True Passed
b111ebb646a54f78a404fae88ce1c603f49f7ff6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SetEmpty False Passed
b4ecc6f8ea544de2e7ec7fc843516a88f64ed1d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SetEmpty True Passed
98b46eb9b77b784d76f6700c0e570824a7c517c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SetEmpty False Passed
5639141cf19e79c3093f8cd77c49d3fdbffd7c4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SetEmpty True Passed
89a773d1bee31a4101757dc69a3f387a647a7226 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SetEmpty False Passed
b871baad0d2a6a095d30cca06e45fe9cf5e4e71c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SetEmpty True Passed
b49b8ff2463349d6668f8fd0e5b3569a7393ae16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SetEmpty False Passed
3cb69c36de5100c7424745f7796c210601982ea2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SetEmpty True Passed
130a8a6e4bac439274aa720f676c2914ad49f6a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SetEmpty False Passed
59c4ff1f464c0bb982d5e7d2792f12333e0326c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SetEmpty True Passed
ec48cda7025da1aa6f6be1b5bb169423731ad65f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SetEmpty False Passed
41964c65c0604bf1a96e618069ee03855be625ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SetEmpty True Passed
05eb3a49d1974f61f70a1f03e06dc506a3d2bd25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SetEmpty False Passed
ce495ac9c75a69c8fc42b7722b4ae3eb8d2b0a25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda SetEmpty True Passed
f4c8b3db42e318c46664736835e7aeaa460d2e97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda SetEmpty False Passed
a41fda477b4e469a0e7d8f646c826d151f7f2c68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 SetEmpty True Passed
b62d70ce885bfba05e77977cc6d7e90ff918e540 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 SetEmpty False Passed
3f20518e9036d224d09781e77e860a3e22c23680 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 SetEmpty True Passed
c84ecae6ab5d4b435db4c3e8421115eda4599953 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 SetEmpty False Passed
f83b2c63d37cef47bd6382053b89eca461ddc59d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet SetEmpty True Passed
b74a538f846862e3d045b39ed5b0cf2151dfc646 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet SetEmpty False Passed
0c3ee9f972f1a736e55356654153dd0b3d474883 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet SetEmpty True Passed
61343f15e1cb4d8954ae28090a3415e7119e6160 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet SetEmpty False Passed
405a8676852a22774187a924ee0dac2efeae7898 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff SetEmpty True Passed
e711fd3b740948175cdfe4849cad263b29901bcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff SetEmpty False Passed
fd31c7862b2729b01aede0bf90616faab4b8d7de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion SetEmpty True Passed
4eb3aba9791c4924776057d1f83be575d660e462 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion SetEmpty False Passed
7aaf01c3be172e884b3248fb1f0eb5463c8bbb57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect SetEmpty True Passed
ded28b6be31dbe639fb96ef2164bef7a830fb564 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect SetEmpty False Passed
051eafa1d39bbd08bfae8af84c9e504fca34c8c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq SetEmpty True Passed
59b29cf2f1ff1d34e8880a5d89e1ae3a807bf2c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq SetEmpty False Passed
7d0daec1373910f23fbf21af615c6180c7425252 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SetEmpty True Passed
b29617136664072880af99c8b7f6c46217466490 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SetEmpty False Passed
64e2e91603ed44d417b26477b0ad27fe7a7c72b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SetEmpty True Passed
f1f2a556bb67e73f93ab522e9f5666b84b0564b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SetEmpty False Passed
18921fccb15a5df1c945be5a36b5667ca034f290 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset SetEmpty True Passed
43893aa6e507c7fc57e2b55995d4d63c09c1d2bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset SetEmpty False Passed
bb1aec92ef2a91352dc4cf6fdbbe8c961f5c384f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union SetEmpty True Passed
fa0c6f21e65dc42dc2fa782df9e3b1e934b68b44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union SetEmpty False Passed
920011422c172a0e8e5fbd34e6de67623646cc2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SetEmpty True Passed
b63cb39f0e2c9a3dfe1d185cf3d55254749e8614 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SetEmpty False Passed
46b37bafb44a9292efb2b80d7a113f22010478ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq SetEmpty True Passed
a692cbb90b67214419c82053d98c7c11628976f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq SetEmpty False Passed
90653112c4f9cf12bc2d3f416d60cfab8cf8fff1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SetEmpty True Passed
e5f44e639249002443c0ee274d8e150c20abce5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SetEmpty False Passed
382ed032ca4a4630bd43255e358ced90ba9cd2b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun SetEmpty True Passed
585b120eeed3c5e17257244f390b06ff9b7b8347 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun SetEmpty False Passed
3e7921a95156543872af8fdbae98466a5480f6eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SetEmpty True Passed
ba70d42cb7e3f0a5a2b3aff47a3a747314f5f3ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SetEmpty False Passed
b516c57996f7a96129b53af8556d42719e1af3fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag SetEmpty True Passed
60d0d7fdde0e1cb4342dcc65ebe34fd9ef5552d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag SetEmpty False Passed
44460c8ca344daa01e575f75213316c46b2ea03d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SetEmpty True Passed
1c8abdf4a9235eeef66154298bfa28ad7b40e43c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SetEmpty False Passed
1b1d69251e9bb846f2be7481ab5c8ff2daae1959 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SetEmpty True Passed
be6d67ed83a6bde19abdca29a7e1fa5c23d6397b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SetEmpty False Passed
fe95dbc4f21a437fcd7df3e98dba0c3e4d201063 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion SetEmpty True Passed
00e821644b7b81fd291854e7ae80810c277b8c2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion SetEmpty False Passed
2459599f1c52a35f1a351bd576b5e37bb1985129 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet SetEmpty True Passed
75488e9e4df271a25b8c1fef93a54215e61ebfbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet SetEmpty False Passed
60f1c1c8ae9ad51517e02f3893c1f36d516cb666 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality SetEmpty True Passed
efac0756edf2fa16131068157ae39ee164c6df25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality SetEmpty False Passed
5acf96404e323c8904d48254289b61a09c5aecef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SetEmpty True Passed
35a5b4046db3f8716f861282a65a67bef2d3c91f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SetEmpty False Passed