Index

Tests by plug feature Def1Recursive; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
7bf2304049d204f2e2b8046090c3e8be6ff56732 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Def1Recursive True Passed
4addec788ed8adb7bca05e46e10f5adc9124f5cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Def1Recursive False Passed
23121d2e08c68a595e4de5fa0fab4a8aa91d9841 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Def1Recursive True Passed
362e85ca585c3ebdf1ed00b311beebccce6fd665 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Def1Recursive False Passed
4e23ba6823a54313835fd1bb433b26b855fc7dda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Def1Recursive True Passed
85e071e229282c7dc928a1ff0d9f20a3ab82a303 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Def1Recursive False Passed
e1387df29a0181eaa6598682d6638b7ef2b2b1f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Def1Recursive True Passed
c5fd18c897d4908798e9fa944fd3bd9a345ef244 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Def1Recursive False Passed
24c09a0046d0b6808fb129c7a2d82bc1464183ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Def1Recursive True Passed
62451e545376e56528169e4faf5f9778fb9a47cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Def1Recursive False Passed
20a57016d8b1be3dc5893056918da036c2fb3262 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Def1Recursive True Passed
21c208465c043526b030cd69d6dbb959294065a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Def1Recursive False Passed
e28683fe650b24e059b3ef1280c9e264692bfeae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Def1Recursive True Passed
aeb49626759e11e7d96227761aa139941c0d916c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Def1Recursive False Passed
ad23280101bc4b02d375415ecbfd3f75e5c5cb40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Def1Recursive True Passed
429c215e4f19332ed4be0d2dd384d7bd6783dfa5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Def1Recursive False Passed
b2c816970e89d0bd41095c78c4cdc3cef3e7ef2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Def1Recursive True Passed
cda23cb8d51be21c25c87fb290fe256a005f344f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Def1Recursive False Passed
1aac3d105d0692f766714f151b53a33de36e315f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Def1Recursive True Passed
e6cf9d599f99db8746ab05e606d938c4422a7c84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Def1Recursive False Passed
e033cf3caa1babd921ed15d36946aa32ea9da94d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Def1Recursive True Passed
fe9c0d94858f79021cc39543fdc3570e168f8b23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Def1Recursive False Passed
ee47b8e8f51913e5be134b3305025c2e5d9774e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Def1Recursive True Passed
131acc64e80597bc20b5ead3046babde2457a4f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Def1Recursive False Passed
23c023b524323cbd00b0a87ff2d979fd24a4d957 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Def1Recursive True Passed
e7b88d5be8958191d3f401edb936ae57cca00357 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Def1Recursive False Passed
daf1cce7608953e46be90355cfdf0c9f6b76cd8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Def1Recursive True Passed
6821e4620a90e9c1fa127be87c0c6d4fb6223dcc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Def1Recursive False Passed
a8a579377e9265551839818d396acda8d5692fd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Def1Recursive True Passed
717292996f725452f92fb28af813f92ccc9e4430 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Def1Recursive False Passed
0c07f107eb0e26aa2156f0f76729e00fe3d4f0e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Def1Recursive True Passed
1a6700c2e8ea595d45ff998a834fd5768cffda74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Def1Recursive False Passed
8a735ade43a84ab5e19dfbeca33a9a6917b1542e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Def1Recursive True Passed
a3c4285a0381cd75913f486a0cb26404f7d57f3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Def1Recursive False Passed
e1f0984f97c47f762564828620477eb4c243464a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Def1Recursive True Passed
954ea2808b7973204c73351740181f343e79425c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Def1Recursive False Passed
521ca806d974c483a3d44bd6a55546f14c904416 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Def1Recursive True Passed
e35d3c5bf55f85635b720f2a45ed84a4158a7cd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Def1Recursive False Passed
803977b1ed44fc824b9bdea11c6527385c184397 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Def1Recursive True Passed
122cd82e828c271165776e44e6dfc381f502cac4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Def1Recursive False Passed
1baa203f2f56e125086d87b58dce71d7c6363f4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Def1Recursive True Passed
d218635e8dbdf26a433605704e419db79bf6d4d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Def1Recursive False Passed
b63de2329b3c9f58662b7edd04d16474bb5bbc67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Def1Recursive True Passed
e8cb1613fe082119a0c2c2a97312cfbd1dbb1f2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Def1Recursive False Passed
dacec6763de0b83ec2df54c75231967f5970ee28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Def1Recursive True Passed
8a9d0f8914a432ee1cbfe215b1b58ff5d031fe9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Def1Recursive False Passed
115b762af3e025d6322d982da2e58e6936bc975c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Def1Recursive True Passed
df754afe1a8950411941b336b70bcd914bb3ce01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Def1Recursive False Passed
130c4b2566b0e8e793cfb5f836444652750bf0ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Def1Recursive True Passed
b774a9882650da135a7fa3c4a1c790c2df1eac1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Def1Recursive False Passed
c42be9f2ae16f4891f2f0fd6a355f2109feed6f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Def1Recursive True Passed
c85ac90f844c051597c2e36abe2deedc5d81ad5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Def1Recursive False Passed
6f9aab33657fb93e530d2c376a646fc49b50fe55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Def1Recursive True Passed
c9453f7f97c83505272e86e7f3d94d9a4fc5fedd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Def1Recursive False Passed
09d2f7c623672c7b8a4fc0d2341f7810d80fc805 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Def1Recursive True Passed
a3383a904e3b4028b98643ca2094f2d46d208f19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Def1Recursive False Passed
aae70c20dd38f3deb6c7ba72c73d1e8ecaba0c96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Def1Recursive True Passed
be795baa1775e858ba0d7cc23791080fa4e05aa3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Def1Recursive False Passed
22fab2e76af28fa3ac1fc89ed79c1f78c66bac1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple Def1Recursive True Passed
7efe62594a81e1575396559db8a9f955effa79d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple Def1Recursive False Passed
ead2a86c942054d99ec0c324c8513a38c61730b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Def1Recursive True Passed
be3e03206fdbac6b03e84780cda6134d7f893575 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Def1Recursive False Passed
451adb4ac1fc7afea5d1c99280bd88dbe8fd43cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Def1Recursive True Passed
53f9ae32726ae0209fb550fdb26fbd84b72a5e64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Def1Recursive False Passed
898fabf25765801e0c59107a2320158664fab00a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Def1Recursive True Passed
99ca496a2ac13efdcf20c0664d0f6f3690eca858 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Def1Recursive False Passed
4d01d20c32eb99bf8f0c0dc1415efa8433874732 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Def1Recursive True Passed
da013502c12a00204a8ad3c0eb5a0b928ca5446e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Def1Recursive False Passed
924a0e1180513b66a4a5f43153e48427164f9a98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Def1Recursive True Passed
44eec9beff7ffe114a21b060e365a04f2dafca7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Def1Recursive False Passed
b53e307b209016034f9cff0ef0c86f7d70458957 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Def1Recursive True Passed
a16a20b507c94e5285bfd2ce21f0529a72166679 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Def1Recursive False Passed
5a73d3715528cecfb9555f33fcf1881515dd9179 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Def1Recursive True Passed
e68c285a7ea5acdf88d9d74a7faa044054cc11f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Def1Recursive False Passed
702d4773b237645183ddfd2fe14b53237bbe77ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Def1Recursive True Passed
61796151a4eac1756aa1e891d933e06325f687df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Def1Recursive False Passed
f2270e1c8163f9eafe6f4db30cc4b71085eb59d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt Def1Recursive True Passed
3f18578b5c3acde6e910d618c7480045d66600a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt Def1Recursive False Passed
dc723ec8f4069f49790eb7ff530d092fabf325ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Def1Recursive True Passed
f7ab83477c9fc1ccf8744d6d2bf38a53be50d37e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Def1Recursive False Passed
7f203489944e537d816d587334ced940f51d8c9c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Def1Recursive True Passed
f7599bcbed255032f085b040f60e1a6f91234ded TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Def1Recursive False Passed
e2cd0a82a50ded15b424e9c3856d7436f37b5932 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Def1Recursive True Passed
e8a4ce234a79ec9e2c74cf66f2997f0b880f0d76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Def1Recursive False Passed
72977ac20162bf36a895bd7e65f0a01ca65e9e7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Def1Recursive True Passed
28f2a793d4a967280a17ee2ab13a2e4fb68cef03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Def1Recursive False Passed
d148f9b75ed5a136c7d612738f69948b9afa2ebd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Def1Recursive True Passed
ad513e1699513b123d8c7a55131925a775291f84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Def1Recursive False Passed
40bad5836f2a7191509e035c0159f833519509b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Def1Recursive True Passed
7f5b1e964c2494f8e7ce19a6b84f0c59a037d066 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Def1Recursive False Passed
73192f54f80959251a5f9baf14bd4375d761d767 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Def1Recursive True Passed
07688dd8f1b930e95c1662bfa103a81094b67ce5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Def1Recursive False Passed
27912d420956495a241ef81af7b8a491d461a773 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Def1Recursive True Passed
7aad799fd6c85ac0743e55757765e8d385d3da52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Def1Recursive False Passed
2dbf448854e542fa450086c7ef4452844168a0af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Def1Recursive True Passed
0848927267b58a6e54e868e948032aec81cba79a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Def1Recursive False Passed
443252be64db3f61a39e3c6f0515d31ae176534f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Def1Recursive True Passed
c1c019295eeee5c3f79f5e4ace9fa69918d4cc4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Def1Recursive False Passed
20acb0f345db92d61e847aaa88da1f5e1d0f396e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Def1Recursive True Passed
eff3a1b77ca4ff987437af14d2994a25e64b9b3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Def1Recursive False Passed
9f7b85272974378b5a269455d16b21bdea504796 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Def1Recursive True Passed
64551705197a8c47e546d6c0269d205dd33fb043 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Def1Recursive False Passed
b235027eebac96d4d43fef38a9eef49f82c93076 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Def1Recursive True Passed
36e4f15f5ea66159adcbeef167d6b50a5cdbeebc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Def1Recursive False Passed
de23933964f158138e200ce32bd9ad5d7bc92048 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Def1Recursive True Passed
a52772b63cec4a662f14f156c75443d64383a0b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Def1Recursive False Passed
e354e7b6b351504fbf727ed7889ac9de40434fe6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Def1Recursive True Passed
f9e7b8b810276185a5334bad3a325a4eed6de8e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Def1Recursive False Passed
0e83e778fc794e97257d6612dc13943568240f58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Def1Recursive True Passed
038b4075bc46d2f6923bab4ff9e5bce6a909580a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Def1Recursive False Passed
4b915a7e2907e4f0125baf8bf97f66070ea91437 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Def1Recursive True Passed
f203978cd95705de2beb3611987e68a395ca2466 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Def1Recursive False Passed
07791266abc0b86dbc5c65b705d755aeedc4e9d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Def1Recursive True Passed
7f607332f9f704194c211a35f3b7f21ac8719fb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Def1Recursive False Passed
b687bfe307e61347e98d5c9f043cebfc4a9fa51c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Def1Recursive True Passed
446142fcbfc0418959b572abe002055db97ce8f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Def1Recursive False Passed
a8e8c50cfe3804d23889674b33da4b9dc9f2f9cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Def1Recursive True Passed
f9b930043f5605260a08de6df2bdd2f040343c28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Def1Recursive False Passed
d50d14d5035105567ce62fecf45fe3f6be2b19ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Def1Recursive True Passed
880ba838d8a46af535896c85b70c426fc5434422 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Def1Recursive False Passed
f638396711445dc68961fbe8cf600d94384eb5e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Def1Recursive True Passed
3af1bf43e8d2f416b2932646739094ed3ffa9bab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Def1Recursive False Passed
e0e3eb21986f48b58e54c0f418ca1c1fdfb8e96e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Def1Recursive True Passed
2a97d133bc2587ebf76539368e64a72f929e15e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Def1Recursive False Passed
737372816bdc32fd235bf21db3a467e24a6a0905 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Def1Recursive True Passed
3e7056b8f3e0bba0fae55b6c60a08a8f53d66e1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Def1Recursive False Passed
fdce02e9d8e22d986139f910641c708d1b39759b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Def1Recursive True Passed
00dbac16f1b2966a38f3321285bd96f3f4f3fd06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Def1Recursive False Passed
c9e1817e902b3e8051f0f24cbd980fa62fb28afc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Def1Recursive True Passed
75e44d5b1e85d01902f3e5405706024fc8921b72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Def1Recursive False Passed
1ea237ea546b4ef77357f8a8dd81c6a5acc4918a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Def1Recursive True Passed
92a9e41b5092d08850a85dcc6aac9152a9a20921 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Def1Recursive False Passed
71136d77e2f55bacde6952ba073fb80dd2dce563 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Def1Recursive True Passed
cab606268771aec99453c65c9d5a99671efede22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Def1Recursive False Passed
c38b58e6a3540e1fd5bd075eb0de07d537af24da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Def1Recursive True Passed
fd50876d36a6602ba157261a720883222953fb41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Def1Recursive False Passed
c845adb7121f538a21127d43c32c190207c35a32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Def1Recursive True Passed
9d846e4d6574c1658c71303cc79dcdd4526fe279 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Def1Recursive False Passed
109453ed1dcca7de1fe42965509362f37347da21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Def1Recursive True Passed
631d8267c4f16eb3a63e5b79ac82059e17ce5668 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Def1Recursive False Passed
222e3bac27fa755425fce3f5da310cf8ae0be621 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Def1Recursive True Passed
7422065760ee56c5614a2c833ca48487f20d9de8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Def1Recursive False Passed
18201ef81cc572e606bee9fd48b513980f62bc80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Def1Recursive True Passed
1bb95272c87e8ddcbdae6c4b6aad59559ab3a180 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Def1Recursive False Passed
b4d92ac0730d329ed95d52ef381dc5cf6a7975fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Def1Recursive True Passed
0dec992104c885db660c019ea33570c3f2467cf6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Def1Recursive False Passed
00880020577b2c5579fa895706f724e8122a5fdd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Def1Recursive True Passed
895b214dccf328daf10d41654daae4342482ba0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Def1Recursive False Passed
22d692c0dd9cf2ccb19c7f4d085875baaa6ca79d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Def1Recursive True Passed
fa71f1711378906cc10e3b6750fbfa3b2a47f6b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Def1Recursive False Passed
cc5edfd695dee48daeb5915af2e366c184ad169b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Def1Recursive True Passed
f115d377d3cf93b8d737cda81aa55385ed87a77c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Def1Recursive False Passed
96342bbda75563779f5299ca774c21932af8aed8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Def1Recursive True Passed
e28bd9eb47edaba73c08665ecf7c521a83539305 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Def1Recursive False Passed
ec16a984ca9842b71aa77bf2a985de4be92adeac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Def1Recursive True Passed
3c5f557e917bb8eb537aa754376c4d2433bbc837 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Def1Recursive False Passed
6bdb95179d21ef51a80221c6e4cacf5c412ad647 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Def1Recursive True Passed
6ec06138b92557037120d7d30495441d508475e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Def1Recursive False Passed
93f74b59b8d313e4a2aea745dcf614761a1d9eac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Def1Recursive True Passed
880b5c956222ed4c44a7e14ae097ebb062f37b96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Def1Recursive False Passed
8d1e75e75074056cf5bd4304811085f836957680 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Def1Recursive True Passed
441700e9d30a8ce50e450719c8e61f5a9cd0ed58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Def1Recursive False Passed
1a125fc82fe6fd402421b868d19687fcf28c4487 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Def1Recursive True Passed
38f118753bc9222c6b6883e5ac4aeb6c3a3c91b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Def1Recursive False Passed
c2e0ffd5092e4048e4603e701b384257080b571f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Def1Recursive True Passed
c8f51215aa7caade0d73d60759107e5c8256f396 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Def1Recursive False Passed
cf8b9684629a99c8971b57d00e78cac9da70b7c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Def1Recursive True Passed
0b5b81d39c1d2044e4fd1a8993a272391e3e78c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Def1Recursive False Passed
437a655f8c6aa80136fc5612af0f174ffa041fba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Def1Recursive True Passed
105ac02af76d6ed08c2272eeb96b0e214dcd64d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Def1Recursive False Passed
b9ee0fe235574bb966996590d0e7265e6ee5a84a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Def1Recursive True Passed
6145013b0fa1b853ad9c524c0d3b6591b6ac343f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Def1Recursive False Passed
38ab922d3d1c27c9d4f53f9293b5bb5f562beb32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Def1Recursive True Passed
5dc4efcba01b8c9160a1e419214af08ffcc4d941 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Def1Recursive False Passed
5af473b76904b0bdb22c0b805d791348a2bd491f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Def1Recursive True Passed
51be7bebc4c67d63335c8230678f3f0eaf5bc3d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Def1Recursive False Passed
4cfef4a074b0f88c5647533b5380741ce3570944 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Def1Recursive True Passed
81015b52616efca0e547a78529be8df64a565014 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Def1Recursive False Passed
6dff719da94d56bdcde802ca46960e07f2647b79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Def1Recursive True Passed
368bf1e80282976d004bf6742188829d70ac5f3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Def1Recursive False Passed
5864f8f485ddcd9841a0a7cb9674aa1489665200 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Def1Recursive True Passed
497e989c5e916f5c5b2b2e49c691f8b0852c500f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Def1Recursive False Passed
81a417945847555fb0c7abcb23107851284f8325 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Def1Recursive True Passed
8070cd96da386d62d982f431c8e54ceee1a4a94b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Def1Recursive False Passed
9a19949ab95598f61e2260bb76f88ccc675ff527 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Def1Recursive True Passed
ef656567501b928f1334d5584d0dd9fb526a8af2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Def1Recursive False Passed
253ac1f30c918a62abe0b609589d5e5ab1273bb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Def1Recursive True Passed
560793fac499ac14f8c6a2d57373f5201747d7e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Def1Recursive False Passed
9481a6fa3c12aad31ef3c7e98be09bfb85b67ff2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Def1Recursive True Passed
f7a6afedc4edc93a23823617cba2515d1091c0db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Def1Recursive False Passed
2a0ffb0ee6fe8f7312047d3bcfc01275025bbd0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Def1Recursive True Passed
bbca47f7c5986a0b9ac6c76a1e4e2dc71089b451 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Def1Recursive False Passed
00f3ae0505e144687251a60a9cc34c87d0fbf277 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Def1Recursive True Passed
dec58fcec17446348f21945be514e4efe96bdc79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Def1Recursive False Passed
9ef33345fc91ae6bd7a9d5350ab321dda2115fb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Def1Recursive True Passed
7b3078d2c760807d59917d68a6c1895c95ede7a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Def1Recursive False Passed
f7c6b28a6bea1311a083fab09e9951869ce5261b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Def1Recursive True Passed
fdf12ce7d985111f716b1bf864c7a94fff5e37df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Def1Recursive False Passed
0ac37c79b123f96c9bb70767fc2b9c9840642d19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Def1Recursive True Passed
45888c3d363f56ffab248938ad98c2e07f47b3bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Def1Recursive False Passed
6b6b3ebe0de18e34e09e5eb27479319dff0f6d51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Def1Recursive True Passed
2437ecb8ea0cd79901ac9a5eb9c2ed2cf9dfe4aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Def1Recursive False Passed
afbf38164129a13b44ad38fd35b300bb84a3c1a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Def1Recursive True Passed
10bf51143fdcddb8e6fa598ba1a76707c8b2fd23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Def1Recursive False Passed
cc30f7576f5fc297025d9679c2548801cd86b69b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Def1Recursive True Passed
13dafaf6fe468a3ee3969cd553f7462f5469f83a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Def1Recursive False Passed
4db7b9a1448cd621f0eefcefea70e337a265193e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Def1Recursive True Passed
44c096291f1c68c13e90cd86d0e112afcd6f7870 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Def1Recursive False Passed
0f23cb8dcc476ab8cb19ed6d48426326bba06862 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Def1Recursive True Passed
a2e815cec604b03a68a46a2eb9766ef4412bcff3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Def1Recursive False Passed
a52145df96ff4ce7dcaf0b1c89ac5b535d04040b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Def1Recursive True Passed
6081aa58563e7f54549f8dc77ceea43be0336135 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Def1Recursive False Passed
04bb426cebe5bab8fe5f094be13957f3ac00a393 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Def1Recursive True Passed
67bfb101f4f61fd70222a86ced4a7d22cb81768c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Def1Recursive False Passed
fa0c147b00a87566d92abef1d0334bdd194ad8c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Def1Recursive True Passed
0922dc54b9c6331357a79d20effffc20d64e6982 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Def1Recursive False Passed
69bf30e7d5ae6b258802584f8f8aa9c72df69486 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Def1Recursive True Passed
a4438dc0f260c4be4a6bc59be3f301eb0134269c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Def1Recursive False Passed
c4e1a283aaa2aa5e311fec2c9608c46608f9c1a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Def1Recursive True Passed
a2e5a7234ff926a019af585c0e5a9577e2013cd7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Def1Recursive False Passed
cffddc1876a84fabfd7853d9f6819f844ea9c9f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Def1Recursive True Passed
53964adc076a0d7de7541234647b4741d272a5f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Def1Recursive False Passed
8462947422d1c6d0266873bf1ee2c1308e211b7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Def1Recursive True Passed
e9609b8a6cf6f0c9f637efe30395ef19888a613c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Def1Recursive False Passed
2d48b880692389118f1248d493cb7254d27052d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Def1Recursive True Passed
bfbebdea8d1db26bc422ea6752c502c2bff1c46a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Def1Recursive False Passed
826466d7b4c1e9dd33230ee774f2f6115b0c17ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Def1Recursive True Passed
89a4b1d8eaf1795aaa13fadfd0f00b6b9d48a8b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Def1Recursive False Passed
2bf049e10b2e2330bacdf1174848f7c36cc7386c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Def1Recursive True Passed
a3b1f23d6243ecd66710a7b5c5e41c86cfdcc76d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Def1Recursive False Passed