Index

Tests by plug feature BoolFalse; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
493497e8d01774d26d4c7f1bc3b48d4028a3d18a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And BoolFalse True Passed
e431405c19d93fbfe164af23687a90c5a7e1da7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And BoolFalse False Passed
d99569821ef02e41f0b9e6f9ea39ec930a5a1521 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine BoolFalse True Passed
88344d67332ee0d3dcfd473f31ca5a94939454ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine BoolFalse False Passed
18c8d6faeb6e73aea6fc8b2378538f6feb7220be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply BoolFalse True Passed
7d7ab826bef91b2e359840af51c2fb1e4b17a39c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply BoolFalse False Passed
4d4fa54313fbef9f2891748cb46e258f168e209f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not BoolFalse True Passed
262a80dd2d1e2f6499ecfc4b8ac38c8e41429690 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not BoolFalse False Passed
feafaf6bdf983aee4a4b141aa76bb3b6dd5d6129 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or BoolFalse True Passed
3b20247d3437fcbcd9c573b0e26ece90e1284bd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or BoolFalse False Passed
3fdae96594b76462e6e18f705c842668a2c35fe6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine BoolFalse True Passed
b238be7361462003e85992fd5619bcf5f836d335 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine BoolFalse False Passed
fe19d100cf8ad019e23d3e124e7488d7492d7177 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp BoolFalse True Passed
999679f04795f6c1b61620918acf10cb2ba7e0c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp BoolFalse False Passed
3f31ff7194edd100b3dfab4aa2d34a1a94924f22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed BoolFalse True Passed
22f6d261fb8b6ff1206db3a1678d76d8f4bb42de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed BoolFalse False Passed
790bcfa8ec55208e571de861f066c4a82e4e8dc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BoolFalse True Passed
b65933e4402e657a8f98f26d1c18e283b806961d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BoolFalse False Passed
20f8c6af6be320355f62e3a4a72e92a7b9852880 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BoolFalse True Passed
c3b157aa371ae6f5d84021114c7f87f50438f0fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BoolFalse False Passed
f41884e342f1307100bde97c7b5a34fb94d1734f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BoolFalse True Passed
7a9707c18231c7f196bfc1f513bfc4c2ddaecb30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BoolFalse False Passed
7797dbfb98b31b9b2e08b48d23429223041c7015 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BoolFalse True Passed
4a3ee64dea236339dc77ffaf942eba201839286d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BoolFalse False Passed
30a20b9a053a8fd1f963f3f41aa9cf6aab0ba438 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BoolFalse True Passed
5e36a5afd13d787d6c422b81c11570e6f7d0aaed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BoolFalse 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
ed8fa9778fd484e2f8dee8db2388e647fe3ca872 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BoolFalse True Passed
6e1b7337640a51b75ec14be621bb5171dd79fff3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BoolFalse False Passed
5fb9ecb6454eb73a4f744e3355b0321cf09e4567 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BoolFalse True Passed
eafc1aa69a25d45108d2763af10e2d0eeff4135a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BoolFalse False Passed
2948d44c448346f29e7f43cda7c4e8be83adf812 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BoolFalse True Passed
03e0364a2a08f626dd90e7ca06080746bc502acb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BoolFalse False Passed
62e82dbfacbc35efdd1a59473ec75c39ce6309b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists BoolFalse True Passed
90924dd26a8c86be5703d14e65a9bad3920b6453 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists BoolFalse False Passed
ee417f597540509462a930485f5676b5a981728d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall BoolFalse True Passed
a2b4ee4011c296d42d63b72226b7adbbac8ba714 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall BoolFalse False Passed
1f650d6f1298d43a0fa0e032ae6b2fa58a3133b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose BoolFalse True Passed
e98cff1055a61e1dcd44999980fdb06ed86db835 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose BoolFalse False Passed
65f815f8c0492f90c26c63b200c40b0356dabfc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BoolFalse True Passed
7564597c9db1e2463957cbac89d03bc1c91f1809 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BoolFalse False Passed
231b4ec82d713fa0c40b7d5da9f8ec8e543bb985 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BoolFalse True Passed
6eb3003a5572a6ce2ae80329e54e23aef94cca00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BoolFalse False Passed
7bf498e783048349119de70b8bc809beef8ddb84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BoolFalse True Passed
95259f3d2e769c14c3810fe618cbf0908c3b0802 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BoolFalse 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
875bd8105c3498db5316d79e21d151ce4d496a19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BoolFalse True Passed
b19b8138e3f30645d0e15ebc1d262e5b7134aacf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BoolFalse False Passed
9deda32aa71769d67e6a5736217941efdb19f17d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BoolFalse True Passed
9d995433100a1f5729bba1957a75a5e107aa1315 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BoolFalse False Passed
836fd9fd3a3eeaa536ba1b938b3c7928111c7af8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BoolFalse True Passed
4325ac9a014d89e6f99a411106816ca1ca026191 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BoolFalse False Passed
85ab8ccc372e72f41be78aed222d0dba749f07d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BoolFalse True Passed
0e7a632f470caed429f575ccaf35995eaf5bc02c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BoolFalse False Passed
84e74751da55bde2abb58435d7c8e296c338857a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BoolFalse True Passed
5ab10b01b1316bd0468ab04e9db2cbf49e6c758d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BoolFalse False Passed
420e4dc542b6a8f3594d4cd3d10fbdf9e33ed208 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BoolFalse True Passed
aa8f738de03c07398e0ccc092c2c9b5ccac38c74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BoolFalse False Passed
56dd161ed8484af9b929a24cb70ea3e5f89e5fef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BoolFalse True Passed
dfaa4d66a7fd266171d5e593eb3a106bc5fa5e93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BoolFalse False Passed
f49bc3c1d49ed39130a727577829d37c79bd1333 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BoolFalse True Passed
3c2d3ecfcc78a2ee7f0bbf97be54eb2c105caeb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BoolFalse False Passed
aad1b43f619fbca4e854d49fba704cb8c5124bcf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BoolFalse True Passed
b29c0fbb4a507d2e46e83ecf34b56a6fbe01e745 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BoolFalse False Passed
4f1641118052efaeee38d149d1ab5af2a5f963b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BoolFalse True Passed
ff814d706e3ca0fde1c096c0d2a4f93c97f29e5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BoolFalse False Passed
e068b9c8ac74bf663e424075f17c73f969d569fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BoolFalse True Passed
a1d07a41b0f5b8b142b2917e507ed8344a99edc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BoolFalse False Passed
33f2a12a5b42fe810c3d378d93c01cdad1da1954 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BoolFalse True Passed
a6e5a4af520d6ff041b801b22dbe120811aefd8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BoolFalse False Passed
1fb58641b074511a925d18864413df580947653d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BoolFalse True Passed
7260e5e606f50df0a4b5c8747afc82c25f20f10d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BoolFalse False Passed
63d74ddfbee1cf95b18b5bc25be4a9666bc07c32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BoolFalse True Passed
233c42f1c6c26e399d9394a1f44f49674a9302ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BoolFalse False Passed
fe2c3fec6745027000ea954bcfc5599c87b5eadb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BoolFalse True Passed
1b9e7e69581ccdf4d36258bd164fd5989a73a539 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BoolFalse False Passed
ce7734e954dde1f8942a60697b6db2249a2001fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BoolFalse True Passed
8b4d1508142fff5d59fb6f971f8a1ccfda7bfd17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BoolFalse False Passed
2212e34902e5592681a0a80624be240898c33bf8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BoolFalse True Passed
cf19ba3cd99745c76bb0573cefb2a634fda60676 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BoolFalse False Passed
f8b59e722a3ae91e069150dc91ecc2000dc022fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BoolFalse True Passed
2230829bedf923edf7afc5da79a497d558872044 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BoolFalse False Passed
6366c63ede8ac83c308131dec27b0f976b3997d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BoolFalse True Passed
1fcd15fe385aa2f0fb5b58fd03d36116e9e1878a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BoolFalse False Passed
9d2a1d16000d806d23b23e468548675bad05c5f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BoolFalse True Passed
b3d239bf92b7c320583b2e313d208e7eb08bf9d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BoolFalse False Passed
d9f26aab7fbd5b81d50620e9b4661be8b5783973 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BoolFalse True Passed
b4762f1b4db98cb27778536c24f662482cb7023e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BoolFalse False Passed
5a9ab1d470f21cb49d3f99f55b4fab69d2e16378 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BoolFalse True Passed
c880726a201832e9376884ea87ebc410e35b7515 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BoolFalse False Passed
90e4b8d1adcc08abd02972854c23e2b03701cb8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BoolFalse True Passed
df17dc01f56e962c85f258d4dc1254adbdbbd993 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BoolFalse False Passed
a8c225a4a097689b05a69f0403168320bf2f6904 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BoolFalse True Passed
37fdc7b32749193b7d09797e02fe9e7c4121c7c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BoolFalse False Passed
281769720020b073c67d578f3b4fb0ce4c5dfb3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BoolFalse True Passed
dfc4075b385960176fbf6fc0c5d81d16cd6194ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BoolFalse False Passed
cc638837ba0ef9e1229a9a224bb383ba5cdc5cda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BoolFalse True Passed
695dc4f3b48fbdc6fde16dc79f8c5222c4a130c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BoolFalse False Passed
4215925a27ba4761da44b9e22d04639d690aa2e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BoolFalse True Passed
711e233cfbf7149e08ba7a7b6ffd6eef3446eaa7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BoolFalse False Passed
7a2d36f8823d6d861c70cf499daed492385b4ed3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BoolFalse True Passed
3554a3260d66523e1677924e4da76aa09cf2608f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BoolFalse False Passed
8971b47d251aa87e14aa42ffa7c8653b8aff6782 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BoolFalse True Passed
738de3f075dac0aae070036845ff1e18ba3c8d47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BoolFalse False Passed
dcdb2dddd86a746cd760cbe393f10cf12c46e180 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BoolFalse True Passed
c319ff6a7574e90a881aea3bc1e00cf66915e07e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BoolFalse False Passed
48bdbe974d5831f4a25ad0bfddef5579f32b8967 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BoolFalse True Passed
65295505ea9eaddcf117db18c1d8861f56cb324c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BoolFalse False Passed
f63fb15a2a66d8311c40c6dc7f0e6ee36786a86c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled BoolFalse True Passed
beb102a215d9c318c378eb21921421942df0fb78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled BoolFalse False Passed
941bff54918cfed1ac0db1687f0c67aee84341d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume BoolFalse True Passed
a8766942faacb758c28641a7e45b2a6e5348e7df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume BoolFalse False Passed
1e4fde3903ccd726e9a99e7b0145b7a57acbff4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed BoolFalse True Passed
94ab948575ea2e47b237f87fc1757624fceadb0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed BoolFalse False Passed
55ea663e5de8f9629338f74901e294eed8b2e6f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BoolFalse True Passed
19bcad6481845af85658e16d137fbadd7f3cde70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BoolFalse False Passed
9bea6e3f853f4cf54259abc53250d09d817db39c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond BoolFalse True Passed
75a53d9e65feb43fa9cf1d9632502e78820460e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond BoolFalse False Passed
bb1a45a44b83723f0fd4ebc732d096cc086be31d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BoolFalse True Passed
47ee153a433faf705a75c39f99f5f6b36d22ed6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BoolFalse False Passed
87c35d13b088e345960496adbcdcdae240579e8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BoolFalse True Passed
e67cfa6e6a112cc2bb1927f296b01ad960a03e0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BoolFalse False Passed
0bd91be42153ebcc3c060a3735ddbb95073f0909 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BoolFalse True Passed
acd2f650344693739f42cb4f4c80db72db3a7718 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BoolFalse False Passed
7e6c862d2a1430e1728d2359a4c7deb8d7ef8f78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence BoolFalse True Passed
a0a9f4ca6fbf20347c0671f93b865ea37fb50bc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence BoolFalse False Passed
f917e3e75304402677c48b3a540442af7d34be96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BoolFalse True Passed
0bba0eb38a2ab75a61f79e0ef1283de056361da7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BoolFalse False Passed
b7184ecff9d89d922be4f0b2c6c9628b1262eda1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BoolFalse True Passed
2f6639deaf13cc37b4e05b3a13a2211730cb7929 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BoolFalse False Passed
a410705d390faab07f3122e4ad00229568448737 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BoolFalse True Passed
9514201eb75cec0ca4aec4c673ebdbb4da30e52f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BoolFalse False Passed
d98b1a0906a65e0af632a8f9e07f3316aee2a0f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BoolFalse True Passed
317ed660b20307969f81988578237ee8bfe94785 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BoolFalse False Passed
9c9e65c224d74c76e1bb0b9d4464578e4425baed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BoolFalse True Passed
bc9e5f9805432d6cde668083cda160a2677f82ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BoolFalse False Passed