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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmyciel__l23_scmyciel2017-01-13 00:26 45K 
[ ]scmyciel__l25_scmyciel2017-01-13 00:26 45K 
[ ]scmyciel__l52_scmyciel2017-01-13 00:26 63K 
[ ]scmyciel__l53_scmyciel2017-01-13 00:26 54K 
[ ]scmyciel__l54_scmyciel2017-01-13 00:26 51K 
[ ]scmyciel__l55_scmyciel2017-01-13 00:26 103K 
[ ]scmyciel__l63_scmyciel2017-01-13 00:26 43K 
[ ]scmyciel__l64_scmyciel2017-01-13 00:26 45K 
[ ]scmyciel__l66_scmyciel2017-01-13 00:26 43K 
[ ]scmyciel__l67_scmyciel2017-01-13 00:26 43K 
[ ]scmyciel__t1_scmyciel2017-01-13 00:26 39K 
[ ]scmyciel__t2_scmyciel2017-01-13 00:26 38K 
[ ]scmyciel__t3_scmyciel2017-01-13 00:26 38K 
[ ]scmyciel__t4_scmyciel2017-01-13 00:26 39K 
[ ]scmyciel__t5_scmyciel2017-01-13 00:26 39K 
[ ]scmyciel__t6_scmyciel2017-01-13 00:26 78K 
[ ]scmyciel__t7_scmyciel2017-01-13 00:26 78K 
[ ]scmyciel__t8_scmyciel2017-01-13 00:26 39K 
[ ]scmyciel__t9_scmyciel2017-01-13 00:26 37K 
[ ]scmyciel__t10_scmyciel2017-01-13 00:26 67K 
[ ]scmyciel__t11_scmyciel2017-01-13 00:26 41K 
[ ]scmyciel__t12_scmyciel2017-01-13 00:26 40K 
[ ]scmyciel__t13_scmyciel2017-01-13 00:26 38K 
[ ]scmyciel__t14_scmyciel2017-01-13 00:26 38K 
[ ]scmyciel__t15_scmyciel2017-01-13 00:26 133K 
[ ]scmyciel__t16_scmyciel2017-01-13 00:26 94K 
[ ]scmyciel__t17_scmyciel2017-01-13 00:26 40K 
[ ]scmyciel__t18_scmyciel2017-01-13 00:26 39K 
[ ]scmyciel__t19_scmyciel2017-01-13 00:26 42K 
[ ]scmyciel__t20_scmyciel2017-01-13 00:26 36K 
[ ]scmyciel__t21_scmyciel2017-01-13 00:26 49K 
[ ]scmyciel__t22_scmyciel2017-01-13 00:26 39K 
[ ]scmyciel__t23_scmyciel2017-01-13 00:26 39K 
[ ]scmyciel__t24_scmyciel2017-01-13 00:26 41K 
[ ]scmyciel__t25_scmyciel2017-01-13 00:26 59K 
[ ]scmyciel__t26_scmyciel2017-01-13 00:26 90K 
[ ]scmyciel__t27_scmyciel2017-01-13 00:26 111K 
[ ]scmyciel__t28_scmyciel2017-01-13 00:26 42K 
[ ]scmyciel__t29_scmyciel2017-01-13 00:26 89K 
[ ]scmyciel__t30_scmyciel2017-01-13 00:26 91K 
[ ]scmyciel__t31_scmyciel2017-01-13 00:26 109K 
[ ]scmyciel__t32_scmyciel2017-01-13 00:26 65K 
[ ]scmyciel__t33_scmyciel2017-01-13 00:26 47K 
[ ]scmyciel__t34_scmyciel2017-01-13 00:26 47K 
[ ]scmyciel__t35_scmyciel2017-01-13 00:26 50K 
[ ]scmyciel__t36_scmyciel2017-01-13 00:26 51K 
[ ]scmyciel__t37_scmyciel2017-01-13 00:26 53K 
[ ]scmyciel__t38_scmyciel2017-01-13 00:26 46K 
[ ]scmyciel__t39_scmyciel2017-01-13 00:26 50K 
[ ]scmyciel__t40_scmyciel2017-01-13 00:26 50K 
[ ]scmyciel__t41_scmyciel2017-01-13 00:26 52K 
[ ]scmyciel__t42_scmyciel2017-01-13 00:26 43K 
[ ]scmyciel__t43_scmyciel2017-01-13 00:26 43K 
[ ]scmyciel__t44_scmyciel2017-01-13 00:26 43K 
[ ]scmyciel__t45_scmyciel2017-01-13 00:26 44K 
[ ]scmyciel__t46_scmyciel2017-01-13 00:26 47K 
[ ]scmyciel__t47_scmyciel2017-01-13 00:26 51K 
[ ]scmyciel__t48_scmyciel2017-01-13 00:26 49K 
[ ]scmyciel__t49_scmyciel2017-01-13 00:26 49K 
[ ]scmyciel__t50_scmyciel2017-01-13 00:26 52K 
[ ]scmyciel__t51_scmyciel2017-01-13 00:26 54K 
[ ]scmyciel__t52_scmyciel2017-01-13 00:26 53K 
[ ]scmyciel__t53_scmyciel2017-01-13 00:26 51K 
[ ]scmyciel__t54_scmyciel2017-01-13 00:26 53K 
[ ]scmyciel__t55_scmyciel2017-01-13 00:26 52K 
[ ]scmyciel__t56_scmyciel2017-01-13 00:26 58K 
[ ]scmyciel__t57_scmyciel2017-01-13 00:26 57K 
[ ]scmyciel__t58_scmyciel2017-01-13 00:26 50K 
[ ]scmyciel__t59_scmyciel2017-01-13 00:26 53K 
[ ]scmyciel__t60_scmyciel2017-01-13 00:26 43K 
[ ]scmyciel__t61_scmyciel2017-01-13 00:26 44K 
[ ]scmyciel__t62_scmyciel2017-01-13 00:26 44K 
[ ]scmyciel__t63_scmyciel2017-01-13 00:26 58K 
[ ]scmyciel__t64_scmyciel2017-01-13 00:26 44K 
[ ]scmyciel__t65_scmyciel2017-01-13 00:26 93K 
[ ]scmyciel__t66_scmyciel2017-01-13 00:26 59K 
[ ]scmyciel__t67_scmyciel2017-01-13 00:26 57K 
[ ]scmyciel__t68_scmyciel2017-01-13 00:26 117K 
[ ]scmyciel__t69_scmyciel2017-01-13 00:26 98K 
[ ]scmyciel__t70_scmyciel2017-01-13 00:26 158K 
[ ]scmyciel__t71_scmyciel2017-01-13 00:26 56K 
[ ]scmyciel__t72_scmyciel2017-01-13 00:26 60K 
[ ]scmyciel__t73_scmyciel2017-01-13 00:26 57K 
[ ]scmyciel__t74_scmyciel2017-01-13 00:26 64K 
[ ]scmyciel__t75_scmyciel2017-01-13 00:26 61K 
[ ]scmyciel__t76_scmyciel2017-01-13 00:26 66K 
[ ]scmyciel__t77_scmyciel2017-01-13 00:26 58K 
[ ]scmyciel__t78_scmyciel2017-01-13 00:26 67K 
[ ]scmyciel__t79_scmyciel2017-01-13 00:26 62K 
[ ]scmyciel__t80_scmyciel2017-01-13 00:26 67K 
[ ]scmyciel__t81_scmyciel2017-01-13 00:26 62K 
[ ]scmyciel__t82_scmyciel2017-01-13 00:26 65K 
[ ]scmyciel__t83_scmyciel2017-01-13 00:26 59K 
[ ]scmyciel__t84_scmyciel2017-01-13 00:26 99K 
[ ]scmyciel__t85_scmyciel2017-01-13 00:26 71K 
[ ]scmyciel__t86_scmyciel2017-01-13 00:26 70K 
[ ]scmyciel__t87_scmyciel2017-01-13 00:26 69K 
[ ]scmyciel__t88_scmyciel2017-01-13 00:26 71K 
[ ]scmyciel__t89_scmyciel2017-01-13 00:26 85K 
[ ]scmyciel__t90_scmyciel2017-01-13 00:26 74K 
[ ]scmyciel__t91_scmyciel2017-01-13 00:26 70K 
[ ]scmyciel__t92_scmyciel2017-01-13 00:26 113K 
[ ]scmyciel__t93_scmyciel2017-01-13 00:26 70K 
[ ]scmyciel__t94_scmyciel2017-01-13 00:26 70K 
[ ]scmyciel__t95_scmyciel2017-01-13 00:26 70K 
[ ]scmyciel__t96_scmyciel2017-01-13 00:26 69K 
[ ]scmyciel__t97_scmyciel2017-01-13 00:26 70K 
[ ]scmyciel__t98_scmyciel2017-01-13 00:26 72K 
[ ]scmyciel__t99_scmyciel2017-01-13 00:26 71K 
[ ]scmyciel__t100_scmyciel2017-01-13 00:26 69K 
[ ]scmyciel__t101_scmyciel2017-01-13 00:26 102K 
[ ]scmyciel__t102_scmyciel2017-01-13 00:26 69K 
[ ]scmyciel__t103_scmyciel2017-01-13 00:26 73K 
[ ]scmyciel__t104_scmyciel2017-01-13 00:26 77K 
[ ]scmyciel__t105_scmyciel2017-01-13 00:26 82K 
[ ]scmyciel__t106_scmyciel2017-01-13 00:26 83K 
[ ]scmyciel__t107_scmyciel2017-01-13 00:26 74K 
[ ]scmyciel__t108_scmyciel2017-01-13 00:26 93K 
[ ]scmyciel__t109_scmyciel2017-01-13 00:26 107K 
[ ]scmyciel__t110_scmyciel2017-01-13 00:26 82K 
[ ]scmyciel__t111_scmyciel2017-01-13 00:26 125K 
[ ]scmyciel__t112_scmyciel2017-01-13 00:26 116K 
[ ]scmyciel__t113_scmyciel2017-01-13 00:26 94K 
[ ]scmyciel__t114_scmyciel2017-01-13 00:26 94K 
[ ]scmyciel__t115_scmyciel2017-01-13 00:26 94K 
[ ]scmyciel__t116_scmyciel2017-01-13 00:26 139K 
[ ]scmyciel__t117_scmyciel2017-01-13 00:26 402K 
[ ]scmyciel__t118_scmyciel2017-01-13 00:26 133K 
[ ]scmyciel__t119_scmyciel2017-01-13 00:26 86K 
[ ]scmyciel__t120_scmyciel2017-01-13 00:26 96K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80