Index

Tests by plug feature SeqHead; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e6a70961a4753102213dc4b0c9238a2b64127d47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And SeqHead True Passed
af6ae1668e44379759e78974666a1ae9012a2f86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And SeqHead False Passed
adc09b5bae7acadb505c708c99820b86be2d50d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine SeqHead True Passed
3f4220e0ca3094afce7cc40f747b6187af26d832 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine SeqHead False Passed
9fa45ee580b55c0d33a3396eedc8348790579602 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply SeqHead True Passed
64a1085bdd9165a2be408541dadbc6a7c4e4eef4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply SeqHead False Passed
910c2a2d0ac676f78247fe5dc168b78c225f9602 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not SeqHead True Passed
71fd97a51065fe1e34e1017ca81ff9ee06695239 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not SeqHead False Passed
a04e57d505a52230d0811c87917e92e68fdb56de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or SeqHead True Passed
9ac393d436c244209dfd36a7020bba978fdea8b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or SeqHead False Passed
7cdf797f77be5fa83422bdbe465764c32656fdf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine SeqHead True Passed
517772615fe4f377edb26d09204ce71f82c70d6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine SeqHead False Passed
561f007b8d9b99f0d85162a037a567f24720ad19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp SeqHead True Passed
ce119b03f68757d907cb2e2c01eae7b68ff71f6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp SeqHead False Passed
72da6c77f0ed2b9b0bd6e78c813f87f72c9d2dca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed SeqHead True Passed
3c15239da97d2f6bacdfbdf2c46f3dccc953ad43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed SeqHead False Passed
bd755ef70717f291d60f802142f026f7d6eded2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SeqHead True Passed
ce1bd0162d13a99ed6d40f6fa71f14ee5e1dcfc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SeqHead False Passed
8fd942513c67058cc7ccd724e3e31194ed890d5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SeqHead True Passed
34e5e4921489bbf959f4ea45309f34b4645d945f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SeqHead False Passed
bcf8d280e3615f7843c27572f8569338737c8d23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SeqHead True Passed
ae06766803bdef7ba8ede2dfcb1cd423c6f03cff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SeqHead False Passed
b8596cd47eeda6f1f3a52d4abf49317e304e3626 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 SeqHead True Passed
9d78ac31b0fbd775505aead12ccb242f848d179b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 SeqHead False Passed
aed8dde1c0db3bda435da0eda3275fe270dced93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SeqHead True Passed
c96585722592fcb9b820ae87303de5c1547a669f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SeqHead False Passed
ef165a0a406267693dd62afc373c27ccaf3bcf05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SeqHead True Passed
bdb0c00361fc166fa6bd0e667284de7dcd3461bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SeqHead False Passed
25ec2b56a2c8f152cbdef5be380bc797a97e7827 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SeqHead True Passed
394710cb36fe28618b76d917767905de5763ee28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SeqHead False Passed
5f781b0d26eb68902caf3c39faa91cb6c73c1ce4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqHead True Passed
12c79599bcb95d6f504b3613b9427959cbb72d65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqHead False Passed
e0dd8342bc343514c50787d05a542b3d38ab230b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqHead True Passed
0394df4bf6d790b11f30fde6e8e944f55a595e7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqHead False Passed
2cb7a3c7554b4907248c5e678c3e2a04692e4fea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists SeqHead True Passed
f9d4e38ad0d62cbfafd888d4909baec485653546 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists SeqHead False Passed
7568c3dbabf0a9bfc561b9103ac1e56c307f3ebc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall SeqHead True Passed
1a272bb603de7b9019c875aa8a2ff8c81980cd51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall SeqHead False Passed
2eabb3c10011949437b37c3972ac78c1ff2de403 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose SeqHead True Passed
1a5a47676ed2c3ab0661ce1694a65e97d220e0bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose SeqHead False Passed
8a86c2137824c988605ca7d0bf06750181b133fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SeqHead True Passed
78fc3bde48f111ef5d5bd5904622686919f043e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SeqHead False Passed
1f438f4c3485921097acaa0827a8b5753ec9c38e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple SeqHead True Passed
80de3358f4e6cde84cd9719fc4943340c8e305e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple SeqHead False Passed
2aed50632bef89a5102a3679061a8264fc599399 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SeqHead True Passed
7bc06d46caffdb35a8b0a34f11516c8b830a7114 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SeqHead False Passed
dcdb9db2eb2cabf8913c2c3ff5a15407905c6d4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 SeqHead True Passed
b68a1bebaa320cc723c3509cc818c3257f683312 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 SeqHead False Passed
52a0b94c7401b2e27bde1adc929c6181fa8dc2ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SeqHead True Passed
453275210856c5bab6c79cc08060d4f43f8eb90b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SeqHead False Passed
7e4bab2d4efe9e5aad7a8aca83df9e8f24b525dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt SeqHead True Passed
322b2b43ad7225c062f61934e33928c598f545af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt SeqHead False Passed
f8f3c8a1362c2040a1a0be83a7f0262e989b3ee2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SeqHead True Passed
0914e89e075d22cdfb2b7c736530a8c6b8e284ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SeqHead False Passed
4b3e11b29cbb37be77fd74c59da4871f8dcdd94f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt SeqHead True Passed
28cbc1772960ab61bf1a6c23761b6b7540c42256 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt SeqHead False Passed
549129cc921d3d8d05dc2e1a76822fb62441ea83 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun SeqHead True Passed
f8ccbd267c763eeb14ee790330d5f833d0672423 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun SeqHead False Passed
584cfb983b3c01814dffc753b777c2339867feb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple SeqHead True Passed
61059d3e3d4fff77f1cf6591365f3d9c7fd64b80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple SeqHead False Passed
d52300ec6bfc3fd5a694a851a03bfe77755f3fb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SeqHead True Passed
02225a066ddff5a991f88f8f5ef7e78f5af59cb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SeqHead False Passed
81d2614fbf0092d87ab675f7ebcb13223a4f0c89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus SeqHead True Passed
bfdb53448169ce5c9665bf5945a4bbd27764c8bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus SeqHead False Passed
a831548f23abb373ffb8f13dcb194712369bbd7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus SeqHead True Passed
15b28a467e946b88b8a81ddea36a1dfe7cc5ceb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus SeqHead False Passed
e87d79bbb69a50773fc0bf70ad0244aab86046f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus SeqHead True Passed
52d4602085892dd25248288104a2b0a97ef03bc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus SeqHead False Passed
0927eecfb1f77a69722efecb252f924a57c72d79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul SeqHead True Passed
f4b61b04ffc35fa93b4e5a22063111a338dd6a0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul SeqHead False Passed
56afc23fa236fc758c4df0dd6a2906b829de8f9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv SeqHead True Passed
9500e76ac0ddc9fe714c5dfbf8f2799673a13f7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv SeqHead False Passed
eda1df00370a8d00587aa4f84ca0b7980e157f20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod SeqHead True Passed
f02ac6bd5bb0727453e761f3f1f555b65666667c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod SeqHead False Passed
2099c736348fde5225b3d9c44eb9872a914ef907 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow SeqHead True Passed
28957643eb1caebbad46fac2d74d2b507a70a7b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow SeqHead False Passed
1d2d9228dc143ef512d2bc5679127c0ee7bf435a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt SeqHead True Passed
6e61cbdebb21800d1a9d567c17f07cef470bda99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt SeqHead False Passed
49014d662bb7ed2e34bb05dfc475f25f57f5bad3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe SeqHead True Passed
47348643a0281c42c4328e101b3eeadff83491d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe SeqHead False Passed
4357c41b00fbed84ca71a283578721108e5b6e6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt SeqHead True Passed
1123204fd086fdb7d972d8146aef4c3822df73cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt SeqHead False Passed
d45d203997c2de565a38b1bb73e232a408dfb3e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe SeqHead True Passed
5e662e4c42fec740d2e3b1bcbeffa21d3026c084 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe SeqHead False Passed
d927a5ab51a94cd67e74f78ad960019292660ca8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SeqHead True Passed
6f5af7d1753363100f8980defeab9d7fdab4b231 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SeqHead False Passed
4587f36b59f7e52f5f9ff18c47bb8d72f142f836 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SeqHead True Passed
28edcc04426321df2fdb7135435d6e96285a32fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SeqHead False Passed
ec852ab9b8b0e57f7fe7be295922861206683cc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SeqHead True Passed
adc7029ff0ee513ab9ad3417b3a2e97903a88e33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SeqHead False Passed
5b4c53183c2e97b601b2ca875ebcf6bb3a491304 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive SeqHead True Passed
9bd7031f487534f0ae641618c8e29b9767f3efb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive SeqHead False Passed
c15a642910cb6f686d3279a403bfd5712ea7239c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SeqHead True Passed
63f7fa252a7b22f3a59f653abcb6df0d0c73f4d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SeqHead False Passed
c4b13722df08e9e2bfec20d8b550ebcb96e63ff8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 SeqHead True Passed
760d6c02aaea975de8a53d46745e462a5a93024f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 SeqHead False Passed
42d81c607c0baae18090871cb994a81d90d3b2e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SeqHead True Passed
87b561ade736d18e1d82fae9266dc80a4f24f1a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SeqHead False Passed
3a3303b76c71ca0e8d06f4ef054094c12d75dfc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 SeqHead True Passed
da2c685c8ab22b0cf74a1941abdde9ee3433c03b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 SeqHead False Passed
975dc6f937261aa950ce5c14a598d6324055812a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SeqHead True Passed
515b89b6553794ae0766ebfafa3f11daa45f0709 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SeqHead False Passed
0c601483406b9981c8e909b534f3c5fa5834947e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 SeqHead True Passed
fee490f3b33bf403d1470d00f03302fb94ab2759 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 SeqHead False Passed
a2aec18bc9eb755cb21d0d5bbc6950bcd6ce395e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SeqHead True Passed
a1d5d4cfa53fc84bd80709a34f0f6b0e88e60b3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SeqHead False Passed
10baedf3f34b1fa4f3d63a5de752d94a3d95631f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive SeqHead True Passed
b70fc238a5fc7f1f42fc3a6a1eb08f2660e6f006 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive SeqHead False Passed
e60bed4bf761aa381d031185c1493f0ad5a9d2fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends SeqHead True Passed
81b0f550a2c6592402f810926603d4c98d1a6ed1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends SeqHead False Passed
ae6463d02fd4ecb10e28a690c5b47c3b25879fca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SeqHead True Passed
1f4ae1949a442ff346525d4c74066d68ba46f465 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SeqHead False Passed
fe589144faff0588afe843fdbfda2deadc0e747f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SeqHead True Passed
67625d6ca73a1e3abc86728336263020ac3b68b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SeqHead False Passed
f542882813ddf837d41a05d33396106e19654444 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SeqHead True Passed
02f0aab4fc670d44e67baf916027e22a7d5063ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SeqHead False Passed
b0dae9c6ef113f83a1545ac2cf923eb1601611b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant SeqHead True Passed
c0f8d2df6b33e3297c556312c031b3f81908c9a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant SeqHead False Passed
61369db072b470023696c030fd5c61d1d190ba0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SeqHead True Passed
46ebe79a7f14264c13879fc8f6abad42c318f75b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SeqHead False Passed
00fab6648201676d0d952bc07ba7588c3701d74a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SeqHead True Passed
a398a17d986254da74e55cf7afb7ee0f53972fbd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SeqHead 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
3b6622dfacc20579d58f10ad5f672d430898ffa1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SeqHead True Passed
d5b5e4d92b5e7621e8f7742c159eac2fba32a0e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SeqHead False Passed
2f55004f2b0232eaefa62afc4c7c7a0b1d69cfc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SeqHead True Passed
16ae5ed430bc5fb50c399c78a8ca2dc410b25285 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SeqHead False Passed
235346b65f1a1c152ab5cf7c1106d10ff798799a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SeqHead True Passed
8d30a0c5064b593618cd60bccb07e4f26e042417 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SeqHead False Passed
e326b7461c6e9a6f5257f7f66cb27871dbc4206f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SeqHead True Passed
885fd87ade32cbf9b82c5dbaf4def51fb0537da2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SeqHead False Passed
42364bab67a4c04c1945a9c7fc6540725f27dfb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SeqHead True Passed
50e078c5c5bc378623de6dd08cfa75b13a562482 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SeqHead False Passed
f34950acb41283646dfd6e1f9f2b69a9c1adfcbc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SeqHead True Passed
e51377e84b87f0071fb9429acabda5be4e09a029 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SeqHead False Passed
e6265310a7f8c88fd81e0337ddb009590a0e0139 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled SeqHead True Passed
39760cb33323c659a75b539fb9d1d2365667be2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled SeqHead False Passed
28ff8ee4fefd31503ab47ffaad9615fca4a2abcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume SeqHead True Passed
da1c1c69c77f8ce426b2cf52c9c77b229bdaa2a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume SeqHead False Passed
18b83592a7da4c8ac7743ea48eccf23dc69b8349 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed SeqHead True Passed
35bfc10787c4822b4d85648edaf3241254293b22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed SeqHead False Passed
d1c85128bb4dd2b69684901e3f09f3a253e0f738 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SeqHead True Passed
200b599c14c90bed092ee9d03cfbf8a2971bfb82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SeqHead False Passed
128701b9d6b24ed2c55642aeabf0a7849f618503 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 SeqHead True Passed
5d54259ea45125064373e3136aeb198ec2956cb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 SeqHead False Passed
63ab8696715f4cd91e0693c926f40c32a315be54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 SeqHead True Passed
60dabc74b73e99af6c3846ee72949c793610aa8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 SeqHead False Passed
74e2af1c8ea0e0c4af882ba9ba21c9ef33327a43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet SeqHead True Passed
79bc9c25bd85ae441fe18e79f60247a5c624e84a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet SeqHead False Passed
cdb107ef715376f3e43f5d73bf8c8bc7c1f65651 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet SeqHead True Passed
0bb48b52bd23ab6561eb5ebe9eff7f453ec37b04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet SeqHead False Passed
546d1e3b820550154a3ec70e8bd12c184eefeafc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff SeqHead True Passed
920697360984676301ad367ee4a549a2645fa58e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff SeqHead False Passed
aaa9e0cc0489dda197b7a7a58853b8f73ce5b667 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion SeqHead True Passed
1cb50d5ec279985214b6c283f93803633b8ac3fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion SeqHead False Passed
174495ef4b56cf11d8c145e1f6a0eb04f59dfc56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect SeqHead True Passed
32e1c829bc70b94076079fb52d7ae6477cb420c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect SeqHead False Passed
9f5d0421103fe8f9dafdfc6d76d40f7fef2b6a52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq SeqHead True Passed
c446f902120d5131b49df031482fe2df599ec16f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq SeqHead False Passed
142f10a776f8197b9cf872f3b8e039fb707bcf06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond SeqHead True Passed
87cb1e726da38c6f8ec5f3eeae46e5438cd5498a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond SeqHead False Passed
96e2d6345068a3e8d0aa9648a32ae4bd03157762 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SeqHead True Passed
4fd9de26f44b84efe1ddcc9ee83038413f31b571 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SeqHead False Passed
2c105538a5a713e81094c0cae8487cd7da8bcff4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SeqHead True Passed
ed6dfd3a0e6410081632f04eb1485cae9de9304a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SeqHead False Passed
0b115b4488d023eca9bb22d8d7f832178c775651 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset SeqHead True Passed
60e9110e1a76b2eeaafa0cc25918fd41edf25b67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset SeqHead False Passed
4980a7792d9ef2c525a47a579ce6ac64ea491c89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain SeqHead True Passed
b7965285073f83853606acee1dabfe7b9c1d01b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain SeqHead False Passed
3689c7edab639d7f33090b9653a0f89f7a692d3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union SeqHead True Passed
1572e1a5e0c646d0488b6f6d6424b1c1cefeb926 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union SeqHead False Passed
3a1443aabe22729b783906de51163d9878d4d1e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged SeqHead True Passed
2ecbf95037dd637a5c4a85932a298bf4b7485ec6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged SeqHead False Passed
c3e1a75e1d1278ae1468c8f7bb203c70471736ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence SeqHead True Passed
568f68e36d153346e1158fc15dd1bcf02fd25294 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence SeqHead False Passed
96a2ab52a5c55a11edb0c9717db74bd47ac0b9be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen SeqHead True Passed
038f25468f71c0c4c10fbdc4deb85eac241373ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen SeqHead False Passed
00112d3ee556bfe93622f8be2586938ca1003899 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat SeqHead True Passed
dfe24d42d7b7944682a908d63166c2eadde80263 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat SeqHead False Passed
f341f076097ca40a27cb420ed554bd5d76ef9c4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq SeqHead True Passed
a87ba85ac09c74391486bc154aa5965bc9d5807d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq SeqHead False Passed
8a2de71d7ea7f8b9d78655a4f4012c401dce3d3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq SeqHead True Passed
5b7c47a42093fdf98026b12855296fdfbe7cc8ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq SeqHead False Passed
3afe602c6c02790da22807ecdbd9b79d9b4642d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq SeqHead True Passed
c0558596161ac3987c3c9d77a80b67cef2a35c33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq SeqHead False Passed
0f2f919e7060849f7934a2f50c2107fd7c197ba7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange SeqHead True Passed
c583a9d0d55d0cea0a7cf0b99e53a76d657a8950 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange SeqHead False Passed
6ad0bf615f4d3f6ad78a30a248ae7aa966337123 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SeqHead True Passed
2a21bf7f3e30ef57faa0f167fae08e903e2a0f9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SeqHead False Passed
99e1cfcbb6700e9f681f71d7d8ab2ea64f474cf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun SeqHead True Passed
3685bb235d538429c9a916758adc3020963bf3df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun SeqHead False Passed
11eda1e0f43ee862d30ba32465f76fa3d9f6c479 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun SeqHead True Passed
a0798060e986e15483df4d48a73419bc2b6653d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun SeqHead False Passed
f913c2414a804452c84746edb021b7a36c7e5aa0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq SeqHead True Passed
8f698a80ae614ad9a627ecce6391f5d679c1fb29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq SeqHead False Passed
74a74d4f3f4336125bd2a05fdcb69d2b7766d015 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SeqHead True Passed
11d110c8a5b74b97608c1c90a8ffafb3ff75503c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SeqHead False Passed
f68f854e4d314e30c69c462fcba8412a24f467b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet SeqHead True Passed
062ed34301053921f21c57b07cdd6ab0062d9382 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet SeqHead False Passed
2a31e49b717f354ea6cf6e71a5a080fd8eed4b51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag SeqHead True Passed
eff127ea4e68ac24a8c2792b7655ef527dda4fd8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag SeqHead False Passed
721bea38990ce0b6e2e905d07d41692bcdf10412 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SeqHead True Passed
185e8de62b33eae8782b67faa2ba50add1edb5d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SeqHead False Passed
72502b2bc21748c8324f3f92983fae2912b986c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag SeqHead True Passed
bdc48e63bbd8e7ac507e90533d5350d97a626e8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag SeqHead False Passed
955e1e854cf398c3a7e50d2ec6cfdf13122e65b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub SeqHead True Passed
b61421be8a0d3e1df347d81b776c35755b3dd700 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub SeqHead False Passed
12857760e3e910c5974a523acb3bc2736841f901 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SeqHead True Passed
96e3a451ab13de5ea992a76268a1142d9c7ecbb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SeqHead False Passed
70fc6f5245260440f21d09cf2eee9163a087ba40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag SeqHead True Passed
1f84d4f9aab33e54147184e3833264043b386757 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag SeqHead False Passed
f67170d6fc6da731b074c0b918bb657f6a9f6bad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion SeqHead True Passed
5a96daebb64cca8aab85d7cfd076b6851f3ad3ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion SeqHead False Passed
508748e61fed26ecc7d8865c709a66533a439d6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality SeqHead True Passed
3ae5d6ca8e7f1ccb17ba90b045c7320b3269a626 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality SeqHead False Passed
6520f8bf047da0a815ca83d80e8330c83a9787d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll SeqHead True Passed
cdc24826600ce00cf1b57d73acd0b6c9bc78078b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll SeqHead False Passed
26a8dd50432f3fa33130c56bacef1e67d9d91114 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag SeqHead True Passed
f541e2e7514942d93f1093a26551b9fd873af8b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag SeqHead False Passed
d25a21bef176c8ebbcc7158256db7889c9a4cb66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet SeqHead True Passed
514b2ebe0bfc0e69c77fcfc2bb99232c6d7be2ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet SeqHead False Passed
ee38f7b75a8ad3e470bdc5a81db2057956b2523f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality SeqHead True Passed
e03fa2858bb0e40efede9f13b5e61532b5f36633 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality SeqHead False Passed
ebcd456de3c254eb8cf634a2968bf45b4f4a18bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead SeqHead True Passed
ba3238e60d92971a9d1c4766ea6a530552390a05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead SeqHead False Passed
302263a9d6208fca902da319662ee869119a5862 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail SeqHead True Passed
46f80e961d59727293c1e837ae5dfcde56cac817 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail SeqHead 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