Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
8809a7fb49f9e2167c1adb1b25435011a3c1bb02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And BoolTrue True Passed
c1ca03abd9ae4cd4d0212da53d6d91c0b3791745 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And BoolTrue False Passed
9a1d3971b5e614a2043752d061a63ee1330f6a36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine BoolTrue True Passed
9f3126f70ddfc9d9cfb9fd0f13cb3c88d9611914 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine BoolTrue False Passed
78b341ea3e69a2b9184a66ea73655bc07996d0fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply BoolTrue True Passed
b325aba754251af70da20a82708f4964525a9511 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply BoolTrue False Passed
716979742a8fc4a573c75f53c02b20096d83d55e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not BoolTrue True Passed
494a1bcea7445a74225fb073b1e8dea1b7e824db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not BoolTrue False Passed
217890d96703f1886ebd28f064a187874373393f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or BoolTrue True Passed
f01d90bd0339f1803fc1de190338fe9b9f380dbe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or BoolTrue False Passed
3319e8f979fa91a416649d8cb63020c95f8bbd45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine BoolTrue True Passed
758c560a33cb64452a373787e73d87a2bcfad304 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine BoolTrue False Passed
f646264455b0258f257ea81fc3b49559aba32f37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp BoolTrue True Passed
65ee26adb603191703992e292a1bce0ebf5b4d67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp BoolTrue False Passed
fd04ccb168878958ec3dd3b88afe669ad62b155c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed BoolTrue True Passed
c7f5e00ad0deeed784c995a47bd4557900cb3695 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed BoolTrue False Passed
15cc6b01a0dc77e13fe58a8a275ba376dc92681f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BoolTrue True Passed
cc66ce05c285f570750e325ee84fe2d0b7aa3a04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BoolTrue False Passed
f671ce6d4074e360880c11f4c77483443cb0dab4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BoolTrue True Passed
3e9fa2ff9a603f510e0ba746e08417a48ed55d4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BoolTrue False Passed
51bc1792ea26f6ca015de54ce60f65d2b4bc13db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BoolTrue True Passed
a2282f7bb439272582954d4224f353628e7a6279 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BoolTrue False Passed
296f047866e2a9b6b406429f96d6bb77237c3b05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BoolTrue True Passed
31ae13bf7062949fa02f0f36695cc88f6b8b8dd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BoolTrue False Passed
9a81a073b66efb4c9468b86026db24e121d65018 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BoolTrue True Passed
80bf7420958fd5112b1d8eaa05483ab044ee81aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BoolTrue False Passed
78dc4769c9dad5ee68e8566a044254bfd2b54606 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BoolTrue True Passed
043c406b844362d8b479fd007f1af4713d44c42b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BoolTrue False Passed
d0f30455c3b034594311bf210ff8645949b535b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BoolTrue True Passed
d32bc8b20c01357cc3650ecdb833925ba3774249 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BoolTrue False Passed
f920a26629619783edf84e33909b3a0665de12c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BoolTrue True Passed
d58b2b4b291d8d80fa0be032242b51e8a225482c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BoolTrue False Passed
4899433dc5228219fac14675ab5be1dcdf2075b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BoolTrue True Passed
a1a904515164f53125508f32d2bf8236e7e90e7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BoolTrue False Passed
476ba8c7fc69ab012b0299eb3a921911d0dfe911 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists BoolTrue True Passed
e8b2e3c7f77ddd560220ecb7506666ab81c73bcf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists BoolTrue False Passed
4d09914538ef0c5a29851f0f1fc71891491a689c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall BoolTrue True Passed
dfc055e5ced5b663f07ea7ded9231cd41cae80f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall BoolTrue False Passed
dac5efa2bb18eed6fa7ad432f7544bf7fd78f029 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose BoolTrue True Passed
c2952efed662a5a9fb5ee2e9f233238c7991ddac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose BoolTrue False Passed
3060475db3ca461127af2f317c25b0bfecff1c12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BoolTrue True Passed
3c5f2ea2e914e4f28e27414d9f63ae85ce436e77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BoolTrue False Passed
c9d19853d3cd02ede3430489dda806b744f6517b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BoolTrue True Passed
7e87c26ee5519b7f4e2219a635b2d3e5ba8f17eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BoolTrue False Passed
fc14f07130ff942009a7a0abd9024fbad3a61b15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BoolTrue True Passed
ff6f50ddf63c0e434241b70742a2931d0e7cebfe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BoolTrue False Passed
3157dde07b3e83cf705650d6ad69a7bee39e169f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BoolTrue True Passed
a8ea30ee804bc50e0db1f5ef29203b31044e538e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BoolTrue False Passed
99f7add21cdf72b3fb84162d3b2b72854505bcf7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BoolTrue True Passed
359bce4825ba1f90e40d81f35d4dc6c2d449068c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BoolTrue False Passed
d7e421d11b843c1e1ada2f690041541e200397fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BoolTrue True Passed
4a44704d2b62727384ed01bbd974d6e75aa6dfcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BoolTrue False Passed
3d0d1be8847b4a456c7a1b484ca3a3a0cafd2415 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BoolTrue True Passed
158947e29d9eafdd5a47bcfad0519a2a20e5f3e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BoolTrue False Passed
e4a8d29fefb91811d138ddd29fc2b265b01248f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BoolTrue True Passed
1f957e539dad77d732f6f21845cfc917cf8cde86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BoolTrue False Passed
20eef7a7c9e0744671717d5bc08cead2cd11b2bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BoolTrue True Passed
89bb2c2060e87538653c82f7ffe6e366d7bc7299 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BoolTrue False Passed
ac951051d4051f974fafa366f98ece5ee79b41a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BoolTrue True Passed
a0b52540444db4e3ec692dc34e298e06385eb0c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BoolTrue False Passed
92f3f4d099248928eec8706842e1302e74eb222e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BoolTrue True Passed
3d90178d14d783c3d3ce40f63f80e824a579f48f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BoolTrue False Passed
2a67cbfbb673acafc97174161f504ca30e8c4ca2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BoolTrue True Passed
5ad0378ba33e604c58a22acfdc1435934cd3dedb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BoolTrue False Passed
1b4c45a5eccf09046959a07d6057801e86e4dc00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BoolTrue True Passed
ebc9d863283facd638cc7affbf2bccb0038b6d1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BoolTrue False Passed
51498482b8aacc374a6fc9956338be62983ca7bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BoolTrue True Passed
2d40d3f5b3b4935658109796d5c279e240e3a194 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BoolTrue False Passed
de3831d048af01162a6969e3d3e4611475ccd755 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BoolTrue True Passed
388afac19775e38044197d5b8cda34656553866b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BoolTrue False Passed
cb5f6bd07347c6ef2fac600e8322ae9be643e1f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BoolTrue True Passed
f5b51d2366774a1281cfdca326dd1da57a247501 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BoolTrue False Passed
9a26282777ce9548ee920887d344d3e0462e9f56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BoolTrue True Passed
0e60ff7dd37d0391319b41c3e9bad2b8a447b631 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BoolTrue False Passed
9ed836aa2e6edc9460a430ada04349b2c3c8d536 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BoolTrue True Passed
ddc89e4c1fad665544e95c41e1c04650b73b57ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BoolTrue False Passed
aef7b1d1c3ac2b6e95682fb982a1139952c08fd8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BoolTrue True Passed
d768be7ebd2a59c1a2848027d10e10061f5ad0e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BoolTrue False Passed
b0da796d1c75486c5261ba7d10d8371a115f0ed2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BoolTrue True Passed
ffc69cafa9ea653d832052dec0955fd32b9f7a9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BoolTrue False Passed
1a587883eb3d0469351107650c0973247a5baa77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BoolTrue True Passed
8fc13d2727d2bcb7120212c48bd03f86239171b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BoolTrue False Passed
de3eee714966b8e7be76fc44d7b012790cf12858 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BoolTrue True Passed
b5b94ae4990807cf285b950995343f3dd410e8bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BoolTrue False Passed
2264c8feecca5d9fdfb77268da9fcb06b858ac9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BoolTrue True Passed
bdd5121e3a1d1d806543c334a230428ef388144e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BoolTrue False Passed
3d21e185ee7a981652dfa262d27faf9c34a6c7bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BoolTrue True Passed
22f3480b0b70b47d780e37c6b796987c7e9a5eb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BoolTrue False Passed
526c97e1f4feeba916b1e5f841e9f1e8bc43a844 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BoolTrue True Passed
e0dae4b01e04129466d70b0774a04d25fb8c1ae8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BoolTrue False Passed
3fa8feb50d987fc460a5bd9621c1603c6c37540a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BoolTrue True Passed
8abea8be4831f25ad11aad3d5acb64064c038f65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BoolTrue False Passed
0fc6c7f1f493569c6877774593d126c96012fd09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BoolTrue True Passed
dafbdcec99783db130f05dcf77ef8ceb81d006d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BoolTrue False Passed
527bb2d7d2d3af29af01a59434e3608ba627a5f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BoolTrue True Passed
5c9c332a4621e5c1ba4523ae9abcd242750d414d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BoolTrue False Passed
6e11bb2a6aeaeb3cca3a121b67214e56f5ed4427 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BoolTrue True Passed
404716e7900707474efa4596a18fd02e569ed6b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BoolTrue False Passed
b7364e86acf93db91cea3c89d66076ff72373974 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BoolTrue True Passed
ec7de885d79282685f05b3703bfccdd5837874d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BoolTrue False Passed
1aa9a751a36494037bbae5dfe1a90ba9a056a516 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BoolTrue True Passed
8ce239d2137c1fb9536fecfa4fbd7fe3c4e87e46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BoolTrue False Passed
3a8e3c8e5538612a804fa431c3bd5549fbce0859 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BoolTrue True Passed
7f848ab3252d3d37d1376ba2bc7c17a1abf4323c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BoolTrue False Passed
d5bfe351e74d4fdde678bac7304747f4c21ca08f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BoolTrue True Passed
285ab2a65c91946686e2c2859226567508f1a32f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BoolTrue False Passed
9182c74aba2c8fe165da812f30d72b62431072b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BoolTrue True Passed
0d46942b079c800051e9d0de8cd82c5240016a40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BoolTrue False Passed
58457c3dedf9610968ee967cb5a8b2ccdc671f43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BoolTrue True Passed
c040a003dfe43ce51a395a914db600a7305532e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BoolTrue False Passed
a4a6bfa440e1e4863d898e85c1adac1f7ae976ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled BoolTrue True Passed
282d803d2c84194a1bc52d09f86f482d61b604aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled BoolTrue False Passed
061f8c37c4a5958db8a0b3f4ac0c912be8d0f4a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume BoolTrue True Passed
33a3437a2a684c22a65f2029fef30f975121c12c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume BoolTrue False Passed
3242d07e69c590894e6740ce8765452026253fb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed BoolTrue True Passed
2f681b0150d04dff4872d532ce66cd08ace78487 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed BoolTrue False Passed
6b6e0924f73d5e210fee8986ce84e226f37369b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BoolTrue True Passed
388140d596ab4f7f102fcdde694501f4b7039a71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BoolTrue False Passed
efd516145f5f7901b0e12e977ced18acf3788ebb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond BoolTrue True Passed
2ed04d6c5182223e3ea4b6cf996a5887faceffd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond BoolTrue False Passed
74b830ffc4fcc4c093fda6e2e4bc14ba5db15745 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BoolTrue True Passed
2fe053ab60aabbd6a5b7af32a8385bf97d02bc1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BoolTrue False Passed
f159adbd1c75bebf1499148ff2f25083984e1aa6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BoolTrue True Passed
c0ffadc22fd0d0d39a9b393dcd2521ce7837685c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BoolTrue False Passed
5905ee89e1430ff28f3307f78fc581030f37bcb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BoolTrue True Passed
81e6ce931564eebd55b4b7644aa7802b11a08efa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BoolTrue False Passed
2f07519e67314e1b6e8f85932876e4a19d20af58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence BoolTrue True Passed
e3df539ce8c8867d9b669e77d65f381252175c7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence BoolTrue False Passed
51dd3c5ad345e5c2d45fa76a816c00c4e75ea9e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BoolTrue True Passed
64477ad96f5abccc50174171e6f8f274e5b2ec3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BoolTrue False Passed
ba0a059ac46eccd14c473edd92c4c748cf6da107 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BoolTrue True Passed
cbc5dafb2423e6c42d8b48b3d4c8018f6710d142 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BoolTrue False Passed
ba75dcd25da5bbba11d06d1fd38eb730674fcd9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BoolTrue True Passed
a13ef05e9d2349a6715105092bc45209ea144cdf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BoolTrue False Passed
d9c7478d39d2f4a92a1de5b566e809a2a5352129 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BoolTrue True Passed
5148a93623ad62d474a48d9cae9a54d81a5e35f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BoolTrue False Passed
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