Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
773e5eefe4dc51949e0548481096d1c520781c76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 OneLineComment True Passed
bbc544b41b468e9bef9b0741e0bb88ecbc930bff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 OneLineComment False Passed
9ff41c3eaeb7d8dcad58a734273508459eb248cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 MultiLineComment True Passed
183101c36b5fa6815dfc84f54b2907343be78095 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 MultiLineComment False Passed
9ed836aa2e6edc9460a430ada04349b2c3c8d536 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BoolTrue True Passed
ddc89e4c1fad665544e95c41e1c04650b73b57ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BoolTrue False Passed
63d74ddfbee1cf95b18b5bc25be4a9666bc07c32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BoolFalse True Passed
233c42f1c6c26e399d9394a1f44f49674a9302ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BoolFalse False Passed
403594180810c958655ef051845a7918e0437310 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BoolSet True Passed
091d322ac3f0b8320c89f3c76a16b38cf2ee1c78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BoolSet False Passed
5d198a9486bf5245087e50b6e74459af5d7a43bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 And True Passed
9b75c30b472398114dd745bf361d28142ef6fc3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 And False Passed
189029bcbc942c997fb9324c4acf678ed435c4fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 AndMultiLine True Passed
1b43d48a0c848252fa91a01eac6223550cc200f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 AndMultiLine False Passed
7b56010a4677a6c3158a73432f46eb9f289b6fb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Imply True Passed
a6c1e5cc59a89dcf2740fde0a1c518cc8c6ab8d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Imply False Passed
a15ef72d82297afdcf28d1d69f9534bb919bc5eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Not True Passed
38a860366e0480cda9be52a65c33eb70f6f372b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Not False Passed
4939ddaa722c8f45d92c5b4ce8f3691d049bd435 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Or True Passed
0bff2ec087cf1d64cb9384e675a77749964b49cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Or False Passed
44b47d9e396d3090013b484bd48ff5c3d440c476 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 OrMultiLine True Passed
3e7d38e21dbe16818fe1323b9b5e76ce2cdc653b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 OrMultiLine False Passed
2d1406e7f721d84a5a44551d2e5cb9b8d1e17d08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 AndProp True Passed
5eeb433bf44bce269dcc568bcbaa0a4d6f832174 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 AndProp False Passed
b5fa1e7c8e60a97f1d63fc57d99e398cadd192d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Boxed True Passed
87cfeb9857e7feec889d5998d2108465f99b712a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Boxed False Passed
b2ea0534bbc4e328628a958383c35920937c0a13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Eq True Passed
288c37d81db8285f01eb712e7172aaf8f210b957 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Eq False Passed
9500d08542a9f94eeab5958645cf1be47cdba606 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Ne True Passed
15366e5ee0b09a0ffa1213409e584d79c212e159 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Ne False Passed
e9b478be5de43dc60e39862ef2d272f6f6013b6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Let True Passed
fd976f4d37c5addb8afa2cbfb09d6e42724d73ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Let False Passed
ad18efcffd3707bee3c296d85d1383368341b18e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SetEmpty True Passed
5e594039c4e5248ee6090eca44fc3c9fb863f422 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SetEmpty False Passed
44e177738c10d6e68bf83184c96d031e1c071d8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Set0 True Passed
0fc6006548efb62fb9877c451b942c7c0c639cba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Set0 False Passed
b791bf951ae28502d3f0cd934bb465506f594cc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Set1 True Passed
f04c47ce1566d9438401d851c137c2eb0faf8874 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Set1 False Passed
7e5fba4cee933ede1e4b8853f6df314d04ef2099 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Set2 True Passed
908caa6a23f99b4ac9113604a33ce6b983c998b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Set2 False Passed
b85eb0979fb724a06d2368c2de76a510aeea0327 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Fun True Passed
00c60f9c56887ffff5df37672d352642099e4957 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Fun False Passed
033eab87fda10378b708784c480e4c54fff8f6b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 In True Passed
8c974d78637651126ac0d0b2401faf34f4a47c50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 In False Passed
db58a1ed987fd0c9ddeb63af4a0bcd4d0469972d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NotIn True Passed
d29937cb5c044b6529be7bdfa56611acee8f4011 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NotIn False Passed
73e9015f415e917feedadace665ad07de7a95997 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Exists True Passed
c3f8252a4735b16a2baeedfacadd022706456b33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Exists False Passed
79e3e775b61eb25fae22ee8c3c97fb8a8c46bf67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Forall True Passed
108a9951cf016ed6bb80ec4c92ad6499880b622a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Forall False Passed
dbf9831bfc017afd6239e6dadf8734794e98fa9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Choose True Passed
5a3846a2361ee32f461d0913cbe8a595387f8923 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Choose False Passed
e85926f15b19b61f37fe858dbf8b575a89a6ef6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Record True Passed
903883c5049d5abdb5ea635328d9400808726076 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Record False Passed
3e9a65b33af8c6efb653e7f99b6ccd65ea6ca71b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Tuple True Passed
dafc59e15ad1f5db1226e04b68ed156f6419083e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Tuple False Passed
a40b9c14c3b249e87da7038d5da600b75b72c102 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 TupleEmpty True Passed
14265c57d5d71b7fa0e0a82ae4e36b8b1ca7bd90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 TupleEmpty False Passed
2b1f64b5156d8a107d51e3b03d5c1fef60f5391b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 FunApp True Passed
ce948e63777c5400097b024810b4b76c4afd5dc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 FunApp False Passed
2b1bf25b42f1cbfdd4e5c7a5c95b5f67f4196bce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Prime True Passed
5e5aa33cf6eb4767c2d8485592e7d8189ec2cffe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Prime False Passed
943096228817193fb7b50d21ea113d0a9dbb3a3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumZero True Passed
b1679141abfcd7dec81129020f2b6e4eacf54d16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumZero False Passed
ace0f5698943536adff817e037138113d30a704e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumOne True Passed
852cf7b17cb071df4950cb8274c2091f0ff14c31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumOne False Passed
059489ba1e898e52212e33012b917e8121cba7a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumMaxInt True Passed
67d1af3408f3c32e2c5e109adc083bd07b194274 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumMaxInt False Passed
cecd722ccd3489a8a20f755d1665a8ec52b37a93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumUnaryMinus True Passed
f13547f1d2625cf5102ddce74a0c53d090cfbcd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumUnaryMinus False Passed
ae06da50120235581112fcf3204ce8c03696bb6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumPlus True Passed
51bfdaf68522f82a26016ba06481dfdb9b07bba2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumPlus False Passed
b447616a4ea8c8f42ee604cc09524333bd62c0cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumMinus True Passed
10aab4c5eab2ed9ce712896f38997717c0235452 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumMinus False Passed
a1298f8444ac8f5d75311cfa571cd3847c7925f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumMul True Passed
7f667fb132eb1553e98b0fd2fd54c6685232b5bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumMul False Passed
bd635f90d89d16fb923f41a5d5cb2daa0f67e32d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumDiv True Passed
a043d86c2b5108b9e84dd7ed1c20d84c6d1d9b33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumDiv False Passed
c7f9f9c346a137223da91ab40b5d19dca03714be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumMod True Passed
8bfb5c415a1fd9286827be5260bd8079d0b288e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumMod False Passed
b6fd50b4ad488eb80bb8830a5abf78ff25438538 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumPow True Passed
d208702aff64d407350c76aaf7c856ce7bc3a671 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumPow False Passed
065497b1e123dee263af194ea473389ea6f1ad47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumGt True Passed
e07afe30802150017cbfe1ad65bfe8c8c7029333 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumGt False Passed
952f6f08081e98be52e39151a8792ecdf385fe15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumGe True Passed
0691076ee27ef7b9ffbe18cb8d9c7a39a4cbf791 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumGe False Passed
95b7800aac0f74de65a4a8ea57bd262cb4d7168a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumLt True Passed
651c40a0e5bbd7bed87b91ecb7052ab30659493b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumLt False Passed
2b0725027375b9c3af9fc630a97aa2fa505d3155 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumLe True Passed
f83a3bb530720e6348d385aecd5e2de40dd07cf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumLe False Passed
5f74aac38d2b140421ec6c08a78a29c44c367b08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 DefFun True Passed
987efe192b3353a94bc0e110cd1eb9d4ca60a705 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 DefFun False Passed
021fdfcfdd933523a368c1a80b6fd8b843b634ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 LetDefFun True Passed
94f093d300a256a3cd6337716d016daa790327f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 LetDefFun False Passed
d1b5ddba1383cbe562366916b9c5c946dbc883b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 DefFunRecursive True Passed
fce43f6b318d63afa3ec5fa99ca765079acfc2ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 DefFunRecursive False Passed
1ea595bd29d1ef2b0f172cec578a4fd47e7831a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 LetDefFunRecursive True Passed
65f582e7bb9f4312c978e31a44dd984e13741cc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 LetDefFunRecursive False Passed
49497fd24cde9b5246f74fb32a8223aa34a61e4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Def0 True Passed
98c55f498f8c207bd9a92232c577f7b93d3dd53a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Def0 False Passed
62d8a165b543af4af2f8af11c30812222ea43889 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 LetDef0 True Passed
ecc6203c504135d33e3c48e7d0f04216ad2e09b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 LetDef0 False Passed
d9d4738b32f09835840d77613cc7eb108bb95730 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Def1 True Passed
617ffed6485db035c8d9293cad128d1486a1d8c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Def1 False Passed
2255c1d619e51435eef0416850038889707e49da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 LetDef1 True Passed
8bc85b547a05e1f63e22ad8a98ec1c8adc61f09b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 LetDef1 False Passed
c2d3ae0ea8bffbf01fe71872b27a098d566a3b02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Def2 True Passed
60cf9e9e81f2d3d7e85a50fcb324a72f362c3689 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Def2 False Passed
089015b2425c2743b4ff589118d0912719338faf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 LetDef2 True Passed
210f8c3c10286aabdfdb457fa0e35291d3cbf4f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 LetDef2 False Passed
9f7b85272974378b5a269455d16b21bdea504796 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Def1Recursive True Passed
64551705197a8c47e546d6c0269d205dd33fb043 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Def1Recursive False Passed
7df961c400fcab747f0310088e20562a5abf865b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 LetDef1Recursive True Passed
7cad05f68f93f764c2b0328f6536bc9e014e82b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 LetDef1Recursive False Passed
4248eada4c5a57a8e877e32c07fa17d13bdfc083 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Extends True Passed
80975ad9cb2ddd747af3a96bf15fa45fd91140c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Extends False Passed
961c5df96f41029094eefd855d4d236573f93882 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 ExtendsInDifferentFolder True Passed
348f9242252e8a0a7ba2ebcefb7b7c7da99b42d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 ExtendsInDifferentFolder False Passed
5ae54bf3135c28eece230d713dede6f3136018de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Variable True Passed
264382a2dff226dd1966a8d93e925ff99b35cbd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Variable False Passed
d9806ec579af6677dcda485ddb908641ff47aac2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Constant True Passed
fb3bf5f2e290c5733f4080647a89c1fe7e20c608 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Constant False Passed
b14b6e730fbbd45200bafd342f16a847d9a76644 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 ConstantModelValue True Passed
58a695b82139c3f2036230f3fc64dfcd4d16b69a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 ConstantModelValue False Passed
7f057bee0cc0f10e241b374b959238c1db450bfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 ConstantRank1 True Passed
33dade405c84ba27c6ac04a4b318c28ce7a812c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 ConstantRank1 False Passed
7780f5826671378ef66e6c323e994b037acf7106 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Instance True Passed
83f42371188fa94d67e62e4249aa270f7e8b3710 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Instance False Passed
41bec08b9a3bd296e01db830411b63e882b26846 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceWith True Passed
68cd001f887bab27c3559c8b76e500ff675dc048 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceWith False Passed
7da5be5e3b3d5519497a71153556d16df87ae103 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceNamed True Passed
0dae051c706928680da166624f77201afba06322 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceNamed False Passed
6c6ac1ed3a5679df2a3d448458fbe50b49043bb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceNamedWith True Passed
89c38b2e68a5807399293d500606765354d4aedb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceNamedWith False Passed
68e5579973d9de02444ae4874604464ef436432b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceInFolder True Passed
e83bcf3802212862996643b8dbd5eaf0ae5225e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceInFolder False Passed
4e3c83fe03d8e67047ac93742f3ae477510c1067 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceWithInFolder True Passed
adb7e73e3e5b562252f823956cbbb5913ebe0011 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceWithInFolder False Passed
5fe56184218ffff7e8f8d526d7a78e4a2ca43d00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceNamedInFolder True Passed
b5cf547f7dfcc1a1dff9c4cfe1e435c1e68938ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceNamedInFolder False Passed
799eed9d732be00c49ed778b772a0095be378707 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceNamedWithInFolder True Passed
b8c3d845a33ad6ffa9fcc106531c7f0400d2748b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceNamedWithInFolder False Passed
34fd676898260f2e2a33859dc6f6b055f76bba14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Enabled True Passed
f04e674682586a763da9d7d3ac45bfb3ee50dad7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Enabled False Passed
fb29770eedc086473d73b7b8b6ad339013e62909 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Cross2 True Passed
397307cc1a58d9496ccff09fa6490b18eba17ebc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Cross2 False Passed
46d9f11911ae842d79b0fd17ebfe1111cc4496e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Cross3 True Passed
caf9b7153216bed5ac63f835ca6a0d945c88fb12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Cross3 False Passed
8ca24d9180f3f86ed75c918f3160e301ee75b6f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 FunSet True Passed
d1b75bfd985336d8ed5784fb55977337244b0c40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 FunSet False Passed
e380cee533aadc3cfbb8edce7c04abf412423051 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 RecordSet True Passed
ebeb27a00c849a8faf949f06d7d25e0ba49705c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 RecordSet False Passed
7aca06a683e46d350afd24bcb01a09494f4510aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SetDiff True Passed
542e44898c2fe68d909ac61db48080047afeb56c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SetDiff False Passed
f3581f28804fa7ba547e6419e5687ae1a7c32093 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SetUnion True Passed
c2529ac9bba58fb271b70fb76a7a8b15840d7400 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SetUnion False Passed
923fe790557f88b64fc92657d2fba4ad04ebab20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SetIntersect True Passed
15cadafdd515ea97a3880da34529a18f1165e96d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SetIntersect False Passed
ddd61cb960e1acda10f2b7bfb9cfb0b2252ed1c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SubsetEq True Passed
7a8e4111c99dbeef3253b71909ccd486b9d257ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SubsetEq False Passed
a01c02ea68c4c52386b43a090c4c3b6330c7245a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 IfCond True Passed
e43ec4e3284adc0b1c3df7043231b8df80eae822 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 IfCond False Passed
931e03617c554fedc98ddff2676d0f2b6c8b0375 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 IfThen True Passed
c2bdb40dcd0673ec0dc6d20bce83c2bfe8052429 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 IfThen False Passed
d00b562bdfd19ecac4e2b61c5b60ee43f51f2ce2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 IfElse True Passed
2d9c8cd5ff6470a9447fd2a89078f756d01a0fdc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 IfElse False Passed
78ac283e8f9b6bf7935f6b21a4f25683718954d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Subset True Passed
750f1d6239ea8bce6ed37d41a9c8f68d55f6612a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Subset False Passed
784c0674c4f0e19ea034edae491bfc473d724053 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Domain True Passed
6b67dd242a67463ac6a29cf1b9a51c1de5e2f80f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Domain False Passed
31ceaaeb4a6fdc2cc384b601e54195d56064c4d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Union True Passed
cc0fa961dc21845ca8b9c4190bd2156bdbba101f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Union False Passed
a17f8a4a2e72ee1a263e157a07652a0ea29dcb7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Unchanged True Passed
cce92bb402ac028065af9ded1869eeea7757ef69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Unchanged False Passed
73da34a2df25bd6b667eb034b764e1ab22efc39a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Equivalence True Passed
eff8f3054ddcd4e78e7c12e951dfaeebf0d68732 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Equivalence False Passed
6626d942e2f3a50b392d9ec839ed00abd7719307 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 StringEmpty True Passed
ba7941adbd8f96784adafa69a22159b4494d566a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 StringEmpty False Passed
1fa7c4af9d2fdb240cd441977ca412f439b8955a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 String True Passed
cd9048c37c33fa77a64dbd6a305784ff75c8484f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 String False Passed
aa9441764a4258dfb64ab9d3c106064bc2563f33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SeqLen True Passed
7eeabd9b6bfcf3a1253b786f1e6d604272d84d2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SeqLen False Passed
b111428a540f40fc9be03519e0ca46c3480f3971 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SeqConcat True Passed
4ddbb6fdd2e3f2853b3b2b4540a5692a7aff17f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SeqConcat False Passed
d0c0a87707f4ac03816258d7c2a7f4d43d563c1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SeqSelectSeq True Passed
3e3383c4c9211b9c626a6a892c57296011a8a48a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SeqSelectSeq False Passed
92da66e09e0df012b5a4e4b8682b349cfc0b9b3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SeqSubSeq True Passed
b937a5ee750327a7c009ed6a312a7fd40d11141f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SeqSubSeq False Passed
5e08dfb0f4c71ef61280630e3dd3bdb18f97c2f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumRange True Passed
14d5d89c885d70244bdadcfecf8cdbe723b4ed0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumRange False Passed
1860c655cdbc75bc4c69af2fdc2240f2e9f961c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 TlcSingletonFun True Passed
40b634e10231ae9d96e7917ff418b81868adab00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 TlcSingletonFun False Passed
0076074f0154b6b64f7eb20b2751fdae60d76ebc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 TlcExtendFun True Passed
77eb30c38c1d2f384198e7ea52f5d0d948dc7f54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 TlcExtendFun False Passed
0a6d9ff8ce874d7c1c63ae15c741386738d50c11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 TlcPermuteFun True Passed
7cc046c6ef3abd12e0e60f9ab8423370d43cbff8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 TlcPermuteFun False Passed
f2fc9c3ac4b12a52fc991f0c7ede5ee8719c1005 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 TlcSortSeq True Passed
a95f5170d5b161b1a328c5923af397307f49317e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 TlcSortSeq False Passed
65fea2dbac7420e99607f398dfe09522ab44080d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 TlcEval True Passed
1b196327ad41380ce7b242222fe9d03dd8b2c746 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 TlcEval False Passed
908f75f7dfc0065e4c18edb51c381c5940c6b93c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagBagToSet True Passed
b86c1e86c32758e448d39daba66eaf149e61d12d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagBagToSet False Passed
259d9d698276674672fd3227c4ee52966d930fe6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagSetToBag True Passed
5707e8bccd364259276f6dd6a62f4526c05be950 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagSetToBag False Passed
2dfb6ff7f5b4f4e7661aaccd589801050e2f7095 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagBagIn True Passed
17fcc83055f0bb91fede5fc4597df7b63885bfa4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagBagIn False Passed
afc1715f3762f767834e64a9cc061f73d1c11514 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagEmptyBag True Passed
acca215b972084261fcad0e84765831eafc81072 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagEmptyBag False Passed
f27659e2c5d2c1866ce777af193d6214acea4a56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagAddBag True Passed
65672c870d01d598ff41025d58ed3f9d5b28210e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagAddBag False Passed
c2f6dd49142fd3e2af4663e7d9df02517c299728 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagBagSub True Passed
ebdfd15382226ab8056a832f035b017c0f98b640 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagBagSub False Passed
ec4c46c87a1ef6f0d0a2db83a5669dbad28f4d9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagCopiesIn True Passed
2b7253b5f87e132825d2f72be62ac94cd574acc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagCopiesIn False Passed
15abeb985b2b7b97a406a5a76688ba3ed0942c9c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagSubsetEqBag True Passed
35ebd2cd99c558bf461b526dfd1c5def4c398a50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagSubsetEqBag False Passed
8a814e33db448ce8f9574adddfa069cdd53e47f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagBagUnion True Passed
9e82e6620de98f3bc753b6cce08f238a66c19a2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagBagUnion False Passed
ed22ab58c003511e522b19c8b716ff306333a59f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagBagCardinality True Passed
b9a7df76b86f3cd8e3111de0494df55253f91b2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagBagCardinality False Passed
865d348fae02b8ce05faaf71d6e686db48c2a4d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagBagOfAll True Passed
b9c5b7381d6d77139c17f5b0799493b22ee2b99b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagBagOfAll False Passed
080e1f66010c0a3c00868a6c6eeb786abfffbf89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagSubBag True Passed
27e63ea9918e6229d947a79b3d30343240ad4be4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagSubBag False Passed
9f352e6c5074030fe213194cd248ae1333f38378 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 FiniteSetsIsFiniteSet True Passed
c32aae4766bf7badfa0f3a17e1fb3cd3cc4e8d16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 FiniteSetsIsFiniteSet False Passed
c264df1462084bdd4eb7b0f933511173b70ec73c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 FiniteSetsCardinality True Passed
948cf5ed59392d5aafa72e5abea266305f3ef1a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 FiniteSetsCardinality False Passed
975dc6f937261aa950ce5c14a598d6324055812a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SeqHead True Passed
515b89b6553794ae0766ebfafa3f11daa45f0709 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SeqHead False Passed
dbe83c696332e8a7061d6feb101e94a8b819d95c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SeqTail True Passed
332e638b406370e3c6b8c7ef4925d3ae3b3b03c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SeqTail False Passed
98601b441c7ca0b45589d9fb2e0a4c0a4ef660f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SeqAppend True Passed
44fb471d5e7aba22cb2d26a5ee7d1f18abb3b04b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SeqAppend False Passed