[RFC] Refactor codebase

cc @mlubin @IainNZ 
I would say "Returns the total elapsed solution time reported by the solver", to make it clear that it's a solver property.