For [this test](https://github.com/gsvgit/VSharp/blob/master/VSharp.Test/Tests/Algorithms.cs#L1128) 50% coverage can be achieved in few seconds, but even 51% can not be reached in reasonable time (with default settings).