PioSolver vs MonkerSolver: Which Desktop Solver Wins?