Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
dbf7fab90f5092be8dbd8430946c0f9d1ea0f085 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder OneLineComment True Passed
a5812fc818dda6c29f515913590551cd48609ba8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder OneLineComment False Passed
cc69dd8b55804eebe90fb374dab0e50e011cee7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder MultiLineComment True Passed
305a7aa8901738f35413e5f95d20033013d67fa9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder MultiLineComment False Passed
58457c3dedf9610968ee967cb5a8b2ccdc671f43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BoolTrue True Passed
c040a003dfe43ce51a395a914db600a7305532e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BoolTrue False Passed
48bdbe974d5831f4a25ad0bfddef5579f32b8967 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BoolFalse True Passed
65295505ea9eaddcf117db18c1d8861f56cb324c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BoolFalse False Passed
3216463e7430a936e406bc423889ae8183eea6a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BoolSet True Passed
df5896bc1b073b96e75dc37e54114a84066649c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BoolSet False Passed
db5acd2f025954a01fb376c3b3024795caf02e2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder And True Passed
11c1f1c6ca6a29bee3567f97cfd65cf9d645b5ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder And False Passed
3faba60919ea2a03012741606e9fdbac4cf9579d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder AndMultiLine True Passed
73af58299f41bcb3e92af97e48fff55269ddf6eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder AndMultiLine False Passed
a0faa1e87513d962fd1510d4f49663a0ca0e984e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Imply True Passed
f9e2f5627c5b67d96234b99fa51b1916be1fed65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Imply False Passed
67d5686137603f0dc8050dfb9abae234e06c1a85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Not True Passed
0c0db18c81ae552e99fe48187e127522f3ec90e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Not False Passed
ade9fea46f458db80ada74760e17672deeb345ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Or True Passed
677e9eb2891274c2ea9bf607b1ce06dd0e446383 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Or False Passed
0901b86f4b3546940cdffef08e274763bb32d403 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder OrMultiLine True Passed
199ba855e490e183d6ee218b90f2c9c2370903e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder OrMultiLine False Passed
20a864582e75b7cbb7e73052e34da29c23db1299 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder AndProp True Passed
23b9d7e22b83cf913755a8c8c35a0effd79acc9c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder AndProp False Passed
44aff24b289ec1eff61110a8b7f415455051c5d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Boxed True Passed
03ba5e41bf1205e3d9c3ad7c5f90fe53b418aaa6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Boxed False Passed
55e4eb6237a972e24edbb3d6e7b3438f9fb5a58a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Eq True Passed
37bce7a79a36737179cc98dab9cbf1498cb4aefc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Eq False Passed
a438d13042237aae720dc7f7374a81ddb9071373 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Ne True Passed
1b283417752a01c45474761660798a69c41a5ec4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Ne False Passed
036a8a3a4a335fb1d8946695576976c9c6eea3e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Let True Passed
799be573a4b6aea0f5d74057c8a6a03c83ef1b64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Let False Passed
534773fcaf9c01ba4fd2d1d0b1ef45b0cfd28ea0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SetEmpty True Passed
37902bea4ddf489953e177287af042a3c5c416ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SetEmpty False Passed
e0ad9ddae91a99da7310a2f27b73cf82e91a5101 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Set0 True Passed
71dfc0808ea5fc949a89ddd81905ce6af1961805 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Set0 False Passed
a02e60b7b1b54352adf3308887061fd2d48b6a06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Set1 True Passed
fda1eda8a3cd832f3fa84c64a8bd080f2d99f0af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Set1 False Passed
62fdc19c99df058c8ebaf78300f021b7940e6a2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Set2 True Passed
30df3ed17007ad2845da059caca1cc1f3b683df9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Set2 False Passed
429c00c69d002a0ef01bc1903bd68f6f63f773b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Fun True Passed
e2ad0f9ae9833c55278241fddb96b38c31680590 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Fun False Passed
fc516fd6020864e4b20c4d9fcd6baa66ec7080cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder In True Passed
7ffaa0689d8fa8fc19e7ab1432270e23f3f7d81e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder In False Passed
026906e18a7bf4405d67ccb9d20f62cc27b0cd4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NotIn True Passed
073ed10ce2f33e14dd797a39b6812f0715275189 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NotIn False Passed
14002b81b5b0d25b40154ce201a10088d9b42051 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Exists True Passed
e00dde392d32b6a3f1314862e18431f20abcb785 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Exists False Passed
a9bbd4a4d7c85280f3690ccaf48650f70de6e454 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Forall True Passed
e2cb2ab7ccac9e027ba87f46a78f988cb952d928 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Forall 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
98829a3262282fbe0d130bdcdc11c473bbfa73cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Record True Passed
e7ccdcdb286ad48c1611519f9368aba5c325d957 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Record False Passed
5c4573bd6142a9ec4f83d0737ef53b7e4b72602d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Tuple True Passed
0bbb62fbdc7b6aea31184dbca8e479376c002150 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Tuple False Passed
f95ff8a4b824734235f27582486c00a1963aee12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder TupleEmpty True Passed
daeb992ce37032c8303be2a50fe557e43da104e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder TupleEmpty False Passed
948af919a2f31dc18d9a739e7020c631d1844277 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder FunApp True Passed
309c3d11d52a2a18b79f12a850871c2fed3e800c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder FunApp False Passed
d18c1ada988d49bf64025a638f58e0a4635c9a5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Prime True Passed
3f6301e868f77ce99f0ddb733f9a850d2ce5b1fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Prime False Passed
34fe564a24f5dd4761c3c2a25831110fae0cf01c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumZero True Passed
da4495db3782d074a74b8f850214cfc5a802777d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumZero False Passed
c9bcfa78c6608bdf468d1507409abca8ace8e7bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumOne True Passed
11f983e34c4eb9d472d32d2fad3a7dae7f74e550 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumOne False Passed
5d638e5f3239cc938a0b63e1a8a599af509fe8b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumMaxInt True Passed
1aeb51feab2d0d4636de609e6a680c6f3a9a55aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumMaxInt False Passed
be0387cb14a1aae376e5ce55a12b068c1bba1ea7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumUnaryMinus True Passed
bb3fed8370ca854ad2eaea87fcf05b3fa82672b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumUnaryMinus False Passed
b61ce271397e83184c3185fcf3644a5bcde45d12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumPlus True Passed
db2f0018df70075de5e9ef3b413f18473b3b2ee3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumPlus False Passed
89dc4f3c086ee86963b67098972095ea19be36d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumMinus True Passed
8962c901dc46df03d9da2576f669706fd8f82a17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumMinus False Passed
733dcd6cf3bca955308fe181c33d110429e210cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumMul True Passed
46d90803287328548538112ccc736fe0d155cc6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumMul False Passed
1edc8ae955540a0b90a939824cd4954e3b276589 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumDiv True Passed
2def94b0e86e58f2c604a74b08f666f393e4c77c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumDiv False Passed
dca1d870ba1663032a8e80e7c4b190a716e0b536 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumMod True Passed
cdeba9983207282122b90f0cba5eb6c56d90e236 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumMod False Passed
c27a6e8b2669ed7ca24c352993c447a4bf827f30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumPow True Passed
e75e8418150759398f9670b0025c7677546cd93a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumPow False Passed
e11f0e713a82efa45727917482ed7465e614d71f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumGt True Passed
fa270cba1cbcda45be8653e96dc2c2a2218dae0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumGt False Passed
23e1c068e9a2e8bf315d5814ead78a8103c2a698 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumGe True Passed
7a7181b0d89978e092518be9ce052ee778e13247 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumGe False Passed
d7040576b1eec766ada41809aeb6c7bf135bb4bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumLt True Passed
88845a623afca9777e8c50089a37cf8796d1fd18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumLt False Passed
af7c0f3f35e9e00bf66f177581d8712acdb104cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumLe True Passed
8e0cfc5d507d78564d36ec75af6aaacff2331bae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumLe False Passed
08811b72dbd2cf08088512f1703e46bf87399179 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder DefFun True Passed
9eddbed1b4b26fad8f61fd8404792293d84aedc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder DefFun False Passed
c78c32bc596906a12f6e11473438628ed53c6b30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder LetDefFun True Passed
703f2e558abc4006c51e9bf89e260d624f89aad7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder LetDefFun False Passed
dd14097bfc8e54e8c67c619a2b23a33b9665f575 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder DefFunRecursive True Passed
f06eb580b7959d2af7b7c83901fe0eecb511b588 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder DefFunRecursive False Passed
3bb28f0f87ab2d9721d0f75f292f87966958257b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder LetDefFunRecursive True Passed
ebc730ff235d96d382ff71c78c76f008eccd0206 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder LetDefFunRecursive False Passed
3bc6556124cbb6fe2976b62c6ee1ad274d59c616 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Def0 True Passed
f44ca0a1ba10ec06a90f195b599770e0f7dae49e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Def0 False Passed
a325551369f0216e9c6dbba63e531e7634516c08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder LetDef0 True Passed
d88692a8274c0125deae7e960bcff40a9591909a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder LetDef0 False Passed
2da27ca2486806a64424a2f9c5968bdd0e308ed2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Def1 True Passed
fa7d6803c46a9cc94d760f14ad650f139d36e2e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Def1 False Passed
19806de6f9945ede56fb13342ae1410a8c7d69a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder LetDef1 True Passed
98fa553f9e0d5d7babcd07361536b949ef525673 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder LetDef1 False Passed
2d639dc59cfeec1d38e1108c9b66e3f2d8845cb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Def2 True Passed
b3d7af4eab6995dd5b754ed69d551482f1e6409d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Def2 False Passed
8a737080341a51f9aeb01658791bb2ae97465df3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder LetDef2 True Passed
732cfd7974b4c8df7387f21d92b0a3a36d820eb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder LetDef2 False Passed
c38b58e6a3540e1fd5bd075eb0de07d537af24da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Def1Recursive True Passed
fd50876d36a6602ba157261a720883222953fb41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Def1Recursive False Passed
c889f6c1db5c8c2d5fd41c3e46eface93ca9f5a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder LetDef1Recursive True Passed
284de41c998df527b2ab9aac60518b8643dada5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder LetDef1Recursive False Passed
e06f7c32da042aafa8c19fdd4edb4871e89e3914 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Extends True Passed
03b09f91faca1c9d762aefedf0bf16d36538f3e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Extends False Passed
2a98bd8ce8b2c166c4f777b3d4e5b1021c59e303 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder ExtendsInDifferentFolder True Passed
fdc58a27b0672b6dbea77b445753d6aa4b770fc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder ExtendsInDifferentFolder False Passed
2c4a464169f18f46dee88304c06932e17a66e4df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Variable True Passed
8e825d6ad5d9f3919b0be4247aa36ae4c78741f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Variable False Passed
a7f56511361117ffaab2e7fb8d1411b913cc3bbc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Constant True Passed
f8b6bb94c5a454d887d615b10178cd95deb3c4dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Constant False Passed
931269e58e2504e6365ea70a96b960f253529e4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder ConstantModelValue True Passed
80271371f011b8ea9e7cadcde652cd386a11b32c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder ConstantModelValue False Passed
0b1818ee077c1cffe0d411ab3d3fccc179ccb39f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder ConstantRank1 True Passed
7649653909c0ce027d77a40fbfd85c355f9c436b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder ConstantRank1 False Passed
3a3a98807508681804b6acedb94de6e923ec8e8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Instance True Passed
8ef68c90356357adb24709fa3d31c2605714262a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Instance False Passed
56258e3deaff64df7f729b2094c4feecfccba913 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceWith True Passed
a6c83c79e164a7c2c1f3404601661d883cc42a2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceWith False Passed
eddb67328d1c76ea82661b9f7841caa7b9f620f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamed True Passed
9b4ed9946e1e5f6206596ebc2c4fb5e79f7d020d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamed False Passed
bc9c75af773d3d830651ff378cdde4f0645dfc6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamedWith True Passed
5b060371dc01398b0e3e7564e0b64b6895a69d3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamedWith False Passed
1e2d672b261f93c5894cb81b2d41690954af4d8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceInFolder True Passed
3b5ea04bb8c7295ca3059bf3149a812ace01a781 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceInFolder False Passed
aa062601d2188d8a54b82902fd7e19c4b06be8a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceWithInFolder True Passed
42a0034a4ca9ed7bd0cdda22a31024d7894e21a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceWithInFolder False Passed
d0b3a2a3c69b595da1031c36b35c600ec12ca253 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamedInFolder True Passed
b0bb0ed911b8520d8fdd83a4ac4bf5ca4636c41b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamedInFolder False Passed
f99ea8741fc5f5fd0bcbcaae4566b82c2f681f31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamedWithInFolder True Passed
26859d85867fac4b709aed1bad601749babed0be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamedWithInFolder False Passed
0a4878a086139a2f635e54bc1ffc3ef38107df45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Enabled True Passed
ff840a69d2671dcff6f1222ed5889f3d0fcd21c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Enabled False Passed
e31f641e95dd6df0ae30275a9e2750d7acf4a21f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Cross2 True Passed
2e8add6351aa3262499a7740b3eebc422728dab3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Cross2 False Passed
b31294937433a865642e739919301752c20cd8f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Cross3 True Passed
e4e1faf8ea4bf24ded1fcea17d0c15d0c483c0ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Cross3 False Passed
f2a3a3655dbdcba00590b43eaa76551e4c431f4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder FunSet True Passed
2282d492fdd5606f6a6b347ac1ca2f9a4f1ff13c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder FunSet False Passed
a1b691fc22689ffbb2caf41f148167268e3cf0af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder RecordSet True Passed
f2d38fcc27d3390ddd450fee647eac3f3c476468 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder RecordSet False Passed
6f924ce4dd94b551a763411b173b48a9c2718bb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SetDiff True Passed
60f2b508dfc727659635446d6b6b26a0b9c4d7af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SetDiff False Passed
10a786939059781d9067412748e2ef0752e5a18f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SetUnion True Passed
f566ea687743b522ea7029fbf0bfafa7ed01d7d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SetUnion False Passed
fec60c9f772a571502ff1dcbef0c1f5e3c0aebdf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SetIntersect True Passed
c9fc3a136fc113ec832b6bafb9c0dc659520453d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SetIntersect False Passed
a41ca6bfc77d71cd11971cc06c61afe1afc0607c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SubsetEq True Passed
0e063d140717a46b9b794c63dee93734a400c0b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SubsetEq False Passed
fbcba662b26a6455e6e05a1ccbe9014eb7ea3aa9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder IfCond True Passed
1c5fb58256a3314acef2968c34ea5ae4acf3327c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder IfCond False Passed
11e7951d0d02111483c2d8035d2e138e2291c8e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder IfThen True Passed
afddb00246a47e80adf8a61cd4909df26d6b4514 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder IfThen False Passed
8fdde3ee2eceaa7e66bff67cb2d6b5ee321057e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder IfElse True Passed
e7e562f6e12531ba8e8213b1262513780a3389d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder IfElse False Passed
1214f5770ae2f14aff03705b9ff9a6e85dea3f20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Subset True Passed
555fa8612214ab4acf1e84815209ea680163d2bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Subset False Passed
17c19f86c5d99bfae150293f6c734b9d071b7cb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Domain True Passed
22c04889e15f0398a57efa32fecc0afd9d1a922e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Domain False Passed
4d4fe87f432796cb6d03576d49038a06271f4e8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Union True Passed
06ee729ce3721e5e90278bf54252342a5e069c53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Union False Passed
6870e55706425fbcfe1141b8853f66da7e180f92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Unchanged True Passed
ce4f53c8487511c98d995bcb143fe1114c914bc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Unchanged False Passed
3c3e18e32c1af66ac82c2600cb46fc1c6d08713e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Equivalence True Passed
86b62a14af44594de98ebe96cc60baf8a30fca89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Equivalence False Passed
cc48e042f367b233890dfaa6f290f64a7b614fbd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder StringEmpty True Passed
210270a9c9738f5cdd6581da40bd031899ba8253 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder StringEmpty False Passed
1bd551b59efadb669db995dbcde5d66bf369e48a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder String True Passed
30ad861666e0c2d8a011229e5d2176382ae89afe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder String False Passed
421cef49da107d24fa05bdaf85475a1f9a75a8d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SeqLen True Passed
2c52b41cfabfa83770b29089343945ff76c9663e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SeqLen False Passed
c9102697a6b9124cb9a727587e2a4286090c4bbd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SeqConcat True Passed
e5dba74aaefb7a580987c3a19dae0f114075fe55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SeqConcat False Passed
c55d22ebaa6ff67aedd854d6e7652601ec1ad19a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SeqSelectSeq True Passed
c842a26a347bc16bc5d6ddafe28abe9b8e0e192f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SeqSelectSeq False Passed
73c3ff75ed0fc8ab3583ebc0b272238fe656fc69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SeqSubSeq True Passed
f113d07264937f04d196c50736c5805ef023ceac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SeqSubSeq False Passed
85651a6e7bd0fa414e0e165fdcd3afb74b25fc3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumRange True Passed
b1997a1e52101f20970baf496ac0b485ac43c567 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumRange False Passed
fe4e472e1007348362a587afb9f884deff998d38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder TlcSingletonFun True Passed
0e2a0c3d5458a247b6b10f3fcedb373ba368944c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder TlcSingletonFun False Passed
5b71f3a791650d3d6ad18ad392f092ad40dd5e1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder TlcExtendFun True Passed
28801437adfc137e18af46e27f013dbffe188bbe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder TlcExtendFun False Passed
d61a9329366997be915b64b6dc497b90425691f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder TlcPermuteFun True Passed
ef71e8c2d50aeb3aec55f8076ae73bdf58751c2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder TlcPermuteFun False Passed
30a05b3ea0decdcbcb4f353e760b59939008932e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder TlcSortSeq True Passed
ecf516f72a639933960800eae5c597c436fa78c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder TlcSortSeq False Passed
de769bd36f093e74bd703a00ccfb1a918af9817f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder TlcEval True Passed
5fcfb0aefd6e8eeec397a2cdad764f5ef21ae31b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder TlcEval False Passed
cf2a83eedb653ed9e8319169a099fc3b8a063074 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagBagToSet True Passed
b31983695424c7c15f7627451c2a0b2a57855976 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagBagToSet False Passed
2653bcf1cc5ca212025e119c3fc300471f5085b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagSetToBag True Passed
cce52b157204296d764cd4035d289ba39089d05a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagSetToBag False Passed
28e6fd056b8a88e225a0100a6c8704d763dcb1cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagBagIn True Passed
3bcdb0d1ea9e7c1445fd29edf3a5fe3499268114 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagBagIn False Passed
1485acf443dbea9c2a64b52f79eddcbf9b3a53ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagEmptyBag True Passed
ccc3518df67a96f3051d761dabd6f2394646460d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagEmptyBag False Passed
8704cd3dd08e54ab86ca606629d3b801cb2f3370 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagAddBag True Passed
844f73f6900d7fb14498452caab21d8800dfde39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagAddBag False Passed
9a6330fe109a310d3bba3c3af3fb275d47137901 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagBagSub True Passed
36546580e7386c75f370f1d2319304fa910d6581 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagBagSub False Passed
b3d32c6590654cdfefa476569ca40eb2ddfeae7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagCopiesIn True Passed
715d0ebe24711c5e14dc8bd5797c7bff7f3c5419 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagCopiesIn False Passed
9f00cb24aa0af4e038319d5610ee4ef2b402738f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagSubsetEqBag True Passed
fabcdfc0d1345548569f180bd74735497aaccdc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagSubsetEqBag False Passed
0e02e2adacda17370c757dfe4614a98adff079ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagBagUnion True Passed
4171605497f7959f3d0c145f74da4639fe28dd9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagBagUnion False Passed
164dfa10a74ed0773747e75a94f89688d18d7a32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagBagCardinality True Passed
def5793a49b3c65def593c8a1a7ee0c50ad05ad0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagBagCardinality False Passed
2aabc46dccd9347a881e97242ee5d09bd5af9b2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagBagOfAll True Passed
f32e98586e08573ff73ff243f8e867da384f6ac0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagBagOfAll False Passed
3f6b9c8e47ee5012982f67941c51cbac3ba4ad8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagSubBag True Passed
5377e275a0750f03cb98f00e5451fc8493247e56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagSubBag False Passed
59603ba366eca3720d0fb2397b8b8edab5693b8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder FiniteSetsIsFiniteSet True Passed
48bf814619fdb0d3949594f65872f2a1ef10a3ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder FiniteSetsIsFiniteSet False Passed
cd043283fc80b447de489ad89209e999cdf19cf5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder FiniteSetsCardinality True Passed
1708c13a5d7a2eb635014bc6e459174818894306 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder FiniteSetsCardinality False Passed
f34950acb41283646dfd6e1f9f2b69a9c1adfcbc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SeqHead True Passed
e51377e84b87f0071fb9429acabda5be4e09a029 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SeqHead False Passed
873ee429f372d8a452a7c87ff248b46bd73316ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SeqTail True Passed
f11c28bf20955fa31e48565e8ace76c76655c67a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SeqTail False Passed
ae32e605cbbe55639b2771d828fe84740b1cf74d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SeqAppend True Passed
723f0b090252684bf074619ae287495fa756d0e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SeqAppend False Passed