Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
7ffa8a453916a3775b79b2c7fea7f1aa0af16440 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith OneLineComment True Passed
aa8e1c576443674798b20ab806ee2b20d70c514f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith OneLineComment False Passed
fc9e72d058f1c46762e8b153ce33593738f6b41e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith MultiLineComment True Passed
6d4b0ad80aa1334bde154e3d3c4409e1cc2c5c05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith MultiLineComment False Passed
cdcdb62ee98215b77f93986bdd99f20e04fca695 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BoolTrue True Passed
193e22e549b1508f305f36c1448e531915fb0373 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BoolTrue False Passed
ecb49706dd310ba1dd29fb6d90548b65574e86ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BoolFalse True Passed
b74c01dfd0b4c1221fab2f3b5675993872aeffe4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BoolFalse False Passed
2c340f59c8dfba84906df5e0b7c1742c2beb4caa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BoolSet True Passed
471ad3c1948f75bbccbeb1360f610d1ffc8f9e00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BoolSet False Passed
d967e5c4c4f280a201172b909b67180ef1cf4742 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith And True Passed
b1178d0e1c152706f9dd97f4248ff7786aed2f3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith And False Passed
8a6b0422f577fa956e95138c5e3ea76dab2ee265 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith AndMultiLine True Passed
2968a8e29d38d584e41d41f3f3b74891c867c83e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith AndMultiLine False Passed
f2d3e0e37b4255cee3144e3563ccdd34eb4d9e5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Imply True Passed
6f2001804108c5c5bc0947dec9ed49b9a2b4d8b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Imply False Passed
e358fd82d8ddde34a10287374e7ebf519d4a491c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Not True Passed
9eb4b6c08959eb3a3cc5ea1d4f8a5cb6271d22f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Not False Passed
f14965e78afec17d125de7ac9ae891e8faf18f01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Or True Passed
d0bb0373843a0cc9d946d481fc2e9ec989ee1454 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Or False Passed
bfd5632e7dd1a075ede8c6cad284035f000aa3bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith OrMultiLine True Passed
35778b2bb7fa08384e35c8f88a48232bcb4b23dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith OrMultiLine False Passed
9db553c8af1a429b0482d77216d33e5732b5022f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith AndProp True Passed
87459fdb227b0130467100ea030283bb3465ca95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith AndProp False Passed
315589216ce8c5bb6c4d887b687a02ad38b39a3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Boxed True Passed
abf9f6d5acc8c8c6e0ddda837814a1161638914e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Boxed False Passed
b07d70b20ee849cfa146bd82365a565311e07f42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Eq True Passed
d57d388693ce22bcce14fea48e426deb8f1cba43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Eq False Passed
b3a79cd99be1f802d08401b8a8193c9d21182f9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Ne True Passed
109aadc4cec02116c0e9561724cb2eec87c70f7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Ne False Passed
d177cd32c2c7bb450e2214a085767487f7b6ccb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Let True Passed
9373a7087b079dc7b4b994398c5c7b70b5b3846d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Let False Passed
5639141cf19e79c3093f8cd77c49d3fdbffd7c4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SetEmpty True Passed
89a773d1bee31a4101757dc69a3f387a647a7226 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SetEmpty False Passed
3504ce855c09bba66765b774c055e94d862aa596 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Set0 True Passed
98ffc38169afd29f313729811256323545605b2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Set0 False Passed
eeddd02ddb38534e189792faeb3986ad809c90dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Set1 True Passed
25fb162e7671c9a9dbb92112f3c34464afc9d47c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Set1 False Passed
d862e6b49fdb92b834780eab6350532b6db07880 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Set2 True Passed
1018b002c2fd083fa33fd14e1f54de0d74e322e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Set2 False Passed
5b2e215b2e28975288ef42f638a1dac7495789e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Fun True Passed
fe1f2656f13549130608b40848de5054904e3153 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Fun False Passed
84c5d397bd6c96544561efe14fd2e6a626a81227 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith In True Passed
a7e8a1af805028ab599941f236b199cd3d874f53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith In False Passed
b386297912ec2cf59926249692c939291be85cc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NotIn True Passed
bb727a4df8bf3017f04f96319d75a9464e2d37fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NotIn False Passed
68ffdd269884f1df2962fdb2de0720f19c9354f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Exists True Passed
00b702ba19b1f8dc08c69538b7a1a72a2bdb471a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Exists False Passed
87bf67609d40131cc44f55bb7d984d6316054801 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Forall True Passed
5d48ee15e8320005f52c5228e630cbc81635015e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Forall False Passed
d0058fca89e1b6e8e2761ce1c18e061e2f4caed7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Choose True Passed
94d08bcc701b5713733f73795b9b68870ed0a73a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Choose False Passed
92b24ef217d5a2476b865b367c8b5f4535755bc4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Record True Passed
ad263af5681f496c09f4612a3f0c4aa9b674121f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Record False Passed
a375feaf8d404b75c443d0384a74583f234022a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Tuple True Passed
be971e80b5b47a307610564f24d885c569ab875f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Tuple False Passed
8acd417ec39a0d65d698dbbb1de00d590d48285f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith TupleEmpty True Passed
2efe7f01f10fb75c9c9b179cf21add8c18754544 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith TupleEmpty False Passed
0006cf6d5c2ee95b7c433e584f0e0c1961751638 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith FunApp True Passed
854c02b5992fd19bae7875c8628700e04f46264f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith FunApp False Passed
65af618034e5e59976e398e96156aea6d6419dca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Prime True Passed
1946e1024e9c99dbbfe2bf7043e749f09c90e772 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Prime False Passed
2f2a68114a538791306d147219b1c408b5916cba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumZero True Passed
2ffc4b8eb8adf756787f667322eea666ff6f3c94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumZero False Passed
63fe844b92bcf5807aa3b12768fdff8e259b8b78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumOne True Passed
47c83abf0efebf8c8d1c868d8e15f9e82ca23539 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumOne False Passed
03c69a65be6d2ca2f35cdaacad37d7916f01cccf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumMaxInt True Passed
91371f3bc33462c97b171f146df242db4829bbbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumMaxInt False Passed
acc1d57350d982cb601ecd1c0e319bf79c2ace04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumUnaryMinus True Passed
b8503247fb94c7cf73d7d577ce575514a0eb4f49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumUnaryMinus False Passed
e73bf08c699f6462aa68da14463aefb56784856b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumPlus True Passed
0b5126edd163ee989d192ff12b3fd834979cc128 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumPlus False Passed
9d83681e42df3dbf24d0f3a151e7dcf6bb8bf95d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumMinus True Passed
4d7ddf6d793c32684c935521ead7017b6876789f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumMinus False Passed
53305b8559f31cd02fd0e2c18e9c573f93f5ba3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumMul True Passed
24113ea8af1ccdedd41d6b3d2d7f050e9deb62da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumMul False Passed
1c1e7a218f492e1c647ebff47752eae4582911e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumDiv True Passed
3d91d23d3118a317b8d770f42ccb8d2202b884c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumDiv False Passed
7f65cc87cc47d2ffcbae564b857fe6fd3013b2d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumMod True Passed
78dd99fccce67677383f6dc38451e6bcd0bd45ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumMod False Passed
5d60f348f89dd1818063e79c71a7b79d2acae02d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumPow True Passed
ab6b3680e70565d87c247aec85f790222642af08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumPow False Passed
f34f26b8136007ca569891361f1e4fccc0305430 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumGt True Passed
eb7c2fcd67cfe3a0f413347627163d5242a12aa3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumGt False Passed
f5d9da5e46c793d50f9a35b9d758069fb45f123c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumGe True Passed
1f8c59fea9bee97917adde56c1168a70ebf49aa3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumGe False Passed
960ea6ed43b836e835748666b624b615c1546f64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumLt True Passed
74d592a67dcd4728a8025c962f22f1d10ce79899 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumLt False Passed
55421afd0259196ec4b3d025692da89f7ebf6659 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumLe True Passed
439e6760673b45cd0ee3a1ee4bceddbbe55c9a8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumLe False Passed
603d217b8a5e09690dc8b465446774289bc7ef24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith DefFun True Passed
38d98ffb6d1f82b74db00086b2ac45fbfe397a95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith DefFun False Passed
b39130d631ee14b97cf83fc3a9c577cc36d4a409 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith LetDefFun True Passed
cf261cb75b66a30cbee846efa79d744b9acd39ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith LetDefFun False Passed
127227db08cfbf0d2bc5dccfc63b8f5598e43f6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith DefFunRecursive True Passed
359c98cec904cb1647a131fe9c48fc67ba8abfaf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith DefFunRecursive False Passed
f9d0872c53f8234113dbae28d7879ecc1cadc258 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith LetDefFunRecursive True Passed
165fda56cd332037e8973707877e97c13993dd8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith LetDefFunRecursive False Passed
5880a124c3d8b69461c4793fb253982af6eb8011 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Def0 True Passed
edc59c301d77992f2db75db0d8707a41e34989b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Def0 False Passed
93a35421d53ee517d48fe435b2e42e7a60458891 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith LetDef0 True Passed
dfce571a624793ddfe060ba8a708d0622ca89da3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith LetDef0 False Passed
6858976f9df79f96914cd151ab42879e50fe2f82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Def1 True Passed
73b318a176def902374336c48720f8a7b52329c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Def1 False Passed
6f2a346a1c3716ac85f7ab95f6166d959fa6d421 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith LetDef1 True Passed
33b80dea79613bcad28b5303ba102ee95d900eb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith LetDef1 False Passed
b4796ed1e9c3b00032ff74956cca9d416800be3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Def2 True Passed
d2c223b8c0d18bb04a0567569bac2ee42803d347 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Def2 False Passed
e53139864566f46802f313dd5b49f91f670352a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith LetDef2 True Passed
1e81042b6339fbea5c5e83af6d047c00491bad83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith LetDef2 False Passed
be2c023eab01918f7f2d1732a2d50e7acf27676e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Def1Recursive True Passed
5cdc450fd911007467249c38fa11741f28db556c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Def1Recursive False Passed
3498c58ccb63a8347faf3084ee1990797ea2e82b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith LetDef1Recursive True Passed
9088cbe9349e1f0f6c81fe313409d04e288065c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith LetDef1Recursive False Passed
34fafe82ee037fb91f1c96bf6fef05027e4e54cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Extends True Passed
8ff71bf4ed5ae94bd24d76529930ca5162d59c1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Extends False Passed
6ee8b1ef87c0857f669ca058bdd6ab9f3e6fc1f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith ExtendsInDifferentFolder True Passed
bbd4a4c738dc5c9eaa3c790939f34becc4ac6091 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith ExtendsInDifferentFolder False Passed
5e9bda76166cf0ae23fa3599b6a998d5ab4ea632 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Variable True Passed
f2239da35ff7b8778ebda5aa44fb9b9bbc9b6a92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Variable False Passed
4d48b3fe2fec08a807dde54c196d1cbab9f93f86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Constant True Passed
ba63e32da7242f104456e3d8ee89b6d4fb293985 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Constant False Passed
0b04cee4aff54cd4d21c80cdbea68f5527b527f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith ConstantModelValue True Passed
001ad664662d2a25283a568218cde2cfb7eb2ad8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith ConstantModelValue False Passed
f0bb9da4213599c3baaefa919c88a7543e99bf45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith ConstantRank1 True Passed
ebe9d306dd9013d0e83eafdb1a59354cca07c77a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith ConstantRank1 False Passed
e0d5685e9b751fcbaf3b7edf9c4b7a66604676fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Instance True Passed
3523e178b189ad31f47612171f975acebd8b91b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Instance False Passed
4103a48eaf50aaeb192613216a06bd0a2e81b6a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceWith True Passed
f9a04c707fc3df76a35be8fa6b0947973c24c27b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceWith False Passed
a39405d9968c3475b3b66b42c8d339819fd5c553 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceNamed True Passed
704f93601e60a503d528665df4c84c6b37a7b621 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceNamed False Passed
7c595e8459cd37c0f21a10aaa7f538d3be4c23d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceNamedWith True Passed
925472dfdf4665ae5760b55079468fabe15941ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceNamedWith False Passed
a17c976f6aca54b4b669edb0f1cb64515c9fb50a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceInFolder True Passed
770e3bc8c47aa014be92e099d87e5713d12fdffe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceInFolder False Passed
ee7826c81185b19f9f1c8b97f846f7b7e1289c7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceWithInFolder True Passed
141688f27ba85dd89a0755efcca61fd5e222282d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceWithInFolder False Passed
99537291f18174a2ae82686834e295c3af551de1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceNamedInFolder True Passed
9439f015ddeee3a465bb9241acf5829a3fc25b47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceNamedInFolder False Passed
2aa0fc0610e858d948547239225e95b4c8ee6867 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceNamedWithInFolder True Passed
5879902b2730b28fb8247a5881c16f71e42cb654 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceNamedWithInFolder False Passed
c21416955156e4b8d50a564bad791d8539d4c2a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Enabled True Passed
840cad31b63e2a421d409c0ebd404ae85d226171 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Enabled False Passed
f76dac8e608d6d5c9f3d68141bbe1553e223197f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Cross2 True Passed
e195cf829b07ec7e7d10531c530837f4ee00b176 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Cross2 False Passed
099fba635a3141bb6d115b74fa6974de18c8b427 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Cross3 True Passed
bb6b8fe9fac65bdb9a181412cb94cdbefbf59e50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Cross3 False Passed
d0d54f6c700e6e50f1d7268b109a12a9b9fce466 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith FunSet True Passed
a16bd9bf1ee2bcc14e354d37bfa7a1eda63a1a37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith FunSet False Passed
11f867f8dd9d14f44567d91071691f3b9bcc0428 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith RecordSet True Passed
8c849a075572b60bd0d2e6b28886178e43a4efda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith RecordSet False Passed
2a8f93d487fd8e207b280979bc14ae1722a32aa0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SetDiff True Passed
7635977a6a7c6157d2b115d86eced70d5084422f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SetDiff False Passed
22ae128cc53a9cd17ba5aa2b7d3cbdc330e50603 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SetUnion True Passed
b14feabc52b647f2b9dc934119bfff8e9ce0f27a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SetUnion False Passed
8bbad0e83839985c398764618b46b8478f629389 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SetIntersect True Passed
7ea0b9b5691cf62d8809a88e4f43d33c27420d37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SetIntersect False Passed
16bc774197e773aaa32e1b2814e882f2a8d7e31c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SubsetEq True Passed
2237255d2f40a150466e02a2626b0545e16da974 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SubsetEq False Passed
3dc379cf8ed21dbca00efeca5e3d3b9b0c522e9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith IfCond True Passed
bc7b1db65e3c79d323e5b3cda0777ef161913aa2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith IfCond False Passed
5f025b5b2ee74d5368dfe92b32dce6f034abc5a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith IfThen True Passed
596263854add799bec3b0c474ef2df4cc8a5f979 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith IfThen False Passed
145ee55944bf5f6a70574c37cdc1da817ae7f2f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith IfElse True Passed
d8c106bad6c68a5896fb9e9e9b286089b9f55924 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith IfElse False Passed
6c9991d9283b3dc90dc488bc4b0e256facf06066 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Subset True Passed
7208a570e362f230db3e72631e04458b518d1573 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Subset False Passed
d41d61b2ce88d472f6e2697c927658c65c4dd76b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Domain True Passed
fd493bb739ecd98505fd3eb0dc539f783404f7ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Domain False Passed
cf7bfccdf8c1cd0152b51fc6caa764d54398bf35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Union True Passed
745eb41f1d7612123c07ffdb3776457bd66322af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Union False Passed
1b4f141e68506b54beb0a4264281716676aa3c7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Unchanged True Passed
191458d01f4acead4003efc63b6760ab86c3fcb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Unchanged False Passed
83dc8700ff1fd2b6dc48112af47c8ceb130a2650 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Equivalence True Passed
756867aa13a8f5a7498c45cb2179a00c72a37612 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Equivalence False Passed
7836053cf4b7f7e33272376bcf2a0224b9544613 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith StringEmpty True Passed
543cc74f864289a4a70107ad53ce31266b3d4812 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith StringEmpty False Passed
8fabd4d900bcaa277c8d19c27ceb72a55b238f7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith String True Passed
4ac75d6e206815fff70a097d4737730c176a541c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith String False Passed
c39d0b885336abcc9dec402df3080a6767322978 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqLen True Passed
c509b8a1091148b3c852f1b230b53c4078670b23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqLen False Passed
fbe02725e75f022ce254edbfbe096b6c7175b302 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqConcat True Passed
5f093edf2b938e10f7b58e19f547188aace6fc03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqConcat False Passed
d75080a7b65c678fde5b66d213288f265c6f3824 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqSelectSeq True Passed
90b66da8638455f50d6ae9f191153f1c95811b2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqSelectSeq False Passed
92337b5fceaa3bce93d3d55b6827eabe9c782314 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqSubSeq True Passed
7312b6756bccf7380b659289db2f81e92f4b5396 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqSubSeq False Passed
aba48a50c5c424726b803c30fda911aaf94b71af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumRange True Passed
f25b7cdeeab5bdc6450b5c89a0d41a0cc7c3703e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumRange False Passed
97018cbaae7042e80c6fa0f43219b0c4e7d4c89d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith TlcSingletonFun True Passed
eb538d836a3aa193acfd9f21e5d3d87b62938e8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith TlcSingletonFun False Passed
16d14c2b59f469da3d38b03e4810f6a75cfd490c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith TlcExtendFun True Passed
2dc6d5797d0af68c76a93880b42ad9e91530360c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith TlcExtendFun False Passed
ee6252cb8076c141a30f22f3405bade59fd85e1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith TlcPermuteFun True Passed
93602d103ab5d9f4c57d6f8e4ec695776c2d5a70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith TlcPermuteFun False Passed
393fc0c2721e660555306b0a9c102d7902842369 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith TlcSortSeq True Passed
681c9402303bd1072d24699282abb83ae79a7cf3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith TlcSortSeq False Passed
3ad3e7bbe99974aadbc4ba40a17e495485d83b74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith TlcEval True Passed
45d89dfd3b3fc6e6319bcf094aa4e3c994fdfcb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith TlcEval False Passed
22a950847bb935640382e5147574b85e4e9c3326 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagBagToSet True Passed
802fb412883b05f91d74bc262d03450443e84f87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagBagToSet False Passed
34623146656f18a8a17945a188f70e5cb6b9a898 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagSetToBag True Passed
d47c8f305adcc159234ab458915c4395ab1caf69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagSetToBag False Passed
e6aa91de220654449af1a3f8fedb7dc87a345f61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagBagIn True Passed
3a3119b56818f4e75b253dd2c3145231b873cc1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagBagIn False Passed
0b030186fbe1c1f0ed80df8aebd586f627e8b061 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagEmptyBag True Passed
6c4148233768dcf950f3c46ccd7a2fec9603eff2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagEmptyBag False Passed
36138080369581eeab4ee283f388be08b280db0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagAddBag True Passed
2a67ee3688e6500e1899ec15ed1617d26f5d41df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagAddBag False Passed
1346421d403fd51968819c8763233ecdaf9e810b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagBagSub True Passed
3f96bd1bd21b36fc93735d566a73db552f870eef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagBagSub False Passed
00f995af67c3a3e98c6d98c3af60ba07f2493695 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagCopiesIn True Passed
f805fd068ec765320f0e29fdab5b91b4dc9640f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagCopiesIn False Passed
3eaf9f4d0f7dd889ffcc089d29a42a59d13e76cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagSubsetEqBag True Passed
e6f8e13986a0fd7855ddab7a8321d9791776fe4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagSubsetEqBag False Passed
ec1fadf8c1113bbbb008c2236a2ac0aa49068101 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagBagUnion True Passed
eb9cd702ce032a8ee37e165ee7363b0f0e68c122 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagBagUnion False Passed
34da732019597cc082be7391029906a066583333 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagBagCardinality True Passed
f283c4c19aee5357313a791d4078dfc4fa34431b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagBagCardinality False Passed
6d2ec9a03720780425639b08ae565f3234d751fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagBagOfAll True Passed
5a5419b729e0a590ff4cca19c76a963f67df3e00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagBagOfAll False Passed
4a35ff3b38a370ab5b8b52fcff787a79bc64594d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagSubBag True Passed
f182f11e846e71986c46ddd6d14a5a398681401a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagSubBag False Passed
3287baa23f48d56c31fb3edd06a4d4aa65000236 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith FiniteSetsIsFiniteSet True Passed
5f1481a60fc214b39470ac9a8aa07d616a455ff2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith FiniteSetsIsFiniteSet False Passed
0ac4e8bca9f4e4c81bb9b1e83cbf8c0b106b4a56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith FiniteSetsCardinality True Passed
920a4d621d8b7579c96f21e75d99e3ca362f6164 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith FiniteSetsCardinality False Passed
a7762a77a35ee6bd59f6edec2e43b7172d501a5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqHead True Passed
5a24c8fedff0994f0114517c0a037e75f104fda3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqHead False Passed
cc43a03e73b7693a3815f782cb4864792e7ee83b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqTail True Passed
53d5c4bc45f1ae38cc5378204d23d9a34507d4c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqTail False Passed
c95859e4718b7e8e0c0b4b62f937362a2b9da132 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqAppend True Passed
bbc59d5e05f1a3e79ef3c34abf7fdd7b8e7a9aab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqAppend False Passed