Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
d7f18b26cfb151d2e60ce791751e91fc8265c9ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BoolTrue True Passed
fe9caec8396af768a8fd3d9133a03f970d66111b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BoolTrue False Passed
40ddbb1ba1b720852b9c1ea9c3d5e0a710245bb8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BoolFalse True Passed
3b1a61e170337f1fe47de9ab10dc4bc227469a9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BoolFalse False Passed
b427b9f57e8f1e27107141729bdb85fca413f8b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BoolSet True Passed
a94b854635b6c4b859cc082b6c3b50966ca8816a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BoolSet False Passed
97b9e9fd34bc650690c9479fc9e7c8068f4eddfd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In And True Passed
1420a7f5487e328dda20539042f07f9e72c4d210 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In And False Passed
8edea2a21f2c860c64c8858279fcc5577e9e931c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In AndMultiLine True Passed
e18c2e181d8001e5ff67984a89e417e2e1cadeb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In AndMultiLine False Passed
0aa6ccd355310ed6ca1aa5e742740b1127e49909 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Imply True Passed
b4e6275c9f0055391b18e3a9630a7363e013dd32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Imply False Passed
236eeacafc772ff3714ab7213a9abe0a83cd4812 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Not True Passed
74faecc2db598e59337da36a280ef5075eeda638 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Not False Passed
6c06bbb9dba7490edaa728001fcbbc6be3833cf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Or True Passed
9f6768701937fb838b621a7811bfefadb9b54410 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Or False Passed
ca0f752c68640cdc8fba1ed5368d81556d2146d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In OrMultiLine True Passed
72b0e778ad4e3207758238cfeb42bbad29aba2df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In OrMultiLine False Passed
52e748e45566ac9b941fea561d5dbed9f197eca9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Eq True Passed
e54325cfd362cdb91c030c2cf01aa3b90cb616e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Eq False Passed
94a1be0f30d1c9cca6d53bd719e5dd5552b792a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Ne True Passed
e6b9977385ab852fa932f3a829a7b5b94c3749bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Ne False Passed
691370a69042c0de511c56bb4632d9b831e5ba2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Let True Passed
9df2d1dd5b794ce4494718170f7f8a33cfdf6e38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Let False Passed
83a14058ab5900760ea431e931f2b5dffb08e5d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SetEmpty True Passed
15f64dfed77c4d1dcc1d055e1d0af0408aadab60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SetEmpty False Passed
80afaaa5d3ceb8aaa840c08fa1b38c085c87a2a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Set0 True Passed
5107b887e2ccd90be1de9d5ba9579c8ff4fd596e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Set0 False Passed
ec049fa7fef65264e5a4c4df8c93169c35e5729f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Set1 True Passed
1cd8186ed8440b1324f4873ac660402dda1a0ed1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Set1 False Passed
4450ffc51bb5bb9ccc829e8f6c06f6caa2940748 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Set2 True Passed
f11264c40b2e82176335f831c7ba6177fb155647 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Set2 False Passed
d4f8b99afa5b901eafcedb69e0500bf8c5c655ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Fun True Passed
8437a10bd9cc4dba50ee11c9c692577cf359ccc5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Fun False Passed
891aa497281fd093c43877dfb85ce73c5c774755 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In In True Passed
4df395e6987f524b6149f840a652ae7ca18fd134 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In In False Passed
f95fb5b03774aed06e82a029eaaad050df96f68e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NotIn True Passed
72439ee5a57d3b25a16213d4425ef77151e3db98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NotIn False Passed
df40364c880fe8001fd7e61faf09f8ff5d89ac05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Exists True Passed
f74ca18aabd3c0aa5164ae86f0530b8f2cfc4ff6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Exists False Passed
abae1ee69d69b35ead67fbf03f96c70ba153d98b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Forall True Passed
1966cccdc4963fd63e234c5f67047a873a62d538 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Forall False Passed
b93d133d10797cfd11984c58af246b1be1dd7673 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Choose True Passed
737f796ad23c067133fa2a9acb3ae795621cb37f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Choose False Passed
1505081bbca4281d114a05597d8c55b967f73720 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Record True Passed
e7361887535958aa3f59edef9404fbd7978629d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Record False Passed
11c294fa4149d48b9cf23cdcb006cf4ae06f7f99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Tuple True Passed
b9e16c92e0fd50c532b70c1cd3a6917d64034267 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Tuple False Passed
81f56ac662277a6d9fbd02de5f73ddf5fadb4ee6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In TupleEmpty True Passed
2c6c89abab8450d36576b6217b2fd1dedee85814 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In TupleEmpty False Passed
b34f35fb8aecf362bf1936f55b55838a55487a5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In FunApp True Passed
cc8af3592dadce6c2ac127ee421fcf31ff768688 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In FunApp False Passed
8956a63643414a025850a282793b0d04e394cfd1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Prime True Passed
622dc8c02dd0aafc7fc076743b043ccca6388d4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Prime False Passed
da6d2526fe8d8fd487619c1236a0d735f92887fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumZero True Passed
2cf945d77106ca76fb1993ac6d91d7357d14d0f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumZero False Passed
034495086093bf36e02dd1bf5114fd7e1f5854c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumOne True Passed
efa9267c4dbaf9b7472245e94a26f1c2854a52e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumOne False Passed
3d62fc7e05c301b7bf639c0782f25d28306f8e4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumMaxInt True Passed
b0522e4e85027f224383b345dca8eda0897d6c80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumMaxInt False Passed
b6341e26b70c7da9ddd440adcefd6288693fbcd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumUnaryMinus True Passed
113cd6a2784b2265bd7e0d51bff7c9de2c1f4f18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumUnaryMinus False Passed
b1720c228c8771cc8d2aa0d70479361003f1d670 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumPlus True Passed
769195953366aca9f195a9ff8fe016b0c80ef308 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumPlus False Passed
90f1ca89167e64c01ec1adb878a32856d2d59117 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumMinus True Passed
9f8f42d3569ed481dcdb27d511496078d605f299 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumMinus False Passed
68b2e015aa1bdfb763f704818a8d2cec6554c72b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumMul True Passed
5924a43fb31286e0c85b10d953272da794356132 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumMul False Passed
76537747970020b3e175ded096a80d71347252cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumDiv True Passed
f9d5e3114dc29dbd5519459209f34405a425bbc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumDiv False Passed
5ebe20918a5da748965691df883c27d36908b944 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumMod True Passed
08a570526ee98e5ad5f594e725eb7a5955e2e685 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumMod False Passed
4dbdc73ac501ee16fa32e739929f0d8a15b0f50b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumPow True Passed
25a505c4ebd29e20cfad2ff51709064d8c7b53e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumPow False Passed
0af1a69925afabd643229b0fb8c424bc54b39588 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumGt True Passed
bd0ae5ec9e7fcec49a84ad52c1022e413407e3d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumGt False Passed
5fe1509e3aa4ca3ceca50f6d764c0c1fdbd76474 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumGe True Passed
a8e69ce3e9169bf9acc40c7c6c82d75cef239def TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumGe False Passed
6f31bf78e338a47e2f18e39a86a5e75a421e7b6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumLt True Passed
a8127e3d73b7cc7760d329c40cfe651407909f89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumLt False Passed
ab88e7404bdc18a62bafaee58339bd8ea4e9d2c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumLe True Passed
1c7839643503d3133c5403f63c45e9dcc21b2d9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumLe False Passed
582eb0c07a4d703b6d5ebf39e1c973ea5ba24dff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In DefFun True Passed
eba460a7499fdfae3aa06b784566db621d1080d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In DefFun False Passed
c9e3d6fe29898b9f943c297884eff51baa18b7ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In LetDefFun True Passed
ab011b00713da19e92ea0603e7a28a463b4093fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In LetDefFun False Passed
20483576b03ad66e28353f1c69bbff5085769215 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In DefFunRecursive True Passed
ac7120d1f860b96fa45ffb420d6fd85b3e52a066 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In DefFunRecursive False Passed
496932b4d7b88cf1918d502f94f7f5f6c9effc73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In LetDefFunRecursive True Passed
f6ad559ef6a88b0da0e6810a1ecc098ba76913c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In LetDefFunRecursive False Passed
f3af1187020cb6403ef97bf6a568c847a52733d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Def0 True Passed
ec9de85fb2472b64ad757d1ebd4cd9fcd49d37ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Def0 False Passed
067beab1b8c01fc3dd08b0fd0bd713546174c97a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In LetDef0 True Passed
9f62392814aeacfa725f7d30a00847df97e8ce6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In LetDef0 False Passed
91b796237888a78ab680a962815411820bece217 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Def1 True Passed
f26e8815df187fcc52cf50925a369b22db9765f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Def1 False Passed
064f96a9c7c3e37f8c3838cb85d35a05da048e47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In LetDef1 True Passed
de83ce851240b37a1e9ddd3ed7ad4993b7ee2b0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In LetDef1 False Passed
5c8e97756b83dbcf45d8d58f8ab8635c92e8cedb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Def2 True Passed
1aa9bee729434c529ffab10073c33f1a6c995370 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Def2 False Passed
5b70adfa3837abda9a95865a495f2ca2fbfab930 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In LetDef2 True Passed
6e8cd7cab1ffd583b2ddc725a5964feea859e87f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In LetDef2 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
02567aca0d8c7a99ed53a6ae454dcb281cc6def2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In LetDef1Recursive True Passed
951b05a414bdc94cb5a65cafba636526e540ddf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In LetDef1Recursive False Passed
dd18ba4ed2182fe68ddebd332561a766a6eec0bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Extends True Passed
1b3068bd990ce1ced36ebf0b6747064a66f8b77e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Extends False Passed
4e82c0ad9f8329f76e38e64679cca1f7c4b82562 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In ExtendsInDifferentFolder True Passed
2ea009b8b26198a7b6314b289e1120c601b302ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In ExtendsInDifferentFolder False Passed
55c6a681a209dfbfe3d0590002577cbf3f85709d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Variable True Passed
8757f79387e1306e469296b6c3ae29d32a294d7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Variable False Passed
4a5798964ccf6fa88952003371ab77627f3609ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Constant True Passed
39c68582e4685138b3c00e75ad88cfa579c2efe4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Constant False Passed
fef63d2c8c07a1dce44c33bb60174e27ab8b58e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In ConstantModelValue True Passed
ebb2f7b983ce371827016ee4ba7681a5d293ed70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In ConstantModelValue False Passed
19b8099ddc626430b7e7d2f25b03a3a0ce667e29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In ConstantRank1 True Passed
a9fb14597632aa33b4820d6a4950852122bc43ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In ConstantRank1 False Passed
9f046b903826890d64160a95803455e5bd219a49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Instance True Passed
b897bc53d37ebab9dc8ca90e692e7c6d7b841997 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Instance False Passed
f6789afe1930010582a29f58ce18209bf08efdd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceWith True Passed
7ed3e6d6b5f015289255785915bdb6d4767cce25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceWith False Passed
ce8bb8f6fe95ad713177843f572dfd0b45d05544 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceNamed True Passed
4dbfc344f231f5e8b89d05f0d3b946533d45da10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceNamed False Passed
20576cf35daddaf2ae06ede80bfab048566618e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceNamedWith True Passed
7833ecd9b2f0ad014bd024e2863adcf78a0f05e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceNamedWith False Passed
2024b8d37a4191c2558dfc3a28b5e648a753f11e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceInFolder True Passed
5bb43eaf24e9ed760b17a2170cb95b45f005d655 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceInFolder False Passed
b1077ee4365c0b567d1a8f3b27051b6da1281fbd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceWithInFolder True Passed
7ef01d2ed94a18dcadaf893b0e553d2ad7bbd5a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceWithInFolder False Passed
96115494bafb633fa618282ff88d09684908c917 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceNamedInFolder True Passed
feb18d165addcfabf91f59a3d011e7fcda0253bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceNamedInFolder False Passed
c6cd7c1c47f27671e66801df32d1148c6e738692 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceNamedWithInFolder True Passed
9f73b88945d65c4a59fe406eb7cdc3764658f03e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceNamedWithInFolder False Passed
99b02776c68c9e02e31df1758ed1e345b84141a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Enabled True Passed
01e200037ae1dab970fc3743f8a806ab9512f79e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Enabled False Passed
fa6a562b6f7bcc071e81f57eaa8427572a543c58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Cross2 True Passed
86dd193a4fa55bb388ce568b330921c018617406 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Cross2 False Passed
2e7e5f9957128992f3c29ccafff62dc4a9387a94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Cross3 True Passed
c20c07ca8ca5ff3a98155e59a89cf09c89c0d587 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Cross3 False Passed
f4010491a589bdeda57c5e5eb9c2739137a7142c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In FunSet True Passed
d6654b92054599cd759e0397f218b186ccb09b13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In FunSet False Passed
229da9045494f30665a72498f4d386ad4d042bdd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In RecordSet True Passed
7fee41680ae329089d0f64d38cea82758b0d75a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In RecordSet False Passed
7bad8cd89a59fc41691e0cfea0e33bc1533ac7c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SetDiff True Passed
f836e08ec25b7bcb98387b6878959ac4b5a6a891 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SetDiff False Passed
f5a995ed41fd53abb034d6f3c15dcadfdc05b495 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SetUnion True Passed
3a04682cbb9a54139b630e86d389e8abc8e0f84a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SetUnion False Passed
f80ee55feccba652ef0e2e320b95f5c652a1421c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SetIntersect True Passed
daf2c475e678f51e9aaeb4e837171bdd00b2a5a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SetIntersect False Passed
498d996ef4db1ae67e895c6297e8334cfea9bbfa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SubsetEq True Passed
c7f8e5640a1be9c2d2491ceb6e1878b38448c2ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SubsetEq 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
5250ed2329e3e9205b991a3316ff982142d37514 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In IfThen True Passed
25b3f5788492407daafe17362fe7fe0d6ecff14e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In IfThen False Passed
2fc553ce12e1a35e3132af206d3d94478c0e5055 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In IfElse True Passed
9c85a0ef721554b2cb42b053f52d38014cf20749 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In IfElse False Passed
961e491ca73d6952013109f501f31f791c5159fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Subset True Passed
a4301032bb121b64e0af98a87397d9583b7ee441 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Subset False Passed
1e096b393fa5200d58833a59a3ff3e534744b723 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Domain True Passed
ca784675d88b12d6ff86c1f8659431c548526709 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Domain False Passed
9054a154028fefaecc3687221d8bae1683177294 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Union True Passed
a8af92fb272d315a9a53cf73e513a8e8a75df8c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Union False Passed
6d58fab5cb65fab1b7e68c36f52305f64dd46a9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Unchanged True Passed
aa46890ecf759d5d3cd9d2df52b628c6c63796cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Unchanged False Passed
56fd2b0190a29995494d051f21cc16b39bca34b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Equivalence True Passed
6ea32d2e12340986df9c095f5a8587da1f9eb381 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Equivalence False Passed
3d13f8c907ad6d1e23d0b61fe1d6714358abb8c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In StringEmpty True Passed
989a85d864a3b1844c7d1475a0849fb9aefb85d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In StringEmpty False Passed
443bf0a05d160fe6ce948557be65e679cf0aea73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In String True Passed
3698f6d00d811cbd4b1736442cf65924d48e8c77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In String False Passed
ddcc0772d5471e01e8bc4c9d00a15ae9cf8a82f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqLen True Passed
f3f0f13f5127e9f582ff9b8ee81b773811c5cba0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqLen False Passed
443c9df945d1fd660808dc151bb19bb9f0535f84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqConcat True Passed
efefefce482beddfa6f3cd78ce9c5986a9237c78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqConcat False Passed
cca506688e0cd5a781cdb52657b0f32d89d91c85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqSeq True Passed
00386e2f457fedcdd1cd7c4e6450573ad3737461 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqSeq False Passed
c5bd1796384faaecfda6d6559cda553e9e9dc009 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NatSet True Passed
9bc08f5b0165c648440ba4bab347f7abdffd9ee3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NatSet False Passed
4f90ba9ec24afa1c956af0ebbe6558dcdf4c4de9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In IntSet True Passed
462999c43ad983e74e3410f635dcff3778e9fb16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In IntSet False Passed
42148d2158b18cfb0eb9014e483cb9e90a536139 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In StringSet True Passed
8c4493042b2a07cb4c6b9748956e5cde581bfb3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In StringSet False Passed
40652c2f03a9d86fe06baa3df2efe6d5ff0962e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqSelectSeq True Passed
2bf9089ea73eb4b1d4d1e094c7071c424f3f9d95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqSelectSeq False Passed
2a99e3b4eab6d63a493bd0263acf377cddfbfb7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqSubSeq True Passed
c85564e5ec3bca909e30175ec690c86d692f345c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqSubSeq False Passed
c88bfd956e913fa144b18c930d5c250d678d3b9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumRange True Passed
03cb5e9b27e331337a15bc20fb34fd4b22b54dd0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumRange False Passed
e77c5fdb522fc04addd0cd883b70355007b7ae02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In TlcSingletonFun True Passed
eb0fceac079eb726bf95f11d216599eb5557d689 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In TlcSingletonFun False Passed
b88eb02e9ef3c291ef6ee89559ba3a31b5954505 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In TlcExtendFun True Passed
8c04fddf6f41dd6dadb3ecce762eced29cb53017 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In TlcExtendFun False Passed
aef986f6360090cd3113d42027242a24f33a6b52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In TlcPermuteFun True Passed
f23cf0a7df8a379bd4e443ca72cd1ea2d6b63aa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In TlcPermuteFun False Passed
26bc8af19e0af0b063646425118280cf8c187304 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In TlcSortSeq True Passed
5fc89139b2c15cee1eb00c9482cc51b7fd419a55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In TlcSortSeq False Passed
1b1584b05ecfce12ee26af18b2fe9c7665dff940 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In TlcEval True Passed
57a839e86846f8f13791caf363778aa0fc31adb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In TlcEval False Passed
97f7f16cee06d8063746ddb8725d9119eb3e2653 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagBagToSet True Passed
2d698d8cd5df15ba986b11969b368809434cc2f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagBagToSet False Passed
4a1680a7cd0b0595ee3dda179c86e0b302c911e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagSetToBag True Passed
15406f46c93e64f2c0bd3599c8a65872ebb6698a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagSetToBag False Passed
78f3dfe1b95bb7098a2afbfed4da643af39188af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagBagIn True Passed
52b4ae2e6a03a40e0460dfcb3a371647f80ede15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagBagIn False Passed
7b1820ff5997c1271a3be0dc7c34263d918e976a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagEmptyBag True Passed
3b2ca00f3d30927be8ed6308ce7bd60614692061 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagEmptyBag False Passed
9f1cc7cf4fbce21f6ea83007abaa1a92a0bf76ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagAddBag True Passed
21dc8de314aa0cfd5b1f4ce2f38ffc661ebc6e9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagAddBag False Passed
93a5aff72296ae2269465f76154bf19f196ccc9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagBagSub True Passed
2075c6a59d9155414b5fca540b467577cb82f80c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagBagSub False Passed
ca67fb8527372146b5d046d4b8d1ad5982d4d80f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagCopiesIn True Passed
884c7b3ce865bb1a509111855a376de02c50fd98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagCopiesIn False Passed
15695c9ef9a47ec2165eab904b58529f0754c124 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagSubsetEqBag True Passed
d96869140065dae079d4051c10b5fd600afe5fae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagSubsetEqBag False Passed
d1e05667507758e02cdc59b25395e047f3e99d52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagBagUnion True Passed
fbf0534c877801bff1f0d99c0f8b3fc2a7ef0ba9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagBagUnion False Passed
e683f85ff3bdbbc010164de61942a4c073cdc3f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagBagCardinality True Passed
da6eea439a30aedd9bea1827d1f2603319a135d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagBagCardinality False Passed
05b6e7d7f29b712d2abcf6288a7dec8aab21b654 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagBagOfAll True Passed
7ad26ba1dd0d4a9552a69745a162d7921ddd4ccf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagBagOfAll False Passed
13457b1f46c8b9365118f2222baf4232d74b74a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagSubBag True Passed
a9e66457439961e6eab5ca49b99d33c6a703df6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagSubBag False Passed
6cb62c3484d68506e82e82737ed2dd1d2bfa37d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In FiniteSetsIsFiniteSet True Passed
7569e5827389b044b894cb1ad20242831c2ece0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In FiniteSetsIsFiniteSet False Passed
54ab32a0d3451e783f46b432a76d0b32462332fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In FiniteSetsCardinality True Passed
a1b278a6cb5b466eacbc92bf4f21fcb0dafdf732 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In FiniteSetsCardinality False Passed
f12c01b52c5499aac0fbfe8a95d2d84608b67731 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqHead True Passed
a7b88f56f355e00c469e64d9358ff072b431078b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqHead False Passed
038ecd6e5cb742ee80f25aa2f15210387454724d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqTail True Passed
c7dc8a15afcec2267983d00b7b2334f95c2ae350 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqTail False Passed
cccdcbc328368eb944ace2457abcdd93724cb98a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqAppend True Passed
c0d8453599cbde788c8eb46362ec80278f8b7240 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqAppend False Passed