Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
595d453ece13d576824e2c53278458da88efddec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun OneLineComment True Passed
15f323dd68112e2a4029b9b71baacb6f8cbf02d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun OneLineComment False Passed
894cc669e36b80808319600a347a5e944288d219 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun MultiLineComment True Passed
76ecb16a537d644fea101ed2329d2f202a8da8b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun MultiLineComment False Passed
d9e29a7a5e0d21613d30fa6d8b51d6cf61011e92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BoolTrue True Passed
c5c14d9384fa835a88c9980f57f11a30bbb77986 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BoolTrue False Passed
25de034e398db8dd06e30fad0aefc94740288fa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BoolFalse True Passed
6d674b7f5c9cf62d10cf02c02d74cbf6dc856b20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BoolFalse False Passed
3ffc7fb7866c83360de545d8282d68adc6f7d021 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BoolSet True Passed
b0767575c22e48cdba3bad5658627dee7fa1838a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BoolSet False Passed
efcd8f545d14c40f4272d682bb0ff42aea5f73ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun And True Passed
4e1ec5942cf8f219285e02e7a9564d096a1fcd1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun And False Passed
0f177199bd6371b703ed4bb410dfb1d57a2ae828 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun AndMultiLine True Passed
7bba1e1e590ba75b5c47953b6ff9f0c620d4d9e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun AndMultiLine False Passed
68f65127c8876fff27cff773b2b4ec63ea868aa1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Imply True Passed
9b298256661f9e5088821df0e9a91bae4e2bdb8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Imply False Passed
9ec9a4fca12a4daaaa4eec0a0498884433b05ae3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Not True Passed
954438fee1ebecddc321735ddc31bd28f8fa0d7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Not False Passed
911436d07b8a601b70ba3c6894871d4b6e88ada7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Or True Passed
8140af14c7366b4c75c6dec8e035b1a8315988b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Or False Passed
3680024fbb61b00294cc96e7edd3b297093fdc5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun OrMultiLine True Passed
d969126d992f3868a64e0a838f1e6b6f5d77241b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun OrMultiLine False Passed
52f27631b6c204e431a0aa12280fafa0570745c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Eq True Passed
f8039eac0d3725a882c9eecd6fea9340637e19da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Eq False Passed
e7827c7bf60d3367eb6e564cf66e0157fa2db230 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Ne True Passed
a94b9ed9767012676fe4612d9783f4556a042972 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Ne False Passed
a3254582165c93113526776c4702ca0e8325a800 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Let True Passed
47f5e863fe5e1c0f5afbd38645332962e5f07c48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Let False Passed
15b8afee0d5eba9ccc606b79c28c374210bb7472 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SetEmpty True Passed
ab24555e76dcb4e6c840a891dd1f84a111c2afb8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SetEmpty False Passed
6923baf261adf8e79fd52b95d1926ab45e0b7ed6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Set0 True Passed
310c73589a02d122303fb7cf0671cc2d74cbb561 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Set0 False Passed
a771dffc6e7cfbcc8aa022f2354ba97de3024177 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Set1 True Passed
d7421fd465711d4c8a15a77bd2cc182e8d810b3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Set1 False Passed
8ae290d490dbaac1d4efdec89aaaa0c5fc904386 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Set2 True Passed
c7d80501287bcd4f826989ec619cb19823792cdb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Set2 False Passed
4f4509e6dee198c4b02b09e7052b2129bdd7c1cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Fun True Passed
7ced1697701491f740b2de2c3b93596937638103 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Fun False Passed
f08e27dbf9f7271f545885f6c02fb966c2b042f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun In True Passed
1bce82eb12ca3e2d231b8cf2ca1edd177fc31ac9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun In False Passed
de71824d56be30bc27399b7e287ef46716ae7ca3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NotIn True Passed
beb5aaa54718059d5d6d8848e26e771703564241 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NotIn False Passed
2568285c0317a19be6b8fe548498569c1742bab8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Exists True Passed
5c96a0aa46b09e27208ec7c7d4e9ce91f8687181 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Exists False Passed
c74958fc4f2caee15fc08e8aa70adf28aea15af8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Forall True Passed
abb8e7b6b3ed1eb75ffa249422cb95ec6821e08c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Forall False Passed
49570e400e9f0a570849aecb78d75e46a815c894 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Choose True Passed
e165f6967bc1637b2506c1861deebde575fb8985 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Choose False Passed
d4fcf589a0945cc5b8783c3c22ffc496498040b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Record True Passed
7f356e85d129b2bca1f4a910b718fbe063685850 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Record False Passed
e11e51c93ac82e6093bec38b443e074a188b3ba2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Tuple True Passed
fbad78624e35b8b6ab7235f1b8d44b0165d71516 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Tuple False Passed
e86012ce729a36b933ce1d1426f55d6a588ac2bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun TupleEmpty True Passed
16809fbb3004cee2781cfa923db858598196c324 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun TupleEmpty False Passed
d2f4aeec84a20abddfe1c061f2959bfb505eca53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun FunApp True Passed
43d22c0e4f731b368bf27d690393ff37c9096dc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun FunApp False Passed
1bbd4bb11d719744786148ce4e13bf09ca0415d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Prime True Passed
f1728de34733c313b4e1a18d7a986ad1cd1357e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Prime False Passed
db52ac308e8c700b00e0288326923bba0378d698 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumZero True Passed
4d914b9515737fcb8f80624853b8b405a8dabac7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumZero False Passed
ad0cedd87acf8a3d9f9923052e7f810a139f1a43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumOne True Passed
16d03ee2d2bf2ee08449df69f5b6175d69700653 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumOne False Passed
d8d88dfaea7df6a66bd70f9764dc2fb8f4791b11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumMaxInt True Passed
4a1af030e355285cbf459e2a4b394a5f47d4b897 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumMaxInt False Passed
c2303827f6ae6e130515d06eaa9ad44c2e3b730a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumUnaryMinus True Passed
2b85a08894a54dd1fb4cf3251cb5f9aa8b973a5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumUnaryMinus False Passed
5ac419d3bf4cbddf2d2689f8fb942aa0a4477664 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumPlus True Passed
85c4e27ebb1172b4d9606334bbc1cc9f9f8c6011 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumPlus False Passed
5df7b8aab0eb13b4c8caef7bd40a4890be5f3cc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumMinus True Passed
50da768fb10a098659ee22575948a34fcd0648be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumMinus False Passed
3487f3c216d1a2893adaff208da18994e4b8b8f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumMul True Passed
c6da684c6a74df4a13722d3e5feed1b243ec626f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumMul False Passed
dc78fb6f7ea34845e414617cddc8233a8697fb77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumDiv True Passed
822e4607b49b720b4cdbbecdcf37c3658c70034e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumDiv False Passed
11419b8e34870de590cdf7ad2557c97604eae5f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumMod True Passed
7def72fb33211e535488ae4bb956151e6c1cf3aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumMod False Passed
eef944ef5513f5f72012d61a511b262217d0a3d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumPow True Passed
1cf4f239596eceeaabe5597fa48dc36aed8c4010 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumPow False Passed
6c546f09bbe448cb107ebadff61f3f48a0348b74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumGt True Passed
42340da7f0e45b8f345bf3a4214dc67a9f4b2a3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumGt False Passed
f587581b2d108f508c5320993d6b91365529a566 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumGe True Passed
24b322dd7e1f60723349c1e828284e9de15e8c6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumGe False Passed
e5867999b0f2e2e4a9ac350bc6755bb34a94ef59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumLt True Passed
af3e23854c0630f4c8f37c4bdd19529cfb5d627a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumLt False Passed
685dec475bc4e3a47d51c599f04ebc7614d9b14b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumLe True Passed
548cdd10ef8bd3c99b0e34c9cfc62e22eb81db22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumLe False Passed
de7e30ef938f5cd2c62bdbbc2e67082e4da46060 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun DefFun True Passed
11cbf71ac4f35f07481c9ab6694a2ed7de28c7ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun DefFun False Passed
18149df6989c8a7371d92ea788b87a82ebbd836b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun LetDefFun True Passed
a8fd5e47d2f9c452b302bc68f1eb235110b353c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun LetDefFun False Passed
b9d20924105dd82cb518187d756074e01c462f75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun DefFunRecursive True Passed
9c631e19ff4a313b0d40be8ee2933b4cf73782c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun DefFunRecursive False Passed
51b5b784660ce6e538feae7c6bed0be7db53b1ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun LetDefFunRecursive True Passed
61566673ec61acf303d55bb729fb36ca38e99ee4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun LetDefFunRecursive False Passed
fd79fbc315bcb0a9ea275d792fbd288e2c9a517b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Def0 True Passed
683af5d72d1311c423eed3f030bda8d1b1455ada TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Def0 False Passed
df79e075ae6bbe00003acbf9d26d269560d28686 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun LetDef0 True Passed
98077c79ba5937efdbeb51a2f107a83923bfbf50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun LetDef0 False Passed
3e59b73b3ebdb210343a4072e287693930aff183 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Def1 True Passed
12aa421168c8b3915d3c96de82e56db9f053b668 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Def1 False Passed
43a2ac720cdecf70d1e159c39ade83e566ba9452 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun LetDef1 True Passed
563260e45b8a602bcf3a75bce94ed516c0afb3df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun LetDef1 False Passed
f40a91100b31425ffac1f5b85c015b74874d9b1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Def2 True Passed
8e0995b55d64f848c61dee24b47d8d0bcb8bfef5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Def2 False Passed
35534a9c40c80f508e0c6bca381bea8a13b04f17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun LetDef2 True Passed
0d308a650d48c438856abcfa97567e80754c24e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun LetDef2 False Passed
9bdf7aa0c2ff821ee1e562fa75e1cc06d1a8a292 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Def1Recursive True Passed
bc32f05b7d29f4eba4ede70e79d61e94f0734eda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Def1Recursive False Passed
70bd2efef38caf20c503cc8b87e8c0d6bb382d23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun LetDef1Recursive True Passed
e63571bcb58d2965bf0d64d01996cc7fd2b75b78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun LetDef1Recursive False Passed
c3dd421354f632d63d76c3ee433266c08db884a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Extends True Passed
cae9a60d196ec4a553d7d91a983afef56a1bfe12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Extends False Passed
8c7895cdd508e04525bf88cbfd76387eda7fd60a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun ExtendsInDifferentFolder True Passed
b0da2b9d0b2ee38c9bebcbae592f77240802972c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun ExtendsInDifferentFolder False Passed
d382779cec2d9c2625d0bfa7c9605707e45e31eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Variable True Passed
bc5780d048805d4f7c7475735615767c96992f1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Variable False Passed
2a870de4362854a898d85836c327e4cdf1056611 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Constant True Passed
cd7b0b32493754cefeeefe51da17e12ed5ba40ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Constant False Passed
25d5dc1a7079615229ee0d3aa681ac905a62d9f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun ConstantModelValue True Passed
50a6d089a4e588d77148ece98f87f45a6716ba89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun ConstantModelValue False Passed
f8078d85da26ddfccb0c4bf4006397c125a1e988 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun ConstantRank1 True Passed
b8f3d12e6e96ad61dbedf868ea52f18ae3bbd423 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun ConstantRank1 False Passed
b8853de3054f1713f7fd8f81875104319eefef2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Instance True Passed
63d4a424eef672337a1cfc6bcd88ca05c3d3d0dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Instance False Passed
3989471820abf10a0c6546393caba35e8c59ae73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceWith True Passed
7e97cb6f25afb39c2b91aecdda93e9e51dfb8375 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceWith False Passed
4a3334d60e3f6cb674b565b1b4d75b1d5573fc55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceNamed True Passed
7c8f49b123edadc0830fc873c1682da8ae1a3a6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceNamed False Passed
3f1b280fdacae83a0804d729efba782aa93e5251 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceNamedWith True Passed
5197a79e504e1a4378d3a392f9e04f5097d35a41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceNamedWith False Passed
4935e85d6043b0b76b8a9a2311b7345c2a34bd57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceInFolder True Passed
cfdceb6502febbcb05851d0c727e14b8de3db11d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceInFolder False Passed
e41f9574dda6c68539fecbc0526b78c99f0c1de9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceWithInFolder True Passed
e04792bf3069d57187b09b0cfa65c8aaf19f580b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceWithInFolder False Passed
90091d24bc3a4469fd3ce29af5fff7f4e7b948c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceNamedInFolder True Passed
c16206ac6df2caeff04e8c2d938bb893bd343e0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceNamedInFolder False Passed
5b0bff1d887f7d7acbe5416fbd9ab2357cf58298 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceNamedWithInFolder True Passed
12e5a665e5c6ce55aa1b3e924f1490bc10322327 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceNamedWithInFolder False Passed
93b15cd12cc499d74efac9cc9f963d09392954fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Enabled True Passed
06440a9cc286610bf99b81efdc800e16ab3eab09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Enabled False Passed
8bbd8693ae47d210dabec557cd12ab6c314b9c8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Cross2 True Passed
55d22b2abe22404978ba804c6b37fa8182de3340 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Cross2 False Passed
e6965a31482c40e210ca0ca768c23466929ad36c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Cross3 True Passed
afdbd629be64649e7e954df311c16fe370629ef8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Cross3 False Passed
46de4c4f1ed043142d743a3e4bd156ddf689d1ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun FunSet True Passed
6348c361b7b2b227784e3c8c522f23984cb7f51e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun FunSet False Passed
5a7b09c0c20b76008a211690ce6d9c14662589ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun RecordSet True Passed
bd24fce9a2d45e41972842ad7384ac4af26ee23f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun RecordSet False Passed
b559ed7a1a21d728a8722cc6eeee6480ba5e433f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SetDiff True Passed
f7d1420cc442e763fd4d67feb2253902fad2fe35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SetDiff False Passed
fa8d1939daa1dec83dbaf534f40ad2a390206f32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SetUnion True Passed
9712a441c9896d706c16abe4e97d0195e739fbab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SetUnion False Passed
7dc644589dcda99ffb90701812730cee1fbf3a56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SetIntersect True Passed
0a6f3274a43c9a411d99b35dac19d83358f415e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SetIntersect False Passed
0f414e8c5186704a55819f17e6ed2c8a39414679 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SubsetEq True Passed
13cead894db38fa3986654ba640a084dfd847b6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SubsetEq False Passed
4f8686e80d5b4b023a51b86db8998d2b6bde797b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun IfCond True Passed
b35203fca594a9fc23191b7c1cfacda486677867 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun IfCond False Passed
9952ed38fa55dde0e72787618c557bc6176a33f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun IfThen True Passed
50484e59bbdd51e75e4b4c7233cb15e4ccc2f4f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun IfThen False Passed
7c4931f687486e4c403d23fc877645dcfd53d59b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun IfElse True Passed
cbc68a4d18565ccdda1e6af752a4b61ac1e63ff7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun IfElse False Passed
d3dfeb4cd79d8ec847a6b304b7ed910010804ec9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Subset True Passed
4834244555e4baf7eac6454914fb486306f3aa2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Subset False Passed
f91e745130533b3d55d5eeb183af37f78c712729 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Domain True Passed
df23f4ab1f53491968cc53a6410ed93a9c6d7f5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Domain False Passed
e56b5c866cf1e94896a3763c7378dc70462a5b82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Union True Passed
3342358f6998ad374891e79fcce7b0af740d15da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Union False Passed
980aae0ee81caef213c944057303210144b176bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Unchanged True Passed
8ca8b377a38fcb233b698b422350f326718a6dcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Unchanged False Passed
2a9ba3c3dcf6722f060597af12281944e605aa58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Equivalence True Passed
e8747101f9b0d03a37f886b3c38b10206cd97c9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Equivalence False Passed
291d026821420e0a9291b172c7b116839c215641 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun StringEmpty True Passed
e8b7a38298433e46436d3fb2fece717ad5eaa7a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun StringEmpty False Passed
8b9e473f9f3646a77bdd8b77f0191276758797af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun String True Passed
04228896eab10646653efde4816923edb2f55a14 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun String False Passed
880fe3817eb7a8e836a8f4bdc3be990c1b3e33ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqLen True Passed
d53e6734aef9fc27465aad0b2c725d85f61bbc7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqLen False Passed
5efc5aeae4964d018658752c43545c2648b4d282 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqConcat True Passed
77854b2fd0cdb57d1dfa2ee48328b8113501b5da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqConcat False Passed
10170930a068d89fea387de46f2005498e0dc91f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqSelectSeq True Passed
f55ad2ab267c6a651efb9fbb0699bd1f72c4d4ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqSelectSeq False Passed
541f899bc3c887f603cf1a1c2d2210747f258009 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqSubSeq True Passed
6176ecfa899684020b0535b6f36edadd7af4401a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqSubSeq False Passed
a8fd2bc666f7004dddced98c0086e43c1c09df52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumRange True Passed
64e2038807321b79ff8f159d414c88c124374471 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumRange False Passed
9e005a39c1c1393d2f585a59a1d09efa534daa54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun TlcSingletonFun True Passed
302eac5c0cc8fc32795e05efb5780f788178769a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun TlcSingletonFun False Passed
091948fe572719d7d5c554dc87169521284e9f2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun TlcExtendFun True Passed
bfa2b92787b732c54b599284b6c8fb81e2eb3bcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun TlcExtendFun False Passed
e0e80b51a358aaccf8c85b5230b77ca100e2cd76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun TlcPermuteFun True Passed
15852b1914d34fff0c56ed4788f5311205fd28b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun TlcPermuteFun False Passed
42fba7ec49de5919b04d0efe9f45f1871fe111eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun TlcSortSeq True Passed
1ae5ba8c5e9bdd5182324cf512f6d883ab0c4ef3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun TlcSortSeq False Passed
f88d2ac58b3faff1f251236421d6cf9d39477794 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun TlcEval True Passed
6c8620bc87906edd86683031d04c95e60773a6f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun TlcEval False Passed
87df98d3be811d06715fd362f60b9cc58d6b876a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagBagToSet True Passed
f8b77f3fef459002f50b255fabf1c4e41eca897c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagBagToSet False Passed
b1dee766c0cf245df7c41b9d49026c2eb09f2f9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagSetToBag True Passed
2bb36f3f9417e847754ed02667dfd1fa5ca56b21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagSetToBag False Passed
f61cb28432ad5da57bc7840632dada9cfe379acf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagBagIn True Passed
b0c5efb3d76dea1a920f69621d12306c2aa685e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagBagIn False Passed
522cb0ee360b61a49056a4c119da1a40486c70df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagEmptyBag True Passed
9f124064d486d62adae6e21a8d0459d6270af954 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagEmptyBag False Passed
06fa75e507993f9861fd520684f917004ca0d255 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagAddBag True Passed
1c93ca6b4b8a3c1cb3ddc306d580e87c2cb82e50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagAddBag False Passed
d25694cd1ccc8a0c02a6eb04c0f349a7e5d0cfb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagBagSub True Passed
51bb6347bcc65c4b5f1a6629a887a8e20bb15197 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagBagSub False Passed
12ee86dbf6c6d2033f8423e1531bbf70a3107ab9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagCopiesIn True Passed
c9fb08a57fd277765e21605bbfffc6db9ceac874 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagCopiesIn False Passed
b6c616e5fa1bc72a4a416f5f139f74249dcc6ac3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagSubsetEqBag True Passed
764ab90dd2dd5bb2062bdea82de5858c401a70f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagSubsetEqBag False Passed
d62d05732fc254150bd468645f8c7a66d5d04183 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagBagUnion True Passed
f05878c72eedca598f4ba7e12c52118536f60219 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagBagUnion False Passed
a9067b5100d3f12fbb64d2931e7540140058f7a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagBagCardinality True Passed
7e1fa84229a1f4c74a5081e4ec7715d8a9430d43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagBagCardinality False Passed
31c742f4ad65e1c5b767842e976c3008c5f4b001 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagBagOfAll True Passed
64d4f7e349026082b38cb2bb4b7fc076caa333a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagBagOfAll False Passed
9444ed9199f8dd36c91a4bcd6e3943c80daa6a5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagSubBag True Passed
8a2eff5a216110dceb5ec52a222d13a83f392449 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagSubBag False Passed
074d7df5a2fbc5cd82cd81b30cb4270f78b137a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun FiniteSetsIsFiniteSet True Passed
37b982e1f22f2d11899504b400233dc29d86c41b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun FiniteSetsIsFiniteSet False Passed
6d56279aa30d09b4ace0c7c9ee1e111bac0cb37b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun FiniteSetsCardinality True Passed
9a728903dd4f325314f8367c8b1710432755396a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun FiniteSetsCardinality False Passed
2bf2d84bb93a339a8340a86c78115bb36e754332 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqHead True Passed
e84121913088bd6ff725258104c4f198f1de2abf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqHead False Passed
05ae00c61d893a9b5280ca7b2abc93de41934e59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqTail True Passed
d6670cff9a2a63136c4d2818b13701e199e28f09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqTail False Passed
a674c65a75a63d6ec3849c7bbc319362eb969ea2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqAppend True Passed
641db5713a22bcad73d56082cc0586aed6e5b318 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqAppend False Passed