Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
2b74e4fbca6bfc382b69c94ec3c690d832e0241d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun OneLineComment True Passed
fc02cf7391159b03b7e25e3cc54ac21978c612c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun OneLineComment False Passed
7152e6d86fa8c8d533dc74f4a391bb73e1b010b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun MultiLineComment True Passed
f7de27a0a2dad687fa855e5fca02420df15598f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun MultiLineComment False Passed
8e6b550ae08da3451fe000508897a61b14cf1111 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BoolTrue True Passed
bf393bc0c9e33ad282275eb78fa8bbbb6a556485 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BoolTrue False Passed
586fc49c3bca7e96af50ebac4607d2af609c2403 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BoolFalse True Passed
e3b6451f9c1f17339dce3e0f5916cddfc1d0805a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BoolFalse False Passed
aaf8e9cbb8347aafad1629f32d7c0449394d043f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BoolSet True Passed
6ff86b8938c7d5b1e21d240c1b0e9aaaf4729aff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BoolSet False Passed
0eb9ce6bd937a8721e3bb61eae3004e7ae8b51eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun And True Passed
f656ef1b6c1d5cb6f94114409d6dd1cbdcf90f0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun And False Passed
91ca3537a671fc5d16f93b39e7cd7d38753b2792 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun AndMultiLine True Passed
b809e584dfaf2a88ff6e644a9af0b97aa4a87d7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun AndMultiLine False Passed
165968ca6266a0d9d7f5035b59f71c8f8c245125 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Imply True Passed
9296a00df580ff5c45e95f826731fcdbde9b4747 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Imply False Passed
0c802f216f845e52e74d76fc903627a5e03d49da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Not True Passed
5675db01e9cce63914b7a076105cc4c8e5509f96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Not False Passed
b849bf0da486a8dacdcb3764d69c3f88a02164db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Or True Passed
2331bc60f96c8cf153dee68904551a95e2eb8e58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Or False Passed
c194133a523ba10dfeeb3e2cbfb50f6b4f281f0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun OrMultiLine True Passed
6427a1afb92b29ee137ca0492f18a58e3d1eed8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun OrMultiLine False Passed
db243cfa121667a5342c212231be117af20f3eb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Eq True Passed
9416716884795cade07f7f89a478fdedd045385a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Eq False Passed
27cac3cdeab1e3c049d31810815385fae54e0d06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Ne True Passed
9f83a4a82b4c77617f6cd7ff7864975dbd613ffe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Ne False Passed
9a3b5153914fbb49a3518adfe1c10797c0c30853 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Let True Passed
f992bdf6f603a1b221722c144f2d86fad015085f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Let False Passed
c4121d3e29a21ff6f511b0ce7293ee83dbfba307 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SetEmpty True Passed
54c41da453183b10f35c8161255cefb7b89b4123 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SetEmpty False Passed
de98e39007e4ef8034d4bd8d2d050bdacbe4c242 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Set0 True Passed
d71629ffe22577b89fd58947e8e011175fc51a7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Set0 False Passed
abb8e81a97586cd998aa808fc0ed8d10643fe429 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Set1 True Passed
8c6db3e6e02e82910b371c961f6c84f65ff00ee9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Set1 False Passed
1fb6b7d9181533e7842dd8e0585925540e7bd8b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Set2 True Passed
83c6ed1b761875f1d95a49a5bea9583789675de2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Set2 False Passed
93779a51483d3290e6d23bb6dd9faedd7c245054 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Fun True Passed
2aa96597db2cd4d2a839818a94c9975c8b3923fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Fun False Passed
4dcd378632ed57d92de316cdaded2675e48226d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun In True Passed
76f465030deb0e4109061db27523c54e8a24546d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun In False Passed
7dc91b5c5d822eba856f80c5602661f828572275 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NotIn True Passed
e1e012ab2223cfb4b8b59053b917f9b9f01f4fc7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NotIn False Passed
3c41ef04a024f88d705fa074d6f21f7df7da871d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Exists True Passed
6dd1882c756f8e1457551bfffab81678a7dd2800 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Exists False Passed
b0888ca1ebe47b8e8f23ee673ea374182f80d5b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Forall True Passed
6c2d750ce0448187b830dd6f6fe438b506bfe605 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Forall False Passed
8faeff4f53cbb9c7691e07896653792d371a10c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Choose True Passed
7748f2fed6adf5b9253c70e5198aa66236ea2a5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Choose False Passed
c8a125baabe59f63233292c241fd7690be1daa6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Record True Passed
796753d6720fcceb6f76974de940fee22e4aa12c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Record False Passed
a04ed4238696b34b5f4e8b50625b73b75a4a6623 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Tuple True Passed
10f1aa39ecfa47dbfa8d9d49d519f97d0c93ac27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Tuple False Passed
47ec92588b2d41fa4266056d402a09671c0b45cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun TupleEmpty True Passed
96681c7e48defcd59cf64942fda97b893de145f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun TupleEmpty False Passed
3d77898651baa9c6f635e5a6f04d2b191c197985 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun FunApp True Passed
7d5014620afc8e5665641d6ae70a5a25f4ceae2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun FunApp False Passed
7a220261c1958f1d6c48b269ad18a20943b58b80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Prime True Passed
b5ad47e3b713af131907bfa7135ff4bc09494ea9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Prime False Passed
69f3e68bd021706b83e55da90ba562a4cdb078b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumZero True Passed
e48c589b723d2007e2a1bfdb4820f25edbf25700 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumZero False Passed
038267fc34b8f0bcbfac7b9de6289efa58b8e0e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumOne True Passed
010ccd68a4894827e6aabfdd325a1588090233fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumOne False Passed
f8fd8ed6527280b06dae30a3ec68490f19d230e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumMaxInt True Passed
b48e603ea8f300f8b1ec340d3872102186e9d259 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumMaxInt False Passed
1692e2c8c2d55a07446ce90ab67d9e395ed59502 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumUnaryMinus True Passed
82d2008df86edf8f21c8bd8e33ffb29d04762ba9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumUnaryMinus False Passed
f0b0da58bf2e98760ee527b3ff34a595a6fe2680 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumPlus True Passed
bd2d275cd0e19d3cc84f0464c522fbcdaae79721 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumPlus False Passed
a73376dbb91b9f07791965220e0066e697a7ebd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumMinus True Passed
bb79c1ea58ccd715f849c7667aebb51d73c9a06e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumMinus False Passed
b919846ec9715339d2cd7a92b772395f22fad966 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumMul True Passed
d4a155bc702346fc871cd91799f22d5a8b57662a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumMul False Passed
fc99cba29be9452671ca161924d50bfe6634b8f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumDiv True Passed
235c909d8a0bd5bffbefd6916746a37b6fca470d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumDiv False Passed
3cdd38cd12eb2d3fee8cb64a3d2d2b6361758d8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumMod True Passed
ab2a76fe868628691a431d1b57c2cc218ab750aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumMod False Passed
6e333db67b364a9b43a50705b87010cdefd13380 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumPow True Passed
6531049f3d9287079201565dc512e79521ee6f78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumPow False Passed
2beb46fdaf55b7cdf7630072833c8c080fb7c820 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumGt True Passed
2b4e50ce68ef1152b3f0178284bab3508f238828 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumGt False Passed
d32d4931fc452a483efd8c8c795eb42c2e85870e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumGe True Passed
e386f7132530ee3824efd64a0111d4bdeab30db8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumGe False Passed
4d4741c9ece0ee272c0f0280ba19b8e6a8a04722 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumLt True Passed
4fdae065f627ed56a96ba3d1263e5eb0c1ce55d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumLt False Passed
0cfcb56385d864b990ab61b941219c12cc710bb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumLe True Passed
8e74403e6f7683dab3cdfee2405bee29c9eb41d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumLe False Passed
318005f09206550f6bc2930d8bfb78bd776714d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun DefFun True Passed
b72115cfa11f33c0e66488c97225881a7086a7d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun DefFun False Passed
3b14ffc3205abeb2465ea3afbe388fedf5828532 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun LetDefFun True Passed
f090f71b31693c7d965b1c52893e80851a4d1aff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun LetDefFun False Passed
56a40f58db8cc2ddfdc559a3d85b5d3707e196c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun DefFunRecursive True Passed
e8cdcd613e509955280074d5935c6dc718fc6897 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun DefFunRecursive False Passed
b31713d26f5a9fbca229492377fa74df7cea847c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun LetDefFunRecursive True Passed
e638416375bdebd6b3e5e918ac3ba01cfa4d208a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun LetDefFunRecursive False Passed
46a05c64a903639521b7458fcdfdc03087ed2082 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Def0 True Passed
3c9cfa46e8913600c5d0aa06705c3b613297219c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Def0 False Passed
8cbf8fe9ff73656375822cde51d6d8fc0b07ac84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun LetDef0 True Passed
e9d56a718349ff91fdbac71c384646b37f746307 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun LetDef0 False Passed
c8fe75441bb1bec90bf51d30d9347b08d3a325e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Def1 True Passed
946f8a862d3a850342dc375e0eb211e4db2ad67c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Def1 False Passed
af0437e69f6c20be9f89ac4d25b57b7d0e79a2ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun LetDef1 True Passed
b8a33906344202badc4f493f39f08a4e52ff17fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun LetDef1 False Passed
60ce4eaaaba41001688b03bf152098f9404b8d23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Def2 True Passed
7599def06760f799084edebc48a56c549ee0831a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Def2 False Passed
378aec466edcb0e698a6d960168036586eafa3fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun LetDef2 True Passed
a921d1c3a2cc6b0144c1b7013b6db0793a8653d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun LetDef2 False Passed
f9fa33037436f6b2da6302cfea72ffb2bb889834 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Def1Recursive True Passed
38f229100f1ab2f97c6d07e90db98741b89ba2a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Def1Recursive False Passed
9f5f4f154ac7b1f018f1dcc4b60a3b135d31c86f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun LetDef1Recursive True Passed
802f00782b5ed41d1ed9666577f54f602f9dcae6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun LetDef1Recursive False Passed
ffb09a58b8ee1501798cf6e0e424108a708443ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Extends True Passed
c0f1cef4e11739eee63edd3bf8a41f11329368d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Extends False Passed
9394164fa061fedd72046890b87ad68b58b79c83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun ExtendsInDifferentFolder True Passed
c560ff3a94c59a1e5dc23c845296c2e8b3196b4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun ExtendsInDifferentFolder False Passed
e9f5dfb32821123ce4ca2ca2860748ed63d05b45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Variable True Passed
c095e14e6b0af4a73620062de81be2ef4a6c6d53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Variable False Passed
4747d7fef23123c60b9ac57691c66eae1d93eeee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Constant True Passed
7055769c36ad4504b70d29233585858720c3d88f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Constant False Passed
ab7d7d378e9c49fdaf0fc584ebc6d6a6bed6a3a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun ConstantRank1 True Passed
b1c2dff4f6498102631cbb7228e7695867e02f83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun ConstantRank1 False Passed
aa11a6456928b5d12872dd49fe76a2c63fa8637d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Instance True Passed
d1004e50c2e27530f0b7ff90abda27d82e204493 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Instance False Passed
d85ac12d2217e2643ce88b405b8b843178b69704 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceWith True Passed
cf0320eb8ae421005a9b4d363602adf1e7f5add3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceWith False Passed
f11465ed17c34f5a5eab58a2a38998786c5ae265 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceNamed True Passed
bcb8669e6025a59fb6a0c925ae72ea966f2c7fc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceNamed False Passed
b47e497f1e8908227d600dfbbd844feca5356278 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceNamedWith True Passed
663cc812217041e075ce57409112abbae90c7b43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceNamedWith False Passed
2997ffe965d8a5ae299ea5a4827e8c1d76346f9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceInFolder True Passed
bc1dcbd8bec244c92d89f4c06536d68dd8ea57dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceInFolder False Passed
36dda1acd81a9760749d17bf9fb0dd61af24e654 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceWithInFolder True Passed
c2f9b01a2ecbebdb3ad312aaf0d8dfdc8728d349 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceWithInFolder False Passed
6bb85b64a92eb742fdabdbb650747fe06d0f0084 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceNamedInFolder True Passed
4e96d0f2cb75939d66a241ace2257be62c3309fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceNamedInFolder False Passed
e233d62689eba5f119ed60ea152154190fa0de4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceNamedWithInFolder True Passed
88fe521879e57583561294a1824c0b29be7fc113 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceNamedWithInFolder False Passed
4759ec807285dc8b55a9ba07630947db7f83510f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Enabled True Passed
101f554254d4a0153cc3f24f3e318b9a114e3aee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Enabled False Passed
47b10761a710637905d30566587a387578c411ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Cross2 True Passed
f4f34dc4adf0d876c013694c5e51423143c7fda1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Cross2 False Passed
fe262f53269da1f315bd0693a02eacde5c966472 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Cross3 True Passed
b1851a5cd5f6c6bab0dbfab7dc7daf530cf9f45e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Cross3 False Passed
006b93dd5a23b96a6e8ca8c6132764bffd9d3e60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun FunSet True Passed
6efc486d9af94cc8551ba55f3d3029d324dbf838 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun FunSet False Passed
08d58ff02e1477145e0c25cf42d69d88890ecbea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun RecordSet True Passed
16de3a3fa8872d226e370228c51490c4503c68ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun RecordSet False Passed
b90ce6759fba537d12941ed4bc6b702ccb33cb67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SetDiff True Passed
c162b269b649abbd1bca520135640c9f67af03a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SetDiff False Passed
b68caa55cac789a6de1603fccf70fd1e72a7d093 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SetUnion True Passed
34fae87dfdcc73b71aca64166d505bc59e68a97a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SetUnion False Passed
62fa72b2e35732e10c67c4717f3298bd0341e380 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SetIntersect True Passed
4fe32d5d65539081c273945e2aaf8f7706cc3dfe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SetIntersect False Passed
d935805aea1b792e6008c1291f51380dfd43ab7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SubsetEq True Passed
dca01e9e2d5656e0c0a6a3e199926a39668876f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SubsetEq False Passed
12ab9112569a341833679098bcc15b3676208f2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun IfCond True Passed
66870ecb39a056a9faf83a4655926d610ba8f1bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun IfCond False Passed
6c44c9885514c8e7876e743a67023428836eb150 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun IfThen True Passed
92b0da85f681847f9162fe11bb669dc0f6d6f402 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun IfThen False Passed
f407095a4df0bc9c31ef3962417182319150e6c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun IfElse True Passed
f41941a407249549e86d6f1d1f0e46e735e66ae8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun IfElse False Passed
fc45fd372d84403d3463817fce36c824aa425e51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Subset True Passed
2f4423b5826cf5b1a71804dfb6dc60378a55a493 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Subset False Passed
a55bea0450c29c72170677ed3002697db47ad442 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Domain True Passed
d3fa0195dfb53b7e2c4628623a39d42d1631ddb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Domain False Passed
b4a307db7fdf6f0d9e5908a96db8969b27da05c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Union True Passed
5c424f5a5f1a254270b5310757d74d194da1d9ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Union False Passed
b8e400c8ef4cc4a1254a5665f501bab4ca7efc20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Unchanged True Passed
8628e8c6ae33f957ad20fbdda4e4c504b4b16d58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Unchanged False Passed
848554b79a7bf031ffaf8f591d4438095f7dae07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Equivalence True Passed
8abfd65a9acdd862dfed5fae8521d8c0903c70ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Equivalence False Passed
e9dce5e5b6e14da6f362546ef192a41f2705f1fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun StringEmpty True Passed
21386d825bb7c696cae2b4fd56f86464255c63f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun StringEmpty False Passed
fc3fcea363dd816d2f4c590f9e98040b3539a5f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun String True Passed
9f6aea169f3661af9498fc7916d3899bf468c0da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun String False Passed
c592385888896037ed4bca687044b81c5598e5b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqLen True Passed
5a96af46ba8232e6f28f3cad84728147516cd28d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqLen False Passed
f4aa90208f3e50b0460304529a778b3bcb6f3aa0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqConcat True Passed
a50bbefb571bb49294482061bcf4baaf9305d3c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqConcat False Passed
e90cd4af4ab4a42bcbed237116ad3355104e4937 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqSelectSeq True Passed
d654e28898e5addedc7f91c55b281f19850fc365 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqSelectSeq False Passed
5d301a41098d863af8b8efb2d42e4ced4e13a27c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqSubSeq True Passed
6bcb718bedca99b31c9b308f8eadfe9d35ce32c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqSubSeq False Passed
09d86b683996c54a4ed8c8ee22b8312d8b2c085e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumRange True Passed
566842c5b63d94c604bc88bc27f614d41f958602 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumRange False Passed
cc0d4af7a26799f90cb73e85c797c06310b26ddb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun TlcSingletonFun True Passed
5f02c8dc5d6feaa82332efd4cda543842cf5360d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun TlcSingletonFun False Passed
9feb2c0e7581e81eba0f6a4c0bac3ffe61022043 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun TlcExtendFun True Passed
eb0e29a25b963ca5f7e8fc67a752d7cd8d63e177 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun TlcExtendFun False Passed
e3a1c814fbfc4ce9a92a0680c0dc833ee5852023 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun TlcPermuteFun True Passed
0c2c6bdd537808eeb04bb916513cd5f49ea6e714 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun TlcPermuteFun False Passed
3257e40c04b8d9dbde31c8606fa7179308e38c27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun TlcSortSeq True Passed
e798b446f9c2f852ea32f483a344f8f5ced0bce3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun TlcSortSeq False Passed
f1b16315c0df63c1c874808a4c5ae2aa7c08ecf2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun TlcEval True Passed
f48b50b044a13ce3e47c5c9615a97be4fcc813fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun TlcEval False Passed
de91b99e237ff94ddda08e1c3d2e894fec3f1a26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagBagToSet True Passed
4626d3510d42a4b0ba60705f63eade3ef056085a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagBagToSet False Passed
29aa8d448a54eb561152c5a2fc1cc32807d56402 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagSetToBag True Passed
f25dbde842dd6228618035982e502c151c8810ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagSetToBag False Passed
13008a80fd90a048a228b178609628dc02a028ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagBagIn True Passed
79ab71531c36a6801d93a789083aabf129483aae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagBagIn False Passed
37621716eb7e40eb6ecc6913be5179d26a401298 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagEmptyBag True Passed
ab9c6c08f45aaa859e2f5734f97abdcba99f74bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagEmptyBag False Passed
adc73b570c31bcc8ebcb36523ad4cdd0ba209caa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagAddBag True Passed
f6dc2b1195e8b37b4959f41e132ff3d8a5ad256d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagAddBag False Passed
834b974020948a78d51501ffff9cf25e13176971 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagBagSub True Passed
b78dcd30891b609a5c791b7c990bba8c30971e90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagBagSub False Passed
1f2a47a183df6bace659ea1ac019c5e5926dd6f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagCopiesIn True Passed
98129244d702b5e697a78c3af8f41f017c704f0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagCopiesIn False Passed
3cff6468ffae5657fe96dcf83b0d51f5b0fc8c55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagSubsetEqBag True Passed
f9c7dbb8df0f449f33e977ed69ef68096904f051 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagSubsetEqBag False Passed
6e6ae2361df287483fc14b9852e0ba181f1c7f64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagBagUnion True Passed
34902dc3613f5d9550f22d28c26ac9771480b139 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagBagUnion False Passed
2a3b100b3fd56ccd79f1d59c5ef1bc8e88a116e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagBagCardinality True Passed
e45fb2702573c7b386ba1422b8256392aafa6268 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagBagCardinality False Passed
6edbaebb9070d2efa6c836f8cd1f03e74273e8ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagBagOfAll True Passed
89c7f5a481edf6af593d903578df18f9bcc0e594 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagBagOfAll False Passed
4175a91dd9151ab5c73b6730d00a66b599a9a135 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagSubBag True Passed
093f419cb211309cd23ea76655e35c5d5cd2db67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagSubBag False Passed
71506506b45c6f1f5502ac8a577797f4cc611909 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun FiniteSetsIsFiniteSet True Passed
4bf947386997b49e022b0f6f76c3d2645fde908e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun FiniteSetsIsFiniteSet False Passed
e33ec5ed97f02f8b315f02be9947eae1ca65b00f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun FiniteSetsCardinality True Passed
dfe8146fe675a2ec31f2660e3276d864baec4096 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun FiniteSetsCardinality False Passed
253dedb8d2b52bb926b946eb790d86ad90d875af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqHead True Passed
da08c3db1de15097fc6f0b95a079d9ee444df721 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqHead False Passed
9733e0978a2db39fcd18bc91a576fe0400f4cb5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqTail True Passed
9d745a58afabf35cb76ee07e78d7b0e171536194 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqTail False Passed
89822e09570acee3cf63ade33afc3f0c98b77380 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqAppend True Passed
5f1708eff2b8d07813ebdb0f18be93c2059cb18b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqAppend False Passed