Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tls1_pruned/pruned1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]abcmiz_0__t64_abcmiz_0.bad2017-01-19 13:29 6.2K 
[ ]abcmiz_1__t22_abcmiz_1.bad2017-01-19 13:29 5.0K 
[ ]afinsq_1__t6_afinsq_1.bad2017-01-19 13:29 4.1K 
[ ]afinsq_2__t42_afinsq_2.bad2017-01-19 13:29 5.7K 
[ ]afvect01__l13_afvect012017-01-19 13:29 3.6K 
[ ]algseq_1__t13_algseq_1.bad2017-01-19 13:29 6.0K 
[ ]anproj_2__t10_anproj_2.bad2017-01-19 13:29 3.6K 
[ ]aofa_000__t22_aofa_0002017-01-19 13:29 8.2K 
[ ]asympt_0__t31_asympt_0.bad2017-01-19 13:29 7.9K 
[ ]asympt_1__l94_asympt_1.bad2017-01-19 13:29 5.6K 
[ ]asympt_1__l95_asympt_1.bad2017-01-19 13:29 3.9K 
[ ]autalg_1__t35_autalg_12017-01-19 13:29 12K 
[ ]bcialg_2__t6_bcialg_2.bad2017-01-19 13:29 4.2K 
[ ]bcialg_2__t12_bcialg_22017-01-19 13:29 6.1K 
[ ]bcialg_2__t13_bcialg_2.bad2017-01-19 13:29 5.9K 
[ ]bcialg_2__t16_bcialg_2.bad2017-01-19 13:29 3.4K 
[ ]bcialg_2__t17_bcialg_2.bad2017-01-19 13:29 4.4K 
[ ]bcialg_4__t26_bcialg_4.bad2017-01-19 13:29 5.3K 
[ ]bcialg_5__t4_bcialg_5.bad2017-01-19 13:29 5.1K 
[ ]bcialg_5__t10_bcialg_5.bad2017-01-19 13:29 6.6K 
[ ]bcialg_6__t11_bcialg_6.bad2017-01-19 13:29 7.9K 
[ ]bcialg_6__t12_bcialg_6.bad2017-01-19 13:29 6.0K 
[ ]bcialg_6__t17_bcialg_6.bad2017-01-19 13:29 9.5K 
[ ]bcialg_6__t20_bcialg_6.bad2017-01-19 13:29 7.8K 
[ ]binari_3__t11_binari_32017-01-19 13:29 10K 
[ ]binari_4__t4_binari_4.bad2017-01-19 13:29 4.4K 
[ ]borsuk_6__t19_borsuk_62017-01-19 13:29 9.9K 
[ ]borsuk_6__t20_borsuk_62017-01-19 13:29 11K 
[ ]card_1__l43_card_12017-01-19 13:29 2.7K 
[ ]card_1__l56_card_1.bad2017-01-19 13:29 3.8K 
[ ]card_1__t7_card_12017-01-19 13:29 4.7K 
[ ]card_1__t36_card_12017-01-19 13:29 1.8K 
[ ]card_1__t62_card_12017-01-19 13:29 4.6K 
[ ]card_1__t69_card_1.bad2017-01-19 13:29 2.7K 
[ ]card_2__t3_card_2.bad2017-01-19 13:29 3.8K 
[ ]card_2__t6_card_2.bad2017-01-19 13:29 3.4K 
[ ]card_2__t67_card_2.bad2017-01-19 13:29 3.5K 
[ ]card_2__t70_card_22017-01-19 13:29 7.7K 
[ ]card_2__t71_card_22017-01-19 13:29 5.4K 
[ ]card_2__t88_card_2.bad2017-01-19 13:29 3.6K 
[ ]card_4__t8_card_4.bad2017-01-19 13:29 4.7K 
[ ]card_5__t9_card_52017-01-19 13:29 2.8K 
[ ]card_fil__t13_card_fil.bad2017-01-19 13:29 4.0K 
[ ]card_fil__t15_card_fil.bad2017-01-19 13:29 3.1K 
[ ]card_fil__t18_card_fil.bad2017-01-19 13:29 3.1K 
[ ]card_lar__t16_card_lar.bad2017-01-19 13:29 6.5K 
[ ]catalan1__t20_catalan1.bad2017-01-19 13:29 3.0K 
[ ]cfuncdom__t17_cfuncdom.bad2017-01-19 13:29 4.8K 
[ ]cgames_1__t38_cgames_1.bad2017-01-19 13:29 3.4K 
[ ]chain_1__t11_chain_1.bad2017-01-19 13:29 3.9K 
[ ]chain_1__t12_chain_1.bad2017-01-19 13:29 3.7K 
[ ]chain_1__t23_chain_1.bad2017-01-19 13:29 5.7K 
[ ]chain_1__t50_chain_1.bad2017-01-19 13:29 4.9K 
[ ]chain_1__t51_chain_1.bad2017-01-19 13:29 5.7K 
[ ]chord__t15_chord.bad2017-01-19 13:29 4.1K 
[ ]circcmb2__t3_circcmb2.bad2017-01-19 13:29 8.7K 
[ ]circcmb2__t13_circcmb22017-01-19 13:29 9.6K 
[ ]circcmb2__t18_circcmb22017-01-19 13:29 12K 
[ ]circcmb3__t1_circcmb3.bad2017-01-19 13:29 6.6K 
[ ]circled1__t20_circled1.bad2017-01-19 13:29 8.3K 
[ ]classes1__l36_classes12017-01-19 13:29 6.8K 
[ ]classes1__t20_classes12017-01-19 13:29 2.4K 
[ ]classes1__t21_classes12017-01-19 13:29 6.1K 
[ ]classes1__t38_classes12017-01-19 13:29 4.7K 
[ ]classes1__t52_classes12017-01-19 13:29 3.3K 
[ ]classes1__t53_classes12017-01-19 13:29 3.5K 
[ ]classes1__t73_classes12017-01-19 13:29 2.9K 
[ ]classes2__l75_classes22017-01-19 13:29 7.3K 
[ ]classes2__t25_classes22017-01-19 13:29 4.2K 
[ ]classes2__t41_classes22017-01-19 13:29 3.8K 
[ ]clopban3__t1_clopban32017-01-19 13:29 9.5K 
[ ]closure1__t35_closure12017-01-19 13:29 7.5K 
[ ]compl_sp__t30_compl_sp2017-01-19 13:29 6.4K 
[ ]compl_sp__t34_compl_sp.bad2017-01-19 13:29 5.0K 
[ ]comseq_3__t24_comseq_32017-01-19 13:29 8.7K 
[ ]convex3__l8_convex3.bad2017-01-19 13:29 6.4K 
[ ]convex3__t2_convex3.bad2017-01-19 13:29 8.0K 
[ ]convex3__t3_convex3.bad2017-01-19 13:29 8.9K 
[ ]convfun1__l12_convfun1.bad2017-01-19 13:29 4.4K 
[ ]convfun1__l13_convfun1.bad2017-01-19 13:29 4.6K 
[ ]convfun1__l14_convfun1.bad2017-01-19 13:29 7.6K 
[ ]convfun1__l16_convfun12017-01-19 13:29 11K 
[ ]cqc_sim1__t14_cqc_sim12017-01-19 13:29 8.3K 
[ ]cqc_sim1__t15_cqc_sim12017-01-19 13:29 11K 
[ ]cqc_sim1__t35_cqc_sim12017-01-19 13:29 15K 
[ ]cqc_the1__l40_cqc_the1.bad2017-01-19 13:29 4.0K 
[ ]csspace__t80_csspace.bad2017-01-19 13:29 5.1K 
[ ]domain_1__t18_domain_1.bad2017-01-19 13:29 826  
[ ]dtconstr__t12_dtconstr2017-01-19 13:29 6.8K 
[ ]dynkin__t2_dynkin.bad2017-01-19 13:29 2.3K 
[ ]dynkin__t15_dynkin2017-01-19 13:29 5.8K 
[ ]ec_pf_1__l13_ec_pf_1.bad2017-01-19 13:29 5.3K 
[ ]endalg__t16_endalg2017-01-19 13:29 12K 
[ ]euler_1__t9_euler_1.bad2017-01-19 13:29 5.7K 
[ ]euler_2__t17_euler_2.bad2017-01-19 13:29 3.5K 
[ ]extpro_1__t27_extpro_12017-01-19 13:29 9.7K 
[ ]extreal1__l13_extreal12017-01-19 13:29 10K 
[ ]facirc_1__t30_facirc_12017-01-19 13:29 14K 
[ ]facirc_1__t31_facirc_1.bad2017-01-19 13:29 7.5K 
[ ]fib_num2__t24_fib_num22017-01-19 13:29 7.1K 
[ ]fib_num2__t43_fib_num2.bad2017-01-19 13:29 4.2K 
[ ]fib_num2__t45_fib_num2.bad2017-01-19 13:29 4.1K 
[ ]fib_num3__t37_fib_num32017-01-19 13:29 4.6K 
[ ]fib_num3__t38_fib_num32017-01-19 13:29 4.7K 
[ ]fib_num3__t51_fib_num3.bad2017-01-19 13:29 3.6K 
[ ]finseq_1__t11_finseq_1.bad2017-01-19 13:29 3.8K 
[ ]finseq_1__t48_finseq_1.bad2017-01-19 13:29 5.0K 
[ ]finseq_1__t53_finseq_1.bad2017-01-19 13:29 4.4K 
[ ]finseq_2__t130_finseq_2.bad2017-01-19 13:29 6.9K 
[ ]finseq_2__t142_finseq_2.bad2017-01-19 13:29 3.3K 
[ ]finseq_3__l50_finseq_32017-01-19 13:29 6.5K 
[ ]finseq_3__l84_finseq_32017-01-19 13:29 5.3K 
[ ]finseq_3__t48_finseq_32017-01-19 13:29 5.1K 
[ ]finset_1__t14_finset_1.bad2017-01-19 13:29 2.3K 
[ ]fintopo3__t23_fintopo32017-01-19 13:29 7.9K 
[ ]fintopo3__t36_fintopo32017-01-19 13:29 7.1K 
[ ]fintopo3__t43_fintopo32017-01-19 13:29 7.8K 
[ ]fintopo5__t8_fintopo5.bad2017-01-19 13:29 2.7K 
[ ]flang_1__t28_flang_12017-01-19 13:29 5.2K 
[ ]flang_1__t30_flang_12017-01-19 13:29 5.4K 
[ ]flang_1__t32_flang_12017-01-19 13:29 5.7K 
[ ]flang_1__t37_flang_12017-01-19 13:29 5.2K 
[ ]flang_1__t41_flang_1.bad2017-01-19 13:29 3.8K 
[ ]flang_1__t55_flang_1.bad2017-01-19 13:29 3.8K 
[ ]flang_1__t59_flang_12017-01-19 13:29 6.1K 
[ ]flang_1__t67_flang_1.bad2017-01-19 13:29 5.0K 
[ ]flang_2__t19_flang_2.bad2017-01-19 13:29 4.2K 
[ ]flang_2__t67_flang_2.bad2017-01-19 13:29 4.1K 
[ ]flang_2__t73_flang_2.bad2017-01-19 13:29 3.7K 
[ ]flang_3__t2_flang_3.bad2017-01-19 13:29 2.9K 
[ ]flang_3__t31_flang_3.bad2017-01-19 13:29 3.5K 
[ ]flang_3__t48_flang_3.bad2017-01-19 13:29 3.2K 
[ ]fomodel0__l119_fomodel0.bad2017-01-19 13:29 5.3K 
[ ]fsm_2__t12_fsm_2.bad2017-01-19 13:29 6.3K 
[ ]funct_1__t5_funct_1.bad2017-01-19 13:29 1.6K 
[ ]funct_1__t6_funct_1.bad2017-01-19 13:29 1.0K 
[ ]funct_1__t8_funct_1.bad2017-01-19 13:29 1.6K 
[ ]funct_1__t111_funct_1.bad2017-01-19 13:29 1.7K 
[ ]funct_2__t71_funct_2.bad2017-01-19 13:29 5.1K 
[ ]funct_2__t93_funct_2.bad2017-01-19 13:29 3.4K 
[ ]funct_4__t1_funct_4.bad2017-01-19 13:29 1.5K 
[ ]funct_7__l79_funct_72017-01-19 13:29 8.9K 
[ ]funct_7__t59_funct_72017-01-19 13:29 4.9K 
[ ]funct_7__t73_funct_72017-01-19 13:29 4.8K 
[ ]funct_7__t80_funct_7.bad2017-01-19 13:29 5.7K 
[ ]funct_9__l65_funct_9.bad2017-01-19 13:29 7.5K 
[ ]gfacirc2__t11_gfacirc22017-01-19 13:29 12K 
[ ]gfacirc2__t25_gfacirc22017-01-19 13:29 12K 
[ ]goedelcp__t17_goedelcp2017-01-19 13:29 6.6K 
[ ]gr_cy_1__l25_gr_cy_12017-01-19 13:29 8.4K 
[ ]gr_cy_3__t30_gr_cy_3.bad2017-01-19 13:29 2.8K 
[ ]graph_5__t44_graph_5.bad2017-01-19 13:29 8.1K 
[ ]graph_5__t52_graph_52017-01-19 13:29 6.6K 
[ ]graph_5__t53_graph_5.bad2017-01-19 13:29 6.5K 
[ ]group_1__l37_group_1.bad2017-01-19 13:29 4.4K 
[ ]group_1__l48_group_12017-01-19 13:29 5.0K 
[ ]group_3__l32_group_32017-01-19 13:29 5.6K 
[ ]group_4__t3_group_4.bad2017-01-19 13:29 6.1K 
[ ]group_4__t12_group_42017-01-19 13:29 5.3K 
[ ]group_7__t39_group_72017-01-19 13:29 11K 
[ ]group_8__t22_group_8.bad2017-01-19 13:29 4.1K 
[ ]hilbert2__t9_hilbert22017-01-19 13:29 5.9K 
[ ]hurwitz__t3_hurwitz.bad2017-01-19 13:29 4.5K 
[ ]hurwitz__t7_hurwitz.bad2017-01-19 13:29 7.5K 
[ ]hurwitz__t8_hurwitz.bad2017-01-19 13:29 7.2K 
[ ]ideal_1__t17_ideal_12017-01-19 13:29 12K 
[ ]int_2__t31_int_22017-01-19 13:29 8.1K 
[ ]int_4__t8_int_4.bad2017-01-19 13:29 4.9K 
[ ]int_4__t51_int_4.bad2017-01-19 13:29 5.8K 
[ ]int_6__t6_int_6.bad2017-01-19 13:29 4.6K 
[ ]integra6__t15_integra6.bad2017-01-19 13:29 5.9K 
[ ]jgraph_2__l43_jgraph_22017-01-19 13:29 9.6K 
[ ]jgraph_2__l46_jgraph_22017-01-19 13:29 9.6K 
[ ]jgraph_2__l49_jgraph_22017-01-19 13:29 10K 
[ ]jgraph_2__l52_jgraph_22017-01-19 13:29 10K 
[ ]jgraph_2__l55_jgraph_22017-01-19 13:29 10K 
[ ]jgraph_2__l58_jgraph_22017-01-19 13:29 10K 
[ ]jgraph_2__t24_jgraph_2.bad2017-01-19 13:29 5.5K 
[ ]jgraph_5__t69_jgraph_5.bad2017-01-19 13:29 8.8K 
[ ]jgraph_5__t71_jgraph_5.bad2017-01-19 13:29 8.8K 
[ ]jgraph_6__t17_jgraph_6.bad2017-01-19 13:29 9.7K 
[ ]jgraph_8__l3_jgraph_8.bad2017-01-19 13:29 5.0K 
[ ]knaster__t4_knaster.bad2017-01-19 13:29 6.8K 
[ ]lattice4__t17_lattice42017-01-19 13:29 8.6K 
[ ]lattice4__t24_lattice42017-01-19 13:29 8.8K 
[ ]lattice7__t8_lattice72017-01-19 13:29 8.2K 
[ ]lattice7__t12_lattice72017-01-19 13:29 5.5K 
[ ]lattice8__t16_lattice82017-01-19 13:29 6.2K 
[ ]lfuzzy_0__t1_lfuzzy_02017-01-19 13:29 7.0K 
[ ]lfuzzy_1__l53_lfuzzy_12017-01-19 13:29 7.7K 
[ ]lopban_3__t1_lopban_32017-01-19 13:29 9.8K 
[ ]lopban_3__t19_lopban_3.bad2017-01-19 13:29 5.8K 
[ ]ltlaxio1__t42_ltlaxio12017-01-19 13:29 8.1K 
[ ]matrix15__l4_matrix15.bad2017-01-19 13:29 6.1K 
[ ]matrix_9__l72_matrix_9.bad2017-01-19 13:29 9.2K 
[ ]matrixc1__t21_matrixc12017-01-19 13:29 9.0K 
[ ]matrixc1__t29_matrixc1.bad2017-01-19 13:29 4.6K 
[ ]matrixr1__t21_matrixr12017-01-19 13:29 14K 
[ ]matrlin__t11_matrlin.bad2017-01-19 13:29 7.4K 
[ ]matroid0__t9_matroid02017-01-19 13:29 6.8K 
[ ]measure2__t13_measure22017-01-19 13:29 5.8K 
[ ]measure2__t18_measure22017-01-19 13:29 5.3K 
[ ]measure7__t1_measure7.bad2017-01-19 13:29 7.5K 
[ ]mesfunc7__t13_mesfunc72017-01-19 13:29 8.9K 
[ ]metrizts__t7_metrizts.bad2017-01-19 13:29 6.5K 
[ ]modal_1__t16_modal_1.bad2017-01-19 13:29 4.4K 
[ ]modal_1__t41_modal_12017-01-19 13:29 6.9K 
[ ]modelc_1__l88_modelc_12017-01-19 13:29 4.3K 
[ ]modelc_1__l92_modelc_12017-01-19 13:29 4.5K 
[ ]modelc_1__l96_modelc_12017-01-19 13:29 4.5K 
[ ]modelc_1__l99_modelc_12017-01-19 13:29 5.9K 
[ ]modelc_1__l103_modelc_12017-01-19 13:29 6.0K 
[ ]modelc_2__l130_modelc_22017-01-19 13:29 4.3K 
[ ]modelc_2__l134_modelc_22017-01-19 13:29 4.3K 
[ ]modelc_2__l137_modelc_2.bad2017-01-19 13:29 4.5K 
[ ]modelc_2__l141_modelc_2.bad2017-01-19 13:29 4.5K 
[ ]modelc_2__l143_modelc_2.bad2017-01-19 13:29 4.9K 
[ ]modelc_2__l144_modelc_2.bad2017-01-19 13:29 4.9K 
[ ]moebius1__t19_moebius1.bad2017-01-19 13:29 6.8K 
[ ]msafree3__t28_msafree3.bad2017-01-19 13:29 7.1K 
[ ]mssubfam__t27_mssubfam.bad2017-01-19 13:29 3.1K 
[ ]mssubfam__t29_mssubfam.bad2017-01-19 13:29 3.3K 
[ ]msualg_9__t6_msualg_9.bad2017-01-19 13:29 2.5K 
[ ]msualg_9__t7_msualg_9.bad2017-01-19 13:29 3.5K 
[ ]mycielsk__t50_mycielsk2017-01-19 13:29 9.6K 
[ ]nagata_2__t13_nagata_2.bad2017-01-19 13:29 8.4K 
[ ]nat_1__t2_nat_12017-01-19 13:29 4.8K 
[ ]nat_1__t6_nat_12017-01-19 13:29 2.0K 
[ ]nat_1__t8_nat_12017-01-19 13:29 5.5K 
[ ]nat_1__t39_nat_1.bad2017-01-19 13:29 4.5K 
[ ]nat_3__t5_nat_3.bad2017-01-19 13:29 5.7K 
[ ]necklace__t18_necklace2017-01-19 13:29 7.4K 
[ ]newton__t10_newton2017-01-19 13:29 8.8K 
[ ]newton__t11_newton2017-01-19 13:29 7.5K 
[ ]newton__t16_newton2017-01-19 13:29 8.8K 
[ ]newton__t23_newton2017-01-19 13:29 5.5K 
[ ]newton__t33_newton.bad2017-01-19 13:29 2.7K 
[ ]newton__t38_newton.bad2017-01-19 13:29 4.7K 
[ ]newton__t67_newton.bad2017-01-19 13:29 3.7K 
[ ]newton__t83_newton.bad2017-01-19 13:29 7.0K 
[ ]newton__t85_newton2017-01-19 13:29 4.6K 
[ ]newton__t87_newton.bad2017-01-19 13:29 6.2K 
[ ]normform__t41_normform2017-01-19 13:29 6.2K 
[ ]normsp_1__t16_normsp_12017-01-19 13:29 6.1K 
[ ]ntalgo_1__l4_ntalgo_12017-01-19 13:29 7.3K 
[ ]o_ring_1__l68_o_ring_1.bad2017-01-19 13:29 3.7K 
[ ]ordinal1__t26_ordinal12017-01-19 13:29 1.3K 
[ ]ordinal2__t13_ordinal2.bad2017-01-19 13:29 3.6K 
[ ]ordinal2__t27_ordinal22017-01-19 13:29 4.1K 
[ ]ordinal2__t28_ordinal22017-01-19 13:29 4.2K 
[ ]ordinal2__t29_ordinal22017-01-19 13:29 4.9K 
[ ]ordinal2__t35_ordinal22017-01-19 13:29 4.2K 
[ ]ordinal2__t36_ordinal22017-01-19 13:29 4.5K 
[ ]ordinal2__t37_ordinal22017-01-19 13:29 5.0K 
[ ]ordinal2__t43_ordinal22017-01-19 13:29 4.5K 
[ ]ordinal2__t44_ordinal22017-01-19 13:29 4.7K 
[ ]ordinal2__t45_ordinal22017-01-19 13:29 5.3K 
[ ]ordinal2__t47_ordinal22017-01-19 13:29 3.3K 
[ ]ordinal3__t6_ordinal3.bad2017-01-19 13:29 1.1K 
[ ]ordinal3__t73_ordinal3.bad2017-01-19 13:29 5.9K 
[ ]ordinal4__t10_ordinal42017-01-19 13:29 4.1K 
[ ]ordinal4__t22_ordinal42017-01-19 13:29 7.0K 
[ ]ordinal5__t13_ordinal52017-01-19 13:29 5.7K 
[ ]ordinal5__t15_ordinal52017-01-19 13:29 6.2K 
[ ]ordinal5__t23_ordinal5.bad2017-01-19 13:29 4.4K 
[ ]ordinal5__t41_ordinal52017-01-19 13:29 5.5K 
[ ]ordinal5__t42_ordinal52017-01-19 13:29 5.5K 
[ ]ordinal5__t43_ordinal52017-01-19 13:29 6.1K 
[ ]ordinal5__t47_ordinal5.bad2017-01-19 13:29 4.7K 
[ ]ordinal6__t43_ordinal6.bad2017-01-19 13:29 5.7K 
[ ]ordinal6__t45_ordinal62017-01-19 13:29 7.0K 
[ ]ordinal6__t54_ordinal6.bad2017-01-19 13:29 8.2K 
[ ]ordinal6__t77_ordinal6.bad2017-01-19 13:29 5.0K 
[ ]ortsp_1__l3_ortsp_12017-01-19 13:29 3.3K 
[ ]ortsp_1__l5_ortsp_12017-01-19 13:29 5.6K 
[ ]pboole__t11_pboole2017-01-19 13:29 4.1K 
[ ]pboole__t134_pboole.bad2017-01-19 13:29 3.0K 
[ ]pboole__t135_pboole.bad2017-01-19 13:29 2.6K 
[ ]pdiff_2__t13_pdiff_2.bad2017-01-19 13:29 9.3K 
[ ]pdiff_2__t14_pdiff_2.bad2017-01-19 13:29 9.1K 
[ ]pdiff_2__t17_pdiff_2.bad2017-01-19 13:29 12K 
[ ]pdiff_2__t18_pdiff_2.bad2017-01-19 13:29 12K 
[ ]pencil_2__t9_pencil_22017-01-19 13:29 7.5K 
[ ]pepin__l2_pepin.bad2017-01-19 13:29 3.7K 
[ ]pepin__t20_pepin.bad2017-01-19 13:29 4.3K 
[ ]pepin__t21_pepin2017-01-19 13:29 4.1K 
[ ]pepin__t25_pepin.bad2017-01-19 13:29 2.7K 
[ ]pepin__t26_pepin2017-01-19 13:29 5.0K 
[ ]pepin__t35_pepin.bad2017-01-19 13:29 2.5K 
[ ]pepin__t36_pepin.bad2017-01-19 13:29 2.9K 
[ ]pepin__t65_pepin.bad2017-01-19 13:29 2.6K 
[ ]petri_2__l8_petri_2.bad2017-01-19 13:29 2.9K 
[ ]polyeq_3__t37_polyeq_3.bad2017-01-19 13:29 2.4K 
[ ]polynom5__t4_polynom5.bad2017-01-19 13:29 7.9K 
[ ]polynom5__t21_polynom52017-01-19 13:29 15K 
[ ]polynom8__l36_polynom8.bad2017-01-19 13:29 5.9K 
[ ]poset_1__l2_poset_1.bad2017-01-19 13:29 2.9K 
[ ]pre_poly__t49_pre_poly.bad2017-01-19 13:29 6.5K 
[ ]prepower__t5_prepower.bad2017-01-19 13:29 3.5K 
[ ]prepower__t6_prepower.bad2017-01-19 13:29 2.3K 
[ ]prob_1__t27_prob_12017-01-19 13:29 4.0K 
[ ]prob_3__t54_prob_32017-01-19 13:29 6.1K 
[ ]qc_lang1__t9_qc_lang12017-01-19 13:29 10K 
[ ]qc_lang3__t3_qc_lang32017-01-19 13:29 7.3K 
[ ]qc_lang3__t4_qc_lang32017-01-19 13:29 7.1K 
[ ]qc_lang3__t6_qc_lang32017-01-19 13:29 7.4K 
[ ]qc_lang3__t9_qc_lang32017-01-19 13:29 10K 
[ ]qc_lang3__t11_qc_lang32017-01-19 13:29 9.6K 
[ ]quantal1__t18_quantal1.bad2017-01-19 13:29 6.8K 
[ ]radix_1__t14_radix_1.bad2017-01-19 13:29 3.5K 
[ ]radix_3__l4_radix_3.bad2017-01-19 13:29 3.2K 
[ ]radix_3__t6_radix_3.bad2017-01-19 13:29 3.4K 
[ ]radix_4__t1_radix_4.bad2017-01-19 13:29 3.7K 
[ ]radix_5__t3_radix_5.bad2017-01-19 13:29 2.2K 
[ ]radix_5__t12_radix_5.bad2017-01-19 13:29 4.8K 
[ ]real_3__l32_real_32017-01-19 13:29 7.6K 
[ ]real_3__t51_real_3.bad2017-01-19 13:29 3.5K 
[ ]rearran1__t23_rearran1.bad2017-01-19 13:29 7.7K 
[ ]rearran1__t24_rearran1.bad2017-01-19 13:29 7.8K 
[ ]relset_2__t18_relset_22017-01-19 13:29 1.8K 
[ ]relset_2__t28_relset_22017-01-19 13:29 2.8K 
[ ]relset_2__t35_relset_22017-01-19 13:29 2.8K 
[ ]rfinseq2__t17_rfinseq2.bad2017-01-19 13:29 7.9K 
[ ]rfinseq__t22_rfinseq2017-01-19 13:29 8.1K 
[ ]rltopsp1__t66_rltopsp12017-01-19 13:29 6.8K 
[ ]rltopsp1__t67_rltopsp12017-01-19 13:29 4.5K 
[ ]rlvect_2__t68_rlvect_2.bad2017-01-19 13:29 7.5K 
[ ]rsspace3__t3_rsspace3.bad2017-01-19 13:29 8.0K 
[ ]rusub_3__t2_rusub_3.bad2017-01-19 13:29 6.1K 
[ ]scm_halt__t57_scm_halt.bad2017-01-19 13:29 11K 
[ ]scmfsa8a__t28_scmfsa8a.bad2017-01-19 13:29 12K 
[ ]scmfsa8c__t16_scmfsa8c.bad2017-01-19 13:29 9.5K 
[ ]scmfsa8c__t67_scmfsa8c.bad2017-01-19 13:29 10K 
[ ]scmisort__t13_scmisort.bad2017-01-19 13:29 14K 
[ ]scmpds_8__t14_scmpds_82017-01-19 13:29 15K 
[ ]scmyciel__t114_scmyciel2017-01-19 13:29 5.5K 
[ ]seq_4__l161_seq_42017-01-19 13:29 5.8K 
[ ]seq_4__l171_seq_42017-01-19 13:29 6.0K 
[ ]seq_4__l175_seq_42017-01-19 13:29 5.9K 
[ ]seq_4__t127_seq_4.bad2017-01-19 13:29 11K 
[ ]seq_4__t128_seq_4.bad2017-01-19 13:29 8.7K 
[ ]setlim_1__t42_setlim_12017-01-19 13:29 8.0K 
[ ]setlim_1__t52_setlim_1.bad2017-01-19 13:29 3.5K 
[ ]simplex0__t19_simplex02017-01-19 13:29 5.1K 
[ ]simplex1__t32_simplex12017-01-19 13:29 12K 
[ ]sin_cos__l65_sin_cos.bad2017-01-19 13:29 5.7K 
[ ]sin_cos__t32_sin_cos.bad2017-01-19 13:29 6.3K 
[ ]sppol_1__t22_sppol_1.bad2017-01-19 13:29 7.6K 
[ ]stacks_1__t12_stacks_12017-01-19 13:29 7.9K 
[ ]stacks_1__t23_stacks_1.bad2017-01-19 13:29 5.9K 
[ ]stacks_1__t30_stacks_12017-01-19 13:29 12K 
[ ]stacks_1__t31_stacks_1.bad2017-01-19 13:29 8.7K 
[ ]stacks_1__t41_stacks_12017-01-19 13:29 16K 
[ ]stirl2_1__t24_stirl2_12017-01-19 13:29 4.5K 
[ ]sublemma__t47_sublemma2017-01-19 13:29 8.0K 
[ ]sublemma__t68_sublemma2017-01-19 13:29 14K 
[ ]sublemma__t89_sublemma2017-01-19 13:29 13K 
[ ]substlat__t10_substlat2017-01-19 13:29 4.6K 
[ ]substlat__t14_substlat.bad2017-01-19 13:29 3.2K 
[ ]substut1__l70_substut12017-01-19 13:29 13K 
[ ]substut1__t12_substut12017-01-19 13:29 12K 
[ ]substut2__t12_substut22017-01-19 13:29 8.8K 
[ ]substut2__t25_substut22017-01-19 13:29 8.6K 
[ ]symsp_1__l2_symsp_1.bad2017-01-19 13:29 3.1K 
[ ]symsp_1__l4_symsp_12017-01-19 13:29 4.2K 
[ ]taxonom2__t13_taxonom22017-01-19 13:29 4.3K 
[ ]tbsp_1__t2_tbsp_1.bad2017-01-19 13:29 6.4K 
[ ]tbsp_1__t16_tbsp_1.bad2017-01-19 13:29 6.4K 
[ ]tex_2__t66_tex_22017-01-19 13:29 6.6K 
[ ]toler_1__t24_toler_12017-01-19 13:29 3.5K 
[ ]topalg_1__l48_topalg_12017-01-19 13:29 8.8K 
[ ]topgen_3__t17_topgen_3.bad2017-01-19 13:29 4.2K 
[ ]topgen_5__t16_topgen_5.bad2017-01-19 13:29 10K 
[ ]tsp_2__t22_tsp_22017-01-19 13:29 8.1K 
[ ]turing_1__t13_turing_12017-01-19 13:29 8.6K 
[ ]uniroots__t14_uniroots.bad2017-01-19 13:29 7.8K 
[ ]urysohn3__t5_urysohn32017-01-19 13:29 5.0K 
[ ]valued_0__t25_valued_0.bad2017-01-19 13:29 5.0K 
[ ]waybel11__l54_waybel11.bad2017-01-19 13:29 3.7K 
[ ]waybel11__t33_waybel11.bad2017-01-19 13:29 8.5K 
[ ]waybel16__t36_waybel16.bad2017-01-19 13:29 6.1K 
[ ]waybel20__t31_waybel20.bad2017-01-19 13:29 8.9K 
[ ]waybel20__t32_waybel20.bad2017-01-19 13:29 8.9K 
[ ]waybel22__l2_waybel22.bad2017-01-19 13:29 4.6K 
[ ]waybel31__t16_waybel31.bad2017-01-19 13:29 4.9K 
[ ]waybel_0__t11_waybel_02017-01-19 13:29 3.8K 
[ ]waybel_0__t12_waybel_02017-01-19 13:29 3.8K 
[ ]waybel_1__t43_waybel_1.bad2017-01-19 13:29 8.0K 
[ ]wellord1__t8_wellord1.bad2017-01-19 13:29 2.4K 
[ ]wellset1__t6_wellset1.bad2017-01-19 13:29 2.3K 
[ ]wsierp_1__t10_wsierp_12017-01-19 13:29 4.9K 
[ ]wsierp_1__t27_wsierp_1.bad2017-01-19 13:29 4.9K 
[ ]xregular__t2_xregular2017-01-19 13:29 2.8K 
[ ]yellow13__t1_yellow132017-01-19 13:29 7.1K 
[ ]yellow18__t15_yellow182017-01-19 13:29 12K 
[ ]yellow_9__t5_yellow_92017-01-19 13:29 6.2K 
[ ]zf_fund1__t13_zf_fund12017-01-19 13:29 4.3K 
[ ]zf_fund1__t22_zf_fund12017-01-19 13:29 6.7K 
[ ]zf_lang1__t75_zf_lang1.bad2017-01-19 13:29 4.6K 
[ ]zfmodel1__t10_zfmodel12017-01-19 13:29 6.8K 
[ ]zmodul01__t153_zmodul01.bad2017-01-19 13:29 7.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80