Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
6fa01f3658c39aad6a1f11f296db6d4d6affbf5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 OneLineComment True Passed
98482a62b4200bf84dee066ad72daf729836b02f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 OneLineComment False Passed
996aa8c63808526674c3e9db731246f99b620025 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 MultiLineComment True Passed
3bcb853d60c1fb1a149d485a398c15c23120fb36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 MultiLineComment False Passed
78dc4769c9dad5ee68e8566a044254bfd2b54606 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BoolTrue True Passed
043c406b844362d8b479fd007f1af4713d44c42b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BoolTrue False Passed
4193ec023bb2554fea6872b4dd5b96bb72bc1da8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BoolFalse True Passed
cbd3aa3dbb8a33e0d16a6b8efbbf6a6c0bbde0e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BoolFalse False Passed
c260259716f9a6e1c951ff45a206ec48b8d288bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BoolSet True Passed
a4636c3e2115eca82b7730e6dc08fcc1ece22d7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BoolSet False Passed
2d3ced3bc45aa94637296c3734d83c01a9f1b059 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 And True Passed
d74762ab13f7044dbf56f0c46363a1cc9e879c1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 And False Passed
bf5a0f2d790bb22ac7ee521ea445c334cb4ede5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 AndMultiLine True Passed
df210d649327d228715850523773bd19752ab5d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 AndMultiLine False Passed
3c83305c34c08cc537e27ecdc2990d9a3d3da841 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Imply True Passed
4539c170ea5a4c16a315a45259f4aca01da8cf55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Imply False Passed
b5fb53c208b49bfd3668d9d426a0a80438968994 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Not True Passed
4e959a776ecd2f2683aa81e26aa50d3a9a61e54c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Not False Passed
8ee0e0e65ad44cec4fd4786c29bab04c6c6d4e7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Or True Passed
9257a21d6c10bf5741d733fb1d370d13aa22f6b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Or False Passed
d224cda7a6273d5e850a9df26e0e4f23018bb673 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 OrMultiLine True Passed
ccb6386d1e8e86aa6038e31155b37e9c026740b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 OrMultiLine False Passed
f1ec2e0c10c0bd3b70ef3767e1573a0090d7c535 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Eq True Passed
54f0de432e3a6fac16f727b5ffa00b4f515084e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Eq False Passed
b35ed69639a557368bae5c9a6a216f8d4725b491 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Ne True Passed
039494780d60b187844cab3941032da223131b1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Ne False Passed
7edfcd89376e089a5ced57969005fa6dee99ece7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Let True Passed
1b300e7c3cebe0f72177c13a47282f614d1fa3df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Let False Passed
7a2e47c90b35674c17f6174f2f8c2caa82f89293 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SetEmpty True Passed
2076366f9f9d2220bdca6674654246a37677484c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SetEmpty False Passed
f58f011d2e7ce503b44cc8909193f0d6bc441e79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Set0 True Passed
1b5552b785596e4b531717a031fe4e07601c5f37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Set0 False Passed
2af6875bb096702a375567522d9f862044403b84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Set1 True Passed
1ab97bea6c328e411b40373168b3ed77ec40c169 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Set1 False Passed
80d75d4c186dc8e75c6061810f3c23f657704939 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Set2 True Passed
a30bbf7e457aa6292663db554d8145a6e7a87f86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Set2 False Passed
e294355ef79f50871a36fdae892ffb6c74590947 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Fun True Passed
8628ee0d4fbe0a5d19ab1950d97a9e746b863379 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Fun False Passed
f4dc466c289318bedd541eba79281a1c13680c74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 In True Passed
0f88969698ae96b9cfa4f2893ab8df2d6198bd1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 In False Passed
f11f1eaf314b383f36d3995f562b9d705cda23b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NotIn True Passed
c9eee1d484b51c9abdf37d1d58c10ec3c43e076d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NotIn False Passed
2f57a438f22b14d393d1599f62c401a4c69a60ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Exists True Passed
f25e78c1b1155e8a97c9b027415641cc6eae41d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Exists False Passed
476f8fbddd8d19338401d8b1bbf0219b85b5c42a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Forall True Passed
8b1a18213b4e6e2074dcd1cec1f7c35ad3403307 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Forall False Passed
32fe3b566eecbc41fb7a8c29f5d8006e73d0bc41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Choose True Passed
51270194c2cf5e8c1b1ccd1bfb4b5736a3dd18c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Choose False Passed
7f71ea89bcbe2d596ab4c7a6f8ec873661c82780 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Record True Passed
21ef2b4e0d066e86508985ddbc836c65c3c248e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Record False Passed
9a6bc34a1a64aa8ecfa2c99db4830afef7d723ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Tuple True Passed
b4d0a1559f909a78c6b3d52cdd53de1fd98216ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Tuple False Passed
7719b337c016eeb7e9a0389a7cdc271b268e616d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 TupleEmpty True Passed
346953c71dadc7a1b8210d7aa2fd57464742f819 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 TupleEmpty False Passed
baef411e54c53dfaed4addf63c573925f7fbe7b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 FunApp True Passed
ad4e8162f23e9007aad253ee170630f032eca067 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 FunApp False Passed
00f97fd9fd219968474b2a0986d8217bf100a45f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Prime True Passed
ed8c963506c1df8ed29dec6a5f2676d74ab86451 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Prime False Passed
96a34269c3806fd44bf4afcf6c1fb9bc0b4e86bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumZero True Passed
f5b8a0767f895a43d98f68a2d1de28e5bdaec647 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumZero False Passed
b13c785ca5be7714ecf3ecebada2faa08b5faf59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumOne True Passed
2212eb19044d2c3bd1a47b811a59b9207a8aa00b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumOne False Passed
a523ac94c55872acd482842794e1e2625cb4eace TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumMaxInt True Passed
de0f645a88b7c3c3b9d1c14e73aa9408f19c34ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumMaxInt False Passed
cf8fada1e33a0827bf1f3b476c7c819140e717a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumUnaryMinus True Passed
9fa48e11140d164ddc29469c362b2fe21a65cbfe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumUnaryMinus False Passed
48028df3398df0baff837ba551701e91f6f6cb60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumPlus True Passed
2b61e88e37e6bf3d977dc45f44d69386e2dc2550 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumPlus False Passed
e0a42e7cf482184d874e4016b9260408cfd61d8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumMinus True Passed
688383bfd6b08dca046cb3cc134f2133d3d15d17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumMinus False Passed
f6d3a0c84753f01d0e71b07688f9fa66c3d1b1d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumMul True Passed
78ca787b2229f48fb7ff5eaa43ccea9204ff5d6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumMul False Passed
6e96cb01073b5969b321041af2536a6d5b3eecd5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumDiv True Passed
38c02cdf0556cd32c11deedaf965a2dc391f9452 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumDiv False Passed
7159d4f1173e2285bb1df30c23141700ef8eaa2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumMod True Passed
0ce91c14a3e29c69c88e0625c2d53dcd008c726e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumMod False Passed
aeae47c8c6134af8db0a65a6ecaee63310e46ea8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumPow True Passed
b0204a5b309b8ac802ef24175660530b730ab5d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumPow False Passed
5d90f966aa7f9c7a76ba7d2a0878f994887de358 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumGt True Passed
4169313912da9311a26768e06fabf6ad123f3e9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumGt False Passed
b0199c1b5a4f06811f651862f0d15ae7c1443042 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumGe True Passed
2925b989efe0c96e89b4236a7c4cb74900eaec1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumGe False Passed
c0a9db4894e68706c98eee423bcd760f0935992b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumLt True Passed
a0eddb1a9c021f140b3f1e170cf32a2b3e017baf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumLt False Passed
d28246935992dd541b833d91ee93358739606a33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumLe True Passed
58c7d471c094597fadae2dba92dc434922ea5490 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumLe False Passed
0e530a76bb9d88ccd32d851a48ca471d55925539 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 DefFun True Passed
6105c11dba76d3c60c488b911d4aa6b371b5fc43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 DefFun False Passed
dda7a383d6ec07772949dcc6774d7b70af6da85b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 LetDefFun True Passed
21e1dc311772e241ef553c0e5b0f81d7d206c804 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 LetDefFun False Passed
4a7658281ce7154eaec60f822bdad9a8cbe2dc53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 DefFunRecursive True Passed
6bfab2f3f702b8ac83bfaa6632c15df7e91ddc20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 DefFunRecursive False Passed
5a45a8b1e9d0ef0acc6f6779142025c998784067 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 LetDefFunRecursive True Passed
bd51a84e3084dcc9b9750c33f20b25de9fe6d7fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 LetDefFunRecursive False Passed
081426ea372070fe188b014857b1ceb00e89a4b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Def0 True Passed
0a9403f9026334ff11fb7d8bbaa8a5f157286fed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Def0 False Passed
0747c9c9ffa46369acb3e9b74034eb5b78924c4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 LetDef0 True Passed
8959ccf3e5394150544dc3f325489fd5905bffb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 LetDef0 False Passed
a5ab53534bd3269746ef02963b01b95a5327a1ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Def1 True Passed
8a4c60a0dd77d1b82172d5885177d926c9869486 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Def1 False Passed
aba5d4a01e8b482384a3744b35dfe5ec93d30b8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 LetDef1 True Passed
69a6bbbeb91ebbc933bee7c2b80a847995547cc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 LetDef1 False Passed
a354c37c802e24ae00710b4ed71f48bf3f89723d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Def2 True Passed
2068d6a4b5d837dc31ffae3a4ac26bf7e1066ce5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Def2 False Passed
122592857e83b169451be65a2d7f9cd515b21f2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 LetDef2 True Passed
b97f64ccbcb4328f87fa00cf4f611afc77ab65ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 LetDef2 False Passed
daf1cce7608953e46be90355cfdf0c9f6b76cd8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Def1Recursive True Passed
6821e4620a90e9c1fa127be87c0c6d4fb6223dcc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Def1Recursive False Passed
257a51a78fb757e0ba64a1607660f3aab534faf9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 LetDef1Recursive True Passed
32b4c91dd3db7164885cf60322a4b4eb6396cead TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 LetDef1Recursive False Passed
71f1a5bc699a99ce3289398e4d2f6183fe4ed241 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Extends True Passed
ac27fa63feff5a57be26c685ec878df2f7674199 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Extends False Passed
c2cde6216117f5a16261fb5af70e70c206205858 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 ExtendsInDifferentFolder True Passed
f19b5785af59646dd7d7e12e0b5017d1bf34010f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 ExtendsInDifferentFolder False Passed
2134b9657f2a6adb19eaef9325a6ca0390705a49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Variable True Passed
840e72ba9aaef6918c48e5d526f37a99f7209a6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Variable False Passed
bdb86337f82247cc1572858bb5b915cbb330bcc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Constant True Passed
e02f31d9f9045a53a204ddc894243ff6d9c6f72c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Constant False Passed
c16deb0603c5a4dd5e0a8bdc42fdc8e7ff69e724 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 ConstantModelValue True Passed
b5f14c121f9689c461d73198775b8a478d246b5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 ConstantModelValue False Passed
a82620c8ddfeb67de5e33f136bb4e1268af65014 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 ConstantRank1 True Passed
fa0d7ab97cfbba77a5fdd4df991f5fb731d66369 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 ConstantRank1 False Passed
373f1ea68e84f35207b047b48f30a18f6845bfb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Instance True Passed
c1dbf0c54179cb6ecdb5a1bcdfa03f0c9674bf71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Instance False Passed
636766d009aa73614bb37a25e702554c8597c3fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceWith True Passed
1d534beff6bbda45bbf7aeca129c71fbb7ca622d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceWith False Passed
30ad8f543fd38161d36dceb162ffb92332635f69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceNamed True Passed
bbc9ae225ba9bd92ee880077f1a2511b1e15f382 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceNamed False Passed
66de30ddc9c10884dcf5979407689dbebfb68988 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceNamedWith True Passed
51a2a5d34368b7aec91e457344161189a5f5ff80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceNamedWith False Passed
1de64f1ccb4165756fb758a6e2bf9c37126dfe7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceInFolder True Passed
9666e440ae50f09ee8614a84c3cb2f116f0cbbd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceInFolder False Passed
114bdef4e54810be203ddd1c0f91452e82bad021 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceWithInFolder True Passed
5b6c8e2a7193ab1aca613fc8eeba262b00fb33a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceWithInFolder False Passed
493add805bef20942ecd7b3eb0d296b6336f1976 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceNamedInFolder True Passed
9e1ae107a24ba555cab95af9221e6c9964af82be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceNamedInFolder False Passed
13c4b133dc19b8ea523ed44588603a3f9e5b8f32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceNamedWithInFolder True Passed
a676201e8a3567c53d2089ceaa19899e8ed8752b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceNamedWithInFolder False Passed
e8e972599015a1330cb110a48a3133a3d753efe4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Enabled True Passed
dcb014397b82821f8459739f687fc9942cc8f34e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Enabled False Passed
79e13a3502001794bcbadf1526ab80d948bd7cc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Cross2 True Passed
c8af8575083ab50ca9ab3acf1013834ee1558a2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Cross2 False Passed
a82dda8c7370404a5d381604aa56961c23533c01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Cross3 True Passed
5b5ef4bf4d2389947ed11bb9546704c95f11dfe0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Cross3 False Passed
d21a777c5156ae50027810f746609bac9a9edfbe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 FunSet True Passed
08a6c317b60234798b75c888d9afc0ac600e7dda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 FunSet False Passed
e568e889b6c4c6bf1e9b8b9249652fd545492622 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 RecordSet True Passed
96e816a28676694d483e3e9fb24144cbc30e40d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 RecordSet False Passed
0512bdd67a251db5a563f7f3f73ddb8509a7c5b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SetDiff True Passed
b8e97c041d94c3355de0d597326850fb919176ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SetDiff False Passed
3a7058e0e81d4810ed104f1239feff1b2c0a7dfe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SetUnion True Passed
d9a1838a90d00178e22481be1334303c41491052 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SetUnion False Passed
51668dd4eb720cf91680105b8e2540ef40ab33b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SetIntersect True Passed
b7b9374d9e69d7a895aa852d1cbfba992f5a2297 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SetIntersect False Passed
84498adecc9f38c804d0eb3fbcb70ce36f966b6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SubsetEq True Passed
ec2876d7af8f0fd409634a6440ea9e8a579e0f7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SubsetEq False Passed
f1ff8068e76877ce447112f2e9da92a5ee57e4a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 IfCond True Passed
2ddde3fda7d787a5b9df54f281eb438449ad5a0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 IfCond False Passed
4a39936bdca8d73060cb91783f48ed62441b4988 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 IfThen True Passed
6cb815a0c87f3a8c676a73548ef797f4aea9710e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 IfThen False Passed
711fc0fca61a99b55bcce0933a08f2f2c7fb17ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 IfElse True Passed
b6e5dd6b88c5c29c1d570e3df126904ac00370e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 IfElse False Passed
ea2e09b0d07a98aa5e6f895121f9389e75cadef4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Subset True Passed
61add58398d760469129a42cc023b274490a26ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Subset False Passed
606240d4c372074e14269d3613b8a900883429a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Domain True Passed
201247b0f95811855a8ebabf1b37eb4922d93e46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Domain False Passed
d7e222a69537f20627968538d44755d9761b1b32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Union True Passed
ccb0462616fa7327a5e5ca1cead6385b381cbffd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Union False Passed
c0cb1184d5d68311869dc3662828f43384898de1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Unchanged True Passed
f65fe681b44bb5446041c55620df351e836c5387 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Unchanged False Passed
06263a7f22d78f34053a12d382d50e0e2768aa41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Equivalence True Passed
10e785c0003abf99712267bc4b177c94e301b3ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Equivalence False Passed
98b31d020c03c32a4a83186b2240ec6bbce38800 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 StringEmpty True Passed
23837f62bee526a0cc737544b8175c729770bb7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 StringEmpty False Passed
9c30202e2ec7469ad14e1e3842291c2356d7f5c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 String True Passed
b0df024092668dc028d9c80d80c2cf4f9c1b28c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 String False Passed
19b4ee4ddb5a3e87776572028ce0bc949face9a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SeqLen True Passed
3a6ec1e29f2920ffc82c7ee804055518c3b7745a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SeqLen False Passed
3b714856938e63e99a99a800cf2549e867c371ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SeqConcat True Passed
90e07d27327cfe1ccfcb094c9427b787c6245301 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SeqConcat False Passed
33457cfd12f6fb06844535b09eb08a1f7cadb463 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SeqSelectSeq True Passed
80e35d888f240e5b96cd000df50301e3f11ee670 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SeqSelectSeq False Passed
4aea8ea9e261be519ca1c786d40e8096922f7eac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SeqSubSeq True Passed
dc92c4c772d7568d75c1763ae5cb7f5cd0a1d2a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SeqSubSeq False Passed
b06d3ba3418eb65e32840b972927ae123f43223e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumRange True Passed
9e5991a8698e34159c52626c8f2135a1cda0004a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumRange False Passed
57502c92326dc214f6847c43b8e55518f078bcf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 TlcSingletonFun True Passed
ed664084594c6619bca1e52fd232937f160a1bb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 TlcSingletonFun False Passed
ddfcf54aa60e296b9bfb0bd0e7d6c2885e2cd34f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 TlcExtendFun True Passed
7df98a05a3ce3ed75280f4ef0a3f4ac77c36ebd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 TlcExtendFun False Passed
111c166051a0d22acd1113c4896aaa6fe95d3def TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 TlcPermuteFun True Passed
748d6cae1135d525e6bf3efef2bd8e5041c4db32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 TlcPermuteFun False Passed
64c81af269e5d4a852f5325fa9ea0817aa1c62a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 TlcSortSeq True Passed
c51fdb8702bcae0225c9bda4653483952d59504e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 TlcSortSeq False Passed
7fe7658c984088143d9fad91aa03ffa34ee6321b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 TlcEval True Passed
9150c8a361781ccee9d16bc07d3877b86589c99b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 TlcEval False Passed
485b288aee7c4e18d661d3be6b1668a5af9e38b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagBagToSet True Passed
91228072d53a14019dd275d98f0efe26b492979a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagBagToSet False Passed
c203aea96b5e6321b878392ce44157dd8fd8b971 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagSetToBag True Passed
c6554e168a3ba9d98a84ca915b01dce9478d97a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagSetToBag False Passed
cfa8d89c042e6cfd6b301670012d20d136b54763 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagBagIn True Passed
db39453e0c7520f9aad36f693a116f8bf911290b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagBagIn False Passed
25f76e7e3b9aa315679a921f7ce95eb3308d9a45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagEmptyBag True Passed
38261305135f54af22bd29b52d6c3b66c9e1a3b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagEmptyBag False Passed
d2bb877552c7dc4cd93caa8ee3007b06c738f58a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagAddBag True Passed
08f8a82054b17d6df463fb3e8295d018dead7cf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagAddBag False Passed
32c8bc5e2782bdadd250a05cee7f667c0e09e2f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagBagSub True Passed
eb81b0bb34e76989113fc03f9a593921cccbbd7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagBagSub False Passed
11e68717e75cc249b8fda90cb81f8ffaac4e7f07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagCopiesIn True Passed
c44c1d0065ecb25df5cf6dcba400175f831b7624 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagCopiesIn False Passed
3da7fe7d3f1bc481d5aa3339caa693f2298be623 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagSubsetEqBag True Passed
e6eea1f750fb6ec0dca0013707a495b374e2e386 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagSubsetEqBag False Passed
bfb925c0eccf5fe85c3441044c88d3ece6046240 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagBagUnion True Passed
9778ff4f248e9448d0df74551d327173cfc0cab8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagBagUnion False Passed
9d3cb7c4aad62b274b3077754fd59704184ea10c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagBagCardinality True Passed
74ae136887c5d4b424c4193884cad9cb4e50fbdc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagBagCardinality False Passed
167c3ae5c394c94a3da218aa9d198e41466cc4cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagBagOfAll True Passed
c7923567e5fa4608c8de044aedf3bc0a5e691fa8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagBagOfAll False Passed
64bb615cf4e20580848c59d62098e5adbb08bb15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagSubBag True Passed
26d7f0cae46d613512a41b60231e9096a44874bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagSubBag False Passed
f742d9fe6685cc9de7fc2e56e308a63797cdd5c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 FiniteSetsIsFiniteSet True Passed
c00d112dcc8b66029bb7d26fb9345e5bdee16e25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 FiniteSetsIsFiniteSet False Passed
8f8d4ba8aec8a12e7d3f2e69751dd9b56a2febd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 FiniteSetsCardinality True Passed
eaa49d23408134a166687553843497a568a39219 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 FiniteSetsCardinality False Passed
ef165a0a406267693dd62afc373c27ccaf3bcf05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SeqHead True Passed
bdb0c00361fc166fa6bd0e667284de7dcd3461bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SeqHead False Passed
097bbcf5c7d28225535591e7eb78e93648c57ee0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SeqTail True Passed
e27494397f377ef779ec6ce9025dc613d716f35a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SeqTail False Passed
ea555fbfeed0986ecc366bdd41e840b48b978d28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SeqAppend True Passed
dd41988444d43f2c52a7cf1ab4af0c3249790164 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SeqAppend False Passed