/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t84_rewrite3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l12_jordan1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t42_cat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t46_rewrite2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l40_sincos10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t4_realset3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t8_waybel_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t135_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t48_qc_lang2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t53_incsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t44_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t6_finseq_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t12_vectsp_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t25_bvfunc_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t76_group_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t14_papdesaf
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t8_msaterm
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t30_integra8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t58_tops_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t3_compts_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t18_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t34_bcialg_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t90_zf_lang1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t19_uniroots
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t19_waybel34
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t60_rlvect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t51_fomodel0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t155_group_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t37_ordinal6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t259_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t2_setwiseo
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t17_roughs_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t34_scm_halt
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t3_polynom5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t70_fvsum_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t17_vectsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t66_funct_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t96_clvect_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t51_funcop_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t25_index_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t46_connsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l7_csspace4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t15_mcart_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l6_pdiff_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t180_member_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t19_valued_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t50_qc_lang3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t14_yellow21
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t29_waybel17
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t51_robbins2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l13_integra7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t2_relat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t43_pdiff_9
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t48_matrix_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l18_realset2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t113_zmodul01
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t28_lmod_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t31_mathmorp
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t16_isocat_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t6_prelamb
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t73_euclidlp
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t28_pscomp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t12_group_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t16_topgen_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t56_tops_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t42_setwiseo
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t73_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t111_finseq_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t16_trees_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t28_tmap_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t80_pzfmisc1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t46_bvfunc11
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t1_qc_lang2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t9_group_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t24_osalg_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t7_fuzzy_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t24_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t35_rlsub_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t13_hilbert3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t30_euclidlp
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t21_power
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t3_hilbert2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t77_funct_8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l42_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t45_integr14
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t8_abcmiz_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t65_cqc_the2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t12_net_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t64_tmap_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t14_rcomp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t57_finseq_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t43_qc_lang3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t98_xxreal_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t23_xxreal_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t15_scmpds_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t2_isomichi
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t22_modelc_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t38_rusub_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t73_group_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t23_rlsub_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t4_rpr_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t14_sprect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t87_scmfsa_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t102_relat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t54_funct_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t11_tsep_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t10_orders_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t2_topmetr
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t35_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t72_mcart_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l4_limfunc2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l25_poset_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t10_petri
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t18_metric_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t15_card_fil
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t36_wellord1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t42_afproj
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t12_waybel19
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t9_funct_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t24_tbsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t34_rlvect_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t78_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t102_member_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t39_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l23_algstr_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t144_zf_lang1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t44_mesfunc6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t44_rpr_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t94_clvect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t28_scmfsa8a
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l26_topreal2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t19_topgen_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t9_ndiff_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t71_monoid_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t18_bcialg_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t109_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t24_fuzzy_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t4_binop_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t17_complfld
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t46_rpr_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t22_diraf
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t62_power
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t41_compos_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l18_scpinvar
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t41_xxreal_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t34_waybel_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t83_bcialg_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t41_bvfunc11
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t49_rlaffin1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t76_rvsum_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t5_wsierp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t6_cat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t1_rltopsp1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t95_zf_lang1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t24_bvfunc_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t32_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t33_rlsub_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t283_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t48_cqc_the1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t23_termord
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t37_sin_cos3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l12_complex1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t8_combgras
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t27_pzfmisc1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l31_poset_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l67_fib_num4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t9_arytm_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t18_tex_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t1_partit1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t110_rvsum_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t71_sprect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l3_normsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t100_relat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t30_qc_lang2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t14_metric_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t19_jgraph_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t9_enumset1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t7_boole
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t86_flang_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t31_lukasi_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t21_relat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t59_interva1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t17_substut1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t3_cqc_the1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t19_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t9_groupp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t92_xboolean
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t166_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t37_rlsub_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t18_sprect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l8_xcmplx_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t22_ami_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t25_series_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t51_pboole
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t82_cat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t10_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t31_csspace
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t91_intpro_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t26_lopban_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t2_euclid_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t27_ndiff_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t28_flang_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t42_genealg1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l29_oppcat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l26_diraf
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t22_polynom7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t22_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t43_relat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t29_seq_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t84_afinsq_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t31_yellow_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t12_procal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t27_jordan
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t31_bciideal
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t12_endalg
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t39_waybel25
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t27_aofa_000
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t44_borsuk_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t11_matrix_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t78_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l158_modelc_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t2_chain_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t151_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l28_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t68_group_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t38_fvaluat1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t62_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t51_procal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t51_group_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t49_cqc_the1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t27_sprect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t8_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l98_xboole_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t6_mesfun7c
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t44_complex2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t55_ideal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t40_card_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t52_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t25_tsp_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t29_altcat_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t40_vectsp_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t9_partfun2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t32_filerec1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t15_stacks_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t29_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t33_grfunc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t19_fintopo2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t41_bhsp_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t7_intpro_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t120_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t3_seqm_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t33_normform
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t102_funct_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t1_int_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t45_aff_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l64_rlsub_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t50_valued_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t46_cat_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t8_heyting1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t24_conlat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t53_o_ring_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t50_enumset1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l11_jordan1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t14_funcop_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t12_radix_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t8_tmap_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t63_yellow_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t39_rusub_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t53_ordinal3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t45_mesfunc5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t6_seqm_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t33_urysohn2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l21_gr_cy_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t9_lfuzzy_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t13_rlsub_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l1_symsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t97_ncfcont1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t44_mssubfam
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t58_xxreal_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l31_autalg_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t33_waybel_9
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t2_pre_topc
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t10_jordan17
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t157_relat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t101_abcmiz_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t124_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t75_mmlquery
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t29_trees_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t68_tex_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t30_clvect_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t65_ordinal3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l131_toprealb
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t8_scmring3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t4_topgen_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t87_xboolean
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t51_euclid_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t3_projdes1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t74_member_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t18_afvect0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t22_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t10_bciideal
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t12_pdiff_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t3_real
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t29_jgraph_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t35_series_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t59_glib_000
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t2_tex_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t9_ideal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t20_substlat
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t51_abcmiz_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t51_waybel_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t72_scmpds_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t57_rfunct_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t7_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t11_partfun1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t11_taxonom2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t12_borsuk_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t66_rfunct_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t1_dickson
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t21_dickson
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t84_pdiff_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l127_zmodul01
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t5_polyform
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l24_jgraph_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t80_flang_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t67_card_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t46_int_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t18_int_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l32_ndiff_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l34_topalg_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t9_ordinal2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l122_fomodel0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l1_arytm_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t59_card_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t34_integr14
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t24_orders_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t13_fib_num2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t29_bvfunc_9
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t22_topmetr
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t29_seqm_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t43_matrix_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t10_supinf_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l68_afproj
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t61_bvfunc11
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t27_ordinal6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t8_group_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t43_finseq_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t52_xxreal_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t36_mod_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t3_heyting1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t40_funct_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t4_partfun1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t57_pdiff_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t5_matrix_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t6_pre_topc
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t3_metric_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t2_finsop_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t115_finseq_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l30_sincos10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t2_revrot_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t80_euclidlp
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t1_setfam_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t33_yellow19
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t2_analoaf
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t93_glib_000
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t20_card_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t2_nat_lat
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t97_finseq_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t18_yellow_8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t18_o_ring_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t5_lukasi_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t4_jordan1g
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t3_integr19
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t2_yellow_9
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t53_funct_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t43_mesfunc9
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t64_topreal6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t27_trees_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t66_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t26_glib_003
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t24_numbers
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t15_jordan4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t43_incsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t32_seqfunc
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t2_instalg1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l78_funct_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t38_coh_sp
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l75_hilbert1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t62_tops_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t11_bvfunc10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l44_scmfsa10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t136_finseq_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t85_cfunct_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t78_tex_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t20_group_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t2_qc_lang1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t9_boolealg
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t56_yellow_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t33_jordan_a
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t32_rewrite1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l4_pepin
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l3_jgraph_8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t64_pscomp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t52_msualg_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t25_vectsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t25_vectsp_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t23_scmpds_8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t35_cqc_the2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t38_waybel23
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t25_qc_lang3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t40_topgen_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t92_card_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t31_polyform
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t38_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t37_tex_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t28_relset_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t5_hessenbe
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t29_group_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t8_analort
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t81_group_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t1_card_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t28_scmfsa_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t61_rinfsup1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t24_waybel29
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t9_tdlat_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t11_gfacirc2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t8_xxreal_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t32_glib_000
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t20_ami_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t26_ranknull
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t30_topdim_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t157_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l10_sin_cos6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t57_complsp2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t22_sprect_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t20_cqc_the3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t2_prvect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t14_bhsp_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t136_tmap_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t17_bvfunc11
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t49_pboole
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t29_cfcont_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l12_homothet
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t30_waybel_8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l13_arytm_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t9_waybel23
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t15_ami_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t39_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t107_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t187_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t21_orders_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t3_closure2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t28_clopban1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t9_binop_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t63_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t20_toler_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t6_asympt_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t17_amistd_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t144_xboolean
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t117_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t32_matrix_8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t9_fdiff_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t1_projdes1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t34_fomodel0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t34_wellord1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t5_orders_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t6_zf_colla
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t62_fvaluat1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t28_membered
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t89_finseq_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t80_funct_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t20_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t82_matrix10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t3_matrix_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t24_o_ring_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t12_msualg_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t12_bvfunc14
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t23_abcmiz_a
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t22_eqrel_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t39_tops_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t43_euclid_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t86_valued_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t18_prelamb
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t4_altcat_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l1_group_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l52_geomtrap
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t217_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t16_substut1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t29_bciideal
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t21_random_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t15_algstr_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l12_euclid_8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t3_scmfsa_i
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t62_zf_lang1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t1_jgraph_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t18_convex4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t25_classes2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t5_bvfunc10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t5_flang_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t70_member_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t82_sprect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t26_fintopo3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l11_lukasi_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t3_equation
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t42_yellow_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t8_closure2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t50_tops_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l1_parsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t225_member_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t14_bvfunc14
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t53_rewrite2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t17_mod_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t139_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l74_mod_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t96_flang_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t9_absvalue
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t7_supinf_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t74_relat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t71_flang_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t2_gr_cy_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t34_memstr_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t11_matrix_9
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t56_finseq_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t1_closure2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t9_fomodel4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t5_lfuzzy_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t25_necklace
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t45_jgraph_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t54_partfun1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t7_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t17_rmod_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t28_algstr_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t63_pscomp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t9_card_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l2_pcs_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t50_euclid
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t67_o_ring_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l50_pepin
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t85_scmfsa_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t39_matrix_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t12_orders_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t121_glib_001
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t17_robbins3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t36_polyeq_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t45_parsp_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l15_waybel17
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l5_lukasi_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t38_nfcont_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t7_tops_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t45_ideal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t36_rusub_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t3_diraf
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t59_flang_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t59_flang_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t17_jgraph_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t32_jgraph_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t18_borsuk_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t6_filter_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t20_tex_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t9_diraf
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t4_yellow14
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t159_zf_lang1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t99_zmodul01
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t56_orders_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t19_waybel_9
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t129_zmodul01
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l8_comptrig
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t22_square_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t43_vectsp_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t12_arrow
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t184_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t39_flang_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t24_geomtrap
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t7_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t18_circled1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l5_comseq_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t45_funct_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t25_yellow_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t24_jordan4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t47_pdiff_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t33_funct_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t28_diff_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t143_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l48_lfuzzy_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l8_complsp2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t12_glib_001
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t52_analmetr
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t355_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t57_parsp_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t7_taylor_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t93_gfacirc1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t6_closure2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t25_nat_d
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t3_wellset1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t24_square_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l1_real
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t202_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t4_ordinal2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t35_pdiff_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t11_fscirc_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t9_waybel33
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l13_topreal8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t36_groupp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t44_qc_lang3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t44_qc_lang2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t25_scmring2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t16_matrix_8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t11_functor3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t62_cqc_the2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t54_matrprob
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l44_geomtrap
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l2_modelc_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t52_quatern3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t32_taxonom1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t11_ordinal6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t133_abcmiz_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t12_xxreal_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t9_yellow10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t35_borsuk_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t12_bcialg_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t15_lp_space
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t50_funct_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l44_algstr_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t59_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t75_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t27_monoid_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t74_rlsub_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t126_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t87_zf_lang
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l127_toprealb
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l14_topgen_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t15_qc_lang2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t55_quatern3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t6_vectsp10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l37_dist_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t24_topdim_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t2_yellow19
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t43_rewrite1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t31_projpl_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t25_trees_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t51_midsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t4_scmisort
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t25_fuzzy_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t108_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t65_funct_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t1_yellow_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l26_wsierp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t42_comseq_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t125_zmodul01
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t11_normform
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t38_instalg1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t10_ordinal1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t42_o_ring_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t38_lmod_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t84_card_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t53_yellow16
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t27_oppcat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t47_euclidlp
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t29_sublemma
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t6_binop_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t18_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t18_ami_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t4_msafree2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t30_sheffer1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t21_msaterm
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t1_arytm_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t60_xboole_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t47_tex_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t16_mesfunc3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t11_modal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t84_mesfunc6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t69_rlvect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t56_cqc_the2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t36_xboole_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t34_valuat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t20_bvfunc25
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l100_finseq_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t9_jgraph_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t5_radix_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t345_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t12_tsp_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t26_zf_fund1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t2_absvalue
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t5_rlaffin1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t6_latsum_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t46_funct_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t7_pzfmisc1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t30_functor3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t11_trees_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t26_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l10_ami_wstd
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t50_vectsp_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t106_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t24_ordinal2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t1_msualg_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t41_funct_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t29_grnilp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t5_qc_lang2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t13_sprect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t34_lattice2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t66_gfacirc1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t10_topalg_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l8_poset_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t56_graph_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t32_bcialg_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t1_matrixr1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t42_euclid_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l30_fib_num4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t86_asympt_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t24_diraf
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l10_jordan1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/l65_sprect_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t98_sincos10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t61_modelc_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t76_borsuk_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t34_pdiff_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t36_vectsp_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t132_funct_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t14_matrixr1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t7_xboolean
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t32_jordan15
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t67_tops_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t16_relat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/cek2/knn/preds__64/t14_euclid_4