Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
63f37a5746bb6beb2cfd434e192d56250037d046 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 OneLineComment True Passed
2d1a82bb9d197bec3c2bb35265e62fd94f4310c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 OneLineComment False Passed
3c00095697b141b2e8d83cea042901ca5111f38e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 MultiLineComment True Passed
fe59693a6146a90483665685994a7fdda4978787 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 MultiLineComment False Passed
51498482b8aacc374a6fc9956338be62983ca7bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BoolTrue True Passed
2d40d3f5b3b4935658109796d5c279e240e3a194 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BoolTrue 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
deab9441e05ab7dff70b4453a01627593a5e007d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BoolSet True Passed
2f8ee257a36ba71dd041c715e4758f230f59e87a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BoolSet False Passed
64b4cc481a9e57945d00bf1b14a1e55a0102c0c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 And True Passed
88dd23f6a89c07be03e4209dec5aeb8f9e72f105 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 And False Passed
95c0b0e4c2bd9d622735c3d5ffccb8618232c7d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 AndMultiLine True Passed
1be85fe2a2bc8eb50afec7412f89139e4faf3bf1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 AndMultiLine False Passed
20377f324b9761f0e84a146836b465cadae9d351 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Imply True Passed
585a9e60272f14a801dd052099c79685243806c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Imply False Passed
348d11076e617a6a59e9ea8dc1968f81badb6e75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Not True Passed
94fc5c4ece50f1d1d760d48b375f52f930c37848 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Not False Passed
2612292959d013d58112b5cc7abb54aafec34fba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Or True Passed
42aa5d90db0184094d59013e05b8677a39d899a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Or False Passed
ac0c11793a9c688c4003269a0eba73147eed6a3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 OrMultiLine True Passed
94ebcb2ed25d57044b2f334b3e772ab2d22795e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 OrMultiLine False Passed
a31d810735afaf505ed21446a1cae699b881013d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 AndProp True Passed
e7fc7feac2e881b12aafb483b9cde8971f471406 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 AndProp False Passed
4dd042484c04f53408b215b3c987bb1eb9bf2495 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Boxed True Passed
8ee0bb6fcd2ee57e6ca6345b2a3a91e4e75fd409 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Boxed False Passed
babb197a2af3fe1d564275a7ff802fb73b8f4e14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Eq True Passed
7c5596d61ea29ece3232decc7df512bbb85d98b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Eq False Passed
de907ca2c42891cd9ce5ab82aff49256416a2180 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Ne True Passed
b81f1b277f36c384420bc24f49221daa4a8590f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Ne False Passed
62fcbf9893193ffbb71b4abf7d40cd2abd806d44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Let True Passed
211ff6293f747f31b76ef249248e072a31b392a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Let False Passed
04bb8ad9accee6cc0155e9a7fa8d153797f36885 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SetEmpty True Passed
b91176985b7ee6538fbbbeadcdf1ffb63e85ceb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SetEmpty False Passed
2a7d8e7daba6da5da50d004f411209fa635fa987 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Set0 True Passed
7517b009061ba9fcb72ad6cac1766ac965388220 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Set0 False Passed
391e499ccd4209de072e71caf49e6d4bc4390565 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Set1 True Passed
d2e7ef93ed3964abd7d3259911bed28f8b9f962b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Set1 False Passed
7107e56afd8e264b3a86606cb5a5fd67011a4b01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Set2 True Passed
fe4a98554fe1e361efab14f26737d2efc8b8d9d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Set2 False Passed
7d3c4fc8d859aee87b08dcd5c4eafe4f9278fc7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Fun True Passed
efd7aea5789b8eec615c213ebed35c2278fcc911 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Fun False Passed
90a1609456e769a6dd398e33c6e3d7d085b2e5b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 In True Passed
1f15942dd7a1b6336fd4796dda62e141268ec927 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 In False Passed
ec95a03f2a0b8eb704f3aa0beea5caf938c929cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NotIn True Passed
125f5a556d0f67a23bf49988c64bed580da3d67f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NotIn False Passed
90c3a6cdf40a1b72c4ed8dcc92b9141730d6a41c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Exists True Passed
6c6dfe0af5d8074657b45746eed14653862f943b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Exists False Passed
1510243d05a30cd8db6354fce74825de7a48ee91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Forall True Passed
8b266705a4868b0f361a6b77f5bc3fa4cb631266 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Forall False Passed
2e9f7fd1da8ba82de7fb43a6fe2bf031eb43b910 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Choose True Passed
bae16137d6114e261f2be0d648e1fbf1449e1ab6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Choose False Passed
47eefcf1a2705685979b3669b5c0d27e8b35d594 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Record True Passed
270824e56a1a3b059a00601d74c324bd44eac3c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Record False Passed
8195a7daf609740d85cfd97fef77285b8cf77c0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Tuple True Passed
f883c77751351ed25073d1afa157841d15325035 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Tuple False Passed
8dcd0526c19882b847f15ca971bd43c8763b29ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 TupleEmpty True Passed
458a4e6eb40ee0fa91c327b1b5cb24ad84249987 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 TupleEmpty False Passed
2f067f6e5922b0783b1aa0980338ac100d52812d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 FunApp True Passed
c1e145f2e331c6fcedc7e5fc836a1d7a36a1f2f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 FunApp False Passed
0683c52a6a25b15c607ec60c094c4692f91326a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Prime True Passed
0a62eb0bd13a520cbcc8da4d00a823768d98ca00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Prime False Passed
c7795ef4b4518559e69e3481d0aac046f50ca475 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumZero True Passed
7f38a128b9bad232635bee974d0f2329f17ae8da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumZero False Passed
402bd143538bf7a3361f9dbeb0f1772b9ab60829 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumOne True Passed
fe287cd582ce16b0fc623477a606acdbcf3532d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumOne False Passed
ccf30493df7113a701fbafc30b95df5404b6deeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumMaxInt True Passed
a83b5cec5a91938dcf05ae9c5b72eb0d399c93b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumMaxInt False Passed
d4843ec1cc7e7a0e767953874fe60428d08211e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumUnaryMinus True Passed
554e41b207c70eac29b4845cf7a6ec01d97c9792 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumUnaryMinus False Passed
cc65d838499bac543c00a750a310a20cc4735738 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumPlus True Passed
b1763421d1445d12e5ed23952995d3c281f44048 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumPlus False Passed
cb14b9fcca31091f586760c025614908eac8bc9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumMinus True Passed
a1f2d94cdd7f127753aead5b32a9bd5035e63ce0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumMinus False Passed
916550e4969378e539dc4c2394acb7138ea16f94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumMul True Passed
19956fbc90bc0e6b012db5e237bb1a20c024df45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumMul False Passed
b0caa2d5206333b2ddbdbe505fa3ad67c73b8121 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumDiv True Passed
620902eea212a5a57bcc9564585e4711ead5181c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumDiv False Passed
35ea99cf1483d9465cb46cd3e940f47553258d5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumMod True Passed
aaba26b6a5c4a88b66304eff37f0b28301a4fca6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumMod False Passed
c3e5783d7e76c909a53fdc3364153573b6bc1626 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumPow True Passed
6450c6da65311a6168d827384fddb3fe73df9be1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumPow False Passed
3812a7f5a840d6eb160d8165c17da91f5f2afd61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumGt True Passed
eb51ba5f978a4e44567094fd0105ce5766e98811 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumGt False Passed
a7e463e62aef1eb991046e3bc0a785e350e3fc3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumGe True Passed
f9d9df8b32b62c13ba724b78004ce44bc3ef3465 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumGe False Passed
334cef4dd8c75422cf52496f4028d78d1af79830 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumLt True Passed
c5591e37025763a8924fd84ec7779373d8de7a11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumLt False Passed
04ff7f33e855f4697c6d29aba7572e420c9ff67f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumLe True Passed
1ede13d28c7ea2abd2674faa7eb327d795d6c6a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumLe False Passed
194916c7ea7cc965067b3efb84cf625c7b9ce603 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 DefFun True Passed
c4b6324c1a9cb511794c890e035ea8dec4d24264 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 DefFun False Passed
00312cd18ada30ecb766e1cf7b300520fe3d363e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 LetDefFun True Passed
76bc59682be24ca095f98ecf93e1e49de38f81f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 LetDefFun False Passed
2a57f115d356e39c6d95ab4a0891ec562dd39106 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 DefFunRecursive True Passed
a308d0df2f2412826661d0b925427b439f18efa9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 DefFunRecursive False Passed
be2b4133dada73510c6cdfdd8672a93675578e77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 LetDefFunRecursive True Passed
47d77c34737f971462e66115d02fe2c6a5c8d077 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 LetDefFunRecursive False Passed
2b8aca45031c3681eef7c75e2b5545146aed7b41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Def0 True Passed
9481a7647fdd440d9d0b965a936c4a30ba6f2570 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Def0 False Passed
25148d9cc75fc230425834518672901c0b7f11db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 LetDef0 True Passed
4448a723ae0d29104b98270a9a28fad9e10fde7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 LetDef0 False Passed
b5112907ff5064845204b6dea65a2b28cb2fe879 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Def1 True Passed
c37a28c42eb137dd3c3269c018ebd2a1f3183e94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Def1 False Passed
03b6028189fc02a58a9533b9784d37050fc8c606 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 LetDef1 True Passed
ca90aea147b98396da7d65764391cb07095b2174 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 LetDef1 False Passed
e5dbc03d63eebac89357864c54740bd8a52b9d92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Def2 True Passed
13e750752156cedf67c97fc87d9daee04903ba00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Def2 False Passed
ae1590d857c8486f8ca8e943b251180b2bdc0f80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 LetDef2 True Passed
d8d7440031413d708395c37f16db14b43582c0ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 LetDef2 False Passed
27912d420956495a241ef81af7b8a491d461a773 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Def1Recursive True Passed
7aad799fd6c85ac0743e55757765e8d385d3da52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Def1Recursive False Passed
6e5d39fb12d453f29e36c644316a2eeb0c5e62c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 LetDef1Recursive True Passed
4b9512f1ff6c1035edb8cbfe12b424d73ef665d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 LetDef1Recursive False Passed
c98b38c9fc0cb39e1fb96aa2d8b21e04b61b6768 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Extends True Passed
04182c5843d563adb8856f90e4fb84cfb5cf1e39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Extends False Passed
bca741f12643a69f8913f1590790431be48514a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 ExtendsInDifferentFolder True Passed
19c04856aef9937d0364651a4b5ed6602b83b49e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 ExtendsInDifferentFolder False Passed
97cc0d33cc8901207975a2ba550f4442c81099fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Variable True Passed
01c432e25686aed3f55162ff78ff277be44979a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Variable False Passed
4b82bbe2e47c7a7f9181648240ab3a706684f631 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Constant True Passed
3500b77af56b88fa7be1afec9523a6a8e4e18efe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Constant False Passed
21559014d8e273a552e463c980f024ca1425d0d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 ConstantModelValue True Passed
5f85f0b25e9ae7010f64676aa03a33b1d678b95a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 ConstantModelValue False Passed
fa8d1d63c41c5a2c906a3181b941fe3b13dd501e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 ConstantRank1 True Passed
021b86ace224ba944ca20dee567cc0d67c70677e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 ConstantRank1 False Passed
ce45b3b2a1c7c5da7cb046d35e058cee422dbdf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Instance True Passed
3b9093f4fc111258ad60fa226d745dda6368f283 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Instance False Passed
c8f0cd031b6bd0afef55850682502a75a8821727 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceWith True Passed
8bc1d4c6899bdf9542c06f47d1d178301fff311b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceWith False Passed
5446593956edee35f577e0ef6a962a5234325fd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceNamed True Passed
32013fc305a2c0ce9c24e29dc588fe8ac75d90ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceNamed False Passed
d05c1a3bd82fc80b9c1306296424437d42e34a0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceNamedWith True Passed
56075ff0be20a1f0e08841cc618d36cd2cdce4b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceNamedWith False Passed
b4558511e8cf643877edf804bb235f013cfe1c12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceInFolder True Passed
53e70dd6df5d8386450aef033c1157fb7b5542e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceInFolder False Passed
57a69bb8e6ef11f64329f49c161795a8ee709f77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceWithInFolder True Passed
7852b4c31d59b48e661c1ce3dc5b16bddfc77347 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceWithInFolder False Passed
f89b93e2e104f1cce024d6b5cc72fcd9064f32bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceNamedInFolder True Passed
b968ed7d61aaef37f408e7d86859bfb10abb67c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceNamedInFolder False Passed
7fb89992d9809acbf3db259d93a255912e7b11d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceNamedWithInFolder True Passed
eac20e29f7c3ff5645da7bc7b450da61f5ac8b9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceNamedWithInFolder False Passed
d3e378f355b57b801e965160cc544cb4d0edc715 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Enabled True Passed
749f7bbceb02088309ba1e28b6117c3231b5f296 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Enabled False Passed
d5ff769c35efaf4b19caf7288091026574af5f77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Cross2 True Passed
b0c94c8961fe92471eb47b74d734f6b436e9ccd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Cross2 False Passed
7a2b30ea0090bd0790c73eca27d3d1b5ea5cf245 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Cross3 True Passed
a63fcc524adce8daa81bd23cce5a21e29681d7df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Cross3 False Passed
4573da42c99d8421b98875db7928aafcf2cfd69c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 FunSet True Passed
1b4e00766ff33b8030a5bd648b08f61d259881e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 FunSet False Passed
510005da5dbcad8e521bfdfbf5e4aa50b7c3d08c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 RecordSet True Passed
6d117c358dbba5d17ad393e640ef3dfad3830883 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 RecordSet False Passed
e4160478796b158449671ccdcdc257eb86c42c3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SetDiff True Passed
6a372df3de1660624ffcb39f56ef253e4e08a2e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SetDiff False Passed
bf9a2e2126adf4e24adf9ca49fee718b3e29d7da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SetUnion True Passed
e38188e3799590cb463bf8e256dff36bab5affda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SetUnion False Passed
c399950e773d5d9b1e5822ef7b12f049d55c3502 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SetIntersect True Passed
9222019ec2822e8945e1057b6fcced37f65aefbe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SetIntersect False Passed
66be2746ee453aa0612abdd58d160411ae66d852 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SubsetEq True Passed
0f91bc2b8f98742a2b8f7488389aab5680e58426 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SubsetEq False Passed
cfa10c89bddd6f4892f34c1993451efd10114a14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 IfCond True Passed
d1b81f628704fe11e47d3ac97d192211c7f60f26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 IfCond False Passed
4c00ab166e84df36f7bdad73be31b2cc207d4181 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 IfThen True Passed
1840cf3bc83882263f9069a9fd1377d04b003d45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 IfThen False Passed
8afc9ae96ddf190bf0007b681f578ae1090641d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 IfElse True Passed
dab2f6c180bc534b865282ff8bd07ce726993d02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 IfElse False Passed
b21cdb3e42d5bdc01e2765a47057ee566f906333 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Subset True Passed
f3cf576ef8c44ac313c54a40dcf3efef9c28e4b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Subset False Passed
de1cc04555df6725d77d69eeb0c32fda5f589feb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Domain True Passed
51d92c1222f3595de3b8fbe8738054ebf91b5e9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Domain False Passed
0654a47eee9c976ab9376e8c77c8888c50a30768 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Union True Passed
b7b789e2d3690332999ea68e9522752411bc9690 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Union False Passed
8da60fabd4af91e0e00939a5bb6e4221a8cd337e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Unchanged True Passed
e78bd1f850b90690589ecc8cce88a3bb68087d12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Unchanged False Passed
8c8558dc580e9edaee48297f639b01c09d88a689 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Equivalence True Passed
3349ac88e35b69112731669261d38fe78e84b61b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Equivalence False Passed
821b6286d5ae5b9a364ae52fdb18f7ebe7279efe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 StringEmpty True Passed
40e26049ad0131396564c7d422023f5e8eedfe63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 StringEmpty False Passed
9bfeeb5321c0f93d41f1434cef63c885c5f1d22e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 String True Passed
32359262bb73c8041e62c147d779be7340089c84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 String False Passed
51b64648486f4d4c37d85e41687be1d343777970 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SeqLen True Passed
5c32ff3e1a5e2d341aac3b065b745511ca1e647e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SeqLen False Passed
741ced62e5ff537b03669ad3eef9d49d3a636d44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SeqConcat True Passed
e1541305694b0a758aa6d606b0e5a9d11e3138ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SeqConcat False Passed
a00bc60df219634fb2d14b1215228a5a93752dcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SeqSelectSeq True Passed
eed6525840fade459f185c2c82e7e0a8068c6eb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SeqSelectSeq False Passed
5d850389d6676d42d78603beebc0e64a430e77a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SeqSubSeq True Passed
f16b720498917326106588d4d3a0aba47460ea96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SeqSubSeq False Passed
4543c5c45841fcd03dee9f5249610b93af9acebf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumRange True Passed
2e1bc3c483eb66482b5ecab6f4cec1e8f42c9b88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumRange False Passed
5be9c0a6baa33e08ec53dfe7a31a710c9f562b9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 TlcSingletonFun True Passed
75784a3b40948d4f682de5263f7c32f419f240d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 TlcSingletonFun False Passed
6f1ed4e658c8bfa1c3f5d3fd248a3820b7e794b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 TlcExtendFun True Passed
e810dbe1dae6ab1b07fe2809f3f30ff7ecad4e87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 TlcExtendFun False Passed
b2a1957ef8d8f760fb25fb0eb9ba40f62fef0552 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 TlcPermuteFun True Passed
dff1ea5a62ac9452a210670ebddcb18e1006730f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 TlcPermuteFun False Passed
ead28a2a896a6404df1a5c34d9c20c7bf1b2ad82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 TlcSortSeq True Passed
1a6fb81934d04e447d33578a64addf06411a66df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 TlcSortSeq False Passed
732b112f9a0aa9e7809eebfcdb3b60d96cac542e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 TlcEval True Passed
708e8a5d219c23ce9ec72aed72df228efacf84f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 TlcEval False Passed
2a3376b931a5ba6b7787696f6283d02ca8c85056 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagBagToSet True Passed
a275cabbdd77ddedca02eae1cb267b5f6e9d5ecc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagBagToSet False Passed
ef27459a1c718c8d5c2383c0fd97db8cff53f27f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagSetToBag True Passed
77787f002f4598413b7ec5bb8c1e7962156740b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagSetToBag False Passed
0ddf90ca12f089155deed41cb7bd7857a0ea0a5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagBagIn True Passed
060c69d29b92b6f464762181cc37df30eed63c2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagBagIn False Passed
7e90d46ba52bd6229651f49effd7aef133d705d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagEmptyBag True Passed
00b9c53978e38155bb5f7382a6c3e391bdf8ca4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagEmptyBag False Passed
eabc417ea350b8738e5c4ddf05be1af9a12751b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagAddBag True Passed
b563b699dc30a254887df25cafbf97d3f516a0a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagAddBag False Passed
aef5ff7e209d36e8aecc6923d24bb51e554cfae3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagBagSub True Passed
07028ec7541198b933519462e4f44b4fe3a53b63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagBagSub False Passed
3c0749341b869d8b245722b8c8513049fc74484e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagCopiesIn True Passed
7e0ff1028520d62af474fb6cccfd750cece82488 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagCopiesIn False Passed
aa25d0d7e20891911bd717bd429f4c4a3c69ac61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagSubsetEqBag True Passed
7a4f5a56e41d0e7a44d0d1103bb388f3d928f465 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagSubsetEqBag False Passed
cac0712d6f308bd08c6fd47203514d56eda2926b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagBagUnion True Passed
173f22414d2c824187b0f387c46dbe1705777a7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagBagUnion False Passed
3d06d908e92f8cddff412b5d3d8167ca87a043ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagBagCardinality True Passed
db5e7792ac1c52ed90ca2e523951d58fae3ad80d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagBagCardinality False Passed
427b5b256ddd05d624795e39a84b28b3206fc2db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagBagOfAll True Passed
2157edaf9fb06c8e67d3922ea3aaf5b54ce63e52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagBagOfAll False Passed
5caac98e4e9895143139b2218eeef99719d7bef5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagSubBag True Passed
abf56f3c3958360cc80803f481ab55e69dad8a9c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagSubBag False Passed
4e590ec7d79cbde9b191efa5078d306924fc5542 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 FiniteSetsIsFiniteSet True Passed
f98bcf17bd6b3032d8b70bf97579f8bda0147abb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 FiniteSetsIsFiniteSet False Passed
aa52e655782c14e1dbf4745f15db7ffc248e4ef6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 FiniteSetsCardinality True Passed
415ff220db631257814914c7deaf5e4cdb5579a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 FiniteSetsCardinality False Passed
c15a642910cb6f686d3279a403bfd5712ea7239c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SeqHead True Passed
63f7fa252a7b22f3a59f653abcb6df0d0c73f4d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SeqHead False Passed
3798d0887d315533e0f4e83c0e8eb0c64a89c5a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SeqTail True Passed
a2f5cae329daacba361a422901d291717a2783b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SeqTail False Passed
25a265876358710daa440939d15b6519dc029307 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SeqAppend True Passed
03a35dee312b29b796a0d605c081868201a56f74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SeqAppend False Passed