adding JugSolver results