Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls/scmyciel

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmyciel__l23_scmyciel2017-01-12 22:04 30K 
[ ]scmyciel__l25_scmyciel2017-01-12 22:04 30K 
[ ]scmyciel__l52_scmyciel2017-01-12 22:04 42K 
[ ]scmyciel__l53_scmyciel2017-01-12 22:04 36K 
[ ]scmyciel__l54_scmyciel2017-01-12 22:04 34K 
[ ]scmyciel__l55_scmyciel2017-01-12 22:04 68K 
[ ]scmyciel__l63_scmyciel2017-01-12 22:04 28K 
[ ]scmyciel__l64_scmyciel2017-01-12 22:04 29K 
[ ]scmyciel__l66_scmyciel2017-01-12 22:04 28K 
[ ]scmyciel__l67_scmyciel2017-01-12 22:04 28K 
[ ]scmyciel__t1_scmyciel2017-01-12 22:04 26K 
[ ]scmyciel__t2_scmyciel2017-01-12 22:04 25K 
[ ]scmyciel__t3_scmyciel2017-01-12 22:04 25K 
[ ]scmyciel__t4_scmyciel2017-01-12 22:04 26K 
[ ]scmyciel__t5_scmyciel2017-01-12 22:04 25K 
[ ]scmyciel__t6_scmyciel2017-01-12 22:04 51K 
[ ]scmyciel__t7_scmyciel2017-01-12 22:04 49K 
[ ]scmyciel__t8_scmyciel2017-01-12 22:04 26K 
[ ]scmyciel__t9_scmyciel2017-01-12 22:04 24K 
[ ]scmyciel__t10_scmyciel2017-01-12 22:04 43K 
[ ]scmyciel__t11_scmyciel2017-01-12 22:04 27K 
[ ]scmyciel__t12_scmyciel2017-01-12 22:04 26K 
[ ]scmyciel__t13_scmyciel2017-01-12 22:04 25K 
[ ]scmyciel__t14_scmyciel2017-01-12 22:04 25K 
[ ]scmyciel__t15_scmyciel2017-01-12 22:04 87K 
[ ]scmyciel__t16_scmyciel2017-01-12 22:04 61K 
[ ]scmyciel__t17_scmyciel2017-01-12 22:04 26K 
[ ]scmyciel__t18_scmyciel2017-01-12 22:04 26K 
[ ]scmyciel__t19_scmyciel2017-01-12 22:04 28K 
[ ]scmyciel__t20_scmyciel2017-01-12 22:04 23K 
[ ]scmyciel__t21_scmyciel2017-01-12 22:04 32K 
[ ]scmyciel__t22_scmyciel2017-01-12 22:04 25K 
[ ]scmyciel__t23_scmyciel2017-01-12 22:04 25K 
[ ]scmyciel__t24_scmyciel2017-01-12 22:04 27K 
[ ]scmyciel__t25_scmyciel2017-01-12 22:04 39K 
[ ]scmyciel__t26_scmyciel2017-01-12 22:04 59K 
[ ]scmyciel__t27_scmyciel2017-01-12 22:04 74K 
[ ]scmyciel__t28_scmyciel2017-01-12 22:04 27K 
[ ]scmyciel__t29_scmyciel2017-01-12 22:04 58K 
[ ]scmyciel__t30_scmyciel2017-01-12 22:04 59K 
[ ]scmyciel__t31_scmyciel2017-01-12 22:04 72K 
[ ]scmyciel__t32_scmyciel2017-01-12 22:04 44K 
[ ]scmyciel__t33_scmyciel2017-01-12 22:04 31K 
[ ]scmyciel__t34_scmyciel2017-01-12 22:04 31K 
[ ]scmyciel__t35_scmyciel2017-01-12 22:04 33K 
[ ]scmyciel__t36_scmyciel2017-01-12 22:04 34K 
[ ]scmyciel__t37_scmyciel2017-01-12 22:04 35K 
[ ]scmyciel__t38_scmyciel2017-01-12 22:04 30K 
[ ]scmyciel__t39_scmyciel2017-01-12 22:04 33K 
[ ]scmyciel__t40_scmyciel2017-01-12 22:04 33K 
[ ]scmyciel__t41_scmyciel2017-01-12 22:04 34K 
[ ]scmyciel__t42_scmyciel2017-01-12 22:04 28K 
[ ]scmyciel__t43_scmyciel2017-01-12 22:04 28K 
[ ]scmyciel__t44_scmyciel2017-01-12 22:04 28K 
[ ]scmyciel__t45_scmyciel2017-01-12 22:04 29K 
[ ]scmyciel__t46_scmyciel2017-01-12 22:04 31K 
[ ]scmyciel__t47_scmyciel2017-01-12 22:04 34K 
[ ]scmyciel__t48_scmyciel2017-01-12 22:04 32K 
[ ]scmyciel__t49_scmyciel2017-01-12 22:04 32K 
[ ]scmyciel__t50_scmyciel2017-01-12 22:04 34K 
[ ]scmyciel__t51_scmyciel2017-01-12 22:04 36K 
[ ]scmyciel__t52_scmyciel2017-01-12 22:04 35K 
[ ]scmyciel__t53_scmyciel2017-01-12 22:04 33K 
[ ]scmyciel__t54_scmyciel2017-01-12 22:04 34K 
[ ]scmyciel__t55_scmyciel2017-01-12 22:04 33K 
[ ]scmyciel__t56_scmyciel2017-01-12 22:04 38K 
[ ]scmyciel__t57_scmyciel2017-01-12 22:04 38K 
[ ]scmyciel__t58_scmyciel2017-01-12 22:04 32K 
[ ]scmyciel__t59_scmyciel2017-01-12 22:04 34K 
[ ]scmyciel__t60_scmyciel2017-01-12 22:04 28K 
[ ]scmyciel__t61_scmyciel2017-01-12 22:04 29K 
[ ]scmyciel__t62_scmyciel2017-01-12 22:04 28K 
[ ]scmyciel__t63_scmyciel2017-01-12 22:04 38K 
[ ]scmyciel__t64_scmyciel2017-01-12 22:04 28K 
[ ]scmyciel__t65_scmyciel2017-01-12 22:04 60K 
[ ]scmyciel__t66_scmyciel2017-01-12 22:04 39K 
[ ]scmyciel__t67_scmyciel2017-01-12 22:04 38K 
[ ]scmyciel__t68_scmyciel2017-01-12 22:04 77K 
[ ]scmyciel__t69_scmyciel2017-01-12 22:04 63K 
[ ]scmyciel__t70_scmyciel2017-01-12 22:04 111K 
[ ]scmyciel__t71_scmyciel2017-01-12 22:04 37K 
[ ]scmyciel__t72_scmyciel2017-01-12 22:04 39K 
[ ]scmyciel__t73_scmyciel2017-01-12 22:04 37K 
[ ]scmyciel__t74_scmyciel2017-01-12 22:04 43K 
[ ]scmyciel__t75_scmyciel2017-01-12 22:04 40K 
[ ]scmyciel__t76_scmyciel2017-01-12 22:04 43K 
[ ]scmyciel__t77_scmyciel2017-01-12 22:04 38K 
[ ]scmyciel__t78_scmyciel2017-01-12 22:04 44K 
[ ]scmyciel__t79_scmyciel2017-01-12 22:04 40K 
[ ]scmyciel__t80_scmyciel2017-01-12 22:04 44K 
[ ]scmyciel__t81_scmyciel2017-01-12 22:04 40K 
[ ]scmyciel__t82_scmyciel2017-01-12 22:04 42K 
[ ]scmyciel__t83_scmyciel2017-01-12 22:04 38K 
[ ]scmyciel__t84_scmyciel2017-01-12 22:04 65K 
[ ]scmyciel__t85_scmyciel2017-01-12 22:04 47K 
[ ]scmyciel__t86_scmyciel2017-01-12 22:04 46K 
[ ]scmyciel__t87_scmyciel2017-01-12 22:04 45K 
[ ]scmyciel__t88_scmyciel2017-01-12 22:04 47K 
[ ]scmyciel__t89_scmyciel2017-01-12 22:04 57K 
[ ]scmyciel__t90_scmyciel2017-01-12 22:04 49K 
[ ]scmyciel__t91_scmyciel2017-01-12 22:04 46K 
[ ]scmyciel__t92_scmyciel2017-01-12 22:04 81K 
[ ]scmyciel__t93_scmyciel2017-01-12 22:04 46K 
[ ]scmyciel__t94_scmyciel2017-01-12 22:04 46K 
[ ]scmyciel__t95_scmyciel2017-01-12 22:04 46K 
[ ]scmyciel__t96_scmyciel2017-01-12 22:04 45K 
[ ]scmyciel__t97_scmyciel2017-01-12 22:04 46K 
[ ]scmyciel__t98_scmyciel2017-01-12 22:04 47K 
[ ]scmyciel__t99_scmyciel2017-01-12 22:04 47K 
[ ]scmyciel__t100_scmyciel2017-01-12 22:04 45K 
[ ]scmyciel__t101_scmyciel2017-01-12 22:04 67K 
[ ]scmyciel__t102_scmyciel2017-01-12 22:04 45K 
[ ]scmyciel__t103_scmyciel2017-01-12 22:04 48K 
[ ]scmyciel__t104_scmyciel2017-01-12 22:04 51K 
[ ]scmyciel__t105_scmyciel2017-01-12 22:04 54K 
[ ]scmyciel__t106_scmyciel2017-01-12 22:04 54K 
[ ]scmyciel__t107_scmyciel2017-01-12 22:04 49K 
[ ]scmyciel__t108_scmyciel2017-01-12 22:04 62K 
[ ]scmyciel__t109_scmyciel2017-01-12 22:04 73K 
[ ]scmyciel__t110_scmyciel2017-01-12 22:04 53K 
[ ]scmyciel__t111_scmyciel2017-01-12 22:04 83K 
[ ]scmyciel__t112_scmyciel2017-01-12 22:04 79K 
[ ]scmyciel__t113_scmyciel2017-01-12 22:04 59K 
[ ]scmyciel__t114_scmyciel2017-01-12 22:04 60K 
[ ]scmyciel__t115_scmyciel2017-01-12 22:04 60K 
[ ]scmyciel__t116_scmyciel2017-01-12 22:04 98K 
[ ]scmyciel__t117_scmyciel2017-01-12 22:04 357K 
[ ]scmyciel__t118_scmyciel2017-01-12 22:04 92K 
[ ]scmyciel__t119_scmyciel2017-01-12 22:04 54K 
[ ]scmyciel__t120_scmyciel2017-01-12 22:04 61K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80