Index

Tests by case feature Fun; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
8f71fcdd4838da82c0a00bd7748ecd70f3ea68df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun OneLineComment True Passed
43cc699844517a3d0792bc584c0b7b3bf12419cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun OneLineComment False Passed
cd809030cffecbb2cae6a4f0b7d258cbba479f7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun MultiLineComment True Passed
5b036dd74507d4653e49a278320fd9bae54351f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun MultiLineComment False Passed
a127c9c56c08635c9a37ed96da8b505d97942ca9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BoolTrue True Passed
baa91066b0cc3e52bbc3e99d048f31eb45d0cd84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BoolTrue False Passed
47f974eba1f73b803251dd95a43242cf651e7147 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BoolFalse True Passed
49334778ac5ab57dd9a7f0ada80381cd351c87b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BoolFalse False Passed
e629487391cbfc6f76bcc69287c59f4818fd27eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BoolSet True Passed
9c7eddbca56fa66859523808a010adf0148d2276 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BoolSet False Passed
6572fc8dc1d7430031576aee6ba572e7263ac079 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun And True Passed
eefe50142e56a80f7ea69ddb4009cb36c307951b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun And False Passed
0b9f6d62da4c4c2576cededdacc64b9d238a0df3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun AndMultiLine True Passed
5f63ec5515f6b0cdfaafac751cb66a1896a6abc5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun AndMultiLine False Passed
8861b9a1e69c23ad24a18a903c6bf46e9bbfd6a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Imply True Passed
2c9375d13866c37fd959b681a4c21ff337c06a58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Imply False Passed
36ef3e0914d22916a00d4cf5aad3a8e86fa51fb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Not True Passed
a438f5f42df7ffba460653580928a019cb3753c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Not False Passed
27aca86f4e4f28f8177aa75ee463107ca14b704e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Or True Passed
cfac7cb5539de178c4603277220d691b0ff3e397 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Or False Passed
e2bdc95d0804039424be012f274dba3ce588207e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun OrMultiLine True Passed
f4e02c1bcdf5ed43aa2a1be7019d5738117c5a11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun OrMultiLine False Passed
e521df0cfcd8eaf69c0de68dcffa27447c095e7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Eq True Passed
5e35ef605a1bf2c0161cf17db6cc59e836f187cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Eq False Passed
77d6d5e902bbc494a7140b00f31ac89ae143ba74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Ne True Passed
0b1dd90e26a40805f58804cdfd0d177e7990cfd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Ne False Passed
b086b4cb1c3a9e763cb31c57028b7f04f095d5ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Let True Passed
3aeadca47483529bd596481f30a3144e787f2124 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Let False Passed
27b4471ce3b4082d972338d6c68a6de7484cc81a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SetEmpty True Passed
1e29751567d5c144a04cf101ddf0a6dcff4ff310 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SetEmpty False Passed
c887382083e129be19d3ad1bb985aa6fc2f7f515 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Set0 True Passed
1519b2b1a83761df37ce4e8808c9553a0ea6e4dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Set0 False Passed
41f401db6b85e007442b775f680ab987cd79d9ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Set1 True Passed
95e03eec08547a50aea5684db7d1e091cba9603c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Set1 False Passed
26b77ce1455f8d115101213262c4d258cfa451be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Set2 True Passed
937db00e1072abc4b3fd4194d3f22c463fa587b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Set2 False Passed
4b199b58ef7f17c9d059fbaeb9a89aba353b76a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Fun True Passed
e51d91db908f5f4a36886dcabd4389d1c98d371a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Fun False Passed
499d96c874d3ea5a780ab9cb1320eef7363fcd8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun In True Passed
27e4e1f48509ee0e77573fd439b3a4bacabc50b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun In False Passed
59c82a7751f8eea50797f86776a2f53dad9f78ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NotIn True Passed
4540c37364b886f62ad18fbe7ecc1019f8a09cb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NotIn False Passed
c919fab159bdffa62abfb128303daec282e74079 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Exists True Passed
c9999b53cd0b17717c38b49d279f4a98bb81e5df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Exists False Passed
b911b56a0449a8329666df12fa7afb7269596f78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Forall True Passed
fc816d5631dceb3c3e997b7eca3948cd19092787 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Forall False Passed
f840cfccbe89a2dde59a99334dbf50d7b2f1d0d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Choose True Passed
a9f0f2891a2bde18dcdbdccbd35d16f357aabed9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Choose False Passed
77bc0d496f8be4561179ca157df5f92b76ff1cb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Record True Passed
62d58e5d9db5e2f754fd94c8fc8e131886aae3ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Record False Passed
ea0aa852ec16d3be715ef05060ebfea8392fba43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Tuple True Passed
16af158454683ed0d8f00dff6234c47078ecaf56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Tuple False Passed
bc7439cea41c51abccb11e4b9e3b84f4a03c11ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun TupleEmpty True Passed
186ea4cb26f8da1011b15d906f4bc0524c2f537d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun TupleEmpty False Passed
a07fd8b0713c3650e87d42c87c068e0d1f20dad8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun FunApp True Passed
b2b90604ff8b89d848febccba0daf88a376d4f30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun FunApp False Passed
aebc07d07ebaaf92ee1ba293b35a13de130a3a8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Prime True Passed
1ca7a706a2816831b7f7d300d1e35095e6812fbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Prime False Passed
eacc112507343f95f95ccf4e51d72ee6004984bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumZero True Passed
d9ef761ef9e7b01dbe2e0988a9bd77b1377d7ef2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumZero False Passed
7f357a72de8db05e6ea5fa4bb75891e90b6521c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumOne True Passed
7de05b54ff5c253513c46f86471283ef99f75d51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumOne False Passed
85642c465ee73d6578afb4419615f9293a13df0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumMaxInt True Passed
dbe8c3b55fb522a144f70a4fb5e77c5d5489210e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumMaxInt False Passed
07339d39e25863b136a6ab0d8b1afd2a97579cfa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumUnaryMinus True Passed
879bed7361c03e83413d1597a96725f235a6030b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumUnaryMinus False Passed
ca858471489407a08ff787d0edacead8e0a6126e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumPlus True Passed
8681d6ccc593ba0625eff90a7e774d20fb4c171b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumPlus False Passed
daf30c899dc5213325624329d6af046099ed90fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumMinus True Passed
2827a57a9187af07ee7dbd1b5523a10db8f41ff7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumMinus False Passed
62503b4071c6b5a6fd16d1e1106a6f3f811cb0cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumMul True Passed
3ce0ea633c4af299397461d0072095e2226c5a1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumMul False Passed
79cdbc8ccff3aa9f46ea77070c520faf9584025d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumDiv True Passed
af0fb805367ca858fcd571dabbe615f2c0cfc57e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumDiv False Passed
6f50d4ae6642975f024dde538475c0840e9c767c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumMod True Passed
55b0513d649f6186d38b6f049db9d0b0c6fa5cab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumMod False Passed
a289b4dbb61edf952dbdc0b04105311138fb15c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumPow True Passed
06b1395d42cbe0d178a6758acf8336f2c210bc66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumPow False Passed
33a782f3d3562b8b2906fe304382714110cf5755 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumGt True Passed
a71c23647520145750cd14b84183638bf5623b57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumGt False Passed
07d7e565de932cb48cdeeffaa941470be1421882 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumGe True Passed
2c0129eb5b14033c021d6ee7b3c06151e2465d54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumGe False Passed
7f36d2944ad5f951532ff0d177e8b6d97a10e29a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumLt True Passed
36a57a387a1e02f630cbff1d9dbf125369389bea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumLt False Passed
1d30744bfb3c9d6c08b57d5008090c9d1894a1d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumLe True Passed
f4c8761526525851537ed0bcf286b753abc1ab59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumLe False Passed
68c7b3d3176bc220a3d5b17766e5959aa6ac9e7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun DefFun True Passed
f574c55e7dc6993dcce92289999c2175e07d99c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun DefFun False Passed
0b47be1a9c5232356839ad1eceddf334fde987e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun LetDefFun True Passed
ee1d70e6e3273bd216eaeafdbbcdfae5e4af3d2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun LetDefFun False Passed
2803024e13f52185d19930e45cb69a89d73c1e94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun DefFunRecursive True Passed
9ae4ea1e41648489ba829858eb406927d9a7ef2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun DefFunRecursive False Passed
74b4aa1dc788902ac5c61fa9dffc15d110fc5db7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun LetDefFunRecursive True Passed
2935009d9f3ef2cee4f7deacb9ad0fb099420bd6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun LetDefFunRecursive False Passed
d225fb95ab7aab39126c091282bb84b48869476c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Def0 True Passed
941478ea491fbdcd559f8c3dc6c8b38f7b57b251 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Def0 False Passed
e30867606e118d748780199f237475a4956007f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun LetDef0 True Passed
3501fc29522e3635f4789f741fb980c46ae362f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun LetDef0 False Passed
9a7cbf78a7710034e5d1afccac7db2758cf322ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Def1 True Passed
b1f30e62d18b844f00b1d1a65b1b75adc5fd202b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Def1 False Passed
23d05a2d4f825b0044aca6b6eaaf92c9aae5b304 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun LetDef1 True Passed
6d1155939fa681623c1e4320b0be5c40395f334c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun LetDef1 False Passed
030483ed30ba4a52d54bec7e711e42372c69222b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Def2 True Passed
6736fc048c5b327b796e6534e65aac96a42c00a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Def2 False Passed
ef340a7e50754ba08e177b924e679fec5ffc1d29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun LetDef2 True Passed
373e99da4da36722a37d2f1c89180f372cfd0d7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun LetDef2 False Passed
154dbf3d8a44145770dd8241d9a610e85d311296 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Def1Recursive True Passed
9398ad90501096718928b87aa7e4a72775702279 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Def1Recursive False Passed
a6efdb499c066011a1b2618e1b15d6c189cedbc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun LetDef1Recursive True Passed
b1ade3fe3789691c6991b2b8443c92d0931a2d74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun LetDef1Recursive False Passed
d7697b5ea9caf0c577a75c7111086100c9c7c038 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Extends True Passed
403ef5d4f335a9aff3ab6290dfeb060f5c44613a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Extends False Passed
d7ed11f0cdbaaecb833bb8610e8362a91a2ac698 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun ExtendsInDifferentFolder True Passed
42a910400f10551ebe14e37446654b3e10b8029b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun ExtendsInDifferentFolder False Passed
5dbbc6b374f242f7817b648bee9d96ddea9aa1e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Variable True Passed
9d47cae3d61f6160e0c04f7d0c1fbddc01fb13ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Variable False Passed
8ea2b396b6e7d4a3f675707483a6ebb009f775f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Constant True Passed
06818fa70913a993a0ce0e5e56fdb87426bafc50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Constant False Passed
ab0f058b61e94520bf8122ce1e938356d34999c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun ConstantModelValue True Passed
88f8f8b9aff7a683c6227fb0ea763a0231efcb62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun ConstantModelValue False Passed
cb7ba4b0b84771a296f8c88311abfc50e9fd4944 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun ConstantRank1 True Passed
9cb4287fc0fc360e4e0e69572336e478d7250b5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun ConstantRank1 False Passed
ba2bbb9b502aef5f7f990b7a5258f9b482e5b00d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Instance True Passed
add659bb3a6a0b5b266f77509ab165d239f4f311 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Instance False Passed
c8511feec5220926d17433c6b6c377d7586e2a32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceWith True Passed
108b668fc03587f91b78bdd57227c937e03de43b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceWith False Passed
76d5494cc33e86ac913eebe4b2722611c983ea0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceNamed True Passed
d1aedd7c6d061baf1f29deeebedd99de6ebf971d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceNamed False Passed
940dc36366a8059a00935ffacb6cdd5085cc331b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceNamedWith True Passed
2610cda13c84558033e60137f525a5abd2c127e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceNamedWith False Passed
62a1f33f20d6792be1c786c6f5733343fe6c5d27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceInFolder True Passed
886472e4a6a15636ceec4b545a61900daaa2a970 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceInFolder False Passed
8d1bb69f665e1d5510a365a2e1e14217a0e2707f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceWithInFolder True Passed
dedc537c518c622976dc604c4b815919a0548555 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceWithInFolder False Passed
8edd6e492f5c7df029920d439539848a604c0be6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceNamedInFolder True Passed
a197051b1a621a41e4dffd9bb759fd2de234b46b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceNamedInFolder False Passed
265424c324657e2c902465e7a53613892718d439 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceNamedWithInFolder True Passed
b03f02ba4d58bd523c6a852800dfb83aae337c82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceNamedWithInFolder False Passed
2ac697b6c72e0e3c6db8e1ed57c2a6d078d5baf4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Enabled True Passed
5189fdbc245081ed8daeee3931ed69f2c7df73f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Enabled False Passed
4055f7b2b1128c266f069fbae44e7ef436016189 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Cross2 True Passed
56b492340cfa75c4b1bffdd23b730ad19a31e270 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Cross2 False Passed
2e680f7cf249d02529cd7942eef90431dfa77737 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Cross3 True Passed
6b7293f80b254f885c2fb12ef89cfbba2ad64f9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Cross3 False Passed
e1736704ad5ac0c3f42ba1f3859720913bcef885 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun FunSet True Passed
65128d4f0d0601b87dce39ec9c0333bd570e40a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun FunSet False Passed
21e8a2fd580c4805fbb197c93c2811620b236487 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun RecordSet True Passed
fe6c7c065d11a4f06945ddc7195d588f05d9a742 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun RecordSet False Passed
e84a137119b22ccf79eb8e47cb8255d0a1b960a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SetDiff True Passed
c4cc10f215be9c7b683cf3df9bb88d13bd99e8eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SetDiff False Passed
5e78dfb737c62a0662c4f6c9f48a60f0726bdf25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SetUnion True Passed
6f85bcff4ea7c2c8efca73937dea6cc51a769e25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SetUnion False Passed
8686f4c1a3efd7d5ebd36cee6dc18a57f20344a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SetIntersect True Passed
53a27da936a1c8bbbc543f564468db5ee99dcaf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SetIntersect False Passed
28a7fd7cd916b00e2bd1cfc62d9d1bc026721801 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SubsetEq True Passed
39526554370477f35328a9e7911e0e02d2580217 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SubsetEq False Passed
82d03dbec301f2005bda48fcfea5a8c69300ea7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun IfCond True Passed
7d063e286f1e146d66a743034e4191ebd668a403 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun IfCond False Passed
5315f3a2f95c3f3ec646cd5a0ce7d27ad790b4ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun IfThen True Passed
8e650e936dcf36b5ece95a941cc0b6b764c18b45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun IfThen False Passed
b0487718dbc52e33f96295176a5b31df2c572b2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun IfElse True Passed
1722aeecad184a6e3861aa20ab0b5aa26c7e049f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun IfElse False Passed
f5488d62a714813c0cda8937c1a1024edab3928c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Subset True Passed
26f7c840cc796697e27bed62c5d5ec834ef09326 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Subset False Passed
922d4972f2c025a892d5ae28aa31cccf15b45208 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Domain True Passed
f5472973d2e93135632c6fbca38f49ed38562806 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Domain False Passed
50d4c6a06a9df27370d77ee13d42b57f448e3734 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Union True Passed
56e27aa99583291d99b3e7fe3d10242a45024e5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Union False Passed
d02c981725a8703ea66352a9b5464727d1674e03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Unchanged True Passed
cb4beeb03415967c9350343ea125a2a5f41cc33b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Unchanged False Passed
3ed86752c366307c48976f1948368fa75cdbbb4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Equivalence True Passed
1016765870309116a5e86ad95fc1bed88871306a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Equivalence False Passed
4e4bf7807ebb6b907c3cfe54839a693532356ae4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun StringEmpty True Passed
72a3d98f9bba3604858fe24eb005f7d8c1ddfb4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun StringEmpty False Passed
fde790ada0d97e5f4943074fdc811e596890fe68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun String True Passed
1d71b1b1479483d8adbdd8a0e38c465aff631873 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun String False Passed
c7c2a6a3b60929980e1b94c3d26058dc765126c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqLen True Passed
72257b103befd2888febf726646a383e5ce8445e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqLen False Passed
ed34f33a00628168054c0f10334538cef66230ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqConcat True Passed
3f501fd812f8d21bc415cf52114b5f95c37c1dfb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqConcat False Passed
f424740a98fad54af1049a95b47db37801a141cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqSelectSeq True Passed
85169818d5ab7f57a0569a12569146d10ffc3572 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqSelectSeq False Passed
b3eb54579c337e6edf18561ca1ea4985b8b8b461 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqSubSeq True Passed
54e78ad86cec14a1a6b81f5e98a0583e1319c9d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqSubSeq False Passed
5c7f06006c03c250d20d1b20c0110853bd270403 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumRange True Passed
e153e657699b67e3e224b80e643f3695db85909f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumRange False Passed
d0b731595fdd00acb29f17e2c58db3b1ff5fa3ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun TlcSingletonFun True Passed
68f15c88fdc3dd65138c9a4b48db152bda542686 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun TlcSingletonFun False Passed
77fafe5a71e094407b21e371f23b86c11db6edb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun TlcExtendFun True Passed
b58d79e3d32222b8ab04aebd44b2880a4fbf9a36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun TlcExtendFun False Passed
78962983c7fc1d70c924f27ee885f6ffa5708ad7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun TlcPermuteFun True Passed
065a527e90f0810677ecd016a389d40b8fc8f2e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun TlcPermuteFun False Passed
00199f817db1450136bb3f6cf2283776cd30a218 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun TlcSortSeq True Passed
23c22b7557e4092d2e3ba31dff84be493ad4cebc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun TlcSortSeq False Passed
392603c1933cda2d457c7512bde8760d7cf596ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun TlcEval True Passed
3de0a30b6aa03e0ad85e9975647595cf819a788a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun TlcEval False Passed
6d294632ed61ba953a9f6595ed7f147a81b45d29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagBagToSet True Passed
b84c1278c737f919663637d7fe623cc1b43c1823 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagBagToSet False Passed
c20dda52d9a2292dae7d697b84cce611ca0b0dbd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagSetToBag True Passed
d6c103bd4dd96b13f43b5e4cc53d9af83d255a60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagSetToBag False Passed
be2abbf1474326bf0216b953ca31c8330acc0bd0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagBagIn True Passed
053bb203ebf564cb4659306f819af04ecccd022f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagBagIn False Passed
c3bd20b97e6e01b019c862aa18b5a9bcbdb1eaad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagEmptyBag True Passed
07e9ae554e51870f50d4372e815985bd053da297 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagEmptyBag False Passed
59ad0622cfaa357f321eed32e624a9151f5d4e30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagAddBag True Passed
5d6f2baa95d81b8d8c91d873965e5e41ccd9e66a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagAddBag False Passed
414f9917019751a66ebcf6bf3abe8f2467c9533a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagBagSub True Passed
726465dd9160c1b9162e7d81ed4d7454d6b77793 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagBagSub False Passed
7918958b1bf8b62b2f95e0bd9b36d53366f60dd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagCopiesIn True Passed
f1c3a790d3e1176e7419b3613843c2ca65cf5793 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagCopiesIn False Passed
d7a0e27876e8ff567a68b3b420c18609a244af4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagSubsetEqBag True Passed
fb254e1af898402df4f45b76e01a6f9412c2e2b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagSubsetEqBag False Passed
2cc33665828384eef23efbe1cfd45ca3cb233f36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagBagUnion True Passed
aa2672213ce6bb1095489043ff909ec5a3195645 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagBagUnion False Passed
dda30441a3f4443d626b35337d693e529edfc238 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagBagCardinality True Passed
d9d4906209ec4b6da39e03100fa1d4f04630f206 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagBagCardinality False Passed
7883b30ec4b355c3fadba4bf686ac759466b8fba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagBagOfAll True Passed
e958ca28ceda4af12b9f4cc115e964dba0aa4a18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagBagOfAll False Passed
f0831ebfeb80330dac59160b90ea64125b1918d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagSubBag True Passed
13c228b513d0fe267ff686242578d1af6c088c72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagSubBag False Passed
94d23f684f728181432fa3abcd46a5896c2877c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun FiniteSetsIsFiniteSet True Passed
fc105ce60779e57dd2be87580aa35a333e9c2f7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun FiniteSetsIsFiniteSet False Passed
6679ed1b49d2e67175ad5e569419a3f23f236874 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun FiniteSetsCardinality True Passed
aa82a8707dbe682fdf015631fc6789842621be14 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun FiniteSetsCardinality False Passed
4568a72114e01d60d21b116a45a902f965c003eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqHead True Passed
4e9349120abbedcf88de24031c13d28d91dfe8ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqHead False Passed
635fd6a9850363fbf7ce5bb16d8935997ad513f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqTail True Passed
0f69454d62ae5c4d64597fc8141f97cfd7a6ad48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqTail False Passed
71d759940e08a781c42d054a297de6eb82987575 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqAppend True Passed
01755eb0295c3faaa31cace62e3c23bce499d7f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqAppend False Passed