Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
fc14f07130ff942009a7a0abd9024fbad3a61b15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BoolTrue True Passed
ff6f50ddf63c0e434241b70742a2931d0e7cebfe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BoolTrue False Passed
7bf498e783048349119de70b8bc809beef8ddb84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BoolFalse True Passed
95259f3d2e769c14c3810fe618cbf0908c3b0802 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BoolFalse False Passed
dec43deee6774f873264d9a73bcaa89841edbc86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BoolSet True Passed
55c61595ec56dd0cd7367ca47aad7db721973804 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BoolSet False Passed
d3ac315a4373111bd902451962ebfaef4eb3997f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp And True Passed
c77b7ddab102db2bfe7eb0af5f3f092d16a64bbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp And False Passed
4cc1371ad12bd22ed8ec40afa294926d9380925f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp AndMultiLine True Passed
4507b8a86d4983ef776034557e48fa49e96ac3ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp AndMultiLine False Passed
3f354b946eacf2275971502cdd240e57c8974718 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Imply True Passed
7bc04a6710dd72b91c96d539c1e2d963be76320b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Imply False Passed
534617abda82cb22e9327b436b97564db9fc10d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Not True Passed
8746350f510cf07ca4f404b7765f5b93928fa3ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Not False Passed
8a75e0c98345be4fa8498beedab2bd4c71b78e1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Or True Passed
9c6d6b72af1f81db8460008d2858c5684c295735 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Or False Passed
68e917476783cec1d9d2a7b0b8f8b59a96a46560 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp OrMultiLine True Passed
21a9289b4f7fa7330b6df838f2ad054fa82ed5cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp OrMultiLine False Passed
c57a3ae743775784e9e0c5ec1ae3b08dbe6ea895 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Eq True Passed
e4d25b81e965810e5054d9ad2787b64f51927c1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Eq False Passed
cbb7978d4de521b96d01a340fc409181e546129b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Ne True Passed
c81dd924bec8e8a6be8b33f602f18df6d484e8bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Ne False Passed
0640a13a86c2deea93bb5c06d8cb6173d4b1a40d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Let True Passed
4b10820e409691423f413bd4caeb616bb312d71f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Let False Passed
134165b181ccbae7082e95c78cb6cf66f3c5c2ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SetEmpty True Passed
c962c39858608eeb50d9a7af6625551f785e10dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SetEmpty False Passed
a98e2f1d8d6510fcb9d21fda53128efc6eae65a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Set0 True Passed
4963b7c1a2b60b5a8b678ab7a7102fc9208e1888 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Set0 False Passed
a5898d71018dc66e0cd22e7c19ded3aed95daaaa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Set1 True Passed
5d07530037969397341fe0540c077279a6af4afd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Set1 False Passed
fc8018b5957fd5f8f249bee39b5f6858b09e7b22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Set2 True Passed
0fe5bf15dc5e844e95c5626f480eb941951dfa4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Set2 False Passed
40abfc32a238de9fbcbf59bee8a4287a0d4e2cb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Fun True Passed
681889b51a514583ec3de3067c8cb214044ac223 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Fun False Passed
1df38b6286f23f7c048a0fe0da1ed78e323b3d6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp In True Passed
753955a0c422c81dcfc8824ab4395f20167e25e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp In False Passed
6f5ff1685b54a5fe0cbefabcaddf67f79e17c882 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NotIn True Passed
07e2f406a8927f24ed8bbfe29d11e3b8877e879a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NotIn False Passed
e6afa1b9f7135e323adf7d2457387eb389bac1ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Exists True Passed
4b58fd1cab21c211a9fd372c0465ce3cbdbc1e99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Exists False Passed
b8ecde801e8e7b0062fd65250d6e9a5507a8e0b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Forall True Passed
2275ba0de89e6154d329e3bd74e6d37457fe8548 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Forall 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
49161f777ed0f6282eebfce27d478f4167cf0c08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Record True Passed
b96bcfd10089674a4f73300e10ba4e665dff7ddf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Record False Passed
b507c68abf2ee68d323e86ba759d74c0f66b28f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Tuple True Passed
dbdda16a8475ee501d35e223bf06370b152c34bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Tuple False Passed
7e893b22c13c59f953e4c922dbc7f77b965127f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp TupleEmpty True Passed
750ea546f9b149add047969cf8fd2f129c72d20a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp TupleEmpty False Passed
bec0da610288584291eff912b78c3267efa5d411 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp FunApp True Passed
9a518140a5e09744f89ddcafa0dd933d6e92b2bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp FunApp False Passed
d827939e8e59f094e276ff4eb3be05f1c51d57d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Prime True Passed
b5458355c6b6753ee2fcd1fa985181ccad536059 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Prime False Passed
385182a39411e5687f23e1be67e3a61674935031 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumZero True Passed
59ac0bcf473a98acb9f536effb762542a4c58ef6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumZero False Passed
11dbd8ecf7453061fffa618d66a5aacdfef6ada0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumOne True Passed
b4814b4df5b611c7246517941004c93c08c6390d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumOne False Passed
ad46801a9b2e5ffc581eae8c03a5a68c053de99a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumMaxInt True Passed
a77387424b5be4e4bbfff40720ff7cb1126b04ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumMaxInt False Passed
10d0285c388e88f1d3d43637de971fbf57674d68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumUnaryMinus True Passed
d0d31c1845dfa05954ebcdb79fe858dbe1c57515 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumUnaryMinus False Passed
886520bd2a6e2e57847accdcbd728920b160000b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumPlus True Passed
86d4e275fe3d192dedb60e75c6c7ccf176c022fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumPlus False Passed
805d37a8cddec52453bdc24ea841870c29a1ec8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumMinus True Passed
de95299c4348e18cab7f65e63659cbade30a0d0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumMinus False Passed
a7296218c993d9d2d222005856712e692897b325 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumMul True Passed
9051b9d34de38e3e836219fbbb9252de9d0738c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumMul False Passed
415b9fb3388335f5f43575a193284c339c848741 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumDiv True Passed
72b01ed84a61eb89e2ef0bc1a20af8da7015df01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumDiv False Passed
aa177aaa6eb66ebfbdd34e09ba5ee3765ea01edc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumMod True Passed
3ef75133091875b76e4b90197afb2d9a47198aec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumMod False Passed
c77b478386355c2941b1d7563df3641319e00c43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumPow True Passed
42901cf958a18c45907bf08ff5c4795a9e769413 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumPow False Passed
fcb998620dd4d6da4348b8949d4c97fee23c7e46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumGt True Passed
18c9a3f03142dbf6fa4b1e5267bf641701c6e9f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumGt False Passed
9010f31e551cbeff4a4bfb1a97af6ad61242cd72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumGe True Passed
98bc25afee026eb43c405b7b13f9eb69a045f334 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumGe False Passed
d8d79cc4f3c0043b5e32a5214beb24d790089e48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumLt True Passed
2e56d0b82fa7239f54e7b00397ca67d336cced9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumLt False Passed
ec776d199c2f39bbd455fbbc4d7adb9e83a19ebc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumLe True Passed
5d9fe03fc682b57ea8d9dae699836507b54eeb78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumLe False Passed
110e181038af52f0642a72285a3f1b09cf22649c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp DefFun True Passed
865406d4f42e72626091a43f72daede76a76e4b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp DefFun False Passed
e47efe2db12c257d7e79dcdf884e3e3955954e61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp LetDefFun True Passed
c3c94437072748c173cceccd1ca42ba72f922752 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp LetDefFun False Passed
766e7cd3053768240054b202774633d09a35f6a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp DefFunRecursive True Passed
d3e8ef342ad99a1b0a0935599a27c1f1ab3d7cce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp DefFunRecursive False Passed
59ceb33404a020c1ccf837303979da8e261a0ae3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp LetDefFunRecursive True Passed
24499a7f4d1fd8bce7fb02af8acc78ab0a78a1eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp LetDefFunRecursive False Passed
8b09f2fa5c00570de6d7b948804241b64c89a8f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Def0 True Passed
8eccbed8fdf998dc04ceeca58c9214c4984b69d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Def0 False Passed
407bd3052f28b506ad384e1b601a5bdf3a585735 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp LetDef0 True Passed
d4ddb38a2ec53e992591e86d1bd0ecea4fb078ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp LetDef0 False Passed
ad655310fffb16fb3a9266140b10ffc1e077c57c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Def1 True Passed
22cda0300ebdb8abdbb01aa040bf0ce2166632d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Def1 False Passed
5e323982fcee99f7a61c62a74b4370ea12097f79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp LetDef1 True Passed
0b8b1cb9897fd33b1703b6edf67f274f2749127b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp LetDef1 False Passed
bee69e0461e05552fb82cd23b1a8208f240cc4b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Def2 True Passed
d110d0cb621b6b1332c5a11e8f06950dccf5b0c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Def2 False Passed
937835c0c60a79828fc102198a54ed67f577521e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp LetDef2 True Passed
8b32d16c2693b2a31fd82d645eb8ad2fc5e5acf9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp LetDef2 False Passed
dacec6763de0b83ec2df54c75231967f5970ee28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Def1Recursive True Passed
8a9d0f8914a432ee1cbfe215b1b58ff5d031fe9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Def1Recursive False Passed
4d741e153aed5a57129dd2c28fb10a9d67011ae3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp LetDef1Recursive True Passed
4c0e7cf9d2fe44516febaa8d2d0f74a04977ba07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp LetDef1Recursive False Passed
3d969c98da8c01ba9302685abad261dc2d5e3f19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Extends True Passed
908d77ffaeefa13bb3dc09c0a7a50f5db65fe32d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Extends False Passed
44b8637f3efae1689ef8e581b55df3259cd671cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp ExtendsInDifferentFolder True Passed
31dbc0b2eda0775d1fd991d2be5e08ace87aa8f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp ExtendsInDifferentFolder False Passed
c921df26c0cffd2cb9c17f978265ef7ecf454b32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Variable True Passed
fbd08305a0429dec95064a2352e3fb02a4a8b014 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Variable False Passed
da49dd37d9942c660d8cd1e2bcd40ab251e58fa8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Constant True Passed
d1491721eb6038a7a2820a9b621a55a95214b66c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Constant False Passed
eea6930b91fc6e88655e75f1448808315bbb934b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp ConstantModelValue True Passed
df61b6c223b65061d23c4fa9cddf45292792f3a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp ConstantModelValue False Passed
6084a9d83b54c732f916fa4efe81d778d40c5fc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp ConstantRank1 True Passed
6286218f4e6868ef90e56e505e6871bcefb15a24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp ConstantRank1 False Passed
ee7dff6cafca5847edf83ca35f966db3e737978b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Instance True Passed
67480fc8e85c85c11bf80d5d2ed9fffcb44eb8ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Instance False Passed
a7699151e390dc85f6f56f30c171d0ddb758bec5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceWith True Passed
d4962b396f465218918f064572b7302f649b58b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceWith False Passed
0b1c086722f1e77cb2318c408dd7e7cbae92fa44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceNamed True Passed
3b4822f44e3c9cb283913b93a5d3a530054898bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceNamed False Passed
4bd9d2e5115d22a37711fc6ea9a2c670376fca40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceNamedWith True Passed
408a283ad5a57c621b5e6414fdfb1a3534bbf51a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceNamedWith False Passed
bf48e441d784ca18d23f5520f589c55f197fd0e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceInFolder True Passed
6399a55aec37c5121f1e5056f781cd4f23f13b73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceInFolder False Passed
7d9048a7b7281728c0b0371c59e3e5d7efd6e075 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceWithInFolder True Passed
b8ef0a0b904c12c50deb96d059a3cfc77d40f7ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceWithInFolder False Passed
b330f4b89665d8b7b93be9104586c76eaac96c6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceNamedInFolder True Passed
0c45fa7a1a520ffcaec781f39560917b57c44188 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceNamedInFolder False Passed
df356afb19f2705cfbc69b9e290754d91db59976 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceNamedWithInFolder True Passed
d706f198847211fc84ed672327129229cb04acbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceNamedWithInFolder False Passed
355a19979769877fe0a13228caff8ff5dc608e94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Enabled True Passed
599d320cb5e39a0c0c3c2a324517a5f48dcf5bed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Enabled False Passed
940ccaf31e69ed2ec7104f5c0d8e91ebdfebe7c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Cross2 True Passed
3d02395eb46e7a25601aa9312d1bde26bcd71ef8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Cross2 False Passed
07f5d1215fb155a268ec48f2c3c76eb88329d949 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Cross3 True Passed
ba5bcea2c057131c6d456da0e20a83c82853548d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Cross3 False Passed
352093cf0d00b7bf649f15e1a9cea7431808b446 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp FunSet True Passed
ccdb8fe3580d72b0c782fc184eb0f346f73464ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp FunSet False Passed
2ca34d3b9d8dd3e6d0ed78b548d60016764fa150 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp RecordSet True Passed
0c764e4a5b9b372aeb9bc3381ec8e07a7e809d05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp RecordSet False Passed
1370fa28f0db383693d79fbd6ffcc75f7852674a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SetDiff True Passed
99d100941f617b0ea33683e173c807a9da7baba4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SetDiff False Passed
b170e5a36aeacc16112466e4b69edb6b0a95cbd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SetUnion True Passed
6991c72729eeee6f516ab1bfb638abbe029e364d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SetUnion False Passed
7b77daf394a5ce6f3aa5a041fb7e6ec0e64f1938 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SetIntersect True Passed
fb3a757104423bbf1061904792bca47e7fd3f10e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SetIntersect False Passed
6f108673ae87996e7724d4ab1d1482a1083c139b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SubsetEq True Passed
6e0d01953ba28e8cffb41057d4f8d67c0d22d12e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SubsetEq False Passed
e21b8cbf84cc9c2f159d932a502bf81311acc88f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp IfCond True Passed
6e78f4cd51084b8328a4c617b8552902e6e1337d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp IfCond False Passed
8d79817496fd9b74b2abee1daa424a1297a0ad5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp IfThen True Passed
10ab2f6f82297d27d3d4d9b2ee2c19a7c53f0e9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp IfThen False Passed
d98c2b9e07f73b85d731448c1ec29e54981a0382 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp IfElse True Passed
4a5b97257b1b8e936913d2e758dc00c65c5c2df8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp IfElse False Passed
ab2542dda24843a42e49499a9356349854494add TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Subset True Passed
bee95964c0cd20f4c0c75fae1f709a1989de448c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Subset False Passed
78bc5aa2e703a9b29f71ebffb0efb964ab5ab468 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Domain True Passed
81c9314f0df08ecafc1c0e9c89fb931e620f47ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Domain False Passed
c7c2880de8b11424688deff5abddfcf973f73636 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Union True Passed
d57e7a74c10e0e375b295c1a0f47b54d54e2443b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Union False Passed
bbef2bf27b3f2b2e92748ecd425ec3c8debffa08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Unchanged True Passed
53dedf0ffba1cce5885c9890c61502cc584f84e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Unchanged False Passed
2f1b4281543311a216053edc5a743282953a198e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Equivalence True Passed
1e4202c113ef47a335935353091bd0922195da6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Equivalence False Passed
7b0f3d5476fcd7d486362cb8c9c67a782388a418 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp StringEmpty True Passed
1b6a87509d722d3c5b8ab4ec9fc03c2473d4e823 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp StringEmpty False Passed
59c75b00b44a1d7cbdefb7d68d1806b05486f01a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp String True Passed
038a2176f90e1812d64cc75599ec33eb810c1a11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp String False Passed
cdc7e7ca99a9838c1c3d7ea1db7d2971ea31c91a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SeqLen True Passed
d468b8965f57ce536ab056e3f5bcea1abbc64e81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SeqLen False Passed
dbc6ce77704caa45e3f530d210f1f2d5702366ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SeqConcat True Passed
08895f5c8e361e199cad4c4f76207f471714cceb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SeqConcat False Passed
0c476297c82c54d5644e47bd367642b9f93c723e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SeqSelectSeq True Passed
8d090ad44b791744c24cff09c7dd94a4347982c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SeqSelectSeq False Passed
da364a42aeeed1d8a68f8db9033ba2309159be91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SeqSubSeq True Passed
ef42b3f3c3cf75f099e5770b179131e89988e6ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SeqSubSeq False Passed
5c6c989254ca76f8c5c47fb980686a806d9f9568 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumRange True Passed
8822ef449d6fe97d2c0a6448ab33db34eee25879 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumRange False Passed
fc559d2d9f0c366776bad5110c59741b12d309fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp TlcSingletonFun True Passed
2271d462cd93297d81b622cff9804cec624b7dc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp TlcSingletonFun False Passed
aade382773a2bda1f1e3678be0765ef339456ec7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp TlcExtendFun True Passed
1d44b9e0cff2318f2752061625e68edb24b4eadc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp TlcExtendFun False Passed
730ef9c00d0f2a6a7a80169af21b825e59fdc02a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp TlcPermuteFun True Passed
2e41c2b3f51866f1bc047c320cb2e74c1c7615d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp TlcPermuteFun False Passed
548313c9045461cfd4e39c410e6730f8c83de52d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp TlcSortSeq True Passed
86903ba5edf5948944c886e0614e4db0e885f91f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp TlcSortSeq False Passed
08680db7b453822cbf4f7948a821b8754287caf8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp TlcEval True Passed
0f2822e03193a2e45608359345e3e1c384948dd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp TlcEval False Passed
440734ed26bd9b0eeb2c41bf2134b87434c9c7c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagBagToSet True Passed
a449436f7a8c697ae082e5dd467917a3185a69c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagBagToSet False Passed
7ce692f63e653fad2d07694a401485c48cc3acdc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagSetToBag True Passed
fbfbc34970aaa0bbe9e5c5069924a3d7b8798da1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagSetToBag False Passed
d448f6fc3b4867344ce065f84fb600b796d62325 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagBagIn True Passed
4e7a29f69fbb31c94a38b24d5bfd587c168125d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagBagIn False Passed
e70b1956e00a0e9e3eeb75e62a02068ff15cb5a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagEmptyBag True Passed
9b5f7937fc637b878074639d5bb812d747089a01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagEmptyBag False Passed
182fa17f9b2570116218321038dab0ee48bbb505 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagAddBag True Passed
e2cf2873c9c59c405a8e8af16bffe4d6d7e87267 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagAddBag False Passed
cb5772a0714b9f1bcfa069e93c490b548d8c1fd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagBagSub True Passed
a11a6179989ef73406fcd0ceb1a761b2dbb99394 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagBagSub False Passed
9bc69992fe15df2477990f4cd881a2ee4b3a703c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagCopiesIn True Passed
7fec7c629e64194a1f836c771f4373f8a5fc8d6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagCopiesIn False Passed
d2a941fb88896ea79029fead9b6f7565e5356be1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagSubsetEqBag True Passed
ab3ef64f1b3419132fb2c5549f316de6605b020d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagSubsetEqBag False Passed
03145ef869810e3f1cbb8f98383e793658dbe650 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagBagUnion True Passed
cd003389dea5bc3f7cf00cdcc23b7aab33bc9717 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagBagUnion False Passed
2aad8dbd042b947bdc7c33a5e67dfd045434739f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagBagCardinality True Passed
fae01e0cca7a55d88d3b9dfc48533ae383c82038 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagBagCardinality False Passed
a07c3590894151355a808c5eb127c0d6926a3b7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagBagOfAll True Passed
9830d3aaf66fda6709d7b30b7b7e6b6f4ae2144b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagBagOfAll False Passed
2c982a387493bfdb208fcff0ccca5e01da48fa0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagSubBag True Passed
1854b62f50087493ab42fd59cb6fc1542d0cdc72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagSubBag False Passed
bf9b04cd529994ec19dd59e6e621b84e33c14862 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp FiniteSetsIsFiniteSet True Passed
d2a44cd8706b0afc3dd1106f9abb78588b6a5335 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp FiniteSetsIsFiniteSet False Passed
d4afc653e607f2ab146d410c8aee19d9329f956f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp FiniteSetsCardinality True Passed
6047e7f21e798a50f3580b59df2c6593136244f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp FiniteSetsCardinality False Passed
2aed50632bef89a5102a3679061a8264fc599399 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SeqHead True Passed
7bc06d46caffdb35a8b0a34f11516c8b830a7114 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SeqHead False Passed
a97a5ca969b88718e8b6027bae3ffd92926ecc90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SeqTail True Passed
7e1242fb8155b1ee065955b3dc12dcd3b54bbf5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SeqTail False Passed
38b651647d2aded83db8bc7364284f26c463e920 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SeqAppend True Passed
57f48a0ba46d79c1d18cb8b6609d4886a33460b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SeqAppend False Passed