Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
2f354e7fc590fbd90cea45e15204cc84c09e89d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder OneLineComment True Passed
e757575161542c52ff9b16fb0bb9930cc1a71b7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder OneLineComment False Passed
b1257e5a7e1c8ade6182d7b09747bb5407f6b86a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder MultiLineComment True Passed
90ca586e30788a9f7004a4072952d30190e6ab47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder MultiLineComment False Passed
3a8e3c8e5538612a804fa431c3bd5549fbce0859 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BoolTrue True Passed
7f848ab3252d3d37d1376ba2bc7c17a1abf4323c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BoolTrue False Passed
7a2d36f8823d6d861c70cf499daed492385b4ed3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BoolFalse True Passed
3554a3260d66523e1677924e4da76aa09cf2608f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BoolFalse False Passed
f22d73a94f9e2d0b18c11eaeea4933785fe53e42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BoolSet True Passed
64b00f8dead91167758c5291121fc565a2a86cc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BoolSet False Passed
161fc599f0cba9531b1520641215782a654bfb81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder And True Passed
e95d66a667c1e9e53ac76b6ba3e275730d1edd63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder And False Passed
03998a2527a9a4b5730134be729d28a9288d9b43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder AndMultiLine True Passed
1611e5075a6c90f3a8b230376f9562c1dd9f480e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder AndMultiLine False Passed
4da4820532409df683239a3e35d5206111cc64bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Imply True Passed
84fb79d6fce6ae52f0e3b4a6afb04cdf31a10960 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Imply False Passed
2dc875f07b55104827aa837fef94e75f8055bc3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Not True Passed
7979323d3367e46929d1cf8cd60224c03cd6cd2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Not False Passed
534d44b1d309b4d0aae0142226580172079cbaaa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Or True Passed
70f2b2f9212812879d85f5e526d2504a839354c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Or False Passed
23fd990ea1cf3be1b1d34182c3fa4bc14ce63057 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder OrMultiLine True Passed
f6fd3f48644f719facce844e04ced4db5400378b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder OrMultiLine False Passed
a2cb9b2c1755fa1eba3713a7c7c63868c2435857 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder AndProp True Passed
a487914680b5b2197e2246fc2df79c20a948200b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder AndProp False Passed
5ff7744bdc01c0e3523d693612aa67c474b59370 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Boxed True Passed
0d641971608ec885e11fd75de789b3550501bf59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Boxed False Passed
7daaba51d0d3260f1972c8d45cf9f0f3c948205d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Eq True Passed
b0349ecfd1d704cef94e552f7125303e66d04bb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Eq False Passed
78067fb14e9aeb7b88803c02d4023e7647746fbe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Ne True Passed
fbb3ebe6d7c23f39db043eeccbbd1dd3c7f0c8a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Ne False Passed
78a171334223f58a47f948577dfa5657d0550212 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Let True Passed
a72a252d52adacc78248a13a36662877cba65392 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Let False Passed
ba4d974d0d1364f95d79926c0bb4343636a08ac3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SetEmpty True Passed
69d21cc308eb23f9b425a51971c60b873e34c421 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SetEmpty False Passed
018917c740dff3510f6847fa30420ea693289fc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Set0 True Passed
e295e85e497326dab12f34544817688dfb44fbae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Set0 False Passed
f2714629084ab20f44bff1338516d148e64b26da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Set1 True Passed
28ce9d200d97e302e172ae2e6197867203c0f0fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Set1 False Passed
f418f450d00358f69575352ebae800602a2c4170 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Set2 True Passed
1e85cd4f6d5e7c9ab7cc6d9b09ad5da633c71913 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Set2 False Passed
56646b5d5b668c9dcdf503b137fd585c3e145ee1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Fun True Passed
dad6d127a5914113eda0759ebb407e3bc94a5c92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Fun False Passed
b09907bd61bef37f38b023a82ff1e877f707316b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder In True Passed
8c6ab4bef6e4c7c73f8ed9bca3823a8609f2ecdb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder In False Passed
aaf1885fd944980c7574537851ef49700098cd87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NotIn True Passed
f61ca21090bba336f2b4b11fc0acffb2f51d24e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NotIn False Passed
202e554934db63f7d4b27a436bea244d46855c08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Exists True Passed
1b8a6fbd6f60ebbfda221b1ab71ec80845bf2d41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Exists False Passed
5f42b0018215060310c37cd3c044a97070c50c7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Forall True Passed
47cf14c513a4621411243bf53547d170516f4d1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Forall False Passed
43600331e719b9668c26302a6c984cae2c9d0243 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Choose True Passed
70812c7c6100c5b87f6d81cc63cb9037112f23a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Choose False Passed
511458a7b839fd0266967909d110c2d6bc1ff5eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Record True Passed
76050a3bbd7f203d21abad2e6312777a65842e0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Record False Passed
e1f781690617cae846ac9d56245a1b2a47bc2488 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Tuple True Passed
299f5425a799600748dda7ddad6fc78adc6c489f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Tuple False Passed
ca246d4137dc8b91b422aa2a9bef096c74349194 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder TupleEmpty True Passed
87f39465749e597215bfd6909c65abfa19da58cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder TupleEmpty False Passed
04e0b63b21e97fc6ad8e5c004e960d2c8e066dc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder FunApp True Passed
9a581f02f4901a5492299e3da9bcd1e8ecf7529c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder FunApp False Passed
1851ccc1ba1bd54d224ad99b2b0f9794d1aa25e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Prime True Passed
26bcbf99dfeee4f97839e0e78c3162406f32918d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Prime False Passed
7d24da29be1bbb6ebde8be59e13e8aaebb57e784 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumZero True Passed
e1545fd941f32d0e70718c48ec23d4835070ae93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumZero False Passed
183a92115e11f950ad88b58d0bf221a6ed65af60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumOne True Passed
70663f7c2851abb1438e44bf38725147926f6b93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumOne False Passed
29a634dd666277cf6fe7cb1036ea612ac735ac20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumMaxInt True Passed
a179847804da97b2f75a98149a29b6d096ce21b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumMaxInt False Passed
f24b78519dace9bda22c7d0a4dbf3c2cef133a54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumUnaryMinus True Passed
15d2b9e1c9cf7f4345e3d056bef925c5878f0b33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumUnaryMinus False Passed
3a20326cd68aa3a28db68f5f4f990f0b02848932 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumPlus True Passed
811228e7a5c0908a1a3c305be51161b197529624 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumPlus False Passed
0ed64a16ef326657d13cd3cad75cd2f9653499be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumMinus True Passed
bb2a6af074361e39804d29d45a053719fefa38e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumMinus False Passed
f61033cdf7b07025388a9f196f5e0812ac6e4f27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumMul True Passed
af0d30d01f5a50ad791c87a7760c5e384c18f5a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumMul False Passed
03bae09e4cbeb5f85e1572536deced44591dce41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumDiv True Passed
ef78c11ebe014d8a299b69db633a382184c2cec4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumDiv False Passed
db03b297e9b264af73945782ae2814c9e4ad46e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumMod True Passed
a458ea2eb4524ed1acdcf7c8921a99575428ea32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumMod False Passed
4b97c4f1729664c10137070ded6d7d9e64d22f3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumPow True Passed
dc84221d32e51fe0e8cb499b2fc20778f691f9d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumPow False Passed
352673d96cf059de823cc811d385579ea736edf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumGt True Passed
a321c4fb21d5df957b64bf9007829dff45751147 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumGt False Passed
e600146853028d06eb0077c078ec9e49d72b6961 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumGe True Passed
4e4273a87b6347801609a4d3c59b102de9a7d51f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumGe False Passed
f53b59c9d5d9bf4bc75e6c4da3938fc397175e53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumLt True Passed
3b34a82a065d8bb0b3099ca7762057e69a5237e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumLt False Passed
a861ae78bd58efa4879a9dc6785ffc117070c2c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumLe True Passed
349c6a768fe4067e8b190e1d26c96e00769a1b38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumLe False Passed
96c55e91a22d9c989f74e6af0135d6824c4ca13c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder DefFun True Passed
c13321d7187901aa154e61bd633681b4dd1668ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder DefFun False Passed
e6ebfb535d14e8706f72abd19f3ef53dbe700ca9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder LetDefFun True Passed
eb9eba34b12e7987b8d7ce23d5c693078dcea377 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder LetDefFun False Passed
41fc9b335589efb1484ba44fe047a2b0641066ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder DefFunRecursive True Passed
8024f37700de18c5c64e4df14caa79b54624441f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder DefFunRecursive False Passed
0868fe0d0b27fca25da329a628bda963081502f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder LetDefFunRecursive True Passed
aac97f5e614d1b29d75b288c0edc6ec267903c4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder LetDefFunRecursive False Passed
7407a9facb966bfdba6f977d57f35235d896272c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Def0 True Passed
4e1871623a1d8f61ecabfe0d4f7a16a1523a7574 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Def0 False Passed
44ae881663127e9c9dad38feb719a9f18d8bf3a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder LetDef0 True Passed
14c1b9a76c43ec7ef51c9141862d67cc5ae6e8ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder LetDef0 False Passed
7a7c8cd26aacab72f0a961bc8ebcdf9d03e21352 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Def1 True Passed
b98400f5455eafa36e02c517322deecfdf9b7c91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Def1 False Passed
c547b0137f4e6b943dcad200bf980889be5f9d19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder LetDef1 True Passed
2e5b2b81233d0ad862c9898cc7c1ca533cac7496 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder LetDef1 False Passed
6628642f7c54b91b9e82aeb8963b7b1e10f042e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Def2 True Passed
f95c6d5ae22408fa9f664a7f15d3f4b8c6cc80d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Def2 False Passed
4f84ae4d29e194939f93715b0457c40bd079939e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder LetDef2 True Passed
4894fc614f88c591bc460fcdacbb8e7500832284 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder LetDef2 False Passed
c9e1817e902b3e8051f0f24cbd980fa62fb28afc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Def1Recursive True Passed
75e44d5b1e85d01902f3e5405706024fc8921b72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Def1Recursive False Passed
cda99cafd2aae1a7981fffda6a4ccdcd52666561 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder LetDef1Recursive True Passed
510ce4674f11cb0dc19f22da82092b1338107d1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder LetDef1Recursive False Passed
7de80dad50158e067d2a3cec324d089c965b5aba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Extends True Passed
a106158624b39c962361b605431c6fcff8fb8793 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Extends False Passed
4eb0ba34b0e2f025f1428b7339b8e42394bdd6f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder ExtendsInDifferentFolder True Passed
7f82e174a6715328dc682f24be3071f04fd7b5c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder ExtendsInDifferentFolder False Passed
a28d1939cb9255e18350e8db3e6b065b1ad9b911 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Variable True Passed
3eb0d0ce115fb16603f6f8a5e23c8107754481f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Variable False Passed
84a1d425cb3a88657fb4d0080522547c25d0dfef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Constant True Passed
94ac9590fc568c528e8848a4a670bef44cc0db33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Constant False Passed
b1ada300b53062a37cd6cd8a3dd9fbbf51d9f210 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder ConstantModelValue True Passed
8aa456024a0f69ad1a72d7fc2bf38e39b7e760e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder ConstantModelValue False Passed
1e27aaefad764b264fe56cd00bf265e82140c9a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder ConstantRank1 True Passed
64ab5d9e96f9932ef0edadde25e80594e714e194 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder ConstantRank1 False Passed
b0ef98d1c412d39e138f5b475a0bad0fa06bf4e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Instance True Passed
eeca5b066c3e1e8ff49ec5fc3fe3e2a68652d16d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Instance False Passed
4d32f23d0634d91438e03ede3ddfed4f325d2a03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceWith True Passed
e2550bf0df5207aa3cac77101115cc4a0f74152c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceWith False Passed
719e55cffdb58f2cf36f3169b11184e7854fe199 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceNamed True Passed
004b974c7d48eedde5537c6e0c55d071d83bc104 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceNamed False Passed
7f2bffb3cd81fcfe26943bfdc98259a6af3ed89b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceNamedWith True Passed
a7ac9a94b73817e333b047ef261f895df159b98d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceNamedWith False Passed
2ae48b3ab57e8d21165f3233b0d43ce16f54892f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceInFolder True Passed
e023410c499618703af9d5aa754fa08a2413095e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceInFolder False Passed
30bfda46027f6090c767387fd94177de0d044fcf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceWithInFolder True Passed
91b8476a521e0b95f452ec2ea6a86ae5fa77ed42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceWithInFolder False Passed
68298a7b95c4557add55906fd4f97b58c746c4df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceNamedInFolder True Passed
e37dba64cd5639a3c6b1ecd6e73b0bed39770cf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceNamedInFolder False Passed
6845854d9507fc6a7af1b93cfb8e264cbe50b8a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceNamedWithInFolder True Passed
6f43a52e55b47654590ebac224da2c97028a7a1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceNamedWithInFolder False Passed
eab10b2627850f5dd1efb50d78343908e37fea57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Enabled True Passed
9fb752462d624277995d6a508d5c5920649db155 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Enabled False Passed
e28a4de30cbc7380420770282c527973c3c9b486 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Cross2 True Passed
53c8b5f2277d5383d8079ea975a1ad5448ee1d95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Cross2 False Passed
107e3ee5013ddd4d25b9517f0aef196872ee83ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Cross3 True Passed
623fa4c8c706e4bc4431638fe25c3aad3fdbd0ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Cross3 False Passed
f79f86bd555848fae2250b4bcf039ad8aa97e84b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder FunSet True Passed
52b3e2b9bf308250231fcad2d0d722b2bab0a736 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder FunSet False Passed
bfc56157e874d05cf6d60a37e8b4a845ed654026 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder RecordSet True Passed
4fc0914bd2f13dc6cd8174eef1d870aac0836ac3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder RecordSet False Passed
fe6fa22ca180a6fc0f304acc7474c82eafbd7486 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SetDiff True Passed
1ab09a1c19184f6c17be63b695ae96efd9d48813 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SetDiff False Passed
81fb1904784321f51ccd33b5c9ff7bfe3baa02cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SetUnion True Passed
ac2b2e190c5480704b4e5623b99f40f815ab4156 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SetUnion False Passed
06d944e89746598df18fcaf80555bf1186b7bed1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SetIntersect True Passed
5358c1408ee8a7776ab5a90e0945d5fa4a13a9f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SetIntersect False Passed
70d92ef04c053168c1044864cbbe2e886ba802c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SubsetEq True Passed
afaff5baed269b8b2013330b43f3801027086d74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SubsetEq False Passed
aa61096502ccb015cce19af61b9d31116f4af569 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder IfCond True Passed
8c4dda2f9172ee05844afb92e7aa7c0b946054f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder IfCond False Passed
9d493e3e3b1b35aac6dff6c7568edbd7dcd62c5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder IfThen True Passed
82e2fd2792d9fb9ded610af6aea7cee2849100f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder IfThen False Passed
4e9b05b3f92a5c246e13938bf24d355d99304aa8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder IfElse True Passed
8aa8010243f74a39cd2881e0291068acacf86c65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder IfElse False Passed
21bf890d575def38bc375c5be6a622ab8d3013e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Subset True Passed
10cdb5365abcc55ffc6d0442046e48fb37531823 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Subset False Passed
6c0a88ca8353b11fc5925d6ef4e7c8faa5c9c17e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Domain True Passed
ad0779cc712571bf25f1ec65be676ed2776e5603 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Domain False Passed
6a716517351164420290673ce1fc5faf0c7b9755 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Union True Passed
a30440bbfb3e4687a33f4502f9ce65b532af8c54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Union False Passed
214d8ddd3b0383790aef8843815305227583c403 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Unchanged True Passed
7d1306d95959598c29c8e94f04ce9fed72c80877 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Unchanged False Passed
efe829ac8e5f44bd9f3fca883a16da3cc781624d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Equivalence True Passed
91a4efe86d8f06df8f530a16cecd5fed72e1c50b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Equivalence False Passed
cc7355047b45ed4736d14fc8c7adfcb675f220c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder StringEmpty True Passed
c86de180853443f5acc2dcd5e71050a73e7053f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder StringEmpty False Passed
33782616d135b74d8cbb5416eae82884f8cccd95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder String True Passed
0ae08781a6641c80667f910115fc259ecf71acee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder String False Passed
b635331abe75c6339cf5958f0df86802be3e5c68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SeqLen True Passed
ce6ff90e3e658c4c27692a93d08d955aec74068f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SeqLen False Passed
72db8c6c3a5e7a51475b390ef9c46dd3ca60fec6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SeqConcat True Passed
1c63114a0dc4319fe3b39ee72e4dac81cb5bfcec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SeqConcat False Passed
9f9a5b459c573bb21b818ad33829a5703724432f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SeqSelectSeq True Passed
84da46c4f509f210a8c0312bd455b58bca092b3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SeqSelectSeq False Passed
f1491114f95fe642b0480279d342f754b2a2b141 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SeqSubSeq True Passed
abbfad39794a74b18fa2071ccc24444878486fad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SeqSubSeq False Passed
c3b9cebc09285c32b9608e2e7c8fb7e94cc64579 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumRange True Passed
68fbc349bf4dd3df1c9cec7d26e90696f031e882 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumRange False Passed
43c463f3c16ec30c3a0fab4500f048a849190452 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder TlcSingletonFun True Passed
2bef4a23d08ac36c2ed81edc27ba01f892bac737 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder TlcSingletonFun False Passed
64d136a3cbd3e60d5a6282e1ca01193d6059f3b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder TlcExtendFun True Passed
6828088e4b0f9307a75fa1085a431f73654c69dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder TlcExtendFun False Passed
f86fe531964de1e7596fec8952b5ee3a07793fa1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder TlcPermuteFun True Passed
60afa54d474c59938487ffee5006ab43174ac92f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder TlcPermuteFun False Passed
b57c98b72a0f7b58247cb2920c04e43276ddc52d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder TlcSortSeq True Passed
6fb31ac28cc24122eea8c0c848c5ac4eb3c37635 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder TlcSortSeq False Passed
a755f89d7d4779507c7b84bc2fc60ae2d7e93691 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder TlcEval True Passed
90fbbfad16febe78dfd02ca124aeca4632695c65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder TlcEval False Passed
16196ca82ad8d4a9e15c054b97b098fb4a4c961a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagBagToSet True Passed
d8d7c78d457f1b9644945674a3cc529c5f78b836 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagBagToSet False Passed
ac162bfbd2189ceeaaedc897cca5195227c69202 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagSetToBag True Passed
54f9fb7d01aae81436730d6a82ded27082849811 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagSetToBag False Passed
9621a90c2471295ce99c76e71c91c8127fb4f418 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagBagIn True Passed
416353a38a66f01701e808937572a010e47a5b01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagBagIn False Passed
7e50217014d4f48774df5aa044a93e7476598aab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagEmptyBag True Passed
66013bc1c381a703416bef91f380788dd383e357 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagEmptyBag False Passed
befac94857b4880619bdb1ab406e3842f6f088e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagAddBag True Passed
3a60dc50cde6c6bcc7460aebd47d1b773fa6a510 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagAddBag False Passed
5d2b65397bc50eafd980d1a4d693b0bf6725d31f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagBagSub True Passed
296665d2d7374784790e0cad183793ac55db78c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagBagSub False Passed
69d013e2ed2bfdd9d9da206419bdcdb2c31baffc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagCopiesIn True Passed
1686a4a7c75b4e553fe3a8a1ca85d6391d03396e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagCopiesIn False Passed
f3683e528ddb3806175ac6bd059ac6941b8b1d88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagSubsetEqBag True Passed
dd3832e3171f18bddcbed25b9eb18ad34c89693c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagSubsetEqBag False Passed
3f687af01f0b77191fefc5312848369d4e837080 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagBagUnion True Passed
c1de3911481c8e87dc99828cfcf4fce89c82d63f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagBagUnion False Passed
a341e523cc978786267abba6bcc7d6699ffd0d41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagBagCardinality True Passed
8303cafea787b608293e9cacc3213c7f7d3acab6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagBagCardinality False Passed
6570d40bffbff8785b413929764a658114dd3cd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagBagOfAll True Passed
76424150bdd692b3754754e7807e0e45eeb01b40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagBagOfAll False Passed
a2334079e8bdc4b0260533a477587af65120e22a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagSubBag True Passed
c59b14a57324afe90de04146b62bcb6b17e12253 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagSubBag False Passed
f162904baf8f51cfecc0b220ccca0cd1e82c99f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder FiniteSetsIsFiniteSet True Passed
696ca14f00f73bf75307166cb213fae274704de3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder FiniteSetsIsFiniteSet False Passed
4c6059654308392b1a52fd167db7d37ccec62f3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder FiniteSetsCardinality True Passed
258d370bfc464721058c70f0c8762c29ad806451 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder FiniteSetsCardinality False Passed
235346b65f1a1c152ab5cf7c1106d10ff798799a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SeqHead True Passed
8d30a0c5064b593618cd60bccb07e4f26e042417 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SeqHead False Passed
b8f3a811d72407b3b323db9c0ec57648d43efc44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SeqTail True Passed
33984bc8209e9a5761200e231614b87d14d045cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SeqTail False Passed
dc0c81b3658b8f36305f1bb814673ad411fe047d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SeqAppend True Passed
9116a67c6df10c4b7d539e739a2dbac05208d9d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SeqAppend False Passed