Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e92d9651663a25bac65026fec0fb0f8134915827 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder OneLineComment True Passed
309e2ea5fb97121468815f1d8a6687553530761a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder OneLineComment False Passed
8cc724aeed0146eb25c47fbf94e9e0d02fef5da4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder MultiLineComment True Passed
3a18b323fa2934c79803c7cfd98fb29f644acf62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder MultiLineComment False Passed
9182c74aba2c8fe165da812f30d72b62431072b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BoolTrue True Passed
0d46942b079c800051e9d0de8cd82c5240016a40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BoolTrue False Passed
dcdb2dddd86a746cd760cbe393f10cf12c46e180 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BoolFalse True Passed
c319ff6a7574e90a881aea3bc1e00cf66915e07e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BoolFalse False Passed
12676b80bdef37da2af75ccf1e8f0c06c2af56f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BoolSet True Passed
1636bf1d3b53676e0d50b49bed044f8df8fb8542 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BoolSet False Passed
6f78445f1671ecbc04d4304fe30c53f25112d08a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder And True Passed
af651113c2ce0ca72c078c0b1adf64dcdf1684f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder And False Passed
51638fed931e6da71724a1db4322ebe8270977a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder AndMultiLine True Passed
5946f79fd3693430cc08af134d6cda853378008c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder AndMultiLine False Passed
e6ef8bff7975902fb0f5ff311bfe79da6057fd71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Imply True Passed
dbd01905ed78738b18039bc2ab17b40deee24c3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Imply False Passed
13f6dec1dec46bcb12a2cacbac189a462ae8c19c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Not True Passed
aee55eb1c7d4fe4c27b652f6a46cedc22bbf14f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Not False Passed
37c3b585231d595bd1da2635b8aed96ed57d194d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Or True Passed
b81da947a45ef980f4c931d080103f070597d905 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Or False Passed
6983bbfd79c02af639e8e47ed1588f32f4087d06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder OrMultiLine True Passed
48046d882708744ad30dcd950098a8ebc60d6239 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder OrMultiLine False Passed
23441247ed5d5a9966c206137d9a7e50f7d492a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder AndProp True Passed
7a4e67acdc66c712a4fae00456904005e25c601d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder AndProp False Passed
b65fabc8af7d9247542da942c4754db637148f9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Boxed True Passed
510322f12d93b6e1d29694b31b44eecf2fc2560d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Boxed False Passed
ccce71c981e61b2c0b9a4828f1c6884759dd81dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Eq True Passed
2229aa5cb6e4494e671a2595b47dfaea6ff1e45b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Eq False Passed
e95e9b4f8d2f70c2e296c66c819b03b57e0cf198 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Ne True Passed
59e067c9312d9f09dea955edbccbea9708a07faa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Ne False Passed
2e25eb1a2ace05aa05b289e5709d44ce563ef8a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Let True Passed
805a52204a786a3e944accff302df0b18511b0a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Let False Passed
62713d68f6ec66401df2ea21455e874fe61c113d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SetEmpty True Passed
285db012b926be77a8c3738ce38cd9dd4664c533 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SetEmpty False Passed
f8960a5a1acd869bcf6428bd6f0318e1647003ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Set0 True Passed
e6e96e9b40106e4b3c19df6dabd0e9fc24985760 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Set0 False Passed
8a257d3a1a50937eaf2ff5ed893d3e66d3cc2007 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Set1 True Passed
e147a0fece8e0e32b3ce2b24552b90dd8777385b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Set1 False Passed
78fafa39bf47eda1422816fb446bf448f3afc1a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Set2 True Passed
e862dfa15359a60fe5ad5bcb0e878ec2640c7061 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Set2 False Passed
fee779b07cae6337ebb83e42c61ab456f7819143 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Fun True Passed
a2c3af8d999542347dd0afd57790f0392c960b50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Fun False Passed
170e822272e958eaba9d561e6a6cecf8525ddfc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder In True Passed
6202334c2165de905c13ea2a246dbc2a28b92fce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder In False Passed
b4f85256573992d543ccb3319b8c3ded6cea3c07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NotIn True Passed
abf8d5d01e207d3335728db3a45a1660ab052cbb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NotIn False Passed
ae41efc0c3b8c97f75f083a52ba9bfefef61fdc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Exists True Passed
cad12d96ff7919f704be1d387bded436c4400707 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Exists False Passed
aa5bbbbf5737ade2d170ab74f9a9d613333191a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Forall True Passed
25a4b3056cff706b272b1950cb80b3dcdb02414c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Forall False Passed
a9417c6734ec5d5abef69d5296db8d28ddae2b36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Choose True Passed
adf23654cd747d1214f6ef3ff9cb11b60c9bb255 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Choose False Passed
1e84e0a4d63abd8ce9f4f5abac83ff6d1e6678b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Record True Passed
5452fd758161ecac22c54bab1d2efd241133b850 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Record False Passed
7d21b4d7f9d6bb4ebe0e19c784b21001438c750f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Tuple True Passed
6fb8a3648b42cf73d95069de1ec00f00e02b461e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Tuple False Passed
a5a92426b809bc41b8526d9a3fef158e885e4806 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder TupleEmpty True Passed
9f40bd68f3cf7fef3d0cea897db7f986231706d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder TupleEmpty False Passed
284bba7ae812218114c422c06a4ef7dee7964e1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder FunApp True Passed
433672b5d360f44feebf2b63cfd5b96bed7da47d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder FunApp False Passed
92f6582d049b24a03b68b94e4fa856a4d1842e3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Prime True Passed
4860bbaa2ea032547704516424dc6d052f240c3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Prime False Passed
9d7350f7b7c5ba5ca6ac7f6dc6df4957b859a86e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumZero True Passed
4cbf325b0ecec1aa5e33919f42fba818b0e5bb0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumZero False Passed
e4a27a89408515bdcbe8ddb91f5280cb8f820601 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumOne True Passed
fc9b9b73759ebfda7e3276e4e4bca4b01ac1fe81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumOne False Passed
fc67e1aefe57de2dc3b237a75ea68897f04e6301 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumMaxInt True Passed
829e94c62c69795dcd407714789eddcbc2a965ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumMaxInt False Passed
6aa8dfb807552307d1058983187ad0dc29bb4695 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumUnaryMinus True Passed
9373669b6af0ca2ae5a1dbf477308867bf5a1e9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumUnaryMinus False Passed
8b32e91db225b95afea165777a1a0108dbbef2df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumPlus True Passed
7046558b807f896d9d4243f623d55c555a2c65c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumPlus False Passed
d7b8ef8d36fb8891b5a193aa1fa91e667c0a421f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumMinus True Passed
4c24e8582f93885c860917a22df2955fa1d17da3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumMinus False Passed
7d1574cfa731f3edda7fb0b58af5f677e71f8874 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumMul True Passed
405841cd3d6147bd0949dc03a7d1d270ce623438 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumMul False Passed
3091b0443400d373766564023365d1e8c8b90516 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumDiv True Passed
b7a10440820afb59878482e98f3f383b4b9e70ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumDiv False Passed
7dced18eab2cffb9eb47c0229ff7934dbb74812d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumMod True Passed
5b7a4e2945ccae87a8f6fc75e087bb821eaa5dfe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumMod False Passed
51e96262e527b338ba0e633185746854c54f68d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumPow True Passed
53b7ba230156b422d03919e06f423fa56c5b8766 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumPow False Passed
ebd28e1b914ae4a9a613e35c06683ff9f8e2ed77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumGt True Passed
245aab45af0e2cc7c0436cadb993f179b555dea3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumGt False Passed
eb93d6aa21d91dffed62de44a30576a7520ada15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumGe True Passed
498488f0403569aa8f370a7c1b28da599d4edbee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumGe False Passed
b9c7365aa7a7c9074eb2f4bc2fccfb1e4c4e1aca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumLt True Passed
116c301a695acae0527b77f13247054302813ba8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumLt False Passed
28f8dd907cd67f40ffffb23ec63b51797f53aa35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumLe True Passed
4d6d2964d2d52d43c5f15f4c1d26ab054cb36074 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumLe False Passed
d38a7b3cfe9748ed2110d322262e8646900971b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder DefFun True Passed
bc1adc990d384df1d88a17235afbd860b87432f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder DefFun False Passed
5791b4acc91fec06041583a86762e3ea965a53e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder LetDefFun True Passed
9d484aa6bcb633b737c8e31188e9a1b7eb2a6324 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder LetDefFun False Passed
d1ba30d7e02a6a7b393893fcd51d96a3cc02b25b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder DefFunRecursive True Passed
04e10cb1c39f56d974fa83b07e18c92faf366e7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder DefFunRecursive False Passed
4f6d6cd49374962a3d5316d624f0a481c005dab7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder LetDefFunRecursive True Passed
061bcbed523c3c2d01aa37f400a654ee1564de81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder LetDefFunRecursive False Passed
ba1271faa84ce440fc88927429923ea382caf4b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Def0 True Passed
a6d5fc5aa6502c30c57b641389e7dbf08ab8e48b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Def0 False Passed
12aea5ed423167550370b81ec194f41f3b9984e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder LetDef0 True Passed
bc01890cb05aac9423884bef538e359fd9d3b43c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder LetDef0 False Passed
d6b5e1f6b31f554395c0f3d9fb95acbb3664e9bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Def1 True Passed
0dd45af1ba96efea99f0aa4d7210dec576ebc73c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Def1 False Passed
01375bd34d4b489e8e87bcd0eeb101da1bf8c308 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder LetDef1 True Passed
347e11f6feb0cba2b6b1b2fd3f338c38cdea0991 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder LetDef1 False Passed
a5fd2f6cda15bcc4093b012826081e45d2616875 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Def2 True Passed
fdee00e93f55d31fed19303a5ad8a6adfdc7a9ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Def2 False Passed
7a6cda0b110a84169f3f2045670b1256f824cf84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder LetDef2 True Passed
4d9238157294b6a6035dc67ac545f14843e55d92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder LetDef2 False Passed
71136d77e2f55bacde6952ba073fb80dd2dce563 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Def1Recursive True Passed
cab606268771aec99453c65c9d5a99671efede22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Def1Recursive False Passed
7899073e6e1be53115637ba1eed1a85a84a87bdf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder LetDef1Recursive True Passed
1c2c5d4af27611ae3bab53c0e5065e7ce1515d93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder LetDef1Recursive False Passed
5430a1e47785da32c14ebe9158a1a61b1e16feaa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Extends True Passed
48ca0339c8f2823cdcd83c7a7820362ddb774b9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Extends False Passed
5b250f92c0d734733b0d5d3cb25f1d43c62aabc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder ExtendsInDifferentFolder True Passed
bbf6a4d85f4c0baa0b962bd7be2954b486ff68b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder ExtendsInDifferentFolder False Passed
b4278e811625152d563420ecfa3dea8bac9f8861 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Variable True Passed
a0678641dbae44aac15bbb9686b25c523b596edc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Variable False Passed
86d8d54370f08555285f58d6f4a83a718f2af2e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Constant True Passed
19e292ddb8fa232b2550e3a7f3b20335ca0eaa5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Constant False Passed
8028cdd18546d045eb075a995d4f2090042b2745 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder ConstantModelValue True Passed
7e78ee5a13b129049a9ac5b7252b04c53e535d28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder ConstantModelValue False Passed
f6580efda0773cc0bde8a099095b4d30a88884ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder ConstantRank1 True Passed
0eff6e083accc0f5b463b8c29a6dc595dfe96a4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder ConstantRank1 False Passed
4d1c788ab1da5017150e1531a1d37386438291dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Instance True Passed
926d98d6325351982b1a070a81b07ce398d24d8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Instance False Passed
1f01681097bc41f8aea56c3fd1ca2767a3aa00e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceWith True Passed
f59895182a0d1df8a7253e48832f884a68c0dc37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceWith False Passed
56fe54dadde577f5e3f844dde450931241a6b8b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceNamed True Passed
658a1cbc1a31c560c1dae1fb633ed7b24eaa4a6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceNamed False Passed
8be74ed29e9adf503195b067ee2a59c8d84a7d0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceNamedWith True Passed
4bbafe7e9020abe0262d0c3d4ebca3ad2a614fc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceNamedWith False Passed
8fe75196af823b8099f81bfbe5551682700a8538 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceInFolder True Passed
4817d971e5aac7b98c23090b93d5d7ede45139c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceInFolder False Passed
bdd3e3cfb34a38399ebe523253db5837cd5f7301 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceWithInFolder True Passed
140e0eef69ebd8d8a7077dcf5b80a391662adf78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceWithInFolder False Passed
2138d60b878b4f0e7c5d20985710eed12008f28f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceNamedInFolder True Passed
2b4e13519c68c6f9ffd90e374b0718890d6a3616 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceNamedInFolder False Passed
fe37015f231f76b13da94cab9caa7f447550720a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceNamedWithInFolder True Passed
823b050beba5ca0f5faa3a9388e4db7b00e7fb7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceNamedWithInFolder False Passed
dfb5bf6f3803b96225cf39ddb0638dc752baef8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Enabled True Passed
3a93597515cbec2a14d9452daf7e7e72fa35ba13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Enabled False Passed
0579b94709fb6f395ca0209ff1c0a2a36efd4166 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Cross2 True Passed
493f5e16b04196a4d4afb79957c2bf169abb2c6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Cross2 False Passed
44d07f622565248ee2e6c3c5459846e7d80cd3b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Cross3 True Passed
e838e27db7181f18f889c28c3c79113ed075e8e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Cross3 False Passed
41121e5e08aa1a089f118ca608562abce176e02c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder FunSet True Passed
f34acaf8764e6c4e103c916ea46ff77c6ee01f86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder FunSet False Passed
36e96e5d7fc6b383db91686961089a5232f97ac9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder RecordSet True Passed
bf61ea8d395fbe1928f0ab6e3be225b6a67ba64a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder RecordSet False Passed
4b39c3b7e2fa757db4103a705c00d74c9038c03f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SetDiff True Passed
f29553be63ec6263582b41fb860e0ff6724fcbef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SetDiff False Passed
f89801117fb2d911bcca9df7e75748eae13fbdcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SetUnion True Passed
261326ab035ec1f1bd4bcad248475206fcfd329e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SetUnion False Passed
6872118d0277c03c4909f2316ed616a12711e3ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SetIntersect True Passed
26ea6bae0b315f0556ce67db89e632814da73a42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SetIntersect False Passed
b34eca68668175b224dbf9f446e334638b77c380 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SubsetEq True Passed
9b245cb225118ad24b1fd4a6dccaf6cf61f26f79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SubsetEq False Passed
6a594142b4b06e3eb9783ba6beac82b82e552534 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder IfCond True Passed
23c571fc08dc12bf1517057001a7bde403150779 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder IfCond False Passed
e24d79a73494dfc9c0af66d0ba6d887e22a05168 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder IfThen True Passed
73ed16b7d9db20452911f76c973fba3739eb738f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder IfThen False Passed
15e40870eab62ca2521b08072099a5107bccf8c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder IfElse True Passed
afcb469cbb0fb503f6fdbba1a74749dda7899d51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder IfElse False Passed
f01bbacfad12e7e6809d03c87dd7306383d91a8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Subset True Passed
6a9e40064e4516f25bf6c93c5414180fda0d9f4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Subset False Passed
6a2c7a9a3fe7638ce8175e85a3c3a7a8e71b8d6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Domain True Passed
2853a791a58c888bdfaefd27c5f4458036540c65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Domain False Passed
ca632ea73804f6cae7ed132bfdbd30d5c7446dac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Union True Passed
1fd7fda4273520aeeac5fe81c23165c04ed76105 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Union False Passed
5bf0a50cc429cbfe35ea6d1e3c41d15b8f673279 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Unchanged True Passed
a18ffc25ef3c39aa72196230f7ae84b6f8dbad4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Unchanged False Passed
1c41461d691ab67a9fc3fb7db6561800ff48f13f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Equivalence True Passed
03902d46e0daeaecb7295c7514ab30df7823b158 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Equivalence False Passed
1f0bafbce4a916b3ab5e6c0219d51d6385a6c98a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder StringEmpty True Passed
255b1ccf4195593590991433010241fe96b2c9a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder StringEmpty False Passed
f1e1e0f38d454b98897501323f9518c4d251307a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder String True Passed
c25b66a243b6ff3410783390509b2bd331fc455e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder String False Passed
479935a3b5f443dc45dc4ebed6eac0b98362e5f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SeqLen True Passed
41823dbc452f3f4370d921a57206f5fa433d2c94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SeqLen False Passed
80ffc943809517e98c1aafe7aa1fca394dab97bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SeqConcat True Passed
d0b078c2b67d30f9fbe9f25519fed7785777203b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SeqConcat False Passed
dd9942a8615e91621c24fc152fb2c066a0355470 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SeqSelectSeq True Passed
eedd28519223bf0468847da3cecf6cd64cfd8788 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SeqSelectSeq False Passed
b4ce68fc8a24cd371c064895494b97570a32f41f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SeqSubSeq True Passed
3001d490057c3baa25a35159854c9a12b3c6f226 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SeqSubSeq False Passed
15c3840cc1c6d3a3fb5899d41db93a4409a4f17d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumRange True Passed
b9cde6dfa7c1b8c3824da141f0b7d5c7f405baad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumRange False Passed
6176e43e55b815724947bea8637ec77e6810df56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder TlcSingletonFun True Passed
a5169b8d9d046f9375696479492c06a9ab1f38fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder TlcSingletonFun False Passed
6a3e0744b54e38fdd6ced533414e7b0be4c94674 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder TlcExtendFun True Passed
966b1e600997fee5b9470125cdd501b32ca975be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder TlcExtendFun False Passed
b7050e8f8877b4c98cbe92deb1a422abb237b678 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder TlcPermuteFun True Passed
dfc87bd57827231d74c9b3e947dd3fa28789c916 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder TlcPermuteFun False Passed
a024ff8f2b20f3c7e8618c4da7acffbdedfde372 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder TlcSortSeq True Passed
48bfede1eb1aa01a40568348793ce556932904c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder TlcSortSeq False Passed
5867b1577d7ec0096737f7c94c9e048d7677aa7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder TlcEval True Passed
f3f5a5bf3e8bc31718f3bfd1a737d874b3fbb531 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder TlcEval False Passed
ab17428c3b6ce1cc0ae4e6afed086c2562832ddc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagBagToSet True Passed
14e0d5e096bbe64ea3e882616ed7634a34c183d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagBagToSet False Passed
c948901dd83120d7c354b58ae66ec2b0c82f57e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagSetToBag True Passed
adfbac54f8580267002487e56de2c88025f42c39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagSetToBag False Passed
07cbc6b749b52cec3ba8a5be5fc1bda2f4cf2022 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagBagIn True Passed
546fbb240352945ada9c6cc3357863f2e08c13fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagBagIn False Passed
2cbeb7e5c390435c7e8f053fec2ceb4615029032 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagEmptyBag True Passed
c2f947decd8e716868927c119fb73c95af233407 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagEmptyBag False Passed
c4f1760511fc57d973e8d9a3b3ca5a58c7b0c27a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagAddBag True Passed
be680c109fea4693f5a642f00c96afa0e780fad0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagAddBag False Passed
8eb0eca4cde311988a8b7debf77e7d6dd7b2b91b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagBagSub True Passed
c15a681e29178e2b79ffd4ba1a580f82f561a069 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagBagSub False Passed
7abdb0aba42caedb326ae34eab5dde44469d1a59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagCopiesIn True Passed
a96aa79de9f53d175b4d29a7e1b021790c2d4b04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagCopiesIn False Passed
b0a4f3e48e5bd467f977295839f760e5a621ab3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagSubsetEqBag True Passed
b82c78afcbcea4c23dd1a45fe0a22a0be93fc63c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagSubsetEqBag False Passed
e5d7d34962bdf4a8852934d8893900438bd61e62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagBagUnion True Passed
253014413172449676b8b6145c3ea0350bb93627 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagBagUnion False Passed
e528e326e1607a6d2e2dd03747bc35eb65ae185a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagBagCardinality True Passed
12f95efc82dd16f356075d33b637db51e139a604 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagBagCardinality False Passed
02ee62c1204cccf58d12a8b498c7eef2cdd7b492 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagBagOfAll True Passed
581963a595d0aefa7af81ff62cb2513774f11e73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagBagOfAll False Passed
58c7311ff5aa61bfadf86833e12151702b0aec0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagSubBag True Passed
ca14566ae40869170a41c2962009e594aad10eb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagSubBag False Passed
cbf1a2ca487ae6d5045f449fe7583f2cf8fe7bde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder FiniteSetsIsFiniteSet True Passed
44d848cc534ec105cc30c2600da132f6cc0793f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder FiniteSetsIsFiniteSet False Passed
0921be5cecd68d73aa03e74a80b29a45258b921a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder FiniteSetsCardinality True Passed
41f4a9db2a920e02b0df0361b94b08d803eff292 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder FiniteSetsCardinality False Passed
42364bab67a4c04c1945a9c7fc6540725f27dfb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SeqHead True Passed
50e078c5c5bc378623de6dd08cfa75b13a562482 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SeqHead False Passed
783aa7c2ab0a404f73d82e4ca3adc02b565cfde5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SeqTail True Passed
1a9bcc86530ca2f77cc4d50bd1fc7a5bd38c430a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SeqTail False Passed
0c39383f881ea2fbb8fb97ffaaca4d9b7838708a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SeqAppend True Passed
c1523359390effec2025ed168eeabe615076c38f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SeqAppend False Passed