Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls1_pruned/pruned

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]abcmiz_0__t64_abcmiz_02017-01-18 15:03 6.2K 
[ ]abcmiz_1__t22_abcmiz_1.bad2017-01-18 15:03 5.0K 
[ ]afinsq_1__t6_afinsq_1.bad2017-01-18 15:03 4.1K 
[ ]afinsq_2__t42_afinsq_22017-01-18 15:03 5.7K 
[ ]afvect01__l13_afvect01.bad2017-01-18 15:03 3.6K 
[ ]algseq_1__t13_algseq_12017-01-18 15:03 6.0K 
[ ]anproj_2__t10_anproj_2.bad2017-01-18 15:03 3.6K 
[ ]aofa_000__t22_aofa_000.bad2017-01-18 15:03 8.2K 
[ ]asympt_0__t31_asympt_0.bad2017-01-18 15:03 7.9K 
[ ]asympt_1__l94_asympt_1.bad2017-01-18 15:03 5.6K 
[ ]asympt_1__l95_asympt_12017-01-18 15:03 3.9K 
[ ]autalg_1__t35_autalg_1.bad2017-01-18 15:03 12K 
[ ]bcialg_2__t6_bcialg_2.bad2017-01-18 15:03 4.2K 
[ ]bcialg_2__t12_bcialg_2.bad2017-01-18 15:03 6.1K 
[ ]bcialg_2__t13_bcialg_2.bad2017-01-18 15:03 5.9K 
[ ]bcialg_2__t16_bcialg_2.bad2017-01-18 15:03 3.4K 
[ ]bcialg_2__t17_bcialg_2.bad2017-01-18 15:03 4.4K 
[ ]bcialg_4__t26_bcialg_4.bad2017-01-18 15:03 5.3K 
[ ]bcialg_5__t4_bcialg_52017-01-18 15:03 5.1K 
[ ]bcialg_5__t10_bcialg_52017-01-18 15:03 6.6K 
[ ]bcialg_6__t11_bcialg_62017-01-18 15:03 7.9K 
[ ]bcialg_6__t12_bcialg_6.bad2017-01-18 15:03 6.0K 
[ ]bcialg_6__t17_bcialg_62017-01-18 15:03 9.5K 
[ ]bcialg_6__t20_bcialg_6.bad2017-01-18 15:03 7.8K 
[ ]binari_3__t11_binari_3.bad2017-01-18 15:03 10K 
[ ]binari_4__t4_binari_4.bad2017-01-18 15:03 4.4K 
[ ]borsuk_6__t19_borsuk_6.bad2017-01-18 15:03 9.9K 
[ ]borsuk_6__t20_borsuk_6.bad2017-01-18 15:03 11K 
[ ]card_1__l43_card_1.bad2017-01-18 15:03 2.7K 
[ ]card_1__l56_card_1.bad2017-01-18 15:03 3.8K 
[ ]card_1__t7_card_1.bad2017-01-18 15:03 4.7K 
[ ]card_1__t36_card_1.bad2017-01-18 15:03 1.8K 
[ ]card_1__t62_card_1.bad2017-01-18 15:03 4.6K 
[ ]card_1__t69_card_1.bad2017-01-18 15:03 2.7K 
[ ]card_2__t3_card_22017-01-18 15:03 3.8K 
[ ]card_2__t6_card_22017-01-18 15:03 3.4K 
[ ]card_2__t67_card_22017-01-18 15:03 3.5K 
[ ]card_2__t70_card_2.bad2017-01-18 15:03 7.7K 
[ ]card_2__t71_card_2.bad2017-01-18 15:03 5.4K 
[ ]card_2__t88_card_2.bad2017-01-18 15:03 3.6K 
[ ]card_4__t8_card_4.bad2017-01-18 15:03 4.7K 
[ ]card_5__t9_card_5.bad2017-01-18 15:03 2.8K 
[ ]card_fil__t13_card_fil.bad2017-01-18 15:03 4.0K 
[ ]card_fil__t15_card_fil2017-01-18 15:03 3.1K 
[ ]card_fil__t18_card_fil2017-01-18 15:03 3.1K 
[ ]card_lar__t16_card_lar2017-01-18 15:03 6.5K 
[ ]catalan1__t20_catalan1.bad2017-01-18 15:03 3.0K 
[ ]cfuncdom__t17_cfuncdom2017-01-18 15:03 4.8K 
[ ]cgames_1__t38_cgames_1.bad2017-01-18 15:03 3.4K 
[ ]chain_1__t11_chain_1.bad2017-01-18 15:03 3.9K 
[ ]chain_1__t12_chain_1.bad2017-01-18 15:03 3.7K 
[ ]chain_1__t23_chain_12017-01-18 15:03 5.7K 
[ ]chain_1__t50_chain_12017-01-18 15:03 4.9K 
[ ]chain_1__t51_chain_12017-01-18 15:03 5.7K 
[ ]chord__t15_chord2017-01-18 15:03 4.1K 
[ ]circcmb2__t3_circcmb2.bad2017-01-18 15:03 8.7K 
[ ]circcmb2__t13_circcmb2.bad2017-01-18 15:03 9.6K 
[ ]circcmb2__t18_circcmb2.bad2017-01-18 15:03 12K 
[ ]circcmb3__t1_circcmb3.bad2017-01-18 15:03 6.6K 
[ ]circled1__t20_circled1.bad2017-01-18 15:03 8.3K 
[ ]classes1__l36_classes1.bad2017-01-18 15:03 6.8K 
[ ]classes1__t20_classes1.bad2017-01-18 15:03 2.4K 
[ ]classes1__t21_classes1.bad2017-01-18 15:03 6.1K 
[ ]classes1__t38_classes1.bad2017-01-18 15:03 4.7K 
[ ]classes1__t52_classes1.bad2017-01-18 15:03 3.3K 
[ ]classes1__t53_classes1.bad2017-01-18 15:03 3.5K 
[ ]classes1__t73_classes1.bad2017-01-18 15:03 2.9K 
[ ]classes2__l75_classes2.bad2017-01-18 15:03 7.3K 
[ ]classes2__t25_classes2.bad2017-01-18 15:03 4.2K 
[ ]classes2__t41_classes2.bad2017-01-18 15:03 3.8K 
[ ]clopban3__t1_clopban3.bad2017-01-18 15:03 9.5K 
[ ]closure1__t35_closure1.bad2017-01-18 15:03 7.5K 
[ ]compl_sp__t30_compl_sp.bad2017-01-18 15:03 6.4K 
[ ]compl_sp__t34_compl_sp.bad2017-01-18 15:03 5.0K 
[ ]comseq_3__t24_comseq_3.bad2017-01-18 15:03 8.7K 
[ ]convex3__l8_convex3.bad2017-01-18 15:03 6.4K 
[ ]convex3__t2_convex3.bad2017-01-18 15:03 8.0K 
[ ]convex3__t3_convex32017-01-18 15:03 8.9K 
[ ]convfun1__l12_convfun12017-01-18 15:03 4.4K 
[ ]convfun1__l13_convfun12017-01-18 15:03 4.6K 
[ ]convfun1__l14_convfun1.bad2017-01-18 15:03 7.6K 
[ ]convfun1__l16_convfun1.bad2017-01-18 15:03 11K 
[ ]cqc_sim1__t14_cqc_sim1.bad2017-01-18 15:03 8.3K 
[ ]cqc_sim1__t15_cqc_sim1.bad2017-01-18 15:03 11K 
[ ]cqc_sim1__t35_cqc_sim1.bad2017-01-18 15:03 15K 
[ ]cqc_the1__l40_cqc_the1.bad2017-01-18 15:03 4.0K 
[ ]csspace__t80_csspace.bad2017-01-18 15:03 5.1K 
[ ]domain_1__t18_domain_1.bad2017-01-18 15:03 826  
[ ]dtconstr__t12_dtconstr.bad2017-01-18 15:03 6.8K 
[ ]dynkin__t2_dynkin2017-01-18 15:03 2.3K 
[ ]dynkin__t15_dynkin.bad2017-01-18 15:03 5.8K 
[ ]ec_pf_1__l13_ec_pf_1.bad2017-01-18 15:03 5.3K 
[ ]endalg__t16_endalg.bad2017-01-18 15:03 12K 
[ ]euler_1__t9_euler_1.bad2017-01-18 15:03 5.7K 
[ ]euler_2__t17_euler_22017-01-18 15:03 3.5K 
[ ]extpro_1__t27_extpro_1.bad2017-01-18 15:03 9.7K 
[ ]extreal1__l13_extreal1.bad2017-01-18 15:03 10K 
[ ]facirc_1__t30_facirc_1.bad2017-01-18 15:03 14K 
[ ]facirc_1__t31_facirc_1.bad2017-01-18 15:03 7.5K 
[ ]fib_num2__t24_fib_num2.bad2017-01-18 15:03 7.1K 
[ ]fib_num2__t43_fib_num2.bad2017-01-18 15:03 4.2K 
[ ]fib_num2__t45_fib_num2.bad2017-01-18 15:03 4.1K 
[ ]fib_num3__t37_fib_num3.bad2017-01-18 15:03 4.6K 
[ ]fib_num3__t38_fib_num3.bad2017-01-18 15:03 4.7K 
[ ]fib_num3__t51_fib_num3.bad2017-01-18 15:03 3.6K 
[ ]finseq_1__t11_finseq_1.bad2017-01-18 15:03 3.8K 
[ ]finseq_1__t48_finseq_1.bad2017-01-18 15:03 5.0K 
[ ]finseq_1__t53_finseq_1.bad2017-01-18 15:03 4.4K 
[ ]finseq_2__t130_finseq_22017-01-18 15:03 6.9K 
[ ]finseq_2__t142_finseq_22017-01-18 15:03 3.3K 
[ ]finseq_3__l50_finseq_3.bad2017-01-18 15:03 6.5K 
[ ]finseq_3__l84_finseq_3.bad2017-01-18 15:03 5.3K 
[ ]finseq_3__t48_finseq_3.bad2017-01-18 15:03 5.1K 
[ ]finset_1__t14_finset_1.bad2017-01-18 15:03 2.3K 
[ ]fintopo3__t23_fintopo3.bad2017-01-18 15:03 7.9K 
[ ]fintopo3__t36_fintopo3.bad2017-01-18 15:03 7.1K 
[ ]fintopo3__t43_fintopo3.bad2017-01-18 15:03 7.8K 
[ ]fintopo5__t8_fintopo5.bad2017-01-18 15:03 2.7K 
[ ]flang_1__t28_flang_1.bad2017-01-18 15:03 5.2K 
[ ]flang_1__t30_flang_1.bad2017-01-18 15:03 5.4K 
[ ]flang_1__t32_flang_1.bad2017-01-18 15:03 5.7K 
[ ]flang_1__t37_flang_1.bad2017-01-18 15:03 5.2K 
[ ]flang_1__t41_flang_12017-01-18 15:03 3.8K 
[ ]flang_1__t55_flang_1.bad2017-01-18 15:03 3.8K 
[ ]flang_1__t59_flang_1.bad2017-01-18 15:03 6.1K 
[ ]flang_1__t67_flang_12017-01-18 15:03 5.0K 
[ ]flang_2__t19_flang_22017-01-18 15:03 4.2K 
[ ]flang_2__t67_flang_22017-01-18 15:03 4.1K 
[ ]flang_2__t73_flang_22017-01-18 15:03 3.7K 
[ ]flang_3__t2_flang_3.bad2017-01-18 15:03 2.9K 
[ ]flang_3__t31_flang_3.bad2017-01-18 15:03 3.5K 
[ ]flang_3__t48_flang_32017-01-18 15:03 3.2K 
[ ]fomodel0__l119_fomodel0.bad2017-01-18 15:03 5.3K 
[ ]fsm_2__t12_fsm_22017-01-18 15:03 6.3K 
[ ]funct_1__t5_funct_1.bad2017-01-18 15:03 1.6K 
[ ]funct_1__t6_funct_1.bad2017-01-18 15:03 1.0K 
[ ]funct_1__t8_funct_1.bad2017-01-18 15:03 1.6K 
[ ]funct_1__t111_funct_12017-01-18 15:03 1.7K 
[ ]funct_2__t71_funct_22017-01-18 15:03 5.1K 
[ ]funct_2__t93_funct_22017-01-18 15:03 3.4K 
[ ]funct_4__t1_funct_4.bad2017-01-18 15:03 1.5K 
[ ]funct_7__l79_funct_7.bad2017-01-18 15:03 8.9K 
[ ]funct_7__t59_funct_7.bad2017-01-18 15:03 4.9K 
[ ]funct_7__t73_funct_7.bad2017-01-18 15:03 4.8K 
[ ]funct_7__t80_funct_7.bad2017-01-18 15:03 5.7K 
[ ]funct_9__l65_funct_9.bad2017-01-18 15:03 7.5K 
[ ]gfacirc2__t11_gfacirc2.bad2017-01-18 15:03 12K 
[ ]gfacirc2__t25_gfacirc2.bad2017-01-18 15:03 12K 
[ ]goedelcp__t17_goedelcp.bad2017-01-18 15:03 6.6K 
[ ]gr_cy_1__l25_gr_cy_1.bad2017-01-18 15:03 8.4K 
[ ]gr_cy_3__t30_gr_cy_32017-01-18 15:03 2.8K 
[ ]graph_5__t44_graph_5.bad2017-01-18 15:03 8.1K 
[ ]graph_5__t52_graph_5.bad2017-01-18 15:03 6.6K 
[ ]graph_5__t53_graph_52017-01-18 15:03 6.5K 
[ ]group_1__l37_group_1.bad2017-01-18 15:03 4.4K 
[ ]group_1__l48_group_1.bad2017-01-18 15:03 5.0K 
[ ]group_3__l32_group_3.bad2017-01-18 15:03 5.6K 
[ ]group_4__t3_group_4.bad2017-01-18 15:03 6.1K 
[ ]group_4__t12_group_4.bad2017-01-18 15:03 5.3K 
[ ]group_7__t39_group_7.bad2017-01-18 15:03 11K 
[ ]group_8__t22_group_82017-01-18 15:03 4.1K 
[ ]hilbert2__t9_hilbert2.bad2017-01-18 15:03 5.9K 
[ ]hurwitz__t3_hurwitz2017-01-18 15:03 4.5K 
[ ]hurwitz__t7_hurwitz.bad2017-01-18 15:03 7.5K 
[ ]hurwitz__t8_hurwitz2017-01-18 15:03 7.2K 
[ ]ideal_1__t17_ideal_1.bad2017-01-18 15:03 12K 
[ ]int_2__t31_int_2.bad2017-01-18 15:03 8.1K 
[ ]int_4__t8_int_42017-01-18 15:03 4.9K 
[ ]int_4__t51_int_4.bad2017-01-18 15:03 5.8K 
[ ]int_6__t6_int_62017-01-18 15:03 4.6K 
[ ]integra6__t15_integra62017-01-18 15:03 5.9K 
[ ]jgraph_2__l43_jgraph_2.bad2017-01-18 15:03 9.6K 
[ ]jgraph_2__l46_jgraph_2.bad2017-01-18 15:03 9.6K 
[ ]jgraph_2__l49_jgraph_2.bad2017-01-18 15:03 10K 
[ ]jgraph_2__l52_jgraph_2.bad2017-01-18 15:03 10K 
[ ]jgraph_2__l55_jgraph_2.bad2017-01-18 15:03 10K 
[ ]jgraph_2__l58_jgraph_2.bad2017-01-18 15:03 10K 
[ ]jgraph_2__t24_jgraph_2.bad2017-01-18 15:03 5.5K 
[ ]jgraph_5__t69_jgraph_5.bad2017-01-18 15:03 8.8K 
[ ]jgraph_5__t71_jgraph_5.bad2017-01-18 15:03 8.8K 
[ ]jgraph_6__t17_jgraph_6.bad2017-01-18 15:03 9.7K 
[ ]jgraph_8__l3_jgraph_8.bad2017-01-18 15:03 5.0K 
[ ]knaster__t4_knaster.bad2017-01-18 15:03 6.8K 
[ ]lattice4__t17_lattice4.bad2017-01-18 15:03 8.6K 
[ ]lattice4__t24_lattice4.bad2017-01-18 15:03 8.8K 
[ ]lattice7__t8_lattice7.bad2017-01-18 15:03 8.2K 
[ ]lattice7__t12_lattice7.bad2017-01-18 15:03 5.5K 
[ ]lattice8__t16_lattice8.bad2017-01-18 15:03 6.2K 
[ ]lfuzzy_0__t1_lfuzzy_0.bad2017-01-18 15:03 7.0K 
[ ]lfuzzy_1__l53_lfuzzy_1.bad2017-01-18 15:03 7.7K 
[ ]lopban_3__t1_lopban_3.bad2017-01-18 15:03 9.8K 
[ ]lopban_3__t19_lopban_32017-01-18 15:03 5.8K 
[ ]ltlaxio1__t42_ltlaxio1.bad2017-01-18 15:03 8.1K 
[ ]matrix15__l4_matrix152017-01-18 15:03 6.1K 
[ ]matrix_9__l72_matrix_9.bad2017-01-18 15:03 9.2K 
[ ]matrixc1__t21_matrixc1.bad2017-01-18 15:03 9.0K 
[ ]matrixc1__t29_matrixc1.bad2017-01-18 15:03 4.6K 
[ ]matrixr1__t21_matrixr1.bad2017-01-18 15:03 14K 
[ ]matrlin__t11_matrlin2017-01-18 15:03 7.4K 
[ ]matroid0__t9_matroid0.bad2017-01-18 15:03 6.8K 
[ ]measure2__t13_measure2.bad2017-01-18 15:03 5.8K 
[ ]measure2__t18_measure2.bad2017-01-18 15:03 5.3K 
[ ]measure7__t1_measure7.bad2017-01-18 15:03 7.5K 
[ ]mesfunc7__t13_mesfunc7.bad2017-01-18 15:03 8.9K 
[ ]metrizts__t7_metrizts2017-01-18 15:03 6.5K 
[ ]modal_1__t16_modal_1.bad2017-01-18 15:03 4.4K 
[ ]modal_1__t41_modal_1.bad2017-01-18 15:03 6.9K 
[ ]modelc_1__l88_modelc_1.bad2017-01-18 15:03 4.3K 
[ ]modelc_1__l92_modelc_1.bad2017-01-18 15:03 4.5K 
[ ]modelc_1__l96_modelc_1.bad2017-01-18 15:03 4.5K 
[ ]modelc_1__l99_modelc_1.bad2017-01-18 15:03 5.9K 
[ ]modelc_1__l103_modelc_1.bad2017-01-18 15:03 6.0K 
[ ]modelc_2__l130_modelc_2.bad2017-01-18 15:03 4.3K 
[ ]modelc_2__l134_modelc_2.bad2017-01-18 15:03 4.3K 
[ ]modelc_2__l137_modelc_22017-01-18 15:03 4.5K 
[ ]modelc_2__l141_modelc_22017-01-18 15:03 4.5K 
[ ]modelc_2__l143_modelc_22017-01-18 15:03 4.9K 
[ ]modelc_2__l144_modelc_22017-01-18 15:03 4.9K 
[ ]moebius1__t19_moebius1.bad2017-01-18 15:03 6.8K 
[ ]msafree3__t28_msafree32017-01-18 15:03 7.1K 
[ ]mssubfam__t27_mssubfam.bad2017-01-18 15:03 3.1K 
[ ]mssubfam__t29_mssubfam.bad2017-01-18 15:03 3.3K 
[ ]msualg_9__t6_msualg_9.bad2017-01-18 15:03 2.5K 
[ ]msualg_9__t7_msualg_9.bad2017-01-18 15:03 3.5K 
[ ]mycielsk__t50_mycielsk.bad2017-01-18 15:03 9.6K 
[ ]nagata_2__t13_nagata_22017-01-18 15:03 8.4K 
[ ]nat_1__t2_nat_1.bad2017-01-18 15:03 4.8K 
[ ]nat_1__t6_nat_1.bad2017-01-18 15:03 2.0K 
[ ]nat_1__t8_nat_1.bad2017-01-18 15:03 5.5K 
[ ]nat_1__t39_nat_1.bad2017-01-18 15:03 4.5K 
[ ]nat_3__t5_nat_3.bad2017-01-18 15:03 5.7K 
[ ]necklace__t18_necklace.bad2017-01-18 15:03 7.4K 
[ ]newton__t10_newton.bad2017-01-18 15:03 8.8K 
[ ]newton__t11_newton.bad2017-01-18 15:03 7.5K 
[ ]newton__t16_newton.bad2017-01-18 15:03 8.8K 
[ ]newton__t23_newton.bad2017-01-18 15:03 5.5K 
[ ]newton__t33_newton.bad2017-01-18 15:03 2.7K 
[ ]newton__t38_newton.bad2017-01-18 15:03 4.7K 
[ ]newton__t67_newton2017-01-18 15:03 3.7K 
[ ]newton__t83_newton.bad2017-01-18 15:03 7.0K 
[ ]newton__t85_newton.bad2017-01-18 15:03 4.6K 
[ ]newton__t87_newton.bad2017-01-18 15:03 6.2K 
[ ]normform__t41_normform.bad2017-01-18 15:03 6.2K 
[ ]normsp_1__t16_normsp_1.bad2017-01-18 15:03 6.1K 
[ ]ntalgo_1__l4_ntalgo_1.bad2017-01-18 15:03 7.3K 
[ ]o_ring_1__l68_o_ring_1.bad2017-01-18 15:03 3.7K 
[ ]ordinal1__t26_ordinal1.bad2017-01-18 15:03 1.3K 
[ ]ordinal2__t13_ordinal22017-01-18 15:03 3.6K 
[ ]ordinal2__t27_ordinal2.bad2017-01-18 15:03 4.1K 
[ ]ordinal2__t28_ordinal2.bad2017-01-18 15:03 4.2K 
[ ]ordinal2__t29_ordinal2.bad2017-01-18 15:03 4.9K 
[ ]ordinal2__t35_ordinal2.bad2017-01-18 15:03 4.2K 
[ ]ordinal2__t36_ordinal2.bad2017-01-18 15:03 4.5K 
[ ]ordinal2__t37_ordinal2.bad2017-01-18 15:03 5.0K 
[ ]ordinal2__t43_ordinal2.bad2017-01-18 15:03 4.5K 
[ ]ordinal2__t44_ordinal2.bad2017-01-18 15:03 4.7K 
[ ]ordinal2__t45_ordinal2.bad2017-01-18 15:03 5.3K 
[ ]ordinal2__t47_ordinal2.bad2017-01-18 15:03 3.3K 
[ ]ordinal3__t6_ordinal3.bad2017-01-18 15:03 1.1K 
[ ]ordinal3__t73_ordinal32017-01-18 15:03 5.9K 
[ ]ordinal4__t10_ordinal4.bad2017-01-18 15:03 4.1K 
[ ]ordinal4__t22_ordinal4.bad2017-01-18 15:03 7.0K 
[ ]ordinal5__t13_ordinal5.bad2017-01-18 15:03 5.7K 
[ ]ordinal5__t15_ordinal5.bad2017-01-18 15:03 6.2K 
[ ]ordinal5__t23_ordinal5.bad2017-01-18 15:03 4.4K 
[ ]ordinal5__t41_ordinal5.bad2017-01-18 15:03 5.5K 
[ ]ordinal5__t42_ordinal5.bad2017-01-18 15:03 5.5K 
[ ]ordinal5__t43_ordinal5.bad2017-01-18 15:03 6.1K 
[ ]ordinal5__t47_ordinal52017-01-18 15:03 4.7K 
[ ]ordinal6__t43_ordinal6.bad2017-01-18 15:03 5.7K 
[ ]ordinal6__t45_ordinal6.bad2017-01-18 15:03 7.0K 
[ ]ordinal6__t54_ordinal6.bad2017-01-18 15:03 8.2K 
[ ]ordinal6__t77_ordinal62017-01-18 15:03 5.0K 
[ ]ortsp_1__l3_ortsp_1.bad2017-01-18 15:03 3.3K 
[ ]ortsp_1__l5_ortsp_1.bad2017-01-18 15:03 5.6K 
[ ]pboole__t11_pboole.bad2017-01-18 15:03 4.1K 
[ ]pboole__t134_pboole2017-01-18 15:03 3.0K 
[ ]pboole__t135_pboole.bad2017-01-18 15:03 2.6K 
[ ]pdiff_2__t13_pdiff_2.bad2017-01-18 15:03 9.3K 
[ ]pdiff_2__t14_pdiff_2.bad2017-01-18 15:03 9.1K 
[ ]pdiff_2__t17_pdiff_2.bad2017-01-18 15:03 12K 
[ ]pdiff_2__t18_pdiff_2.bad2017-01-18 15:03 12K 
[ ]pencil_2__t9_pencil_2.bad2017-01-18 15:03 7.5K 
[ ]pepin__l2_pepin.bad2017-01-18 15:03 3.7K 
[ ]pepin__t20_pepin2017-01-18 15:03 4.3K 
[ ]pepin__t21_pepin.bad2017-01-18 15:03 4.1K 
[ ]pepin__t25_pepin.bad2017-01-18 15:03 2.7K 
[ ]pepin__t26_pepin.bad2017-01-18 15:03 5.0K 
[ ]pepin__t35_pepin.bad2017-01-18 15:03 2.5K 
[ ]pepin__t36_pepin.bad2017-01-18 15:03 2.9K 
[ ]pepin__t65_pepin.bad2017-01-18 15:03 2.6K 
[ ]petri_2__l8_petri_2.bad2017-01-18 15:03 2.9K 
[ ]polyeq_3__t37_polyeq_32017-01-18 15:03 2.4K 
[ ]polynom5__t4_polynom52017-01-18 15:03 7.9K 
[ ]polynom5__t21_polynom5.bad2017-01-18 15:03 15K 
[ ]polynom8__l36_polynom8.bad2017-01-18 15:03 5.9K 
[ ]poset_1__l2_poset_12017-01-18 15:03 2.9K 
[ ]pre_poly__t49_pre_poly2017-01-18 15:03 6.5K 
[ ]prepower__t5_prepower.bad2017-01-18 15:03 3.5K 
[ ]prepower__t6_prepower2017-01-18 15:03 2.3K 
[ ]prob_1__t27_prob_1.bad2017-01-18 15:03 4.0K 
[ ]prob_3__t54_prob_3.bad2017-01-18 15:03 6.1K 
[ ]qc_lang1__t9_qc_lang1.bad2017-01-18 15:03 10K 
[ ]qc_lang3__t3_qc_lang3.bad2017-01-18 15:03 7.3K 
[ ]qc_lang3__t4_qc_lang3.bad2017-01-18 15:03 7.1K 
[ ]qc_lang3__t6_qc_lang3.bad2017-01-18 15:03 7.4K 
[ ]qc_lang3__t9_qc_lang3.bad2017-01-18 15:03 10K 
[ ]qc_lang3__t11_qc_lang3.bad2017-01-18 15:03 9.6K 
[ ]quantal1__t18_quantal12017-01-18 15:03 6.8K 
[ ]radix_1__t14_radix_12017-01-18 15:03 3.5K 
[ ]radix_3__l4_radix_3.bad2017-01-18 15:03 3.2K 
[ ]radix_3__t6_radix_32017-01-18 15:03 3.4K 
[ ]radix_4__t1_radix_4.bad2017-01-18 15:03 3.7K 
[ ]radix_5__t3_radix_52017-01-18 15:03 2.2K 
[ ]radix_5__t12_radix_52017-01-18 15:03 4.8K 
[ ]real_3__l32_real_3.bad2017-01-18 15:03 7.6K 
[ ]real_3__t51_real_3.bad2017-01-18 15:03 3.5K 
[ ]rearran1__t23_rearran1.bad2017-01-18 15:03 7.7K 
[ ]rearran1__t24_rearran1.bad2017-01-18 15:03 7.8K 
[ ]relset_2__t18_relset_2.bad2017-01-18 15:03 1.8K 
[ ]relset_2__t28_relset_2.bad2017-01-18 15:03 2.8K 
[ ]relset_2__t35_relset_2.bad2017-01-18 15:03 2.8K 
[ ]rfinseq2__t17_rfinseq2.bad2017-01-18 15:03 7.9K 
[ ]rfinseq__t22_rfinseq.bad2017-01-18 15:03 8.1K 
[ ]rltopsp1__t66_rltopsp1.bad2017-01-18 15:03 6.8K 
[ ]rltopsp1__t67_rltopsp1.bad2017-01-18 15:03 4.5K 
[ ]rlvect_2__t68_rlvect_22017-01-18 15:03 7.5K 
[ ]rsspace3__t3_rsspace3.bad2017-01-18 15:03 8.0K 
[ ]rusub_3__t2_rusub_3.bad2017-01-18 15:03 6.1K 
[ ]scm_halt__t57_scm_halt.bad2017-01-18 15:03 11K 
[ ]scmfsa8a__t28_scmfsa8a.bad2017-01-18 15:03 12K 
[ ]scmfsa8c__t16_scmfsa8c2017-01-18 15:03 9.5K 
[ ]scmfsa8c__t67_scmfsa8c.bad2017-01-18 15:03 10K 
[ ]scmisort__t13_scmisort.bad2017-01-18 15:03 14K 
[ ]scmpds_8__t14_scmpds_8.bad2017-01-18 15:03 15K 
[ ]scmyciel__t114_scmyciel.bad2017-01-18 15:03 5.5K 
[ ]seq_4__l161_seq_4.bad2017-01-18 15:03 5.8K 
[ ]seq_4__l171_seq_4.bad2017-01-18 15:03 6.0K 
[ ]seq_4__l175_seq_4.bad2017-01-18 15:03 5.9K 
[ ]seq_4__t127_seq_4.bad2017-01-18 15:03 11K 
[ ]seq_4__t128_seq_42017-01-18 15:03 8.7K 
[ ]setlim_1__t42_setlim_1.bad2017-01-18 15:03 8.0K 
[ ]setlim_1__t52_setlim_1.bad2017-01-18 15:03 3.5K 
[ ]simplex0__t19_simplex0.bad2017-01-18 15:03 5.1K 
[ ]simplex1__t32_simplex1.bad2017-01-18 15:03 12K 
[ ]sin_cos__l65_sin_cos2017-01-18 15:03 5.7K 
[ ]sin_cos__t32_sin_cos.bad2017-01-18 15:03 6.3K 
[ ]sppol_1__t22_sppol_1.bad2017-01-18 15:03 7.6K 
[ ]stacks_1__t12_stacks_1.bad2017-01-18 15:03 7.9K 
[ ]stacks_1__t23_stacks_1.bad2017-01-18 15:03 5.9K 
[ ]stacks_1__t30_stacks_1.bad2017-01-18 15:03 12K 
[ ]stacks_1__t31_stacks_12017-01-18 15:03 8.7K 
[ ]stacks_1__t41_stacks_1.bad2017-01-18 15:03 16K 
[ ]stirl2_1__t24_stirl2_1.bad2017-01-18 15:03 4.5K 
[ ]sublemma__t47_sublemma.bad2017-01-18 15:03 8.0K 
[ ]sublemma__t68_sublemma.bad2017-01-18 15:03 14K 
[ ]sublemma__t89_sublemma.bad2017-01-18 15:03 13K 
[ ]substlat__t10_substlat.bad2017-01-18 15:03 4.6K 
[ ]substlat__t14_substlat2017-01-18 15:03 3.2K 
[ ]substut1__l70_substut1.bad2017-01-18 15:03 13K 
[ ]substut1__t12_substut1.bad2017-01-18 15:03 12K 
[ ]substut2__t12_substut2.bad2017-01-18 15:03 8.8K 
[ ]substut2__t25_substut2.bad2017-01-18 15:03 8.6K 
[ ]symsp_1__l2_symsp_1.bad2017-01-18 15:03 3.1K 
[ ]symsp_1__l4_symsp_1.bad2017-01-18 15:03 4.2K 
[ ]taxonom2__t13_taxonom2.bad2017-01-18 15:03 4.3K 
[ ]tbsp_1__t2_tbsp_1.bad2017-01-18 15:03 6.4K 
[ ]tbsp_1__t16_tbsp_12017-01-18 15:03 6.4K 
[ ]tex_2__t66_tex_2.bad2017-01-18 15:03 6.6K 
[ ]toler_1__t24_toler_1.bad2017-01-18 15:03 3.5K 
[ ]topalg_1__l48_topalg_1.bad2017-01-18 15:03 8.8K 
[ ]topgen_3__t17_topgen_3.bad2017-01-18 15:03 4.2K 
[ ]topgen_5__t16_topgen_52017-01-18 15:03 10K 
[ ]tsp_2__t22_tsp_2.bad2017-01-18 15:03 8.1K 
[ ]turing_1__t13_turing_1.bad2017-01-18 15:03 8.6K 
[ ]uniroots__t14_uniroots2017-01-18 15:03 7.8K 
[ ]urysohn3__t5_urysohn3.bad2017-01-18 15:03 5.0K 
[ ]valued_0__t25_valued_0.bad2017-01-18 15:03 5.0K 
[ ]waybel11__l54_waybel112017-01-18 15:03 3.7K 
[ ]waybel11__t33_waybel112017-01-18 15:03 8.5K 
[ ]waybel16__t36_waybel162017-01-18 15:03 6.1K 
[ ]waybel20__t31_waybel20.bad2017-01-18 15:03 8.9K 
[ ]waybel20__t32_waybel20.bad2017-01-18 15:03 8.9K 
[ ]waybel22__l2_waybel222017-01-18 15:03 4.6K 
[ ]waybel31__t16_waybel312017-01-18 15:03 4.9K 
[ ]waybel_0__t11_waybel_0.bad2017-01-18 15:03 3.8K 
[ ]waybel_0__t12_waybel_0.bad2017-01-18 15:03 3.8K 
[ ]waybel_1__t43_waybel_12017-01-18 15:03 8.0K 
[ ]wellord1__t8_wellord12017-01-18 15:03 2.4K 
[ ]wellset1__t6_wellset1.bad2017-01-18 15:03 2.3K 
[ ]wsierp_1__t10_wsierp_1.bad2017-01-18 15:03 4.9K 
[ ]wsierp_1__t27_wsierp_12017-01-18 15:03 4.9K 
[ ]xregular__t2_xregular.bad2017-01-18 15:03 2.8K 
[ ]yellow13__t1_yellow13.bad2017-01-18 15:03 7.1K 
[ ]yellow18__t15_yellow18.bad2017-01-18 15:03 12K 
[ ]yellow_9__t5_yellow_9.bad2017-01-18 15:03 6.2K 
[ ]zf_fund1__t13_zf_fund1.bad2017-01-18 15:03 4.3K 
[ ]zf_fund1__t22_zf_fund1.bad2017-01-18 15:03 6.7K 
[ ]zf_lang1__t75_zf_lang12017-01-18 15:03 4.6K 
[ ]zfmodel1__t10_zfmodel1.bad2017-01-18 15:03 6.8K 
[ ]zmodul01__t153_zmodul012017-01-18 15:03 7.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80