Index

Tests by case feature IfElse; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
f5e74641638c6c4ae7dd230fb19334817a51daa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse OneLineComment True Passed
25093747fdb6d54c56f6c0e79cd0df23c04a1f4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse OneLineComment False Passed
36c93dec85382b8df1cd06461af73a86d75f61a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse MultiLineComment True Passed
e3c613e5550201b70c1399a69af05f898e9fe9a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse MultiLineComment False Passed
70a2fc4cde7c2aa9c847eeb6479dfff3945baa2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BoolTrue True Passed
cdedd16d2fa7850ef4506701d3d3ef59138cfcc5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BoolTrue False Passed
d7c709147152b76c49a800aff49637a658597c76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BoolFalse True Passed
8d43e0b6dd9e9d2c8114194897f29dd83223a7cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BoolFalse False Passed
0a586a73eaf1e48cbf140d7ec6abd105d4c67e01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BoolSet True Passed
34e5063826adfcb00084ed9d750703dae1e78952 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BoolSet False Passed
a2e285b448dc4239fb8541682afb692c93fce09c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse And True Passed
c8b2751b7263fa7cb85caddbf96de74420d54e8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse And False Passed
69184d6e4e92a9e24dde967367cecd547331f9cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse AndMultiLine True Passed
d610ad6344f4eed1a3ebd8fc9a591e585f305406 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse AndMultiLine False Passed
aa24037aaabbd4d34e8f21490c463db45a05d79b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Imply True Passed
874cac18632a1eb8f71ca2dee9d9d5472a6e8c68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Imply False Passed
e7ddfc8e6e1e1837374c5d0f24f83e534420ad88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Not True Passed
cdfbf2da5c6df8d332325ce9f7261083a06ab5d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Not False Passed
f3ac3bbe658c2ad8ecdd34a2fff44e563a410060 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Or True Passed
890036591886a131df504e8b5bf20c396d4655d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Or False Passed
fbfef31ed50afd9c4f669850d03af217a5a5eee4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse OrMultiLine True Passed
ed858b1e1ac2dfb77e1d29663c00a8d3cbf0078d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse OrMultiLine False Passed
ef25ea32cf727c48361c8ef52ece16c6d631e3aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Eq True Passed
9480460e66d4fa5c21549076c818309300f2953e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Eq False Passed
468292ea88ebb239937625e3deb04a2a74afacbe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Ne True Passed
d9410a2dc23b8080bf9bf195fbcd5f3698d4520f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Ne False Passed
193b513dcfed9f75448ec2e35e49acc6a9cf619e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Let True Passed
0477a0a78603fa7a28805e81fcb0d5a17dd8d6c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Let 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
0a907b71b07fa26c77377d194fd93beffad36159 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Set0 True Passed
46d97cb019a99203a2b6a5957a49ae303ca7ff4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Set0 False Passed
ced34e6c32f45b0cc1af7a80c280f0856b350ff1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Set1 True Passed
01bc29c820a8334b09993842e5a77dae2fccb2a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Set1 False Passed
8beb92a0fe2bc44df33e464b7b42aace1cd84869 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Set2 True Passed
b821f17ca2c7180fea5c18a7ba82332b74c4da20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Set2 False Passed
2ccc6c398fcf3add5a8427c59e36e0e0b5261d88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Fun True Passed
1be65f88d9da1b8eb25a234c0f39ea8e6dbf6ba1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Fun False Passed
5b0f9087d7051be09c26b6c5f7cbf7a0b3763507 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse In True Passed
1c5adc769949fb06450001fdf96a5cf95ce052ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse In False Passed
5b5af34d395be4b942349263dee2f8c040cbbd9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NotIn True Passed
c343254ad650b3fcef4015cd901e353bf24e59e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NotIn False Passed
8ee355af09cf8fcdf918b30bf9e5fc2c93f67434 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Exists True Passed
728c9816e80ceab2d7d7a9aca7d0329f42e2985c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Exists False Passed
b45fc97d1cb88e2df23c8c574012ca562274ee57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Forall True Passed
7d15d9ca9791ac3c0b93720d6f1b94b89cf56aea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Forall False Passed
f2cd0a13dbec599eb67982d46519ee483dd27301 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Choose True Passed
2e73cfbb8a643bdf71fb75e273055b289fa35463 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Choose False Passed
4873a71dcccf0d99b55e489533910365089fdaab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Record True Passed
73fdf209815cffa3cb2cb1e5b9f4724661238cad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Record False Passed
7aa241179ec4fe31c7eec4886d81d686dee08ea0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Tuple True Passed
dc6716c8710269dd8dbbc83ceb0afc259440f967 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Tuple False Passed
285c5e39cabd2968671f5f2d744535cc4d369f24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse TupleEmpty True Passed
1dfb70f5eb986167bf84db867c367620a7aedb33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse TupleEmpty False Passed
a08472d4fd803d2e17d46f68901a7cce9d985730 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse FunApp True Passed
fd1bd84af26f990b570d8fd36747e0cd9d23fd59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse FunApp False Passed
8c9f000803091276810b427ca7c40857335223ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Prime True Passed
c6617bdc72f9da87b43ea11e95e4990f3f8060ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Prime False Passed
10dfe36b4a8c9cf300f6422a15320dd83ae0c82b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumZero True Passed
d5428ab86257cec7abd8b6427f2f57a0db4b0745 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumZero False Passed
e999ce4fb87784bbffec35ff57f06aa952783dff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumOne True Passed
372a7907a5bc69fec98d749110daa7a519d64374 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumOne False Passed
4d8ef5b2c05b53b605bd3913249dd8b3cd71430f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumMaxInt True Passed
4f3e398828b8037368f718ac2ee447dea818711d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumMaxInt False Passed
107c692a275ab3b38aefd271503a9433d1ea898e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumUnaryMinus True Passed
49412bb50c266c90515d06ef07ae08b2d5d151cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumUnaryMinus False Passed
fd55d3659a3a9d54c849a6124e1901c37447610b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumPlus True Passed
6e88414ad7c0306b7a24cbbb7217611a23581309 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumPlus False Passed
68d17f75d83fdb4cf1771c7c5fa2e0abaa54e30a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumMinus True Passed
6471226616f903dbb363be559b5e86787c024e02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumMinus False Passed
d4d22200486889add1338625518ba6882478152f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumMul True Passed
e6ab753b15b033a22f44c07b9a4c98c5c61de175 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumMul False Passed
c3c00e4b4e1d2815780f8c4ca3c60a474544e034 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumDiv True Passed
c46f9599238ea2d4a90b6f1ce76a445616e653ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumDiv False Passed
1d831de7b5652c467f082c0eaf22ce0ee1b810bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumMod True Passed
1c62b6c2ad8a48d84583631ce3858c4a90e79b00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumMod False Passed
47a3d8899d5b6020fe96a55a40258ff027dd833c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumPow True Passed
b6d0f1fa119c03cb592c82625ff9dc506c7aafca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumPow 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
425a5143fc2a206a9c692616072c853908163176 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumGe True Passed
7e0b3c5c8d6bcd79cdf43eb8f4e099635d71e49b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumGe 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
a7001f7c0bf4b0f1ebdf96483b2438a29330f870 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumLe True Passed
3dd74560267db8d46308d676d8b090840d98261a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumLe False Passed
5526d165fa64b42ab24388acd71e3a38cd7ca4af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse DefFun True Passed
74d2ff9ab101c895c77256b2dbb0f10e078b86d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse DefFun False Passed
4c581ae7a2230ae2969bfc0287a2531e4568a703 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse LetDefFun True Passed
b146b636e48a012cd4c5d38b183ea69d3da0341b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse LetDefFun False Passed
034690f3cba8a49660af31a8268bfcc968fb231e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse DefFunRecursive True Passed
0595c17f35239e3c107c32d6f5c0799a16ae4c8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse DefFunRecursive False Passed
5a4948a11a9087d4d4b7acdf424d5f4a47f187ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse LetDefFunRecursive True Passed
c4c92ddd99ca77533e5fcdb2f782ccba09f1798a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse LetDefFunRecursive False Passed
2aae191b94e877d92569db756d5c26a85279a1e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Def0 True Passed
8620230462a0be838311575021e09948f589b6a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Def0 False Passed
f43077b166852063fe9892b839742987098a7f04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse LetDef0 True Passed
58666e2e55ae20aedb37b5effd2f5a330b5bdeb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse LetDef0 False Passed
f3da45c119b53378bbd3a0f096bb1d591edab2de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Def1 True Passed
c86a2c73c0dd1a2ac913fce9cf101a6911d48cb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Def1 False Passed
7e5f218a549790847336f713e5a325e1c77af6f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse LetDef1 True Passed
8c98ef0c913ea1fc13df190bf2ebd4989a32adcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse LetDef1 False Passed
1ac89e2cc92bc0dd8e7b4dc56c90f1e393aff75e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Def2 True Passed
b327c60cd860ad3c6b62f49d1c0ceedd97a50302 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Def2 False Passed
e69a6385e2c5f0b1e6598a41f2be8b822f61744e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse LetDef2 True Passed
63ff89f4d20e2776e3a63cbafe49b014811bee42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse LetDef2 False Passed
b70cc37b397949390c1e44725e647a6b5a837ead TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Def1Recursive True Passed
a4abb662a1482b5356c84dfd434221ee1a07e48b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Def1Recursive False Passed
9c02f322e6d23c6fddb976374b9c7c53eed79877 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse LetDef1Recursive True Passed
79adce430405c21acf1c144d2899745b6cb896ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse LetDef1Recursive False Passed
fa38a97902eb7e624e1d715ebb2a6a6bba442673 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Extends True Passed
f1962a39add1768240a27d81f4129f8d5d4ac3f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Extends False Passed
de4a61ca694af42b2e5aab723bcfce111aa40a2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse ExtendsInDifferentFolder True Passed
6e3e00e24517238fcbb5e5b0d51bd865d87a11ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse ExtendsInDifferentFolder False Passed
3a0e96b8a4855880decc9aff38d06c15b86cbd54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Variable True Passed
3121f98d9424f8d6c8f74570c9d1ff704ac208cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Variable False Passed
a9ff82e384c77460d4c405976dcd4d9069d53bab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Constant True Passed
335e67baa15cacc6c0234877a5af93df78c98c08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Constant False Passed
35812cc35524dfea9dbbf465e2cdb34424d1ecfe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse ConstantRank1 True Passed
bc1b86352627dcd507777d79c43c10a08c307c77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse ConstantRank1 False Passed
15a8f0f9048a5cdde9bb95c2029ea70d610da64f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Instance True Passed
9f07f23c854d772414505fd1b932615f4926e850 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Instance False Passed
e4384862ed2a0e4031564f18b833e4d65f9f5533 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceWith True Passed
aba5da9c496ccb30357f6c7818147a5f776895b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceWith False Passed
edb13b07a84fb5019118b7145a21e3263bc0828a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceNamed True Passed
522bc5c5c7bda25b581de6f8cb654d694beea415 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceNamed False Passed
f9630a2762ec23c016a6648c195144a4fcbdbd0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceNamedWith True Passed
f66dd74ad78c9977c829e5fe1679e7e3d8de835f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceNamedWith False Passed
7b1630c707152a60b37d21662856ee3e7be08f1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceInFolder True Passed
8ea3880da2ebdacac4ad2986964b3311925a0ec1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceInFolder False Passed
9b81f9a465e4984cd7184b6674e0f6ba755108ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceWithInFolder True Passed
508fac88ece982b97f9fd1e2241ba6d67e84b572 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceWithInFolder False Passed
dbd451ed384f4216ccb7a939a6ff07f958499450 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceNamedInFolder True Passed
8f510ff88472e6fbbbba78675882003882414732 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceNamedInFolder False Passed
13fe45389c0c13d6d53f6f8be787c12a3a43895f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceNamedWithInFolder True Passed
72123f5393c0ccc2bacd454a54bea9be7b75f09e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceNamedWithInFolder False Passed
07549ea88a59ce99b68dabe6ecfca636c63dc315 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Enabled True Passed
6c2401b84cd2287365d61bbf0015786c6355001f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Enabled False Passed
874cb4b9bc48f569eb80057cac94da204b0e8d86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Cross2 True Passed
0de349832a454dae3277f9450462f4548fb3d792 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Cross2 False Passed
8f43ec62d9f061c2dee6c1339e9f6151849b35d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Cross3 True Passed
d13ec826932e39578eb432b412a0bb8f8bbb4423 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Cross3 False Passed
96bf7f44f75499dbb04e95bb9ec3ebcaf4cdbfa2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse FunSet True Passed
aa0b07bb2f038442d11cc6b1af3b710d64757dd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse FunSet False Passed
64c4d0cb426d565940e0f24a3a4748c3282420c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse RecordSet True Passed
8a7e9bf1b0644ed9b5458909f3eb06a9b6a36cc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse RecordSet False Passed
aa8f018e4d76976148297bac6886ebe2a68cc16d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SetDiff True Passed
3f7944d6f5b9ca6a2272d6f9c462830564187732 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SetDiff False Passed
e9216044a0032d62ed58ceb7a81c39141480276d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SetUnion True Passed
f526fdc265ff6412795ffb2cd2dd349246efca0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SetUnion False Passed
2aa8611dce6b9842dc0bd9a0c59eb55959cfc45b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SetIntersect True Passed
7c74d5cc8386023b45481f73a3d4fa13885b8e26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SetIntersect False Passed
1c9ab320ebdb42a09b6a5074cdbee738681caf46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SubsetEq True Passed
bbd2df610ba9b21d13eb3029a7620963660a207c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SubsetEq False Passed
63f6f2a713416193c253411386aeb882e5a14446 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse IfCond True Passed
9479350e420c9ebb37d5af624f0a22862328c018 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse IfCond False Passed
7e8d570d6f2ae4088b8ecfd07e8843f2fd1474d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse IfThen True Passed
67c1c9e6f736cfe21f17f0b9581bc134d6d80a5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse IfThen False Passed
bb140085a62d5388f73033dd4ee1f5b8f0654332 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse IfElse True Passed
e1aeea0f1859aa4774eb266ce8cdef833a9167b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse IfElse False Passed
f3878a27ca29e426778f3d6c0a4e361a9cab94fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Subset True Passed
86749fea552b3a18da55425f5d4e335031a1cf13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Subset False Passed
cbd8b5465fdb1def325283b1f893dacd66ce8ce7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Domain True Passed
69f72a83e593dc792339217630b712d0b1b52c79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Domain False Passed
67dadd774c446a29375600bd0b26d43eecaef083 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Union True Passed
cab8ee6a2c075a8dfcbf7f4e745545c064569b5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Union False Passed
a1d2959a661738aedf6295fd091cde18287d0e26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Unchanged True Passed
5989fb63fc2a363bcc8b6013e38f001cc9d4e54d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Unchanged False Passed
4e3a8f3e0df7a741d8cb44dbbc6c4e9812c9fd50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Equivalence True Passed
f5f596f111145adaca7c41752585665a797fa54c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Equivalence False Passed
4131e5983d9c20291e3eb2d50edf2e0413bcacc7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse StringEmpty True Passed
3dfb012998083d657714b742dfcbdea2d6ceb752 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse StringEmpty False Passed
1dccf87ffc561cf6e760226c702e1451d65ab151 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse String True Passed
1b406da510e027f70fbc98e1017021e8ff58a0d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse String False Passed
d74994e50f0aeedafe2775b0c18260845545471c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqLen True Passed
c2269448d3fe4bee132c9c0d628fca913533791e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqLen False Passed
5808aee75aaec1a3e68c84462b345b57be05782c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqConcat True Passed
90a157bb6c1c351405c4efd29c71aa703be7f1a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqConcat False Passed
940fa23716135916f4156e874242c6ba24c38b3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqSelectSeq True Passed
8b36c3820f1637ff7f810baab53c823980c0933f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqSelectSeq False Passed
8bf486224b6595db3a9a80646dfd645064d52828 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqSubSeq True Passed
231eba116651035d0cca781d98a4f7bdaaf95195 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqSubSeq False Passed
8bd66fd218ce235c9482402bce740ad3c57096d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumRange True Passed
c65f76fc4ba5a702e688712879bf14396beffe4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumRange False Passed
0c5b7eeb35a0b1dc9f1a81de3117088921b2edc5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse TlcSingletonFun True Passed
a6b92f22f306e3b2bc34e09cf421645e9a547dab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse TlcSingletonFun False Passed
6f8476edc402159644b991f399d6597510c89cbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse TlcExtendFun True Passed
0a1cce9516d6ae1c0a68ad7b6edb7f3c82e0e5a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse TlcExtendFun False Passed
51208b4b1823e8fddab2235ca19dec084f66e232 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse TlcPermuteFun True Passed
47a8591eb140b1d7de053f9a4e4323442854f50d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse TlcPermuteFun False Passed
58cae677b0e44ae9a04818a3f67f5e1c641c5cae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse TlcSortSeq True Passed
e7210faa08384813e49538f7b41ccdc73461fb90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse TlcSortSeq False Passed
d2fc3f26b8ce3196cd4910f6183856252aa22176 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse TlcEval True Passed
8c8ba2bab1ebc5a672903d9750ed7cef9e44a6a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse TlcEval False Passed
aa99117dfb2ba8746f21852d44ca42ebbe6969a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagBagToSet True Passed
ecca8c39876d613a1bedbd9a9384221581abd523 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagBagToSet False Passed
56733c420b8a1246025159f276e5aef6d91f4b0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagSetToBag True Passed
671d32fc993561a346c6c95347654675c76d06f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagSetToBag False Passed
592d74c01897769cc3d324c2e94f23328a544059 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagBagIn True Passed
6338efd793c253c0bd4d9fe716a6223c10e9e96f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagBagIn False Passed
2566c6263580e60a4f1a56abcc2c9290aef0a275 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagEmptyBag True Passed
a95a2fc8602c490194e36fc5729d418a67e70271 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagEmptyBag False Passed
bf0d9b72235349c25b93ef4487740a13baba9087 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagAddBag True Passed
56c2a428e319fde3651db3d7d52a186e4c4be3c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagAddBag False Passed
973bc88af0f2bb6ec8564a7322972591f2c6e17a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagBagSub True Passed
470cf02b036cf460fa34f7f72311636d3ba66e99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagBagSub False Passed
15efcd7f50509afa3e616724067bb0bf3a904453 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagCopiesIn True Passed
763829dd4565343519283ff34239da9257e91902 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagCopiesIn False Passed
707b737a4e08f056e5370b57ea34606b86cc8968 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagSubsetEqBag True Passed
73795cff95fb318fb71384c66f976acc790dd574 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagSubsetEqBag False Passed
b8406a538fd046d39092886a3f15b38dff1d3f9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagBagUnion True Passed
c31249a41392e7696b6dc7f6949473749e9558bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagBagUnion False Passed
5dde8f41d382f567cc3c6a4ddf4aad7230d904ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagBagCardinality True Passed
b2a19f2da84a1828d3e1e686b4fde98c1bbc5b12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagBagCardinality False Passed
7c9439769ea19df2581eb7400dfb3e18b8995ae7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagBagOfAll True Passed
1a4a275ea9d4770df29ae66ead9b72754ba10416 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagBagOfAll False Passed
b6eba5b3753e0cccdd02b4afbf38a037c53a9f1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagSubBag True Passed
5ba6d18f69a82a8efd33370996b1f260450b4377 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagSubBag False Passed
819b0c09622caed0a44a3f23c1a1cf07de54f2f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse FiniteSetsIsFiniteSet True Passed
512592e0297950972f181bb41d7f81065f596c4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse FiniteSetsIsFiniteSet False Passed
261f594ed233f4900845cb81edde3e0c3a07a0d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse FiniteSetsCardinality True Passed
dcc3f05cf3f2801af246d2af049c7c8190ec87aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse FiniteSetsCardinality False Passed
26388b4c2f2d6a37c14accc622f5d9257eb395e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqHead True Passed
4eac0866bc2bd03b8900d7d45396d55825baa1c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqHead False Passed
35224fba8e408aa40771e5a91586fa00365c2a6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqTail True Passed
11e6b9fe59ad7ac269fab8f38abc5907837d32c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqTail False Passed
4d84ca44e1443b15e8e8d5dc0ee49a70e28fc71b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqAppend True Passed
3fcfc44557f9361b78ea39326c1279eec4e82538 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqAppend False Passed