Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
07d317980e188eb20d6f42c0085fed2e299532f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BoolTrue True Passed
173aa47a92261618d34864e56953a5fdf8b26a5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BoolTrue False Passed
9c9e65c224d74c76e1bb0b9d4464578e4425baed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BoolFalse True Passed
bc9e5f9805432d6cde668083cda160a2677f82ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BoolFalse False Passed
fcbf346a53f5b326581ffb1a262adededaf7f6b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BoolSet True Passed
061a8e22862b773bcf3ecb7861a76e9dbef45912 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BoolSet False Passed
e2309c8e971ac9f44c85546160fe436233eb8f86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend And True Passed
f876a78556327560e9842fdd0f4b21707834b56e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend And False Passed
2fa05bd5b1d82904893d10fa345a2b8fd92f02ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend AndMultiLine True Passed
e07a5b6ba2b5fa492009d614680ad98e1c330640 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend AndMultiLine False Passed
3980b4bc24d919bcf9b70593f1350782895f31b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Imply True Passed
b97bac29980b26b065476001ce81a9af579a13c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Imply False Passed
1fe17ab23f9a88fb82585bc211a01cef0921f8ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Not True Passed
c9c42e08058fb25c8043d5dd7cd6eaf9a0a3fa6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Not False Passed
24f22651581bb8fd16f25512254d9b48be77003e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Or True Passed
28daee9acf375793535f66d171b584d52cda0f12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Or False Passed
3e141cabcf043998ed1cb7d8addfbb3eda1c4a9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend OrMultiLine True Passed
f80e267e077780a7fa993529c80dd38898b13d65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend OrMultiLine False Passed
b59d4fb91281d81c48c51872d8b4c0440937c545 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Eq True Passed
0935f6d5119ad9eb7b9afaf22c7bb778095147f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Eq False Passed
a9e48184820fe9e22919357a8f7a05e5206c87d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Ne True Passed
cf9bc702aec08d09f0934e4e69d7bb4f07443fa9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Ne False Passed
c39b5b289d14f89ad591fd22ae3d63869cf1eefa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Let True Passed
b919841d28a69afe3473af8bab9579d6b9d6dc2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Let False Passed
b17828d0fa4a6f0991d3b1a503e39a70c3228cac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SetEmpty True Passed
ec1bd7971b4ef25066918196a3bbcc5840cb3592 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SetEmpty False Passed
f99df1e82c300d473f9924664dd4bfcbdfa61403 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Set0 True Passed
1edd5006b6c7c9d66970f494e28ed836bd4b8289 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Set0 False Passed
849ae7efcf585e44068eff1c0b51e773f8e658a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Set1 True Passed
6ef1ac17cf2149efb045c9a01b80ab5e9c096b4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Set1 False Passed
d1e05f6621abb7cdc3ca7534f1174e03ef438e44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Set2 True Passed
3952bc1abca0a9a1af945753679c63cf7af72ecf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Set2 False Passed
191179903a3ff6d3f64de488b47d6a6dd1571244 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Fun True Passed
281067fc5c7a542acf83d72a33e77108072d3f50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Fun False Passed
4b37118437c126a7d866ced45d853197f51d9c16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend In True Passed
6911fb8e72e630d3a70a46056183d64b6259e777 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend In False Passed
f154551ae6849dcb01e0e6ba9d5d64902fdbbfbb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NotIn True Passed
5b464cc94857e13ad5541617d4b27d493d9dc459 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NotIn False Passed
3aa4956ec37df7c0a65fd605696f430b9df96a38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Exists True Passed
9728ac0209901343cbd0d7531359ced4428e2b11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Exists False Passed
a2472631d84033790cf46ea62ad42002ae3384ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Forall True Passed
ef5083e3a23b6627195948b5323b125100120648 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Forall False Passed
70bf91772db760d5ee218c71b691170f72d6205c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Choose True Passed
4917962cdd6f8714c9d6f15412d67a6916fddbfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Choose False Passed
219a980b1e3dc83764b532ac5e039536f8a35592 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Record True Passed
66a8a4586eafd37656f8ca00171839f5c701f437 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Record False Passed
6f9eb5f73ce7374448147927f0802dcacc3f5bda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Tuple True Passed
72d3aad1cb680419fe92c8beaecc183507611279 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Tuple False Passed
2cf12a8362ccf305e0d6d1ba82c7f9b9c5dac865 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend TupleEmpty True Passed
8e51046be3a35add0a517c8ba3731154a8dfba3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend TupleEmpty False Passed
2ce0cc6327c6ca6081a5f93eb19177e23272e068 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend FunApp True Passed
35664d7a78a202ecaf1c62ab24c4b1e46c005299 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend FunApp False Passed
a023849b09115d1d68a99406e397277770c52167 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Prime True Passed
d5dec5df4ba7daf12e662f5f49d3f2e98bcc5bfc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Prime False Passed
a3616015d96fb281ed2066a4ddb5b6671defc964 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumZero True Passed
a1aa277a2ffa4ed7e3a28275e27d82a239d23580 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumZero False Passed
6a9adc143cd24779249dd5494654524256dbd9dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumOne True Passed
1b842e49ad9a0f01a85ca75799cc0e187839e840 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumOne False Passed
243a5747bbd082dc73bbe1f6f592e2e52729662d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumMaxInt True Passed
25fd1fa1c8868bcddd458ec64048bbad2dc80f3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumMaxInt False Passed
0c0a1325403909ca88ba1508036ddc47a8e21925 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumUnaryMinus True Passed
4790206e2c4822da65833f98aedffe6bfc4f0dd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumUnaryMinus False Passed
fe1029e2c50d596edf8f165360a5ee46a916246a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumPlus True Passed
4114c0e11816a854c7d3dfcaaaeb1dfd73474b25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumPlus False Passed
726f2d40fb7ac50994d9be5c87095e8617a20dce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumMinus True Passed
9c18f3747905790387bc982721c17f9ff2f33c26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumMinus False Passed
99437732663e25e0c3a1a6b93d000376aee77342 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumMul True Passed
6a74cc130c5e8252289b23d52a78b338731a4bc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumMul False Passed
77c062ea35e7f3bec25963cfb3127824372cddad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumDiv True Passed
b7aa951642195aa1da72645addb803b4e7a74487 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumDiv False Passed
be9303bc9687f8956e58f05119ca1ae1296a7037 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumMod True Passed
4684cc6dedf0a1e42c927538791a4f984144416d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumMod False Passed
861de2ac0b51592dc4b96d50cae53c15f7e5e7ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumPow True Passed
312fd0251caa18cc9fc4261ba0d36ebff7311fa1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumPow False Passed
d48ada998b37a7a03761b6f0179a74c488db197c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumGt True Passed
51b00d3e1ae0a918309c195555ebb41d2bfd694b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumGt False Passed
0a733f476a10d046c41b39ead7f9573d1c35c472 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumGe True Passed
14609fae08a0bd558a3a57fb435eff4c62e96579 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumGe False Passed
404f7de05fd6131627e1fbcccb62e603f70385e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumLt True Passed
77280a91827d8a2355783a61617daff56fa33ec3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumLt False Passed
40df0e5984053bf61a0629cd76fe4750ce0642cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumLe True Passed
ebc3213f55ec8b27ec33eb2cbe9ff1a180de6a87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumLe False Passed
b5add2b87726e5b1b29cc68e01d49ad904b77baf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend DefFun True Passed
f01fa8427352930bdce3800b1045c62709767e32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend DefFun False Passed
8c0a92c872081cd26be6aa7f7bc7c7f0669398e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend LetDefFun True Passed
b23ef2c02836afb4b8bd172e9e5c7f16a0bbb719 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend LetDefFun False Passed
996186242d1369cb27eca5ab7e8cfdbbe870a923 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend DefFunRecursive True Passed
edd627746df008f93d64ecae29f41c3fb0c62bad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend DefFunRecursive False Passed
18994315bad524ed2d6b52e6a04b1ad94346847f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend LetDefFunRecursive True Passed
8d58664f14c46933e96e29ae618f70cd9870ecb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend LetDefFunRecursive False Passed
fac1b88d07d2f63eeb9139bace3f888971029089 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Def0 True Passed
b428d47c7425dc38cce29b2ec6ce67c67bdbcdcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Def0 False Passed
ddbc13fb418899995bf60f59fc02217909c6a812 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend LetDef0 True Passed
277de4a36ce9d9a35602cdb0dfd1f1c69fee2cc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend LetDef0 False Passed
d9ced012b851d1d5ef2b47548f4149fc104fb60a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Def1 True Passed
3fb0a8465fd97b5dadf412a6f0b5361a057f4a96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Def1 False Passed
f94532f478c042264fc94189fcbb4a838e0bcdee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend LetDef1 True Passed
d57df1d2a01d89de77bde2015c4eb114b4679387 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend LetDef1 False Passed
aa0379df020e0c8f2d3dd27c691b2930d505cea2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Def2 True Passed
f7290c8919df37488e2aa3cc22ec86f49366f040 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Def2 False Passed
d7afe9dc40f9150607fe5c3913ff7e3debebce64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend LetDef2 True Passed
7a237bc58be008106a692c38e14d7625d226258e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend LetDef2 False Passed
2bf049e10b2e2330bacdf1174848f7c36cc7386c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Def1Recursive True Passed
a3b1f23d6243ecd66710a7b5c5e41c86cfdcc76d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Def1Recursive False Passed
1e5099f1aa08ced46f1af04f978014edd8ce2c6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend LetDef1Recursive True Passed
035bd5ea27de350e78fa2d4aca53518d02e52cc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend LetDef1Recursive False Passed
5d8f4e1650646b924f766d51c81632b9bff3fe7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Extends True Passed
2d9036e03715ef17e9008bfcb03cf7b61feae61d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Extends False Passed
30cfc20cca25ebfa558ddb662ff4bb5ad53788bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend ExtendsInDifferentFolder True Passed
b2e4483d9e573d1698e160ad89d067e76dd3453f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend ExtendsInDifferentFolder False Passed
158bf8e38fc54f3bdd632677b754f09ac536cae6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Variable True Passed
1fdc82bce44441ed7a5c124eb9933dd518d400c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Variable False Passed
1ae3f39aa8423fe5450a4f556794f8bd0c45ffc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Constant True Passed
076f78df1b18484e52f08ca4dcc3dfafc3209001 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Constant False Passed
161ca023c0f17fc16a9029d18274dae38420ac80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend ConstantRank1 True Passed
a93b03dd5bea60e5e243a3baf331914040a4a50a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend ConstantRank1 False Passed
91be69392c532f2e2c579edd322b69d71790bf99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Instance True Passed
a9a2458475bbf108097efced7047b222909dd344 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Instance False Passed
48deb832e70ffdda80b771cc5686bf3cee38fc17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceWith True Passed
f2c6b5dbb4142cc2dcc4f35ff42cbbd17f9063f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceWith False Passed
61f1c571a96a61c8c893a3717f8c18f94d3ba36e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceNamed True Passed
709a36725ef19d5b1324a2b89700fcd963a432ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceNamed False Passed
ced79dd0105efb8a1d163bc8e5e0b7eba6509610 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceNamedWith True Passed
e98ab644deaccc0d55023c7fde0ac8c0bc9b7f7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceNamedWith False Passed
bc62cc61e396519e54e2c10c5e52c876129d4d5d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceInFolder True Passed
018261f132fe21d306ff06f2f53e78e7be758e81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceInFolder False Passed
a7ca42e1a8d89844d213b93dbf47f71a9b4f3019 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceWithInFolder True Passed
a508383f6778480b011510c67723275676126c5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceWithInFolder False Passed
94f90c3beb72e8a7ff52bdcb2a4ccde33a12c07e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceNamedInFolder True Passed
68d9656aed570047608a3ff9974bfedb67578c2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceNamedInFolder False Passed
8961315638e793546faf21f7ce2b725ad00816b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceNamedWithInFolder True Passed
a231ee871218c4a8722dc755f5d83ad1f7a7730f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceNamedWithInFolder False Passed
0dbb4dfc068e13c60d99c73960833e999ce941ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Enabled True Passed
36f7ba5ada70efcf5d3a5598110bd09cd6cc6198 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Enabled False Passed
b42fd1367307cf74a304ed566e196e36d89da219 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Cross2 True Passed
8056c1b1c62cb719bb5131e0f3d137d5c9d24c52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Cross2 False Passed
5af001a6f61b6341218e14aaea8b736d2e87957a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Cross3 True Passed
a530de263b615f55308bb4aef2ab4754dd135920 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Cross3 False Passed
3d30e8a73707568571bbffd9b463bff9603cb76e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend FunSet True Passed
35196bf66c270d329557e713c97de8f04ed1bd5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend FunSet False Passed
a31fb9876b15b1fec5bd7b3cfe08d81fc18484b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend RecordSet True Passed
5694738ecdb32d690bcd43e185c8b4e8ce5dc52a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend RecordSet False Passed
8724dbea00d8e534641dce24b3cf16fbc96f4d44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SetDiff True Passed
720c0f60b0f8efc4dfdf683f57291807f811d4c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SetDiff False Passed
1103d13406e3be4af37e33c1490c1af458141a5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SetUnion True Passed
49fe0bd780cf1af19440895c0f5dab24d853b577 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SetUnion False Passed
7e68723440bbbe7b61db3dd62cded6e96c5ec274 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SetIntersect True Passed
6cc7ac4b6045efd39d1cd14a6f13ecb690e5aa51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SetIntersect False Passed
2cac62b87dcdda452863251a00e8d18095772a85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SubsetEq True Passed
11414ca492f4b3c7b26c56a4fdd706f68fc63249 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SubsetEq False Passed
47574e89c939274e9e2d2ebd70d8c8c2dc7df8a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend IfCond True Passed
9ea436361c49d66e793bcace7c9aac688c742331 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend IfCond False Passed
f22ba8da010eda7b1710c3bf37ccbf71a8a59754 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend IfThen True Passed
b1020b92ddc89ada17836c1c0b32c0161dde0abf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend IfThen False Passed
52610a5e37c717d3d1fa5545b2c9a9b073640404 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend IfElse True Passed
12c0eafc4ff257ae057a23073d41660848585c78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend IfElse False Passed
15f3f227898302e44433766a1dd4cf0342bf4e5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Subset True Passed
469280b695cbc4970331985c56cb7adad5fbcf22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Subset False Passed
e98328e578a0e9e9e4c6798b24e4258de4704043 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Domain True Passed
6eb129609ae17639a78c0ed64f5b67a5a1844d36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Domain False Passed
779f730acbcc62d37f7c7f079988c95cf1909595 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Union True Passed
0e8365ea0ee3184e956ded6111a4e6fbf9a72ad5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Union False Passed
e799c6b84bd9d45664bb4e8b45993bed815a7be8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Unchanged True Passed
da4ce6c4a92b1aaaf2ae255f3a3f5f946617e8dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Unchanged False Passed
c78287448169f5a4ec4244de1a56c06953e5e603 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Equivalence True Passed
5c0f6a1b8e335bbadfc7c76b55fcff6717428c2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Equivalence False Passed
415a303508b9d362d6b0fc91bbd425ae9f9ee402 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend StringEmpty True Passed
7bee52bd19345671185e4e640a4ac6c701d4d328 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend StringEmpty False Passed
78a503924b32897d3b4ea5f98fc53763b5618b22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend String True Passed
08e3b65ef08d7fa108d09d85dc97ace69c844b13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend String False Passed
d654d7c58fd013b268263bef59f7765464ecf401 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SeqLen True Passed
cdc062522efa4d5ab317ed60c925172bafd1a735 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SeqLen False Passed
1ec49c62d55465f5d5393e2d3c2c3302ba1b1229 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SeqConcat True Passed
2d05f9183b856eba6e56817eb2bb2c5ae7680f7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SeqConcat False Passed
e822f4a78e70bc8671a6cf1690e48ddb6b6bc924 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SeqSelectSeq True Passed
433172cfdc35f34436e41ed8f2e21366f8f5a119 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SeqSelectSeq False Passed
7e723652cd8923fdf0784c3460f6bd8488c82ac7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SeqSubSeq True Passed
10fb8a6e339f0ec96627bfdf6e198be40a389c74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SeqSubSeq False Passed
1324244632485529c1f2c8dec3a5dfa6acdc5b32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumRange True Passed
816e16201795e22da19e1e04d685118838b79342 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumRange False Passed
955da6eb9c03d19e63f5b51934bcf353f131c556 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend TlcSingletonFun True Passed
bcfa474cd464979d0fa5623d95c9d07f11e28ffe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend TlcSingletonFun False Passed
a7f802bd56b4c12a3c1b9ea5e2d9f7354e00d244 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend TlcExtendFun True Passed
9d0cca92562e4e1b8b059875766944bb4c23eece TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend TlcExtendFun False Passed
95ab8d6f54e9818ea25dda9fbd8c0759091896e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend TlcPermuteFun True Passed
b4032632b5d0927c4b27f40b0b2276c188d8682e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend TlcPermuteFun False Passed
4b7097d4f7506bff334f39144c8455f2f76dc713 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend TlcSortSeq True Passed
9a80cb9fd49c13c578850b530b781e9decf366b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend TlcSortSeq False Passed
f95b4443d2a0feb2221de3a37531d6b9e11def62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend TlcEval True Passed
d3ce012775dcfe310757ff1d38b7d306bf445a1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend TlcEval False Passed
8d8a0f531dce9060e22f467e3109c1008befe85b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagBagToSet True Passed
64ab298825dfa6fa640a057389b6bddbc1093fea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagBagToSet False Passed
f0e9512815fc182642dbcf105219ca4564560348 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagSetToBag True Passed
03fc9cacab20135b029bc21bfe0b666fc0bcb533 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagSetToBag False Passed
04b9303118559b5f77f06b85fa9188f42a06c255 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagBagIn True Passed
6580c008aa4ff6d72d6036dfce972576c3b4f396 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagBagIn False Passed
3d63ac32014dcaedba4716ff212c41b2a36058c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagEmptyBag True Passed
c646ccf707ed6184f9d7529f8881032df9565f94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagEmptyBag False Passed
923cdc5c5c7bcca596f6c6323415d7bae2a52123 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagAddBag True Passed
9e12c870d837b36b2c7905fe52ac678a9296a1c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagAddBag False Passed
77cd67e5ac86690dd9d9fe036efcf9c31f592d47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagBagSub True Passed
f04bf8beb33a94f27f99f804da0b4f303c1481fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagBagSub False Passed
223908818de53bba32256436279e2b57179cd7a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagCopiesIn True Passed
b619606a5804b9c78d568a22b6a4ea969d7d365d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagCopiesIn False Passed
d75c14ef66a38c96ded2f6089485f40791f5c62c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagSubsetEqBag True Passed
5ac1889651d5749c082e654ae0dc738b278bab7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagSubsetEqBag False Passed
5ff07e028a965f164164b4dda4081f77108175c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagBagUnion True Passed
f12be2520e8a79bda05b140ca191155f4e19b910 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagBagUnion False Passed
47cce124ce1a499c911a332346e56824c1324e9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagBagCardinality True Passed
a1e4baa1833b0c02586c8bf1fdd4eafeca8a95fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagBagCardinality False Passed
f87ecc00380c7a9b0e4dbafd4024017f01de1ac4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagBagOfAll True Passed
cabde3163abefe134cffb592c70f4f177a6feb16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagBagOfAll False Passed
4e3cb7a217764bce2e45bc7567d96175f2c4ac70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagSubBag True Passed
6534bd1e2182612c59c1e21fd155b7b6ce6de498 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagSubBag False Passed
20255a9fb8533c61c66404b7a1f1ad1896517896 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend FiniteSetsIsFiniteSet True Passed
75bc103a08c81d9ae2f8c2aa609fea885bc99502 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend FiniteSetsIsFiniteSet False Passed
0ca4449e29236f8110e4fc1a9202cc53b933f811 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend FiniteSetsCardinality True Passed
c8925ea2a31327418d7b710d37b40032ef4ffadd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend FiniteSetsCardinality False Passed
a0fa6836a7a46005e7a661d013c21b8a9ae727d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SeqHead True Passed
9c56e28d0f0ac1a00da143418271792a38ae5fd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SeqHead False Passed
301dcdffb6a4097ef8b2d781f1ad1cd446170b52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SeqTail True Passed
00a11ac0367356f1f8276dc669f380053442a8f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SeqTail False Passed
98644894aa4be8d4cfb35d870d4176c76a68f354 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SeqAppend True Passed
27db47028045cc605216f43b7830718cc19da6c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SeqAppend False Passed