Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
157c139896fcaa6a042a2204c973cdf4e6bf3320 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen OneLineComment True Passed
d7c481790c023a7b857acc787acfe0e737ec8ffc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen OneLineComment False Passed
2504e07469e70f2f2578c895de5850f0222af908 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen MultiLineComment True Passed
a5f31fde226841cd10858c538d46e9f5ff71d4ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen MultiLineComment False Passed
74b830ffc4fcc4c093fda6e2e4bc14ba5db15745 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BoolTrue True Passed
2fe053ab60aabbd6a5b7af32a8385bf97d02bc1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BoolTrue 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
eb930d5561e9f3779e3e892dcd7c79913b2112b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BoolSet True Passed
88772dc8d7407a02ba9ee2235615aac9785d6d89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BoolSet False Passed
91fe494267f70472197b9b0aa538d9e2386d3942 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen And True Passed
8a673a8c482b8a44121b798e5c5abd95847549da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen And False Passed
f8d63ed5e086c5b84a830975e82fe2d99fa5b9bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen AndMultiLine True Passed
6f9831dc8bfd6871b6a3a476fb7ae554701d26c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen AndMultiLine False Passed
c51af292e43a1e2131f1ed4c78102e79afff97be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Imply True Passed
2dfa28928b8e570924cc02cab91e564f5a7ab8ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Imply False Passed
1ac5cce5cd08337f2df2fb0d28e55e69043ffbc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Not True Passed
f82076ada398199e02858c700001efd4d4d410a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Not False Passed
d7433e124d87e0dc6594076e4060c2f47fcfec07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Or True Passed
c4d9f10e660a0bbbdb6648f642640274eb4560eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Or False Passed
0eb26f634e77587978d14262fd9f0fcd3009b1ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen OrMultiLine True Passed
284a4a3204ddfb45de6fd202c1e215cd46fa400c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen OrMultiLine False Passed
7103fa77db374d5ae291114969351ceb08cc4f11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Eq True Passed
db909a176cdf9361f7280f3ae1d399d6d905ce50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Eq False Passed
b9e79217a73678ed1d1e7fe1a76b5d28fb142fce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Ne True Passed
44148674463f77ace9ecc1bd2d670076eb3ef4fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Ne False Passed
8d11318574e204ea406daafc85190697786dc3a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Let True Passed
bf22f5e9a9a93de82c45bfe3c894f2c5d50de172 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Let False Passed
ebe4fcc98fe5d6bbc7cf240915399f177bf5c481 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SetEmpty True Passed
9b616e52ee8ef44cb911a6597d030b208d285618 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SetEmpty False Passed
8d8395931173b6d19f4081ff3b716c0de383c1d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Set0 True Passed
9827f215b84ca50514cee645f86e62773145e9a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Set0 False Passed
9a03eeb96a4ceea90f7470fbcd5f66301ebccc7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Set1 True Passed
b05845aa61eb611d28e67fe8f9f4504996616209 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Set1 False Passed
44b5caeacd9a4b7c9bc79b0b78d1bf444443edd5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Set2 True Passed
36152fc8fe8289c39bfabcfbb99dd385837f4a12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Set2 False Passed
2a07ab1cc535759051c41a38d6a9b17734447b1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Fun True Passed
acb57b3f0e2888373dc02f5fee28a594b8c5083a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Fun False Passed
2311ebb3577d51ac4011e1d4f13fb950fa52325b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen In True Passed
c865ef1599d57a7e46d876c5f4ea051ee6d939d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen In False Passed
7b4a885f06d597b96d164204cb9972c7dda050eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NotIn True Passed
b4487884417993be81acbab2b82db9360618cd30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NotIn False Passed
5224dac99e9b076b4846b42997dd2b53ae01d081 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Exists True Passed
1afaa95e6aceb1944ee96058758d142659f7aa3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Exists False Passed
6912d002eaeee37a1c09203eb9d721c13f328161 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Forall True Passed
5b5e45e0775e0370aa35a6bfb2c1a4cf0524b7de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Forall False Passed
da1c7f9df6205c6512e404e9ef2ef67119b616fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Choose True Passed
8c0a496066e9c9671bd2eedf4c5da44fadf121b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Choose False Passed
f0bed99feaf1933f190d82c8e30e08bbcd934d98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Record True Passed
59456900e0167a93172a15f914ac817ea37cd5f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Record False Passed
1c40f039bf75cee07187788c57e266abad257f75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Tuple True Passed
8e570f9971acbce3cdcfbe415c516997e5311f26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Tuple False Passed
0b506fa434ee46ab283317b70aa7bd59a9d43ab5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen TupleEmpty True Passed
d2bb9540260d9ef5863bc2b4c2c626474eecea36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen TupleEmpty False Passed
e595357c15acde7b92f50286592895e9da173d8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen FunApp True Passed
76355e4af90414abc91f7c0a95683e364004cf04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen FunApp False Passed
b8b93165faa90b2e9d71f1a82469842492a938be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Prime True Passed
eb258115a0024a665f19a83b483ff58f2903c30d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Prime False Passed
382103710a4dd9bcb0276900b50342996c58629b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumZero True Passed
b6024d36e5745dd29a932d503fae9f8938324256 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumZero False Passed
35ff19e6aef1ff701ccb96bc50e3365ccfc8df49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumOne True Passed
4a84308682a72e33310d8a2cfa47a7d3a9172399 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumOne False Passed
3aee9394ce92a0991d0148eee46f6e18cf377fe6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumMaxInt True Passed
353c84f75940828f418ed89e5dff913acc06c26b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumMaxInt False Passed
962c87d93fc49315dd0d993c41ee31fd3763c010 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumUnaryMinus True Passed
9a0b42d0b13c53762d18ab1077eea641aa188f90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumUnaryMinus False Passed
7f9226d5b46cb3df35d2879e18a60b3501961fe4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumPlus True Passed
4e52cbd0de39eeebe32ca8313c52861f2cd8d107 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumPlus False Passed
c2d7807df8105908f96acf280680d38171cc1a13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumMinus True Passed
5eec0724a8b07b6da936b98298a5756c59d87d67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumMinus False Passed
65b7ae4fc046f031822603517138bbfc0f2413ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumMul True Passed
c3c3beaf37bffb69e59e57df447f9e0b6e423cb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumMul False Passed
5b29b0bbc7873c2632d7c00253e402980cae367d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumDiv True Passed
8829fe4fe6ed29f63dc847282d3381ea6b2c668b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumDiv False Passed
cd25471db34ac4beea487b52368adc0e03e9d5a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumMod True Passed
bf2799497b0dfcd4fe981383b2c5428a95f412b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumMod False Passed
3401e23591767ec569601e702168237ec0772ae8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumPow True Passed
8409783da0a25fbaf4a3fad874e3f0f7973b8175 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumPow False Passed
c50c439da3173dba5ef2a82b1817be536abaddaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumGt True Passed
8a52ac288603ff7c1eaca06c576ffdad9604b88a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumGt False Passed
a791715dff459783ae0b863cceec6d26ca2e90af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumGe True Passed
f2bde0eee22a991452a3fa39b7e1ef0056785d28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumGe False Passed
74fb3f3be0f655b39a7af1b9b9589eeda8efdc75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumLt True Passed
81c00e0b49bc5934042d81fe6870837a142e5c01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumLt False Passed
98c81f20908df400a26ad0a533cfc402fe9f7309 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumLe True Passed
9e5dc46432c6a25938f6cdcc6547b5f50368d588 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumLe False Passed
c75d0671fd6c74ae12a0c0c533da630d6e9405de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen DefFun True Passed
42a9cd6b6a575d080d891841f84bb903509135c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen DefFun False Passed
da2961c4b7914ffbf5744c36b81fb1f13f65a7b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen LetDefFun True Passed
0735dda03af2bf0e82534e790e09a6ac507977a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen LetDefFun False Passed
123646072728b07d7878a2d056d4926d15bbc59b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen DefFunRecursive True Passed
4e6b339eb3bfa0a2ddada91c34b6499c2b9fb8c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen DefFunRecursive False Passed
f92309a4cceb9d84fc3724de1d79a5bdc0a04a63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen LetDefFunRecursive True Passed
a8681e9e83370d960c4edc24eb1af5f983de17ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen LetDefFunRecursive False Passed
0affbc861f80858da255274f90ed156eb4e035d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Def0 True Passed
a7ddf01c99d3de9452aa7b112059a47560ad91e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Def0 False Passed
28aac417c05929bf75cead2849e18819c6c06890 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen LetDef0 True Passed
609a46adee25b0243f1ecd180a519b73f2eba1c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen LetDef0 False Passed
3b65326d39076211c952a6739d11f7cb7c8b54df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Def1 True Passed
ca9c747a71e1c53a5d4fc5ab7216ca923ef59fce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Def1 False Passed
cff38ec28f507754e7eaa765f25e6f5b38eadbda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen LetDef1 True Passed
ef8ca913f5ac9f9f0d6b77bc38abf08a427f6eee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen LetDef1 False Passed
67ddfba1e6b2d9cc150cc15cda67bc07c49566c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Def2 True Passed
c74fc8436245b51377e36dfeca5ca721de4b07c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Def2 False Passed
e82bc502854aabef53a300f9287d0fa5ee9e60ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen LetDef2 True Passed
296f0ad0c2a985bed8b86376b0c6faf821727f59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen LetDef2 False Passed
1a125fc82fe6fd402421b868d19687fcf28c4487 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Def1Recursive True Passed
38f118753bc9222c6b6883e5ac4aeb6c3a3c91b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Def1Recursive False Passed
bed444642fb2a90a8f502fd36c4db33b75dc5997 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen LetDef1Recursive True Passed
86c05d941c5ceb350e44e5cdea98c81c718a92f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen LetDef1Recursive False Passed
e27d0191f0a4d0a8c41449cc34f94c6126539313 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Extends True Passed
1d971ba76019fe4361395de39d39dd48c1ff0bc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Extends False Passed
0abe9b6998e975df57798560efc2b81cedd10145 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen ExtendsInDifferentFolder True Passed
4cefc8afec40ec3bfd7db20cfa1ce207dbe7edff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen ExtendsInDifferentFolder False Passed
70e067e671256f1de84a2825726ecafb10a776b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Variable True Passed
9bf448c4fd9279da53034bb8753e20ac343d586b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Variable False Passed
981447cf31018cab82a95ae0338e5f6bad2ac0cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Constant True Passed
52ff7c192f2b75ee6f27b21fb271ceb2e468bb31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Constant False Passed
93338feee34ac1f08df83d006a3c9f790f796bdc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen ConstantRank1 True Passed
b69310f5a7504f38674d850df1228e058ff7aa78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen ConstantRank1 False Passed
a2548842fa10c24b8c1cffc7f1f84b1caa83ecee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Instance True Passed
4eaa249d63c38f0a117da0197644255bffce6878 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Instance False Passed
877c0134b11112078beee69a20d1165204e5a893 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceWith True Passed
5362796272d5f32d4a2e97e400a400075aaa143b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceWith False Passed
a23b2dfd11680ecb8bdb1d4027b661a3d619c414 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceNamed True Passed
9b8bcb7d37c19e1fc8f371d5ed240bf1a18633fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceNamed False Passed
2e9919be8b98744d9a70e9b16ed764e8d84e749d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceNamedWith True Passed
362fb0bf309029cd839ef12f969957a6cd5e887f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceNamedWith False Passed
bf04c0b8ae82cd3d25a7727ed7333e1d8bb6e4f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceInFolder True Passed
3b667f39c01226e2a32acec92d1240ac56da5d65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceInFolder False Passed
b6dcd0272a4da05344e879ebe6ecfe31598f0b1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceWithInFolder True Passed
f8f3ffd108d82829e155b87ba6ed6459cb2f1b73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceWithInFolder False Passed
d6da9c21999a5dfb1af3ced07e81d1b39d92109c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceNamedInFolder True Passed
dcb08435c6fab5569e0d2cdae1050e2ee7430f8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceNamedInFolder False Passed
adc7b2b83d07102b6cd20d18a66ae678f00ee8d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceNamedWithInFolder True Passed
734f5011bea080cad514bc41cda47d360daa29c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceNamedWithInFolder False Passed
6c8d58d00b5a4902ac398485e32b66b7b2075355 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Enabled True Passed
feb0901b9ae54cadfc88fd7c84ae1965069626a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Enabled False Passed
6255bd9da5791bd88eb3b656e9f1c2a31630a9b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Cross2 True Passed
befa6b3f7464ba257a54c7fc671f94f32e3dd438 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Cross2 False Passed
18f916c15fe9710de132a4f953fd52b36d1b77ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Cross3 True Passed
34a9f749cf682d70e392b051c70ea072a78f3152 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Cross3 False Passed
a5531e26c71aa30c79c4f2d62651cf0e668f3b42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen FunSet True Passed
6b6c63649647cde1073d666f45418d83e3de57f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen FunSet False Passed
0fd99d7632570f7bf5cb33f5b59b8b10379748f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen RecordSet True Passed
3fce7171db865c768be3c80daee064274177099d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen RecordSet False Passed
fd9b01ebc5c18ff97e3f08bebe14c9f7d069ffcc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SetDiff True Passed
6536cae6758dc7cbd65547e63585faba4b077704 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SetDiff False Passed
3bd8c1216e9f364c84e22f1e54557c345b5970c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SetUnion True Passed
65ac96a26a1d1232acbbd03aa865271997f04b74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SetUnion False Passed
d4d3b233ac85df616f1118b4dfdf7c9ed837024d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SetIntersect True Passed
81e3a44ddf8ea39d335a2937a5ea61193f9dafa4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SetIntersect False Passed
1b85c3b92d5986c432d2eae18b5c82596aa1165c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SubsetEq True Passed
460ef1b25032d33efd6776bbc2877a43d14bacf9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SubsetEq False Passed
4864501badbd81a22e3a1ce9378b0cefae07d118 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen IfCond True Passed
2bdd2fdcbb4d91341256870d3dc88a0b1dbe1d03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen IfCond False Passed
2ebeb0c0191c1abaf70eae25588fb4e3ce3e0c66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen IfThen True Passed
60c92791e26ca304483d01994d4a7d44210b3b0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen IfThen False Passed
848583eb27a9f5f57af775060a5ac0ddc179384e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen IfElse True Passed
4b975e620793da95c73c63d5980e6b760acdafcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen IfElse False Passed
25b87f34186a71c7066aaf271c5b2b177b66d367 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Subset True Passed
75471fca74eb92e3bd3d2759580e43374eceed38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Subset False Passed
b670215548becf85982dcaac91a018fd3446269c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Domain True Passed
f5afa7b30eca1d626d7a78433b439742b2316a0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Domain False Passed
54a8be8e0638ae95e50bb30cd565e2836928280c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Union True Passed
cf1e70587c3b711884bb19d7930e74d5f2f59204 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Union False Passed
4336bc7339da1e9b03ba30c27739bdb0dae68353 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Unchanged True Passed
6b008b23ea6421b6e8166d358d6bb9df48ce659d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Unchanged False Passed
22a048a3c3c8425d387c560eb651263ee8734eeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Equivalence True Passed
8e08e17b4ac9abbdd1f42ad869a08b67815d2f4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Equivalence False Passed
ec9cabcd783f18b3125a0ddf0dbcf877280094e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen StringEmpty True Passed
64c1a4fbad4aaae03c66e6be125e6638e3a7aa24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen StringEmpty False Passed
db684865b9a704e9b91c1abeaec4875d308999aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen String True Passed
6e8d3e81c726568e3fc23144a4c81f40098db7d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen String False Passed
20adeafccc5fedb1aaebb170f69ad3ec0f1da8d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SeqLen True Passed
3ca707ba7a88513c97c860d1ffc3e70ac17fd2a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SeqLen False Passed
f34c33febb7fb044ef479cab7b4e26d61b234ccd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SeqConcat True Passed
b5cacd68555769d7c909f82bff1b2e24114db3af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SeqConcat False Passed
cf772e635dda42a277bde07d54fff6e8526ca261 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SeqSelectSeq True Passed
613822264836fca4feec29c6f976e3aec5939787 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SeqSelectSeq False Passed
13f1a35e840154a3ca8a0b7ece3a5e8ba86cca4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SeqSubSeq True Passed
8092e9d6b86144efbdf83018a7c484b1c0a55d0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SeqSubSeq False Passed
6d4296f04dcdacc32537e52cd8f3fe55ae5293a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumRange True Passed
5c4aa51f69ab6720e4e770227aa2c93c5a3f30aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumRange False Passed
2a86d76b93a8953564370764cfbfff755e93d87f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen TlcSingletonFun True Passed
ce997f5e7098aaddcb00a0527b496bc6f2b92187 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen TlcSingletonFun False Passed
f3e615e10ebc30773e12e85c3105b0df7d795f32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen TlcExtendFun True Passed
56f824a406a9e346a8fcfdc891bfee253313ccb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen TlcExtendFun False Passed
b46d556afc5e09c3c3b07d76854d06ecd5d761ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen TlcPermuteFun True Passed
353b73c0ad2419503704846fbb9ebbbc626639b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen TlcPermuteFun False Passed
625a89f3047b1262af034376a16674203b65e678 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen TlcSortSeq True Passed
48a1c7bc64c7b56a6d80cae898c5937e8820bd73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen TlcSortSeq False Passed
3b8dcf5f482d897d3a7ca359d203f0201cf96e2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen TlcEval True Passed
8ccb2aba524f8938bccc939c2cc27ce544625f68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen TlcEval False Passed
4f9a17afa81b7dfb24bf4a34776bc62673680856 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagBagToSet True Passed
e195cf6441b89a187e01e244c26b3983ec8b185f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagBagToSet False Passed
2848ebbdb2cbc595c37cc446ffd62b1f3cb974ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagSetToBag True Passed
e0bb106dd841eb10b95acb6ae4f425ce1ae68690 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagSetToBag False Passed
3c26e43b4f568d5a3476c2fd0aff755a0d2110f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagBagIn True Passed
f168ed127a894c4a89e367848344f08f32ef25b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagBagIn False Passed
67542a23f9160dcac3452eb379686037413097b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagEmptyBag True Passed
01b10e5cf4a7266a9884ad2894feb31e72a6a438 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagEmptyBag False Passed
5570e60d44ceb8c209f9189375d84335884ce24f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagAddBag True Passed
3d56099e19ceabef7c520a4149d09a57d87f7cfc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagAddBag False Passed
236e24363ab70027c9276299fc510a4b28adbc94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagBagSub True Passed
d8f05c33ff28c147638464723d642f1dbbc3a8a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagBagSub False Passed
b9e15a6a9c5546028cd505953e46efdd84bf4b44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagCopiesIn True Passed
79e394fe1961b3f8acb12ab465da34b1c48e413f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagCopiesIn False Passed
8361ee74009fed4bb61cc54e8eed26246e31d43a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagSubsetEqBag True Passed
2aa0336a062f3c6572ece084e18c3de8503821c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagSubsetEqBag False Passed
d39945ec24bcb2cfee2adbf32313ee98a838e66f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagBagUnion True Passed
70fff4b522b07e6c21b1f4c13e12c8ed1ad0230e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagBagUnion False Passed
46717d4f09cd4c1f944ea6b94538515c99e12e38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagBagCardinality True Passed
26229192d858bc71338d467bb4b75a0ba66f99ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagBagCardinality False Passed
507e915a5525c940f10aa154d9388b37cef4717d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagBagOfAll True Passed
6f7243898d42fda1c5b52e4d0012e7d5472cddca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagBagOfAll False Passed
018a65e20062e8f14477d73b0eca13a5c9ad819a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagSubBag True Passed
a5e781084305a57703f43a6f79bfbd8d0f226e37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagSubBag False Passed
855b9b5d59c2b6631c33d631161579d2b3a08ae5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen FiniteSetsIsFiniteSet True Passed
535312b457d25f6b8d3106fada481d63fe181782 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen FiniteSetsIsFiniteSet False Passed
09e7a9539af309029671f2a8beebdb877c915e50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen FiniteSetsCardinality True Passed
2cdce42434f92b018b0fd62ebddae46c574d9040 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen FiniteSetsCardinality False Passed
96e2d6345068a3e8d0aa9648a32ae4bd03157762 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SeqHead True Passed
4fd9de26f44b84efe1ddcc9ee83038413f31b571 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SeqHead False Passed
3a8915f7326ab5a045c6b4c8b4d8c23131498f38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SeqTail True Passed
5a2674d05bc3a409d7cad0c15bbdcbbea7436f1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SeqTail False Passed
5b11f6acb523b00f3eee753192f2264149f5e011 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SeqAppend True Passed
d155dcb607f25eb0e5a1f69d2dbf5fe730af8f5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SeqAppend False Passed