Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
1e7d8fb315dd42a50a5bd13cc0c9eb46f5d302e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed OneLineComment True Passed
3980f0782d750eda8a8a11521fa47fecace1d9b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed OneLineComment False Passed
91a1c7f9a2f37fb7ac7fe7f9d73b75cfd5584373 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed MultiLineComment True Passed
91b22c613fc0b96d151d62c2312668c93e054192 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed MultiLineComment False Passed
b7364e86acf93db91cea3c89d66076ff72373974 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BoolTrue True Passed
ec7de885d79282685f05b3703bfccdd5837874d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BoolTrue False Passed
cc638837ba0ef9e1229a9a224bb383ba5cdc5cda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BoolFalse True Passed
695dc4f3b48fbdc6fde16dc79f8c5222c4a130c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BoolFalse False Passed
1cbb5e9e699cd1bef5b31fa44c82b265dd3e433b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BoolSet True Passed
f4883d1c96b946dd4182298366fc55f5b2de38ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BoolSet False Passed
53fc1e7d0f826d742f311c4e3f9fda8a065b7701 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed And True Passed
f1a0f51fd865852b3511d38e357eea885b666973 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed And False Passed
a3280d0f57fbbfefa8ec163cfe27af91e894278e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed AndMultiLine True Passed
ce8b959d3afe539c75b3292e8b256a098a334e5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed AndMultiLine False Passed
33ba37ed12ec4caafcbdf568c0e0e1a9216ba5ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Imply True Passed
1e5a9e64bc9b4cc1103fc10dae42b2fd9049489c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Imply False Passed
e6af562720a14d6a9c5af68fbea6414613d70d30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Not True Passed
9cea3ac0454b61084da5ee45cdf440547f6dadd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Not False Passed
c0e0979f3f22c888702c4da45a56b9dbc913f58c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Or True Passed
142791811f90a90862a3142991831f3a8c00f83b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Or False Passed
a98b09b18be480e70c017944624aa60eb830ff4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed OrMultiLine True Passed
ef221c7b0b418bf7457e57f1f16e7d5a62caf371 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed OrMultiLine False Passed
d96d8e4efdcd598e424578e9ef5ab566576af1ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed AndProp True Passed
ad2562d8e8aac3b8d55355122cbce3960f8a1449 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed AndProp False Passed
f2c8f0b24a18446f5981c94681fa34aee7715def TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Boxed True Passed
5551243f4e8b00ffcb0181f4db616aca6112a181 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Boxed False Passed
416feb845560920fdf3c101bcd4f64031a6ac2b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Eq True Passed
02355ade31ed16dffa1d24f733cc676971a51765 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Eq False Passed
858fe899d4982b59598e53a6209cdcdcee32c09f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Ne True Passed
517463aef789fb9c62894daad02131fe966f48e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Ne False Passed
38aeb68fd0acb5a2e511f607841e1f5b19568d0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Let True Passed
f0694f19c24fb6228d3761f322e0db36cde9d59b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Let False Passed
cccb2c9562acea92fcee24f55479c169502e40b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SetEmpty True Passed
22c20ba631100a59f1bddd0ef4bcb3886fc8ac7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SetEmpty False Passed
3addc05074e5cb1e382963c1b2092ac9eb336469 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Set0 True Passed
2b7e006fe38c3b74ab1e5dd3c877d3e1fbcb83ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Set0 False Passed
685c9d05d5c95ede732265b038450a68d427c170 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Set1 True Passed
90074cf6b7253fd65208c377de519ef7714a7913 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Set1 False Passed
fa1f39e8889a41e79f17c937ba45963ff7625507 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Set2 True Passed
1dedfa0860547a10b8818c460de54e4ba2919c69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Set2 False Passed
94b28296d58ea6cd5591de948f1e322a89573585 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Fun True Passed
7ab799806a6b512c1484283e1b438faf196327e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Fun False Passed
7cc9dede842bb604d33f1021f61582f6dbabe310 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed In True Passed
ecc6a88529a56ac6f2c631fdcaedeb3de2b4ba99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed In False Passed
aea676f187b202d012240105be2690ba19dd3158 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NotIn True Passed
242a7ab0acbf8b2fb8ed6d09b6c6125aad5e17f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NotIn False Passed
254f739beed62c66562751a249c99057dde51348 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Exists True Passed
972d12e1380ef7dc60280cc1b3c5268866e00b8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Exists False Passed
6efeef4be3a07f19496339d890d316906988c636 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Forall True Passed
271d06cd6feeb49166d571ae71ca1ca6e763c8b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Forall 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
1067e41ad773fa6abac7c65f57896030a7371c1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Record True Passed
891b8ec4d840cd5a66ffeedbbd9109f2b69ec49b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Record False Passed
b35dfc6caf46de1ffded717b6f85dc123aa30717 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Tuple True Passed
370c70d6dcc6a4f39ce29b79d0e9ccca24b27a5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Tuple False Passed
8e76732f961292e6902d77ab7e345f92e529c231 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed TupleEmpty True Passed
82cffc0c356908f3c9021d550d3f241d0bd70473 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed TupleEmpty False Passed
d34990e3f7d3d6ba5bea74b66d3e26487ca0e9db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed FunApp True Passed
11dad5cbb6e7ded63807ab130b58f6891abaf2ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed FunApp False Passed
3b6e9c1539f3c0d8656bf72381cd7fc7c47ec07d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Prime True Passed
ad87cf0c1faa80c1cd5e96c22d5dfab7629d4c0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Prime False Passed
8acac2fc81145aea4155c4aa1b0a1c1fb99b215f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumZero True Passed
a4fa63add54353180fc90a7a684106456824168d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumZero False Passed
77269525770ad3a240980b6de3dd3f738ccf6ff6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumOne True Passed
9e8d60df7fd979c3ea78100bae2fda495f061751 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumOne False Passed
e261334a77ef0549da7f1ed7f090f6e56d6f540a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumMaxInt True Passed
98a5c9276dc8a29883ef21d84ca26677aedb7acb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumMaxInt False Passed
5881f4df32d884acdb0569a5cbb1e5b08c838e23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumUnaryMinus True Passed
33e497b9e215f0e613537b6854c58b93bece3178 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumUnaryMinus False Passed
cefe6b97b432283799cfece69cefcec6d4a6d222 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumPlus True Passed
488aefd24c78a4bc7d244ba2e858b0ed856ec270 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumPlus False Passed
93361f5786ca9b088bfb56b9e206d6d11709d2a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumMinus True Passed
530f78deabfe2d44e55b605e5a27aab2a325c23b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumMinus False Passed
fa09ae34e3bdcb3c919a9a6d86f29945b652725b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumMul True Passed
62a714b0d6aec48211dcc914b996be65cac7b22d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumMul False Passed
7bfe001930e7389eb86f713526dcf25ed882a1bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumDiv True Passed
c504a20398d74676ad5ef16d171ce1240dd081e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumDiv False Passed
9715614924564730b4e2ca5aad1aa505a046929c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumMod True Passed
2b8374d8fd58bf8e84cae2fdbe68741b2d74a33d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumMod False Passed
18a2b5748ff531a1db274cc16329457a3e0cf74f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumPow True Passed
1c5a1e4655305f208ca06884a2de5b01fb58113d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumPow False Passed
b4f2226c83766eaf918dcfaaec2a6aabed7bbb9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumGt True Passed
f30ac700d0828118efb3a71d95155cc0d8b9998d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumGt False Passed
754d478ab0f8e8367134380992118c3901f8e263 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumGe True Passed
b4aa0a3ededdc6f7179dd6056a3a2e7165ce38ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumGe False Passed
393dcb7f84713cc3339e0f22d5a347bb0d128fd5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumLt True Passed
c74a9666f10187fdd1d692a77cf366608b52c4f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumLt False Passed
5a7db4c485d5bbc292c0d07e9bdf1acfa3017fbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumLe True Passed
0a1a79a0aff531abbf817d0c2d80e3b7ea26294d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumLe False Passed
4090fb7c8f4b321341c2070ec6a984f6ea756fab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed DefFun True Passed
8ddf21502adbf694029feeff6103b7f2918a56af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed DefFun False Passed
ce979afe30e46f199e6fdf2e7fa68655e9991859 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed LetDefFun True Passed
619e1dd250dbc0cbd6bdc4ed0177939c040499d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed LetDefFun False Passed
b633ad5be735a1dbe661297e88504fb3509ebf2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed DefFunRecursive True Passed
2dce86648167e91e6734c7c1a33eb4f480e44e27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed DefFunRecursive False Passed
60ad2b3b1acd59bc41189eb11568ba11164a8fef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed LetDefFunRecursive True Passed
33e63497fe923290acfb448e25eaa55c3281c430 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed LetDefFunRecursive False Passed
fce2b5aeb339565629ea5ad19bbfb2e14512f50d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Def0 True Passed
12d9c1affab93ec1f34ece27ec16dae0660eda46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Def0 False Passed
2d7352fc1372365749f48c70796f83063f34c9c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed LetDef0 True Passed
9525958d830b8a77785e77d22b3dbd3086b1759d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed LetDef0 False Passed
1367bf89ffb7a6b8c8b616b4403f90a1436df8e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Def1 True Passed
a143fe37e961d5ac93454957f3aa57ab38144fa6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Def1 False Passed
094187d00c83f2859f0b15a062769d491f5c5caa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed LetDef1 True Passed
91c9be79fdde63e283bd1529221820f637bc41f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed LetDef1 False Passed
4b38fff219936bfeafb7160fba6d1a3c63f1fe0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Def2 True Passed
d36a437aebb0f10f57bec9ec85dd1c112d4e5a3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Def2 False Passed
4c89e4c5e5adb65dd87d1f911b1d6030e1c98a50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed LetDef2 True Passed
3a7e307c098670002d005f1a0e1900acbfba04fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed LetDef2 False Passed
737372816bdc32fd235bf21db3a467e24a6a0905 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Def1Recursive True Passed
3e7056b8f3e0bba0fae55b6c60a08a8f53d66e1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Def1Recursive False Passed
3e06e3372196f54c214bb38222c7a74d878cdbd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed LetDef1Recursive True Passed
163b881f015a68de34a84cc7f0ffca6a9a5789f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed LetDef1Recursive False Passed
ed4a1dd8337aa85d6a76a0448df69306f6cf7662 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Extends True Passed
9688d5c844e07145340f5be9e0918367bc151baf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Extends False Passed
fbe5b61cd97d301566f24ddeaa3941de6a482e58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed ExtendsInDifferentFolder True Passed
a0dba9f817ce0b7b2569e8ca00204c52f0ac7990 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed ExtendsInDifferentFolder False Passed
38279b3b0abaa1eae0b44da4ebc523d613d53bff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Variable True Passed
289017ff551c9dfdde6e88681437283141d5dcaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Variable False Passed
aa178543d6783afc17d320cab1a6daaad29529ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Constant True Passed
4a5418dbb07e1cb475407aa1ffef2371feefc399 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Constant False Passed
3c649fe0a07b216c32d0b67928fa382aeb2ad374 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed ConstantModelValue True Passed
c7b91fb6dcc3db1dea8607a67b6a13c69490ebba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed ConstantModelValue False Passed
f7cc7a470b12b3ad4ae2b2600de694dd7ec14de3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed ConstantRank1 True Passed
dc15c4da14e0aa948551e50d29c79ffbdddd4591 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed ConstantRank1 False Passed
495a3b26fabb2a63a0e10f09b4fc6ccb44009222 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Instance True Passed
c34610a0d7d353797ccfc75491369f2af0f5278c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Instance False Passed
f5721dbbb341bb9242bafb44fb6ec51b28684883 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceWith True Passed
75afcb87cb4ad965c890f56bf0955112982e6707 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceWith False Passed
92530e7a6d73dd391d64e53c610dcc6090e85c96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceNamed True Passed
aec7abd03991e23d4a73077f37e5d48a1e2c116e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceNamed False Passed
b76d946fa2ad06f302b651a2f82ccfc807a22b95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceNamedWith True Passed
247e6e01d945d6cbd477cef7960b1127da6a485c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceNamedWith False Passed
6bbf71f280382b7fbab6650d9ec945c4e850f668 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceInFolder True Passed
8aa8d635fb288ab1a7d18a32a081603eb93a5f95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceInFolder False Passed
63fd212d313107e8e901ac33b54bb8009b70bf17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceWithInFolder True Passed
2954eb9a5a56b4d5af84ef1e74a6e5bfdbb2860f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceWithInFolder False Passed
d1dda4b9081e9507534c83a518d2db966b8ddb8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceNamedInFolder True Passed
a91ea3e95a0e8c8a0d04ebc5181366cc95eca2ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceNamedInFolder False Passed
078f298e759d485ae71ed3ed98bd43f7d0ceb66c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceNamedWithInFolder True Passed
53a011cecca0c5651ba637804965ece5c45a22f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceNamedWithInFolder False Passed
70bdace6fef4a1ad650682d50a6b825016730935 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Enabled True Passed
0422208090cdc7b3dda2d61ff898975e7cc8ba2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Enabled False Passed
972e42f9192cc0bd1fc4e3fcde5355e0776bbe83 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Cross2 True Passed
a7a1ae0b737a5d01c758958d1c024c45a2970ec8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Cross2 False Passed
87375073ba6c7d56012effe6b40266680b049cee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Cross3 True Passed
2a12de5291e316ba6f3ed5eef96980834868c961 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Cross3 False Passed
9d1d7699014920ecda0067b027b3dfc72d286011 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed FunSet True Passed
7e2453abc7a84b3618514e39dd85b8bf71702eb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed FunSet False Passed
5ab692bb727946cb299ac95c424cedd24ad98d4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed RecordSet True Passed
29496e11d113a7e143365696532b76b348fe849f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed RecordSet False Passed
b02d7fde254ab28f178b903603005f9e5e5e5d95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SetDiff True Passed
e106e94a1c342bbd094d670943d02ff2c48ae557 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SetDiff False Passed
25c86247908fd0eb1aa58ea06961f9260a7e0e0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SetUnion True Passed
62c94d7211199417654d5e3212863f971c4a3ede TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SetUnion False Passed
d380301570bf2cc4cf6fe2463e712afbc0aa3705 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SetIntersect True Passed
e1a1fb90c4df9df32157b2063c15fb1c17a7d5ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SetIntersect False Passed
b3e9cc97082fdb06e7c20b0d360d3b64167d611b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SubsetEq True Passed
524582839abee057a6df9d782e5074ce42c375a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SubsetEq False Passed
02b7b53ea5a74951f337ef12d8452f26a4f7b95c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed IfCond True Passed
f81c65735f4f86b40ddefaf76acc116bdbd0f441 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed IfCond False Passed
97c4d0e8b26e8f8eb5022f4be0bfebcdd8d52466 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed IfThen True Passed
66733bf34d805ff0df3df64ccce1b7a81b118acc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed IfThen False Passed
3b34737056466a636f98234e28740795dc745af4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed IfElse True Passed
f7d5cc6d8ba1ade9604ba5df1549f9df6748409a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed IfElse False Passed
15091383fffce6f6f308e247dc62c12a3797d7d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Subset True Passed
950663f4e70d06ddb3dba7959f868699ec6af60d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Subset False Passed
9eb73b819e08f90458737fa01fca83f2dee6a398 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Domain True Passed
aeb951a7de1924f9b216814a5403ab278ca7f247 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Domain False Passed
2ddc20e7c21c455b2be6bd0c12f714169593f127 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Union True Passed
43adb4e55eb8766c05d86c6ca22aecc6b268685d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Union False Passed
2ef4d913a257227defa2e62141c211eeeecddb4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Unchanged True Passed
a0a08c89fb5b01387d0a398938f90a9f58ff9651 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Unchanged False Passed
9b52e6587cc0e1a9fe411290a589c78791ea45a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Equivalence True Passed
96905dd09813fcb12561787abbf56e5506aa151d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Equivalence False Passed
08a5a5d0b98f3aa134a056bea23c8a15ca64bf05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed StringEmpty True Passed
ab9013ed6bbfb7ba8a353cface9d2b1b13ffbe86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed StringEmpty False Passed
2bbb5cf25d2d1ec188e68ced016c0b5fbb0c5de5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed String True Passed
05ddfc94c465c2f948984769feaa0b39dea53ae5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed String False Passed
bebc410368306a715939ec955171ef7d79b2330b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SeqLen True Passed
31b30bc787bb0f1a30350d3f5b8516753b42d767 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SeqLen False Passed
ac231e108fa688adff9361c560bf1f09e4c93947 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SeqConcat True Passed
aab3f1a9d7a909e2fd9e9ea8a82d23ab0c0f979a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SeqConcat False Passed
ea5616563e8b584382ba3a230e824b5eae3590a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SeqSelectSeq True Passed
dbefcd77664e0f5287b52b3fc8eb68eb758d6276 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SeqSelectSeq False Passed
886a7d735833023f27518e95c2e3a4f6f771dcaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SeqSubSeq True Passed
e731951e77c0d0fac8a0b0208595ae05483823bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SeqSubSeq False Passed
ff81d1df87322f38243d3f067cd3438aa9ef253b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumRange True Passed
5d86320ea69176ed3db1483e2552b2a65a3409a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumRange False Passed
f3c3e978120c797d7aaa7d328009f83e6b4f0e2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed TlcSingletonFun True Passed
e590e0ea4327a2c037bbe4df23998e4dfafb9b77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed TlcSingletonFun False Passed
24962c2ac599d204c87b5379412ba0bbbf6230b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed TlcExtendFun True Passed
b8a41a62f907e6d4840dde1b6757857a72833d29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed TlcExtendFun False Passed
c2a193543de9f586fb51e743741a686b8fffa9cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed TlcPermuteFun True Passed
b156df115837d6ec1394530bfecb7bd8f197b410 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed TlcPermuteFun False Passed
ef05e99b3bb2067d1a067d3a06bf6e8de23d42b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed TlcSortSeq True Passed
ebd935c831114e9a8c847c3b191c4226f6edd758 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed TlcSortSeq False Passed
856f460261d76d7b4d56e18aefd8c10830972446 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed TlcEval True Passed
a5b9c522fce0272b399bfb633cee09f43e7bd28d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed TlcEval False Passed
79c62087b87e4e740b957a3739f6b697560de42d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagBagToSet True Passed
a74df20101fe81ed76bf45af7c8eea94d91fa14d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagBagToSet False Passed
09a2c6681069c344b0fab6b0796e19aeffe4e78d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagSetToBag True Passed
45c54b9a35220c84f7309a60f399e89111e156a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagSetToBag False Passed
28c41b5e776d5db875fa3c0e946f9796871f7d8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagBagIn True Passed
894c75a8f044aceb33555abf9332202eb475a241 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagBagIn False Passed
86148adbbd5d62068ae0dde76d95fb3a115e9481 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagEmptyBag True Passed
da8aca17916dc02ffb2d11c352ff250242fdc06e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagEmptyBag False Passed
158913bae9005d571df03a0a0bed237c9ce9e79a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagAddBag True Passed
3e823086cd4356472723943efa85daa5a2f943d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagAddBag False Passed
6641a04a4b58cb6d9befd6a28841760c5a152595 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagBagSub True Passed
9f35285e7b3687bdff8fd5f1e57669a3c63b9e41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagBagSub False Passed
21d5fa9210b76e778e1861b72008c4cef4d9647d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagCopiesIn True Passed
4cd11d8a76b45ed8ccb4dcac9cef47fcfbd04acb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagCopiesIn False Passed
9128891658d7d62146253a82e1d92f469bfaa84e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagSubsetEqBag True Passed
e514120a48156fa6953f1e0ed7e4ff9ab20aec45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagSubsetEqBag False Passed
8f7cd933cad7b77b41c3b5ceeb2e77b48a2a1ee6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagBagUnion True Passed
6ddf4a049f3ccf62bacd37ec45e078ea05f69a68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagBagUnion False Passed
5005f78dd4a9b6b1e46ce4765ba79df332dea620 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagBagCardinality True Passed
ccd3f61fc15424f27b929128219561ecc43146af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagBagCardinality False Passed
828cdeb9d5dc5fa3bd1f553ca27eb3b30804fbdd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagBagOfAll True Passed
d6b37a26146db6e9ff63fef6e0c4bf4a93813085 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagBagOfAll False Passed
3041f3ca41633ef5cbe83784e0ef1523c55c9a38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagSubBag True Passed
bfc8a6d2ac34ed37a486a1dc0de20012ee50651f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagSubBag False Passed
2699728784b2f10a9159ae7a503a7ea6f16c2857 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed FiniteSetsIsFiniteSet True Passed
605e2c9fdf6feb6a94006103a2fe2ae11373d07b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed FiniteSetsIsFiniteSet False Passed
fb57fb403a10f07ac3bcaacc3b6292a7f4d26266 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed FiniteSetsCardinality True Passed
93303fd33e700bde72806ae0761e9a265977b99e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed FiniteSetsCardinality False Passed
3b6622dfacc20579d58f10ad5f672d430898ffa1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SeqHead True Passed
d5b5e4d92b5e7621e8f7742c159eac2fba32a0e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SeqHead False Passed
e4253a04cd05499f5d373de1fa512af9fe21a0b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SeqTail True Passed
3cee8345b90c1f2aef2d7227306556d22a94b83c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SeqTail False Passed
25bd12a6b20513c064cd29cfe3ddf59c89531f39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SeqAppend True Passed
01bf750640f535ab91a52c9c46b458349ec41481 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SeqAppend False Passed