Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
defadd5176c70f26bf9a210d34167a1ede34ed55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith OneLineComment True Passed
019592afe69a8d77d75047ef38c72ebfb4cd5fed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith OneLineComment False Passed
2e51f07f26484c0e2c12df2368fa0a405e6a057a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith MultiLineComment True Passed
7ee426687cc7f6e5c3e66e3ac94bb3d2a8b76dea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith MultiLineComment False Passed
1aa9a751a36494037bbae5dfe1a90ba9a056a516 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BoolTrue True Passed
8ce239d2137c1fb9536fecfa4fbd7fe3c4e87e46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BoolTrue 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
ba553bf1b6ce3631a84043e833edda22bc1a5e14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BoolSet True Passed
941cbceb8b7d1bc46d6b6046da91570addff183a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BoolSet False Passed
16be60d8287ca9d1389ee4c08115c816fca0dbb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith And True Passed
979a75c178bac1919d31c8ba84d23ba0cec68cd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith And False Passed
2323559d67c96d7c750de793b673c4ffcd3ee62a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith AndMultiLine True Passed
471add3bb0085cd4cf4b85e603a89792337d442d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith AndMultiLine False Passed
a9f8d573e76add0c5a69e9e75e9e5ca770e4e44e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Imply True Passed
06ca5e4c1c1c0caf4385ff82beb760dcb8110647 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Imply False Passed
1209ad0421ca419e23ceaed41644fd8989a1ba71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Not True Passed
1acd3974816cb7cc25f528e35503018de9bb845e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Not False Passed
b6ca065a77c620628182064041d286d0e77e68d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Or True Passed
cd41b58c4f3b8817db9cadc089398aca27992a67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Or False Passed
6f14c3c1c80c2afb3cbdcded64a202b32e0021fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith OrMultiLine True Passed
b69a097f8ffd823fc05971d9e39103621664c6ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith OrMultiLine False Passed
5dfc84c319480f302eb06da8c6e973d84756aa8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith AndProp True Passed
51156797b4bed48f0551e9d003be3ced78ba2f66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith AndProp False Passed
816abe7183062c6e0ccf3b98954c9bfc3ea53223 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Boxed True Passed
90bde0fee0f65d174aa9ddb1990ea7eb06fae09a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Boxed False Passed
9d1f6fa4661dbb02641d657868272142b90c2dd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Eq True Passed
8d957eac08a5d040a12649729515e1a067dc3f57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Eq False Passed
50a629707e9ba21e059dce8449c4c5ad16b9b134 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Ne True Passed
9895c9d00efbdff5ef9df02f0472dae2249aaf61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Ne False Passed
410b31d102d2da5e59f9e31a21a307fdafb8c774 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Let True Passed
a73e64664e5686a29b6e8fa26b4f07b3292a4e56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Let False Passed
423c3563cacb2e286e2e81c96d55d4bc649dcff5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SetEmpty True Passed
b9ee0eb2db59b58cf7b0d6f5f9c6a709b78088c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SetEmpty False Passed
4555129727c28df176822fb91199096ec9668848 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Set0 True Passed
e814f3d6dae757fdd844de5712b389c66297ecef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Set0 False Passed
5a45f3540011a80c5057d33ed2d0c94d59fda749 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Set1 True Passed
852fab68f118209b78e44e9097ac0a86ea78b63f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Set1 False Passed
ffa397fd647ec260e43320c043a6742e11e9e0b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Set2 True Passed
141bee3461169aa5c10dcaf969ffea795328fb54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Set2 False Passed
aa9a5d6a28f8a6c026cc6dab5b795e09ab65266d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Fun True Passed
0acb588fc0a9531dcc3a48eebc67202956ad1b6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Fun False Passed
65a2988f99794e2128072a290cadde364ac75bb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith In True Passed
1af7a9ad8d5c4627faebf3ed49e7e95f7f0e1762 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith In False Passed
39bb496c2bf14b9a946be1b7c921c7ea3691c338 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NotIn True Passed
9ca29f5b316efc987f2476553c522b8cbd762ee8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NotIn False Passed
127a36aac9c232f58c4f9a58dc9bf49920f38f25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Exists True Passed
81d3e93f17ce5461745fcc58f1a55679b9f4821c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Exists False Passed
1f4798286f4761ab2f819f408646574618395b4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Forall True Passed
57990009eb8cc4968374f4fa53f2b1bc10660cd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Forall False Passed
306ebbc82a5beafe2f1537ee8e1c22c30163c15b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Choose True Passed
d950a02ca6d9abb3af635daba481d1f4c71dd7cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Choose False Passed
fd5ccdfe3893b8761e12750ef700dc30f817d83a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Record True Passed
b57412157adcb04ef8735305657c0489b7742748 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Record False Passed
b519f0892d2a46bb2c1cff14d261ef379e3cbf05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Tuple True Passed
c390f203ceafb6245f0ded75b708ec56fd705b35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Tuple False Passed
c5d03ecc5da77d824b31bd548a61f7c08729eacc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith TupleEmpty True Passed
f4693a5ce695481a355a0f9be7ec6d667c45355c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith TupleEmpty False Passed
42602e937018fe2dae7b1cb683ac4ee4d884ac74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith FunApp True Passed
a57f5c4fd46170b0fd2f6fc1c5983aa07aebb70d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith FunApp False Passed
3b4efa66e40918b457ebeda1f2e6754569fce480 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Prime True Passed
6bb0591104b47161203eb48f073f778e60ef8f71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Prime False Passed
ab37f5d4f6fdddd141ef3403e5563029e117e8a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumZero True Passed
63c9a6397da585597bb283d158c9814d746a9d58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumZero False Passed
269ee9a4b3d6e620e9fe4979517602b942a6d7c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumOne True Passed
e2b83149fcfaa85b3ba06fd1bf5f55e5c147a3fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumOne False Passed
46007f526aa8f31bd5122380afc56fd01226524b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumMaxInt True Passed
5f8f481535692a864256c23b120626403584fa53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumMaxInt False Passed
58f2fd91ecf178cd8581bfe90377f24b0b014655 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumUnaryMinus True Passed
a893688ebc4518eef50bc3b2a28b31958b6f1612 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumUnaryMinus False Passed
a397a05509a82d2d80812e6fd2f3f43077e0d795 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumPlus True Passed
e8ce4a82512183b904f95dfc47858ab575c325cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumPlus False Passed
cbe793c0f1d99b5924d3eca42baed2c7a304be5d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumMinus True Passed
0e6d01b0e4a23b70320d036b25bd01a0fad107eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumMinus False Passed
96c97065430c31774be475e92928fa68988e168f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumMul True Passed
4b657e4030024872b6ea15d87858a11a8b72c51d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumMul False Passed
dc589047d57c676971ca77d3b6f95079513c5342 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumDiv True Passed
a312fe850e79bf793b141e2a9ead52a620b13bce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumDiv False Passed
5f804b28ef8c132baafde1ff33fb55333c97300b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumMod True Passed
7acdc60d280673174ae90a84f27e0760c52fe1a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumMod False Passed
51677d39fb98689230eeb048e721e2db87080356 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumPow True Passed
4846615a570c71b121880123dd6317663e7f5d2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumPow False Passed
5f067eae1fcfca55e68d67ae1cf2ccac5ed6bd1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumGt True Passed
15cf9da713d0663794b6dcb8bb8679d9e6b70240 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumGt False Passed
84d5cd744606c35a873982d68580a02f0a98c61a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumGe True Passed
f66bc6585fd28242057cd1d88c6087a6d9f31b28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumGe False Passed
f62bc675ec25cb8403fa34b9fb7cc487297300c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumLt True Passed
b1c5bd1e0b7b3a887899688740c9f1d3479c45ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumLt False Passed
dc64d66d16ba043728a3cdcd2fd9a3721a084311 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumLe True Passed
ec8c9cdf5bc1318568bb36511603bcbb656d17e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumLe False Passed
407a485d6ccb319f6dd54cfc46403b0b4ba682a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith DefFun True Passed
6b428a9ef53693880b67b824e35a77e214bec97c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith DefFun False Passed
6fad27853999aef3c0028ea29b0e14621b561955 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith LetDefFun True Passed
daf3491098680e8b1361beda083eedb33d818c93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith LetDefFun False Passed
5df96d3a3151b47058317bb37de0b0b91b89d537 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith DefFunRecursive True Passed
458b5d228889a45f55f18af8291d70810fa6c3bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith DefFunRecursive False Passed
929d16f4403fc662d813550b3c865ef781da7bad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith LetDefFunRecursive True Passed
48f7a5efad838adefc1fc8916f225f980cdc6804 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith LetDefFunRecursive False Passed
7b264bd5aa94490297ff464914fc2619b7dd1fdb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Def0 True Passed
a1732ba4ed9dc8bcae87337d18e8e6e938741484 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Def0 False Passed
12eac8538cf74bd1733d9271ad2aff3a641eb9d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith LetDef0 True Passed
c14d2f3ea6f6b6226e2a64e85dd69999502f48eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith LetDef0 False Passed
edf860cda7c60b7b0b4bf2920990704759b0a25f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Def1 True Passed
04a62d1c541787e4008db818351541807f276d50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Def1 False Passed
8e303092ce51c598bf5b33e7c706031c9d71a3c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith LetDef1 True Passed
995275a97c38dddd80e6ea957ce97abd07a3b601 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith LetDef1 False Passed
eaf99072da640a1718b190c53715623da4ff96cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Def2 True Passed
603c7d45f32013bbc0b7a46009a1be004581da97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Def2 False Passed
de697f9fbc461fa5e9777ea83e0cba26b9fe6c90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith LetDef2 True Passed
c6c213ff350e9ba993c493e0b84b2822365342de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith LetDef2 False Passed
fdce02e9d8e22d986139f910641c708d1b39759b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Def1Recursive True Passed
00dbac16f1b2966a38f3321285bd96f3f4f3fd06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Def1Recursive False Passed
5cc3238209c1f3c04237991392e166e381afcd8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith LetDef1Recursive True Passed
a753ddb153e7e08ae9176c6962339bc55bff5ef1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith LetDef1Recursive False Passed
6e0476ce8d8d46a8094219b43fc34408bfb4fa0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Extends True Passed
0b1a41a0e61b12775fd4a7fe93b8f7679b97df0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Extends False Passed
23bf8e9915669d08e36b22881ec5bb35d133b367 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith ExtendsInDifferentFolder True Passed
0b7d7ecb4c1bceda15ee9f7cd893676323cb385b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith ExtendsInDifferentFolder False Passed
4389c68c354776967199f5ae20e304a3fce01f72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Variable True Passed
7f3b61c0a8c354686f7ef66dd187392dd247b775 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Variable False Passed
7cf503be7c95a1f5ab9a5a08219c7fe81ca50beb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Constant True Passed
9b156197ee00927be5140aba2222ce241cde982c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Constant False Passed
257e73975b825b3dc3a2fc59a08283893ded3a21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith ConstantModelValue True Passed
6be4379b52dc19df06138ac5d52b69b18b522321 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith ConstantModelValue False Passed
4aae51623daf62ca6ba88aa9e44ac1bdcf394574 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith ConstantRank1 True Passed
e1f07085dbc8c63170cb82acf0c8c4d6be579690 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith ConstantRank1 False Passed
03954975f25f35490e3d4e3d3e7dea3f9d168386 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Instance True Passed
31c7702097a3d73df5d686f8658c94c3c464e6f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Instance False Passed
eb1fda5439e86755a98f3f11ef1e52d1422805e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceWith True Passed
79fd1183710f2825225c28bc9a2e5f3f760f5531 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceWith False Passed
37989651b5c541bb4ae7fa722c8405895b66e7a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceNamed True Passed
fe0d1027ffdb67b33d54daa329e93ae4ccffc192 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceNamed False Passed
ffea1897b5e3dddb3f42a21e69a3a314f35bb7d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceNamedWith True Passed
601c6613818595966ea2424cbb7b21799aa000d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceNamedWith False Passed
f0300c1061eaf9adff2e22ad73679e222dc6432d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceInFolder True Passed
1092d6feafe2be744fc28ff46c85a206941109d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceInFolder False Passed
351ade4f6bdda1bb1d5ad59b384ee3fd58a96f1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceWithInFolder True Passed
1fc67a250bc5513b029343d319b3a8b0213fb024 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceWithInFolder False Passed
1eee98a95fed42be6167f577c302b4091e98968e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceNamedInFolder True Passed
7f4db84f7ed9883a45070450b41ddf8fdbc6d988 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceNamedInFolder False Passed
94658c36113bf5845c5ccfacb1d63a8f482fd048 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceNamedWithInFolder True Passed
0f29ae7fa08f497ab94e9fe4ce57ed18e4248c0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceNamedWithInFolder False Passed
e5ad380bafaef1ce1d99c5c033c55fc1d3e1d19d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Enabled True Passed
29b77d40880e0edde4daa0871c70dee73afabc6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Enabled False Passed
6a39ba45bf461ed5cf0c137bbe0977302ab2d56d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Cross2 True Passed
2699132af2dd133446fd616cdc46e86df2b399de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Cross2 False Passed
8ba4319c404586dcf888cfdc112b086e82a89862 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Cross3 True Passed
ce07479ff25189a669c0d4deaaba6d8277c6b850 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Cross3 False Passed
68765c85c065f50bc715609f35f4e2a4cff7baf4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith FunSet True Passed
721598f71c021297e77289d531fdb272861f5608 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith FunSet False Passed
996cf96272f2a40542ce642e894bf29b2386fde6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith RecordSet True Passed
0f2c7c76d81824e1e3e99e7c5fd23f472fa922bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith RecordSet False Passed
29717bc60b06d59ffa771683a6176d10c1786094 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SetDiff True Passed
bed9594a8928b73cb9b5fa90907b9e8bebae8791 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SetDiff False Passed
ddbacf556f69fab27770526960b1be814d118e02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SetUnion True Passed
36bbc5b8959b9523f85c5e042d7ca8715c7e715a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SetUnion False Passed
cf828d60cf75c7749ed44ec15f04794745140902 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SetIntersect True Passed
fb856bfdbc636b62834a2e429094a233e10bf4b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SetIntersect False Passed
26756cac520d4019d4b273ddf02626197283e50c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SubsetEq True Passed
459e62a3aadcf445cd4834612ee86367d30b6ce9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SubsetEq False Passed
cbe12800a37ad683a2523965ec3dc7097b175d9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith IfCond True Passed
5c588dc5750b5b52ea69ab9ed0c19bdd2c17bac1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith IfCond False Passed
0f8aa266d1190ede7a11cce85ab8dccfe35ee72c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith IfThen True Passed
50f8a55fbbb98e2e6a8449d1d270b0421b729778 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith IfThen False Passed
483c7e687b0e6b26502a1e3565ec28ea19110017 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith IfElse True Passed
ee8ff7c1d7520050fd46c28465bf6f3b71d0e78f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith IfElse False Passed
af3b0c47d8df9fca5598ddc944b46dcfd3d3a22b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Subset True Passed
ba5a818286697aed689a38283b570083488f0b64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Subset False Passed
a4d67c4af4bcd70fa26c77859825bb230111b960 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Domain True Passed
5e60feeec9a2878a4ebc52cd064f25e97605426d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Domain False Passed
57ae2a406cf5f815c16f6a0e0d00eb10e88065d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Union True Passed
dbf65e1a62485756a8d6a223f25b2ecf3c746380 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Union False Passed
e99fe8d9ebd050f8af69a87735b595395c39102c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Unchanged True Passed
aa81246ee5d69267817969f0d55e758615b9d10e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Unchanged False Passed
cca73376d5a3a35676a5513d8311cbfa56969b9c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Equivalence True Passed
91568c33e9b7e0964f2490f775fab0d5456d5e49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Equivalence False Passed
7d494b6132f0c62a88a8f1fdc188ffb957455a15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith StringEmpty True Passed
4637733297ada95c0b22326d157727556f850774 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith StringEmpty False Passed
7b98175c3b30656970ece389aa565516303356bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith String True Passed
82841b776c24bf745d339b07468ce526109b90af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith String False Passed
29af899c5c7384d183183145bf30614130849abf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SeqLen True Passed
c8d5b5765612b55684cb02a3f169bc246e63ccd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SeqLen False Passed
6712e0e905c52e1e8dbb0b4fd3ec2b4c4e8ab5d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SeqConcat True Passed
7e299ceaa75a08cb7e76eb67f7d2d99dee430382 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SeqConcat False Passed
967a4363fd6693589c39e7a6422820a5224630cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SeqSelectSeq True Passed
e42fbeada1d477be260833c8ff91a1b2722ebffd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SeqSelectSeq False Passed
3cc38dcfb2d113c8b3cfb32f33a95d83edda67e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SeqSubSeq True Passed
80f5ae9eb9ec71b9c4fbe6401bf4b470dbcc36cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SeqSubSeq False Passed
54c9a662051d7f10777f09cd9fc6cde3e38a41bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumRange True Passed
d44a0bfef09e6ea54581fa5ac5682dcbd35c0c1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumRange False Passed
b1f5bf9eaa829d5e7013c34d8bb90ad472842594 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith TlcSingletonFun True Passed
78f346d51644388db85b35e2ed884ed11dbfd94d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith TlcSingletonFun False Passed
1ce8b10517b9dacb0debe1be373c5f8c9f8d992e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith TlcExtendFun True Passed
839d206d90b5f8e8e0294b50fc40709ea8937275 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith TlcExtendFun False Passed
1ec021bc76f9256b56e60be544610147fb775e8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith TlcPermuteFun True Passed
9a342a3c4913c3d7a3d3a506363fc4dc50bf134b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith TlcPermuteFun False Passed
f54b2f3c812ec6d335c468dda47196d38c1d2651 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith TlcSortSeq True Passed
29894dd99d977f5ee94ee3871967b5a94effb4b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith TlcSortSeq False Passed
955379d974e56785f2b14a131f553483957cac2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith TlcEval True Passed
5679d683c4eea60fe16886f5a5954c660a05f3db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith TlcEval False Passed
880e0278ce50042db4a79615c0b60c676fcd1c3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagBagToSet True Passed
5a6e97fb88700ad62d083420aaea424935ab9a0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagBagToSet False Passed
451ab3d67594608fe9529dcc68e05b3352991ee8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagSetToBag True Passed
c5a5a7b45378e9d95f3c7688572cc5e0aad73172 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagSetToBag False Passed
8e052c99acef591c49198cf833c0b2c895218c3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagBagIn True Passed
20d004def16d0e7484efac633dc3502692479614 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagBagIn False Passed
96e6aaed7e5018bc0d6cc5c3b6faff89fda3b806 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagEmptyBag True Passed
2abe59208c4a2d796076d8a7281970870b6776d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagEmptyBag False Passed
7ce5cc38f7c1d13dd83e6871e44d38b9a342d2b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagAddBag True Passed
b5c38ccee92ca5a17b1acc103eb420d8685c1855 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagAddBag False Passed
7215228310c486c6494a99059b7107b2c82894e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagBagSub True Passed
9777c86fcb385d131df4630b72ef9f1b3d10b374 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagBagSub False Passed
0b140082f4fe202bf2993ca8f4b1cb27440c9e39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagCopiesIn True Passed
34753a68ae931d599ee473c31da1f2d31b0f9e92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagCopiesIn False Passed
3211874327fd3ac5eb322286ebc9661737a0b5c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagSubsetEqBag True Passed
5ef607564f8fa15c3546dc7c667e403d35465072 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagSubsetEqBag False Passed
a281e9566cdb0c28b3cd2fabd20532e026a04a52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagBagUnion True Passed
bfa1cacec0108eefef187363cb3094e698b961ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagBagUnion False Passed
832b0169f794ef03744976d4313a390d85d905d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagBagCardinality True Passed
6919fd949068ffc8f76b69bb55f7e684606b8119 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagBagCardinality False Passed
feef0e7c62ec2b73cf61e5ad273ac145957aa7ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagBagOfAll True Passed
00451d13882a087afbf446e7d2c3e729603cd5b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagBagOfAll False Passed
1e601742a8c3a1ed93c17c4e0cf6d00cff45b797 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagSubBag True Passed
dcf699d0f62b6214b63abbd7be236f560bc853e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagSubBag False Passed
991ae0fd5c8d38138cc8edece8a043bac2063ae1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith FiniteSetsIsFiniteSet True Passed
ee0671bd727fbd8bf59de562ee690b79219fc6ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith FiniteSetsIsFiniteSet False Passed
c6d01f9dd2e3b955b35f004d67672dd770b3c108 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith FiniteSetsCardinality True Passed
b8e3efe9b029f3eced2941d0b4f407ad62da1b62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith FiniteSetsCardinality False Passed
2f55004f2b0232eaefa62afc4c7c7a0b1d69cfc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SeqHead True Passed
16ae5ed430bc5fb50c399c78a8ca2dc410b25285 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SeqHead False Passed
02e3dd93ae28ce10575093b9218942a1781ddf25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SeqTail True Passed
61dbc6710910b828af786366e68625a4f2bee377 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SeqTail False Passed
88cdcd7215c47ea5f42d05c13cc8921d8cf5f890 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SeqAppend True Passed
f2e88267332f707cbaa49756f44060df807ea0f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SeqAppend False Passed