Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
839ef6166bf7fa0657e7c535bfc327c2d79cb783 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith OneLineComment True Passed
c42a429b03bbb389e5d999753d5392810214d38d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith OneLineComment False Passed
89a01309e55d768109f06b5ebbbdc52a4cd47c65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith MultiLineComment True Passed
e1d86af564b6e950d0a1e61f8b3d54a9caf97579 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith MultiLineComment False Passed
6e11bb2a6aeaeb3cca3a121b67214e56f5ed4427 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BoolTrue True Passed
404716e7900707474efa4596a18fd02e569ed6b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BoolTrue False Passed
281769720020b073c67d578f3b4fb0ce4c5dfb3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BoolFalse True Passed
dfc4075b385960176fbf6fc0c5d81d16cd6194ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BoolFalse False Passed
e6e4e210d8f867eccbeeb046e2bbbf9301b7e836 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BoolSet True Passed
08008161fccc2163b2228e4e618121c381c04b4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BoolSet False Passed
2c550277eceb789b2892643b7b09c10a5743802b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith And True Passed
b1c7daa02eb166a6c969bc7fbbd55a315a415e6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith And False Passed
c0e524c150f5832207a0d4874ce631210b74ee6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith AndMultiLine True Passed
cc6aa69fcafc942c929244a703bbff3fcfc96c13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith AndMultiLine False Passed
73269cd2a5241daa07bb23b4609bb1022b79e643 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Imply True Passed
8a903dd8428ef8a13a98efa68a82c1e57abcc34a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Imply False Passed
bbce68a0bdd789e7ec354575c3ad1c2ff471790b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Not True Passed
48b1cc101d91ab0d22d5faa9eb487d1a0e5a4c27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Not False Passed
ab4e3e5fa17dfa96b28928130c643d41048c8228 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Or True Passed
0954b81a05bf32eca27c3ef6552252bee6ab7cbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Or False Passed
c6fbb937b944e791139b26650696cb3447da04f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith OrMultiLine True Passed
309694b4c8a98514848a6d12a4ede9435a1dc3ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith OrMultiLine False Passed
645194f48cc95509559f943361b4424be5d5eb34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith AndProp True Passed
01556f3408dd9d33cc6ece75da3903c76d5dc72c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith AndProp False Passed
93dd18eb599546e1997cdb8bb3e586c4e8f19cb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Boxed True Passed
99edb7691e961f2f005b1ae37f6fede7d95743ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Boxed False Passed
555a1e07888b6a50af99b80bf9cd0d03a4ca39d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Eq True Passed
592aaea4a736b70630f8f7f36878e6387add8f68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Eq False Passed
4575aa4ae5f0921bd68a9db6474bc3c0b0fab4e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Ne True Passed
0951fae5613466aad7307934b1e9ad9ddc0b77af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Ne False Passed
9e2bca1176e5295b2688b0d3b75c65ce815826a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Let True Passed
38aa71e0d0911c6524a323f5d38edcb594ff6706 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Let False Passed
f417550f1fe4805254805ccbac5873bc3d45aae2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SetEmpty True Passed
e51a2c50e391e34067c2a333bab2a80a7f3762ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SetEmpty False Passed
5abd2323be9d78f3694fc56c83f201fe7839c38c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Set0 True Passed
6f9b84e99d7000c04c4944a662b86f4c0192d02f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Set0 False Passed
b6564fd8c5b92e581bab3cc7eecdd7c754104247 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Set1 True Passed
ddef50cc7668e3b583d8ba17a6490241f60024ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Set1 False Passed
fb13c38309a464085f7b76d11e60bf594f387c9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Set2 True Passed
0c021bc21d56a24ee7e43764a9a162dd47a328e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Set2 False Passed
7fa365da1753b7930e58e573a8d63cd1792b466e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Fun True Passed
10c9103db5f8ffe743e6655b76822bfee071a6cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Fun False Passed
223335ea25a7a082da5e25314043df1a1f9b700a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith In True Passed
0e7a137dfd590e541745ddee4934576d011e879c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith In False Passed
c3556de96c612ea556ca160cd546a7662b73b719 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NotIn True Passed
10851be8e8b8fc7a01a6893911c8459e48b9bd12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NotIn False Passed
2671129344c868f042503b9183d2a65638cd3b82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Exists True Passed
45210361d1ac62c18bb994647da6be4ef8399539 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Exists False Passed
dd42d7ba9e6851c14013c4ca9777fa9151117a48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Forall True Passed
ba97dfa5295595c0fecba1133aa51d1228b90a42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Forall False Passed
7cb478163f925f6e46688af7a7571ff8cc5ee910 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Choose True Passed
99b68e067f26e4d4e58891e86f54aa7a31589eb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Choose False Passed
8fd8e7e26176c5268d16e24fe5d9a5b93b126b7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Record True Passed
4b166950ab0eed075b1189c9ac359d0bedd05d6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Record False Passed
2d34a83093c04c0fcffe161845be4a28dfb54284 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Tuple True Passed
8508f1a558cb54608377a1c2bd4d1ebc8a7a8421 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Tuple False Passed
bb0ce103b1175bd70cbd2be96b8916eab40d0cae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith TupleEmpty True Passed
2669c5d985a7f1c93358477fd6fc3fe8910cb98f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith TupleEmpty False Passed
adec3772a91acefab5c7fa7bb8029a3a9800f9ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith FunApp True Passed
10f3102a87a908f76504f093b306fb0a074fba05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith FunApp False Passed
3bca7e8d6c2bec16c57f656249ecf2611a8f73ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Prime True Passed
7a71b8684c8025fb0cb38e3e25213687c3cfdb83 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Prime False Passed
98aeead1bb9785ad9334eb59f75250f8bdb6cd34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumZero True Passed
2a8f723d5aeb57852911510e7de614bc30d16f1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumZero False Passed
7a5aaa6942ae78b2c8199b716e654ea4f4e55802 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumOne True Passed
a4bb0a7b355746690d7162c520c0007a530a529f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumOne False Passed
29f51c588a57bbd68aff90536c40b94a04b337f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumMaxInt True Passed
a5e7084efe6a49887809db600ddd95397672c38b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumMaxInt False Passed
9e97646e0b04668ed73c4647182865d0ad48abca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumUnaryMinus True Passed
af50df7f77feee4c9260ebcf200903a1364e4162 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumUnaryMinus False Passed
5d0a3432bee6d6f90f62e3fb1cb7a4bfae5a5683 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumPlus True Passed
7196be6e8e2e3803638e79793c774578523f4238 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumPlus False Passed
039a254cb4f01902a78ee4e4e83a6b8f477b9796 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumMinus True Passed
addbbef7dd89c9f088fdee58cf2952ced9be5705 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumMinus False Passed
79627490ff4a0e7943df2b9c65a4d3bf2cb0e7d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumMul True Passed
c2b74a005cf9b2d642fca6b01e0c182be7b55584 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumMul False Passed
27e98b311b056b2d6669993fff92f22e843a112e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumDiv True Passed
553a309c7636780a6ab7c59892b0073d665c2d98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumDiv False Passed
a4a633c4bb0459f4e727d8cb715f87be66eb318f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumMod True Passed
fef1de467c90620182081f7dc1a5f099f1c61b17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumMod False Passed
d75c44d0f84d7d76bd065958828c52ecd3347175 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumPow True Passed
717a55021a34d8bff9ab3affdcad411d54da896d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumPow False Passed
b8ef25b326a0609a64e4bfc1cb459be54e3d2287 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumGt True Passed
434a0459570b7d7108131670e1897b7993958eef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumGt False Passed
bd83d966fd76e1268f8b9ce593b9fdb7032f7976 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumGe True Passed
cdf2f2c0e48a8ce93d2f00c788ae77a99b275dfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumGe False Passed
5f476648dac680f1640e5e010df3c193465662d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumLt True Passed
bdcfebed5a39369b028c67b8d8dde8c387545732 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumLt False Passed
7a15b7532361394fc630ba250969161cc61f8217 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumLe True Passed
01b5ab8572476a3c2f3789266039bebf3f9380cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumLe False Passed
4d4409fb25b61ec6085992e9fdbbf91fa62189a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith DefFun True Passed
494457959276a2ec5d85dcec91bdbe4b07734c57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith DefFun False Passed
89db7fc550eae7ebc8b3f4907adf951651cbf2d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith LetDefFun True Passed
4b6e0addd15a6db642571a347eded2c6cefca67b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith LetDefFun False Passed
b63f05c58be06d8f20b5b843536711306c9a4ab9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith DefFunRecursive True Passed
21315a1c87431fc9892d3d3dfe9d72ccdf82886f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith DefFunRecursive False Passed
6cfc6f1d50c1a2f06a506f4e38d7727510f35b90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith LetDefFunRecursive True Passed
1f1370d6889d793ffa98628ca18da02c297cbaee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith LetDefFunRecursive False Passed
e787f2a675862220d561320d18af37877863ad8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Def0 True Passed
309df2cb25fcf5af4dd2e2b9d53b1fbb302c58a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Def0 False Passed
13b4030cbd5df86f8d63100dba97dc16f2b00061 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith LetDef0 True Passed
940fb677d7ace6e852d680e319fa92e12f43849e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith LetDef0 False Passed
e7807cb8d191ef75c3de1c502816b01840b1f799 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Def1 True Passed
e9deba1d1d47ea7fb046ecbd69eea0ea075f8551 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Def1 False Passed
ad114fe5e627b8ba929bc16acde92e0bb243476a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith LetDef1 True Passed
42da8f7bd126e48cf32830bd2f5b83b858bb752e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith LetDef1 False Passed
f43ed64415acd8cdc845fc266df4ba5fdf30ac3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Def2 True Passed
84f9eedaec18b7ef25f88a5ddb30efe897f94afd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Def2 False Passed
6d4d88b3f6124d0dd219d74851898e4f8cc69afc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith LetDef2 True Passed
c1e2d2bd76fef0758e2943938af1dec04c6f5e06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith LetDef2 False Passed
e0e3eb21986f48b58e54c0f418ca1c1fdfb8e96e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Def1Recursive True Passed
2a97d133bc2587ebf76539368e64a72f929e15e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Def1Recursive False Passed
e12c1ed6865cac7af76c364bef50d3970343b0b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith LetDef1Recursive True Passed
eee32d18cf04b1c3b6cf80a07a8b2c278745e669 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith LetDef1Recursive False Passed
22abe7214bda3cc20104346791680e90c6cfce67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Extends True Passed
ae5e5557af5c531338b93c49f00a91356916d5ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Extends False Passed
21b769987ea6a3e022722af166e5d2cde68f4fba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith ExtendsInDifferentFolder True Passed
59f7203cdf2fd271f672125a249103fad48a5ced TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith ExtendsInDifferentFolder False Passed
d0435a642238fe5f515714b906bd26185baae5c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Variable True Passed
e20ed9aab576010493d7ca33c9c20f99b738ab87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Variable False Passed
857912b899bd1dd27fbeeb6812e492450b275bb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Constant True Passed
fbbe7273cd787069e89b7473cfdae72c36db36dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Constant False Passed
fba4ad90e18c2f1127d199a2b00c64b42eb42db1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith ConstantModelValue True Passed
8377aa99c041f73838e43027148399f26356237e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith ConstantModelValue False Passed
321f6294bab4657daff47dbb3ebfb257e75b8abb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith ConstantRank1 True Passed
a50e802409af01ab31802aaaf69e1456e320e635 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith ConstantRank1 False Passed
20c345012705a395f9a9e7603c31a03359f8b641 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Instance True Passed
52f15b43386662eb649193fe2bc22e6fc5ec5043 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Instance False Passed
94949781241ff450da1c1d2c3587edfd5587d5c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceWith True Passed
db1a7c66dcea62b6fd0640df7214e9fbf565400b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceWith False Passed
693b5ddd54f94a7fb91b2315cacd7f622e71da57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceNamed True Passed
c578e10f717a5a9614c76d3b3565c8deb39eb816 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceNamed False Passed
ca4c465aa79b9ece6d7f2e80011a154873c1db62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceNamedWith True Passed
c09c96d9f37ced1b1dda28a67040cc6a7e53ac8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceNamedWith False Passed
d53bc50ffa697fddeeb71395aa20dec1bf4fa9fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceInFolder True Passed
f63af3c1e956f0fd87a7df0631d178a68064fc39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceInFolder False Passed
abac974abc8f0a9f829c85bd9fc716a4f2b682e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceWithInFolder True Passed
9e46c88fa017065e9bbf9ccff3d2335942c0feba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceWithInFolder False Passed
82d0654c94532e8362e399b3625b0da228db9a4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceNamedInFolder True Passed
e0adad8809d0d0a20bca3dfd09fa7b0ddeef5ea7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceNamedInFolder False Passed
479a351a6a2379d4acd5bf86bdda1b4d65cfbbe8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceNamedWithInFolder True Passed
bc77e5fb9f9fb71f135c0d5970f68aadc2986e55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceNamedWithInFolder False Passed
f39960dbdaf9a570637f3bfce5305d43df3dab00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Enabled True Passed
cf7b03fa5bc63c70328b2d66e1ec7c4ba9fecb62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Enabled False Passed
0e590dffc87ca5c3756365a05b7992f5fdb1deb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Cross2 True Passed
b2deb99d116c8d5e693c2580fcab42337b188839 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Cross2 False Passed
c783bea3dd54f80672b7f72509000f67a2f0048a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Cross3 True Passed
1790e331a5eb5b857cd03c8d09574986e3a09767 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Cross3 False Passed
3bb02713a64ad7359f2ecb01e1b7fd73b18eee54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith FunSet True Passed
7bf7f2967eedd350075211e7675b5b489395ef44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith FunSet False Passed
6efc74dcc212b549268ac55f1c7639da4379d987 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith RecordSet True Passed
3e7b4d68eae9e5dfa04ff4f6fb6e17d8a7e45686 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith RecordSet False Passed
059be25868212bef6803a0f2f9fb974ed012889c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SetDiff True Passed
3fcefc03b2556bf3bf42118577c3a5ee7e676a9c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SetDiff False Passed
185017467860b6725a7a385cc134eb42571ba053 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SetUnion True Passed
c6a575f29f5308fe2652b43d2e5bbc2d872f5163 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SetUnion False Passed
13d3a4c0882323ae215ec147d1e7b3152a6cf21b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SetIntersect True Passed
705968a6e37cb4e6f99eb906d41cbb81520c424c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SetIntersect False Passed
4ced1f83fab201adeac3588f33854c9dc66eab35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SubsetEq True Passed
82ac456ff586d1c6a24b7f052990f93bcd0f799c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SubsetEq False Passed
b32fcbe45c9ea70f0ea42b24dd9d0951c9a57f0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith IfCond True Passed
c1998ce269e15a479977bc9b349a757c40bbe608 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith IfCond False Passed
90419f6992f1cde5dc562046d80733da81ff17e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith IfThen True Passed
455c9ea768cc066b6abdbd91fdc272d357abca8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith IfThen False Passed
4b86e81526f4a6423b7464b970f2185539728d57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith IfElse True Passed
bda4e01feca78a0f7e00b23cc3b901e9285045eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith IfElse False Passed
d883b031f66b9db972e3187d8eb5b0a1a57e02e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Subset True Passed
378103f500b34446e4f69529d8a434bf67958025 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Subset False Passed
bdfd82eb02815da6ddeccec1b4cc3a8c08bfd72d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Domain True Passed
fa82bb5e8b4bce96846dfa5f7a7caf42c53879e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Domain False Passed
f6897e98fe87bbf79e55a764d9d7657074c21669 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Union True Passed
5f0b0c9b687b7f9148a7fc95c147193825668afa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Union False Passed
98980b2eef6ccd948bb73bef848c9ccadc76d657 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Unchanged True Passed
6332caa837b9f0d82e7fb32787172b7764ab782f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Unchanged False Passed
519d8be4f2fa4d6c88bc2b49ca669153a10ea01f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Equivalence True Passed
223bbd0771ca7cca825eebccc5d439753d89bb8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Equivalence False Passed
5121f7c51116fb5e602cc74af5829e26d29a5f5d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith StringEmpty True Passed
fbb1cc771f46c6fd070f6c49f24908cd91c0b083 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith StringEmpty False Passed
24327181fae7608b8cc1b7d48e46a14d1bf8bd46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith String True Passed
2efa4149d5e9e3bf87121ad3905a53986a59872e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith String False Passed
30ff8ff32f1031491e909955c7dba399717f53f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SeqLen True Passed
9c436c4508a1b1bebf52fcdee84636a205c4b219 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SeqLen False Passed
5349f91744bd233c9cdcaf9edaafe5be3c85ffe5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SeqConcat True Passed
6069606d49e5772fd87f95c1e33e6f2abfc16036 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SeqConcat False Passed
ce768febf4c4f40d288be8c712e33eb323198382 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SeqSelectSeq True Passed
bcee445e87e7355006f352cfd076ce73ffe2bb35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SeqSelectSeq False Passed
18dc36b1b37dcf102051b16b4d938647de240d87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SeqSubSeq True Passed
05c44ef036f3b641d88f66c68f355b6c0b4e0756 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SeqSubSeq False Passed
0defb9bd5192d66035c6878325ef29df3b62e0ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumRange True Passed
b6241f7ec2de4b6e5808335fbeb97b418fcfc396 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumRange False Passed
c1d4f7f71635e682c59e3ee532d9f3227f5a795c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith TlcSingletonFun True Passed
fc3d087be81dda31fed1556cbe9879a930e029ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith TlcSingletonFun False Passed
34565f12d362ce916701a8897a043da53adf6f41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith TlcExtendFun True Passed
9edbac6fe58f2699987f1c5e9b301cc4530907e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith TlcExtendFun False Passed
0e0dc3641e458aa03e382c95e9368bc6c414d22d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith TlcPermuteFun True Passed
9b218f466fe92268406df2f9ad7daf03b2aa34a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith TlcPermuteFun False Passed
115054da24f5e40d2f9ee6ad87f63ccf28c8565b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith TlcSortSeq True Passed
5a05466d692d45ff19f8bb2a7931627c3db7ec15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith TlcSortSeq False Passed
cb7edef9a09977e80636c74f27182145457533b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith TlcEval True Passed
8879c3218eba59390df2a016114bd6186956365b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith TlcEval False Passed
986cd8989289eb0020e2a02eb3b96273eb183a6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagBagToSet True Passed
ddbb105dcc81a836c6cb84b017c234299ffd95f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagBagToSet False Passed
1334f5f08fe20344ba82010994a959a2f02018a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagSetToBag True Passed
a24e09aeb42022e68d24ec7ed7f7fbd6a8601275 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagSetToBag False Passed
261886d1d0810e3331c616670b23b02a4fe714a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagBagIn True Passed
4e7314050ba65a74a25cce608e4112106ac9b90c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagBagIn False Passed
cc9c96c5727fc7536788c4c1a482e773feef678c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagEmptyBag True Passed
144ed62dbaa2d4d31b430b8aef6adbf472dedcaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagEmptyBag False Passed
4172e28ebe4fd8ab38068c6419590e7c0f1230ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagAddBag True Passed
681972634aedfd5353933c0ab06ac214892666a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagAddBag False Passed
44955f9d2e9b8123c3074424284172d345e00072 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagBagSub True Passed
0dcf8398bc1159af663a83cc5d6d47f64286ede1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagBagSub False Passed
cfb715025b98d72ab2442e97ea72f3eae7729d61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagCopiesIn True Passed
d08d936118b0909bbfddc0d6d0afb75f96482284 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagCopiesIn False Passed
844252c6fff30a51203a549c99238209db187c47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagSubsetEqBag True Passed
27328b1ff9c8fd0c735c5926de11a54369b8fe5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagSubsetEqBag False Passed
ed0e44bd618f655fd7187ea7b5fbe446eb6f16e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagBagUnion True Passed
d5c2bfb2b21b92c9b35c3e105778376db2a9799e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagBagUnion False Passed
54e4fd40c4e1c71b51bf556d9b7acb04eff5c774 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagBagCardinality True Passed
f28f37de401247183ec644a7556371dc8cae9511 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagBagCardinality False Passed
9e119c78bcaa679530962b9646b79b14cc77c9d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagBagOfAll True Passed
e71676e83799e4c950bf23ad714878696d0c4212 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagBagOfAll False Passed
77c43f0a565f00476fe34f33d6cd579dde0a1b71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagSubBag True Passed
8e27d2e25ac33da122bc4bbb8172b457ef23ad7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagSubBag False Passed
e932ae043e62ea9f5932ce68e14a256abff519ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith FiniteSetsIsFiniteSet True Passed
c69dc7b94f61574512b6b58d61649e7c6e46a720 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith FiniteSetsIsFiniteSet False Passed
dca07af114490744b5424cbcb8e7cd38039c3df0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith FiniteSetsCardinality True Passed
a27d80846cbad591a16dedd1e4ffee84d2d089c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith FiniteSetsCardinality False Passed
27cc37aa3a5b39d35e669bf4186036e8a70d65d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SeqHead True Passed
31f8934de1721b65fb7bb0e52932f10f757ca5b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SeqHead False Passed
26f2b2bb0b0bfbe41b66848361f60350669e1915 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SeqTail True Passed
d290c620e0ebb3213c4d285466c7fc1f1f600b99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SeqTail False Passed
b6ce8a6b2964ff6131e57feb8a7966b593387d82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SeqAppend True Passed
9be9a29ee71ab22cbce3a47a04e0b55805c9c101 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SeqAppend False Passed