Index

Tests by plug feature Choose; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
573635e4f89191ae925cf1a9eaa2cc388d8e3fa2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Choose True Passed
16f9e4597e7ca2c1ce62853830a6bc3fcc1cc319 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Choose False Passed
e1a6faf1651e83865ad3e5ddc695a7cae0809004 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Choose True Passed
8de6fe76d1db923a597b0c1cd982d3be8d2dcfe2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Choose False Passed
f7059b1f2465cce3ca56ddf4bf72156be4ff6bb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Choose True Passed
792b67308de615345f63e1399da5b5a830c125ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Choose False Passed
352dac701deee9d701872072712fbfdcdedbe0fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Choose True Passed
ffe1c2ff3a5a3a4bd6c867c973534016204fcec1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Choose False Passed
f14c1726c1b2a785f550ed956c6281ebb9cd19b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Choose True Passed
8fff18367d51b1d857830616c881cddde64f7bcf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Choose False Passed
e921f4a7c23c60a33f8d1b772b47df0f7e85bccc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Choose True Passed
93f57c3eff8e8ce517709029a2487c62fe35afae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Choose False Passed
e3ebdd20bfbb76123e613fc3a2742a8e2ed1f314 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Choose True Passed
910f27ba7226e349ac901c2be39f1e0aa1c5d27e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Choose False Passed
7e7f77e9f449d7e63a4159960048d08b8ae5dd27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Choose True Passed
8203dc5f1b77d3c8eb222bde7f2770db66f9e971 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Choose False Passed
ab106ae5772539bef7873ae37bd6b7d6cead39c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Choose True Passed
2ea65f9a4c303aabb71e322e8c9da310e064269f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Choose False Passed
2f858ff833a93b6a22201abae84d1e51fcaf2f28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Choose True Passed
66b021d4de9f395bc9ec2ea8a9f0497e598b2570 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Choose False Passed
02021ae99650ab6cddb1eb7e0389cdacf98d235a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Choose True Passed
5fe48128380cf02f0c259943c1ab44a78e2b940a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Choose False Passed
c0ab36943a87352bb217924c91307bfd3436b3bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Choose True Passed
9fd4e038cdc1591c5662fdeb04248b672356fc26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Choose False Passed
de6b8332473b33573e6075064fa77827ff824e2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Choose True Passed
6ce35755e911c348e5d805b784f168753c3ceee1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Choose False Passed
32fe3b566eecbc41fb7a8c29f5d8006e73d0bc41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Choose True Passed
51270194c2cf5e8c1b1ccd1bfb4b5736a3dd18c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Choose False Passed
7b0336cb57c130363078b5b9239e9e6b3eefd299 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Choose True Passed
b5fc2e8023a6bd7ce38c051cf4b060ec788cdfff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Choose False Passed
5a8174782ea1c618b8fcb520aa42c15fc797f32b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Choose True Passed
36207bbfa5b50857ac90648121d6e973fa39f270 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Choose False Passed
c06a5eeb655112073fa57b89a7fc402d2a316ca4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Choose True Passed
e11d846874294f0284c1028f6ce510643243b8b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Choose False Passed
9a2d24af22403e8dc3eb8375d9501dd6dfe94ab6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Choose True Passed
49a8f968524d5a257435f507f49e272757ef0318 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Choose False Passed
28b04b8ca7b3ea5f5070d6d215dcce6bbed36a0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Choose True Passed
d336cd7e01fae249854ccd0b60bdfe601c951e14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Choose False Passed
fb965e625c8901ffca8a3741fd327571fac325a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Choose True Passed
9dada239f8da41f08185f83bada999287ee03ff5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Choose False Passed
5c1c2c55acd9497278bd48b7eee7f9f1c00c8616 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Choose True Passed
08119ff2bea90308ece2db8289405277b76c8343 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Choose False Passed
725af682f1868ddd745504b60f8c9f1812c7b48a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Choose True Passed
8feeb48ca0169f9990f9e143df6a250510d6419f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Choose False Passed
b451e03ec2591ff40a7351b5f6add51dc7366bde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Choose True Passed
6691bc1de26aa5dfeb1400daf921e888ef14f15a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Choose False Passed
58283b65e152c44d31a335cb8bae2bc077c43cb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Choose True Passed
8ba2a60d6a35778ecc14a3616c53fad7a6f59afa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Choose False Passed
b57e754b4cd851c0c8a24540e51f5d1070489d9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Choose True Passed
11c8b60739274e0a39c34cd0bec57e4e0f259968 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Choose False Passed
5c980a3c7daf79d548c739796d11cf1aad3d17f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Choose True Passed
cc430404a8dff3e24f739b0008ef6a1bc7f09e58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Choose False Passed
ac4f705c8bd5399eadfe979c6b2e0d95f1916952 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Choose True Passed
49570db75cfdb934792eb538067aef5fccc9c57d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Choose False Passed
7e130d8373c70609d7089cfc879453a5af490393 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Choose True Passed
e8b842580f3224bb544ae37f0c02581d039e5762 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Choose False Passed
57c138dd91923477be3a37fab8dd0706b803b8e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Choose True Passed
bf3f2ce99229640d4d5c24ceb8f5da34aefc4962 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Choose False Passed
8e741e3379980d3ba2f639f22c9adc6b5f494213 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple Choose True Passed
9f72001fc7c6bd1e8292b49c934d0d989e3b2818 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple Choose False Passed
8880da65dd5217ff06c5415d0a2a4b9fb6b70778 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Choose True Passed
6ade011d11e34c8122e7c8a5f9ca26a7a5504b20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Choose False Passed
8a04316114aa1d32a255109d841f4ae80fdb6396 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Choose True Passed
b4b94b3aeeb973c2eb7855aedcf8768f63b5b2ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Choose False Passed
04a6c259ba7610b5dfa4e3d74af958061a96e007 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Choose True Passed
b821a5f8cf8c0a9fb83e47a1200220392a8b3cc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Choose False Passed
dc98c30f561e6182f592b9e5eb63852be8e3a8b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Choose True Passed
dca197223a09f8d2b8c527e26005beea422405b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Choose False Passed
bf8e80459f1f8cb73e15b8be76d579c469136cb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Choose True Passed
5b48650be28875f7cc65b07e66fb4edfd6cecbe0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Choose False Passed
dc41bf0b4db234f3b895d13a8a70be1eeb7ae418 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Choose True Passed
57085c1439f5c803f287daaf3271da79e08fed20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Choose False Passed
3d61b533a99650d6f24d3c650b9799d58e86b7ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Choose True Passed
7cde47ffc2cc53faf1ef1393488548e829f9bc95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Choose False Passed
bef13de1cdba1769ab6e6d703998fd5af8f8de26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Choose True Passed
2b2faaa6de12aa199bb6cf09690e2993d3afd954 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Choose False Passed
2769ec9c64ea502edc75e181e28823c7e258a0d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt Choose True Passed
ba594cee46079c87404849c992f77ca788e9b9ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt Choose False Passed
dab38c030ba0d54b6365bdc9a0f25a9f7d492d11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Choose True Passed
918411f4165014d4456999efc7c11b13efd1229c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Choose False Passed
7f038a3ee42e0eca42cd2920ad74139bbfc6d58e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Choose True Passed
1c5c0fe298d8e6d71e9cd51f0a27743332721b31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Choose False Passed
dde38619e9076bc48a01c525df6b0d45f764008b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Choose True Passed
68341b1f23a8422f116880f38d3e7a07e96d95a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Choose False Passed
0fc48d0ae84c7860e802afad59c04daa6bffaedf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Choose True Passed
c2b4eb23d5d564ddd5f26cfa982ff748e9fcd440 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Choose False Passed
9f099c041bfc99c1c1a366516435fe6e52bdacaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Choose True Passed
0dff2af8f1b2b5f704263a420bf80cfceb383894 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Choose False Passed
683a2950ac63dea25201d7ce2b255777a66f4a03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Choose True Passed
905b5c61f9354b76e355669bd749663114a53648 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Choose False Passed
1780a0825e42278d52c94dbdb70583cce3c1e8ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Choose True Passed
aa365be4e2a815a71d0986e03d577ea7979244bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Choose False Passed
2e9f7fd1da8ba82de7fb43a6fe2bf031eb43b910 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Choose True Passed
bae16137d6114e261f2be0d648e1fbf1449e1ab6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Choose False Passed
d1f649bd02c6242ea08f1c06fa160776df5e3f1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Choose True Passed
422a58972a0a1d9f50aace7125f1e71d1143498a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Choose False Passed
9590ce89daac9cba6e614c5b3ad4fa19b39e40c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Choose True Passed
b3ed55d7950af79d779f0344002b1545851f3e4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Choose False Passed
c4087f2277a05c4fd9c8dff626d8d931c13a8a60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Choose True Passed
5f17ed315268b557da0266f002b7fc03c030f4f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Choose False Passed
dbf9831bfc017afd6239e6dadf8734794e98fa9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Choose True Passed
5a3846a2361ee32f461d0913cbe8a595387f8923 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Choose False Passed
b9fa7ce8e3eb43f4465e72f5636432a6bd832d00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Choose True Passed
629909cc4c5ee7cb9340ac4c0b13e1e38beda50c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Choose False Passed
60c79f5dee3a3df828d52538ea18b0a0c47232ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Choose True Passed
faba51a138ae7e0a0ddaeeb86b6d2f3d40fb71f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Choose False Passed
31e485af4463a3c059b11d362b4335f6a895bb63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Choose True Passed
73a4cf977ebd0652cb8d2e65f74ac28133d93c16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Choose False Passed
57626f1657a657c93d47225de1983e563ab0b3f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Choose True Passed
f9e7ddc8fc50dfd72510e93eafda0b75d82797ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Choose False Passed
624fd77e4218695fdb53e00e0f1824ab3a1dff56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Choose True Passed
7b63418e13230788f548b4b03314a1404b69e917 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Choose False Passed
fb320a93eda3181b5973cb7ff9a6190d7aeb4330 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Choose True Passed
975b5fa8147f88385f8824efc04ba886e738c55e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Choose False Passed
ed543fa79449560e27886fd79480ea4a7a61371d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Choose True Passed
73796af15851c83f77031cf2dc12cba7d1f5ad5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Choose False Passed
22dfb9ab8295220b0a1818082ee9899e3ea96c70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Choose True Passed
3c36311dd18327e450283df147cda2f484a2db68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Choose False Passed
07dd3860d7e5439aa80778cb9ac35e9a95fb33a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Choose True Passed
4112b56d91a7c84978fa54cfe4d6e83fa8481c18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Choose False Passed
a8737e92239af3e7169e039e4c5c3a758a4c54c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Choose True Passed
80f4c12cc301e78538908bd6e6198e39cfd3b24b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Choose False Passed
7cb478163f925f6e46688af7a7571ff8cc5ee910 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Choose True Passed
99b68e067f26e4d4e58891e86f54aa7a31589eb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Choose False Passed
1af2476dd2d9f48b5201f3a8720d3607a30e9520 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Choose True Passed
58bc10472c3376b557136e319a703f9b40ea2a68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Choose False Passed
306ebbc82a5beafe2f1537ee8e1c22c30163c15b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Choose True Passed
d950a02ca6d9abb3af635daba481d1f4c71dd7cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Choose 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
c92a5655345eddf8031d322660f554843f4ab3d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Choose True Passed
31a3dd76cfd8cfadc255a3f9e6a93ffffb70e6ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Choose 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
f3a6b07aefdd96b4ffb51b28eb88e3e211dd2927 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Choose True Passed
aa37721c7f950bc5af2802fdadc952ece5d9fe75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Choose False Passed
49f563ebc7af71eb22f4f1f8bf876f53ba95d574 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Choose True Passed
19f8e73d1f1529d2d663615038a9117a38b9ab65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Choose False Passed
81b3d1a9a37ebdd98f0a78ca003d2ba4b13570bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Choose True Passed
2e5142bf7b4e85e4d920479e1b68dd97cd30e17f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Choose False Passed
7c461af6bb9c57a0b15093fa17a24e35ee043d8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Choose True Passed
d519b9ced3f5e3d053952b38e51c04cb90c876be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Choose False Passed
3528ef67d3b393fd79f92ce28c0c0aa3bbfd5189 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Choose True Passed
d9d67347ac35481bc1d686ca1c196f2cfbb879e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Choose False Passed
0be511ac6d01c5cb75da1af92b3ea7bf5f3ebf19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Choose True Passed
d2aba69227cd4554494bce084964188f0e04de73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Choose False Passed
94802b90e6c4536fc2825c1894a4626ec59ddd95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Choose True Passed
98bfe2ffd0f6a58ad23d04e7a98595acad237586 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Choose False Passed
8ce2dc432aba5cac42af32a7a899031c867ba264 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Choose True Passed
f0dcc818a5cfdcb3e3ae4b8da7afa1d10b9fbae6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Choose False Passed
86c3264fc0c4d1cf4e68de7535e925136c9a260b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Choose True Passed
e3d7dbea7c7e7fc3c8c04ca14f0221e5e6806ad9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Choose False Passed
bb1b054d9d7fc57eb09788bf9009e6a725c865e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Choose True Passed
2c3628c42fb9dffb90b06a33ca66ff88a981311f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Choose False Passed
b1832f3515b05f003238f587d314774b7a544874 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Choose True Passed
0bc7424038180a60702c0a1132e515e9ec7585a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Choose False Passed
ba53b301b9c0e4f0dbe859bc507d7d865090ed5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Choose True Passed
794e85708b2b2430ed48ccefe74163d7bfa3413c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Choose False Passed
fb360e1be81c90dfbc70fc37fad2a4d5e02480cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Choose True Passed
44713b577d31d506f259c82ed7d0a2f8a944b005 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Choose False Passed
84a2ae3d39c87dbaf8efc51c188994e24d2624bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Choose True Passed
8884b9dbdc1dfc8e91480d331f4893366d42e7f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Choose False Passed
da1c7f9df6205c6512e404e9ef2ef67119b616fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Choose True Passed
8c0a496066e9c9671bd2eedf4c5da44fadf121b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Choose False Passed
8c8da3dba718786d4f933f45bc7f106a0272f463 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Choose True Passed
3067668f70138e2114f27f4fa1e9d6fd1d1274ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Choose False Passed
7302850edfb0360cf4e33e925e72913b966b9bbb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Choose True Passed
c203bd00c094af099248d5f53419e5e559bfd858 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Choose False Passed
d9a4e05e4ae9b88ad5e47d8a029aa718e3cc2145 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Choose True Passed
5bc9986d293fb2d0a49fd6522aa71529a20ee5a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Choose False Passed
d128c88b6274ebde9bcdfdad13e14bf08f2131cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Choose True Passed
66aefda19f77ae866f4ec53c130dac7053ec40b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Choose False Passed
9aa56e5d9613b48de87fda4d4ee41157fb2a305f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Choose True Passed
12311909d3038bce04612b8837734bd2fb9a11fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Choose False Passed
aa2866fd71b48a07bdce1f11539672b6f5defb48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Choose True Passed
46ae8bf80d38dc8173db0140186f614931896083 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Choose False Passed
c9a9d8670229b4fa07d7582a137b7832c37b1973 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Choose True Passed
2c399e7a86a2fbcc5aac3e38f4fbdafbd7a26166 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Choose False Passed
452c9d2b2d623d615f4e7e41407c9f19143ccaf5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Choose True Passed
078123f5f8b2248ded537562080052276099534b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Choose False Passed
e4165feb36e00a20a28b760c367c4c3d0c258483 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Choose True Passed
9ac89807f39a5e87e03fcbc65bdc7b2a70e424a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Choose False Passed
aaa5a4ea00a42518f15ec29f07d578acfbc08f1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Choose True Passed
3a04f653e87a5703971708f405cb600b1e963838 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Choose False Passed
22e00cb8467d97f1a5f0bc162ec9fec9d73b3197 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Choose True Passed
09a600db7cf9118d71b1e3ddab4dc5949829e192 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Choose False Passed
7ffabc45195e4fa50ab6a755393e3123ec4da5ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Choose True Passed
3d70907514e9817a512fde8cc67bf40576f05ba6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Choose False Passed
691ec366c5effad3044f9aa028509c6d0217e543 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Choose True Passed
3e6142c9dcd9988d091a1511c6f4d371998ff7cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Choose False Passed
ca7c89acc1bb8772a86001a1db735aca0caeeec7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Choose True Passed
a1d5f448e254b58e648a520e24415b88bf577f24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Choose False Passed
9fe983ca428e637be8f54310dc2084095d8dc9ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Choose True Passed
4e3a3b6f11ff717bb9a2c28886ff99fc8b69ad24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Choose False Passed
d11c4f99511c806514766df6d0ec5f4471c8ee19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Choose True Passed
79a44f4210bf41f109d6995c09e8ca357eb38516 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Choose 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
681be6e4b455340309fd238a2288e566bee6bd53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Choose True Passed
7ca34c463291455e0a4701f2935b09fc176380a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Choose False Passed
f1fdec78c05f05f43c02597e7f20183f98739936 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Choose True Passed
40f9e5fa52e88b0b289ffa8e070d43e75120bdb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Choose False Passed
37e2958d4c654dc6509d3852ebca5364034a2e50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Choose True Passed
1e81e35c323d6ba0ab54804fff44ea7ec4e9b2e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Choose False Passed
d56ed9dfbc22dbdb9de27f65c1b3f0443470865e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Choose True Passed
89802e09c6acfc4416bde9dc2f2a1f6343292664 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Choose False Passed
9f4b2ea9f164472773b3377efe704f9e92de2b28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Choose True Passed
34bddd22566ef250bcad87e4b970a37db86aae1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Choose False Passed
50bf92a00e78632b8ad0469a97f8301e9dba3114 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Choose True Passed
5754a5118e90fae26bddc648cc12f1b238b6b053 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Choose False Passed
91a891720047ae04952f72f7b92ac6b938fbad61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Choose True Passed
fcd1f18de62b358efe7e7c41855e5b8795315256 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Choose False Passed
8f2274acd0ed7ec3ab6b880b022b144f8c00f06b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Choose True Passed
cab9710f58f061e81656c58f844642c5af002fd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Choose False Passed
1bf0ec602175c83e8cce8172c8ebb9a24624d966 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Choose True Passed
20a6976ebe32ead63a0b60c86d44c10195dc49da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Choose False Passed
dae59afbc0ba682a856492e2903e2e8bd95ceafd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Choose True Passed
73072583da4c343b77406e70a41ee3cd7277081d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Choose False Passed
f285c66de2f5588941cfe9f1a12eb9f89c6ad93e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Choose True Passed
3cd15be19f5cbd316f33c10c8e519ca32b8d7f2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Choose False Passed
1c643c173f6c43c719626ced4b7a4e43d741ae09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Choose True Passed
f107dea6fe55ec41564b85643810a7733e28b327 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Choose False Passed
685f54623ff091a05ee4e9d2237dd7ae0ab134b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Choose True Passed
1f9bd780a8f17a539f76150e6f9e8300be5b5435 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Choose False Passed
5f72468be6f4fcdaa7637db67bff788d1f79d288 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Choose True Passed
efa227d83bf1442a01ea0ac43ad097e987495041 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Choose False Passed
7889f6142d28b15664437c1505bbfbc161626c7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Choose True Passed
e8126dadf85c392d61584d8e8d9bc747bd08cc3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Choose False Passed
70bf91772db760d5ee218c71b691170f72d6205c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Choose True Passed
4917962cdd6f8714c9d6f15412d67a6916fddbfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Choose False Passed