Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls1/euclid_8

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]euclid_8__l2_euclid_82017-01-13 19:22 50K 
[ ]euclid_8__l3_euclid_82017-01-13 19:22 55K 
[ ]euclid_8__l4_euclid_82017-01-13 19:22 45K 
[ ]euclid_8__l6_euclid_82017-01-13 19:22 67K 
[ ]euclid_8__l7_euclid_82017-01-13 19:22 68K 
[ ]euclid_8__l8_euclid_82017-01-13 19:22 40K 
[ ]euclid_8__l9_euclid_82017-01-13 19:22 57K 
[ ]euclid_8__l10_euclid_82017-01-13 19:22 56K 
[ ]euclid_8__l11_euclid_82017-01-13 19:22 34K 
[ ]euclid_8__l12_euclid_82017-01-13 19:22 48K 
[ ]euclid_8__l13_euclid_82017-01-13 19:22 56K 
[ ]euclid_8__l17_euclid_82017-01-13 19:22 129K 
[ ]euclid_8__l19_euclid_82017-01-13 19:22 47K 
[ ]euclid_8__l20_euclid_82017-01-13 19:22 54K 
[ ]euclid_8__t1_euclid_82017-01-13 19:22 36K 
[ ]euclid_8__t2_euclid_82017-01-13 19:22 36K 
[ ]euclid_8__t3_euclid_82017-01-13 19:22 156K 
[ ]euclid_8__t4_euclid_82017-01-13 19:22 56K 
[ ]euclid_8__t5_euclid_82017-01-13 19:22 56K 
[ ]euclid_8__t6_euclid_82017-01-13 19:22 56K 
[ ]euclid_8__t7_euclid_82017-01-13 19:22 54K 
[ ]euclid_8__t8_euclid_82017-01-13 19:22 54K 
[ ]euclid_8__t9_euclid_82017-01-13 19:22 54K 
[ ]euclid_8__t10_euclid_82017-01-13 19:22 53K 
[ ]euclid_8__t11_euclid_82017-01-13 19:22 53K 
[ ]euclid_8__t12_euclid_82017-01-13 19:22 53K 
[ ]euclid_8__t13_euclid_82017-01-13 19:22 52K 
[ ]euclid_8__t16_euclid_82017-01-13 19:22 62K 
[ ]euclid_8__t17_euclid_82017-01-13 19:22 62K 
[ ]euclid_8__t18_euclid_82017-01-13 19:22 62K 
[ ]euclid_8__t19_euclid_82017-01-13 19:22 66K 
[ ]euclid_8__t20_euclid_82017-01-13 19:22 66K 
[ ]euclid_8__t21_euclid_82017-01-13 19:22 66K 
[ ]euclid_8__t22_euclid_82017-01-13 19:22 60K 
[ ]euclid_8__t25_euclid_82017-01-13 19:22 41K 
[ ]euclid_8__t26_euclid_82017-01-13 19:22 41K 
[ ]euclid_8__t27_euclid_82017-01-13 19:22 41K 
[ ]euclid_8__t28_euclid_82017-01-13 19:22 31K 
[ ]euclid_8__t31_euclid_82017-01-13 19:22 47K 
[ ]euclid_8__t32_euclid_82017-01-13 19:22 47K 
[ ]euclid_8__t33_euclid_82017-01-13 19:22 47K 
[ ]euclid_8__t34_euclid_82017-01-13 19:22 39K 
[ ]euclid_8__t37_euclid_82017-01-13 19:22 50K 
[ ]euclid_8__t38_euclid_82017-01-13 19:22 65K 
[ ]euclid_8__t39_euclid_82017-01-13 19:22 50K 
[ ]euclid_8__t40_euclid_82017-01-13 19:22 65K 
[ ]euclid_8__t41_euclid_82017-01-13 19:22 60K 
[ ]euclid_8__t42_euclid_82017-01-13 19:22 56K 
[ ]euclid_8__t43_euclid_82017-01-13 19:22 67K 
[ ]euclid_8__t44_euclid_82017-01-13 19:22 79K 
[ ]euclid_8__t45_euclid_82017-01-13 19:22 65K 
[ ]euclid_8__t46_euclid_82017-01-13 19:22 57K 
[ ]euclid_8__t47_euclid_82017-01-13 19:22 106K 
[ ]euclid_8__t48_euclid_82017-01-13 19:22 53K 
[ ]euclid_8__t49_euclid_82017-01-13 19:22 39K 
[ ]euclid_8__t50_euclid_82017-01-13 19:22 38K 
[ ]euclid_8__t51_euclid_82017-01-13 19:22 45K 
[ ]euclid_8__t52_euclid_82017-01-13 19:22 39K 
[ ]euclid_8__t53_euclid_82017-01-13 19:22 43K 
[ ]euclid_8__t54_euclid_82017-01-13 19:22 42K 
[ ]euclid_8__t55_euclid_82017-01-13 19:22 39K 
[ ]euclid_8__t56_euclid_82017-01-13 19:22 37K 
[ ]euclid_8__t57_euclid_82017-01-13 19:22 37K 
[ ]euclid_8__t58_euclid_82017-01-13 19:22 50K 
[ ]euclid_8__t59_euclid_82017-01-13 19:22 40K 
[ ]euclid_8__t60_euclid_82017-01-13 19:22 44K 
[ ]euclid_8__t61_euclid_82017-01-13 19:22 40K 
[ ]euclid_8__t62_euclid_82017-01-13 19:22 67K 
[ ]euclid_8__t63_euclid_82017-01-13 19:22 46K 
[ ]euclid_8__t64_euclid_82017-01-13 19:22 127K 
[ ]euclid_8__t65_euclid_82017-01-13 19:22 71K 
[ ]euclid_8__t66_euclid_82017-01-13 19:22 76K 
[ ]euclid_8__t67_euclid_82017-01-13 19:22 53K 
[ ]euclid_8__t68_euclid_82017-01-13 19:22 42K 
[ ]euclid_8__t69_euclid_82017-01-13 19:22 71K 
[ ]euclid_8__t70_euclid_82017-01-13 19:22 65K 
[ ]euclid_8__t71_euclid_82017-01-13 19:22 50K 
[ ]euclid_8__t72_euclid_82017-01-13 19:22 42K 
[ ]euclid_8__t73_euclid_82017-01-13 19:22 41K 
[ ]euclid_8__t74_euclid_82017-01-13 19:22 44K 
[ ]euclid_8__t75_euclid_82017-01-13 19:22 42K 
[ ]euclid_8__t76_euclid_82017-01-13 19:22 47K 
[ ]euclid_8__t77_euclid_82017-01-13 19:22 43K 
[ ]euclid_8__t78_euclid_82017-01-13 19:22 47K 
[ ]euclid_8__t79_euclid_82017-01-13 19:22 142K 
[ ]euclid_8__t80_euclid_82017-01-13 19:22 94K 
[ ]euclid_8__t81_euclid_82017-01-13 19:22 57K 
[ ]euclid_8__t82_euclid_82017-01-13 19:22 46K 
[ ]euclid_8__t83_euclid_82017-01-13 19:22 48K 
[ ]euclid_8__t84_euclid_82017-01-13 19:22 47K 
[ ]euclid_8__t85_euclid_82017-01-13 19:22 48K 
[ ]euclid_8__t86_euclid_82017-01-13 19:22 63K 
[ ]euclid_8__t87_euclid_82017-01-13 19:22 67K 
[ ]euclid_8__t88_euclid_82017-01-13 19:22 50K 
[ ]euclid_8__t89_euclid_82017-01-13 19:22 83K 
[ ]euclid_8__t90_euclid_82017-01-13 19:22 69K 
[ ]euclid_8__t91_euclid_82017-01-13 19:22 69K 
[ ]euclid_8__t92_euclid_82017-01-13 19:22 69K 
[ ]euclid_8__t93_euclid_82017-01-13 19:22 70K 
[ ]euclid_8__t94_euclid_82017-01-13 19:22 78K 
[ ]euclid_8__t95_euclid_82017-01-13 19:22 53K 
[ ]euclid_8__t96_euclid_82017-01-13 19:22 39K 
[ ]euclid_8__t97_euclid_82017-01-13 19:22 46K 
[ ]euclid_8__t98_euclid_82017-01-13 19:22 50K 
[ ]euclid_8__t99_euclid_82017-01-13 19:22 44K 
[ ]euclid_8__t100_euclid_82017-01-13 19:22 69K 
[ ]euclid_8__t101_euclid_82017-01-13 19:22 45K 
[ ]euclid_8__t102_euclid_82017-01-13 19:22 106K 
[ ]euclid_8__t103_euclid_82017-01-13 19:22 166K 
[ ]euclid_8__t104_euclid_82017-01-13 19:22 52K 
[ ]euclid_8__t105_euclid_82017-01-13 19:22 46K 
[ ]euclid_8__t106_euclid_82017-01-13 19:22 49K 
[ ]euclid_8__t107_euclid_82017-01-13 19:22 50K 
[ ]euclid_8__t108_euclid_82017-01-13 19:22 49K 
[ ]euclid_8__t109_euclid_82017-01-13 19:22 109K 
[ ]euclid_8__t110_euclid_82017-01-13 19:22 170K 
[ ]euclid_8__t111_euclid_82017-01-13 19:22 60K 
[ ]euclid_8__t112_euclid_82017-01-13 19:22 80K 
[ ]euclid_8__t113_euclid_82017-01-13 19:22 75K 
[ ]euclid_8__t114_euclid_82017-01-13 19:22 95K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80