Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
d25d254a5d9927419e959e4bbc97fca9cd6f16f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let OneLineComment True Passed
09cc318cb9728b2f0a4fe52aea1fa08bd24fb320 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let OneLineComment False Passed
e1627dc55d0465eb164247bc35cd5f71741b176d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let MultiLineComment True Passed
b7f17ec8a64f310fa6f14cd9cb9a7e2715b34090 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let MultiLineComment False Passed
b9bf3d0a60c77c7dc4484f658d3a90cf36945551 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BoolTrue True Passed
a253801da6378d0df5266db0bdfde5a491beae5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BoolTrue False Passed
a60aa37b304f57425d0437ef6f59f43267845119 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BoolFalse True Passed
70a861839cf389791bd9e546165c55fd04fa1181 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BoolFalse False Passed
26f6b980e891915f65e0bf113b27a82eb8134065 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BoolSet True Passed
e1a837b2e9b1b19805cc1f496e369506b1e03f2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BoolSet False Passed
9ed63c9ca07ac0623a8e146c8b4863e841cb9ee4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let And True Passed
8f2b02d9a11ab929c589376cd09d57eefa181675 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let And False Passed
e059d2af70eca3a23b70d7087ccefaa568586c00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let AndMultiLine True Passed
60e762f50661da81f5ef1a5e1d24e9ec5bc978ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let AndMultiLine False Passed
84ada9bda6b134091d9c48e8ce5ac1e8f037926c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Imply True Passed
a4a8395fb9455333be88bdf65b823e65f5000649 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Imply False Passed
9a0534e9d69011bd98624c121c2ea398bf82ff6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Not True Passed
e959a7509f47e33eab25facf51577c07535b43a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Not False Passed
66721122359977c0d5f00ffbaa16d30dbe2f40c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Or True Passed
c4ae838c9b51ef8f6a701e98cdf08d6ef82f9099 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Or False Passed
1e591f425d8c7a0ef27986f1f00ea7875802bd01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let OrMultiLine True Passed
43268fde76c535b6b110be6dd4d3816ce1223822 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let OrMultiLine False Passed
bfbe0ad7ae8ef8fbdda86eb05d69069cf7cd1089 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Eq True Passed
e73d1f9ecff2bb0216ccb28919175f74d3ac53ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Eq False Passed
1bbe75a0d6134e69a90fb881dfdc5eebc2f162fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Ne True Passed
89bf090e33718894c77f0149d5ff84985f7fa18d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Ne False Passed
c92a4db6acdb01307ad98a132fee5bfc43255c45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Let True Passed
8ad92625662a42444316560207c97a40af717b13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Let False Passed
ff513da7dc17a8989120c32c3997a7c233234555 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SetEmpty True Passed
c67f763e50f47498062d570a104d3c24aafa793c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SetEmpty False Passed
de16a3c8e47493d4358f46282dfbe93becdc71b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Set0 True Passed
df2ff728b3d2c25272c1307557a8a1a91e1a3f28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Set0 False Passed
4e9109dfa1b2c1bdac6257562d109368775e948c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Set1 True Passed
fecb7ddfa766304bd16146c1ac12eb27d3ae4f92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Set1 False Passed
665720b11320c8fbc602902f553df7f91298ff82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Set2 True Passed
a01784be526c0c296ab86fe5235a4bc3b55522ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Set2 False Passed
ddfe157c88928dfd476ca6a216247f4aa0868040 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Fun True Passed
23d587542e613dfffafb9411b9abb86e7c226708 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Fun False Passed
a5ed6e2ba3d68bcef149c2debee09680a4ea46ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let In True Passed
4a5a66a0afb48e90f9f7c01f956653ab34997a88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let In False Passed
d0b62bdaba5847d1e4a9e0dd41b91b7445c9ac54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NotIn True Passed
4842d12d08e8678434123a0e2fd0a04778d8305c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NotIn False Passed
8bf5b80eecd18a67168242e423dfdba91c28f4b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Exists True Passed
c3b2305b30a1ee94fdc957a3b615600c92d469c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Exists False Passed
8dbd5638eede448c15c25ec46bb115b5e6897144 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Forall True Passed
8958970728be3a08d1d5f1e9a7e8309b50bd16eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Forall False Passed
7948b5a251eb23dac734351a4cdee60cdc4bc5b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Choose True Passed
aedad5c056463b01f3789c182eeb516b53f520e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Choose False Passed
cfabb683c478bccaa05b1e303456e6b86b4370ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Record True Passed
b39e714aa7c805875573666da67a1b177747da28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Record False Passed
dc131f6b384b09b7711d87901fa0a1f178457623 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Tuple True Passed
ce153a186cd45181878e761bb7247657bef053bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Tuple False Passed
4e7882f8375eb21d876530e5d31be34de334eb14 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let TupleEmpty True Passed
78e999bbb766796c53347d76866f6c89bec9db3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let TupleEmpty False Passed
369244e4dad4fb5109dcd21f8c7b6317cacc83a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let FunApp True Passed
2ab509f389514b1512000b9700ce88729bc5949f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let FunApp False Passed
82e468560fc473a916ce3c2aba98970f9510ff18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Prime True Passed
76288fafecfe00e9fa7d6fc57d2eeef968573976 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Prime False Passed
1f282506a39971a2c8fc752448246970a331062c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumZero True Passed
bfb48bf9400db6307b20613d43af6c6b54542600 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumZero False Passed
464804d417cacd72b39280bdb938163819110f4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumOne True Passed
9a2dcc9443fa44b01cf88349056346a5dfd7dc9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumOne False Passed
b3c98a76887baf201587baccd943b34698c1a9ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumMaxInt True Passed
8092d4286adf78cf0f1131b1212bc981ec1652a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumMaxInt False Passed
8a960398ddffe4fe499ce0758270aaabeaf09e07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumUnaryMinus True Passed
d10984851d50f747347fc45193eedde206ae61bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumUnaryMinus False Passed
d9aab83cb637afc303ba6706ebd757e5019fab33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumPlus True Passed
e9cce4c2c7b49730c28526f60c543f6af901d05e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumPlus False Passed
5db55390917d1f2338d0bc127bf9e268c1c87504 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumMinus True Passed
3ce17b7d6053009250b3bb82780729c197328255 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumMinus False Passed
3da9286ad0eeefcf0c691d337c3dcb5803adb512 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumMul True Passed
a7ab5119c3589b3a825456fb92e3f44fe7fb5326 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumMul False Passed
bda82bdd9578580809c77ebdf50425ca430c7e1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumDiv True Passed
44b72704eaa524e3664fcf03473844acde2d8159 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumDiv False Passed
7cfeca28390b69bd2f46fecd21c05cf78ee0e62f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumMod True Passed
a123d28f62aa23cce9f4233af65af90a2e607a65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumMod False Passed
a4246960e58c996cc335f6e4c56fb415ae756101 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumPow True Passed
82158b2afeb73ad2ea01c3e24780955498d0cad3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumPow False Passed
be8260acac2e91540fcaeb72153bdfafe1b3306e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumGt True Passed
7c297f94d6fa064a700cfea7499866f0cdca3d15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumGt False Passed
a129443bd54fc94f4ce3e824b0c08e4344f074af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumGe True Passed
ef74df290c2216e84ef107c0998f7eeff0c145d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumGe False Passed
ef65ff366bffe6a08080381da7e250112f65c067 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumLt True Passed
c1032f6370b0aed206460416bfc6678962f85fce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumLt False Passed
d0b804ead254fd873862862cddbf3ed3a6e9f044 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumLe True Passed
17f40e94b7d9501261e8910c8a0392598bf55bec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumLe False Passed
2f5f523ce0925579b4358b947844f1576f1aa2da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let DefFun True Passed
e8dc55b64c36afe04e0aaa315d8095bc0906bfd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let DefFun False Passed
9f3eef19581024d1672dba1e245bc98a2dcd25de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let LetDefFun True Passed
aa0e466cea8eb660f0441112a43d73257729b1ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let LetDefFun False Passed
6e2c6b16864641da036df7219d202d8ddcb60d3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let DefFunRecursive True Passed
bdaae251dbbca5d5249c2f4dce5c86c9d1f119df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let DefFunRecursive False Passed
330bc89aac6de7033a55e3add845556adb275012 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let LetDefFunRecursive True Passed
b14be2deb424046b0b59a702054c416303c069c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let LetDefFunRecursive False Passed
9eafad2787ad78d9fcda8733d2bc7ad39586d88d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Def0 True Passed
f3a1f90a00c3bb5c26a175029d255494d978713c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Def0 False Passed
81fadb1d06e87c7dbf0da28a1359f8831fc78779 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let LetDef0 True Passed
ad325a323ba1b951a1a86fe7b037e856ab5cbcd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let LetDef0 False Passed
f3848462b37105b1220ddb0c15c01fb2657ede8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Def1 True Passed
546b4c6c80be525a37709a54a50c72154f21fb8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Def1 False Passed
04ff965a668c56fd80665615e4d9975d8245a950 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let LetDef1 True Passed
74100471c85040f888230cb962133ec3f115429f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let LetDef1 False Passed
fc5b1e63e69f0bf01581f39d43f90e52c5a67f86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Def2 True Passed
d0cdca6df3f11064fd43a80492a3ff5bfaa4e91a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Def2 False Passed
9c25b829e8cdeb2ef8b142008aff2b4b898d4118 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let LetDef2 True Passed
9ba5272f31cb39733b8804c624d6b50026adea4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let LetDef2 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
b93aa4a3e3ab8312c9055cc8cb759043cb11477b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let LetDef1Recursive True Passed
de5e1e9c9a547998f8da545c588de15a8208f47a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let LetDef1Recursive False Passed
62c95cae6a289479d04cd3aca95f5d9fa303397a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Extends True Passed
e8f6c388d05ee1cda403ae9f6d4cb95ff2cd8373 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Extends False Passed
05eb247b023ca8f3dfec19b2116434709d39c217 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let ExtendsInDifferentFolder True Passed
95371d573c52ec34d4e1b3d318aa5221a2670e1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let ExtendsInDifferentFolder False Passed
5af91bad0474a1a8e682632b9412350d651491c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Variable True Passed
3df1da3dbac61952be81b5078f0e4d6d53774b45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Variable False Passed
0d5a09fea6b7eac6738b855a79bef7e32e8d41bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Constant True Passed
c09ec86f8b816b168dad8f569c694d30183a2093 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Constant False Passed
c1aed1cc8eb249a3998ba4f0b13910f19480b255 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let ConstantModelValue True Passed
aaa3fe5421531bce87f7060c1f821426f65d9313 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let ConstantModelValue False Passed
25b70b43e1bc45d6ed69974620bf838cd8aac3f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let ConstantRank1 True Passed
c453f8ab314ff0d7c033c7bcc8179c6e50f24781 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let ConstantRank1 False Passed
8d1cfc558df67678dba8707380a568cd93613b97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Instance True Passed
93e2dadaae17c1d9ccb4862d52bf02ecf9b4ab8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Instance False Passed
b0c57c08c341f7a4e1ef6f32084221bdf38e243f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceWith True Passed
69f0b7f8b00f39e4d6a76a87fd300e9556488380 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceWith False Passed
491cb4bbd8c14feebcb66b9c04b5b4697c1b2238 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceNamed True Passed
60baa36875e0be1d94d8a76bd6ec8d7cc6eb9a43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceNamed False Passed
7e7e2033494e880a3d661a7a0c69df47285f7852 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceNamedWith True Passed
ba6e8369d636b327b07b1c5bb43adf5971b49922 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceNamedWith False Passed
5dbfae4bfbe4a6e7c5c2d13d2f5f27ad306dfc68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceInFolder True Passed
81c964e6cb8aded2dbd3eb7e96ceadf6e89abc79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceInFolder False Passed
d255c55eb4c8193e1603e9365c3700e5f60d23e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceWithInFolder True Passed
1f85de762ddc3809bb7193c5c93b092a59f988a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceWithInFolder False Passed
2936077f548b975103c9c4cac566ec2fff8b22e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceNamedInFolder True Passed
25289563a28ed9a219ad02abb015c80ce2e8ba10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceNamedInFolder False Passed
c7f4832e541d04292033bcb20105e9d95cce8eb8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceNamedWithInFolder True Passed
1b35affe85daf8d50e31c61d5d7863041bbf2247 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceNamedWithInFolder False Passed
b10b1864ae32993210c0fa578cd789c9329d4a71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Enabled True Passed
430809d46eee4822a95c2bcef04257bda05eb6de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Enabled False Passed
2bc785f20dd0fb0d11e57341bcd062a5b7f8f52c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Cross2 True Passed
9d80bade69fac0d813a57d874b08d2b7b1ac2301 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Cross2 False Passed
3d383f0309ecc0d31d4452a6f8921b67bf50535b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Cross3 True Passed
4d4d0932ccb6904efafc805320e4847d98496e93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Cross3 False Passed
dd518ebe532ce7e8d69a0182ca07dab78988d3a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let FunSet True Passed
be11af5a711ae75d1b1d704f3c683485845cd6e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let FunSet False Passed
acbf2f9a7741144bf276f768f3004e4c2abeb838 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let RecordSet True Passed
c7ee75e0496b65efc4ac510752eec096725cfe43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let RecordSet False Passed
fb91234a1753322d8bca1493ef671b46da8bd174 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SetDiff True Passed
44b4fa8f2168065621e72474a9a5d5aee40bfa4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SetDiff False Passed
5505d65b40a5e781bd254666f9eba23b6ecba5ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SetUnion True Passed
eafb779258882def0916aaa42fc51fad1a86a485 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SetUnion False Passed
fff554eba80527dfdbeb7fe1f2ab63f6e6d502c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SetIntersect True Passed
19f7affc5152a37f846f2b9a0bc2d5ba867baab9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SetIntersect False Passed
dd41c897ff04b05140ea8a6d715ea751c86d4758 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SubsetEq True Passed
f9a579aca595c57d4ad6917e320fad288eabddff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SubsetEq False Passed
5e596f0a1f58ff5d4c19789b837bf460a39ce20c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let IfCond True Passed
737e03c6d9aab688feb2e47acaf6280c42d1c00c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let IfCond False Passed
85e58ef0209f32c3fb218122cbcdcf82d430556f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let IfThen True Passed
787e1cff1305362aacd661d22f7f4841fc5839a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let IfThen False Passed
93eaf136e526fe4282d7383784fb0261d104898f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let IfElse True Passed
bdac7676d26438196f3dbdceee30b426fc4d3ee4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let IfElse False Passed
a8351f068a1ffc88021dd8b9b937a73887725636 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Subset True Passed
ff9877e4f66f063b54978a1ddb539fe7ab78a54b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Subset False Passed
88d249b7eab69d95c645f34863d062d5508a33eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Domain True Passed
6a3dbac9379dc776db51bb48d44ef466df8da566 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Domain False Passed
f242ff42a1781cdbcc377ea27f975455a15c45b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Union True Passed
0bcb9210cb348aaa79f00d8c58d8a55f72e32dce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Union False Passed
1beb4450798883b2c567a3741f276b342e831245 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Unchanged True Passed
94ad2cf0a374b23960b958461efb2ddcfe1eb34f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Unchanged False Passed
d9bd8badee42cdc51d7ebbed2319462270fae41b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Equivalence True Passed
91495ce36342be009abb96a4754feb1657185788 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Equivalence False Passed
fa78608e6320a55d706af0e875b56b0993719997 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let StringEmpty True Passed
763262dc44b0cae248a2a15ebe8e8dcf4573fffb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let StringEmpty False Passed
5424396fc1d0df36a6240a19c8fe47a81c1ba16c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let String True Passed
433f0bdeb261aeffa9ae9b9aded7973f51f505a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let String False Passed
7b0d8f49a089a497b823285580003e971258e280 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqLen True Passed
8be74e986167f5185d4996c77a2d236ac49881e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqLen False Passed
acaadd7ce9ec6bc2ff01b19963196f585bc52122 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqConcat True Passed
4404d056305fcbde2bd62b81de3305504474a590 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqConcat False Passed
ca8171b522426f7132a6c3faefe83f4691128336 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqSelectSeq True Passed
06357db7751b9b37cb3c0389af8447326c431ff0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqSelectSeq False Passed
76f8bb6af619cd7acb180c99b36b9075c8c1734a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqSubSeq True Passed
42249ec7d1c2f3e55bb72d02a4cbf0c6a2182488 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqSubSeq False Passed
ea5ff54f2e07b8b679e7412764e96a05800188f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumRange True Passed
bc28494b309fee16252188c8f06d506dad9b05ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumRange False Passed
f79fa71cb347deaf0897b3c1e1f91f326cb4111b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let TlcSingletonFun True Passed
eb97379e5522e24735b781e657a3dd52789544b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let TlcSingletonFun False Passed
f6c6e0d2c243a78556d53ac03c0667c9b6456309 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let TlcExtendFun True Passed
b9f178f181fd229d0217f3ab455d61916537865d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let TlcExtendFun False Passed
e52ee992dca627de70582f5c792349660a282122 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let TlcPermuteFun True Passed
55468f007da6a41cef07b2f07beec4832d28bcb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let TlcPermuteFun False Passed
90c6a947f31f061ebf5fbe6e4e2adc0266dd87e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let TlcSortSeq True Passed
84c7337bbd2cc20634fc2c891d82e479a5edf859 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let TlcSortSeq False Passed
c15bf25f2fb865c999567d8f13e75bc8796c5fe9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let TlcEval True Passed
e7ef3f869b3eb11845885c197c3a333513d3d518 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let TlcEval False Passed
069f104a0aefd316f965ff50a9ba1d2f54337872 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagBagToSet True Passed
0e47b82c014c958a5632457b1a3f845de8c46fe1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagBagToSet False Passed
58895f81c5a959e45f5012ec22c417d9325543e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagSetToBag True Passed
5dd32ab92c95f70e3a01055c4385d2ded5a88e55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagSetToBag False Passed
3fe6b18e1e75a2e656321cce324485089e858924 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagBagIn True Passed
6624eed08c87502acdb3b02522fe24bc20d0b7aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagBagIn False Passed
812e6ff33dc500c635613e9a9f03f024f0729a47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagEmptyBag True Passed
22cb37e84dfa5b3078e2feed96600e819a0571d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagEmptyBag False Passed
4962f00764595fd591ecd60412503db89c87455a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagAddBag True Passed
6d8d4a6e26747f85e0bfcde760cfd6fb9bed31cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagAddBag False Passed
c225e022733ac9b4073ad61b692762adb1eb4514 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagBagSub True Passed
b8672c97b1b3d3081f2650b57711025dfc41f24a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagBagSub False Passed
5d2bfaefcb3dd7942c9fa4a61b03a23edb8a260d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagCopiesIn True Passed
f1cf91af183c45a1ab25797a54bed0f43135fbe4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagCopiesIn False Passed
e1b3f56c727c7abf94f60a014bd329b7ba180e88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagSubsetEqBag True Passed
997e17a399540048e14a0881766f1e940f494393 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagSubsetEqBag False Passed
0ee4eca5070b7152741d20298cb8e3cdf75573af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagBagUnion True Passed
f7af4261a592a35c68333593b1ea5fb9d246f4f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagBagUnion False Passed
5ca20cf370a7791d629b408e97e9c1116d9af50a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagBagCardinality True Passed
43891593eafdccdd578e73147aab31ae390595b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagBagCardinality False Passed
5558221cbe08fc9a31d10670972c292c26b5c487 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagBagOfAll True Passed
0a2faf7bf6aee9e56475d5174db17cc54e429f37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagBagOfAll False Passed
734e59c1b1be9a74f90b6414c283ea11b58ac436 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagSubBag True Passed
1848835da084aefa2137f6c2350cc83314abba40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagSubBag False Passed
a7953ca4ba5c71f8eab62b87abcde0c6f13e360d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let FiniteSetsIsFiniteSet True Passed
2e180b685a0dce5291e394cb9dfcf9b336ad5b2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let FiniteSetsIsFiniteSet False Passed
0033a3c6b090c663c0f97fa0704234ec4ac23141 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let FiniteSetsCardinality True Passed
92770a84187ab5512fea738278369d4e38313886 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let FiniteSetsCardinality False Passed
5cf0fc2c43029690ebf664946fe706ebd35dbaec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqHead True Passed
7e2f276be339d64080190e988085ce32d63641e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqHead False Passed
79f92f3c93a726b67220f4689e5d1305fa0c6130 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqTail True Passed
e940ae1f6326d80019a2f870ffe2dfa589aad0ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqTail False Passed
f9da02d57095631e663bb5eb081b3e8ed3b49f3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqAppend True Passed
4e9767032e14fb6478fe68e6e89ab4129a3121f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqAppend False Passed