Experimental and Efficient Algorithms