PUBS: A Practical Upper Bounds Solver

class EvenDigits{
      static int divByTwo(int n){
        int acu=0;
	while (n>0){
	    n=n/2;
	    acu++;
	}
	return acu;
      }

    static int evenDigits(int n){
	int acu=0;
	for (int i=0; i