/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t42_jgraph_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t59_flang_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t59_flang_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t69_funcop_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_ramsey_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t5_lukasi_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t42_pcs_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t6_cat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t18_funct_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t5_lfuzzy_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t1_yellow_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_projdes1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t14_rcomp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t23_scmpds_8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l15_waybel17
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l27_complex1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t16_nat_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t67_o_ring_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t5_radix_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t61_flang_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t1_net_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_integr19
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t21_relat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t11_partfun2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t18_revrot_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t11_functor3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t57_topreal6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t17_bvfunc11
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t78_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t13_vectsp_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l23_algstr_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t81_newton
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t42_o_ring_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t80_flang_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t11_taxonom2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_absvalue
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t21_msaterm
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t27_monoid_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t74_relat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t51_funcop_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t11_matrix_9
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t4_ordinal2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t7_fib_num2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l44_algstr_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t14_taxonom2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t10_quatern3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t11_matrix_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t86_valued_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t37_helly
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t87_scmfsa_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l131_toprealb
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t33_nattra_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t14_classes2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t1_jgraph_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t27_pzfmisc1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t74_rlsub_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t1_goboard1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t32_matrix_8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t52_xxreal_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_goboard7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t43_matrix_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t29_seq_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t84_pdiff_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l52_geomtrap
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t56_tops_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_convex3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l8_poset_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t42_comseq_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t25_msaterm
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t102_relat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t9_complsp2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t102_member_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t51_robbins2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t133_abcmiz_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t85_scmfsa_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t39_matrix11
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t61_waybel_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t57_finseq_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t22_group_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t19_group_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t29_seqm_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t9_ordinal2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t33_normform
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t87_zf_lang
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l98_xboole_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t26_finseq_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_equation
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l6_pdiff_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t12_orders_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t9_ndiff_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_aff_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t14_margrel1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t86_flang_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t13_csspace
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l5_o_ring_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t64_tmap_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t102_funct_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l83_funct_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_funct_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t64_pscomp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t50_funct_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t46_connsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t35_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t16_matrix_8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t1_setfam_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t7_intpro_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t25_series_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t73_euclidlp
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l3_jgraph_8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t89_sin_cos6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_exchsort
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t4_alg_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t35_borsuk_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t8_combgras
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t24_matroid0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t20_substlat
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t34_valuat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t16_topgen_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t87_integra8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t8_afinsq_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t22_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t37_filter_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_real
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t12_borsuk_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t136_finseq_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t43_finseq_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_binom
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t6_filter_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t46_rpr_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t202_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t35_mod_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t48_finseq_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t40_xxreal_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l10_sin_cos6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l158_modelc_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l5_series_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t58_xxreal_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t100_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l51_jordan3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t22_finseq_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t18_sprect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t101_abcmiz_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t16_card_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t47_pdiff_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t34_pdiff_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t11_trees_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t50_qc_lang3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_finseq_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t25_valued_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t8_scmring3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_closure2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t37_rlsub_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t28_clopban1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t41_bhsp_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_gr_cy_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t29_altcat_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t16_substut1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t24_o_ring_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t16_mesfunc3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t13_yellow_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t22_sprect_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t5_hessenbe
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t61_yellow_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t42_genealg1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l141_toprealb
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_wellset1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l2_polyeq_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l26_realset2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_diraf
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t56_cqc_the2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t75_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l4_radix_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t9_card_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t41_turing_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t22_topmetr
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l67_fib_num4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t26_pcomps_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t18_bcialg_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t52_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t30_euclidlp
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t10_supinf_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t16_topreal6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t9_groupp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t90_zf_lang1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t34_bcialg_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t12_vectsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t12_vectsp_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t18_circled1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t29_twoscomp
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t5_polyform
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t28_diff_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t99_zmodul01
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t63_pscomp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t31_mathmorp
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t25_zmodul01
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t121_zf_lang1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t64_sincos10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t48_cqc_the1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t22_eqrel_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t21_zf_lang1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t33_yellow19
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t69_pscomp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t12_square_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t62_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t56_finseq_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t20_rlvect_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t283_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t54_yellow_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t28_membered
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t80_funct_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t54_funct_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t11_bvfunc10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l8_comptrig
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t46_funct_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t28_scmpds_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t23_topreal1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t39_flang_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t79_tops_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t7_scmpds_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t63_yellow_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t33_rlsub_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t38_topgen_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t46_rewrite2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t6_binop_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t22_ami_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t33_rvsum_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t54_partfun1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t54_circtrm1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t5_multop_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t144_zf_lang1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t1_jordan
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t50_partfun2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l12_homothet
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_hilbert2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t26_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t14_taylor_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t31_euclid_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t14_funcop_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t30_integra8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t86_asympt_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t57_lexbfs
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t5_int_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l16_fib_fusc
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t5_fib_fusc
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t87_cqc_the2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t13_ratfunc1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t39_analort
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t9_group_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t144_xboolean
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t18_borsuk_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t51_group_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l13_integra7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t34_lattice2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t17_mod_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t67_analmetr
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l51_trees_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t26_ranknull
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t12_jordan5d
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t4_jordan1g
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t44_partfun2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t25_tsp_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t5_gcd_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t39_subset_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t15_algstr_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_group_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t76_borsuk_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t8_abcmiz_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t27_ndiff_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t25_bvfunc_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t38_fcont_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t12_xxreal_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l9_parsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t17_jgraph_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_euclid_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t51_waybel_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t31_afproj
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t19_topgen_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t61_integr11
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t13_nat_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t53_incsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t11_partfun1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t29_bvfunc_9
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t23_xxreal_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t52_analmetr
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t45_robbins1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t7_tops_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t36_polyeq_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t17_robbins3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l31_poset_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t24_topdim_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t34_memstr_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t39_tops_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t31_group_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t19_sprect_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l44_scmfsa10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t14_yellow21
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t21_orders_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t62_power
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t13_jordan1g
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t35_rlsub_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t51_procal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t38_coh_sp
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t7_boole
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t121_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t37_tex_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t126_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t19_mesfunc2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t11_conlat_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t51_pboole
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t20_tex_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_topreala
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t41_xxreal_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t20_tex_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t100_relat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t41_finseq_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t27_oppcat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t26_lopban_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_pardepap
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t59_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_card_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t30_fuzzy_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t76_rvsum_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l8_xcmplx_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l2_pcs_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t14_sprect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t27_jordan
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t25_vectsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_heyting1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t86_xxreal_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t103_jordan2c
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t22_rearran1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t82_cat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l14_topgen_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t84_mesfunc6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t49_sin_cos6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t57_pdiff_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t130_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t64_topreal6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_prvect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t68_group_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t20_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_pboole
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t22_square_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t29_bciideal
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t28_relset_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t50_hermitan
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t6_jgraph_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t22_diraf
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t1_closure2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_revrot_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t53_pscomp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t85_cfunct_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t35_pdiff_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l1_symsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t49_rlaffin1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t1_rlsub_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t69_rlvect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t36_rusub_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t53_o_ring_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t49_topgen_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t12_pdiff_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t62_cqc_the2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t1_arytm_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t110_rvsum_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t25_qc_lang3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l22_compos_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t70_complfld
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t60_xboole_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t18_convex4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t14_euclid_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l82_geomtrap
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t60_sincos10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l47_aff_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t24_ordinal2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l4_pepin
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t38_aff_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t32_seqfunc
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t38_rusub_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t20_group_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t71_sprect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t62_tops_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t70_member_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t18_nfcont_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t114_glib_001
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t63_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l32_ndiff_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t67_filter_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t178_zf_lang1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t52_series_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t41_clvect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t53_funct_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t33_urysohn2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t24_sin_cos
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_rcomp_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t74_member_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t7_rusub_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t4_msafree2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t30_conlat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l95_lpspace2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t6_vectsp10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t20_bvfunc25
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t36_xboole_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t25_nat_d
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t24_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t34_scm_halt
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t24_tbsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l3_rvsum_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t13_filerec1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t14_flang_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t14_twoscomp
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t25_yellow_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t6_closure2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t12_procal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t73_jordan1a
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t62_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t45_parsp_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l26_wsierp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t18_int_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t259_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t59_interva1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t42_matrix_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t12_net_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t53_cqc_the2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l1_parsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t47_tex_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t7_fuzzy_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t23_abcmiz_a
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t32_jordan15
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t4_scmisort
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t12_bvfunc14
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t1_entropy1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l75_hilbert1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l7_csspace4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t31_csspace
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t29_jordan2b
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t7_supinf_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t52_scm_halt
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t98_xxreal_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t18_scmpds_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t19_yellow12
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l48_tops_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t1_clvect_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t41_bvfunc11
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t23_mboolean
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t91_setlim_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t14_bhsp_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t1_card_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t28_flang_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t8_closure2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l37_dist_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t9_ramsey_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t81_group_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_setwiseo
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t135_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t1_qc_lang2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l1_group_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_real_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l36_glib_000
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t15_ami_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t41_compos_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t10_nattra_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l44_geomtrap
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t4_vectsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_matrix_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t17_diff_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t65_cohsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t35_bhsp_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t94_clvect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t61_bvfunc11
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t33_grfunc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t345_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t53_ordinal3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t42_yellow_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t24_waybel29
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t25_comput_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t9_enumset1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t31_oppcat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t6_finseq_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l42_mesfun9c
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t31_lukasi_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t107_finseq_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l19_compos_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t25_fuzzy_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t8_flang_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t89_finseq_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t24_fuzzy_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t7_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t34_rlvect_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t12_aff_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t23_scmbsort
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t151_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t166_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t68_tex_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t59_card_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t28_ec_pf_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t28_lmod_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t18_newton
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t39_rusub_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t24_finseq_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t17_bciideal
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t27_aofa_000
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t1_int_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t21_topgen_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l13_topreal8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_cqc_the1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t15_yellow_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t35_kurato_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t44_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t17_roughs_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t12_tsp_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t5_orders_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t36_vectsp_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t68_qc_lang3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t58_orders_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t32_jgraph_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t47_tdlat_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t44_complex2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l127_toprealb
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t65_cqc_the2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t90_rfunct_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t31_polyform
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t9_yellow10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l68_afproj
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t97_ncfcont1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t19_uniroots
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t42_setwiseo
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t139_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t55_borsuk_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l62_topgen_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_rusub_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t20_scmfsa_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_vectsp_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t12_arrow
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l8_autgroup
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t58_tex_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l28_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t40_jordan21
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l53_stirl2_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t20_ami_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t4_diff_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t67_card_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t20_cqc_the2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t20_cqc_the3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t37_ordinal6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l13_arytm_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l87_pepin
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t217_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t12_pre_topc
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l25_poset_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_finsop_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t42_euclid_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_pdiff_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t46_int_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t66_rfunct_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t18_tex_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t94_integra8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t22_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t9_funct_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t11_funct_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t159_zf_lang1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t28_pscomp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t12_mesfunc1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t6_latsum_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l12_complex1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t48_prob_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t16_robbins2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t71_flang_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t15_jordan4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t47_euclidlp
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t18_afvect0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t12_isomichi
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t14_bvfunc14
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t10_topalg_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t18_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t19_jgraph_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t19_jgraph_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_ami_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t46_modal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t84_rewrite3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t78_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t5_flang_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t96_clvect_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t66_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t13_sprect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t13_hahnban
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t7_pdiff_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_seqm_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t48_qc_lang2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t43_euclid_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t21_power
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l30_sincos10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t25_bhsp_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l18_realset2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t16_trees_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t34_lopban_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t1_fcont_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t45_funct_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t43_rewrite1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t17_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t4_yellow14
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t80_fvsum_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t36_groupp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t30_scmfsa6a
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t15_frechet
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t21_tops_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t66_funct_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t12_glib_001
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t5_bvfunc10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t8_graph_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t8_tmap_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t25_gate_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t36_analort
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t9_tdlat_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t52_setlim_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t24_bvfunc_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l2_modelc_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t19_valued_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t43_vectsp_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t27_qc_lang2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t184_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t38_nfcont_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l127_zmodul01
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t49_pboole
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t32_altcat_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t40_funct_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t35_zf_lang1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_relat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t43_relat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t22_polynom7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t136_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l24_rlvect_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t11_ff_siec
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t52_afinsq_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t123_gfacirc1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t18_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t43_qc_lang3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l26_topreal2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t36_wellord1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t30_functor3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t42_rewrite1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t97_finseq_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t136_tmap_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t11_ordinal6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t23_termord
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_euler_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t12_funct_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t39_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t113_zmodul01
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t19_fintopo2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t91_intpro_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t58_tops_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t66_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t6_mesfun7c
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t32_taxonom1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t62_interva1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t9_scmbsort
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t57_parsp_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t15_qc_lang2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_tex_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l13_int_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t4_lmod_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l50_pepin
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t68_aff_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t56_yellow_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l29_hurwitz
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t45_mesfunc5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t24_int_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l5_lukasi_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t26_zf_fund1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t55_ideal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t39_matrix_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t5_quaterni
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t38_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l26_diraf
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_metric_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t17_rmod_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t14_metric_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t44_lpspace2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t5_rlaffin1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t18_o_ring_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t29_trees_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t44_mssubfam
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t76_afinsq_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t1_matrixr1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t35_cqc_the2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t15_integra8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t50_enumset1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t53_qc_lang3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t53_comseq_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_topmetr
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t57_rfunct_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t79_jgraph_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t49_lattice2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t355_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t9_boolealg
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t15_ordinal2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t19_waybel_9
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t26_rearran1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t21_card_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_scmfsa_i
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t74_xxreal_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t34_fomodel0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t9_ideal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l11_lukasi_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t20_int_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t32_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t5_wsierp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t9_diraf
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l15_uniform1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_analoaf
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t50_vectsp_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l42_aff_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t43_incsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t76_borsuk_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t6_pre_topc
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t21_graph_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t46_supinf_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t19_topmetr
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t28_idea_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_instalg1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t109_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t15_mcart_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l34_topalg_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t46_xtuple_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t51_yellow_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t117_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t92_card_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t14_realset3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t53_yellow16
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t33_msualg_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_hurwitz
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t32_filerec1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t34_wellord1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t5_integr15
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l3_normsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l78_funct_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t75_mmlquery
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t32_sin_cos6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t84_card_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t93_gfacirc1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t25_groupp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t9_fomodel4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t59_topreal9
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t35_orders_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t58_funct_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l4_limfunc2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t27_ordinal6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t42_cat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t6_pdiff_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t1_partit1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t51_euclid_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t11_normform
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t51_euclid_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t7_card_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_rlaffin1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t51_fomodel0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t11_jordan3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t22_symsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t21_mesfunc6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l21_gr_cy_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t31_bciideal
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t33_random_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t106_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t46_orders_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t21_jordan5d
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t59_glib_000
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t7_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t14_enumset1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t53_rewrite2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t72_mcart_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l24_topalg_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t69_finseq_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t45_jgraph_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t120_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t35_lattice2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t26_glib_003
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t22_sgraph1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t30_clvect_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t23_arytm_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l40_sincos10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t70_zmodul01
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t35_series_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t6_jordan9
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t10_e_siec
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t24_numbers
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t12_bcialg_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t4_binop_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t25_scmring2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t9_fdiff_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t78_borsuk_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t77_sin_cos6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t31_yellow_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t10_ordinal1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t8_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t18_yellow_8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t29_cfcont_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t19_ideal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t32_rewrite1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t14_papdesaf
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t24_square_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t4_xxreal_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t13_fib_num2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t1_dickson
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t50_tops_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l8_complsp2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t15_card_fil
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t15_stacks_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t51_midsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t4_topgen_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t36_cqc_the1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_pre_topc
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l24_jgraph_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_gcd_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l5_comseq_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t107_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t71_sublemma
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t10_petri
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t55_quatern3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t24_conlat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t6_asympt_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_polynom5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t4_rpr_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t4_neckla_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t6_quatern3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t97_funct_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t20_card_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t24_jordan4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t38_instalg1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t44_borsuk_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t124_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t11_amistd_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t44_rpr_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t19_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t28_asympt_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t45_ideal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_yellow19
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t62_fvaluat1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t1_projdes1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t33_gate_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t1_bhsp_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t46_bvfunc11
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t30_qc_lang2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t66_gfacirc1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t24_geomtrap
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t46_scmyciel
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l1_arytm_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t40_vectsp_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t27_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t70_fvsum_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t40_subset_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t111_finseq_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t44_tdlat_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t31_topreal8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l2_radix_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t8_scmring1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l100_finseq_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t7_pzfmisc1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t17_substut1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t29_jgraph_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t10_jordan17
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t5_sublemma
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t157_relat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t54_matrprob
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l125_toprealb
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t21_robbins3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t51_abcmiz_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t95_zf_lang1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l30_fib_num4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t22_cgames_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t121_glib_001
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t15_measure6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t1_rltopsp1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t4_partfun1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t67_tops_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l13_bcialg_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t7_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l186_group_9
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t33_euclid_8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t58_cohsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t26_glib_000
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t42_yellow_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t125_zmodul01
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t9_arytm_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t36_compos_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t26_int_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t57_complsp2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t3_jordan5b
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t9_lfuzzy_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l11_toprealb
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t8_waybel_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t37_sin_cos3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l48_lfuzzy_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t24_orders_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t28_algstr_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t25_index_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t10_orders_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t5_nfcont_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t29_waybel17
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t60_rlvect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t50_fvaluat1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t143_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t36_bvfunc_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_topreal3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t11_tsep_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t7_complfld
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t43_mesfunc9
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t16_lattice3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t32_matrix_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t73_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t39_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t15_scmpds_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t39_glib_003
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t31_projpl_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t23_rlsub_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t7_xboolean
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t32_glib_000
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t48_fib_num2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t63_rinfsup1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t8_jordan4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l1_real
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t30_sheffer1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t33_funct_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l18_scpinvar
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t27_tdlat_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l15_gobrd11
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t5_matrix_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l16_gobrd11
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l42_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_qc_lang1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t28_graphsp
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t98_sincos10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t22_scmfsa_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t8_xxreal_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t9_partfun2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t6_seqm_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t10_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t187_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t77_funct_8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t12_radix_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/l10_ami_wstd
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t5_matroid0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t27_bvfunc14
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t18_ami_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t40_card_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t9_binop_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t44_qc_lang3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t8_analort
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t2_nat_lat
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t12_finsop_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t157_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t44_qc_lang2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t87_borsuk_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t21_random_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t82_matrix10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t132_funct_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t69_rinfsup1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/pepa1/lgb/preds__0.1/t15_orders_2