Index

Tests by case feature VariableViewExclude; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
188d61dceeb8765e8cd1ddeaf8372497ccfe085c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude OneLineComment True Passed
3bd270f6d987e7c83316fa8a197870004b48a218 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude OneLineComment False Passed
6f9bdb068c92563b923fa2dbed86ccc79a4b02df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude MultiLineComment True Passed
fe84e9adc77d05b38e0541138dba77e19ebe5df7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude MultiLineComment False Passed
526c97e1f4feeba916b1e5f841e9f1e8bc43a844 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BoolTrue True Passed
e0dae4b01e04129466d70b0774a04d25fb8c1ae8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BoolTrue False Passed
d9f26aab7fbd5b81d50620e9b4661be8b5783973 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BoolFalse True Passed
b4762f1b4db98cb27778536c24f662482cb7023e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BoolFalse False Passed
fdb651e39cc4d6a1f6779dddaee1a22d201fef65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BoolSet True Passed
197819985fca97d523db9598d618b5c7c7f54d1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BoolSet False Passed
1ca67f93fda1fe51c71a7ef4907b7305d245cb5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude And True Passed
b9e2f31fc581e3f006ae77fbf22e8c4498efe43c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude And False Passed
edc27dd6e95d60b8f49297d7ef76b7a4ce6b620d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude AndMultiLine True Passed
9f002a451247381c5d2461c9b40885d26b3e429f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude AndMultiLine False Passed
513cfd729ea8bd8f89d2cb7b508f634f927391a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Imply True Passed
671a9bb5965426598839b90634acc12953a9588f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Imply False Passed
79bf8f999f9bd5c7e1515194526c125fb2c14429 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Not True Passed
0206641ec4de8edc37846623b954bfe25cca5579 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Not False Passed
8de6070ca6fc71f10ee8e51d62537952e10bda1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Or True Passed
fdbe2a7b4aa84412b6e344e6ebca5c478c514db0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Or False Passed
2f2eccfa550fb77f02737cafd1d3d7766ddf5ab7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude OrMultiLine True Passed
0fe4ef90bf628378119df9fd42b2027d11f25378 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude OrMultiLine False Passed
4971717c8f5cbc0ded740558bd43291d436ad665 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Eq True Passed
d0c03d4e6291bb175be010b1b8e123731c2fd992 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Eq False Passed
0d4b5467c1ca46a4f74a36a16e7d45edc7463390 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Ne True Passed
c62f867334f10277899994dad945937e32becd10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Ne False Passed
f2b7b7f656dc755df95444e2744e2606a894090b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Let True Passed
a29f23e7e2398849f43d6c46993940c3d1b88dc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Let False Passed
dfffbd6f6d50485af5464f88cd46f338bc169e22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SetEmpty True Passed
12dce4009f91d2f2c973a0a6ec171f4f748851c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SetEmpty False Passed
cfce4b69060ac6353c293f4cf9567a48805684f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Set0 True Passed
763744cccc40a933edc9b1c67981178337dc5712 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Set0 False Passed
d6e51cc369cb4d4cb37ba3b5f9b5a09d6c262ea6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Set1 True Passed
e5592385d31435f886905e59dfe877b1b6ebfe2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Set1 False Passed
2566a9edca3dc8eef8e7ad12ee9fd4d38fdcf325 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Set2 True Passed
b08b79654145acb9b24740374829ba7cf0ac4ca6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Set2 False Passed
76b37491ef663c10b3d7c1c7c05545e1b409f3fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Fun True Passed
2d362537c817deaaa3c03269607ebdc937cea2dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Fun False Passed
59bcaa76d3c9f3f0cc9b64df67a495bf556581bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude In True Passed
bd6e52d31caf13fc3069ed253fba3875a6d9adb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude In False Passed
1b1a304e1f9f9b53dc2b42cf6787621f65af5213 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NotIn True Passed
1752993caf35d9560de9b6563c74e64315357d34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NotIn False Passed
e22bfb4645baa58b30ed8b0d8b5dff66e1e151fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Exists True Passed
3cd8007820029a478e50a9273d489d09345c1acb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Exists False Passed
3f1af2f75810ea411503704a8bf42e906758342d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Forall True Passed
12abce59cc06e846eb5613ce6a813bd2104deb86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Forall False Passed
ed543fa79449560e27886fd79480ea4a7a61371d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Choose True Passed
73796af15851c83f77031cf2dc12cba7d1f5ad5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Choose False Passed
5b9e9a4d8be6a98de0f254ead8592b2d23825080 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Record True Passed
9a67c13c89525cadf6d14a3e3e73ef39a01872ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Record False Passed
81ef49264af8b7088299c3d01bab19e3e4d9a0db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Tuple True Passed
54f18131b8cc928cd4abd4746ae3c5ec4f26df7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Tuple False Passed
f66a036b23484dd3b1a5444c1fc9e9a0a2157213 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude TupleEmpty True Passed
3a6efd0d79cad753aafd1a9f0d16fffc00370b64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude TupleEmpty False Passed
2f62b668ebddea689dbb6ac1d0ddc61d0a904618 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude FunApp True Passed
d00d8cb937468bd25b5febf7f582cf99783f38dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude FunApp False Passed
f40aec876d107be043b7e672421e8a7a64f74fb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Prime True Passed
dd040e81c4926fc4413276149d6194b8876d5e1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Prime False Passed
8cb2cccc63d5b1ee00506d2b4b1b35f133345d31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumZero True Passed
d108b4d1fcc341a79b00515319e61a9c7412d203 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumZero False Passed
88895da6dd12e7f1ec20d7be1192a668e91aaf91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumOne True Passed
ace0f2e4ae3ad4e688bf6e37af590efa708477eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumOne False Passed
5eb84eda43a3374213bc834b673e3163d763407a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumMaxInt True Passed
066cca7264008bc3c1507dbe08c58d97902bd295 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumMaxInt False Passed
345ae7b7fc3c6e5d6f902735a4b539883c109d63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumUnaryMinus True Passed
35b3b27a0febe7133d42c032cf23dfb352a94aa8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumUnaryMinus False Passed
dc0fb8d71ba49e5949593d0fc2e283cafff74d81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumPlus True Passed
2e8c5716416979c6374450811dedfe6de71aeb20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumPlus False Passed
38ef47223add0f46e7cdbb12e0e55a0036787f3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumMinus True Passed
3994c6a260fd83eec32ccc98cbcb17997caae65c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumMinus False Passed
4210abc630f26242fb26e375f71e90acef32eb30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumMul True Passed
fec13f7bfc14da761a842b369f58b5779207c509 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumMul False Passed
246d89dd6848bbb05a8cc2b2ea8f22a0406e553b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumDiv True Passed
82f07f21d6e32e4def7850688e5decd2b91008c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumDiv False Passed
9defc8d6c2dc723157de283f936cd0dcf67774f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumMod True Passed
a5b848bbe5a4ebe20ff9ef899a98f0dc36262093 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumMod False Passed
e7010893368f7419ab6908a3b611843ecc366f6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumPow True Passed
31e3d604c877371c3f4b0ac4e8d00d411261b612 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumPow False Passed
2f47cd4cf750f849103a7fab7052c36b2ae28365 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumGt True Passed
b24400e83da3a9ade41c9a1a63d37603a3b5d9d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumGt False Passed
e45510e47dde02e326074f36a3483ed6df670359 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumGe True Passed
8d9f4bd8273886a36f14a8e135c5f9189f97f23d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumGe False Passed
93d7c87bfd95c83dcf2daa9063cc1443dee2ac4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumLt True Passed
4fffd65c777925461e8299c57a33ef1d01494019 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumLt False Passed
72a85beeb2f406a7ccbab09ebb957ceb3c0371a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumLe True Passed
62739c0b2b4d377d3d3476bbb5685e01c5de0ce9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumLe False Passed
a15215c2f43badc32e9b9ec188dd0a070bd62897 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude DefFun True Passed
ecb205cdba0c4900cb293c42b209a49945893053 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude DefFun False Passed
57b7fc1ed032869b5458b8b9ad284a580a123372 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude LetDefFun True Passed
43b180340b3fa0354e4527e89e27e4196a8f170d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude LetDefFun False Passed
234cea84a443d4e3f393b1afa452a786290d814a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude DefFunRecursive True Passed
e7a15694f68ba44c08f6395951e5eefec4346abc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude DefFunRecursive False Passed
d0e2d5d7f68e3c8cc736ef585926325d4bba565e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude LetDefFunRecursive True Passed
c0c921858aa102f701bc522b8f64a2079637649c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude LetDefFunRecursive False Passed
b73c68eef2189e2fd29b581722d038887a7f3bbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Def0 True Passed
b474bcee69c58e31524e0e20989d99e2aec740ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Def0 False Passed
cece18f3e67f62e0fc2476632852c06dd6e42d1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude LetDef0 True Passed
3ee9b9c65c1ec5f5218c820469c973f723992f44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude LetDef0 False Passed
17fad1c75e97d51a95270eaebe2270c605ab628d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Def1 True Passed
4febab865890d6ac5dc57d58c22253f073fc6cf6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Def1 False Passed
05514aa31b1a7875961f55b780ac74f28794e13b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude LetDef1 True Passed
3aefb450a1093edee96b85eb808c2ffdb8dc1f51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude LetDef1 False Passed
1c07063c6e0c97022ef099af162e7c08f7ba78fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Def2 True Passed
418b46f41a02b80b0dc2bc076cd697ea59c6b06d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Def2 False Passed
f682375605f08fd4066d301cac04f6339ae55764 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude LetDef2 True Passed
63026aeb3c2e3a577df5378ad5f6ebb2c3d627ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude LetDef2 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
0621e0ad72751a89fa3931a1fab574273b13f2bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude LetDef1Recursive True Passed
a29764b9fa9a4624c9b398c88a4e7a2b146eecf5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude LetDef1Recursive False Passed
d9f77c63748564d662eac9ac993c741ecc8e15b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Extends True Passed
0024713958cfeed8cd57ad2772a0eee81a53c053 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Extends False Passed
d34e9c4ef013d9e3edfe2d138a1d5b498eb7bbc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude ExtendsInDifferentFolder True Passed
ddbeb514898836ebb25ecb52cefff4a95d5495b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude ExtendsInDifferentFolder False Passed
e80016f6b3c73b02c5fd76ab955c20418988747f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Variable True Passed
05468677fa1e1f99f9720c88856a1b0bbd361dcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Variable False Passed
98fe2fe3913ba049cf7c2ae384ee9e5c484fc940 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Instance True Passed
56db144830b0dabdd923c18ecc1245e782d4ef3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Instance False Passed
5253f52b27a24dffd8fb481785983ec45c3c777c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceWith True Passed
db5ffe356e4c1c88a3860b885586e491b6b8709e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceWith False Passed
6fbca98d6381282e68926d4625b91a84474d882b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceNamed True Passed
fce23ed50a0f8c635bd7724e14d0f64af45ec1a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceNamed False Passed
5462def6ed98b29b228da71d023c65850a087c5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceNamedWith True Passed
df3911e4afbed376c273b750d513474fc9cbc75f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceNamedWith False Passed
41401513fadb2c4310fb5c13d904035419063258 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceInFolder True Passed
6b8e44446c7e3d87c37e46a8c718f2ad973d0bdf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceInFolder False Passed
d296b67518f550eceaa800997e17ab9ba02a6d55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceWithInFolder True Passed
0a9a90f8aa6adf0165f216cb6abce3faeb41e0be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceWithInFolder False Passed
7608d2758d8c7919dbaa0e4cd41d2c878f834bf1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceNamedInFolder True Passed
51c7c11533d865da6436b60bb7894f4c0279ac19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceNamedInFolder False Passed
2931e3164ba8fc95602f88816179a06d861a7d2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceNamedWithInFolder True Passed
5b5e94f573dc3d3a7283298534e59c170407c1af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceNamedWithInFolder False Passed
610709fff6a6c1b1adcdcfec17f7f9e104934484 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Enabled True Passed
780cce27e8cf5694761dd54f566aa6889b01d441 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Enabled False Passed
3643ae53d49768ac9de5c7a57464a5377d3da70e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Cross2 True Passed
69a48318c97a5da35b7ff211d05c3be618b00732 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Cross2 False Passed
c5d7608512c248e0a0f23476d2c8de187fbd7cc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Cross3 True Passed
2e534bc536706c48f2dff27930122b461810cc10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Cross3 False Passed
233148977d1b3f7cb4b793267872fcac82ef05f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude FunSet True Passed
e3c2aea0f788dcb5a39ebb74bfe6a459d8d3b14a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude FunSet False Passed
183afc449a1c6c85aedf731bc3e235a4936e1399 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude RecordSet True Passed
af81c245dab9c1aa2f99af9d48928f9438ed7a7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude RecordSet False Passed
6dea35f8de1e206b9b4ce814d96ecdc6ce46e430 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SetDiff True Passed
022d962438302fd87d87c1b31dc9079253921789 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SetDiff False Passed
a50e023f3b8ccd6f7888ecb9228ee98f90624652 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SetUnion True Passed
54e6a87109c944dea40a802ac359a51296e33d46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SetUnion False Passed
761da757832606bca6a3fdade39dc920d7020c24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SetIntersect True Passed
cc43de8efae2ba69f0da35e336bc32a27e62d5b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SetIntersect False Passed
e6606d4628cfc941faa6700b942615b2070fe771 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SubsetEq True Passed
4d9d4af797f7c443a23c63fa62d740bd104ca329 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SubsetEq False Passed
1fece79928bbf2264e81cb2448bfaf958d7f2b9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude IfCond True Passed
ef8a5fad7cc3e005787b92095ed71e802e5f8d2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude IfCond False Passed
037ad01ae94f2f9d0f0868bd74ec1f868d5cf5d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude IfThen True Passed
bfced3bb40eb4ee4f00a7c5968c5c0f66bc35461 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude IfThen False Passed
2674539e30b11f2c3e6eeac644f047cdf9cc5bab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude IfElse True Passed
f90e9ec8844dd17da149fa9bc6cc167a5c2b2ea3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude IfElse False Passed
6d5daaae233665eb789240e48482740582c3adff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Subset True Passed
f1851c8e818f59b4ad1edc69327010bd4c37e8f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Subset False Passed
378c365e2cfe0f21aefe4554752e2372f69f4b94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Domain True Passed
76cc7661dc29c7c0b480accb64879c25e6bc8f93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Domain False Passed
9bffc875edc3346c3ed907037b960967aa77ce85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Union True Passed
ed1f701896dcddb079109fc7bf1721432eb231a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Union False Passed
cf8ec91087ee06130326f0930a4084b09123037b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Unchanged True Passed
a8117eb9edc92dc5fef09106ba3d5cf662413e8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Unchanged False Passed
7acdadb92a27a3453b4f7b935ebef3833624af19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Equivalence True Passed
51066f7f3dd3cded05884b6afade276ea926852b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Equivalence False Passed
1412645e930cb350d831daf5a3f3db4658c4a21a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude StringEmpty True Passed
1acf6c765a414324ce36557e9f5e39177db88dd8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude StringEmpty False Passed
d2eda15bcbaf36d1fdebdecc7bc8b22444424fcf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude String True Passed
f0881e27bae2afc5b8dad0f31309fe91e0194198 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude String False Passed
44379721747fa31960e740b1b45e8cc77d5f65c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SeqLen True Passed
d34a889e2edf8eaed9832f3950348b776cb02641 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SeqLen False Passed
9e659e842d2f6e846730d041057b699f15945e97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SeqConcat True Passed
ba4defa4f49d774986e875f75e3a849969926bac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SeqConcat False Passed
70c09fb47d8fcca5027a8118469234f0eb88d21f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SeqSelectSeq True Passed
300682a228368bcbfc26813453623c9b94f4da54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SeqSelectSeq False Passed
6afc870ba695e5b1b4aa10adbae1fc8e68d2b40b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SeqSubSeq True Passed
cce5172753431428b15f00adb6ddaf0982dae677 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SeqSubSeq False Passed
407a01b580bc3a571a8e480097efa72b6237816e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumRange True Passed
e9e1437bb381b58bc3d63e6fd14d4deffb03b1e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumRange False Passed
f501658f7d9eebdca07f415b8f7f5cf2ff1d3087 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude TlcSingletonFun True Passed
81b121687518816241eb37feb0463941d49659a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude TlcSingletonFun False Passed
b90b9ba43d1cce50556de89228fcf5fe12dff1f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude TlcExtendFun True Passed
a4bcda7b4a4dd72a914e8e77bc9d6f5b906583ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude TlcExtendFun False Passed
dc4f5a4d3416d6a949000fb99a952bd112e40864 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude TlcPermuteFun True Passed
95e0d1d8651fc684358b6b24894ebecc98d08455 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude TlcPermuteFun False Passed
4d57e2598178984aedb7ec02ba66420fa82dd20a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude TlcSortSeq True Passed
40acd81bb29584755cc71471dee23ba0eee4ea86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude TlcSortSeq False Passed
5efa372ddd0f95f387090acb58be830234ecba65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude TlcEval True Passed
63e90915b25a6a9d2f0a55d96c897d98325b081e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude TlcEval False Passed
32fca6634e939df47797ecd8f58b30821e37a29a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagBagToSet True Passed
3055db576fe7f9f50a777dda994177956f05e1e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagBagToSet False Passed
2661b62336c65019e0a85718df10b756eb3de74a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagSetToBag True Passed
9d80fffdc2453bdc7b661ebf65bd60fe978400ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagSetToBag False Passed
3d8b766cf9b8cbb160186733c8da1155d3220fdf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagBagIn True Passed
1563257ce314dca32f50e5ce10d342496bd47703 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagBagIn False Passed
ee994a26770f3ba4c416d1ec9f4d0b88a1c1e1df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagEmptyBag True Passed
7322cecb6cf84d1a9709402ebb9a88ff555e6daa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagEmptyBag False Passed
9ac9658a766b2f2dbda0985ab186a01218e58529 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagAddBag True Passed
74db9fd554f6dd6daa5b1235d2082c0039f9c934 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagAddBag False Passed
5b98e99d14b26f81a03203819e7b388ccf1b9a59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagBagSub True Passed
667e1cd3d5e694d5670bea9256a9b1d76232e741 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagBagSub False Passed
bca4445606252af834e6e46b120a79e125073bb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagCopiesIn True Passed
c80a4b4685835a38fe74fa5ac97c41c3ac1c4b48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagCopiesIn False Passed
e5f8b5ba07df6bc00b1298493a15b3380ade93a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagSubsetEqBag True Passed
f6aef18a47e169f916531fd483ca1de328e95646 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagSubsetEqBag False Passed
10f76ea70086900223daf496af9cc259cda74e6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagBagUnion True Passed
1083146620bc6148a691ce128d8a10f6e4b2d024 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagBagUnion False Passed
0031d7fc0c0f4a19d975069b181c8ac2efa3a45b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagBagCardinality True Passed
9b53c4e0c0836a29493d52e576f52674fa4229a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagBagCardinality False Passed
c7f0dadd270aff60ee49660a987434c4d7cf1e2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagBagOfAll True Passed
643755dc2bc9bb68e753a4121c235b169baa17b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagBagOfAll False Passed
83507b644d0323806f28ec57d71089a6e4a66aad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagSubBag True Passed
26295c3efea68a78bce45850e0b1e7356e79e125 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagSubBag False Passed
238ba7ef70554efd698fa18b655fc4a7fcc1d236 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude FiniteSetsIsFiniteSet True Passed
f6122771105775508afbbc7c4bfac2d7047238ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude FiniteSetsIsFiniteSet False Passed
c35e18c4b774ae2379f096ff0708d1c1485a5544 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude FiniteSetsCardinality True Passed
e6aa4195ced9490f9b9f5c12bacc51d4548ca003 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude FiniteSetsCardinality False Passed
f542882813ddf837d41a05d33396106e19654444 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SeqHead True Passed
02f0aab4fc670d44e67baf916027e22a7d5063ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SeqHead False Passed
b9070ec54655920a16d2076900767ac785de5658 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SeqTail True Passed
a28db3667a9f7fa74abefc39098dda47bd2ca5a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SeqTail False Passed
4c53df16f200bf98f9374f3d7a0db427e783a8fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SeqAppend True Passed
24b73e23fd92c218b221cf04fc70256a56d7d120 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SeqAppend False Passed