Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
0ac635402a7eb4e0a06ca36247a8aaf64c1780d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun OneLineComment True Passed
1028a408dd3e0b16649bdcc055eccc38ca0e8034 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun OneLineComment False Passed
8732f50397e4bdd2f37965ea48cd16157d99b52f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun MultiLineComment True Passed
49ab4ebe1fc151ad356ae52eb76207dba24efaa2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun MultiLineComment False Passed
69fde52ac02412e972677892abb02fd4363f0485 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BoolTrue True Passed
26b242c4f02b50759bf5875e19fc4be716d3fc64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BoolTrue False Passed
3134038996c5df513fb22a5612d18bbc53522478 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BoolFalse True Passed
0f13e7c3f5b71c37c3180b7b8c09085497c6a2b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BoolFalse False Passed
f5d8999a15701b8c2fe9288c9f39a4edd372d81d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BoolSet True Passed
296efe279cdbcf81126f319778815a7307839192 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BoolSet False Passed
7244c7fe956beee850e42f32bfb049027182795b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun And True Passed
7670230745eb532d9ee0a7e5352261d490efa854 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun And False Passed
54857ca17f84abdd37766cf91e0c80a3d0324337 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun AndMultiLine True Passed
de6bc2cd644008a1cdd65447a90a6c71811bc5f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun AndMultiLine False Passed
4025298709fcc6fdfd72e4cfda956b2d10e5d645 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Imply True Passed
a3ef51af4d56f8670ac1c321d1beb9a0fe5db4c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Imply False Passed
4d20006d92164438d6a2317ccb27aab30524d0bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Not True Passed
8e56adf2308e15bf8c575ab8c65b8521777d1710 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Not False Passed
772094668a82279680aebc191333eb50e112f774 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Or True Passed
3c039dcd953f48a57bde23dc5be24364cac04484 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Or False Passed
b365017fd081f3a611774c7772dd9cf68a25dadb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun OrMultiLine True Passed
33a1a45f35175f49676358f1d422218f04f8261c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun OrMultiLine False Passed
e9e3c5d4ad1be3a7311619bcbe68e20df2966224 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Eq True Passed
3102076bf9e01bff47eff8043041f5737a565e49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Eq False Passed
8e499b2590f0c44a75c67081d426cedb8c4f7a79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Ne True Passed
8926f0ba3768948a50bdb6eeefbb4d7eb292a6cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Ne False Passed
2a2425e2c83ddf10d5af88373ea09297f4b139ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Let True Passed
7fe33173d630d83244d31276bc9832fb340db909 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Let 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
4c8cb9a93e77264b9af8f4b22612808ad1b6b947 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Set0 True Passed
49fa7f3e836ea1d67b55083677817c4a71c335b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Set0 False Passed
afb83b82d77ee3a5c568a52f7c2adc96500c9c21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Set1 True Passed
d5f557c15a0e8c7f4a0b07e9479cac9ee71ff99c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Set1 False Passed
c97e86390be7264024559dd5d22d699d768c563a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Set2 True Passed
80dcfb7b3d1f33d24488c2c9c325aaa091015ded TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Set2 False Passed
651f4ffb1a1cf76a7be59fcb067f7835b06f36c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Fun True Passed
0972cd708740c9226ba979fcc21d3c66d76c3143 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Fun False Passed
71bc3669f567d18bb08559789ff35ecb605fa38e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun In True Passed
e8ea5aab84025c033f17eb62a51fb7bd029def7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun In False Passed
db78c164e797b46936247940076044a51386dd09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NotIn True Passed
741d68ba3f3afa2bee008a2f379d557db3a8e25f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NotIn False Passed
d5da0e8c95d531a718084f15b86f94a5b5863d1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Exists True Passed
1a75e1256161227f30357986be71b4dee041f9be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Exists False Passed
75eb6280ddb00dba281a59bc432333039ec1947f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Forall True Passed
0e7f396af1ca94d4c0049faaf9b8ccd78fd68472 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Forall False Passed
76f55eb92f2838f1244f37cc62a9bb641df12bae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Choose True Passed
6a2db6b33e8135d3b83b7718f533dce386f48b9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Choose False Passed
7c105f6a35e7bb75cb68467b42df7c53661f42b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Record True Passed
f810bc10573c3b11b637747d02edbaf3cf27ad9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Record False Passed
ed7e12fb138d631b0f1753414ae9474b47d0ee46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Tuple True Passed
4f5ad2cfcca1759f59597118e743f0b3e1a1c16e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Tuple False Passed
8ba7a24b6fdcc90261dfde0623033e6d7c804167 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun TupleEmpty True Passed
a13097f4372874fd00336dd8f3325f6b38ead701 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun TupleEmpty False Passed
7efcbba83084ceeb221c0a5517fef4116f617c5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun FunApp True Passed
2c6859b858ffb0344343b3a991f9efeb3e713c2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun FunApp False Passed
0191779f607f912ab5f6caf949b4cd35f6b23754 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Prime True Passed
fa288dfa20e376b613ee69a2cf9069fecdda43d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Prime False Passed
578863844c5d691da247acfc69fd103437fa76b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumZero True Passed
528ddbd0f0e5342c1915a6684f4e8079f2784893 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumZero False Passed
beea3d82f2c7cfe6ea3bb9aefed8151c84da5fe3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumOne True Passed
ec1c6b48cc3c3d139a559caef478d4aaa0e8c4b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumOne False Passed
f5e9f3ee5e8285d733a5b14960d4085773cfc2b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumMaxInt True Passed
8eeaa182c76d114d7d0c6c89d391c32bef881ec6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumMaxInt False Passed
d0f7f261e476b9d5675bbd6dd8e94e7f86c401bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumUnaryMinus True Passed
eebb4d79344c32077fc16680fd0c4a589a584fd3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumUnaryMinus False Passed
18248a81632324c66e22ce9043d1b200097549bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumPlus True Passed
cff2c1dfa92682478e6ffe6801faca5e815d72e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumPlus False Passed
38578ff49173013ca2bc32a9e6df61b94be6a1b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumMinus True Passed
0abbdecbfbe60c9bbf4d10668cfe42f13477f013 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumMinus False Passed
11683f0c167eb8ab3690f811729997f04fb8fd66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumMul True Passed
aa03ca20aed86f274d92bbb437f7bcb0396204a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumMul False Passed
0d2ec3f9d2ce7ef41073c5845a40118e1ba58a40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumDiv True Passed
479a7e4154eb7c392a1f5a1e6ea5fda1f0af9d37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumDiv False Passed
b702997b516ebfdab4c7ef1aa51370c8b12bb90e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumMod True Passed
baf0a5c049fb3d92416391f26fafc07c6ca8fbbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumMod False Passed
717e09c479c260dcd51245a59b6d006dcbf4fc2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumPow True Passed
08bd32d46e2fb778127f1b5fa91a27f6ed775740 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumPow 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
2cccd8050047c02ec41a2b3b4ca6de5fac317004 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumGe True Passed
d16a386155740b0f319b3c0d1639445fab0b1104 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumGe 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
8a88152b046513185e03b4abd067ef6f29550e50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumLe True Passed
743e78c98b544ca48fad40fafc36aba536656e94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumLe False Passed
26ef992834d73e0c534ca225d9a8ffafe64f5d09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun DefFun True Passed
bb95e406d62c2e09c743c567d70b90f71c92a271 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun DefFun False Passed
884f5da480901070a341c748bbba1c30396349eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun LetDefFun True Passed
b3da11a9bb1180d2a68ac7a9584c18d72a9caf67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun LetDefFun False Passed
452c29c2b9d4bf584407a4b27660f674e415c8be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun DefFunRecursive True Passed
0a16ceeca2bf126d236598d96f52fba6415d148b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun DefFunRecursive False Passed
09468e5f7caf4ff4368a41cea3bd7cb53c855fa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun LetDefFunRecursive True Passed
34eeb0d72f76ec120ab3367c756b59dd8f46efaf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun LetDefFunRecursive False Passed
6a380519673dc6d5fdd97dd1f4370d4da2201111 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Def0 True Passed
c605635eadd67d1f8e07de6ba05f8f22713f3844 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Def0 False Passed
c0c69fe0bd0506bae55766f2e67dbda03ccee1ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun LetDef0 True Passed
d965986ac9dd04ea226ca84b12506ac6f697d680 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun LetDef0 False Passed
1ea3a2ce56e283111153ffe01bd8bc5999457776 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Def1 True Passed
4a1a70d33684c8f23f13352dff69bf5d98320abc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Def1 False Passed
d9a45f06b20822d8279ab873903424a139c1f311 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun LetDef1 True Passed
69b82bcef938601a23b273f09044fd92349f7526 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun LetDef1 False Passed
bed1a14badc4b4d610f2eeaa1c87602e63099f7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Def2 True Passed
2501076784cf2ac9ac3008349ff936fb325a0553 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Def2 False Passed
7c7fd73b5e661de3de09d592f375ca3578544898 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun LetDef2 True Passed
d1eafa2006a691bf158fb2e5784e0a4e624e98fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun LetDef2 False Passed
cfd583740d97549f25a398c08367ebb96b2e43aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Def1Recursive True Passed
885e8d584b511941d7918b5644d232779c3d4d1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Def1Recursive False Passed
6d794fb43c51bc819de1c90bd95ab294abf077c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun LetDef1Recursive True Passed
fb9ee1cf8755fb968803871c94e13150b7e4ba48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun LetDef1Recursive False Passed
a03851f1f29961de52cb9bcb00ad882f1a484fde TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Extends True Passed
bd1b3007be3b5709aaf129eba47e40806e7298e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Extends False Passed
65a6c55f916e96551122f20a699122bc08235357 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun ExtendsInDifferentFolder True Passed
fb27760187b3c1458590dd14eca53e0fedc0afa1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun ExtendsInDifferentFolder False Passed
4fdfa62dd1a7ed0dbfcf0522de5e12b6c300bc58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Variable True Passed
764eccce951ee600f86b267190503bc2cf55b596 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Variable False Passed
1cfda312fc26ebbc15aed454fdc3aea5ff7a6711 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Constant True Passed
8ec72f5d13dcbe3f4d36754d300abda45628ff78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Constant False Passed
43e85cebd75e5919e8d2e44a31f969bc2bbf8612 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun ConstantModelValue True Passed
2a3ae8918c09c4d63597de3ed1f396e3f55b0ede TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun ConstantModelValue False Passed
7030dd952d194a334e46745c4c9276b45a84318f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun ConstantRank1 True Passed
026531d10ba40a9a31867ce57ff92ac8d8f8927c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun ConstantRank1 False Passed
10c447e89a6d0a33e230f4360a1d43da171c5f01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Instance True Passed
17b60459c5674ca1eb944340c49bd8cd560ead81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Instance False Passed
a532b8bbf93feaac906864b1afdb90641e7e5d86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceWith True Passed
c4513dad70ecd0ee0e4888cc7279202b77af3fad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceWith False Passed
a74e48da3f7ed2d698e7ab01ac7f978284a5d80a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceNamed True Passed
74c9527dcd34f7b7c275786c329835d2a8bea163 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceNamed False Passed
5589474da3cd3e8e6f82b33b732ff19a7b2fff97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceNamedWith True Passed
6455778027c49404846391fbd58d89f9db9d1d77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceNamedWith False Passed
7322ac9fa236dfbe6cff5240eea1e9aa8c329a95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceInFolder True Passed
3a8dd1431ae3de7b1386fd689070532dd5c6b467 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceInFolder False Passed
81aad5e67cbbccb911ab40e3405401d4a6115f9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceWithInFolder True Passed
9e4d5db880a5c9412d4dafc9a9f79509d33ca167 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceWithInFolder False Passed
729f585083313092c76bab6367cfb7b88ab61643 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceNamedInFolder True Passed
adc057aa704fd2039f2a591a6ec0f7f65b43d6db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceNamedInFolder False Passed
de9032e0a6f6ea4b2990378db3646de824c24513 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceNamedWithInFolder True Passed
32e6728da60eeaeed3f4e7366921e19f44249b89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceNamedWithInFolder False Passed
d01ce622d56d89f4cccdcc0c77814bee8ff208a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Enabled True Passed
65f472088be1d59e1196071db093b99a98652c16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Enabled False Passed
89d80ea1d4d378b25c5ca39e0e670f6221e1e685 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Cross2 True Passed
139a40aa6806480fd8d1248ad20def05d20f53b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Cross2 False Passed
18c972b66687088e3dc8407f2ad1132a35360af8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Cross3 True Passed
2a6ea087841301d3015ed6fdacac7606120166f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Cross3 False Passed
e1fdbc314ba9b01471f41d26d40ddcbbf4dc8ffb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun FunSet True Passed
dac8b194b6b0e69c24c017c9caedae1d95bb25d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun FunSet False Passed
39e7e443cfbea1c1c846b67f2fad2fa1bcf55d4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun RecordSet True Passed
c8b22a0374c92fba36f4fede0ddb4bd120eeffe5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun RecordSet False Passed
8d78b4fe1914dfe77c6c8c1fc5af67fa2ccc6b00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SetDiff True Passed
42d70e6f895ebe84000a29b9def21048d56aa56c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SetDiff False Passed
0452f98383f2afccc132f480665acf09084da8c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SetUnion True Passed
7d7d2dc8dbc78e75bf52e590b02b7d2ac2556b40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SetUnion False Passed
45e1dba6ef0773d5e356116294b133699e4885ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SetIntersect True Passed
c31ed6cf6232a2857f8f1094d1e438cd8d79cfb8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SetIntersect False Passed
28de86f384620cc58aa612bd8e85b4d13be8bb79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SubsetEq True Passed
fb17d8256bd2f8071c03529705316cb3d369bd90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SubsetEq False Passed
6fc31439bc681159dfcb9c7b51afd0bfb2193347 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun IfCond True Passed
111b2115bbece9e43da3c5021b43cb2046b63f36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun IfCond False Passed
a5d9f992b562d52afee85c7a200c362278d273aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun IfThen True Passed
036c7136971e2313e62fc3e983bb3368d9030a2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun IfThen False Passed
73f18801909cd63e954382500cd8862d452c8dc7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun IfElse True Passed
55656b03e75dc5d6c2d7a11445f8b9e884f6dfc1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun IfElse False Passed
a54b0a40621d7670e76523342a9d6d7cf4e6f568 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Subset True Passed
6bc32d1a70520b051dda8f1fb0e59db6edb3c935 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Subset False Passed
6f6387bc514f048c8d917e25174757a587e5982c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Domain True Passed
e3e863b0a2a9824501846c43291baa8157b05c35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Domain False Passed
9729f34bea45098c77acd77ef35686595d33d3b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Union True Passed
37768d83251897bafdff3158d5fe5d95ec1fa907 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Union False Passed
1141c61edd0e3de69613d026d2688c6a7d9a8430 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Unchanged True Passed
c9404a867961c56761dae054d999f35df056db76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Unchanged False Passed
f4ecaa1f6f0fbb19fd1570db9f47889f6097a860 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Equivalence True Passed
2dfbf516044bc30957f083f64fae613a8d0aaf69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Equivalence False Passed
5f9403466b3372f8e25a163bbef48229f8425cd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun StringEmpty True Passed
f571ceee6ad356dc878c79ebaec853cbafa1c93f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun StringEmpty False Passed
0a6f34150bdd58b0b004481b8860cd933933a78e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun String True Passed
9920e30eee2da6ddd9d6da9fa4af4cfe0813dce5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun String False Passed
c21cde9c1bb7cf6bfab77b542d54c71002b0ebc1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqLen True Passed
a421b1bc14c9015c235f9e2b49677b258e57f082 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqLen False Passed
63a2682c44569f75e6d48508bb58c35df3ef684c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqConcat True Passed
70c0a893cb600253dad231bca4c12ab3a8755beb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqConcat False Passed
68ee731b3df8f410c9484bff67effb818f3bb5c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqSelectSeq True Passed
66716f2c8509a7629e4405c335c9d481b506567f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqSelectSeq False Passed
1145c012d10258e55baf1686e5abd36e4580a18c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqSubSeq True Passed
96b7a5278688f9961d617677ae111cf86a04da37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqSubSeq False Passed
a478b9317826b13af853e06db4a2db0cc09af725 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumRange True Passed
f44fdbf7e9ac1630bb13c7ce721f2b5fbeb4fa8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumRange False Passed
18e3cfb37315a91cddbcc29d6ca062c53c048822 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun TlcSingletonFun True Passed
0c7d3e8217cf2c9c9b682257ddc907a43585d6ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun TlcSingletonFun False Passed
00f8901575f3f1f214d751bc1c35cbb049e1cadc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun TlcExtendFun True Passed
8bddba998bca12d464ca8212d626a1710fde9e29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun TlcExtendFun False Passed
b963305222c6a8414f9d4f3d86bd93868f9b8c1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun TlcPermuteFun True Passed
8cf56b0baeae7286c304192e81d31c0997761577 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun TlcPermuteFun False Passed
16ef351630ccf4d6e790ba0eef5381696ee43d08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun TlcSortSeq True Passed
bd925c50a8b07813473fbc99c6e98f5dd5df4859 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun TlcSortSeq False Passed
bc9a30d1e903bfca595df1126ac6e6b7f157f434 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun TlcEval True Passed
919c2b8fe26b804a15b07b7a500e19fae35ad646 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun TlcEval False Passed
9308d72a461a26376b66cc28cb151c707a75af40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagBagToSet True Passed
25e4d59798e99f05476723299020b5cb3e50ee37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagBagToSet False Passed
ac8097fd8051e29d30b58c3b37c2000c73417957 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagSetToBag True Passed
a2ba3ad373f928f14e0aa0ef1b295ac06125dc27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagSetToBag False Passed
810ae8c3b251e7ccd839541c623d45ae673cdaf5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagBagIn True Passed
b69605afb940e5d48348c920446175c053c40d64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagBagIn False Passed
cfbd65eba30b805a4ed15b64fa93598064fa84e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagEmptyBag True Passed
069e98b6b1c069e0e3d0ec282c0dad8bf3e7ab23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagEmptyBag False Passed
822f9568561ab01196888fec28e788445f7abcae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagAddBag True Passed
871d30866d0541e723865503630f5fe908db2466 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagAddBag False Passed
7d054fd5b19f09a20c6156855bd92d9e60717ace TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagBagSub True Passed
9583f179db92a5336efb7f632978e0213a866732 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagBagSub False Passed
4ea008b84e53b9b9cdcbda7a43a8a90ca470320e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagCopiesIn True Passed
11e11fbcea4e97c40d6c08318620696d52649157 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagCopiesIn False Passed
2270543b32db84b114a1dc0b1a5849c248e411ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagSubsetEqBag True Passed
a9c986cd33f9f4679fa802ea3ba284fb41619d6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagSubsetEqBag False Passed
770fa11718d8f11b191bee3ebe8580923caf7bd6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagBagUnion True Passed
d2a0bac72c1e04079b8e4e7eb3efeea1abaf58f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagBagUnion False Passed
3b12dbcb4c43d5c413bd50e458fd91addd16dc8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagBagCardinality True Passed
48bb2ba85a2ec00619da870ee8d538aa0a4e3733 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagBagCardinality False Passed
b135818d579ada29ad54681593b0f4f9b470eb0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagBagOfAll True Passed
6fa0dfb058d1a6aba12afb1171ac1c511b262f5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagBagOfAll False Passed
2b30d46530f5f951289557f4ffca23246b3a3e7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagSubBag True Passed
88723402105d6417a42165c2fb0e8517c96d84ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagSubBag False Passed
09e8a1ac83bfc5c44252244fcf4a5c348cb0d285 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun FiniteSetsIsFiniteSet True Passed
f60b9b3f0e23eb94468d9ba2696052b05fef57d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun FiniteSetsIsFiniteSet False Passed
39ef0f9f71fde19f7e7ffb5315456b640b92413d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun FiniteSetsCardinality True Passed
829262f6b939a2fcfee4929780a0f0564e3c433a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun FiniteSetsCardinality False Passed
2c4b234f3945f498ec7a8964e6f34e39f6c03f27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqHead True Passed
0157a713e17e6dd961c1fe8750faeedb7627d846 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqHead False Passed
32c8d23c1d4d429ab84cc938990f1578d4cf18c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqTail True Passed
96d6ad3042ec9a99fa1759a210fa6dd8dc1b852c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqTail False Passed
903949577c31667290d0fd2b42244b3bd752d55c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqAppend True Passed
e73f5cc1e0532fc83bb9e5073f549eaac215a916 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqAppend False Passed