અસંખ્ય પ્રોગ્રામ્સ છે, તેમાંના મોટાભાગનાં નાનાં અને ખાસ કરીને સારી રીતે ઉકેલાતા નથી, જે તેમના ભંડોળ ઊભુ વધારવા માટેનાં પુરાવાઓનો ઉપયોગ કરવામાં ખૂબ સફળ છે.