Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
72a3c5b99a693ff57e80f520aebd17cd9f5202c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And IfCond True Passed
89ed37088276f745eeae29ef30ae9a5c23c4cf04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And IfCond False Passed
4564b917d8e3e6056b69d5ba200768ee3a6a3a7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine IfCond True Passed
3ce255dd5a7544d39f0ec7a507c8aa151718ff4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine IfCond False Passed
ec6f8b166c8b9bcce1f33d7b3b97ae04e5ed3ddc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply IfCond True Passed
e2fea866d617912e828ee05ceb7d2eaa95beb19d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply IfCond False Passed
1d7788578f8e2696da6679edb4fab11f9944ef37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not IfCond True Passed
53cfbd69e000dea62588f7f862e9510428d3cace TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not IfCond False Passed
0de9ad3b5777a11e55fb3071bb6689d6b1b9aa52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or IfCond True Passed
66c4d4076cc7492515516501f5a60acb83f86d98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or IfCond False Passed
87733032378ae7f87fead9f7f1218310bebe0da4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine IfCond True Passed
5c1a639a0327add99179cdc2f3b7a82f17f02559 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine IfCond False Passed
d44b24257adece6302ded1375d7ab37ab5929566 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp IfCond True Passed
1ea82639f0aeff15cfae16a953b593e97a3e0b25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp IfCond False Passed
7a1f1c635ceb3f2bc8a81e6ce5c07bfb0db6e88c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed IfCond True Passed
73e24ad8b9e11901046f749be8e6e65739bb0a2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed IfCond False Passed
09b633a6494b1aef31b6771dd80c8220726bb38b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq IfCond True Passed
ba5189093bf9e4664e4100860d325db7a38500a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq IfCond False Passed
d350aca74bb198b8bf1e090927ccd3107c4c7712 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne IfCond True Passed
080b688d5b1bd66373890c41c53d42514edb67ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne IfCond False Passed
5e596f0a1f58ff5d4c19789b837bf460a39ce20c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let IfCond True Passed
737e03c6d9aab688feb2e47acaf6280c42d1c00c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let IfCond False Passed
1363b7f9f3a0254beafbecba584da8be145b694b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 IfCond True Passed
65c2407f3a11263a1b1de811fd18d853ace81365 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 IfCond False Passed
b1a813a55591e22308bcc8c6139788d0b977f30a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 IfCond True Passed
1b89c02b747e69b3a8c62337ea01293bc0fec79d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 IfCond False Passed
f6da6a2af42c7e236da01af676533b3a2c469ed3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 IfCond True Passed
90845b4c9594386eeb4f8b0ea80ca74260526b15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 IfCond 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
7d7093dc7f26e62a6f6a478eb9f44dd43bcd8493 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In IfCond True Passed
06b0d8f859215da6d52a43615a133ff146753138 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In IfCond False Passed
ae604f73c40bfb0825bd4af14f12139ebc3b3127 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn IfCond True Passed
57c8a9d07bf9ef3d68eebd10bb156cc4095cc57a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn IfCond False Passed
f4c473f071a192143b7f29dae8045c090094af61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists IfCond True Passed
e99f1f746ce635ae7a3ae82aace0ede86c2770c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists IfCond False Passed
b0cc4059f8e948e4c6290c87d704c20b9ba9fddc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall IfCond True Passed
ef5180ef0a778e1fefe04d5c0e5c4b53cbc300d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall IfCond False Passed
a24ab3474d8cbae50de0dd409faed8869c76cc54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose IfCond True Passed
89cad1aeafec5ccc702459d9e0853f3abcf97fe5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose IfCond False Passed
cfc4c642ae00b947bd6db276aa8a1257f1582d6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record IfCond True Passed
75ed581860fd1df213ecce5d699e09841603b933 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record IfCond False Passed
01c5bb6acee79bfed0b5c22d572ca6061f014f0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple IfCond True Passed
a7521476c7ebf4210c5fa3cbedd5085f149b9fd9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple IfCond False Passed
347aad865f7a4bf63b5a7fb2efeaad4d9c91fb86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp IfCond True Passed
71bccc234b6d754e2abe608338f31a17f309f321 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp IfCond False Passed
94ff1eac191dd962b9aa885b04d689f9845a89c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 IfCond True Passed
5296521b195b67ede25cebff34e3e655dfc49f00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 IfCond False Passed
12ab9112569a341833679098bcc15b3676208f2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun IfCond True Passed
66870ecb39a056a9faf83a4655926d610ba8f1bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun IfCond False Passed
cb3bca74482ca3bf722e89c3863f1672731b0797 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt IfCond True Passed
53face511268232f479a449b79d17f9224729bcc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt IfCond False Passed
faa60d13a7a022efdb5af33c54b76b9e695332ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec IfCond True Passed
103df865214a6f746f8eb2565c8db8bb0117b4e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec IfCond False Passed
ba8b441a2d28944546d95914252ad4d82e805ded TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt IfCond True Passed
55f3a237d92faf71f9db1d4469b355f497a35f80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt IfCond False Passed
0b556108b25d7e15fc9a46bea8f39f07d35844f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun IfCond True Passed
d8758cad13f0ab862aaca162be284fe997c9fa49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun IfCond False Passed
4efddb6e6bb642d26aed3fc9b5c3fbb80c99ffa4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple IfCond True Passed
1c57e5681ee5805c0cb90041578042efe50c4c02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple IfCond False Passed
5637f435c8f9ad9a0efc0e78b8a336394dcb72a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime IfCond True Passed
03ffaaf1b99ece2ff668a1077b47cee1f8bd7908 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime IfCond False Passed
eb8fa17565a9db085ef8656a78b7042ade099ab1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus IfCond True Passed
f84f23845a7726848d7fa6c7387b7a120f5c662a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus IfCond False Passed
983ed370a87146d3166fc5c3f794a8ee929f6da3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus IfCond True Passed
2df285fa800069a68cd817250a25ff0224e25c48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus IfCond False Passed
20156ebd6d0ac8de7b312af77375222274999c42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus IfCond True Passed
e7d0e73cb15eae9a13e657a278ddb6f7c0746dac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus IfCond False Passed
5f257f1ea9ae67526fb720cc9992e63a7caf5add TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul IfCond True Passed
87c790ef6f111f952e9d728db21499db8c15dac9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul IfCond False Passed
5ead95da2ee0d6046798aa80fa5931aa12977ffc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv IfCond True Passed
cebea375cbb2ae18c7c678ec8300f658f594781a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv IfCond False Passed
88c3f088a0e1159cf49fc85544cf2d66c31659cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod IfCond True Passed
59f4b0b9a1f5820f8e8d897378fccf2090142be4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod IfCond False Passed
718118fb51655344316af3788a73dc3e13aaa291 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow IfCond True Passed
0ce273e2d0fa6f2489868a2cf613aa8b8d3e0581 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow IfCond False Passed
5249f01efce3dc4fd10e9652c57b68089d2db40d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt IfCond True Passed
93110562a842deb186ef07965df0a6baea34831c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt IfCond False Passed
2893ecd04065d9d7aecd0b18a452a8e9b1028401 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe IfCond True Passed
b84a12363a39dafa9b60dc8f01dbc6c0b907ddae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe IfCond False Passed
994f1806d1f6bdf73431efce4872e0798e2e4ca5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt IfCond True Passed
9717a5a2504455a7eaf65adfdf2903cb37ff1cd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt IfCond False Passed
0f038868778377010866e96c93f64a4ccc2d9be9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe IfCond True Passed
022659ab4dbb08ddbc093e9c707284fd267afc04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe IfCond 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
6fc31439bc681159dfcb9c7b51afd0bfb2193347 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun IfCond True Passed
111b2115bbece9e43da3c5021b43cb2046b63f36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun IfCond False Passed
07143cebae8dd364108d2fa83804d244ce7810da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive IfCond True Passed
39edd3fb7e98044750103b1039bc7f44f2ea071c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive IfCond False Passed
9500f9f205b1555f63274d75eb7ccfe3bb07fa03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive IfCond True Passed
75d384bc9577b912e3d2c89593beee9d848f8c94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive IfCond False Passed
957ef9a4c90c4378de71f71e4c82666f678d3eb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 IfCond True Passed
76e9d6de90200b86802fe6c5210c47d315b3fd5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 IfCond False Passed
7755a93817b89f2fc0f093ae39cf44a94ce1325c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 IfCond True Passed
bce476d669515836f94e9158fe06fcaf963ef90a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 IfCond False Passed
40f1f817218d5af8ae8661f77eb5137ee2248b5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 IfCond True Passed
987c2873a6222d1042ebec613b791a0e6880b6ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 IfCond False Passed
7f81738027b398bae7afa0e74ff793b0474487df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 IfCond True Passed
a8f1738490bcd55bdc93a8dc7825321213490895 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 IfCond False Passed
825bb9077672ec761b4527d388edac25c6dd362e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 IfCond True Passed
ae103dad425124b7fda9c7291fea573b9475f051 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 IfCond False Passed
9308b69f01a66f2a2b2cdb935f906148d7639d37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 IfCond True Passed
3af7549a9cd66538828a67a372af9024d0d45d88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 IfCond False Passed
e8e6d12938b89ce73e7c2ef93341f1fa1ac40e53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive IfCond True Passed
37805d93e044b2724567f2c982f7f8a46dacad8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive IfCond False Passed
adbe02b7e4f63c3fa6e1488f590e73c74059feb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive IfCond True Passed
a8768ef60429b44e74728e1fdb9df6d0fafea8c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive IfCond False Passed
475b2a15071a49454ef820df7470090a3a3797be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends IfCond True Passed
00c078209f9b696790605a496e72fbbe03b60427 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends IfCond False Passed
aeccce8790fe0aec94881e27fc19f6f74687ff51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder IfCond True Passed
169610805db930897249ec5838c9c1a31a58cdd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder IfCond False Passed
687fa599d78bbfa31d5b594eea4268fb7c20c8bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable IfCond True Passed
e53975b8016094d72ae3b9a20b5725a13f120d37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable IfCond False Passed
4b30edaca25c3607379ec5b31c7b6ca005e7d14a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude IfCond True Passed
49fcc5496169778d2349481afe40fb5f71fddd77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude IfCond False Passed
7a9ad55ffb065ab6bbfd8d2d6683b3612a0e49a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant IfCond True Passed
1b062f7b96e7996442a4774b77e08ff9aff34303 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant IfCond False Passed
c6e98fae52c33a34deb7be86633781386c8ee4e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 IfCond True Passed
9aedcef98aa67c4a67e693e216869f5eac752bd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 IfCond False Passed
73bce266e944c49e63af4dad443cfa8dbf23ec99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance IfCond True Passed
67dc19720f3ff966f38ac70cca1930de9d9e2c0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance IfCond False Passed
b5a07017afad72f3a4263e7d5356b988f8a8c35a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith IfCond True Passed
c429b094f0f5b970a1c498bafded4e7ab9e59401 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith IfCond False Passed
b594afbd627a9d46af291c52c5b6acff212adc32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed IfCond True Passed
9621e842b7efd8d8d2f71528b1e70c56f0681614 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed IfCond False Passed
3dc379cf8ed21dbca00efeca5e3d3b9b0c522e9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith IfCond True Passed
bc7b1db65e3c79d323e5b3cda0777ef161913aa2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith IfCond False Passed
275a82fbbb5cf1050d2a2a97c51c4cd50a849d9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder IfCond True Passed
f5e27b98c3d324c342e23b0c224e3c3aa200819e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder IfCond False Passed
538b3ee8e7c304bce16a16da055778a8d2e61fa6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder IfCond True Passed
dbce9611403eed9b34bdb31bcaf42176d08a9a6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder IfCond False Passed
66f91e4b487e564445f815a0c09a09bade567217 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder IfCond True Passed
81b7bc049fc4ec29439182208f4462dfffc4f756 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder IfCond False Passed
398002c7d965c93727f65f5591a8566cd9f11079 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder IfCond True Passed
8473844331b9542d861834a7d0b1fbbf79a0b02a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder IfCond False Passed
e49082d441fea779b7c33bb880e6da2afbc124d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled IfCond True Passed
b8a087da7f3283f851ac15200b3a79194832ff68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled IfCond False Passed
2a58be1f7fc0d2634dc0bc8738980cc4e9877ad3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume IfCond True Passed
3a2f4080909c75e113adfbc99a3f5edbb1eeefef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume IfCond False Passed
ba46737b7951a5ee164e57bcc169d787c7e6b32c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed IfCond True Passed
8a97447c2f4c1a1fa5bbb832b0f167e1c722025d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed IfCond False Passed
e7f833179b4a5ac58ad246ae9fd23c9ace5da40b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda IfCond True Passed
31f058606be1a919dee0bc8d6468e327dc15b0e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda IfCond False Passed
128000aeb135de3031be5559a2da7e727c14bcc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 IfCond True Passed
d6c26749fba3c7db1fb8624b89338ed966d5bac0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 IfCond False Passed
480fe80bfb559b62db976e9289c04ac8852e6ce1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 IfCond True Passed
531f9f856db22cd1b5aad7bb5cd632ee11226673 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 IfCond False Passed
f0baa15d9d353ca4a9327d3c12cc6e5ea5b98e1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet IfCond True Passed
2b008746840a42058e3930049fa595629c5b00a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet IfCond False Passed
6b0240cb12d738beeeb7034030d9af77333a3c21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet IfCond True Passed
aaaec1d081bb0795223598d89c4f36a59e2006d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet IfCond False Passed
dfe29e65836778781a9f778f4987f606405dae73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff IfCond True Passed
25185c01e7af4ef7dbd036ef6e3ad572aa7f9b95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff IfCond False Passed
fde84cf3818dd707bba1d161bd471e37825dc11d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion IfCond True Passed
b84e602136b697614e7347849658d9cc91f674fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion IfCond False Passed
793775c56e0574a862758da6a9f622857fc9860a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect IfCond True Passed
e701af72c34b0b562fb9024310537ebcd50f69c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect IfCond False Passed
56ad764168bce7d92754f51b97d56b48f2ce30d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq IfCond True Passed
fbf4606fb610c9152c3be36d3047f60037a4cf81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq IfCond False Passed
d0231904dc50bc9b547cbbc1017044c1030567b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond IfCond True Passed
243b8cb143652beb572b74d2e4f0da72bd245633 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond IfCond False Passed
4e513f0c2d3d3eb8601989a5795e864459208125 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen IfCond True Passed
f312e9ba5573afe593715a4c4ab1cf90e49d3e80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen IfCond False Passed
63f6f2a713416193c253411386aeb882e5a14446 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse IfCond True Passed
9479350e420c9ebb37d5af624f0a22862328c018 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse IfCond False Passed
d10de656c1c6b9bcd125748667ab84124df073b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset IfCond True Passed
b0c8d3ffb52f42e6359a7bd16e824da71a9d64c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset IfCond False Passed
3dfa6679d373b075fee8f2fcc1f85bd22bca246d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain IfCond True Passed
d17a137ea5a801ad916aed0c947c5dd7c4fdb404 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain IfCond False Passed
309b9c0851b2e38abe32c85cdc8cb9d5b976760d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union IfCond True Passed
f5dee7a8ea47ab4460453bc3adc6b97116416673 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union IfCond False Passed
8fa813b6398836f2c2a4abf67d73db84af61b832 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged IfCond True Passed
b3a2a5a20b968b50ac31f316dd04a103e779aee9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged IfCond False Passed
804e7a79057e1c5b38113fb468d25c5c4ebca66e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence IfCond True Passed
065e58743def43989c778594d1b6736561ba8f8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence IfCond False Passed
8720d29ef60a5dc5e33521404fdde01ae9f4ddf5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen IfCond True Passed
57a0915f47580d0f347a96868073955eb1938e82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen IfCond False Passed
41f0c1ae74a99289f2c72d09363d3c0e3cffffcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat IfCond True Passed
670b6eb90eeeacada39331c70809dbcf2b35dbc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat IfCond False Passed
f8ba3f63f8a8d6a456dd2c7d5b3ca172555fcd2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq IfCond True Passed
5781db6e4c32c237bd8f95572fc413defbd50da4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq IfCond False Passed
9fee407504cdb857d7e2fc8833f4cf8e1a4620b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq IfCond True Passed
e5e620eabf85358683a9b698b8bc4446999b8735 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq IfCond False Passed
180d36d45f030824e718776b768db3e18986c0de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq IfCond True Passed
bdf3bba9bfde913b4d29440516f8e9491ef9d7d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq IfCond False Passed
f0203aa6ff6f7947afe3cae2f0e0a086e5e3349a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange IfCond True Passed
0d58ebde86e6b90e1959eda5ed9089b23e20cf53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange IfCond False Passed
b73618764d95227ac889f020a13bfa4db5a2e50c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun IfCond True Passed
0f9f83139f05cd230c59b4e3bcfa467c0c2b1523 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun IfCond False Passed
da5fda06f8cf8beb93ea88e1eaa1c1c9718cb8df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun IfCond True Passed
41a1d370f771d697cf50f497ea1179cbc671c05c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun IfCond False Passed
e060daad2c09efd0b9b3e22a10ffe0ce7dbe0664 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun IfCond True Passed
b45ac498240b16f15174ee3c3813e6e9cac0e68b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun IfCond False Passed
8dc7c7243c6c45d61282216f2c1b4b9ea2eebc1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq IfCond True Passed
ecb07f0bab8f4d929ce854b9d5444b91f6b39505 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq IfCond False Passed
b0d0c1524ebce5b166d6c1159cfc7d04b60e0634 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval IfCond True Passed
deae79a8bf9858053dd146c8bf2f5dc2f4b4eb68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval IfCond False Passed
5de5e3a290e5b1514fb4f1e2798aa8c38f614aa2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet IfCond True Passed
9fb740b4fbe5b94f6700c895214cd8185bc7b937 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet IfCond False Passed
52fbda8f895b81068fd69ead5e06413fccc49576 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag IfCond True Passed
82990e763cef4b40877d24f49d240ed2b3152b42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag IfCond False Passed
ae3416e64f8ca71ec938d052380ffbb400126a27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn IfCond True Passed
7b9b4486b4389e3768a94279bcc9c3da7ebac20d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn IfCond False Passed
79c409facc8b22c9cb3f81af4178090c3ea23f85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag IfCond True Passed
a1bf0553813c67c9881754c3e497a33dacdbba56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag IfCond False Passed
f7ac91f0c2112bf722a2c556786d8babdb5f5b12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub IfCond True Passed
14d6c802e26cd89dd321385ded99382c53f2ea80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub IfCond False Passed
f23675532a7865183bbcc376f5fb7048f1d05dc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn IfCond True Passed
95ecaa60c484a8e8489b2b213271deeaa1f60dd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn IfCond False Passed
cfd82a1ebdb6464dc9f28a210a7daf3c634e1b02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag IfCond True Passed
0fa8c2021f9c48327c42ef2cf52fe540c5aff26f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag IfCond False Passed
057eaef639679f2943fa410543a5524ef0a75bc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion IfCond True Passed
ea1e00d927047c3da3c20ae07246245039ca23da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion IfCond False Passed
d441e86f9c04b9e76efdc5773c61ea8b28310640 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality IfCond True Passed
6ed97e34ab9d2845570a9519ceb923d63843665a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality IfCond False Passed
1344d1dfa0afa44425220c2e49b58d99ddef592d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll IfCond True Passed
1b4823d79a17656222bfc833d355d565c64d28f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll IfCond False Passed
13078e515805dc9fc8ddbbc3d9eccd6b466a95cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag IfCond True Passed
1677e8778e70599ecc004f6d55c26ac86f0d0ffd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag IfCond False Passed
6527eeb4b0db933c19fc20c4eee094ac74af0969 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet IfCond True Passed
0004f3fe4730c0e800362203a6f7fd6c770c4197 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet IfCond False Passed
7419a3a859e6dd1a91bc573425d498af514e9652 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality IfCond True Passed
b8cd9281b0d3c0c32dcf89e3b86b08a88c73a29f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality IfCond False Passed
8884759cdf68b57e58553dcb607f0c27135755aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead IfCond True Passed
0e2f3b2e70b82c3e1c86c3c279a54b3964fa81e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead IfCond False Passed
40a42b61b1cd01d004d7182a7e17ad945f3cc5e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail IfCond True Passed
81e19564423ff193f8054313e0c7730b8207bd62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail IfCond False Passed
1a4b00bf3dcc14faa90e722a2447b817227753fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend IfCond True Passed
5b4dcd9e7280460990ba01a1ba8fc76c2e08bd33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend IfCond False Passed