Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
fce574c00d5e001c35e5d711a29b70f0b4dae246 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BoolTrue True Passed
95b08c16d2ef8f63b075ac90ecff63a69ca2ddf5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BoolTrue False Passed
b67e63f66edec2671046b2ca93d98b9a97fccb04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BoolFalse True Passed
f4a15582abd1ea3c335ec62183c1d3c46b2af290 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BoolFalse False Passed
b54bd744b51e32d559f29c5c42690354689fbd0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BoolSet True Passed
0701d352e0aceadf2fe9be5566649c27cc70e1d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BoolSet False Passed
8ac19f23daf3018ba78282a1b256491556d3a981 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend And True Passed
dfca5b58cab26379bef6049acd120da30de04a1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend And False Passed
12ae11bb82c18a97f19da0f444679356f9e06a07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend AndMultiLine True Passed
4d13ac572b9cc8b59704dac0462303e19440f740 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend AndMultiLine False Passed
4f444fa75d09e096471914a09c101d066856c8f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Imply True Passed
3eaef15187f8d37a92a51b5dc3b8904fedf5d96f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Imply False Passed
18bb7ad78906658a23edf5ff23d26e7bccde8b51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Not True Passed
2b7c38039dc7b345ef6ba569d56fa4dc7eb0523a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Not False Passed
8d8bfd91cc10f7b734f840686677cd27d4f6a873 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Or True Passed
e84d03d0b53f70775951123b3cc3e4a3342b7eeb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Or False Passed
4b383c5cc06a1dd87ff9cc45024b1079b45d2a76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend OrMultiLine True Passed
8b9eaeb7809840bd976fabf05a1569ad79d5bdde TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend OrMultiLine False Passed
681de68c1b863b8182461c1dafca512f5bf4136e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Eq True Passed
40118fe8c78435f03a2e53ddd3078a8f1347e368 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Eq False Passed
6c224419717baf353f7099dc861509185849971e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Ne True Passed
01812253c68a575bff23578d0a49541ffe7bc7f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Ne False Passed
59aaffba5dba58273503e66d1b577e89d4bc3f29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Let True Passed
ade1d0eb20861f4e0c6aff2d1ccb34347c4eed6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Let False Passed
5acf96404e323c8904d48254289b61a09c5aecef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SetEmpty True Passed
35a5b4046db3f8716f861282a65a67bef2d3c91f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SetEmpty False Passed
1cfab2fad2fd365a11674f7e3e08fba0a23c5050 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Set0 True Passed
d62ce6eb17b8ba9792d8e4df32cf0d38524f702c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Set0 False Passed
6012625ff4393e1990def073557dff5a3571666e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Set1 True Passed
fa41469139f187826401639b6e13a1324dc82fa6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Set1 False Passed
b0d28b9b1e865380d82b82a4ad266bdcf9b40ba2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Set2 True Passed
5e1b9fcebd0ff095f92916906fbe7b680625d16e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Set2 False Passed
4f93acb34c1750befc776243909c07db328f13b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Fun True Passed
75afad43daff78ecb37b70a9c5cff40bdf229652 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Fun False Passed
a5e5d575ddc219f6ec8a0a393e4521ddfd553bb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend In True Passed
13d1bb368408eaf73574ed0ef951b2781983a1a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend In False Passed
318a7b0bbd88cb21615c90588204ff8743195f69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NotIn True Passed
37a770d65501ee2c8752d8ec4b28ed8de657a322 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NotIn False Passed
7799220ffe49d111fc1d5399bacc6aee761f9117 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Exists True Passed
b7238829d99fd1c6992d9ed59375f3c0854c97d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Exists False Passed
4be6c045f8f918759d12502804e2958e5878a284 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Forall True Passed
7ed8db3485b7894fd456f848d3f0861042b94717 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Forall False Passed
99b413a9a6df741e0d29f025bec28e2a325facb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Choose True Passed
6be5e71bff39e310a8c0fab1994ff4d30a5ee6ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Choose False Passed
789c61180b0bc5a08c498a94712bbf30568e92f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Record True Passed
a587266ef9ab259b95de84453dd1e4fa7debd72b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Record False Passed
5dd950644e90d0b27f190d84195de94d3ff5170e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Tuple True Passed
f11faf45a3e11b397775ac6fee951de9b8888dd0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Tuple False Passed
e8fbd2aac993503959741884cb1755e2f251b40a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend TupleEmpty True Passed
3e08537c7c380c019ae140fc0865c010059f8ab5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend TupleEmpty False Passed
6fbe1d285e6b790e6ba3614666abe2970d6ea981 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend FunApp True Passed
256770e1a0e72640e0c02b59e40419b8e9bf51b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend FunApp False Passed
0bba0992d136e58da8bb42de831fdeb7b7a0f728 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Prime True Passed
947704d6b057bb6e08021fb47e823bfceecc283c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Prime False Passed
df9fcff06327523a7423725d866f3ff26eb3cd26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumZero True Passed
1b2937702302dbbf0e8bad2b810fe7300a5e036d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumZero False Passed
c5fb3d2e99e3ca646419099255c88bb64277320b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumOne True Passed
a21a2ebb665d04229c6e0ecb2d5725627a249265 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumOne False Passed
a143130123b9002de46bed5910ef983b2bc6a80d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumMaxInt True Passed
6550d58c31a75ac76679b4c01f8790b0664deb86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumMaxInt False Passed
131a6a1507e3c7f2a5d16c5781f2ba9d3418ad09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumUnaryMinus True Passed
d5ec6d5503d041b1ebfa49a75a7088d171ce8782 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumUnaryMinus False Passed
f2831c97571a127a35946af89b6c833fd951577d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumPlus True Passed
cced859d5a955aae7a1c18047e2c0951321cbed0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumPlus False Passed
c7e45b26de441931470ac0ef4d53bfafe13e8937 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumMinus True Passed
be4477e7620854e4fa33ebd871955a309b099ce3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumMinus False Passed
afe24d53fcd50a8dcbc80f2261b968fba07568d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumMul True Passed
93e923fa04259cc6057bccc5e52e22d79a4c7a6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumMul False Passed
ce189dc8502be6e1ca6c503a97a22181e96d710b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumDiv True Passed
d87892bec48372c4b211c0cee05dea5009e1df36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumDiv False Passed
1dacbcdc6af6cbf2989ec93c495939a411a8f474 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumMod True Passed
47eb12f79c9f5a8c3f7d453b21cf113fdeca4018 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumMod False Passed
280a4224b0bdaf39ae3e073f42aead5de02404f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumPow True Passed
293cbcbe287ac30acbc556045e0a2aa1451ae757 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumPow False Passed
4dc4624f860c77d18785d65f1034f9a1bd5b425d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumGt True Passed
4b98bb9b2b6fcc17a5fcc98c4f7d52acaf6b2047 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumGt False Passed
accf6402bd06cbd62900e411356c14c6ce1b877e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumGe True Passed
fd4f2287249377528ae0c8035f55d4cd316de661 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumGe False Passed
382911aa85ff740e3b7400a8696177a5163637bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumLt True Passed
c9b217a6bf858342fb6e3de2cc130c90b6f3a8f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumLt False Passed
9ff72798e83a0985e05c42557ce6b3571566d0ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumLe True Passed
45144d742677bd2ff9b456d8667bf598c45c0004 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumLe False Passed
414fdceab3a4c5993bc65c7413454f8b34e7701a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend DefFun True Passed
112248596b449d508f15a122499d577de906602f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend DefFun False Passed
8a26c6fd994cf9eebf2487a48b2c88654cb89f49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend LetDefFun True Passed
0e3eb07a9f0020dd03427ef87c27bc5b3b37d68a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend LetDefFun False Passed
da21d6e007e2ee064e0f16e4cbaaa6b387cf5b8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend DefFunRecursive True Passed
452620c550cad5d76586570121f8961de7e569ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend DefFunRecursive False Passed
2de01ef6d0e3c79d76f85ac08b51f055ca05b3bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend LetDefFunRecursive True Passed
96a0038d58240b43b8dc530c05bd13a503d44b33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend LetDefFunRecursive False Passed
96a0b5f07ae049bddefd0e5da1be4332f73c3150 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Def0 True Passed
91fe8c500cc5d2e94034dae43ac3d08abb11a70e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Def0 False Passed
bc5f7d1754314767138acded56a479f40a8fec20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend LetDef0 True Passed
36b864e94b5f41a62d78f0542fcf2389318ce9f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend LetDef0 False Passed
d038199f5c33221a652c4a5046875a1c6a2c6a58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Def1 True Passed
5d1b524c2e02fe48be1093b2dd5a71ad66fb8c15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Def1 False Passed
ed374570668e4d029e2e5b8893893b2d616fac05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend LetDef1 True Passed
64482f0dedce15f179e6300bf7ee2db13784aa17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend LetDef1 False Passed
6884806d4cf58ecb60c3fdd7769a9093c7741a66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Def2 True Passed
3014aad91076a2f14e3b5234913f295be731d15b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Def2 False Passed
b57453de638d56b839c37739ec4442e9863cd84b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend LetDef2 True Passed
dee6db5977cb2e4c2580654a396526f13235d483 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend LetDef2 False Passed
a9eb286de98375093d6f19c8289ddb0fd70c291c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Def1Recursive True Passed
4449c851f89671cb0c4b3944884b8c158489cdd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Def1Recursive False Passed
5cfd45646a9d2c2119fad53abb6247b8bdc90ddd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend LetDef1Recursive True Passed
550415efe1da0583ef9fd037d08beff2a910432a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend LetDef1Recursive False Passed
d4e3202208a52f7b65998c8bdc65ea63f6949b2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Extends True Passed
d15d0b4412b50d2aeb1024476746082a61fa34ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Extends False Passed
0bcd02a7d18d5faf718d5cb4c1312fead1301f2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend ExtendsInDifferentFolder True Passed
b7d31ebdb098e7acb1fde4bdba5e5cbc34bca146 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend ExtendsInDifferentFolder False Passed
47ff921a0fabd0cce5a3076d7d13ab0f3d752b9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Variable True Passed
8dac27f39fb6c507998fc4352fec9426187fcd90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Variable False Passed
3a514113c9fa674c7f097a3a3ed4c1a395aec865 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Constant True Passed
7319fecbc1af107cae580f41c3a7d61975d991d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Constant False Passed
55dfe1c0c28f2df648896e4b71a0d5a1da0f0699 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend ConstantRank1 True Passed
7f4cf25db6036bb56738e3ce65cbaebd7f614c7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend ConstantRank1 False Passed
0af10d94758e202fce72ba92bc1c99838423c80a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Instance True Passed
d5d011af3a8ab13e356e71115aed85ad3d4839e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Instance False Passed
ef5a3871e496c5063758e3c5244dbf953408a02e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceWith True Passed
4e88d621e5679781f7b2b6125589cf944cd425ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceWith False Passed
306f4e489be5a0caa18733943b8f5e357fd66e92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceNamed True Passed
b29c6aa1b115a5b247d9fa803ba399d41285119a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceNamed False Passed
fc07cb04381e45917b35c7a2be21d9fe2d319500 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceNamedWith True Passed
7b10b016f3caa7e26c0923a440fd6b276c573fbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceNamedWith False Passed
63a4ca1dd83355747d66af0fcecb34264c9986b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceInFolder True Passed
2e27db237fc6ee9d56b024b86d25af2c397ef8d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceInFolder False Passed
2c2edb2897073f16cd049f7f3f5dd979c34b93b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceWithInFolder True Passed
b9fb1befe45d09b44269d55707b328cb5f0091e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceWithInFolder False Passed
a0a50a7bd9ab4ab5da8604f9f5d2e2a8124eceb1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceNamedInFolder True Passed
b58b793fba11a346c513f6efd6022e9d3c9205d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceNamedInFolder False Passed
c7d7cd133f6a602e940342eddeb2a08d8e7efd53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceNamedWithInFolder True Passed
612e9e3baacfde471cbe31d8b8d0a00de5602900 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceNamedWithInFolder False Passed
1b3a46a894e690035d75af5ccd3c494aa5df2f44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Enabled True Passed
7185f0133ddc664a561425233a69b246a64da829 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Enabled False Passed
d6247080b68a33b760f760868ea2c73c3d48cafa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Cross2 True Passed
07f17b14737b2c0e525c1c07bd8cbf4712f7d7da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Cross2 False Passed
222b64ed5253b3ef3a591faf28cbacfa07f22c0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Cross3 True Passed
ba173f39eae4d3878f1dfe7569405dbc71572186 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Cross3 False Passed
6ca3a4d0cf472e8adc4c795f17cdf9fcb58f4459 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend FunSet True Passed
a054d6fa3123887d15ca8d61fa23bd1d78c67312 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend FunSet False Passed
23a7deab47536e2cd31df483334a6dbf5acd4515 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend RecordSet True Passed
b0c9c98047fca62fc91952fed02eeb8c542e468f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend RecordSet False Passed
f73279cfcbbd2330e55a7d4fcd31804c9805e452 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SetDiff True Passed
fa3798be03840094a5723b529e419409e88551a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SetDiff False Passed
03f52482517391cf6520e156d8f47996c513c0ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SetUnion True Passed
0d42e4aeecd2cf0d1aacb2686e38eb02c4890dbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SetUnion False Passed
9d5cf29c9d26624f70ee4addc92a299cc47298e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SetIntersect True Passed
76258ddace2574b967cf822bfa0e265353be3dcd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SetIntersect False Passed
590bc2305dd208b076af862dd6209b0baa8df2a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SubsetEq True Passed
a6561a15d4f19d5e08f1b20e6aa339c7163c9972 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SubsetEq False Passed
1a4b00bf3dcc14faa90e722a2447b817227753fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend IfCond True Passed
5b4dcd9e7280460990ba01a1ba8fc76c2e08bd33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend IfCond False Passed
2f9e40a731c13fe0708b198e442b0ba10032c5bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend IfThen True Passed
076e588eb235c358110dce8ae9fc7dcc882e091f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend IfThen False Passed
005781451b7d7eb097a5e060d10f43e08e3475fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend IfElse True Passed
b69ffc7369a60fa68e1bd6b14bdea8466fb45534 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend IfElse False Passed
aa8e51baa83ecfd461c9c5be35cbaeb87155b6a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Subset True Passed
7cd9d9896ca2a4a9a43f21975c28e0d16bae284e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Subset False Passed
028c4109cf281652987fc5fd07a66ce339d39893 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Domain True Passed
0c603f522e35b014ed2c48ff5c56b7fb0d937e7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Domain False Passed
404a58ff4fdf4f2d8408c7c56760413e40949a68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Union True Passed
9c59ebd08b3553496fc941c830e4bb72fcb4d283 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Union False Passed
f126f3f07b2f6b438b1283fd30ee695aacc9ab66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Unchanged True Passed
19e9ee5b17a4ba128617f58c91ab95b0b0e69e7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Unchanged False Passed
a8e5b47bc3c0c75c064680800c639380760ae111 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Equivalence True Passed
f7cbd17f350e42700d1f3dcc0b1c5b212a840afb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Equivalence False Passed
3580b2119c6692b8db478ee4ed9f27f39df9db80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend StringEmpty True Passed
ee942a099b897a548e4c9d070c68d109061883e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend StringEmpty False Passed
0041184cb1e964ec7936bf5a607541ab167af7f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend String True Passed
b59db6da01a9e8aa6b5dbc52d458a65225a4b845 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend String False Passed
0a0c4180fd0b39b2b12674b4a86b2af142e3c78a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqLen True Passed
25d66e2adc4c2004d2c073e1aa898ec8213298e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqLen False Passed
e04fe13c45e54b7a2b73d040f019700cd255b46a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqConcat True Passed
231bbf62b4b78ed0c1d0fa9bd51dcd821235a0a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqConcat False Passed
cf5bf33a0d190bbc77d4d4146e4ebe08eecbfada TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqSelectSeq True Passed
c8b7a1733b55bb1aa682eed0d5155d89cfab5c33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqSelectSeq False Passed
3f615c8888af72f3dda472ded6bcbcf5ab623c9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqSubSeq True Passed
a34073f553a992fe5d6771a04ba24311b59800e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqSubSeq False Passed
069d1223ce33657bda97faa6f1d57b350f7e684c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumRange True Passed
411b294b74fcfadc1ea2085d97f3c78410a2e351 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumRange False Passed
eea5e1e8ca47304718f0237acbd63a1ccc682fb8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend TlcSingletonFun True Passed
e01d9b7ca4296585bd5fca1ede82008f3ea301f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend TlcSingletonFun False Passed
be2f1c94a30cfe326e0412f84e27f85093b69d7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend TlcExtendFun True Passed
d7068e82fc6c552f0ca4ee3fee63ffb265645759 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend TlcExtendFun False Passed
0f31dc9a1a7377a062a5bc6359b35e7a77c3bf10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend TlcPermuteFun True Passed
7d23a90b3fd125505772b740943ffe9bc90b2d19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend TlcPermuteFun False Passed
351b684768fc46eb55c0fec3c7f2b9140a3a040b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend TlcSortSeq True Passed
84a3f468df6123f12b1aa78799408f9b4a561be7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend TlcSortSeq False Passed
75d3ac18af065e1773461f3ec89b127063c5aaa4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend TlcEval True Passed
d996b13cdf8225908adead4a09d476e5a9509eab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend TlcEval False Passed
8dd77c586323edd0cc7b1981ff03513b4fbc24c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagBagToSet True Passed
fa24842bb036145082ad780bb575f21289a96218 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagBagToSet False Passed
d3ebdc8006e3d8550cf11be877e0672e2054a434 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagSetToBag True Passed
4e1041ba33e2f4210a3ff8cc09dccb868d85328b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagSetToBag False Passed
af656382f2179b5dff81a70f8cd7d082e6bf63e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagBagIn True Passed
d7685987b7d54cce437ca93a57990e9a21825843 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagBagIn False Passed
d1b3ac223b896d9afcf82632d1103e6ee2b48342 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagEmptyBag True Passed
731fb336eaa6d2461e5b468f85a421b3d79566f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagEmptyBag False Passed
71968b792070dbcb8c8e9cbfe9741e7d9b85dd96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagAddBag True Passed
636f0e13f49ad10c0e590fb7943a5fdb3e82681a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagAddBag False Passed
f269f572da6c7fb630066899b2f6e3981de82c38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagBagSub True Passed
0e4f0beb5c2db37ddc76035931b7a86319f138d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagBagSub False Passed
b062e94387a91f61432fac37ba7f20a5a76d5fa6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagCopiesIn True Passed
05850ec35b76d44db6f891eacc1cccc295d66ea6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagCopiesIn False Passed
0442d047b2d41b59fb726404047055e5a542474e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagSubsetEqBag True Passed
2500f313a05bf5296c47d35a8636c422c0e76dca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagSubsetEqBag False Passed
20bca7cd038645ea5af730618d3474376de5b144 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagBagUnion True Passed
9774e0deb1a08b6d44382dfff594f48b99c2ae58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagBagUnion False Passed
362a3202624686beb58e8f3cbfea25c9c1bc016b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagBagCardinality True Passed
970684d1a3a473e6743d43366ac0a981a395dfc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagBagCardinality False Passed
a039356068199060d64609ba6c660003a2327eda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagBagOfAll True Passed
63ef83a95ae2f5e6c8f40cf7def44f6bd12e0700 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagBagOfAll False Passed
0f71e9a96157f49d1af668577df5318183812853 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagSubBag True Passed
f84ba6aeee75a9f9025c516b0055d26560ae8a34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagSubBag False Passed
ff606794d174262aead12f43753c1b653e293052 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend FiniteSetsIsFiniteSet True Passed
550de5babac1db60ac28c2b52c71a831ac8f2d6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend FiniteSetsIsFiniteSet False Passed
512bcff20c0a1a8fd289dbe9b8da6aa0b84221df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend FiniteSetsCardinality True Passed
9c738809bef08b6bf2b1b4a6ef42b33684c70e61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend FiniteSetsCardinality False Passed
aae95a1d985776e68e11ae3f61a6d4da96d281c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqHead True Passed
a161742be6a8e30bb9a7db11e22d8cf3106f5aeb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqHead False Passed
fbe68b4704d1fa711eed28d39c5e90befd780125 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqTail True Passed
9920693cd5189e10c167455ee3f1c9843d4fcf5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqTail False Passed
9993932274ace20bfb5d4425fb03ca628daed2b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqAppend True Passed
7fe2d4e3bf2271e842b514314a2bdd5cbf3227ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqAppend False Passed