Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
51d3ac9f7ab98e02d5a847495e17d8719c862395 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder OneLineComment True Passed
a7509d2c1ee88293c8d95be8ae0e42c7de79c692 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder OneLineComment False Passed
37de9f4d7d773fc7400939f140156c0ad2e5e507 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder MultiLineComment True Passed
945e8acc60f5eec2e7495f23fc3e1adfc2d9d0aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder MultiLineComment False Passed
c2d2b4ff096beee3c25a8959721ad99389fa1a61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BoolTrue True Passed
59ca5992f7474d243ac59fd8cef3eabf69443c23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BoolTrue False Passed
9612fa1c0482c202a011936a2cc3db42af9a3010 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BoolFalse True Passed
72091b42b39e0485b41c04173f035c2298e45b9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BoolFalse False Passed
64fd7f9d9ed6f976acfe70d684b21679dd208b32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BoolSet True Passed
6b7f917c2bd1dff7ac47e8c66710a29431a09eec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BoolSet False Passed
27f068ffed719d3dc8693ca12a0da2626b74f204 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder And True Passed
9a95c73da4b78727b851bfc2a2347dd9e4cf446d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder And False Passed
e63e6a1458bbb08b1bf57e27c4226278da8a7152 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder AndMultiLine True Passed
afce213001c23cedc554a3de54e32067f8afc7a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder AndMultiLine False Passed
6e337504aa7d034ec320465831bf955b943eb139 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Imply True Passed
6b28a4d60fcff2d4236112e9c6357cf8cea75e06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Imply False Passed
0609b1fea15b164b1d744155eaba9376228df767 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Not True Passed
6256f3656e740cb00d8d834fbb61f6abfaeb8137 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Not False Passed
a7ee3a0bc2857b277e270d323469828dddc99ac8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Or True Passed
f611a13ae5a24e7c06445f1459ee7f57bbef6d80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Or False Passed
49ffc7325e100dab2981d46848fea92eda19b415 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder OrMultiLine True Passed
338cb6756ef4f811629a3d522c876c2d89c9280f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder OrMultiLine False Passed
8afb522fcb9816a7bc3699ae973e1fd49f13bc79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder AndProp True Passed
cd081137d7c464595dbbe239850a65c1e84724d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder AndProp False Passed
ad554e509a01a180e26c251af24a57762c1afdd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Boxed True Passed
267d23d69556ca346e867331c4511d616e47fed9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Boxed False Passed
5f7884c128ebffec8a1c2e902c471de5309b2882 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Eq True Passed
d2d9a7a9d6d6950e7d978510e63e8d756f6a2f15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Eq False Passed
24f17f59cc6113ee0294fe6b0d8aa5ae7353c4c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Ne True Passed
d38455b614ce010eae139a8065225d2e9a3ddf48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Ne False Passed
0aca62a36e8ab7b73dc54ce92afe91ee327fcade TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Let True Passed
b69656596d2ade846725520a5764e5808c065d19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Let False Passed
41964c65c0604bf1a96e618069ee03855be625ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SetEmpty True Passed
05eb3a49d1974f61f70a1f03e06dc506a3d2bd25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SetEmpty False Passed
d6085a48141df5ff379bf7038e3b046895a51058 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Set0 True Passed
7e2508e8e0d196901731b3ab745786219126b4b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Set0 False Passed
a0c3870e7b5c4e7ef92108c9dfd48fe3c40a5b48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Set1 True Passed
420fda90a8884af24c24cbd6e0d7b360356e9ed8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Set1 False Passed
16ba3280c78979ac97e2dc38a1aa5fe05e461429 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Set2 True Passed
536755f08da81b146438b071238bd876c0ac1392 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Set2 False Passed
02ce767985a5943745967412643ca29c08a1a958 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Fun True Passed
5ccd095a411bc7c6dca87845ef2c5c3418d78f13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Fun False Passed
e62da8c2b6d8424335106b4bc642538e59420504 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder In True Passed
94e005657d75a3fd8759181d546af92231a4fb99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder In False Passed
cc1709a8a79921850cee929400fb384fcea3765c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NotIn True Passed
cf15a431df9547825804b172bc74a6cc11fe726c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NotIn False Passed
6da0c25ccca4e75f16746c0f39c2c5676f3ae30a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Exists True Passed
439d062f43293e0ba9020d649241448208eaba23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Exists False Passed
7ac903683f5ec4642995e8c15bb87c72492888a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Forall True Passed
e7367a109e0d9e8bd12da49eec20ae4174b79202 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Forall False Passed
85d113de154dc7d3fd74a46e8a9b550adca2df74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Choose True Passed
b62f449843f2db9a517fcfd17ce0873731e4269a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Choose False Passed
8ad72349039bd7c50fbf92ba8b0f6484b2b8d53c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Record True Passed
9bfa33b3b655bbf77e321f9993d18a8ce4eb5095 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Record False Passed
0c574baab8ca76e2215a1082b5e2f11abd9a800a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Tuple True Passed
b14f9c67137cb14fdf73769ae8a748ba017582a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Tuple False Passed
225a75af6705edb12f408ded00b8bbe6fa91e736 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder TupleEmpty True Passed
4ebdfee5f45e86a2c44c2a5521320b259e59381b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder TupleEmpty False Passed
f55084d482f2c1a5f6abfcb7163066ee5e0dc9b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder FunApp True Passed
75875584ba966c9921f48aef6cb1e26aae7b275d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder FunApp False Passed
1699c09b4e3c467832ef5f9436c4cd6412aec942 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Prime True Passed
7a249a5da359f51c7a8b1275ccedfbceded5d96f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Prime False Passed
89165962a818b38e37792a025a29d17a1645345a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumZero True Passed
a3a3c19b7ddab763a6a5e6ed370d1def1f906325 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumZero False Passed
172a3b59bca8d489c620b9c53179d1486f68468c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumOne True Passed
ca223948140c691ad47cdcd3f60ea7b6aea8f4ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumOne False Passed
511bbd667d5a28af78f0d9c1501d61f081e38da7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumMaxInt True Passed
f496e37a10c495fd1fbf0dd3fc68e5d521ef1dd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumMaxInt False Passed
447be6ee35e4a0a21f6353fb0134e2672ad67f9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumUnaryMinus True Passed
c4a21cc8be4640547eb0019d766bc3f24f9a2273 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumUnaryMinus False Passed
bf3b8847f68ed6041c9bd2721fc929493b2f6b69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumPlus True Passed
62ab1bc77cf1664ceb379d014ebbde658781dc92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumPlus False Passed
da6fed119a143171fe4571e94bed09a454ad532e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumMinus True Passed
839b4f83104f36856e4b587827dec294d9b1c8fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumMinus False Passed
46d05fcf09d7ff25fcd18e59d6ea1f02c9e63a34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumMul True Passed
d09e94e9882fcd0ed8ddd95026b97a11dbffd0cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumMul False Passed
6d7a390e7630aea9042939baa4ac367c8ca84a17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumDiv True Passed
7718ff667b1713d038a9c09b0099dc6c0d00bf32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumDiv False Passed
ce790342a28f99b5b262f81912fda045d0b6984c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumMod True Passed
10eaeb4f287265b31ae6f373242289f96e8c19a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumMod False Passed
d70ba13f1d8f1a247d05c395db0c70b00e66644e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumPow True Passed
309a3f1872bf2224c639df60665aaf9885ef3480 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumPow False Passed
b8569ff8794e45a4ceb1878665ad78e967608756 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumGt True Passed
2f1aef79f97fc3da624655a64154e5a0f874d7c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumGt False Passed
ab49f902453924a7a9fa7cca7d352785e7aac98c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumGe True Passed
9e2d72d3d3ccc45251bb4b454a5b30c5665718a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumGe False Passed
d765876bd2094b38cc41016591cc7e835b9bbcba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumLt True Passed
7ceef41418420e6e152690e8b8cafa0b4f3cab2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumLt False Passed
40156ca183951d03816ea577f389c018318f9387 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumLe True Passed
8e52b6c3f300f6925d0f54e163b02404d4896d6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumLe False Passed
d600929af64f7c7e2829e128ee376ccfd19682d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder DefFun True Passed
176ec3379c50b82b0ff3e83f7bedc5e93e8af1c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder DefFun False Passed
d9e3f38e83af47670cba5a51c9a22730da0f22f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder LetDefFun True Passed
5b612e6cd7d442cdcf1a4ae5a257883e8eca0fec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder LetDefFun False Passed
72d5f7621242aabb2971372bc35b8b92e23ac478 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder DefFunRecursive True Passed
250db848e871f906d008a73c0ddd211c227bc7a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder DefFunRecursive False Passed
827b73e01aaee4ddf4b1fdeeec471e0b3e79fa4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder LetDefFunRecursive True Passed
40105d3d211b5118b5f20cac4e48fcd3638c1bec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder LetDefFunRecursive False Passed
2e5bbc454cb92871e9edea3c27eff2a959fe38fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Def0 True Passed
97bf283924a9fe0e31961c1934a0eb264ad5af3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Def0 False Passed
8c0e2ba5c7e1113afad98b832490de99c8c62ccb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder LetDef0 True Passed
015052462b5df8c5f62d8294ce003d43fd718430 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder LetDef0 False Passed
cc299cb9906772899dbb82455be6c18553f1dc9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Def1 True Passed
4c5ea823bdb87e02090fa07724ac274380cf067a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Def1 False Passed
ac5130c7ce706d27476e2197c8f7045bac411cd0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder LetDef1 True Passed
0cd4dddb876a206f5f12bb9ae64df4f0cc14332b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder LetDef1 False Passed
b7eb54e930084dfe6f47f10dea66e5c2ac0e3896 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Def2 True Passed
4824c15968e76c333a439ea718016cb81a998886 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Def2 False Passed
ef425dbafe5fcaae26543208ae2deb1fd01e5426 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder LetDef2 True Passed
a65f5cf5201e7c4121836c6b355cfb79dbeed0e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder LetDef2 False Passed
e7a7bfff0a76e2afee2092e3544c5496c02727be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Def1Recursive True Passed
930f4b5990fa74cdea796def08e48e9cace20258 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Def1Recursive False Passed
bc97096d7ea6b76ce90e66b189608036395fe8b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder LetDef1Recursive True Passed
fddb7dc3c64bd8f8348d3fc6741f6a5c8517646e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder LetDef1Recursive False Passed
5fe3fb3473a2d935e72283a0be859ed8a2b722e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Extends True Passed
d746933afb003a770a01a4da944ca29e372b19b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Extends False Passed
254f7df98aa2b95f256d92aefd81047d08be8e00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder ExtendsInDifferentFolder True Passed
a61513f8efd4a5fb387af409b3582d99e81c1963 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder ExtendsInDifferentFolder False Passed
ca6931e6e0f89c3a0c70ad0bdb96264b29187b13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Variable True Passed
12a3c2d5d4b54ea569a981ba46103e567dd98969 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Variable False Passed
a9ed979208f1cfb03b8f0555fe1f701075c4be34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Constant True Passed
79d260d1cf25b581f7e0e131af4cac1449aed95e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Constant False Passed
7ad38cba3d3bd75721943fe495212568848f7af0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder ConstantModelValue True Passed
39ae8db511ffacc945ee7cb5419605898f88d038 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder ConstantModelValue False Passed
4a45e784f4c21dd63f98a4a45b7985eef86e9e1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder ConstantRank1 True Passed
3d1971dd72de42b4c91f4abc7d4b69ff279c2f1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder ConstantRank1 False Passed
3be0aa0c78abbb85aa0fce21424b46736fbc0373 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Instance True Passed
f9a710f584c8e75682705ebb7ee39adfd9dd8e4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Instance False Passed
7bb8cd6fb46b3a39dffa4fb9e3614e87e32abdcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceWith True Passed
5673d6a4a78aa166a28f909fd4ed11526736b867 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceWith False Passed
3547d81a66b5e69b2de837a9bd4a669c61f094e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamed True Passed
3273b81c1cfb83b4db65c0797f78de2349d260d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamed False Passed
13713191c75f6b4904b6f7fb4844cb990b53676e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamedWith True Passed
e3db58dcb13d0faeb7be2737c53812c76982984f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamedWith False Passed
99cf36f0aac64182b1b682e9eb579a08ba118950 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceInFolder True Passed
2284af6e46ae9d8be4bfa5a74549d970b3e39ecf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceInFolder False Passed
a60b415db992349ca2d621808d0153e46e32d969 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceWithInFolder True Passed
de729f6a28cd69f5828bb2b3821b5c46c2d26deb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceWithInFolder False Passed
ffb6f8ff69fbac72897715b21d0538ddad84e8c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamedInFolder True Passed
a1c3d25c8c4900718b6e6c774479cf9c0c5208d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamedInFolder False Passed
2ba420b24a63f855a7655e4696f341cf2c1b2051 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamedWithInFolder True Passed
97b5be2d0f24cf6a3433a9cd037861bfff149752 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamedWithInFolder False Passed
2e0d1fd84d3139c69aaef637c2de41560d4b3342 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Enabled True Passed
d1748f38440776ac1d46142302a7e1afd82912ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Enabled False Passed
f062f766d6e66e30761522a889614f72ac5e8607 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Cross2 True Passed
0cbb95f2ccfce7008cebd954f6ba66b0a97f354a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Cross2 False Passed
5845da539448d6bcb20fe2fc46657b869db174c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Cross3 True Passed
6fd7162a74e8a7c7ab333420165e4626d41d1448 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Cross3 False Passed
4086c420d91235573e2f798945502ea070b22430 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder FunSet True Passed
ea4029c5fc22779fea6e04d2e4f9e8116205fcde TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder FunSet False Passed
11a475483fe628e4c4c1c4a8ce0045d54ae03bda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder RecordSet True Passed
d699eae4cf72ba1ab2f5064cda681c6e78b2868d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder RecordSet False Passed
f8f7bfbf6f89d773ea638046e8a4541e04039b4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SetDiff True Passed
e28339abd7124117754dc672d4266c25da18d95c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SetDiff False Passed
dea2cc6f78fe683b3c32081af519f8e558cdd0f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SetUnion True Passed
a7dc02ebee953b0b6a413ae5c4c37a5ea03aa8f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SetUnion False Passed
dc93a7e11d6b57f2b4462fdcf4a71e3f9105a42f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SetIntersect True Passed
31cf13eb5261f48ff87364b4c3cb6942441d6b42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SetIntersect False Passed
1103f743e752709208466c3017c3aca1c50cdb05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SubsetEq True Passed
bb191b432a125ad96eb800534f34d16f89084676 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SubsetEq False Passed
398002c7d965c93727f65f5591a8566cd9f11079 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder IfCond True Passed
8473844331b9542d861834a7d0b1fbbf79a0b02a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder IfCond False Passed
e07f96ead5d3549b073cf716e834f59c38538211 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder IfThen True Passed
371c7840f7ebd820689e5d7d128e8510d252cf28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder IfThen False Passed
33d6d9ff231539fa6bbd1aa151a9fd4fc43e0176 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder IfElse True Passed
5f68741296100f2615dbf09c6ceeab3853302a90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder IfElse False Passed
681229097f4d8c4e19d2927bc8cc576d94cd7a8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Subset True Passed
0c0bbfd61235ae338f9625e8ae6784e1773953b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Subset False Passed
8fd34de400eb95c0fb1339df3107c041a8b978f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Domain True Passed
c6f16c37f2f783f854bf286f5676cac32caf89d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Domain False Passed
be8bd74d7918fc493988b48a06917692e222f5f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Union True Passed
590c84b70cadf36b9c6aa75f1e87c0e1dafd7faa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Union False Passed
38cdacea7cc7f6f78a03750dd04f223ef504c8f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Unchanged True Passed
63bb588a7751032ff87d1882ead117ea6bbca764 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Unchanged False Passed
b8ee53b1bec93ca2b319002f1d64bcce6f18ca6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Equivalence True Passed
7a0c2b64d10ebb4595c101a6f9ddcd51527f7b57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Equivalence False Passed
7a0d863c8beea3c54c21fe9926bbe73aff74a046 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder StringEmpty True Passed
0a9efb60dd86039a8bd3553f3b2bbd4ed54df47a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder StringEmpty False Passed
c1ee587813c69e05da7013da8645b7a643acc541 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder String True Passed
e3b485f26eee58a00e43866466c7706ac454fa3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder String False Passed
b69a805df3e6f339e936838c3a802cd05774a918 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqLen True Passed
8d61ec69a4a11e226a7540e7fd8610c09d7d6381 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqLen False Passed
fbc80050f5f35d33448c029147def5410203d5ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqConcat True Passed
03699ce5c34302d66533e5e847446b506154c9ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqConcat False Passed
e53c09378d5a0716040277431bc1bef102be1a1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqSelectSeq True Passed
f32cd9b3710063203132f088b6e74ed43106a0c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqSelectSeq False Passed
34a75ada9f924aa9983763d4006db66f2ee2bfc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqSubSeq True Passed
b06ae020912ac1be5789cc55ef6913b0f2dfb919 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqSubSeq False Passed
9b93304d7eb6c40e74abaf38c66fce83bdad2b75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumRange True Passed
50155b739e1ef08261785e637f4ff22fc68b62a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumRange False Passed
87b43f5a236b7ef48a04b02b3d0fe5bd4039f808 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder TlcSingletonFun True Passed
b1a3f815670888235668740005a4b85c69c2aeda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder TlcSingletonFun False Passed
c525388dc9a3054ec53827d9e0cbc3532ea6c027 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder TlcExtendFun True Passed
36dc48e89063093db2fda1a96ae362ba70365716 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder TlcExtendFun False Passed
f5db3f26fa48127ffdf83a5a9b66dedc16f7948d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder TlcPermuteFun True Passed
d6b9a8b8f929a741d6c786443ef51e9006198170 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder TlcPermuteFun False Passed
97dca43c20b11f53f657460ed24195c7eebfc4ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder TlcSortSeq True Passed
3859ee278b44353a50dfff8886c714cd603e0b05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder TlcSortSeq False Passed
366701b0708de26043f166d709977ee2473f10e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder TlcEval True Passed
1f57dcc605b654099bddfa824e6d7f27c1524ddc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder TlcEval False Passed
740ab7f9957536115b6f1bae2360b2bb5084e942 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagBagToSet True Passed
c53f4236dffa59b07f9aa2fbeb346bdebb2f8c1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagBagToSet False Passed
b1cbe88fdccc2724b2e0d246e2354b2174316b1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagSetToBag True Passed
4ffa3072c3e2c14083b652106191def481432b70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagSetToBag False Passed
412f8f595b63f62383a72a1037c9a2cd9b42591c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagBagIn True Passed
9d140eb4de149cf9e4c0654f6ccf784e902cd617 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagBagIn False Passed
f1f8f48973e496f78009fc826924e57a1cdd4e9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagEmptyBag True Passed
2e2bbdfd5486ed6e5339fa9cd7167aef8df29129 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagEmptyBag False Passed
2bfb82ca7eca474a6adf25e9223bc16138d7a1ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagAddBag True Passed
d09b102c0266d4a27bec90648f9571e371b9abb1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagAddBag False Passed
253f1bb80f1a6f0cc63f6e12d6b0b578be78b497 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagBagSub True Passed
ce9fd30d2af93f65525023ae2685e8aa7a657cc5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagBagSub False Passed
764923dd68f3bfbca416e6f8b756798996b50e3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagCopiesIn True Passed
8fa02998cf630de341e25f20614d68b36901190d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagCopiesIn False Passed
53e7e926bedaa9a853627199c1ac015d745c1da4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagSubsetEqBag True Passed
ca49944746f39b9ecafe9a820fed216ba98d1bac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagSubsetEqBag False Passed
d9def1bf5052b0a2d6885f77e8ff571448b9d969 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagBagUnion True Passed
b51794c653dee1d38a74b8f0dc16096424b8c8ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagBagUnion False Passed
ee0822cf0a12bd1a5dfe0e2556332b5983371f40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagBagCardinality True Passed
feef992d662c4378994ec872824f7f210d7688b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagBagCardinality False Passed
af4750a79795471bcebe148223e6c68edc9c32fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagBagOfAll True Passed
463830cc583de1f06de60f2591c3350d9d722cdb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagBagOfAll False Passed
e0acd0918ba4c35c26b8975e168e7a5a3be85a76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagSubBag True Passed
4c142bd193c852d2b034f78c3550f444dfa59cb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagSubBag False Passed
1660d2c914e58581d8ed6d993056108e1ecc186a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder FiniteSetsIsFiniteSet True Passed
cc8870a1d7d8771bb6f296a2f7b59d3cf69c0fc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder FiniteSetsIsFiniteSet False Passed
300b36ab178393644674eb5b1afc3c96d811f30a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder FiniteSetsCardinality True Passed
f5578b517231b1ec9d641999a5119defdb899139 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder FiniteSetsCardinality False Passed
af7f7f476e5ae5cad7153858951ffcb1420beef1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqHead True Passed
5c58447aed5469f7462a5b039b0911bf2a4e7f79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqHead False Passed
1dfc08c834d44072814d7ec0dd7fef886b554546 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqTail True Passed
93d6ec98ab7f95d4627ba02062b29206225afba6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqTail False Passed
2d84d2f9f2610398f00c56f2bd681b3b27c71f64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqAppend True Passed
378845fe6243bee8730b8fcc9073b7182bb927b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqAppend False Passed