It is fast, but more verbose (a lot more verbose than Sol at higher efforts)