/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t22_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t28_relset_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l23_algstr_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t1_qc_lang2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t19_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l13_bcialg_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t5_int_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t6_poset_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t11_conlat_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t19_jgraph_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t22_eqrel_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t48_prob_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t113_zmodul01
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t68_group_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t10_armstrng
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t27_ordinal6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l4_radix_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t1_matrixr1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t6_pre_topc
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t26_glib_003
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t79_tops_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t26_glib_000
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l64_rlsub_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t2_revrot_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t59_topreal9
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t4_alg_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t21_dickson
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t17_bciideal
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l26_realset2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t27_qc_lang2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t126_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l1_arytm_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t51_fomodel0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t25_vectsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t76_group_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t28_scmfsa8a
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t36_vectsp_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t27_partfun1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t12_net_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t6_pdiff_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t24_geomtrap
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l48_tops_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t26_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t6_openlatt
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t44_qc_lang2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l15_waybel17
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t28_scmfsa_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t187_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t5_topgen_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t51_rvsum_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l1_group_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t52_afinsq_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t8_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t34_memstr_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l56_jordan3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t46_orders_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t29_seqm_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t18_circled1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t17_roughs_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t5_integr15
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t30_scmfsa6a
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l1_symsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t62_tops_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t2_absvalue
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t1_jgraph_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t132_funct_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t17_urysohn2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t51_procal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t25_series_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l52_geomtrap
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t17_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l186_group_9
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t22_finseq_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t110_rvsum_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l7_csspace4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l47_aff_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t21_jordan5d
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t20_graph_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t61_integr11
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t15_ami_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t124_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t12_isomichi
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l50_pepin
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t20_scmfsa_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t3_funct_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t8_funct_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t33_gate_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t44_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t25_bhsp_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t14_radix_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t14_classes2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t6_binop_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t75_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t42_o_ring_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t106_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t31_afproj
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t26_zf_fund1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t30_qc_lang2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t82_cat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t46_int_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t38_coh_sp
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l60_poset_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t2_pre_topc
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t30_waybel_8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t15_qc_lang2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t20_substlat
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t51_abcmiz_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t29_waybel17
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t38_ec_pf_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t12_orders_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t109_zmodul01
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t28_pscomp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t34_bcialg_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t3_projdes1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t25_yellow_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t8_xxreal_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t157_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t1_partit1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t58_tops_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l21_gr_cy_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l8_autgroup
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t2_analoaf
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t48_fib_num2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t38_rusub_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t37_filter_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t8_abcmiz_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t4_realset3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t24_tbsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t38_rpr_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t84_pdiff_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t43_euclid_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t23_metric_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t40_card_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t3_card_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t12_mesfunc1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t65_cqc_the2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t7_fuzzy_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t38_nfcont_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t8_closure2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t44_mesfunc6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t8_jordan4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l8_xcmplx_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t40_funct_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t41_bhsp_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t4_rpr_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t14_twoscomp
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t15_mcart_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l36_glib_000
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t28_euclid_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t15_card_fil
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t17_rmod_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t3_cqc_the1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t45_parsp_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t14_yellow21
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l2_modelc_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t19_jgraph_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t5_quaterni
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t20_card_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t80_euclidlp
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t30_sheffer1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t68_qc_lang3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t111_finseq_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t40_vectsp_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t20_bvfunc25
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t16_topgen_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t15_integra8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t41_compos_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t32_taxonom1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t217_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t26_int_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t18_ami_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t50_partfun2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t43_finseq_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t9_group_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l2_radix_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t65_vectsp_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t6_clopban2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t41_clvect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t19_topgen_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t151_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t133_abcmiz_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t9_diraf
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t9_tdlat_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t18_int_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t8_msaterm
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l131_toprealb
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t135_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t8_flang_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t4_jordan1g
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t33_normform
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t85_scmfsa_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t51_robbins2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t11_matrix_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t45_funct_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t34_wellord1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t14_margrel1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t36_robbins1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t23_abcmiz_a
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t11_matrix_9
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l78_funct_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t12_pre_topc
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t53_rewrite2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t89_finseq_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t157_relat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t12_endalg
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t96_clvect_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t33_nattra_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l95_lpspace2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l14_topgen_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t32_transgeo
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t32_sin_cos6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t14_funcop_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t18_convex4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t8_combgras
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t43_matrix_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t6_asympt_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t7_boole
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t39_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t15_lp_space
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t3_diraf
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t29_cfcont_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t6_waybel_8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t86_valued_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t4_scmisort
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t84_mesfunc6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l44_scmfsa10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t14_bhsp_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t4_neckla_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t32_polynom5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t7_pdiff_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t58_funct_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t97_finseq_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t99_zmodul01
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t14_rcomp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t53_qc_lang3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l11_autalg_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t6_latsum_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t25_necklace
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t139_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t9_waybel23
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t31_ec_pf_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t58_xxreal_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t3_hurwitz
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t4_vectsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l48_lfuzzy_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t56_orders_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t16_trees_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t43_mesfunc9
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t3_wellset1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t3_finseq_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t89_sin_cos6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t7_xboolean
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t46_scmyciel
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t25_trees_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l53_stirl2_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t33_grfunc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t42_afproj
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t136_tmap_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t44_borsuk_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t44_qc_lang3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t12_procal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t67_card_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t16_topreal6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t8_waybel_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l1_real
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l5_comseq_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t47_tdlat_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l67_fib_num4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t52_series_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t34_fomodel0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t53_funct_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t6_vectsp10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t26_ranknull
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l141_toprealb
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t53_funct_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t63_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t57_boolealg
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t21_msaterm
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t2_euclid_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t8_group_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t3_ami_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t5_orders_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t36_xboole_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t18_revrot_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t52_analmetr
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t43_rewrite1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t35_borsuk_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t3_rlaffin1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t2_instalg1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t33_funct_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t37_rlsub_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t32_seqfunc
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l3_rvsum_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t42_rewrite1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l10_sin_cos6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t34_lopban_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t22_symsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t50_funct_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t64_topreal6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t29_bciideal
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t9_fomodel4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t78_funct_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t6_mesfun7c
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l30_sincos10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l62_topgen_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t25_nat_d
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l18_realset2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t81_group_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t44_complex2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t68_tex_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t34_rlvect_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t53_incsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t60_xboole_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t283_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t28_membered
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t27_jordan
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t51_funcop_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l3_normsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t3_heyting1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t24_jordan4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l51_trees_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t13_yellow_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l51_jordan3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t7_card_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t5_rlaffin1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t2_setwiseo
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t44_rpr_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t35_cqc_the2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t43_qc_lang3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t1_clvect_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t6_jgraph_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t50_vectsp_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l8_complsp2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t56_yellow_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t13_nat_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t3_aff_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t25_scmring2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l11_termord
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t57_rfunct_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t80_funct_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t8_heyting1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t77_sin_cos6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t17_vectsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t4_yellow14
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l158_modelc_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t61_bvfunc11
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t82_matrix10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t14_sprect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t28_algstr_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t8_afinsq_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l26_wsierp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t48_qc_lang2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t35_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t2_convex3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l127_zmodul01
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t4_partfun1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t22_ami_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t95_tmap_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t259_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t107_finseq_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t32_glib_000
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t107_finseq_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t18_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t46_connsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t18_afvect0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t30_euclidlp
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t42_matrix_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t29_bvfunc_9
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t5_gcd_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t11_functor3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t3_sin_cos8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l127_toprealb
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t45_jgraph_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t31_polyform
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t24_numbers
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t12_waybel19
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t32_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t24_int_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l37_hermitan
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t24_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t87_cqc_the2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t18_newton
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t13_filerec1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t31_mathmorp
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t54_funct_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t30_conlat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t63_pscomp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l44_geomtrap
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t12_vectsp_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t62_power
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t12_vectsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t16_isocat_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t64_tmap_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l25_poset_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t70_zmodul01
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t12_radix_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t66_gfacirc1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t12_square_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t11_partfun1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l1_parsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t49_rlaffin1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t2_prvect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t114_glib_001
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t51_euclid_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t1_arytm_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t24_waybel29
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t43_incsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t30_fuzzy_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t14_bvfunc14
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t78_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t1_int_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t47_eqrel_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t121_zf_lang1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t2_kurato_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t20_tex_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t20_tex_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t2_binom
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t73_group_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t31_yellow_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t28_ec_pf_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t21_orders_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t16_substut1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t48_cqc_the1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l68_afproj
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t2_topreala
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t30_integra8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t28_diff_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t17_robbins3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t11_gfacirc2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t11_normform
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t24_sin_cos
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t19_fintopo2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t17_amistd_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l12_euclid_8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l13_int_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t19_uniroots
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t2_relat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t69_rinfsup1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t3_closure2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t2_ramsey_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t16_mesfunc3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t13_filter_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t35_pdiff_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t53_pscomp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t72_mcart_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t19_topmetr
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l42_aff_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t41_xxreal_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t12_pdiff_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t51_pboole
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t4_binop_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t2_rusub_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t29_grnilp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t9_ramsey_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t121_glib_001
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t80_flang_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t44_mssubfam
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l2_pcs_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t7_intpro_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t225_member_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t5_polyform
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t144_xboolean
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t6_finseq_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l8_comptrig
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t24_roughs_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t56_tops_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t71_sprect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t202_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t31_bciideal
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l82_geomtrap
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t25_index_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t117_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t5_qc_lang2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t59_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t4_topgen_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t27_midsp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t37_tex_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t7_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t98_sincos10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t10_nattra_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t14_funct_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t19_waybel_9
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t43_relat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t100_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t33_yellow19
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t28_clopban1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l13_topreal8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t39_analort
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t38_lmod_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t9_group_11
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t33_urysohn2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t11_taxonom2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l19_jordan1c
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t3_jordan5b
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t87_scmfsa_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t37_sublemma
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t18_yellow_8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t27_tdlat_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t35_kurato_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t33_rlsub_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t34_lattice2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t30_cfdiff_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t23_mboolean
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t47_pdiff_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t20_ami_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t25_bvfunc_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t166_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t17_diff_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t34_pdiff_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t3_compts_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l32_ndiff_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t97_ncfcont1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l4_pepin
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t32_matrix_8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t52_setlim_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t54_matrprob
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t2_yellow19
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t14_metric_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t50_enumset1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t23_termord
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t29_seq_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t36_groupp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t23_scmpds_8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t86_asympt_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t123_gfacirc1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t46_supinf_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t45_aff_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t7_supinf_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t13_fib_num2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t41_bvfunc11
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t19_cat_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t10_jordan17
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t11_fscirc_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t31_sublemma
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t5_sublemma
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t9_matrix_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t64_sincos10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t71_flang_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t3_real_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t11_funct_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t2_euler_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t62_vectsp_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t34_hilbasis
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t103_jordan2c
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t24_fuzzy_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l24_topalg_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t29_trees_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t18_borsuk_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t31_oppcat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t35_bhsp_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t41_funct_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t18_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t25_zmodul01
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l28_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t24_bvfunc_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t42_euclid_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t12_bcialg_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l40_sincos10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t2_goboard7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t180_member_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l98_xboole_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t27_oppcat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t66_funct_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t136_finseq_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t1_fcont_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t1_projdes1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t47_matrixc1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t93_glib_000
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t107_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t59_interva1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t32_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t80_fvsum_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t1_dickson
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t35_orders_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t57_pdiff_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t16_matrix_8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t17_complfld
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t55_ideal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t8_scmring1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t57_parsp_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t8_scmring3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t74_member_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t17_mod_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l34_topalg_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t9_fdiff_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t9_funct_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t12_xxreal_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t184_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l16_fib_fusc
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t24_ordinal2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l75_hilbert1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t49_topgen_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t9_binop_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t5_flang_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t42_yellow_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t22_topmetr
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l15_uniform1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t35_lattice2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t44_partfun2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t49_cqc_the1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t39_matrix_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t1_bhsp_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l10_ami_wstd
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t34_yellow12
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t69_classes2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t67_tops_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t32_waybel11
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t2_nat_lat
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t24_o_ring_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t97_funct_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t13_mesfunc2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t41_finseq_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t17_topalg_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t65_ordinal3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t27_ndiff_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t40_jordan21
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t12_group_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t3_hilbert2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t12_closure3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t9_arytm_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t102_member_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t61_modelc_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t24_topdim_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t91_intpro_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t65_chain_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t4_lmod_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t17_substut1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t78_tex_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t53_cqc_the2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t13_csspace
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t28_tmap_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t59_flang_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t39_flang_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l10_xxreal_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t62_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t94_integra8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t53_scmyciel
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t46_funct_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t1_yellow_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t36_rusub_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t14_finseq_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l11_random_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t20_group_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l74_mod_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t49_sin_cos6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t17_bvfunc11
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t84_rewrite3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t75_abcmiz_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t60_sincos10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t1_rltopsp1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t23_rlsub_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t3_equation
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t53_o_ring_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t26_helly
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t16_relat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t38_instalg1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t18_metric_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t52_msualg_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t25_gate_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l31_autalg_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t22_group_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t64_pscomp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t25_comput_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t42_genealg1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t49_pboole
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t33_rvsum_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t94_clvect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t5_radix_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t2_yellow_9
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t27_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t37_jordan1j
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t29_jordan2b
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t14_flang_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t159_zf_lang1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l100_finseq_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t67_card_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t130_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t5_lukasi_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t4_ordinal2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t16_card_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t15_measure6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l26_topreal2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t31_csspace
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t108_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t100_relat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l3_jgraph_8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t6_wsierp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t27_pzfmisc1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t33_euclid_8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t22_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t3_topalg_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t5_vectsp_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t3_metric_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t33_msualg_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t53_yellow16
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t18_bcialg_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l103_modelc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t31_projpl_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t19_ideal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t13_rlsub_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t21_random_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t20_int_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l13_arytm_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t11_tsep_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t58_tex_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t8_analort
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t22_sprect_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t3_matrix_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l5_lukasi_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t24_square_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t61_flang_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l24_rlvect_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t45_ideal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t21_graph_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t19_waybel34
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t78_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t42_jgraph_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t15_jordan4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t81_newton
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t1_closure2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t21_robbins3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t6_closure2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t125_zmodul01
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t9_boolealg
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t15_scmpds_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t65_cat_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t27_aofa_000
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t69_funcop_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t8_graph_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l6_pdiff_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t7_tops_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t18_tex_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t73_euclidlp
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t80_pzfmisc1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t54_circtrm1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t37_ordinal6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t32_altcat_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t75_mmlquery
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t42_cat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t7_mesfunc3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t50_tops_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t39_tops_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t69_rlvect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t34_waybel_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t345_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t1_setfam_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t9_yellow10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t15_borsuk_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t7_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t70_member_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t87_borsuk_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t9_enumset1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t47_euclidlp
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t96_matrix10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t9_card_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t42_setwiseo
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t29_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t32_bcialg_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t57_finseq_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t121_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t6_filter_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t90_zf_lang1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t20_rlvect_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l4_limfunc2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t28_graphsp
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t11_ordinal6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l125_toprealb
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t109_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t14_euclid_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t29_altcat_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l27_complex1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t8_scmisort
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l5_o_ring_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t14_taylor_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t66_rfunct_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t9_ideal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t11_amistd_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t19_mesfunc2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t28_ens_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t32_jordan15
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t28_lmod_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t1_card_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t102_relat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t74_xxreal_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t11_trees_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t5_bvfunc10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t61_rinfsup1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t60_rlvect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t5_matroid0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l2_polyeq_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t71_monoid_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t70_complfld
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t20_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t18_sprect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t30_functor3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l30_fib_num4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t1_member_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t22_square_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t39_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l29_oppcat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t52_xxreal_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t34_gobrd14
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t25_fuzzy_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l65_sprect_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t12_aff_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t87_integra8
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t11_bvfunc10
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t22_scmfsa_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t72_scmpds_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t54_partfun1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t66_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t3_exchsort
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t36_cqc_the2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t82_sprect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t5_necklace
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t2_qc_lang1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t25_tsp_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t10_ordinal1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t2_topmetr
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t34_scm_halt
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t47_funct_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t43_vectsp_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l11_lukasi_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t23_xxreal_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t16_lattice3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t35_series_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t4_altcat_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t38_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t13_sprect_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t35_rlsub_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t28_scmpds_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l8_poset_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t13_jordan1g
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t45_mesfunc5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t74_relat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t36_polyeq_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t32_filerec1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t15_algstr_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t44_tdlat_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t101_abcmiz_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t53_ordinal3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t11_ff_siec
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t57_complsp2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l42_zfmisc_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t19_valued_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t5_wsierp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t18_o_ring_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t29_sublemma
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t59_glib_000
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t22_diraf
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l24_jgraph_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t17_jgraph_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l16_gobrd11
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t68_aff_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t1_goboard1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l12_complex1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t10_topalg_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t28_flang_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t40_topgen_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t59_card_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t46_bvfunc11
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t85_cfunct_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t76_borsuk_6
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t96_flang_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l31_poset_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t3_real
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t9_ordinal2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t11_modal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t144_zf_lang1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t7_pzfmisc1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t26_finseq_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t24_orders_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t56_cqc_the2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t63_yellow_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t2_tex_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t73_xcmplx_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t47_tex_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t32_rewrite1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t51_waybel_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t62_fvaluat1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t67_o_ring_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t10_petri
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t5_lfuzzy_0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t52_scm_halt
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t120_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t12_bvfunc14
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t3_ordinal2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t46_rewrite2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t24_conlat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t26_fintopo3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t17_lattice3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t87_zf_lang
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t9_groupp_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t59_flang_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t39_matrix11
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t19_sprect_5
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t62_cqc_the2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t21_zf_lang1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t27_trees_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t14_papdesaf
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t2_gr_cy_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t355_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t65_funct_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l19_compos_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t66_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t21_tops_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t14_substlat
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l15_gobrd11
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t52_xreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t6_cat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t29_jgraph_7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t84_card_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t7_sheffer2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t146_abcmiz_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t12_glib_001
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t86_flang_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t70_fvsum_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l37_dist_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t30_clvect_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t34_valuat_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t7_complfld
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t74_rlsub_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t5_trees_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l11_toprealb
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t5_matrix_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t21_card_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t55_quatern3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t22_polynom7
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t36_mod_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t5_hessenbe
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t20_cqc_the3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t20_cqc_the2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t24_matroid0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t98_xxreal_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t12_tsp_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t18_prelamb
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t35_mod_4
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t10_supinf_2
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t12_arrow
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t17_xxreal_1
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t92_card_3
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/l122_fomodel0
/nfs/jakubja5/atp/benchmarks/mizar50/test/premsel/mirek1/gnn/preds__-1/t12_msualg_6