Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
fe6389f34ea8309a1afeb48cccab2dbafa3b2b49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun OneLineComment True Passed
d4ef007afc0a06faaadbcfdaac478c782d0d1984 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun OneLineComment False Passed
fb65b2adb666134feba9e94b6f28da342f033368 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun MultiLineComment True Passed
81b96529bc8bbbb789813aeeb974540a8ce71f1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun MultiLineComment False Passed
3157dde07b3e83cf705650d6ad69a7bee39e169f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BoolTrue True Passed
a8ea30ee804bc50e0db1f5ef29203b31044e538e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BoolTrue False Passed
41640abc649071d0f9926a4a97f9d6f041b28b4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BoolFalse True Passed
ed6c6449ee81eae2d0eafab149a9597c376c8363 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BoolFalse False Passed
8ba03d73294c73cdaa9a2cb5dd3620c418124bba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BoolSet True Passed
c03e0a9b07472f0d2ce01cfe1ae3113a8d2798ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BoolSet False Passed
ac57026b7665804d74b0d64ac11b3a80efded44d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun And True Passed
40aa4d5bbb072aa5a778466d5459608e77fe294f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun And False Passed
52471d2c13ed4a7682690bf696d056f874b62197 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun AndMultiLine True Passed
4f4c1c21a1be3f7d0afa66fd3f3db975664ef025 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun AndMultiLine False Passed
f808d6052217ae2a1dc076349285038231aad382 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Imply True Passed
31d0299dbe6e53e2e43d03d33ba37d3220396ee8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Imply False Passed
8d824fa6d5d50e6f5d52f832cfdd36cef3c7562c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Not True Passed
b48a627a5d7385e350c9545387f244afbcda887a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Not False Passed
5cc7ebd4460f5703f7d944302a8441b6a6e48692 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Or True Passed
ca9b37620f5150f364acc09014cd8fa9847f0dc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Or False Passed
d983664f8532088748e4f9d90dfab29a7af71630 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun OrMultiLine True Passed
7737cf0a83fcf3cc116c510c19081b5e518b55ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun OrMultiLine False Passed
81fbcbdd91fc046a615e3099d662532b5cfabdb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Eq True Passed
88e31d0e90cc0dc101c159482c77d9ef21ab6e1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Eq False Passed
39e04b97672dc8573235142bdb70aba2cc75d6b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Ne True Passed
c0cec63d15f37b38ae79de0c2721ff4023a978e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Ne False Passed
c5fff5ef99ca4e439aeaaff90c7c1b4ccd53ed6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Let True Passed
13f09194c6d5546b9ca2e05680368eb6cbd0f977 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Let False Passed
8ba5f60772998f22258035b4251bca822c07be7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SetEmpty True Passed
711654ea6aa2cc7f85291fa1f05bf47ab97f93dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SetEmpty False Passed
2aaa083e289b6bfe52578776a29d9ed994871458 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Set0 True Passed
fec4391499ae967c8e81240ff0f0b95306ba4383 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Set0 False Passed
1558081f29c39b68d53addf86f99b6134f53d223 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Set1 True Passed
633c291f4493cd8f7b6d076d5e837835afa5ee52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Set1 False Passed
af9348be408416b92343505ab4076a32820db6f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Set2 True Passed
b07b55dfd851b56aebddde102947711770da5ae8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Set2 False Passed
7c5937271c7a998870b412ee6c8634f068d8fe8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Fun True Passed
d1541a783e5209e1a75d52c0e0ab38f96bcf3849 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Fun False Passed
6fca71f25645f05f1f08c35f85f81580355d2522 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun In True Passed
9fd1768690ab288236cd5cf3606fa779dfdb679e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun In False Passed
1ed933b63461f7eebadd30595e0f7a1e86374cd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NotIn True Passed
03e11be3e029b1aca75893542ae03fa8ab95c71d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NotIn False Passed
66a8233de83cfe7f305e0dcf9362d804711075ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Exists True Passed
fe323ff10426d4134567378060d77d7bca73a415 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Exists False Passed
fad9f24d0305e16847f0833cfbf7162fba1a1d21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Forall True Passed
d00cfeb61a5eb8e17d9b3fa30c54125b24c41e59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Forall False Passed
b57e754b4cd851c0c8a24540e51f5d1070489d9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Choose True Passed
11c8b60739274e0a39c34cd0bec57e4e0f259968 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Choose False Passed
dffe2113c7175b8405dd2ba1ca37705a13c2dccf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Record True Passed
24ed4862196b3f22495f6b3bfef1bb0afdd7e875 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Record False Passed
04a52c8b954728dd0dee1d37b81eb57fa6c19bc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Tuple True Passed
b32a1eb110d574fe09077c30562da0294d8d0203 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Tuple False Passed
deed19964dff8d05e598c41062ba794932bfbfd5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun TupleEmpty True Passed
3261e4f844b4c0e20d500a67448fa4c0b931805b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun TupleEmpty False Passed
0775810820ea1e0118c9b10831b501e023b4f60f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun FunApp True Passed
3e5638a7e56358255869be30a6bda6c1d1a0a963 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun FunApp False Passed
072edc9bfe6592c58301c8153c64919187e66fc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Prime True Passed
9f229ed8d5fd9f66f54e0e3d93b44e0b88fa155f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Prime False Passed
910884888470209af15718356a8a59ad7c77cf28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumZero True Passed
87b0bd556c505a75c5c976e57d4197cbfbe857fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumZero False Passed
10597a015c57b568b12a8a29cfe639a826ee3ff1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumOne True Passed
96d51ddc7170c134c3fe57b7ec1a467897d922f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumOne False Passed
87ff40347e9e87fb4a28219def7a3268515dc34d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumMaxInt True Passed
dfb0d79902efcdc1c275eed4523ce0812b1e9413 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumMaxInt False Passed
8f96e9179f46899cb7b32f8b7bec198173c506ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumUnaryMinus True Passed
813cf3bdb37aaee3ff2c908683b21476113fd8a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumUnaryMinus False Passed
0314b5e524d90e22e1d479a969c97b0943f46196 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumPlus True Passed
96a8b303d6dc410000adc7d38c1234bdcf142cf1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumPlus False Passed
91d4514a2c2d83b7f7315c0f0221c5b0351351b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumMinus True Passed
10dea614d3cfa7542e261fb641457cd211742045 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumMinus False Passed
a5aeb955ea53494022e1271081b1b4f1551ef58b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumMul True Passed
3bc100786cb91d72d27bdfa60e177973ec495f79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumMul False Passed
f6e83dc8f0a8c5a3803d12a6cef24e1dc1bb86a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumDiv True Passed
5b34b5b85a39bf530e12429d24141b485e54192c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumDiv False Passed
33efc1af611437f74cddc7e68afef75bb28f24fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumMod True Passed
d3620438ce8d28e08796cf6311fc84b7aa59d77c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumMod False Passed
71f13f6b294786880070d8ce14b16116da72b5e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumPow True Passed
0f46e2bd28da96b7a8a03c555b8519e3b03a2a23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumPow False Passed
26525ba33d3fc4d939e2005d20bf2714f554027d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumGt True Passed
5b81cb2de139eef73fb6c28bf296a6ff2ebc1623 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumGt False Passed
e9558e8c94bab939583e300c6ae760e507acc9b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumGe True Passed
b0468929549255c5a0ce25c3841a6d680ceff167 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumGe False Passed
926642a3f349803bdea6ed002547e8a34d54bbf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumLt True Passed
67dffd2aefd98da5563918519a728311aab70007 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumLt False Passed
5a66f8b3a8763230fd242d46bbfee79096a84b48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumLe True Passed
9790c9c9b51f20360a2bea48a895876120fdb2ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumLe False Passed
7e4d3e68333646db228395c116fdb1644994cac9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun DefFun True Passed
9a97bb1f1e9b7b89b854e13c57ac96aa7a60d6c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun DefFun False Passed
05babdcdbad556c986e3537fa9a367c25fd40d67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun LetDefFun True Passed
9570ec38445c767dc0e2acc5f122cf165effdcb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun LetDefFun False Passed
86dda9072c8fc8257e2257b7d4cafa6fc24b4ab3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun DefFunRecursive True Passed
ace9e83d0e76603e34af660840992e1724fe6d81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun DefFunRecursive False Passed
bd321c763b1b26ddbef42090894bde242cbb5d35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun LetDefFunRecursive True Passed
6c2a7be3f11fca95862cb27f3c66dd3044283e64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun LetDefFunRecursive False Passed
6528b8004ca851c76236e1306bc1a780e0e48a78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Def0 True Passed
1fb1bb5d9b7d90bdd475d570be9abdc5e75c0507 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Def0 False Passed
120b05aa63d70de7f5e958c78b1faf88ef290624 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun LetDef0 True Passed
3835c93b240f9b52231ac21412a0da58cda9a904 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun LetDef0 False Passed
5e6492f7cf5dfe534e604f3ce949ed514cab268d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Def1 True Passed
d6768c7705f0a8354737814e22329b80eba68db0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Def1 False Passed
6be60a08e68c5e578eea536edc4bb71067ac4766 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun LetDef1 True Passed
6d91cc4530a314127b6eed8fb0e80ea91d8fd1dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun LetDef1 False Passed
bb1226fd16ab19e3ac61368914c9fbc1f538e8e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Def2 True Passed
c12b9a2769860506899115f09502a4dc4a13f22d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Def2 False Passed
dab9db278724edc7ff4097d47fbfb8ad6e168f11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun LetDef2 True Passed
7274f143418b0923f79abd345d299a00b598aad6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun LetDef2 False Passed
130c4b2566b0e8e793cfb5f836444652750bf0ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Def1Recursive True Passed
b774a9882650da135a7fa3c4a1c790c2df1eac1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Def1Recursive False Passed
c857ee0734ad04b9eff955a22e99ef91f8f6bd6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun LetDef1Recursive True Passed
fee5f5b3a8e85c01801aa3a2b5b3b96957be020b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun LetDef1Recursive False Passed
cb37dd1e30be09422a512e9668545d4573389e94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Extends True Passed
344ce459a1f508f3547222523780e7c74a729528 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Extends False Passed
c73b348afc6e950787f4a68475d8394d878a3bb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun ExtendsInDifferentFolder True Passed
fe7b9145a636d4795d1649b89d310c544b38f8a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun ExtendsInDifferentFolder False Passed
1a26656e0935c7a0ddebd0d30cf7d5815c890e96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Variable True Passed
f99226c4e70ed9c6faacac1c760d81397dfde687 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Variable False Passed
c203d8540c53d699af3b68a013d1ec4d02d4b775 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Constant True Passed
c21907dbc5c6151f7bd875e685f46e29ea2468f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Constant False Passed
19e1d35ea8ee10b3e8808a87f3ca898ce8d0f02d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun ConstantRank1 True Passed
9766eb5d746e5af908b0fecf70c9665b60873469 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun ConstantRank1 False Passed
7414613549a74c1fb5236741089cf61f768802da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Instance True Passed
1afdc87e441363abacad636cece63ec7017c01bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Instance False Passed
2b787e290da139193770dce7f76421a2cc403ff1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceWith True Passed
4a9df8efb790cb0c913db37743ed4857d2bdaa7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceWith False Passed
53295f61c9187197dfa00bfcc827d4762558cf6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceNamed True Passed
76d9211286c445ecd061fb0a9b0c63bdff5f1a85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceNamed False Passed
f40260ed13180ebdda0581138dd1892a73086364 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceNamedWith True Passed
2fbba7aacc070b9d3c6ecac325fb3e133387a7f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceNamedWith False Passed
ab2e4e61cdc198c8012f3d3710c0d0fa7d767be3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceInFolder True Passed
84e5d50acc81c29e3e79b4b67e0e1c009cf15d0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceInFolder False Passed
b46394ec2c4c9ee0deeeb4a6e2f62dacd607b613 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceWithInFolder True Passed
190d2062b45ae474626ec53481106aabb1d7650c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceWithInFolder False Passed
27a4ca35c3441223cef237cf12f0a88e9176daad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceNamedInFolder True Passed
4ab33f91d267d9890994b75aec79a1abb307fea5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceNamedInFolder False Passed
4f61fd61fec4e8744be24a35db8c109ad4bf88f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceNamedWithInFolder True Passed
bb6d5c93dd35a86cea2d7f9fdadf759046bf3bcc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceNamedWithInFolder False Passed
7d646618848f9c4e5f5d272c1764e1a731b257f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Enabled True Passed
4ce7946a155fbb6144294fa9c4005781431d974f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Enabled False Passed
53be7411669863fbd2fd07f56e312eb28a3ba1b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Cross2 True Passed
ba8be77f915b1ccc441a90a54df710e17138ccfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Cross2 False Passed
79151922d16a17bc52f24b19d3d5a3cc5176bd57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Cross3 True Passed
2394fdb33af37421fc488d396ace032665ba22d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Cross3 False Passed
e2f73fe6dab470e4dfd1bee369da0e12793951e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun FunSet True Passed
2c66720149677088be952e53f3a37b57929e6bf6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun FunSet False Passed
2305edcd1d9f6dc2d762be6c056fd668a8438e54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun RecordSet True Passed
d0463d232c7d38133fd3b7863d7fadbd203503f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun RecordSet False Passed
c5161c0126a795e4c31904f331c02c055a37ac26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SetDiff True Passed
96367112c978c125663dffc489c69db9da5e321b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SetDiff False Passed
13662e687276350c4ed7cee6317de4266750cc4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SetUnion True Passed
c87e01f7dd857c2b77fdc9f630c231dce875804b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SetUnion False Passed
1761e3686e1bc0b06e2199d85db6685e7df97e12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SetIntersect True Passed
892a8185d4f94a1337ddce1547fd759c954df293 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SetIntersect False Passed
74529a383c228e7792518fb3a9c001aaa176e94c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SubsetEq True Passed
3ae0edbfde3211b7a901bf06255a2263cbce2de8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SubsetEq False Passed
df51b235f04401d4053aa2bee6d3b7641f171830 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun IfCond True Passed
baea1a9ff2e9c90b13351a9e9c8519bcfa224b33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun IfCond False Passed
82bca4ec1bba0f833e130cc55269cec14165e409 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun IfThen True Passed
38acad1e8664407666a7ddc9c6b0af9c2d0e705f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun IfThen False Passed
72ed1c2e50bb052d83cbbb04bd07cb3ba2d17533 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun IfElse True Passed
f270bc9d70e91ce98f0bddf91228f1a253ae97fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun IfElse False Passed
9c1adaa10c7301329fb510538b487d1d2190ce48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Subset True Passed
77c7caab02e46de2bf6c3b1e780db0084bb15f1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Subset False Passed
0e2d97b0b37ab480491e5153646acedf7899dad5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Domain True Passed
5d129089687a8615008f0642091efd66da149d67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Domain False Passed
3bc79eea99dc8b90a4a4813a70a58673785cf8ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Union True Passed
d6b688218b61b334025837f293443dc084985be7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Union False Passed
09c5e5772acde7c402b31744d7d783b84c51bb49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Unchanged True Passed
9e14ad0e0e12308a9945590ae2c505e047a1246f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Unchanged False Passed
99d00f67ed19d1270652b3128707e604961a0a6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Equivalence True Passed
70b1b274c3fc131d60d960b7e70295f2ffd54aa9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Equivalence False Passed
c40029601129f01e9b0dbcb447c3b90d7758cdf9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun StringEmpty True Passed
8bbd84eaedd352a8b7ec77db409f2af16c60b2c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun StringEmpty False Passed
e1dbb56245786d554027ca6c7e9f1698d1017b92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun String True Passed
2b4a5cf9ea26a6bfe53fa86019e8261baf2ee2d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun String False Passed
0ad194acc7a12c57993959266bc2bf82022a3344 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SeqLen True Passed
8da5af11605c8c69d6ae2f4aaac1f737b40bac86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SeqLen False Passed
f1de23e5df07d97b70303ef4ce3f597fa29d0740 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SeqConcat True Passed
a42c58e54dab5d211480654e20b381e2a810e880 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SeqConcat False Passed
57733b7faf39a9012ade27021a70a22f2128f5db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SeqSelectSeq True Passed
df82303e781b68588d9a643984cef6502f383edc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SeqSelectSeq False Passed
ac2c5b76ec7a44eeebbb3bc4adf5457174c406b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SeqSubSeq True Passed
5fe799e3c4c4452a83a923aa3018338698c0f789 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SeqSubSeq False Passed
f2695179afbc5f04f3a1f1f7c55b89b71fb3a4ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumRange True Passed
e3129ad1849aa4bd3ace46db2c0f7bce667e4bcc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumRange False Passed
a6ae1901673467462f3953c109ff9ac0c192c926 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun TlcSingletonFun True Passed
623e12116ce60085eb95a9be1d00ac4af33db838 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun TlcSingletonFun False Passed
c3790720c12c3679def70a5c2092a8e025da2402 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun TlcExtendFun True Passed
0a9b6e17904195d454c92321746205a360a88610 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun TlcExtendFun False Passed
3056eccd3f5a8db45fd8ec1c3e794de781703d5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun TlcPermuteFun True Passed
4e041fe887637cc1bd56cdfb63e50329af872349 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun TlcPermuteFun False Passed
19ad34bf388d58ef1a572971e2f69ebeae04a30a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun TlcSortSeq True Passed
7156f97e5b5a2cd40b6b36d6150e677d743bb1bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun TlcSortSeq False Passed
de969127820c1ff1ac285620088df648b23aff1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun TlcEval True Passed
777f1d8d48960c535a8178a0738134c02f6b0369 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun TlcEval False Passed
5ce06ceba6857890aea2c930082a6bf172e2f51a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagBagToSet True Passed
b48142b8af244e2e4f11dfa8c4ccdc6a4ffb1416 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagBagToSet False Passed
bb24244dc867b324bd2fba3c4bf40eaa06afab05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagSetToBag True Passed
ee884925e862738b75dd421652f8efe9c48e0c9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagSetToBag False Passed
f5ae7b4080109f38b34d45bd3b547842388a34c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagBagIn True Passed
98846ed30462de2677f92db659769c071494748a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagBagIn False Passed
a23790fd79439092980bedf690fd60b25943c7f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagEmptyBag True Passed
c2dc40a0b5e0d3c00d8965003013877c470999bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagEmptyBag False Passed
7f2d3faeff4fd35e8930fd14a9aa84585b5aab43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagAddBag True Passed
dd1f9772e751ecca48d70b6b3c0184300f47c31a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagAddBag False Passed
6d0e12bbd7d45e794753cf7e20f1a5a209378192 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagBagSub True Passed
a0d2818fc8349cc05d7068d9237d8a3eaa4f528c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagBagSub False Passed
03ee86c499540f740a2d43ba7e7d4a263c5b008c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagCopiesIn True Passed
eb9f5eeb41e1ebbb19b8e8dedb18bb9c12880856 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagCopiesIn False Passed
5ee899bb39e2c5c0fe478e2bc879b506ef3c90b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagSubsetEqBag True Passed
8c121e42eed735a3a90499db7bde4eda3d8efba4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagSubsetEqBag False Passed
d951357a9ab7a1d7164ee276e4c87afd85ffd02a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagBagUnion True Passed
0655c349867f48de73b7acb3fa34125799f689eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagBagUnion False Passed
a8d0ea8752746eb47999957a63a5b7fc3d2ab789 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagBagCardinality True Passed
9043a5f03d5be7487bddd03146246acf5a0a7675 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagBagCardinality False Passed
d1a24f272c64713a8e2bf3088167798a830fdd42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagBagOfAll True Passed
55b9c6cbea35ac1560f45823d1dcc9c97864c44a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagBagOfAll False Passed
16bb32ebb839961d897c9fe63e58406a6bcbac6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagSubBag True Passed
b009852120b30f5e76e7c9bf252be08620e9945d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagSubBag False Passed
5b8ca3b82684c6d7070fae935c6d775383d71c34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun FiniteSetsIsFiniteSet True Passed
e1473519c31b15b83358f692876f7f9f12ca2959 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun FiniteSetsIsFiniteSet False Passed
b450100954fbfb7d23310f6c557746bed49c5053 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun FiniteSetsCardinality True Passed
8c0f677b04544f0e299ca8842863f24f10d1ecac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun FiniteSetsCardinality False Passed
52a0b94c7401b2e27bde1adc929c6181fa8dc2ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SeqHead True Passed
453275210856c5bab6c79cc08060d4f43f8eb90b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SeqHead False Passed
edc915c17c400a2ad8fe819aba795abf1a3500c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SeqTail True Passed
01b3507af219dd0b351ca148a37fd68c4d69dc26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SeqTail False Passed
777a7719b87b673345d22f0b61f8fcc2254b78db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SeqAppend True Passed
d31adccce7606f14a88c6763411d28d288d99bfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SeqAppend False Passed