PUBS: A Practical Upper Bounds Solver

class SelectOrd{
    static void selectOrd(int v[]){
	for (int i=0; i temp) && (j >= 0) ){
               v[j+1] = v[j];
               j--;
	   }
          v[j+1] = temp;

	}
    }
};