Index

Tests by plug feature IfElse; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
06c0657c11101766e77b2da9067f5c015a68e4bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And IfElse True Passed
7d6a32b31be9e0a62caeb8bcf44e848aa560e50e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And IfElse False Passed
95d9a722c545672bf9aa02d2857c0262b09d58d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine IfElse True Passed
84fc3b746b0a1fb1819881877fb1ea32a16f3a13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine IfElse False Passed
a088a7ec0e352e5cdfa2295aadb24609154dea29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply IfElse True Passed
e781fa42e92ba5499d85d42546d663ba90d0e073 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply IfElse False Passed
4c556f00f5887df721ab1ef27ec5f24c5f289881 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not IfElse True Passed
2616b0fa5a0451925efa54cef738fb3234fa7756 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not IfElse False Passed
2613ece932b24eeda8ff0ca93caafe5b29f4fbcd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or IfElse True Passed
dc27631ab267b17e6388842b32961f05a7f96c6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or IfElse False Passed
101bdbec3ee9b96a536ed3fd8a2e3517171c9f2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine IfElse True Passed
0cacd567301f60072725c1892b54958eb61ae218 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine IfElse False Passed
a7055be03eb0ca9e1c09e1129960c6b1779a09f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp IfElse True Passed
e57fdecefc499d82ce14a3a1fb88db76ca971426 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp IfElse False Passed
fb695510a1a8b8a19a3f665ed10ce55971bbcc13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed IfElse True Passed
1159ea82dd9a53cf20f8cd409acae0333c1c4ae6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed IfElse False Passed
84eec587f7e8c34173f44e4311ba5fd481820031 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq IfElse True Passed
8a900c6247bae99ae2e36dc7bab881a1880f717e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq IfElse False Passed
7154254e0c535b77b7f114c03464bd2d4cbd2e86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne IfElse True Passed
2fd8127414be58de631b0eb6ef172900dd02feaa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne IfElse False Passed
93eaf136e526fe4282d7383784fb0261d104898f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let IfElse True Passed
bdac7676d26438196f3dbdceee30b426fc4d3ee4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let IfElse False Passed
2a0d4fcd9d5c9bdef59889321e7203bede1af404 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 IfElse True Passed
19b53a9c07a1ebf00ac264d4315744b435856aa5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 IfElse False Passed
6920b55ff7d3fb362b8191ee0efd872084b3d242 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 IfElse True Passed
a28d5f6d030bfa18c7629165a8343cf26bd8fc46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 IfElse False Passed
cef43745665ceb6573eb3f784d983421fe02226a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 IfElse True Passed
a512539a2813df7d49b36709f9184630f00e248f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 IfElse 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
2fc553ce12e1a35e3132af206d3d94478c0e5055 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In IfElse True Passed
9c85a0ef721554b2cb42b053f52d38014cf20749 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In IfElse False Passed
ebafd54a3f259fb656be64dc3dc14b884d0ada51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn IfElse True Passed
be08319e61cc1356a7016a696c2e94bd13b4d9d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn IfElse False Passed
7161395dbdd38105ab4bdcaaa424cbb3ce092df3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists IfElse True Passed
1dd762903f272ca5b8ff9e04b83703a3eb8f4c98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists IfElse False Passed
88026522b658e880dc77028361dd82d441ec8dc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall IfElse True Passed
3ab9a787e2348bb4f8ae16d322d21fee0abfc4d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall IfElse False Passed
c3de79ec0c0021cd5f926694f15a131bcf28baee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose IfElse True Passed
e541da561824d4085fd369fb6e781be6cead2a79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose IfElse False Passed
95ad9aa46ec076225f305b88af658c0050023d4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record IfElse True Passed
125b0d30acad5707f783385dcb9bb83f13a4e5da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record IfElse False Passed
091193122d7310cf413e1eb86400563af053a303 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple IfElse True Passed
edcf9ca685efb6eaeb47c7af6661185d93bc991c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple IfElse False Passed
330dd5acdd7a8bd613a0501563a479cea4a8b2cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp IfElse True Passed
774e74037b73cf6aa2e78edf600e5d766a6ab900 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp IfElse False Passed
a036d72ddba400d15ae08f8bbd4c536a82da4411 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 IfElse True Passed
c623a80afdcc16c5ce73eeb6a844f3d0af815b65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 IfElse False Passed
f407095a4df0bc9c31ef3962417182319150e6c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun IfElse True Passed
f41941a407249549e86d6f1d1f0e46e735e66ae8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun IfElse False Passed
7ab0253f07b97b7364f05602901ee04ae9c841d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt IfElse True Passed
ec565f53b7e4ca91a1601862e06759535979ed42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt IfElse False Passed
9733fe265dcb082fdbb92d633d4230ef325f5ba8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec IfElse True Passed
db1d7e70b16286391dec6a5188626a5dd8337caf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec IfElse False Passed
cec272c888515388cb88cdedf20aeec0c870c9f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt IfElse True Passed
c2718af20a2b7354f0b87b23e91464283290b3c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt IfElse False Passed
f26356c029dab51a60d131cd8d4f6585c158d5fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun IfElse True Passed
86c9b30c5e047baa1d02752c9c5e2a606d55d5b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun IfElse False Passed
d983dadfd67007c6fcdee9c87b5a4557d95bc312 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple IfElse True Passed
6ee90e6bba504ac214ff3db2e2c6cc4730b28fe0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple IfElse False Passed
58bf78a4d27a8278c633213c530a78401ea47b29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime IfElse True Passed
9476ba06a51d89bf0d058ff7e83f0bda408ed486 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime IfElse False Passed
b3abe7a6003feba1813c1f5887c70f77dcf449fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus IfElse True Passed
01f376ee35e650228b1363717688764d67053d86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus IfElse False Passed
2a8688b47fd4b1ac303cf1cc4242e0d69375a378 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus IfElse True Passed
6c026bc2a6ff30e205fb48646faa0029de883f0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus IfElse False Passed
58edb7b0accef50e30a64cadf9d9bb576f67f951 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus IfElse True Passed
57865667e8c4a7122158102fb52e853f38133f04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus IfElse False Passed
57315f278e671363f6af6e41c8527e88f5949c79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul IfElse True Passed
5b37121d3200b779bc2c38210b3e82707c13f561 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul IfElse False Passed
5b1ec7ca2fe903902ea1ac94db323d9bad0f6ca9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv IfElse True Passed
d03677c814f677672ef445c1155bf8f9ab96d08f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv IfElse False Passed
d0c9e3b8c629c1450c0b1390fe2b47bc97d83b73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod IfElse True Passed
a9e786e49e3543d515f5eac67e9aaa4e6bc5c59a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod IfElse False Passed
9fbdd23e894017bb7b44df1fa1964262e8d814b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow IfElse True Passed
b11acdf6525482696e6c7a73b6f3394ebfd7ec45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow IfElse False Passed
48530f52451717233bb076c73d89d7565e994cfc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt IfElse True Passed
d846982d37117593ae092e58a55440048879b230 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt IfElse False Passed
4f8c3668b92cfb39824989be19e4859f5e687555 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe IfElse True Passed
991a9e22c4d14264b81e222894fdec82bacc18e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe IfElse False Passed
7ac976066673f3f321161037a1aeca57c92e7839 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt IfElse True Passed
e4d5c20f266fb5ffa636ed017bd999dd471d23cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt IfElse False Passed
620c27985dc172d2cee8164d39a3d02c25bf9acb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe IfElse True Passed
3c295c195cd68f7eabf845f655df3c78f59d6733 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe IfElse 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
73f18801909cd63e954382500cd8862d452c8dc7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun IfElse True Passed
55656b03e75dc5d6c2d7a11445f8b9e884f6dfc1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun IfElse False Passed
9f585bc40d235dea88d957e8030563de7cf76dc4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive IfElse True Passed
b8234fe6048db2bfc3b92de12d6311398b8a2f56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive IfElse False Passed
9aecba13c8af3878db4ad327abec9fc60bacc3d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive IfElse True Passed
be19ed42676573864ed5a3a64f3de2c730404525 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive IfElse False Passed
bf3fb13878d5b5ddfed8211bd72bdf7e92a81773 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 IfElse True Passed
e2479f40341bc23f37a7a4c44e25f4009423ce8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 IfElse False Passed
291e2c70b766f159b0c13dafa1659f5b6ac3972d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 IfElse True Passed
50005878ec52ea86832df3227e02a8387a4fd5a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 IfElse False Passed
de3997f1b218728e6c753fb2edf03633c0b59488 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 IfElse True Passed
3e8d8d12ab2d219208ac27149571e6ea197e33ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 IfElse False Passed
b73fb0221cd5ac2a3b5dba100717b8ffa77ff7af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 IfElse True Passed
413ba72ac7b64d99effea0fe05c047d253e1b7f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 IfElse False Passed
b7e459e6c9a25dae9e97fef34d940052b68f11d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 IfElse True Passed
75a657412c23391e2693c8fe5a80ce4007198c25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 IfElse False Passed
c65873f5a6f6e7f248179459658bc8f06e20809f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 IfElse True Passed
93238a3f8d216e18b2d93d6488a2d36b9bc058b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 IfElse False Passed
e6eb95b57cb8c2a7faf03a40e12c31a9c8654228 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive IfElse True Passed
db988545c41e162cfe761fd07d4a6a1e4b59bdcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive IfElse False Passed
c0306af4c594707b233e3f6dcbfc1b46b20b3afd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive IfElse True Passed
46e075cdeb986ee14a136f193b0853c21a81f8e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive IfElse False Passed
d07f2b93b9cc7d4087b49730489bd446590f67e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends IfElse True Passed
e51208b37a716a873bb83892399402e65c802eff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends IfElse False Passed
efacbf798f9015ec328c752d046eae0c87f42c43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder IfElse True Passed
f0fb7bcde81f8fb93b1a62beeb0193a7c42e6aa3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder IfElse False Passed
8823a07e21ec62a2417c954fe1b7f615591276c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable IfElse True Passed
d46af78459c1998ce174ac4f33424c3f99c30545 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable IfElse False Passed
80228dd1fc67cd269ccc909a0ece85179e35e0bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude IfElse True Passed
c41c2d66dd8895ac5e97567295761a269173220c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude IfElse False Passed
97604f0bfeb88cdcde8c105a5f536d51c78b93d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant IfElse True Passed
989ff325c04f3640d7aa234f7eb62fcf65cf803b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant IfElse False Passed
118cff82d22bd3bfb9dcb6507a2602dcc30f79c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 IfElse True Passed
d2441797d2aefa7b63d128834c92d4732f79d64a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 IfElse False Passed
93c2d150c30fead18502d1d24947688471e5734f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance IfElse True Passed
ba5a3d27eb982f3e0ac89096d5bf8aeadaeb7248 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance IfElse False Passed
9426d39df928c74741be702a189419b08a0a31a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith IfElse True Passed
57e9408547d50a856694796b412c772d57dc3b0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith IfElse False Passed
e3085c913e17037494d5efd6431163b577c1ba72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed IfElse True Passed
03c6c14d9fd13ef03ebd96feebf9877f733976b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed IfElse False Passed
145ee55944bf5f6a70574c37cdc1da817ae7f2f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith IfElse True Passed
d8c106bad6c68a5896fb9e9e9b286089b9f55924 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith IfElse False Passed
c8eddadc22946744de7bfd4471dba0fc266e3e95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder IfElse True Passed
00d13c955ebafe1fb19be1e079fd88362baa1e1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder IfElse False Passed
f7b709e3af78d0f439eaa0fbafd3cf80dd96a2c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder IfElse True Passed
f8525c64ea6e9d58b1d2f50f5fdd5b591049950d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder IfElse False Passed
a14844495ce2bb508e6cd37dd8a8c65bcc378258 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder IfElse True Passed
6ea8d5434b5826946bdae7654fbd09332b72e447 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder IfElse False Passed
33d6d9ff231539fa6bbd1aa151a9fd4fc43e0176 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder IfElse True Passed
5f68741296100f2615dbf09c6ceeab3853302a90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder IfElse False Passed
75b19dae3a927809e9168524e9421d5bd3fec834 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled IfElse True Passed
e3ab5dbefe6fbbc3afc2c3fc8c1aa3e20b51d19a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled IfElse False Passed
bd799d13e15c001ac5b55fba4127bb630db80517 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume IfElse True Passed
878edb220c809f035d2de5c38b0c686ec8040de7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume IfElse False Passed
d7ac050ac473be6a0d65d8cb2802bafa91c09b5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed IfElse True Passed
50019b04d5e6f08799e95b1a195052be583ae793 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed IfElse False Passed
81aa99ea64507d8b87fa844879b4c750ae809b7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda IfElse True Passed
a7e3dc87be0bc6977c2d752e20c3c694bdb97c1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda IfElse False Passed
4401b3aa3295e721fc387442e5ff2ed39b4b037e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 IfElse True Passed
d91f021bcf277ad088e31051a333edf1c2b9c531 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 IfElse False Passed
8a8dcd5ed8ee0e00cc4123dacb12ebee75d461cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 IfElse True Passed
dd5f1b3a75bb7d50494f7c1a919301197c6c1040 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 IfElse False Passed
4202cce602a48a510a85ad968836eca9e18b5b05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet IfElse True Passed
7acf5c80dac2bcd3aec6b7b5d36309c182803b73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet IfElse False Passed
d9edba3c0de0325a5a53cd3c26080769605a1550 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet IfElse True Passed
e0e1a50adf729203727d04d3ccc63086dad0fa9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet IfElse False Passed
fc906b4a296e1b84816615107dda4d0b186f5a56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff IfElse True Passed
3dab9961ce3b00a69be7823305fa757625e6f068 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff IfElse False Passed
91f9fe05389f124531edea6a4f1a0b796200a3db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion IfElse True Passed
c9159ad54d146e9ce01d15ec1dbd34035df56750 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion IfElse False Passed
0223b4e452431ecd7e3707694d6074fbf47d3f36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect IfElse True Passed
8f6ae1361f6b6d373f474ef195a66cdcd4b14e94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect IfElse False Passed
590258b844d46421a89124673aaf46b4f784c1b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq IfElse True Passed
9b8feaa5086b3eb9a37f08812976476163493e0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq IfElse False Passed
5f97b5d7db3409a0c08f7fc25825a7ca42b69aac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond IfElse True Passed
de401ca328b6f1696c083f95b77512b6daa23003 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond IfElse False Passed
6f1abc5d8c8cde18225e2b9bf5b1d39791c4b852 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen IfElse True Passed
719f1e5b44dee98f3c3193ffb3a4eaa3791b6f5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen IfElse False Passed
bb140085a62d5388f73033dd4ee1f5b8f0654332 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse IfElse True Passed
e1aeea0f1859aa4774eb266ce8cdef833a9167b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse IfElse False Passed
1ae7eaf315568ee4836da6d60fa421d7fedd818e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset IfElse True Passed
91c068bbdf987d11ede9f300092214ee7331347f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset IfElse False Passed
7152133bc2b5ac47c70ed7de323b133329503820 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain IfElse True Passed
08d46291150134378db763d5db3067698a552fbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain IfElse False Passed
56e0c25f82306e5f8bf525bc77fbff1fbfa0623c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union IfElse True Passed
98abf065f89160ead90ef128ac94106c82cd368d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union IfElse False Passed
3c082436d74bf6604d2825f7d4f0d651020d8ca3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged IfElse True Passed
e95671bfb39a35f2da5f25631ae7d0c72451be1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged IfElse False Passed
1f9bcd12dc41ae8ee08dd24d424613ad2eaffd81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence IfElse True Passed
fc905989fb32e52c683174e7a715fcd7eb125b5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence IfElse False Passed
3da0550c2ac926073d313979f4d61d2fdd855093 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen IfElse True Passed
6535614378c6184af890436a423db88fadc412c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen IfElse False Passed
5d5cf423face240bf3513a0bb22e200fb04b7004 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat IfElse True Passed
c6b88ef6652f13f338882e19eeaa662e6aff5867 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat IfElse False Passed
9e6ddf0550f9aa6c484a1f55f8f108e04e223ade TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq IfElse True Passed
6ce07c01859d9b9ae43d3791cc4d292e13953cc9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq IfElse False Passed
d9e2cc15620d17975b566058bd44d720534981a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq IfElse True Passed
118128d350a262cc713dd5eeb72a122cda8363b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq IfElse False Passed
99f6bfde96890e5f498f2aaa361f5e241a074774 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq IfElse True Passed
ad9a6758bb373cfdae436c9a0282a8bdf82ae405 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq IfElse False Passed
5f22f1ef147b480abbcca7aafc5d53bc4b8f3c95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange IfElse True Passed
c66a229e22a6023cba24713b3e1b89f5f0a7be90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange IfElse False Passed
f43fee6b4e35097ca02c5abbab87b1ceacb048ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun IfElse True Passed
a4d1f8b0d2337760a273b86cdf3f41da30c4e13c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun IfElse False Passed
9f491b7855a4606fadb296f590c3560ab5ee9898 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun IfElse True Passed
95e56034196df5553adffd4161010cffa8aa8082 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun IfElse False Passed
60317c085a29c89c1d4ccce509b2b29301374b27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun IfElse True Passed
389ef4b39ded418b4ddea5ca977f3564bb2d142a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun IfElse False Passed
813519c3af9216baf580f8a2d1789ae7c8228b60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq IfElse True Passed
9b0ae77263a6db28ce405657d65950908eca824a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq IfElse False Passed
afdb5f12049a0c5cf6f7afd82752f6ed7c9a1c05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval IfElse True Passed
106992dcd0582a422b1d8686a5dff7c1e3ddac12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval IfElse False Passed
ca4006eac8d49d0105713a4aef8e81ebc2f2de57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet IfElse True Passed
972c18c17846a7a6cf32b9ce54505201fbec56cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet IfElse False Passed
3886754ed5eaf69f547735f9c6e2087ae91f200c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag IfElse True Passed
37f70f9a85279f15f556d1b5b15913b27a293b86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag IfElse False Passed
63b8b7bbe34d1a04c6930759e633618170772164 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn IfElse True Passed
abf2c2da7611a7d30b97369b872696ad66de4577 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn IfElse False Passed
155516618983c0734d4586c9f30f8831c15675a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag IfElse True Passed
452c7ccc462551187ef3c42f8b744abf1192cbc4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag IfElse False Passed
10cf07517a4892420a43f13866b170fc1249d7fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub IfElse True Passed
e879ad8be65a1267d75ca826ca572ad609b29404 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub IfElse False Passed
8503a998770b615f6403458788d17d2aea64d94e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn IfElse True Passed
1f2f986ed0569790a51c60fed9027975d103d72f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn IfElse False Passed
e2d30b3eef33e5b17c6539777271183388885ad8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag IfElse True Passed
6dee7d8f5eaa7b0ac4d665117d5783541003dfce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag IfElse False Passed
194ced24ccd655ef0292f51f322de55e485ee3a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion IfElse True Passed
a5a06b3b7c95a1a8fb1019359cbb5ec80582c72f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion IfElse False Passed
f5ef2e269b9b685c606c2d744cef71750caadb6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality IfElse True Passed
707537666069b83cffe5bda32e9aa08c9a15698b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality IfElse False Passed
d6984afc477967916e5ef6f395abb52661d2b6f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll IfElse True Passed
2e7f3689e0722507fad87cad594475945209f0ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll IfElse False Passed
e6aeb9edf685f9e97ea4e3a7c7dee96f06f84649 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag IfElse True Passed
a617637520562ddec9885be6f4e1352182ab9a8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag IfElse False Passed
8f6fc5cf18a496462095821f3190d50b36419b45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet IfElse True Passed
b50a14e585adf06f02207d1a16d93befe1af7520 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet IfElse False Passed
8ae7d9b65ace623d2a5706bac32f7a16d95d33c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality IfElse True Passed
0c8c3c93ec7d89cbaefec5f54b21a26d5dcd5636 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality IfElse False Passed
d5e9db81e80519faa17902c43feb001e893c4976 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead IfElse True Passed
986a68db518991b978a5b78d1af753cec03f6ffd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead IfElse False Passed
53f182d845a13b8770b3a10590d5d671e37b7cc7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail IfElse True Passed
3e3f81aebf3e59ff0bb57f2389e352438fafc164 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail IfElse False Passed
005781451b7d7eb097a5e060d10f43e08e3475fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend IfElse True Passed
b69ffc7369a60fa68e1bd6b14bdea8466fb45534 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend IfElse False Passed