Benchmark: fixes printing of solution in text (#5692)

Jun Furuserequested to merge
dailambda/tezos:jun@fix-5692 into master

This fixes issue #5692 (closed) using Format's vertical boxes.

Merge request reports