Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
6952395f31365058ff48196be2a77a96be3b86e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable OneLineComment True Passed
a61afdc722ac41d69078fcf5a25388d300c4c908 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable OneLineComment False Passed
64b25610958b8a7459d73a5efbd7021e68ab5f3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable MultiLineComment True Passed
b97024caa5c5d5c30ad2c7ad38109c9164b5c472 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable MultiLineComment False Passed
3108d6ce2fed830989be8e8bd0db0fe3e181e038 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BoolTrue True Passed
6119200d9e7a8e214332e9dcb5d51046a85a2485 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BoolTrue False Passed
a3babdf51c48dc87615498119ba310743e886965 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BoolFalse True Passed
68da2bf53c8433b3e47d8928498cdc19945c3866 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BoolFalse False Passed
e3372af2034b39a40d7b37154b666218312a80fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BoolSet True Passed
543c9b519997b807cb58b3b4aa12ecac4274a007 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BoolSet False Passed
0438d12657c7622691549519f6b6abc390f9439c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable And True Passed
bfca83ae31e74272c62881e703143428ef9ed6da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable And False Passed
5f13ffbf2bf8d6d95e36f55c259289a8fe5df7e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable AndMultiLine True Passed
5e72897044a12e2e5aaeaccfb4ad1cb917aa473b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable AndMultiLine False Passed
9e458d30bf087acd89f4b8d0b5b0f0ef223c87bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Imply True Passed
8378f6c63076e8963e8bfee85e900dc3935be480 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Imply False Passed
8dbff5ac98b82b6cb3359ff3f266922f9f2e090e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Not True Passed
36adb84a7f84edb0964dd611df58f6b0047e2cb1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Not False Passed
7a18370310cfb510b20527b338a098968f509a36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Or True Passed
65e2f10b814f05defea33ee799501f5af54b7aaa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Or False Passed
4910dac45ba33be325d3a58ad5a7f7e619237433 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable OrMultiLine True Passed
35f6e199d978fdcc1bd55a2cbcfa94dadd973df3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable OrMultiLine False Passed
fb240ff5e1bf90aa0c549b3bfb1c94ab0d2b10bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Eq True Passed
9e9d6d3d242ce71897ed438dd9a405431bc2ce8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Eq False Passed
dbca91d4c4a7cdc7b4e37d219e201008d762f088 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Ne True Passed
e5be9c34b958fc5ed6fcf7999e2c40a6b9e22985 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Ne False Passed
6955cb809b0ace0115f7daf1a499dbcfcf5681b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Let True Passed
884fb226521c252d1f493ff61df16187f94bf6f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Let False Passed
32cc74fdffc7e83242dc9f65dab403b3c957429a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SetEmpty True Passed
435a08be08b1dcc3610ef36a8a2abcde335fcc91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SetEmpty False Passed
5b2068ec230b06ad47d35d5ef7540247d07cfd8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Set0 True Passed
34da7fb2c916db617875ddd0ff85762bfcc5fae1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Set0 False Passed
51fa0dddcdeecf3f16016263ed3e7c1f4d7859f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Set1 True Passed
ffc6aecb7338417b39fc2abe6bee88e7f63d8c69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Set1 False Passed
d13b6bf7946a91f56083c158de6eb5973fbcf459 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Set2 True Passed
8e0efb47bc978d1c7510ed37d21ced3527312d65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Set2 False Passed
e48fb479f0e6917f328a1c0cde90baa329a8903d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Fun True Passed
158dcc4f25064ef32d8915af612e8d3583300034 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Fun False Passed
0b9f29a90d4077b0cb887e11c537db0dfa78075a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable In True Passed
5e2782fd86c90581863ceb8979d0f3c20175e16d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable In False Passed
3da71ea331f2dbefeba44fb747a1879a5aa71f12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NotIn True Passed
cf6f793bf34d2240a4584f8c29e707ce65ae1815 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NotIn False Passed
3feb9f5de9bb9dec884fc97988f997e0016f449d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Exists True Passed
45dc78eb39c2a29c24bab13e48df06fe04e32606 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Exists False Passed
1b2be56a5359a9768d13a890ed96f96c614034d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Forall True Passed
fa5928cedc4bca6d13c89dc30fe62f8dec3f77c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Forall False Passed
7f0a330ed721b2478dd4be976597ce2cea07c29d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Choose True Passed
b1790d52b7e4a9fa798b9b317a965f0d74fdfa2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Choose False Passed
d887da6e798949fd101aec6850648e1d5e922273 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Record True Passed
14b363dab25627a5f2617397d4293c57814583f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Record False Passed
91dba9a7a6a0eb675fac2b947a8a9724d0825827 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Tuple True Passed
cd3dd6b31b652650c532024bfa576cbc27cb82f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Tuple False Passed
096534004ab827d9f5f4e43514aa94600a3ac2bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable TupleEmpty True Passed
d267415cbfeff03bfea92b1adbe4609ee99ba192 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable TupleEmpty False Passed
df5b5736b335549700821c75a7d90bf71cc7cc7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable FunApp True Passed
4e509d4a2a55c248ddbf92d811fdc0bf7ec24feb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable FunApp False Passed
96f15fa87a0cce1529cfbcbeb43903aa266bc9b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Prime True Passed
b6ec187a6c2fcc6e8f9845b7cc241007ef759f24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Prime False Passed
bebdfe37dd8d00115f4a7718cc8d8e6b18400f2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumZero True Passed
e1373b60ddf8b23466f7c5e4df81a51eb8412e5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumZero False Passed
73882045f2a9dd2f15e39097f52df99f8dcd1ead TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumOne True Passed
a52b788e5631f719ecfd9ad92dbc2f5cd8d60636 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumOne False Passed
f115219b87d8b790f54595c2e226295770c094b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumMaxInt True Passed
d513aa053c46498022055fa91bb9332a0dae1393 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumMaxInt False Passed
dc2008d3b240686c589f508b2a78615584c65c44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumUnaryMinus True Passed
18c4b4e2041ae895f3a5faf5df0b97441689702e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumUnaryMinus False Passed
1b7fd6db6de8daafeee403911aa1cf19384503c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumPlus True Passed
5512e2e7c26586fde9eca0f80aa40c16841821d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumPlus False Passed
f03f214fc45ae35b77c5df9448ad24967ca44a4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumMinus True Passed
5bc070858c625687befd9de7e5d2c0c3ed9fabb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumMinus False Passed
8ee3ea87c73d4ba737d1751923428121423cc357 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumMul True Passed
a990c1d90f07b91c6993cb85bd95e0dc3ac5a6cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumMul False Passed
723d5f951faf61e5f0a23e31c579d539c74d6751 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumDiv True Passed
b8dfc062637cd407551d1f2fdb92da5e2c9a7c04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumDiv False Passed
fdc84a9be25ccced8e52632a903ffad05f0a316f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumMod True Passed
de219e066e3aa31d54582fea0c4133a77e46a63c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumMod False Passed
387cab789eb7c40e88f502cb3b7428f171dfa29c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumPow True Passed
aa2a21a54c4f748ee2bb35c41dd47c7e94a33486 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumPow False Passed
90d45e4a6f7693b633593a0292e1abeb53cb9f67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumGt True Passed
e071c26dfbb8eaa558cb3efd1faf92f4d9652d08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumGt False Passed
4f2c0d578b481e2b071b779c194bf22a11a3a17c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumGe True Passed
dad915165bf3823e9dde795539f60f704037cac8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumGe False Passed
4805b62440741306175e940c38dfa3f91b1d778a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumLt True Passed
537517b0fc12ea3723a7fcb1d3a504af813b3d52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumLt False Passed
31138024b2e9ff1e176ca0b535ce5c5e09cd59db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumLe True Passed
f3db8da83950f244d2c3a7b1b27304d524b436b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumLe False Passed
a666a206d8ffdf658fa72169fea4f67108f4e43f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable DefFun True Passed
58b75cbbff59a427c4364043f858ea6fa89e4945 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable DefFun False Passed
cb9803badfb3662b609d2f63ce980cb8f899420d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable LetDefFun True Passed
6e65aa8d8c63cdb630e9e34409303b40afe609f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable LetDefFun False Passed
44aad5fbc62b46d9ecd5246ea7e5d0ad8c1411aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable DefFunRecursive True Passed
90cfbff77b75f43cdac0d481ea525e32b7f26f0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable DefFunRecursive False Passed
a9374b9d659b5262726f941538b4620a00a46ad1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable LetDefFunRecursive True Passed
d88c7fb2ab7543a2d18ccaca9e61d78f93ffd6be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable LetDefFunRecursive False Passed
2a63c4a1096ef7cc0f79f6323b0e0e3ab9288b8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Def0 True Passed
3913a5368ea4f582c84b9fcf6be60d645f52bcaf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Def0 False Passed
591dbef257b1a885b6a28607d673f9a60791e1c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable LetDef0 True Passed
449e70d731c5804a6722b0554968f38ee3e3d4a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable LetDef0 False Passed
ef8b80a91dea4935ac7b8eb9782f1a108e0769bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Def1 True Passed
572a18ccb80eea0aa4ca7d2123d5f60ea9666b5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Def1 False Passed
ae7b6aad2d5b0d623f7067c4f2560bc7111e0f1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable LetDef1 True Passed
49a76b47479b5e889b1752ffb76d72d745b6b9b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable LetDef1 False Passed
27ba994927af6f8bf070d7c1814c21c9ac702835 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Def2 True Passed
049c7325142c897117d3593629707137d232b6e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Def2 False Passed
451a427128fd45273c66f1c4cdccec474ea1535a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable LetDef2 True Passed
8338767c8b9416f9d3832a8aa984a3d09aaa69ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable LetDef2 False Passed
c714021fa63776d1ac145779eec952f93637cd4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Def1Recursive True Passed
7445925c46d41d8f4e5b3feb542f5c4134684a27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Def1Recursive False Passed
816739ca1c4202ab403bf305d1cc6413cff438aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable LetDef1Recursive True Passed
bf223df448de0658b89ea03b55da23cd9a7e0f19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable LetDef1Recursive False Passed
b01e56b68fc84a8ee86923f0bb457449e5db92f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Extends True Passed
cb9a5142fb7763288dfdc3b2eb14ffe88f46b63c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Extends False Passed
c06002507165b0d135002466ea3f42f46de37397 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable ExtendsInDifferentFolder True Passed
9bb0a86e5029b91f039d68c12f568e898e917e5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable ExtendsInDifferentFolder False Passed
08e99aad28a43e111433951a017bf19bbfd94248 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Variable True Passed
7f2284d068b9a8984d6db64d6c67e7a7e980e641 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Variable False Passed
1596214e958fee759fb53d7880670458046a5bf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Instance True Passed
f62291c1513f010bb200e7baaa063ebdf67d24db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Instance False Passed
0d4717a86af779ea8cf884272a9e17ef6a35be8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceWith True Passed
60d6dd3230c4722e8ac72b0a3fafe4d501a2dff4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceWith False Passed
e4ff8386342a45420747fe0223082b1561155b9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceNamed True Passed
38e46c9162a731d64417a53c5b0068e3bf9c40b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceNamed False Passed
642eb7e306544666fb560f02f2f8723c4cb91c03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceNamedWith True Passed
e967bb6a09d0302a67ae437e777e385bffc8e656 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceNamedWith False Passed
33b8eb9930f6c31e6e7547d5d1b461f74128834a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceInFolder True Passed
3a537fd61a135e3cad449de9409b5a99699f5deb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceInFolder False Passed
2e2b5100558c10ea84887a9d96cdce8de6050ad3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceWithInFolder True Passed
691fff4209c4fd7a99146137245b37cc541e209f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceWithInFolder False Passed
1d42357bc8f25756e16ed8bd38d2df0e96dd7455 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceNamedInFolder True Passed
c7e6a4bde124ce58779dcddce5fef7efee91566e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceNamedInFolder False Passed
62a04e66f477b85c3096ac42dc065d7277c96297 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceNamedWithInFolder True Passed
2b9ca60741e9000d0b3fc847f10290c21610d9a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceNamedWithInFolder False Passed
41f8f7bfc324cdcdd5a1377af5ace5cd37d14e14 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Enabled True Passed
f068655b11dcd6f18d0ddd4288b9bba69c2fb54e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Enabled False Passed
495d925dc90c0812222cd09e5137d5da5f1de3cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Cross2 True Passed
73d7e4b596c9d6c93f8a5239ee60309eb6163ad3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Cross2 False Passed
9ffe7255430870e16329323e2c9ba43fefab4d6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Cross3 True Passed
91a388064c5b27e4425671d01ed31ab5bc9f42bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Cross3 False Passed
1a8874bc2a1091d10e444493a88478c254ece862 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable FunSet True Passed
fbc9c970ea513bd6926becaeb8c71324b151e244 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable FunSet False Passed
0180508a74993e351d0490dafd2f74b0bd80bd6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable RecordSet True Passed
f5ce7290748489be442e6235b1fdbcb8d1f6e62f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable RecordSet False Passed
767a3bee90338ae5a6c8bfb66ff377d94cfee42c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SetDiff True Passed
f25e071b5ada8dea0dadfdc629c50989cab0040d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SetDiff False Passed
a95293d10e011371f12868a3b8ec82cc82456f30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SetUnion True Passed
7f74b44d41eecd7d35107e6362baeb45d6717442 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SetUnion False Passed
7952679687f4cc646246f596e6268c75f344024c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SetIntersect True Passed
55aec5c2c827f5c1d92f459db2b50b957241f8f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SetIntersect False Passed
361196b4c6b88d158d9fd7775ae140e067eb7b0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SubsetEq True Passed
2648751577927c7a3b426b4a9ba7ee53d3127a80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SubsetEq False Passed
687fa599d78bbfa31d5b594eea4268fb7c20c8bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable IfCond True Passed
e53975b8016094d72ae3b9a20b5725a13f120d37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable IfCond False Passed
2efe3d6808cce5ccb475071c2936d301485ab3e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable IfThen True Passed
a2413795f5f9e41c2f8a1a856f00dc598a780418 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable IfThen False Passed
8823a07e21ec62a2417c954fe1b7f615591276c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable IfElse True Passed
d46af78459c1998ce174ac4f33424c3f99c30545 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable IfElse False Passed
1207c85bb82f594a08e97bcb7393230aa78f3a79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Subset True Passed
ecf2e47bd77c4332629a6d15ba75f73c4232407f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Subset False Passed
4a93cdfc3362bce58cea5f29ac667ba73f53f2ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Domain True Passed
a7007131541ab3f302c8e31c81011ffb22458d40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Domain False Passed
c71cf54dd6d55e126a835aba7df2d2e1aaffd6cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Union True Passed
1b539fff9c13ad2034b6408bd7b4e5e35b4d1e6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Union False Passed
1665875769d09f708084b4a0d33168a9c78f502f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Unchanged True Passed
ec96a64654c0f93cbb4cdcf8b3b7e52dfb80081f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Unchanged False Passed
cebaffbc97cb86688a522bfd4265ee1e7d8c07ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Equivalence True Passed
ffd2b897da2a02d4b710e4413488724f43055eab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Equivalence False Passed
367206b357b200682fffb5779a7c8d99b03e7f2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable StringEmpty True Passed
3004ebdacccc69f43da6e39ae14197c7e05d2763 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable StringEmpty False Passed
23a5e9dca99367d055babf59fba9af843dd9734e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable String True Passed
523d2d118f022818eefddc1e20198be037096e40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable String False Passed
8b15dfa0ac4f50a93daa661818765b4cbc0989c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqLen True Passed
54fd138bf7719dbb90649478d969964a8bf35d1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqLen False Passed
1fda466a2275e0b57a5acb1820628f5042dba481 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqConcat True Passed
ebff78c7364af84d73dc7e53a44a90aa7a2d897b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqConcat False Passed
fc73ee071bb23b2b65c74247a95b8616f5be4132 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqSelectSeq True Passed
d3f7a2e115cd774160767e0f46478e0dd41d3355 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqSelectSeq False Passed
aaeac9e6e80331dba225bb1312ac1e3d602043f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqSubSeq True Passed
b8c97538dc543979af6eb97eedaa5d868f1c24f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqSubSeq False Passed
37a5b7b969376b013870d2278642b0802068df25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumRange True Passed
4f413469c60ce5448a57ce494d7a4cb813d48853 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumRange False Passed
bb1168553cd518144b7bdd5a48dd9c7bb228835a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable TlcSingletonFun True Passed
c36d89919b22f4e1ea26a8bdad8085726a37dc65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable TlcSingletonFun False Passed
24480eb0efbe90f58bd59e2a2d50b273e91faa6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable TlcExtendFun True Passed
eca8e03d6a4e8ae142dca58551f599e7693f8b1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable TlcExtendFun False Passed
93754bdb5111e92ee12ce79efe79bd43d107c32b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable TlcPermuteFun True Passed
7956f46396a495fe45508b4adc95aaa08a64dee2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable TlcPermuteFun False Passed
c7d10b2d063b65f843f886bc03d50007c64be6bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable TlcSortSeq True Passed
53ab6693867eeea08ba7183dcaa0f4c4ec8bea6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable TlcSortSeq False Passed
9cc19ea34a1efb086cfa6ad2368343a4bb34b461 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable TlcEval True Passed
5ec5cfea1a93d4a48d83c9280c713fc6701504ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable TlcEval False Passed
d86a49e36239c93b5c1b4c2cb268af4cc5a80a72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagBagToSet True Passed
0973b36a9062cf03c48b58b3a0638c4d27bd10d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagBagToSet False Passed
94dcc4840dad0c850f316bb7e4f3c8b29485297f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagSetToBag True Passed
c4a6e8887d1ddcfc39088c883ceb7c4a4195b6ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagSetToBag False Passed
5f3f5631538cecdcba045bbe1e0dac5389f7dec8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagBagIn True Passed
598843352ade6257d23ca6d3beb58e3e47d674ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagBagIn False Passed
ed1aeeecee77a72276e78c6c6db28d4279b02e57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagEmptyBag True Passed
3c2d3009073f5e7f79980d0aa49173f0a6f2cc87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagEmptyBag False Passed
ee2f260e8c2188392470f51a48b1d88fe79befc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagAddBag True Passed
b3de7dae36670ac94aeaa29b74369b618f61fa8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagAddBag False Passed
74fec76809f5eb3010940e4c11c65f1cfd9d0d49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagBagSub True Passed
2bcd60c932edf7e737bf2f31f3bedccb07ce5b0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagBagSub False Passed
a2a1761f3bf4d184e2a3d01140a68f8c4544b396 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagCopiesIn True Passed
50cd500bca37d95f0a44e6e6bbc7924c3c51d965 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagCopiesIn False Passed
412cc58b72e8fa173bb27c42c3e6429bc19f81a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagSubsetEqBag True Passed
a51ce14c2c909cadb7e42ff946f50a44caf950b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagSubsetEqBag False Passed
de1206999eb8304396a7d21bee7683064fd034bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagBagUnion True Passed
45ab1038ba60c69db5e705a49a7cc9e027d31b91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagBagUnion False Passed
edb1f2b637c6b7ed80b162a6f5df89c8e898a48e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagBagCardinality True Passed
d2a2960e1ffa0faac551160b55757ab376ac404f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagBagCardinality False Passed
99cc2e401d933afe84b63aae5ffaa93fa84390fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagBagOfAll True Passed
dee63a0a13fc6c911f3284910ad08b763ba2e769 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagBagOfAll False Passed
49cdd7a0e015b11bb7006001c5a86648f40fcc07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagSubBag True Passed
103be869b3b9e0034497010be545944851378e99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagSubBag False Passed
ec2da090da72007c3b4844f3283bccd8e571a697 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable FiniteSetsIsFiniteSet True Passed
b56d8f6fe2418a1421ef70e11d40d4baa3af9154 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable FiniteSetsIsFiniteSet False Passed
4efa815d591285d08f32f812abffd89cfe9499d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable FiniteSetsCardinality True Passed
875121003ba5c88860702bd82c878a089ddfb6d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable FiniteSetsCardinality False Passed
48d5ebb98158c07b0c8bcc113140c124acf253b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqHead True Passed
a9849963321fc39924de2df5b0dcc5e44956b9ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqHead False Passed
a269d4871c5fc9fd686293248b599a056855a972 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqTail True Passed
ea97cdba2e35a6be221e5b8ab3a14a79b9cdb20f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqTail False Passed
fdf406649df37b578de8ea6539895d332c504fa2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqAppend True Passed
446738165aad96c7949c1c393a310c7837d86f09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqAppend False Passed