Index

Tests by case feature Set1; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
c553924454e377d1d7e72f3fce90e65b0b1cb695 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 OneLineComment True Passed
753f34662d85d8d6294e3326c3bd3c9d788448fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 OneLineComment False Passed
4b697a7ceecd9ca32e5e16bb85ccaa724675f64d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 MultiLineComment True Passed
8f0033654c0cdec35c07b106d0b1ef8788ef7aa6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 MultiLineComment False Passed
77bb9165b8d53fe7e0731083849ba93104407560 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BoolTrue True Passed
52e16acebbd5977f4dc0e67ceff9946da62e83fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BoolTrue False Passed
b0916f8e97b59496a9dd9f30fdf933b867e9d46d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BoolFalse True Passed
aeeb7ebd1d2d900aff1bd564362ac32676e90c7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BoolFalse False Passed
056115fc539e9a84a9852fa0cae341278792fa45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BoolSet True Passed
c971c74dc6e73d2da9f7099f9602b8e5ef5f2cbe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BoolSet False Passed
4f38d5afc49730fc735e068daacf7a73438dba04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 And True Passed
8f7dae9571eb5afa55eafaecff511c4a9351d3ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 And False Passed
4908921b3422948aa16a4f91ef059e2d5fd73bdb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 AndMultiLine True Passed
fe6416563cd8e119234d08fa2277dc1cbb66e193 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 AndMultiLine False Passed
d09f4437c02fea5b3d8c4b94292449932874b9a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Imply True Passed
a42e8c38bdeb024775cdc02cd80dc7f78a6f71e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Imply False Passed
1c144b8dda83dd7ee8b153d12f830c74f36bd331 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Not True Passed
f2d049158bed4c224abd5ad993b403c3a896e6c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Not False Passed
1affd2a53ecf7e5c665e4a24e002ad97d3f68b73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Or True Passed
a4cf04c204cf8ac5a3132fb086dabbf661586681 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Or False Passed
58d6382536c72c276db9911c695aa83bd2af2fb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 OrMultiLine True Passed
6d2c703be304739477c29c1c86acee665417e441 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 OrMultiLine False Passed
bc034b6357b4b079d85d12c94e05f98004b2fc6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Eq True Passed
461c8a52a9517d8cf02579734179c60b6089946c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Eq False Passed
0747e33095a64f48d1725a6eb9f4bf66da49d744 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Ne True Passed
b42a395ea72259688928a6dbf05c916655311438 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Ne False Passed
a308eb19922989b6a8aaceaef4d8b0006fbe528f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Let True Passed
e2db2a60e7bdd0982ea1cd6cfa241e38c54d28c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Let False Passed
fce5243e9144ec81a198495bf7482625593397ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SetEmpty True Passed
a4e5ee8d911de3d5ab83de938547b8e062fcd87a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SetEmpty False Passed
474911d14f174812188da461a8fa73862535e93c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Set0 True Passed
5d48a59b95c31513be7069f8396f5a2d5f367765 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Set0 False Passed
90790d0a8ad6c15781cad147498813a1d02d02c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Set1 True Passed
dfab5d7bbd4b8be3941a7bd2f3251d26138a3f89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Set1 False Passed
cdbade451b5085a805d5363e2938e566774295c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Set2 True Passed
d7e698d517e36ee9656d7ec711b3c8704c60e161 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Set2 False Passed
442db6cb0c3764d3376abbcd23f795c335907efb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Fun True Passed
f0252a3d45e933265fdc71d7d771a97243287447 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Fun False Passed
538b83b4e11e8b267e8e2a86cd23d766585682d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 In True Passed
cc099e39faef1e7956a71e21da9922fba66a988c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 In False Passed
00918973e8e7214020b761ea9fd6521e9c561bfa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NotIn True Passed
bb4445120ca4677ae5bcb3759d9ba560ca03e9fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NotIn False Passed
0848bfc77132dca2b64041914219958eb84ad9c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Exists True Passed
6ee4070c178ef4d448d36a755ac91966898a0533 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Exists False Passed
f2b475cf068dd7f422fb649f0f18948c8bba4f49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Forall True Passed
bd436e02e292fa23753aa1e3515a92dd7713daef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Forall False Passed
dfb2da9dc9b1791c786c7991ba421cfedb8a0811 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Choose True Passed
d39599c40fb9761924c076c9e238ed3adcb2e0a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Choose False Passed
231a8c05de3240d9ba3b8c15fdd4e1078b006333 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Record True Passed
dc19d3e9cdd812007cc1634081c38e36b906b306 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Record False Passed
4d68edadf33fbe8416c439414a9be54415263de7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Tuple True Passed
f684548caf78e02af89c86edf111da8d0cc89783 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Tuple False Passed
45d641078d5b8182992ad3cf78c06699389335b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 TupleEmpty True Passed
c91d3ace240c0f149f8f9dccfdf033c830977323 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 TupleEmpty False Passed
429ca32e6028033d6366c2a7bdc3b6313ec3524a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 FunApp True Passed
629bc5b97483de70f264c778299730fd61d7aa04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 FunApp False Passed
a8b9f0d0b2e853bec87c38821e244ab145d60f43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Prime True Passed
e994cbd39cc6b82613c5280eca3c96d3ea11aa8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Prime False Passed
854b6192912a0eb9a86a28228f1ead160889ad37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumZero True Passed
f7b8999fdaf959133f39f4855f7ef9b3e676368e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumZero False Passed
997175a2cc5a3529f7041c3822f0309c703cddd0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumOne True Passed
be8db09a4bdbd7b742a71d6c9e0e7e95d0c4183e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumOne False Passed
1686ae94aa113cebf2c39134f4f185717c07c9b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumMaxInt True Passed
aef2ff5ae3a6459f08b12749f65814bbf6391bd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumMaxInt False Passed
5e8e6c663b5dd08c5f9fbddea2ff9e97aaf92f94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumUnaryMinus True Passed
0ccf234be9a8636151f7ec21ada1c2b063e5082a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumUnaryMinus False Passed
2dfc9817d1c0efcc36d66051fea3d6a72754c0fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumPlus True Passed
0732baf55818c03de831e22e5b1a9d70a47f14ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumPlus False Passed
edd1b9940c55387c0f4dfa4f0ec35a5d1565d646 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumMinus True Passed
fe04fb16f55f0f59560481af27e650b3753e959a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumMinus False Passed
ec9324132476ec157cd63870b33bd8575606e021 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumMul True Passed
af14cb43aa723b5c2a8578d6146727d02941a44f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumMul False Passed
4976a2b02dbb56d86f3afec71983e3f0b166831c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumDiv True Passed
1adf0e0237aefedfd5d6f873be4275657a69b3fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumDiv False Passed
1353e77e893456a455eec9a1fed79c164063bf7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumMod True Passed
9c91b48a028b99b38b56eb6cbc275bf6e359ebbe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumMod False Passed
e1d7d2ca7bcf7b79cb01393c06bed97883af0b51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumPow True Passed
9ee9973c2e63caac65e6bbfe04b52fe96a3dc669 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumPow False Passed
f495e8ae576b5d9cdc13f2c1646ebd1f7a18b7a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumGt True Passed
57cdd2ddecddbf77aa88dad5effc1341071c28ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumGt False Passed
95d8efa29cbf10309489a78cf54ac6bf0bf2af75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumGe True Passed
1d85bba70f3cc6c1fc2f675f09964bf6e8a70237 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumGe False Passed
92efc21a977e11ca6847e301d34fa48d4a1ca525 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumLt True Passed
70304f70526a66575d89bea32da701694b7822fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumLt False Passed
a684dce532b84e1798776371f241b42a688a8ae7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumLe True Passed
57ac5ce05ad5ee3ca41dcec496f2aa7cdc9af302 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumLe False Passed
c5059cd5ce63dfcfd0047fe007bda8cdd9d62f6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 DefFun True Passed
6a381a3fcdf111b59bac36f0eac7642c44da70ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 DefFun False Passed
ae6f34251752bde942422f157fa503beab6f3cf5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 LetDefFun True Passed
9f502f79f386fbc5e131d2552068c3676b96058f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 LetDefFun False Passed
18556a32c2c48693ada4d7e74e4b7f11454caecf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 DefFunRecursive True Passed
7b3bf320cf7c3fe99921c63a2156ea770d0f6614 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 DefFunRecursive False Passed
3bc018fd294f45648903723f193fc02c8b4b3b89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 LetDefFunRecursive True Passed
1556e635f33e78bc31bb151c1382e39274e63596 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 LetDefFunRecursive False Passed
ac7b77a1a6e68331f1f4578f1b36bd468220b346 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Def0 True Passed
0f54eeace956e3ccb3c53d63eb21d096b87ca139 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Def0 False Passed
9f702713d0ca92937b7ba7d2fa97e6e87ea108ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 LetDef0 True Passed
bf7b8cf2470d8ae87fd24484aedf7137aea91c32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 LetDef0 False Passed
810fdaa17d12cf5544760c5ac8c10de6d32a4eec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Def1 True Passed
fd844425eafb75e9bab102acc1cf7a2476620b54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Def1 False Passed
d8fe027d060e276e5777fe62425b8798e61bf48d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 LetDef1 True Passed
62bc85a30c39b6dec20c269468264de020c779e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 LetDef1 False Passed
a60e49305c654a170aec31264d49b1efc2205d15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Def2 True Passed
10d5cfff6069f948b2d973d5b1de33e09ed0c56d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Def2 False Passed
f8c347352675a575aff1aee37799c4c814b6aa65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 LetDef2 True Passed
b000f78701434f179ce16c10df108fce866dff52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 LetDef2 False Passed
e5c4033214390f061ca0c0c6d87a7757f3750b72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Def1Recursive True Passed
d68e6c665b4e0b769a13ddd67e695fe16799e698 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Def1Recursive False Passed
c9ff2a4f1f78ba5bb0bdd4f94698912228168811 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 LetDef1Recursive True Passed
b7bf9354e273c2e2e7a9878f430bcaba6bbcb7ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 LetDef1Recursive False Passed
5b78c3a3ee7231420975331ab905769f3e2f8cdc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Extends True Passed
9fd9f0c0fb3c2848f6c214a45c772f883d16f793 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Extends False Passed
268c70546d3f2a18fb4bc7870007687077936019 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 ExtendsInDifferentFolder True Passed
f472b9746adb2cb9261e8ddcbad98c8ea88e1fab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 ExtendsInDifferentFolder False Passed
d331dd4f38f6b3b8ff450571a3deb27cfc97cbe3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Variable True Passed
433aaf889af035b5c1c859a81f4aaf136e32090b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Variable False Passed
067d02e7cb6e872cc0a1c336125c5dc3173199ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Constant True Passed
7a2989bb56af64b4e894efe5457859c9d2b0c395 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Constant False Passed
30b98775ca591e98870aa5d9254545d0506d4559 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 ConstantModelValue True Passed
38638e687c5911cdc75546ad8f05d5dd4332187d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 ConstantModelValue False Passed
42e7a2e6a3d8411ef3a67da437c065dcec96c78c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 ConstantRank1 True Passed
44cb30eb13854c3042671e355d76d15afbabf7e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 ConstantRank1 False Passed
7b2b31d18da02f439458d81cdf22f5915b242dcd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Instance True Passed
4c95a13d348d60cb1726b9b53886a6328c5eec26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Instance False Passed
a3343009b399e49cc870f80897783de8f2c76de0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceWith True Passed
1b5d0b6abc3d518d0ab3927198beaeb9557575b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceWith False Passed
335881ffc962af993448ee41053c601348f69c8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceNamed True Passed
7d23077927ee53fb625ce3cd22ee2ce732313308 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceNamed False Passed
22c6887baf89488b5fb6743b053091ea956aae3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceNamedWith True Passed
377ad1072e6451d28fae260314f14ca07a1a3ddc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceNamedWith False Passed
4351e646031ea74cad8ba4133fff2dae682cd5b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceInFolder True Passed
b5d0f0d17ae24734096b581be54bb6a619057809 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceInFolder False Passed
8aa91c3651d49e445b8a21ba221313596a553dc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceWithInFolder True Passed
9041e51f57328ca56c76afed70cfa5f31857c50d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceWithInFolder False Passed
943f66e202eb326bd7c3a711eda3bd47009d45ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceNamedInFolder True Passed
c98548080e49f31476b78df7ec048808b8105554 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceNamedInFolder False Passed
08055c61527bd3f6b81eb495aef7e28d8941988d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceNamedWithInFolder True Passed
3d780f7686b844042e1c2523c5ea4e5fb9d65a8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceNamedWithInFolder False Passed
7cd5e0fed3cec71141d8eb7e4b3fe943f558f9a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Enabled True Passed
ce9ae9e981626eb08cf9a97ee13aad73b898b1dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Enabled False Passed
f9ebfeeca17858c2fb757eee9e61cb745dad1f92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Cross2 True Passed
a36869257851c585de28edf361b09780fd30b19c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Cross2 False Passed
8d77fc87429092f9a228a068ddda2ad23351d6ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Cross3 True Passed
80a5f94e764902f60ee1ed73ce3c1adf2f08883d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Cross3 False Passed
1f147f257645880bc944b260f096213ff26a4715 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 FunSet True Passed
3c1f0b4bd094817e971d35b1606ce200b741359a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 FunSet False Passed
3de6e997ca715ef77e219fc845cdb022d55d70b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 RecordSet True Passed
3d6afa54c41060a4eb0cc5c786192b4502bc45bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 RecordSet False Passed
28baa50bf32760639c4bc4a8c3c6c2fee868c9ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SetDiff True Passed
177a26e68c09a0838210236e9777aa81e417e041 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SetDiff False Passed
2a1041afdc4c72bd87468119a38a36b1b9daaabb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SetUnion True Passed
877429aa35357016fbe373e22246206957f02e21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SetUnion False Passed
ab5f50fad7801794dfc8b9fed0b0088fcb26c244 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SetIntersect True Passed
7b828dbe7c8e8077f6bd1a080177804b1592e764 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SetIntersect False Passed
b391df98f19d255e5ad2d8d099955c0fcbba04e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SubsetEq True Passed
86cd67229e330d862a45a47e88a9ec8017912c03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SubsetEq False Passed
b1a813a55591e22308bcc8c6139788d0b977f30a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 IfCond True Passed
1b89c02b747e69b3a8c62337ea01293bc0fec79d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 IfCond False Passed
eec3ea97760f9b5e0c15bc314deb4420759a44b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 IfThen True Passed
8732642963220655359b9d919dca24adb2cf308b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 IfThen False Passed
6920b55ff7d3fb362b8191ee0efd872084b3d242 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 IfElse True Passed
a28d5f6d030bfa18c7629165a8343cf26bd8fc46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 IfElse False Passed
d2fcdea9a197e3f1233aa12d00fca0e12b9386a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Subset True Passed
6f86c3de090efec9114a6c78effa25c1b814efa3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Subset False Passed
7849b224576ba9e0c6a9a370b3320d0063d8dfb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Domain True Passed
dad6b226fd9da1eab3d3d98fe8ce00a9b57bb415 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Domain False Passed
4c1a165b397d2e41e1a1631d1ee42595cbdf56cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Union True Passed
9b49ee13e46ab9caa80918bd05243b4d0d3e8127 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Union False Passed
a6e1bdd7ce9611cb5687a29b54b9c03b45dc3235 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Unchanged True Passed
72507bc9f92f60cd4bc778d594329384a3e6bba9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Unchanged False Passed
963510ef350bde2184fbb52dfeebef1b493d4865 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Equivalence True Passed
43784204579c92afead1f378b3014c76039403ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Equivalence False Passed
e91516a8115727b121cd73ee179b309d14877567 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 StringEmpty True Passed
1ff457dae011798b302f6d4ff735e2c1cebd5779 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 StringEmpty False Passed
26179ca38adcefa706976c56cf4290634eeefd9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 String True Passed
29d81946d9819f463477c418f0e02c8342fa2cb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 String False Passed
885a658bfd21ea77bf89dc1aac26f93a56451af0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqLen True Passed
25d957ee2920e301de8693efbc789a1239974900 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqLen False Passed
3d88a217cf63ede1a90c360369ee2beea263ff54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqConcat True Passed
de55ccb5dcd059f0c208121409e656657443b498 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqConcat False Passed
eea54e98b5c0a11f00ac30ad945688157796c9ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqSelectSeq True Passed
bf613a03bf4d668c727cbae7fdf38f7ee8e6def4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqSelectSeq False Passed
a206cb82d0624b52ba8e7e33d883178af75a0a49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqSubSeq True Passed
c4d77c591952e40c38b228f9470bd9576631a05a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqSubSeq False Passed
24c3913273fc9cd1d5665cc6514f1e57c504d1bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumRange True Passed
2a348e9d704bd950b2c78955b3ec09f95b0b8a56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumRange False Passed
dc0140cdb3a45985996cdc966ec37379b98fa5e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 TlcSingletonFun True Passed
0038c39b4da91b8490c479c2ede0090a6f11e342 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 TlcSingletonFun False Passed
1f630f5d5cf592c263b3e4ab68d9dd9d4c7630f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 TlcExtendFun True Passed
321036ced26372b69f001fb4ae2e1ee00bb88a2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 TlcExtendFun False Passed
330853e96cb4a16050ddea374311252729c769b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 TlcPermuteFun True Passed
bb0e681c03c1eabf44984dd6938f0981cf84dd13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 TlcPermuteFun False Passed
145a2297751a3e7a55d4f479e60abb2d5547c527 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 TlcSortSeq True Passed
12d50afd7dfa72f88c3dcc4d71f33b181957b071 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 TlcSortSeq False Passed
3751f567fc594f310e8de2a8dff108e7b78eef3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 TlcEval True Passed
ffed5207229866deed4e7f8026f2d0643671c7d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 TlcEval False Passed
8967c223cf02ac34e70d4a18ba66282f8c55da70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagBagToSet True Passed
cd9e266ac19f9e17672d29e074bbfc7ab8e5d222 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagBagToSet False Passed
1d02fd20b217fc378ed276ae59f385c430fbd642 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagSetToBag True Passed
08577190dac93bdf845efb77aeca32168b3d0394 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagSetToBag False Passed
3c9bd30086ad2a0921f51ea6b4a559984c855b0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagBagIn True Passed
057a121112e66b9144a51df8954d5819fc885457 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagBagIn False Passed
dbf5a3177ab4cc4f6ea9ae6417f6af406f1b3a80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagEmptyBag True Passed
05a79325fdddd4f25219d308b4426a048890d44c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagEmptyBag False Passed
ba83166c10221acd9b6a5b9feca8408f38136d8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagAddBag True Passed
fad2e3526d8a4e4febc4fe2e0cbb689e0cbbe7a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagAddBag False Passed
bcc268196d0a0afb0c341529a26c396f23db9ea1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagBagSub True Passed
17d11c0b8072be73f1d82e9f14c608c4b98a4ea1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagBagSub False Passed
cd156dec89252823c61b23e99d421d40b5e42ba4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagCopiesIn True Passed
356acd54f9b1667983f573936ac0a10cee2b53b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagCopiesIn False Passed
7d895cb1e61c80ebc65963ed2c6136483956c2c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagSubsetEqBag True Passed
77e31cc167c5e4a0ef72cab003d9b6d43f926af9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagSubsetEqBag False Passed
5799469a136fde805a90998cb2461afb26495b5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagBagUnion True Passed
2901c85e3ef8282cf6f4c79edac028b6de6cc043 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagBagUnion False Passed
13d68af027d24f1a8f37d27fc0fd1880f5260d7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagBagCardinality True Passed
3b7bd11467405bde9ad6e274e42d32e40fc2c064 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagBagCardinality False Passed
08ad8c521da709db187605e869dc59f0d8ff006b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagBagOfAll True Passed
e1af5b950603ba0d08f786fce84e4df2f64d74ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagBagOfAll False Passed
f7086337fad56689b9431d429125c6eedccda216 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagSubBag True Passed
bf7664257d1014fde30ff71b7e6ae70145ee93dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagSubBag False Passed
44b64d4358e4762a4b2977f1079311c7a9bf5de5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 FiniteSetsIsFiniteSet True Passed
6be478195e8e74765b4e6b14b09b7a3dc49610b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 FiniteSetsIsFiniteSet False Passed
dd90129adc0f2fb560b1035776a0f027b8577f92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 FiniteSetsCardinality True Passed
5f1cfb20763f036b0f7dbd09d852f2f47f1595ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 FiniteSetsCardinality False Passed
3f60de0c7115b035f7ae43b2854987efe29e0052 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqHead True Passed
cfcde876063b49e3198553d99ff05c40fcf598cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqHead False Passed
6f72d968b864531eaa31bbf1cbc43c00d92ef057 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqTail True Passed
e69ac30ccf436a252277405678518de63f5d7650 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqTail False Passed
3bec41e99c9f4dc00beb6938b9767e815b903c9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqAppend True Passed
33b2816acd12b33a8f2a3c1fe3c7448873424f88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqAppend False Passed