PUBS: A Practical Upper Bounds Solver
*****************************************Result (Not Done Yet) ****************************