Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
69f670ffe5c6f05163ff8c0d5ddda873b128549a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Def1Recursive True Passed
d9868c9f44f648d3fe4e963b638d4f08d066c9e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Def1Recursive False Passed
a361c014d490b5556c2e7400dcb2635cc353e6ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Def1Recursive True Passed
312a29c35cf664b8628c7c5c3a16b10af20388f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Def1Recursive False Passed
c574a6ff66f18aa572591c910b462eeab0b21280 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Def1Recursive True Passed
bbc4663845d025844f8a00bf849a1fdabd1fb788 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Def1Recursive False Passed
6cdce55571e1b82c7151cf9973256fd1c2590b10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Def1Recursive True Passed
9256ce54343965d429b37f2822d0d3174ab5f68a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Def1Recursive False Passed
71997c7b74b1c5996264fa753f762901778e2b89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Def1Recursive True Passed
ed0ee3a98fa9a689c6d79374b895bbb7ba0ae5c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Def1Recursive False Passed
c9fd348ae6078054660b17bd4885d6b3673ebe9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Def1Recursive True Passed
7573aeca7ec93339f18af9b03a518bde2ac025d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Def1Recursive False Passed
641b3fa26f123cdebd8e158e541f40f6eae82c14 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Def1Recursive True Passed
699097561e89c9020da78f0de5ef089c8b32ea1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Def1Recursive False Passed
86cf5bbeb21747cf96d8f267c570e540df862d2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed Def1Recursive True Passed
653a61bf86a27b7f52d0864d1089b16d8121741f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed Def1Recursive False Passed
f2c59891e52ec2a5e2719dd8d013dcb8b51b1e1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Def1Recursive True Passed
48f5ebaa35757b143ba75956f5668bb20cdc2a89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Def1Recursive False Passed
df93ffc081f7371c6e93c3fd5389814397222407 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Def1Recursive True Passed
c6fda47526563a229b6acf4d4165ec9b6b753df7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Def1Recursive False Passed
08d353ebc6c00f54deec49935939c3891787829c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Def1Recursive True Passed
7beb1f0d97967f25f1a57e1fc4dbfaae28507561 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Def1Recursive False Passed
7ba3d0c47986e3204d337502b48ac04b5376213a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Def1Recursive True Passed
05a0ac501ecf96f484f46723d801bd3335cc5f76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Def1Recursive False Passed
e5c4033214390f061ca0c0c6d87a7757f3750b72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Def1Recursive True Passed
d68e6c665b4e0b769a13ddd67e695fe16799e698 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Def1Recursive False Passed
ed637a0cf718c87abf5bba6a41c22cacbf073579 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Def1Recursive True Passed
4970bcaec62a103cd98d55db12e125f9f5dc5f49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Def1Recursive False Passed
154dbf3d8a44145770dd8241d9a610e85d311296 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Def1Recursive True Passed
9398ad90501096718928b87aa7e4a72775702279 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Def1Recursive False Passed
7bd4059c0db8b7536e96af53ee6eac07509c0229 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Def1Recursive True Passed
f37ad6872215620c425555130bf47506c700b5a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Def1Recursive False Passed
aac8303ceaa26a3ba1726667a58a940a99b907b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Def1Recursive True Passed
7e1af8c7340d467b5e5388a45638617e2ecdc779 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Def1Recursive False Passed
e859b21b89e7fa364e1371309c5d8b44f28c97cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists Def1Recursive True Passed
a8f02324579180364f676b6e4d94010dfff02454 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists Def1Recursive False Passed
c81911be638c8daf666b5b601c23e776f70fbfef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall Def1Recursive True Passed
ca3ca7fb6cd2a4d7a10946c77843d8f39641fd9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall Def1Recursive False Passed
9fd59f78a46cf0079a50e013e675e546b781c1d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Def1Recursive True Passed
4ce5db645d2134f2a5bbba43bea5b3d2cb20eb4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Def1Recursive False Passed
9a7589ca562b182e041214262951185a850fe005 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Def1Recursive True Passed
e28e79a24cd4215da25f067605b20dac0af52440 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Def1Recursive False Passed
cfcdfe10d745290026448a13dde3ed7ce7394ad0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Def1Recursive True Passed
f99df7e66a8b75a534648d315534415b6c0e4619 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Def1Recursive False Passed
b653978f31619651e18b46f315bb25ab190066c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Def1Recursive True Passed
4bd90e0d1c85dfcfe6fba9278b2c6eeb6674c8d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Def1Recursive False Passed
20f11897ab1b52ec8382d3fcdbfe92fa6cbc9c6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Def1Recursive True Passed
81e612f48eaf984ec2bd083f8840828f8d7c63b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Def1Recursive False Passed
f9fa33037436f6b2da6302cfea72ffb2bb889834 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Def1Recursive True Passed
38f229100f1ab2f97c6d07e90db98741b89ba2a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Def1Recursive False Passed
ea415c2274fb453a69534df47e9bbe129be91d46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Def1Recursive True Passed
5c26957aafcee92f1f683b6dbc186a9f2863d60e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Def1Recursive False Passed
e2aeeb25c651b598d487ad5d5582a3fe52f308e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Def1Recursive True Passed
1324fe4eb67e217f6d2151d9fae9b14d663bb90b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Def1Recursive False Passed
38f932d7bec285d86e11896f05f7447518b334ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Def1Recursive True Passed
893b4ca7c9436522240b6e68fc1b781ddc0fde82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Def1Recursive False Passed
6d876cb9b4f4f4a90e19023a0bfdee66c1d26c71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Def1Recursive True Passed
082d2254a34121116700937d96c6cc29743dac74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Def1Recursive False Passed
02a5bd05f888bc60bb0203a25889b879c58349a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Def1Recursive True Passed
ac85e52c1387fedc5fa4fefcb21a3ffc562161d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Def1Recursive False Passed
354259c211541bbd017a95e3df0cda03803c31f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Def1Recursive True Passed
da4165f109e4d7b1f96fdda628a53cbb88147340 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Def1Recursive False Passed
351767a86f95204a5d6a155b85e4ca11b81cbad4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Def1Recursive True Passed
41b531a7df69077018eee425b2ff5ecc3469020a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Def1Recursive False Passed
04b4ac314bfaaca283963f46a0ded82b4e0da934 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Def1Recursive True Passed
40958b7f66f51cb8dd1b45a1d13ff2e097be9217 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Def1Recursive False Passed
6aa081177f7fd1747f61671119760240a120ad82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Def1Recursive True Passed
9a73c0fddd0fbd0a46a82fa1e36a9b30df8b098a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Def1Recursive False Passed
5e9c71bbbf2b55b1317a247fd46b8601d631e270 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul Def1Recursive True Passed
5530a2a1c0d4362b99c9927129444280aac8d96d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul Def1Recursive False Passed
d88198181888e46142cb646d22f3afb7ebcd02a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Def1Recursive True Passed
a717c51eff8ed8f6fba96a0b275e80c982ca6327 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Def1Recursive False Passed
a38baa8bb97f0603dde7eede0191cb260d10865a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Def1Recursive True Passed
6a546ab5114369853818f845e499c81ef13ce0c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Def1Recursive False Passed
2bc3bfdff7ef80db672457df8ce0cabb3a2561a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Def1Recursive True Passed
798070d5ba426530f701b7fd7b875dcdbfad8132 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Def1Recursive False Passed
28d9fe0a5ec0b018102223a122efa0dc9e831ce7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Def1Recursive True Passed
195d56119448ee00ca685f68e0d50a423c83004a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Def1Recursive False Passed
4183b494d945d0119ef86fae535ea3b616c0baae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Def1Recursive True Passed
f41cce87b60bba5967610a294ba9a1449c079ca6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Def1Recursive False Passed
d88bb742a9e5b5eebb7d3216312df7bd9c3d1187 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Def1Recursive True Passed
cfb7e9daf419c2c5e617eaafb0899e9b16b2595c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Def1Recursive False Passed
4018ebb625235f2689aebbe6ed27226f1e8b0ee7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Def1Recursive True Passed
3d54cd4899489d5e72bc80c05fd07b7da34cb3d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Def1Recursive False Passed
9bdf7aa0c2ff821ee1e562fa75e1cc06d1a8a292 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Def1Recursive True Passed
bc32f05b7d29f4eba4ede70e79d61e94f0734eda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Def1Recursive False Passed
cfd583740d97549f25a398c08367ebb96b2e43aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Def1Recursive True Passed
885e8d584b511941d7918b5644d232779c3d4d1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Def1Recursive False Passed
da3e5b891eb7a85252a01c4754da25ca68e6771c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Def1Recursive True Passed
23c119031a59e4589d1e5aba0f129473d9c8693c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Def1Recursive False Passed
2f9a53878008f646226bbc4b03c1fc803d74fff8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Def1Recursive True Passed
311c553faa0b0e6e2e9913944d23be4eeaa03d1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Def1Recursive False Passed
5d40a0bc1d087fcddfbea278d4f63a067a7b9400 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Def1Recursive True Passed
8b5a459fa6fe02812bc70ca4091a3eee56619a80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Def1Recursive False Passed
7f294dc30a4effd8d0f50d56fe9def5f004fac0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Def1Recursive True Passed
ebf6226024b2ad470382f2466eb4d883469da1cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Def1Recursive False Passed
49cf87975a263f7efe999897d89088e1e5d557c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Def1Recursive True Passed
0de103293218763fc720ab34d33357e5c66bd114 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Def1Recursive False Passed
baeb45c9b4c9b38ccdf2c3d8989165a357589e9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Def1Recursive True Passed
d7e857d3eab03c0f1f903eb016ec7d79d681311e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Def1Recursive False Passed
4d1b78c2715b138b8f18735877cb35ab4872ce03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Def1Recursive True Passed
40a0c8ffb9eff9c844d15fc70d6ba4d3df1dde21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Def1Recursive False Passed
f08e2ef66a8d90d2508fc3fb2c10143d70ea292a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Def1Recursive True Passed
4aa2035dcc34a24c9b4759dce7e5da4d4ff2319b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Def1Recursive False Passed
7116407a6e355d311aee17b54aa4693863ccdc33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Def1Recursive True Passed
ed37db656bf72541a5dcec6ac61db858e7d51f0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Def1Recursive False Passed
1750e59d2b17541a4fcb42a717d70c00a995e9c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Def1Recursive True Passed
a77c8754e363d209bd438df1547156afd6082b03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Def1Recursive False Passed
ea56bbaebbd5532c239ea8e647dca345b47db922 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Def1Recursive True Passed
3db6135d43f2393eae09ef3909fd0e35f3ecf38b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Def1Recursive False Passed
0ae6fae09cd6d9d97f2a963add6414054ba377e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Def1Recursive True Passed
7b66725c31f64f16ba6bf82148bbe9e4880573de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Def1Recursive False Passed
c714021fa63776d1ac145779eec952f93637cd4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Def1Recursive True Passed
7445925c46d41d8f4e5b3feb542f5c4134684a27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Def1Recursive False Passed
0ac391ca0215d20d181fe88d688ec4ca21688aaa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Def1Recursive True Passed
d7d21ddea7ced140ff1ecd776a057a46cf393950 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Def1Recursive False Passed
cd1ef4a0044384a17884c1bb8c92485a261c65f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Def1Recursive True Passed
9ffa29b7a501a9313c77afe88d77a20d890ba58c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Def1Recursive False Passed
c1751f4ae1cd9378d958f2f0d15eeca41d8e0140 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Def1Recursive True Passed
9423f55362eda9af1302c3c389e4a56a3de72ecd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Def1Recursive False Passed
88c0a3494376a99aae4a77efbd7e338fbf33a155 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Def1Recursive True Passed
c5d03ce76ed5737e6b2f26694f55118facf25a14 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Def1Recursive False Passed
5d144ec3d9384934a3982a7d6d2a68d2d24d3e1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Def1Recursive True Passed
a290d3865b181d4cd62964a0f26a15f71573d729 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Def1Recursive False Passed
d5d28ef800a4d95f6bdfd9eb7c291255eb0a0a26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Def1Recursive True Passed
339a42e119493371456193f88694fba1d0b0c12b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Def1Recursive False Passed
be2c023eab01918f7f2d1732a2d50e7acf27676e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Def1Recursive True Passed
5cdc450fd911007467249c38fa11741f28db556c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Def1Recursive False Passed
b83185edeb452cd2be34f29ae5f3df979a7de571 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Def1Recursive True Passed
606dd36d626ffdb78581f01bf4a58cdef3333606 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Def1Recursive False Passed
1be503508b62546bb66c3d0fcb053d0ed8f9f780 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Def1Recursive True Passed
311e9483203e94b35170c7c3ce76784eadd708b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Def1Recursive False Passed
172452a59c8eb6180f743e86b3e80ca77208e76e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Def1Recursive True Passed
57594b26bb67e2756e06fc0c58f95c40dda97fb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Def1Recursive False Passed
e7a7bfff0a76e2afee2092e3544c5496c02727be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Def1Recursive True Passed
930f4b5990fa74cdea796def08e48e9cace20258 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Def1Recursive False Passed
48fe34026ed9cc248ec131e972ace97f81c295ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled Def1Recursive True Passed
91ada613fe75346959d20ac2bbe1f29a61dea892 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled Def1Recursive False Passed
15fcda125055522bcba4c857e1a1e62eae2a4ea9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Def1Recursive True Passed
46dac9d76a5b99e12700dc6deb516b183ca2d40c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Def1Recursive False Passed
cbd91b00429063704c3cb1f35523c996bcad808e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Def1Recursive True Passed
58560c9a49b8db333c6d841c451855f7581fee51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Def1Recursive False Passed
33191a585485657d2ad7715e2b2aff175b0b05d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Def1Recursive True Passed
ff63eec263a4d9f24aacd0c81aea2a9dc1f6d552 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Def1Recursive False Passed
5637b0f12ee3b11865c3747cf89b23e5db94e498 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Def1Recursive True Passed
c47766a7fd6e7e0ab0d467a312d971d6f710a5d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Def1Recursive False Passed
837db2278e7802f8500a091dace1fb56e6c5e74f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Def1Recursive True Passed
20997c6d118dafd814b20ec06aa07bc9ead30d27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Def1Recursive False Passed
502ef68cd5a9fe9c70976670d0cf434439d79f13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Def1Recursive True Passed
9108b11b9b8cdeaf9bb9d98970c6fcb4cd2a5809 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Def1Recursive False Passed
8c92d5549821ced872168cb6c6dcdba5749714da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Def1Recursive True Passed
366b140455c7880d8cf25a8334807f8fce0dcfa8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Def1Recursive False Passed
c66ff9086f88c0f067a8d8717be23e942057fe23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Def1Recursive True Passed
cd1c7eb2c7b85cc5f134b841ebe14cf6736ce724 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Def1Recursive False Passed
118036f51964b08bba65e6a6a14c5fcbb869fd1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Def1Recursive True Passed
162971ae5308cfacc0fe3b907a5cbb2e3f06eb3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Def1Recursive False Passed
c2baf66f70a23e7f276fc7b480d89a9358bde4a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Def1Recursive True Passed
ba26765d01a2f793b1e43cb2449505e58b0c8377 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Def1Recursive False Passed
dfad04003d2097da99e539526946d0f441e65689 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Def1Recursive True Passed
675e1e561d96dbf29b0668da21349d25119eb48c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Def1Recursive False Passed
e2a2c8d23c80b361874fd66e7210dd55621059c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Def1Recursive True Passed
2acfcdc349bd64a90836081919d1734b534de0f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Def1Recursive False Passed
1a86708c7a01082c16fe486b554fd3efb6a65c63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Def1Recursive True Passed
f48593c9611492fe92ff22061cdf68b66c20c766 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Def1Recursive False Passed
b70cc37b397949390c1e44725e647a6b5a837ead TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Def1Recursive True Passed
a4abb662a1482b5356c84dfd434221ee1a07e48b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Def1Recursive False Passed
1c36fc34930671b4e19a770b9efbe254ab8bbeea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Def1Recursive True Passed
78934761d4827bf9e961e41f23bb9e51db8d373f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Def1Recursive False Passed
d27a96cd3abceeb4e411e8f173e4361f11eedf45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Def1Recursive True Passed
f18951b3d2c06682b6f0be3734cc235afc3e0a70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Def1Recursive False Passed
f765890dff687b03e0838f263c0b6bae7faaf536 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union Def1Recursive True Passed
02c0ae309affec87d1a53ce2bacb31c548eaf90f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union Def1Recursive False Passed
44b57ba2c50f036e5e2d1a4f1807568df5b4fde9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Def1Recursive True Passed
14b8c88da22176e21ceca23b6713c18c26d7ba56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Def1Recursive False Passed
4ac04b8eaf788009ba7a39f2af7711b7f5c03929 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Def1Recursive True Passed
40cf09496c6ffd94b6ff7ce6e170023a61c6eadf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Def1Recursive False Passed
3291bcc6dfc581ef5c635d8ce138ca466ae60da7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Def1Recursive True Passed
84a13d3cce8ff194acf47b337bd8010fef4997c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Def1Recursive False Passed
94a1a628507f5abda4a019e18ecb0da0b3877cbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Def1Recursive True Passed
7cb27377e5a3d064d18495120491661103e6527b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Def1Recursive False Passed
d5cf8783f932dbbf57794a9ce950455d00a983b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Def1Recursive True Passed
b6fd35471ab4170f34d3cea9b7c6960ecc9e845a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Def1Recursive False Passed
4a38d7ff36f38384be611d1908f62327d75ca7e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Def1Recursive True Passed
751855d06047418b4b5a7237e7f9db0ee8ff66e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Def1Recursive False Passed
b79b96ec214c3ca449920b6053b2146c9b821079 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Def1Recursive True Passed
0e8d467a4692fdbb5d88635facc77429ffd758df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Def1Recursive False Passed
0a107fe1b6a4c8ab3054672c2045791ef58a8ce6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Def1Recursive True Passed
cebcf9ddc5a229c1ff1b3fe30894d059f5880bfb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Def1Recursive False Passed
bc3a07115e2a7909a3b8e08a03d7be43689978ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Def1Recursive True Passed
f50cbdf7a42df8bf77832e3a99223f6be95bdb53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Def1Recursive False Passed
e862564e58e47c8b2ba5a98a97e4242f6a40636e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Def1Recursive True Passed
d0e28511c02e5dbadf1b6d92d685fbea2d1e3ab6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Def1Recursive False Passed
3b34c394a8ccfdc097bc968d968888616b69f27d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Def1Recursive True Passed
8c9a32609078db4df627f2d26635f4b6b07ef468 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Def1Recursive False Passed
74999e89e35b703ec29994ae9302d8cde9bf45dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Def1Recursive True Passed
9a465c609c88b706e8276ed8a2570ff2bbeded3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Def1Recursive False Passed
9b4f359ec978eac0156d279770d6808e8e351e28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Def1Recursive True Passed
ced44b2cd987ef1174c3750525307933f12d3a7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Def1Recursive False Passed
7939d7c6c52c5205caf5ce73c1f387d54a58de5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Def1Recursive True Passed
c2bfa4574954426ee39c80cdee884b469045b299 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Def1Recursive False Passed
82c5347fda5c4db9058c8ef0843831dde2145d2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Def1Recursive True Passed
b265fd1e017f02a7348acc23bf388c8402b18746 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Def1Recursive False Passed
c8f6a49e39b980b57d6d875b683117978da1d71e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Def1Recursive True Passed
6c01977d9da3c9a70da2bf40ddeb3431bcb9de49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Def1Recursive False Passed
b2c01bb78bdbc6e70a07d95ffa2f2393cf277604 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Def1Recursive True Passed
63e0ee050a8466cb4401aaa669802fb5a13498b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Def1Recursive False Passed
0dfe8d9cc2d786730f2fded4e526aa689c383e38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Def1Recursive True Passed
2c878ca39f3c35998c34680a84b7abe34eb402f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Def1Recursive False Passed
059b5ea3582b766ba7bea21f9a0ffa348f262cdb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Def1Recursive True Passed
4c7f14731a80ba4e861d81490ece4f0363e0887f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Def1Recursive False Passed
a74ed9deacf8cb3089075037060cf04b598e3d3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Def1Recursive True Passed
5c39b1f80be40ca3b747b8026363f183698ca5de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Def1Recursive False Passed
dbbf887a5e1d73fcc7394b0e04ff8c70e95cd249 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Def1Recursive True Passed
4d6e92d68c699a899408d482ae573159307f110e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Def1Recursive False Passed
5abb5667ebfa04c24954d25ea4fba83c505a2da4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Def1Recursive True Passed
25d26a5cc9ef6b6f555976e290d055b8e5d40dab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Def1Recursive False Passed
b183b2098d7bcc9f271023a36519c5722e1c38f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Def1Recursive True Passed
104a9f55ab4afda5e1987bec64e81d529db31740 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Def1Recursive False Passed
f168af5529acb4d9e021845664112b624882af16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Def1Recursive True Passed
03597e8d9f5ac315449a2309766389564a8dbf49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Def1Recursive False Passed
8f6c481ebb4a5c8cc86372d60da2bdda025277dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Def1Recursive True Passed
85e3888ecfe99df29e4e16fe403530fe10a33f20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Def1Recursive False Passed
dee29f29f858ad61640006ed8118cceda317b195 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Def1Recursive True Passed
bb47f9ce02d728040ee35be3c5beb3abc041f406 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Def1Recursive False Passed
f12b38f40be5761953d3ead30ff60ba89206e780 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Def1Recursive True Passed
90b743fa60a0839271541e613dcbed021105e297 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Def1Recursive False Passed
393b587ad838ac5b2b2806634cb77b8c46a3b159 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Def1Recursive True Passed
742575c684691c6c01323bf4320ac05a4a34012a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Def1Recursive False Passed
a9eb286de98375093d6f19c8289ddb0fd70c291c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Def1Recursive True Passed
4449c851f89671cb0c4b3944884b8c158489cdd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Def1Recursive False Passed