Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
5930a3ad1b04339c9473c0bf8871a7e6b2ef9b42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun OneLineComment True Passed
3dc0c7c2bc8613ccf2bd5499aecacd54e0c18df2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun OneLineComment False Passed
e513565fff38a6eb9a67b4337fac2533329dd7f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun MultiLineComment True Passed
18533306f3e91f765e24ab29990af1046432c859 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun MultiLineComment False Passed
92f3f4d099248928eec8706842e1302e74eb222e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BoolTrue True Passed
3d90178d14d783c3d3ce40f63f80e824a579f48f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BoolTrue False Passed
56dd161ed8484af9b929a24cb70ea3e5f89e5fef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BoolFalse True Passed
dfaa4d66a7fd266171d5e593eb3a106bc5fa5e93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BoolFalse False Passed
ad311e53315736ace8cd78b2045218cccbdfb2ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BoolSet True Passed
4bac34e7c5081a90923478434ca0b59c7383c892 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BoolSet False Passed
2821887e2fa51acb3ff0ceb301c86930ec9f0aa6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun And True Passed
963ae446d0b497ed06fb68fb4090b9eb1addae8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun And False Passed
6f5f9f14a68a65faa4a3e40dc6a04ea11be79a12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun AndMultiLine True Passed
8fa380099e78dc0e55f0af0ad6f85d3f01b7af52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun AndMultiLine False Passed
9fe5521331eedda587e1700e4ac72991b4772ab5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Imply True Passed
7119a273afaa3b0930e53f74b14779aa62db0e6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Imply False Passed
0b682cdeba8fe6395bd9f8b4d99f7b7c8cad1c24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Not True Passed
d0b1ba8d3e3a1f746543e90416d5035130c59759 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Not False Passed
fdc2dc486864aebff20b65b78965046416cb028d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Or True Passed
e10d5eec79e1bd927266ecbdd5cee42db4de334b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Or False Passed
6812c3477fbac2f91784d855ee0c4e3daa9805ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun OrMultiLine True Passed
1afb85dbe579f98609ee09fc032fd509f39c3412 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun OrMultiLine False Passed
48b9d868112ab5c6b310086ba471b2fec7b8026c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Eq True Passed
5f09ecb08019be481134a9067ce779dbcc4fe548 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Eq False Passed
8d060ffbbdbf3ddb099dc4d57af78adc28d1bfeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Ne True Passed
9461a75e41860c2bc6b1a4fb5b56941348e63a69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Ne False Passed
deb96dab08e8abf45fb6f0866c83d73ef1c60b3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Let True Passed
2dd6b0e6086d385443cc5d3f2a29d3d5512bf335 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Let False Passed
ecd77116544ccb1321f201a6142903ec531ecba4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SetEmpty True Passed
5783231fd242e59ca12f322c17a1ce50ce72d500 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SetEmpty False Passed
fe2197ebabdbf8e601e96db20cbf827ae119f999 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Set0 True Passed
81675e7b031a656c67cf44a68cb052d7b3fa207d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Set0 False Passed
c092d4cb131796cb9ea03aae64093de4418dcda4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Set1 True Passed
8515507772bb05277da616f0dcfcf707d1c7e472 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Set1 False Passed
dc7f5036f15f63974f0ed7df31c6fd40ba9c1e40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Set2 True Passed
79de510ad28c8047e09d4a90db84ba5211dd31a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Set2 False Passed
055791675d2d4ff6af405883e83b66502882684d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Fun True Passed
5a2a560d87df6c9b3933f82c56f285254103ea85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Fun False Passed
622e564cea78ddfe44b874e216ea23fcdb23397f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun In True Passed
e90887c82c18e17d1469908be72ddb06430a05e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun In False Passed
6f4f3d0225d55708f160a27803c78d5d361ce93c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NotIn True Passed
7d8dbe1223aa618985cdc20b20f638339a69a2ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NotIn False Passed
58369467fed2a32ea382820dce4f9e36053ca88f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Exists True Passed
2c9435c98cea349eb1bf1c8da4d1d982046322d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Exists False Passed
895c291fb66046e4b75f85719193352bd8b35ba0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Forall True Passed
802963ad38f67604b3e8c77756a99e2cc7fb6a7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Forall False Passed
9f099c041bfc99c1c1a366516435fe6e52bdacaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Choose True Passed
0dff2af8f1b2b5f704263a420bf80cfceb383894 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Choose False Passed
79d5be912b6948263b97be912ae103651064b7f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Record True Passed
04153b32d43a4807e0606fdcf7378e85ac7da7ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Record False Passed
74ad04621355b1d4a3e6068449a3ae32cb1ba316 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Tuple True Passed
0e1bd5a2c2ece6b91b5c6532506fbbcd6d4392ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Tuple False Passed
528496ec81b435b4cd3608c75acd1b72b7ab8ea2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun TupleEmpty True Passed
c82f0e1d4439240c887c6c67576ad77e59983b62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun TupleEmpty False Passed
4687638ff54ef15d6035743837d11b38507e21fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun FunApp True Passed
bced5cbfb5a07095191749b0abbcca4aa83ed943 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun FunApp False Passed
11c18e81d2c6203d9399bff4977ce0e4802a29d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Prime True Passed
3c10496f0ade0eff0a8e1938503236e9db016760 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Prime False Passed
6ef409aad39fa878333f0c8b81892677344616e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumZero True Passed
d9eb6e6b0909800c257297d8ba5793f664e81d45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumZero False Passed
2f5e2a84d67913fd887a9850dbd081a4e1e9f815 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumOne True Passed
dd4768f5969604f75e786407e72ad40748d65a3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumOne False Passed
5650d3d04d3bcd00b34fd5fd003315a2b939173a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumMaxInt True Passed
4d904b33fd6aef341994216667f3e1a14f2da8e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumMaxInt False Passed
f6318a276eccbef67f689c3fc578dafc76b385b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumUnaryMinus True Passed
69b5ee6d1da406c7dcfbb0d1cb0b63d51594ee01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumUnaryMinus False Passed
d783c8e8d512fb792dae1e3cc5b23a66d8f39b27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumPlus True Passed
e7a803c746d3fd15dd0f2a48637df632d8aefea7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumPlus False Passed
8dc22fdeb2e2f787a55094103b1a9803e152a7b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumMinus True Passed
4dc3ca0faefee774d200ed277fc61b6ebc7ea176 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumMinus False Passed
8d5c3efcf8e881b7f0884dfb75f44d7cc1393f3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumMul True Passed
4073ab075e6e93b3c3bdc7b829285806a6074b19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumMul False Passed
5e888000630e06fb2c3eeac0a5d3dc15ece9da09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumDiv True Passed
2e1b378eaf62bbb10ceee0fac6ec4180a478f5b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumDiv False Passed
9bd4555ea5789eeccdc174231d0a6ebd6cdf1777 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumMod True Passed
042fbd7e4868b257571aebe7f22a26ab90acd09e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumMod False Passed
64ae155aae7863f5a6f84f3c73cfcda362045d6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumPow True Passed
d05afe91b6652625a3069415a591fbb042d90d15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumPow False Passed
a052bcd21a6846cd26e75d301d8364f7a3f71b92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumGt True Passed
fe0dd936e87323664d5dff14a49f9e93e111d13c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumGt False Passed
d213cbe9135b8de7fe957beaef72dee882137443 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumGe True Passed
633b7d042339b9e46eb97ed61a11f2299e9f3cbe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumGe False Passed
20afa82d0c4404e6e55dfa652923a528940e03aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumLt True Passed
b53837d42073279f191858d1ecaf9999b2e7fd04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumLt False Passed
69a1ac99bc31abd68938e0c0cd879be9cad51040 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumLe True Passed
f16bff73895651923d41397c21832ac8a9ef884a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumLe False Passed
c5548b436f51601af2f739b72ed56470ee79a25f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun DefFun True Passed
50e2618c06209476f3be0b4b9c9679c5fb62bdb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun DefFun False Passed
9ad96179d79ccf6b242ae29943ddc7083c23d8fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun LetDefFun True Passed
93e0a07d6e177ff462117ac15f7ea0b8382ea0fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun LetDefFun False Passed
3fa686381370b8c5e6f0df334c44d3751b7c4b46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun DefFunRecursive True Passed
b72081b899297a10877dd5d0d9b4d43ab2197412 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun DefFunRecursive False Passed
3c51359c2f4713da1b41a9cc3abdd8bdd10fc760 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun LetDefFunRecursive True Passed
ce83d55a2a629c1aa17bf326c39e2161fc49d14c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun LetDefFunRecursive False Passed
6a24c1d39a800f71c1b4529caf2006134a904112 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Def0 True Passed
5410351351df412ae923861255ed09ca612d088c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Def0 False Passed
a89d2d9e22701b69cd6c155c14314d55b2a601bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun LetDef0 True Passed
fd9be7c1c1e15a5a72a5d328fbf289d5ebab18c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun LetDef0 False Passed
7df558fa39e38dfcf94152aaacf42d9c59ee94bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Def1 True Passed
f10fb0dcb43b86017472a759d45917fc7d244e83 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Def1 False Passed
65198f22a85a420e03cb646a7e00526c7e6dca69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun LetDef1 True Passed
12fa01f39b01a105270dd19f7fc646bf010aabb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun LetDef1 False Passed
1ac4ac5b14cabdd79805fed8245310632e196ef6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Def2 True Passed
eec272326e20b96f00cdff111ad7ab4850ab8741 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Def2 False Passed
85f5bb85f038caf3f4a0af665170a697cc4dde48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun LetDef2 True Passed
3a826be3d4bc87a66a3f28afa008b37ff9dffb23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun LetDef2 False Passed
d148f9b75ed5a136c7d612738f69948b9afa2ebd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Def1Recursive True Passed
ad513e1699513b123d8c7a55131925a775291f84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Def1Recursive False Passed
29b7b426da106ec9959edc7db1b6d68810076efd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun LetDef1Recursive True Passed
65091155904f933ee357cdf2b5284e0a28a7b72b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun LetDef1Recursive False Passed
2db4701a0a146b4bd80d94fb1f232b658d38fa46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Extends True Passed
324000a6aeab8b70c37d001e87946da7bfaaae94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Extends False Passed
b6b817512b2e7ef2966984476a5a2445ad0eb020 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun ExtendsInDifferentFolder True Passed
c7769536f3005f6f734f7f46929bd2dd0a0ef5e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun ExtendsInDifferentFolder False Passed
0ddd6b22ea3d706d05017acd92744dda6c81f959 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Variable True Passed
46b2e15a26feb503d32b203c0d659cead8d6a499 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Variable False Passed
d630bc3282727969c9fa4d966a99a1b5d4c2fe8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Constant True Passed
83e5307618f0e7bef96d2f02f8fa6e2e6f277ddc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Constant False Passed
094e2ea17e781a81d79c63a58ff06ca5363437c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun ConstantModelValue True Passed
02532099fd9e577ada981990dd3dd4aa126d309f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun ConstantModelValue False Passed
e0ac9d0b87edee1a60bb98c35bd50e4a76f93d07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun ConstantRank1 True Passed
b5c57be6b554928804b78983dd6b7bdb896740f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun ConstantRank1 False Passed
0d1b49b50560bf7279f88b07ce0b7adcee35d3f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Instance True Passed
31baa5d4e1e59f78f2a29ac5b5871db74566c30a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Instance False Passed
be655a84bbfd8aa2b4c588ebc8ba6e9fdd11343d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceWith True Passed
62f1bf46e12d7df72740635264a0f651c3549f1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceWith False Passed
7680454a021c478cd4a944d6a1338f11f9d01a6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceNamed True Passed
c693c9bcae202698dd1a164db59d109c9cf9c780 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceNamed False Passed
88bbaacc421b137cf63176bb010e402fb86ec4e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceNamedWith True Passed
c6849e5fac2b510d2549c71decccabb578d9ed93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceNamedWith False Passed
c45ceb6a27b46dfae4261bbc4d8ed1d2344e9ef0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceInFolder True Passed
274ba62195c11186c4cd26a729d922a44d0dae70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceInFolder False Passed
576a8a584e5f8ee703e4b3239a067ef8213dba86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceWithInFolder True Passed
530b05005d4982a2492d708ab58e459d3d91f35d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceWithInFolder False Passed
16bb72c3635904bb6c087e946c7196fd93863eb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceNamedInFolder True Passed
2270281759d37c2e8a152e3333500a279bb1f3a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceNamedInFolder False Passed
98dd03c38b7beab55bada5297a66be837ea061f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceNamedWithInFolder True Passed
08ec023a3d64e431f5a9aef74005b1699fc11ecd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceNamedWithInFolder False Passed
e75056740e0fb876be2b9e84d4eb8e9ced02884b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Enabled True Passed
3ea23ae574021f49474b4581645eb9dcdf289d7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Enabled False Passed
baf242ebff818fa35e7974f24f934d4b453e5a3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Cross2 True Passed
068fcbfb74956daac98436f8dc16e06706bb948f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Cross2 False Passed
fbdb5c7d847e9122f683881030908f7193e44508 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Cross3 True Passed
710b6ff938862d1980b075c9f40df23e6c69e05b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Cross3 False Passed
39d9da8d93e7ce3bfcfad8224116ed252c279137 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun FunSet True Passed
a5a91cd88457f90194e98fca2d322d74bc6f1b58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun FunSet False Passed
4c6097d9c5d334d74040dccb40cd47e9bcef8fc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun RecordSet True Passed
ced10b6a2c04d8bebdb9af5e61ed50f179fee958 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun RecordSet False Passed
7fdc416cb67ccb3632b3339857f5f7cb6334871a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SetDiff True Passed
911a75a0a7dd4cb15998d3f0700b18e809c509db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SetDiff False Passed
f5a157782d38a8371cf4759744e5cd5db7f4432f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SetUnion True Passed
b4f42abae01fd5ec8e0a76895d9530d69dd07723 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SetUnion False Passed
465b33b8e26e67cd0ae984a2aaabc111135a82aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SetIntersect True Passed
e961f32461fb363547c1437acdf3b1c4fc8d9143 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SetIntersect False Passed
f965a083ee17c0ff88a14f8907b8bcb2a152a1db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SubsetEq True Passed
cc5bda9a4a6380e4137c49bf8dc11232a02dc067 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SubsetEq False Passed
13d2acd030c047777659ff9670312829cce807bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun IfCond True Passed
767f4d2f39c15e51e34f2a58cb2c449c528ead42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun IfCond False Passed
020a9d8791bafa458f31683bb3dcd48aba464b82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun IfThen True Passed
ea3c54e15ed630e78342d4a55576d5a7fbabe65b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun IfThen False Passed
8203450fdb787c03f563e6540bbefb4c15f7fe20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun IfElse True Passed
c3a2e972f0be1b9089ee7ae141e1ed48925c1dcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun IfElse False Passed
7081e6367ba7edcc9b5487e263e3f4c34adcdaba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Subset True Passed
925ef1b75a83442b02301ca148ac330743ab3626 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Subset False Passed
a608bb920f12c2b7f6cada6209f4ed38ad9000ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Domain True Passed
408bb8c5414bfc1ba454114d9db06e6b4077de04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Domain False Passed
1bf449a2e73e998aa6410425022e6ba6e7daf42e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Union True Passed
51ff5416704fcd3257eb7d30db0dd97e471578ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Union False Passed
433f7b1a47d0118721b6e2bcf30811a3cc3f21e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Unchanged True Passed
38b427305973fcfd28197469c7ef20ea39233e50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Unchanged False Passed
ed7fc1cb211d70e25900d146f465fe966970ab8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Equivalence True Passed
24dc0cb65fb5cab9cd97c22568a12394dcca657a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Equivalence False Passed
51d98c60ac9362258e8b22db71d4fa83683c5a1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun StringEmpty True Passed
a5b56947b8ff042e3619106848fc9e24b0d347dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun StringEmpty False Passed
dc1a8bc7d135b8e18cf26a4f466311314c451571 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun String True Passed
557cee7ee3c5289267b4a4fc332db43d54e68592 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun String False Passed
74d521492170a20620334b01a9ca872ff2134fd7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SeqLen True Passed
6c85f1aeef283a1819535bc66d67ccd674806020 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SeqLen False Passed
b32547dbfd2a49be1e50e04ebe62f6bb3e4009db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SeqConcat True Passed
cc2eff06dc3ccdf20321c0e939b42345f960df91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SeqConcat False Passed
8c627af862568fd65e8af1757c0fa16888a61725 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SeqSelectSeq True Passed
2c2a028c375c6a5a1cddfac4df1f1eb6aed1901e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SeqSelectSeq False Passed
2e506f78bca32214d10a287a75648412152aa337 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SeqSubSeq True Passed
018723cdfdb12e45af3f0537c2f94e5fb05528b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SeqSubSeq False Passed
3b219b817e631afa21d35af5a5cacd6eede4a4bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumRange True Passed
80370886f9456c90bfc9f14016117d6ca742fae8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumRange False Passed
0d71539db7c7747d897adbf7b097e0b426310073 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun TlcSingletonFun True Passed
e7499854e1a398070fbde52c1d52905b06de9c8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun TlcSingletonFun False Passed
af6ae373c75a61ec032d89cd5b7793822e2eef9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun TlcExtendFun True Passed
2db0c215ab0636780b7824ce99b3e7cd2440c1c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun TlcExtendFun False Passed
51900c69f00821b89aa574da399fbef22325a29b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun TlcPermuteFun True Passed
9c8a16db5f492420191a69153e992b111bccab0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun TlcPermuteFun False Passed
1f7b14bcf79fe27867a20ce3a6ab5ba255d3d99b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun TlcSortSeq True Passed
13f7678410f213cc6bd6e7d3f6337bcbca5a7636 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun TlcSortSeq False Passed
5de2a7e815c884d9de91fd2c56e82627307a0f7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun TlcEval True Passed
1ead7c38446f94fe5fa3c23dbfa27448da8d728a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun TlcEval False Passed
9a039f3665241c51827c0f4ce8d7fc7e56a9d9e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagBagToSet True Passed
6af875283d31a79990b84f1cfa85cfbe0311702d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagBagToSet False Passed
b3b7b0a1b0eea96727d68136c234b58934712b9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagSetToBag True Passed
ba3d12fa1854b92bc2186ab7396f77053f7bad53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagSetToBag False Passed
82ac2e5d4f5564f3927eb9e5fc043a30d922a80d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagBagIn True Passed
0160d53e3e2c2a2eeaec073b5a7a40216b1d7bef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagBagIn False Passed
05b426d98a74ae673d771bb2b09883ae22983321 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagEmptyBag True Passed
56489e42bbdb6be9259bd67887e7f4c88c896884 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagEmptyBag False Passed
54e272713a9502a900b15afe2140d27b1ba141c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagAddBag True Passed
865314ef6a16b77fc36f0f14255ad328e3c39da4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagAddBag False Passed
b04d5d1f98eff8a9e3ad813ae035fdfb132ef114 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagBagSub True Passed
44680a95e0bf2acc4938c8141b9fa4e4a5dc4785 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagBagSub False Passed
316a9066a2eba8217cc957f332eada3910bebf7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagCopiesIn True Passed
f7edfdd5489c940d5ba0201195c2660e75dea185 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagCopiesIn False Passed
947353c43d3e3520d1e1cb5e41d07998428f1a8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagSubsetEqBag True Passed
972fafa3ad679aa4da5075d6312e77753ef3bcc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagSubsetEqBag False Passed
964ddade3f2a40594a31834881a8c71b8caf608c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagBagUnion True Passed
6b8f0984225d66f65b8545c2d569faa43c2dfcd5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagBagUnion False Passed
a47769252ec22f56ac27d6e397f21d146d027b6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagBagCardinality True Passed
a611d1fde590911105473959cc16e211558129c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagBagCardinality False Passed
2eb7c22c0db36407b86b5deb5c56f12b740cf875 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagBagOfAll True Passed
1b7f0ab36567c4bdfa4edbc41c9fef7ef7377560 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagBagOfAll False Passed
68a5cb091ed52a8184f120fb2cc01a31a3cd0c59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagSubBag True Passed
780ea13b34275389fae7826635c00dff1ff7f8ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagSubBag False Passed
68e60013b22179732b2f589770c4e5a269cb8a1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun FiniteSetsIsFiniteSet True Passed
3f3779218d45a582eeb5d94fc7f6bccbc54b3663 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun FiniteSetsIsFiniteSet False Passed
1572b46cab12eaec7dcc6a9e84e78657dafc3977 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun FiniteSetsCardinality True Passed
a1220ff77136c351fe71e48d1a60e9333dc1991b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun FiniteSetsCardinality False Passed
4587f36b59f7e52f5f9ff18c47bb8d72f142f836 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SeqHead True Passed
28edcc04426321df2fdb7135435d6e96285a32fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SeqHead False Passed
016a4e87368691d94835ccba8233ac6979242943 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SeqTail True Passed
997294b03f7af0a32b84977164fb477cc229acf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SeqTail False Passed
5bd60363fa51e1c559b7fc4e37a03e002f4273b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SeqAppend True Passed
46934123522921d704a64bae6da0c396feeeea11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SeqAppend False Passed