run_stoch_s.sh

for name in p10_nlz_eq_o0 p12_nlz_le_o0 p14_floor_avg_o0 p15_ceil_avg_o0 p20_next_higher_o0 p21_cycle_o0 p22_parity_o0 p23_count_o0 p24_roundpower_o0 p25_smmul_o0 
do
    bash run.sh $name 3600 stoch s
done

for name in p18_is_power_o0 p11_nlz_lt_o0 p19_exchange_o0
do
    bash run.sh $name 800 stoch s
done

for name in p13_sign_o0 p16_max_o0 p17_off_right_o0 
do
    bash run.sh $name 120 stoch s
done

bash dummy.sh