Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
266359a436460491b5d9b4a79f0b6312ad832bf5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 OneLineComment True Passed
1408cd4cd548d53c0f8a02bf368d3a0ee7ccd0d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 OneLineComment False Passed
e9bb48943cd35f0dbcaf67934116e45239daad30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 MultiLineComment True Passed
85466107b5e2baf4766601c8bd3dc772f0245c4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 MultiLineComment False Passed
6498fcb4797c79a10dddf2bd60b8e0bebaf0fe25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BoolTrue True Passed
54528d9a2b70b86e0e111066cca4248639f03eab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BoolTrue False Passed
81fd3d64823f998779ccb5efee1b997c6ef1df08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BoolFalse True Passed
0e81bd4f2f1b8add903bc5909885b02746344e7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BoolFalse False Passed
41845d2eae6d1ae684fc6c03d56e06a3aed6309e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BoolSet True Passed
d958bf878a9cffa86182968545fcdfdbe67372a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BoolSet False Passed
bb11b322ec18d674894140efe35f1137795d3d68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 And True Passed
7ce3d4fb63f6782b548863ced6c00af8f4a1b8a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 And False Passed
43692ed23994eedd492f8302f54e07dffa513c69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 AndMultiLine True Passed
6517f4b74bece59f2f76acbd127674b9b1ba598d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 AndMultiLine False Passed
f9bad5812f617edc6769cda45f9d0dad7a425bf6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Imply True Passed
86683f69fd5d3252057bdd968fae98c6a254a9e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Imply False Passed
fae6100ed6027f7ce65de13979d6938bc77c5695 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Not True Passed
7766c696931ac51a47896f8033e9cfeacae3b81e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Not False Passed
1b23c692e5ccbbb030e6e0071d3985d3e50ec12a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Or True Passed
984484ff13f59fd5f6d6cb105da0e7e3ec34fefd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Or False Passed
5d83ce4fe7df02c4148b859be3872f8a65575642 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 OrMultiLine True Passed
a6806ac6372a7854470b3c68dd30d9be5b1348cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 OrMultiLine False Passed
a6ce0f147270272b999a8c19589b22631a75e1ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 AndProp True Passed
be3cee8f255f25ebea2784fab9c282853a8e43fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 AndProp False Passed
a9575fb261ae59cadd3fc7b4b252e0371a2c20d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Boxed True Passed
d388df53ec34c985270065040764b7073b140aab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Boxed False Passed
d17c739841db7a9f0b4300dde95215ca8ab9dee9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Eq True Passed
41eb600197f2ef5a7b08f4d8e65e7989ee118f77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Eq False Passed
34234d63f582227a60b9790fa00d13223fe8d764 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Ne True Passed
eb435ce8aff6e98d037dd031d54172cd5f7564ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Ne False Passed
5615dae4efe782700b089eb03ec32061cd36bbbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Let True Passed
815f9302f37be0e87ec1c85060cfa07ac5bb87c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Let False Passed
453437db188898b6ec77a3c856703d9a6ee97c03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SetEmpty True Passed
32a92116a4c1ec9a2f53f7b4bd71cbc80b542abf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SetEmpty False Passed
5bac7b8f6d608ef207f2729d1bdbf77200b07884 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Set0 True Passed
291caa1301e14e4576bbe56cae32977e99152dac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Set0 False Passed
062c01846ac0850594b773b83acdf3a5a7949b18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Set1 True Passed
5a18f3841e9f61169223a60904372e047764bec8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Set1 False Passed
39b3f6a9f26e6b286dcbf4697eb0475bd976fa1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Set2 True Passed
e9c95ec6a82bc96b987fc8658a4ee034417a355f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Set2 False Passed
70bb7a5c5c94e326f7ac8907357358e80edd2dca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Fun True Passed
26e29dc5a0c730351c38803f92cac1fecebca0c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Fun False Passed
320ede28b5a2f4ee2a0ce89f0bc967bfea676954 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 In True Passed
c688513ac8a7f6db3188caa4ba417b4451844718 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 In False Passed
8ad998382926c4fe3b6bae21fdde89f7065cc73a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NotIn True Passed
2bbe3d87d42e1061eb6994f12993eb89b940bb09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NotIn False Passed
fffe4e52bee75f51e5f619c7d168d2337bd61d97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Exists True Passed
7c7b154bd48b113bfb0759bd0a7dbe1a84a21f0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Exists False Passed
f284ca7096f45702259d6e9671799eab42e2cb79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Forall True Passed
1fe287cffdca597b4044ec10420757da34412525 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Forall False Passed
6b81a1c2d8ff408a52e482ab0c733df494d3b166 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Choose True Passed
3105d6620f806c61a8875cc807493d9c3d7d8078 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Choose False Passed
2ed543b95b41d08cddb689ca022325d0b275d844 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Record True Passed
739ec8cc0120a8c4c5bfeabab7871a330b291e27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Record False Passed
019cb3f169f76882572998ad1abda3fec191477e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Tuple True Passed
4ca7dc030a54ec4fd7489cfc19985bc0dcf309b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Tuple False Passed
cfc44b5d9da758450411c9722619a53476906bbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 TupleEmpty True Passed
93923bfaf19af6b8756d7eae18bda6cdacf87180 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 TupleEmpty False Passed
7107f919002553d47e4ffe52f8231a95ed1d59e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 FunApp True Passed
46dd14da0d4663dd57fba3a6ede348784ce1944e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 FunApp False Passed
ad7e0a976ea455467bb5cc8e9ba81a969718ae04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Prime True Passed
f619db72f7fbf5b9616aa33575b1e9c1012053f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Prime False Passed
9f1a69f95caab004b24ced43309d3a31d4fb716a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumZero True Passed
29510750175aa009036b47f3f1c1469ce32fed5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumZero False Passed
a212c2eb50daf9c54ee9df9010b037f8ba73cda6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumOne True Passed
cd6ede1d4d962eb7f667fb9459a84ce03b4a7820 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumOne False Passed
ffaecab85cf7fed8f0cb7d757475b515a1f4cd8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumMaxInt True Passed
2cb74d5409a6535f83241f811e0639c75c69e713 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumMaxInt False Passed
51e35f0085fbf394345ec309db07515fb7dd3dd6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumUnaryMinus True Passed
2c367235452b9015f4992ee6ac86530ad9a54b15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumUnaryMinus False Passed
a8a8e4dfd036aac8e53c3c3bd6fd2ea828256879 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumPlus True Passed
94cf54dc2b1cd372984ffefe63c55105ecf28866 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumPlus False Passed
d2c8abd4669b8efac3321fe5dfca0628490bd42a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumMinus True Passed
4339ad35572dbdb20cfce632635e3b76dcd373c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumMinus False Passed
275c7e7e38a48ce96b1087ebfd95f0cb45200a82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumMul True Passed
89d0c686a1c9b589a195d44a4bc48f4348834043 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumMul False Passed
11bd88ec05d263c550984dac279867f75a3d206b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumDiv True Passed
b0e03be885d192b4d1520459e18e17a409db9db5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumDiv False Passed
60adec187381f3500d9a50600e5c21458e03d82c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumMod True Passed
2a1f3816a671d38113449ccacc7a0d26cfae76fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumMod False Passed
e65584f4e4ea7d453d93934abeb69866d544844e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumPow True Passed
a2cd45d2b1b43916351b7dc117c535c16aeedebd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumPow False Passed
1b816c09d23531affbf7f8b792e324ca275fb9c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumGt True Passed
99bd8754e56a146da55016820e95f54b4196718b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumGt False Passed
b8025e37f34bc1e044bf9c234e051f954940aee4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumGe True Passed
1a8141082fe5d2194bbfd580a1c109572f185611 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumGe False Passed
529b7ea7b0fae568f1903cb585d48cd76db64985 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumLt True Passed
629c989dfa19a8199ba175913b8d92149e5a48d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumLt False Passed
c372c16d2cc8dd8fe57fc48c283a215f8f93afbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumLe True Passed
8fd64796e2480c55eb6e150aeeb531cc796a63d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumLe False Passed
7b677454f24ed10deff5624689b277fba0566d8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 DefFun True Passed
8b630f10f90415e17bd0463a95c15d75760996af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 DefFun False Passed
5b724cb125656087fa182b0f562a5b188cce96b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 LetDefFun True Passed
a686f8ab88b0b101e7b157f267906685b55c3ba2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 LetDefFun False Passed
2a9ce702b92e93a775094f7f8091e302e00140bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 DefFunRecursive True Passed
7cfde4f2157ae9d21035ec68ef8f1995591a975f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 DefFunRecursive False Passed
13bcef6b3f875842b02145ef9946e76284083c68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 LetDefFunRecursive True Passed
2b034f08fe0366eced810e95b53581d9709884bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 LetDefFunRecursive False Passed
e711c13e0f501db9b269e0c838de18d151c3f63f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Def0 True Passed
c728aa3576231fb2bd6aa8738d8ff1fbd69e2d9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Def0 False Passed
6e3b896b58bc71ca163b5049feecea097522d6cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 LetDef0 True Passed
9a1d2667d3c179fbed9f66cf3c32f3a401f705b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 LetDef0 False Passed
c3e44f54ef77e22b54f22f9a718187c3e5500f30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Def1 True Passed
377f9beed8ae652afb71132a413f012ecd2efbf5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Def1 False Passed
81a0d2ca9f0d48d39f610c15b1d60b4c14fc3594 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 LetDef1 True Passed
1fb604bc36da99c19700b6518943d42220519eaa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 LetDef1 False Passed
7f835fa6a0769369d22492aa86a331b1b3b387e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Def2 True Passed
e54739e911548f6b6e05a379742514f7f2ae1431 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Def2 False Passed
d0ddc15061303b0293c9627659b426642cf1022b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 LetDef2 True Passed
a0538e7eb3eecf7d7011767873fe9c5fe972702b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 LetDef2 False Passed
baeb45c9b4c9b38ccdf2c3d8989165a357589e9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Def1Recursive True Passed
d7e857d3eab03c0f1f903eb016ec7d79d681311e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Def1Recursive False Passed
6eb7472852efd3bad0897cd664f63940ef838ed3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 LetDef1Recursive True Passed
7710b8bb9e679d841f7453dab4b0fa6971b7ba3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 LetDef1Recursive False Passed
aad7d109957401daec7c22b8b1cea4a2868b9c2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Extends True Passed
913a3475f4a10b9d0cdfc8ee626ecf43fd7a59ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Extends False Passed
90797a676892d52cdd9ff3d8d9b308c5bceab0ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 ExtendsInDifferentFolder True Passed
970b54feaa0201d86681d9d61df16d688a7ec8b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 ExtendsInDifferentFolder False Passed
673a745470bf62983be679eb46cc99319b5937b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Variable True Passed
a755444d60042c8d4f4c5a8eb134420372a5f23f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Variable False Passed
e8db354fd25ea8eff92ecec0f9c0233666434a8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Constant True Passed
a275a14376a2f1282a9c77393afb375910d4b6a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Constant False Passed
1a3204e905dbb45ef8da821e2b6872bc5d8778a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 ConstantModelValue True Passed
6ae8b523c627fc4b9b2e072560d80dbdafe4a80f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 ConstantModelValue False Passed
798e59ff5ba1d5a683acf4b7f6323b810f0f0bf4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 ConstantRank1 True Passed
bbf70d2ed92d5998d30b8f0067c8eebe5379c15e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 ConstantRank1 False Passed
b0179236a9f8a4f30fd77e8b3551c746081694a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Instance True Passed
b123d3e800566ff7a8ebb13f735b3832c6330711 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Instance False Passed
627ebe94c021a247e89918bb819233f7cb9e49ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceWith True Passed
6884e8cd81aefd3ba54c04ef2b2aab276e25d1d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceWith False Passed
d0efc1558bae3d65d74852f0df5da1c7ca316cfd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceNamed True Passed
ac91e69298c2d1845a979984240f5251a5673f31 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceNamed False Passed
40cdbddd54978e28fb133dad928d69a424d497f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceNamedWith True Passed
b9d06652754d3fa04d5dc61c0e40d9f0defb2ea1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceNamedWith False Passed
229f38e1ef59b366ee600eadd226ef2371a0daf6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceInFolder True Passed
3b5d912381ee45a53f64077d18ec89b4d17b410c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceInFolder False Passed
e24d2929c6e197482cbec7edceba1c78552e04b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceWithInFolder True Passed
32f5bf0a96cb4b71c5311a89dbf68cdda52eb9e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceWithInFolder False Passed
7115be9535fa75be357de5e711f33bea58c1c253 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceNamedInFolder True Passed
1fa190d6af37aee84d1efe0aa198165f18b49b5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceNamedInFolder False Passed
232e9b02821a2850d45a0a4b1032af849f9456c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceNamedWithInFolder True Passed
5075370cdec84132730667fd71470af8743f40af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceNamedWithInFolder False Passed
d6212729d33e42cbfcca0535ff090f24d01bed3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Enabled True Passed
760d9cbf8bfa26ef2ad6046ed8da0a74a328d266 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Enabled False Passed
aa684b3bfb4b50ab5b94afbcdb31386ecc56f374 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Cross2 True Passed
b622934923517d89cdc79a76ae614d02f2d96fb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Cross2 False Passed
2e40f1b019203e2a2b83a6e983fc39a42402cf29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Cross3 True Passed
14cbc7292ddd4ec362d41e3f807bb8fb5b26a164 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Cross3 False Passed
4c60b3b5133017e7a6326a137fabcc2504c17d01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 FunSet True Passed
7cc8e84aedf9e0b2aea7d9fac2b2df43fddb7200 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 FunSet False Passed
0cee30367cdf13667a4ca35d03e7e172a69d0c18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 RecordSet True Passed
8003b1147a6d74bc27c6b23a26650cf6118c0b77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 RecordSet False Passed
aa2225d6bfa1c3cc5e18f69effc7116047ad50bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SetDiff True Passed
06a11f0ddb44c0f5e13dae8d80f564e18f408efc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SetDiff False Passed
36e529b974aa0941a18fcad12b5b755adee4c4f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SetUnion True Passed
5b542beda6278bc5a4973c12e36556d5ff2834e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SetUnion False Passed
7b586b9669402db2e79a87f6ee1f794e2b73a6dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SetIntersect True Passed
6a78912d63b03deacd88a0a3acbdcdacb3c64b32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SetIntersect False Passed
472ae7dc409b463801d29612db7104b1b946b915 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SubsetEq True Passed
0c55a286d47fc3beb25195b1d7cf6d094c74cb38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SubsetEq False Passed
7f81738027b398bae7afa0e74ff793b0474487df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 IfCond True Passed
a8f1738490bcd55bdc93a8dc7825321213490895 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 IfCond False Passed
56d37badd59630d32ea366abef49c5367c9438d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 IfThen True Passed
5253ead443cb48a523c06f52830361118cbee6be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 IfThen False Passed
b73fb0221cd5ac2a3b5dba100717b8ffa77ff7af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 IfElse True Passed
413ba72ac7b64d99effea0fe05c047d253e1b7f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 IfElse False Passed
84d6235d67047c0e35afc047939209b8cea64aa4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Subset True Passed
96444aea2d74e6249d6df81a37a4c093a2463f61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Subset False Passed
d853b84e19acc9269b27f84fa95ed6b7e3bdac29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Domain True Passed
726112824f44c94c2d0a28fcca0460395966b7be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Domain False Passed
136d4a8898668f77e902d88ef9441f2e44ffbe12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Union True Passed
5d5d7a27222f56301db8f8ea9371ca3728d3c0c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Union False Passed
0a31b014a53d58c7df382891e2e30ce23187bc2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Unchanged True Passed
b809afc1956dd61f3903d56d51f2a3d3826955bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Unchanged False Passed
407f022c0cf7d8e32452016549c6157028d5cb13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Equivalence True Passed
3a49317996a30e5e65c3df554e89a5f9180b1601 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Equivalence False Passed
ea3f153dd9813e4eaeb8b8a472b3873d0ea92cce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 StringEmpty True Passed
2c89ea54a48be7c544a77a0d4327c5a3da1a9e9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 StringEmpty False Passed
556e14b0b85fe461a439bcf6a9010f56085ec754 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 String True Passed
bb993ddfe119a4d69b4fe16675b94290566d0a28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 String False Passed
df47fe2702baa27a3b0c74ae198f445952b02acf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqLen True Passed
bb08aebc0deefc7294f22af1ef13700948d4ca03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqLen False Passed
1e39f1b3a480fbb7439e7cd9de31fbca8269357e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqConcat True Passed
f871c43542c9110965f4b2926330b6b1cfcde1bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqConcat False Passed
606682170ba842c52d112f20de3ad2fe9d67713e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqSelectSeq True Passed
4099b326a42e734b5b9df6efe791458051ee78d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqSelectSeq False Passed
4e078add71d57c4acfbfa0677a7be10b28f243e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqSubSeq True Passed
0f794ca0d981b49aff5b50c3f5efa6e835005457 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqSubSeq False Passed
1fd3bf8e401c56086ba16b17a4f5bcbb407d36ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumRange True Passed
f2bd45930c41bc48c3065e1db56dc5ba686c75f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumRange False Passed
f85d3ebbcaab97e25c473d5ec32c17f251bd0ed4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 TlcSingletonFun True Passed
98bce06dd7714cab7bce0729bd8b9425c2ed95da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 TlcSingletonFun False Passed
7415d5008554e34da37d02eca583f10672aba3a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 TlcExtendFun True Passed
c680936e3489deee0a2280b72c23c3774fd899f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 TlcExtendFun False Passed
2ac20370a591b921d92af7c8551cf761277b63bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 TlcPermuteFun True Passed
a7bbdf7be96a2038af1e3158a59a23222a1b6964 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 TlcPermuteFun False Passed
ebfb8a69fbcfdcee35be04007af40c9ff3b3098e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 TlcSortSeq True Passed
6d5a746118e9c02acf8e6a43ee77f2076e36f287 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 TlcSortSeq False Passed
3c210f36fbcc467b9841e2894e372d32b707643b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 TlcEval True Passed
86966e7cc8e58911671b138f3fa658ebafc8b835 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 TlcEval False Passed
1b63d46831dc453a03b200f9362f011d7c99f3de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagBagToSet True Passed
6c72862377e2830ad1bee38ec97da0b0b0d86306 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagBagToSet False Passed
82829e0c83eed5cca667b4e54815952d0b77274f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagSetToBag True Passed
ea52f79a518bd96f512ed9a468a48fcb9810b9ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagSetToBag False Passed
618abda6f60cdfd82f0cb4e3aaca1e02009ca1fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagBagIn True Passed
d46ce0a21bb4b6ebfb0b64058f14037438caaff0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagBagIn False Passed
3cd22ff2f7786dd06325b51be3ea8543a1d4d0c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagEmptyBag True Passed
fe078cbf83d2247f0d57738d90046c6ef75fb14a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagEmptyBag False Passed
e46068d4377dc876867e543be93451151b74821a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagAddBag True Passed
cca5d766a4aa800f5cd5b9b1678bd3dd984481a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagAddBag False Passed
6dcec61f7ed82c99bf6bb6cfd65f62f3d986e58d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagBagSub True Passed
9df0a7b1d61a63f4a54aecedb954acfdd72225ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagBagSub False Passed
957361fd2ce961a0fca666f5031d306413664feb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagCopiesIn True Passed
6494694414aafeaf6fe18c7d76b792552947963c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagCopiesIn False Passed
e4e8e88419e37b95fca3c814a12d8ba7486bc09d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagSubsetEqBag True Passed
0aedeb6bf17efddf502cef246c49eaa0457d497c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagSubsetEqBag False Passed
87a18e4f14d2e5771726629bb741c43c1b682040 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagBagUnion True Passed
96bd0a4ecf4f35ecdb75faa322a6d28a368c31f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagBagUnion False Passed
cfd7e7db9fca8efb0738783eeae30e3837069374 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagBagCardinality True Passed
b83dd151816f4d509e546b934e53fd8edfd6070c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagBagCardinality False Passed
ccc394847d6802024da43892ddefe7cfff8b2987 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagBagOfAll True Passed
8f9ae0a6fb4a5fa21b202c655a77e14c6eba645b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagBagOfAll False Passed
8cf19d0ea9350dd66841544afcd872c097e9d48d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagSubBag True Passed
d4912ce329dec08a3c2981c30e9218e98be662ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagSubBag False Passed
37510721aa6551a7c30b0cea1101d8b84fa7d305 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 FiniteSetsIsFiniteSet True Passed
0552959c85013585fee00e7be4a1fa47eae0703a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 FiniteSetsIsFiniteSet False Passed
6a9e6b2e573c0f463a1205d7955feec54843cc77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 FiniteSetsCardinality True Passed
6974c4a6e002423f93c775d281048e037da3042b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 FiniteSetsCardinality False Passed
27c368edb3ef1767a12c24d9407014dd885604cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqHead True Passed
35996a179f884314cfa3de96383f2c5ac1805c8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqHead False Passed
e82f39238410382747359b51a3331c6d17f8edc5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqTail True Passed
9a5fa494eb3cc4ed7cd4b7e75e8357e6c5992e94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqTail False Passed
d7188f9d97bd390fc8ef5f775ae467d71b0eaa9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqAppend True Passed
3238294dd0a60304133713ebc76c9b15f955ad71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqAppend False Passed