SBA/sba_int_1.tst SBA/sba_int_2.tst SBA/sba_int_3.tst SBA/sba_int_4.tst SBA/sba_int_5.tst SBA/sba_int_6.tst SBA/sba_int_7.tst SBA/sba_int_8.tst SBA/sba_int_9.tst SBA/sba_int_10.tst SBA/sba_int_11.tst SBA/sba_int_12.tst SBA/sba_int_13.tst SBA/sba_int_14.tst SBA/sba_int_15.tst SBA/sba_int_16.tst SBA/sba_int_17.tst SBA/sba_int_18.tst SBA/sba_int_19.tst SBA/sba_int_20.tst SBA/sba_int_21.tst SBA/sba_int_22.tst SBA/sba_int_23.tst SBA/sba_int_24.tst SBA/sba_int_25.tst SBA/sba_int_26.tst ; SBA/sba_int_27.tst ; Big Example - not for maunzerle (std very fast, sba uses a lot of memory) SBA/sba_int_28.tst SBA/sba_int_29.tst SBA/sba_int_30.tst SBA/sba_int_31.tst SBA/sba_int_32.tst SBA/sba_int_33.tst SBA/sba_int_34.tst SBA/sba_int_35.tst SBA/sba_int_36.tst SBA/sba_int_37.tst SBA/sba_int_38.tst SBA/sba_int_39.tst SBA/sba_int_40.tst SBA/sba_int_41.tst SBA/sba_int_42.tst SBA/sba_int_43.tst SBA/sba_int_44.tst SBA/sba_int_45.tst ; SBA/sba_int_46.tst ; Big Example - not for maunzerle (std very fast, sba uses a lot of memory) SBA/sba_int_47.tst SBA/sba_int_48.tst SBA/sba_int_49.tst SBA/sba_int_50.tst SBA/sba_int_51.tst SBA/sba_int_52.tst SBA/sba_int_53.tst SBA/sba_int_54.tst SBA/sba_int_55.tst SBA/sba_int_56.tst SBA/sba_int_57.tst SBA/sba_int_58.tst ;SBA/sba_int_59.tst ;SBA/sba_int_60.tst