Index

Tests by case feature TlcEval; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
7daadcaee6b07649819370f76cf7ca05a760a554 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval OneLineComment True Passed
6245c4438850a2827b21a3f461dd416f0bc86684 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval OneLineComment False Passed
bd9969969d831e5ba70edadf87aecd6c013b12e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval MultiLineComment True Passed
691ce0d96aae07cbe210fff629fd08301dd3087a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval MultiLineComment False Passed
ba0a059ac46eccd14c473edd92c4c748cf6da107 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BoolTrue True Passed
cbc5dafb2423e6c42d8b48b3d4c8018f6710d142 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BoolTrue False Passed
b7184ecff9d89d922be4f0b2c6c9628b1262eda1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BoolFalse True Passed
2f6639deaf13cc37b4e05b3a13a2211730cb7929 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BoolFalse False Passed
2564ea3ab901ce6353ccd4aabf1d77e7b77ed6d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BoolSet True Passed
95719126f81c63e6a6c0cc151d5d82a8c144082d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BoolSet False Passed
45be0e0781f0d28fbad66d063d8ac33a1ff78f57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval And True Passed
3c2cdb4ea540be65486e7f6ee3c5826a64777186 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval And False Passed
f768192d08acc83cb7d43d582625b5a3682137d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval AndMultiLine True Passed
fa52444d9b339b6a2467baad27fe3d08adb342e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval AndMultiLine False Passed
0f4b791d25967212f19d55f38a7f61f816dc747e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Imply True Passed
6838c4a19d6a70eb9305dca7f9f61e1652178ca2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Imply False Passed
59c9956c691cada00b4d9260962bc985b4ff8aeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Not True Passed
1a3cb39c367b5de2dbb85fd2c418c180802b4821 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Not False Passed
4aaef02bb89fea0cc43d85149e4cf894ab69cc4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Or True Passed
8302d62a39ae92a9f115d10c53bb821256a4cf90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Or False Passed
512e7d2d328bbc11e7d1e20c4be5a5cc4406823d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval OrMultiLine True Passed
bad8e94660004f556523a152d31dcde9bbe94cd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval OrMultiLine False Passed
99f75d6ce0ad3fd8925fd734d1a06ff7151240bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Eq True Passed
1fcca56b0976d1a2555d4607ea2347e759f5b601 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Eq False Passed
535d7cf332fdb9cfefbe5ec42ffed362e8c17e21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Ne True Passed
5fdaf78e7b7ee2319442f0e702242cc9cb4c65a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Ne False Passed
69818ced939531b79b3f9b539d3f346b9424e57e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Let True Passed
b18d762d443928ad52daf7f41d0ea442acaac013 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Let False Passed
a770d2fb3ccb2e775794b1d79fd0d3e394fbde00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SetEmpty True Passed
c1449fa96b534996545d2f387f1f7025edb79015 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SetEmpty False Passed
c97e03d3b791311a026cdfa8bc5fd2070781a09b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Set0 True Passed
a24a5877de6b0bd1445ae429c2a6a0801d541a47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Set0 False Passed
6768de227ff2bb2f622afb4de896843365bbffb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Set1 True Passed
a4606f93b230d2d025843c8c80a146af4fca6492 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Set1 False Passed
31bb12ab705cd444484a1fb6be4ff52124eb3a49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Set2 True Passed
63f237eac1346ee6fec5476f9a78d39196b17b03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Set2 False Passed
501c12055f6e285b73a7a6f9eeb9642cdfe74277 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Fun True Passed
aecfd4f91a1bf4bd4f7216873061dab683162707 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Fun False Passed
1707c1927162d90888e1f6ab9ea3a17c1b844e23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval In True Passed
93135463edf8668900faf5374eb3d7b8302d502a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval In False Passed
56594b3977f5c3829f6815c69eefac9036042594 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NotIn True Passed
d601f04dead1452f7d80499e2a144203c62ae3ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NotIn False Passed
99834613acf55c3cc4c94cc838d7475c9968bfd5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Exists True Passed
fae51aaf527b7a228ada099b74d8469425546b3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Exists False Passed
a9b5afb61ec22be895b9b5fe2285557c3bfe3044 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Forall True Passed
5dfc3e4af190cbad6a075e53a8689ea40f7b6ea2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Forall False Passed
21bc4b4294c710cfa6bb1e23df1b1520f7805dd7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Choose True Passed
3f819ed5a4f866f745fcd94af6d196e8d175ae45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Choose False Passed
a0af64d8dfb4c02c99d93e90b94b9c9039413023 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Record True Passed
c42077f6ab3074e74e60741f9711410748c4561c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Record False Passed
c91530845b7cf6700d8bc4cbc9f7d59907ba825f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Tuple True Passed
293cfe240f4adf9189e661bf9cb9841b5e41feb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Tuple False Passed
b330300b90bb750e0e377a69108fcb7635a9bba1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval TupleEmpty True Passed
0202f4873ea306dde87603c5f4bb641462c7d172 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval TupleEmpty False Passed
f5757f9bfc82132ead3752f18d159e40f41e2123 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval FunApp True Passed
76dc42ba114499a547987b438c003e9793739abf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval FunApp False Passed
f9ded002d9c0477222e9b4ad72ee8e1fa8425b98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Prime True Passed
edd20032c877f8c8eae58e5ddcf33efc4eca2d5d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Prime False Passed
0e2c6168d295c2e48680f15fd9ba72df52a0fdf8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumZero True Passed
e6078d6e19de5740cf9abfcc6d8591b4a53852b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumZero False Passed
35fed6f49d568383b90e39d00862003b9117819b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumOne True Passed
6b2e66ad27753177f594d05a6cc53961487aa35a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumOne False Passed
106f3d80d8a8da6664356826b4113930d1b99b53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumMaxInt True Passed
daa7de0282a0df0bcd3d8800399b5ae2af09b42d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumMaxInt False Passed
8febde35e6d2a0fc7993d17d39cb0b355681c96c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumUnaryMinus True Passed
d1c9a6d970633e9a95ba35279d356ba5ba0c1803 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumUnaryMinus False Passed
73712e7315bcfc96334cb98cace3657da2dbfce3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumPlus True Passed
911a128634173f7f51293087af1c4ab9534ffc16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumPlus False Passed
840e25ad34b9e14daa6b56c4e4f74910b1cc614c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumMinus True Passed
4660007e227465846f8d34b3ae629eff8078c20c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumMinus False Passed
932ab18fc6f18df5aa58e4e870f5fe168ee4dd68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumMul True Passed
ea48463cbedc1faabb0102a2a6786f4487d35c9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumMul False Passed
fb49ce25b3128f5c273447067f2a4185d610efc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumDiv True Passed
4e8356d8544117d444082e47992a0eb06cd62ce7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumDiv False Passed
6b05c3828c78c32226720db96f8b0e82bd48dd74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumMod True Passed
3497293d19bc9834885ab00e7074b5bbda253de6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumMod False Passed
39f14b413f1dd6df4b959d1bb45fceea264fa475 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumPow True Passed
22eeeae6debf6cac906a0431c3aaa949f6ed4af9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumPow False Passed
3c15419483dc448ddaca64fca62f5dc11c37cfda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumGt True Passed
6cfd9863e812ed816d70234c814f6e2feec8e559 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumGt False Passed
0f0e018697009c082e3a459d2e9ab00e06911db9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumGe True Passed
d26146325e65eec5dbc1ed7019d58b4ef7bf3e7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumGe False Passed
84daa5aef993e7eeb08f1c7943b34bd15d9c12e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumLt True Passed
69d5aeee8804d16fb0cc04a69a15cdb65341b19b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumLt False Passed
06378374d9667b0d9d29439936352cef6c0def7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumLe True Passed
eaf75be409ab49ebae6a4c2e43117edffa23c2d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumLe False Passed
ff85138f325f5e54d0871e8cdcfb028a6f08c2d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval DefFun True Passed
0a797e37ec93f4abbacc13a6078d68843d1024da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval DefFun False Passed
2499e26f1a10e3832165b9571d85ab5c1bf92587 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval LetDefFun True Passed
f86b113b965ab2b8554b75a666056fc532a73021 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval LetDefFun False Passed
ea8cd7e21762a9c1d29d7bd5ec843f9143ff3177 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval DefFunRecursive True Passed
9d4c800d17b952341ff916c54602d21c87eee03c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval DefFunRecursive False Passed
3ab3eeeee739d44a532a9d1c7ccd3b96feea6127 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval LetDefFunRecursive True Passed
7b40c8c701fdf5cfa5cce74f1dd81a6ef0d962fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval LetDefFunRecursive False Passed
4dca0ef9ab0fa1b2404f172fea622308bc8fb2ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Def0 True Passed
4369ebdcfb74da2982a865420a5583ad3b68d149 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Def0 False Passed
c233246e9d2764ba3b5d409c6fce44712c9e5a4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval LetDef0 True Passed
537606f15aa12e32c1216182a5f243a7dc14987e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval LetDef0 False Passed
d35fd92cfbac92cdf1d4376343a8aee85e8311c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Def1 True Passed
1eaac559f933b3039fd174efcb4b86e199a418cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Def1 False Passed
07704cda0a179d7a835250b381b38f37c7e3ce90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval LetDef1 True Passed
7115f7383d54ac3bb93051dd155e64c02da9a1d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval LetDef1 False Passed
ce21a42f5e89869ee896baf6e1918fbe2dc89803 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Def2 True Passed
0441ef75fe2d26d50a470353d93e4bd854cc09f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Def2 False Passed
c247089f0458d23f9e3da31558a115d75394aa04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval LetDef2 True Passed
2a0a38f595f9548613692ba62f2da95d0ef9a611 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval LetDef2 False Passed
f7c6b28a6bea1311a083fab09e9951869ce5261b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Def1Recursive True Passed
fdf12ce7d985111f716b1bf864c7a94fff5e37df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Def1Recursive False Passed
69e9f35238b9fceff9675dd66e5602d91a3c8856 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval LetDef1Recursive True Passed
e50e944babfe323fdf980e3a1fdebd688d27b56c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval LetDef1Recursive False Passed
b65c73867f1e94e12f7f26e365c1b8322eb6372a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Extends True Passed
ec4145d4859c889ee94d326996294a0228bed9d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Extends False Passed
a35aff399cadec8b5c7090b488b7f09825aa2787 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval ExtendsInDifferentFolder True Passed
a735931ac536e165a99e89655460c6cd1d17342f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval ExtendsInDifferentFolder False Passed
bb059c4ab03ea4b29a0b2c263eedf4ee63c81930 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Variable True Passed
ec9e043722463fe978c012aaa4d4063662469fc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Variable False Passed
6c142068ffd581de0530f0b457057630bcfdff89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Constant True Passed
6aa371daa87fac2e06b53a4b0ed8cd4fc63bc818 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Constant False Passed
c36531746f94417bb276ac4bac91716de1201a0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval ConstantRank1 True Passed
72a9ca90aada57bc2ea482c2dc36d510c2e39405 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval ConstantRank1 False Passed
40ff00bce42c11979f58dd6b5552885ac7a25b63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Instance True Passed
0eca30b79977af37cb1b712dc0f72f61f0d467d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Instance False Passed
992a45bc388ef7cf7307ddc10e035c71e93c18e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceWith True Passed
50dbca330a36091981d6f2979140a3526bf7ada3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceWith False Passed
7dfaa255a67bd1c180bd714bd6354e7769adb067 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceNamed True Passed
7725c0580ae26844bb3e7449bd84fbc99233a6fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceNamed False Passed
6141be058298020e88bd733097a745fafe08501a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceNamedWith True Passed
6a387d61ba0299f1e7073f2ea90339e86a9684e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceNamedWith False Passed
4cee8bcfd0499f066bf03374b473e2459bf027de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceInFolder True Passed
31af1c2ed565bc358c4060270a9b64b323bf1fd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceInFolder False Passed
fc6d8d12a81c29d5702215f85f88abdbdcd353f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceWithInFolder True Passed
d65fb4e2c258c77a5990bad98ce7774dedc53a98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceWithInFolder False Passed
929d0f00c9d5c3e34037f9b9f71dd068ffa27be4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceNamedInFolder True Passed
e47063585f7c755dcebe7b30e883cc578bb67fa8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceNamedInFolder False Passed
5c5e657660adc819b699a7962c3d5c573ac1d47a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceNamedWithInFolder True Passed
0e8d3804bd1b0ce64fce0ad7aa715acfb648d42a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceNamedWithInFolder False Passed
73fb848127935c56c519c249dc765be4a8af55ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Enabled True Passed
dd207eb08556ca1ec8641038e400332f610d23b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Enabled False Passed
a7e0e83e57a27fba0e0448c9b5f7f40b045e503a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Cross2 True Passed
6b5a9fec6ea0e1e11c2f861664e57151bd879daf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Cross2 False Passed
3c3b1f29f0b91e939273af21e88d34a339757245 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Cross3 True Passed
6037c645ba88ac17d5a6f28cd9cc7ce81e72d4f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Cross3 False Passed
f650643a90a96b02ae44368a2258b2221418dd40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval FunSet True Passed
75aee0c961b9ad369000adbf8ddb809d695ca1da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval FunSet False Passed
195b719087e36b3791ae257ca67d61f9d1a42452 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval RecordSet True Passed
e2dafaac7a3eff2f7f1f03c1d4463da7709855b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval RecordSet False Passed
5eb6c406414848ec9a0ae13ee3b16b5745912c0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SetDiff True Passed
8573ab2ee6b41878dbe944e11dd852da83591603 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SetDiff False Passed
f42b08c85f89801f929d8ffdc9dcbfdc968c4497 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SetUnion True Passed
3d286c238cfdbe90ddb1daef7243147eb84917e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SetUnion False Passed
b7bd9c0acc3744403a9bc9a7e48763aefd855567 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SetIntersect True Passed
bd36fc1bd217cf3a8e22da3e164a60df88d7213c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SetIntersect False Passed
c42dc0070fdd1d45de8761c06a39c1094b0a5146 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SubsetEq True Passed
1c1f07a9cdf1e06207ef2a03249f9bed7f570280 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SubsetEq False Passed
1508df0546bf977bb9d4c1c9ad3d23d2c4861b5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval IfCond True Passed
130ca905fdcaf12edf4f74ec275bd2c3be6e8ff7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval IfCond False Passed
af44f793d53c53c126a4f2a00c243edec2cd8239 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval IfThen True Passed
4f7afde4a674bfb05e33ce081dc5ad8c56ae8127 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval IfThen False Passed
804ab63cd0c14ae85afa7707db0689e70916b47c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval IfElse True Passed
772d66d2c12f5ec93103737a3fdf6a66c3e6f68e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval IfElse False Passed
c97ef98f9bedfae93fcfe79b14be0da00af65e84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Subset True Passed
d6674dcdf83e8dee90d052569d96d7cd62583c27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Subset False Passed
41e21f4f9b7114446ac33e92e201a37ad8e00199 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Domain True Passed
74869f86b87ca50ac4ed381068c7224cc33749f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Domain False Passed
8e948fbc837ea48d58886545a351c977cc229d55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Union True Passed
595d66c0f41c430b7474ee4175141e835087f6fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Union False Passed
cf0813a1e5c349b194ea25e89db4176318c618c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Unchanged True Passed
91149e6839a87496b5815b3611e54c0ea6797457 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Unchanged False Passed
33a860e0451c0995e16bc23ca54d57f6454d811c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Equivalence True Passed
63d32396619f9019be886b9dee586e221a9cb92f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Equivalence False Passed
20799e6d00f1cc3b229e5b0bbf643440aaf1e0d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval StringEmpty True Passed
36b106592eae8007d2186e5d36878297feeadd21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval StringEmpty False Passed
f10544dac19abb6c5b5b30fe6602bb6a9167295f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval String True Passed
05a598f03052a6b13bf29c4c802e53df0fad55f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval String False Passed
bdfe0f3b2edee7175c1c36cf7d43ca7cf9c92491 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SeqLen True Passed
97da0ddc25e3519a143143f58923d0137e5c7c87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SeqLen False Passed
0ec33c3e31f3ea3a7607458b52b5fa169a659226 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SeqConcat True Passed
d1fd89a0f451ec2d2faaf4bf228cdea9ddf2d09c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SeqConcat False Passed
be96c65739cf80dd48afdd604216c167883002e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SeqSelectSeq True Passed
ccd9176a8ea3f2c9ecd441a08185e28b4c28573f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SeqSelectSeq False Passed
30e9394ed7e323fd9191fdac39454fa4889f86ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SeqSubSeq True Passed
91f9f71f10a127d45659c595d7ed93a7d57f32c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SeqSubSeq False Passed
52d05228ea98c4cccaada2bed810d87207665e82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumRange True Passed
7745bbfbc9f30c8ad5f8638d0e5587c1feb223fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumRange False Passed
10e432ccde1c00e30e32eec6de6b1637c7b7e6b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval TlcSingletonFun True Passed
605f8c745a76006e26548e553d492538346a9359 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval TlcSingletonFun False Passed
c7f43d8da744df9ac7d12341b791a3ed3318850f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval TlcExtendFun True Passed
fcd94921dec34156c0bf6902a97f8647057231a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval TlcExtendFun False Passed
4a226360a2e4f4bedcd33e5ad01d87734d441b71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval TlcPermuteFun True Passed
6cf85c9d5d96045641de731f209beec00ce77f39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval TlcPermuteFun False Passed
d76a1d1fe47c1191b0500ef69b49c9fbb43dcbfe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval TlcSortSeq True Passed
2fe77c84c260485cba310a74a7a35c3c31abc447 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval TlcSortSeq False Passed
ead2566a503195e051464e825c18edc7717ea45e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval TlcEval True Passed
1c1067dd5ae5694a79976bca87f830e435cf9fc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval TlcEval False Passed
500a8c896c57806149b8f8c9a3f144def5bab32f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagBagToSet True Passed
6d49aa1d934d7bcad19d159749f216a974da01a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagBagToSet False Passed
839a91413e10f0d2d10e81a0513dcaca39926646 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagSetToBag True Passed
acc31e8b4d6091517df54afc71b8221e555d1042 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagSetToBag False Passed
492753e419b938f75cfc26fedb82579649d34da7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagBagIn True Passed
5bbf09a29bad7efe147a52485b771bf741642341 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagBagIn False Passed
d08714cad6f0e8f1af7b97e5fc185ee5cbc92cf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagEmptyBag True Passed
10f5a177595186088faeff1738a2927bc209a1d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagEmptyBag False Passed
8d36fd7d011a751a509840b359f8243b1f3c298c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagAddBag True Passed
9e7d162f0201318eea2b3b2cf5b6c018338fd04a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagAddBag False Passed
decb9a77a94cd1c4c5cd2d02c36d0a78643bc140 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagBagSub True Passed
1129af1e0e185f6a36fcd56bce31441be955c4f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagBagSub False Passed
51dd5c4ff0fd3cf6df918fa94942f24b7c856a03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagCopiesIn True Passed
4167f2c8390177fd32cb3830b8193b9204a31299 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagCopiesIn False Passed
0a01aea2289be8271d232882b6dfe7dfcb36aa21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagSubsetEqBag True Passed
6830ecd4b4697f7e3de95f179fa59fcf7c0aaa52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagSubsetEqBag False Passed
d016972235cca8b275fbe9e261f88dd782798ef5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagBagUnion True Passed
6190682799867dbac3677adcd2036f952568dfdb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagBagUnion False Passed
4c34c74b21b9e30618cb627ace496206627f54bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagBagCardinality True Passed
22a2595f5ed3a7a2f857c28d33a5e20c28a8e6a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagBagCardinality False Passed
798062b22939c9ac0fcd0111a161794b8b779ce9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagBagOfAll True Passed
70176d168bbac26232649dd75f6d73680cdda0cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagBagOfAll False Passed
40a912d306dfdad9eec03cd474ef101217ae4d45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagSubBag True Passed
db2b24c639fec8e5f5eb561d02599520c954adf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagSubBag False Passed
7927f18d0a3388fb75a8793be562e7cb1f4e355f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval FiniteSetsIsFiniteSet True Passed
eeb3331a0d6a5115bbb59016d2a51f0c631413ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval FiniteSetsIsFiniteSet False Passed
409428727d749495ebdfdd6cdebad02e89a065a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval FiniteSetsCardinality True Passed
fdf6fb89ffdf1635ae3d94a8859be6dda82f7e7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval FiniteSetsCardinality False Passed
74a74d4f3f4336125bd2a05fdcb69d2b7766d015 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SeqHead True Passed
11d110c8a5b74b97608c1c90a8ffafb3ff75503c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SeqHead False Passed
363d7dc9df327a0e9737bfa0de4b62930137933e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SeqTail True Passed
7c1c49717725db0dfa923c5ed8b9c3d5818abdea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SeqTail False Passed
3d7dc0360883aabeb2c66a795dcfcffe0d59ee46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SeqAppend True Passed
a93ea426d90e98f87ef4dfce506920fea3c76e6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SeqAppend False Passed