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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]euclid_8__l2_euclid_82017-01-13 00:41 70K 
[ ]euclid_8__l3_euclid_82017-01-13 00:41 76K 
[ ]euclid_8__l4_euclid_82017-01-13 00:41 66K 
[ ]euclid_8__l6_euclid_82017-01-13 00:41 89K 
[ ]euclid_8__l7_euclid_82017-01-13 00:41 94K 
[ ]euclid_8__l8_euclid_82017-01-13 00:41 60K 
[ ]euclid_8__l9_euclid_82017-01-13 00:41 81K 
[ ]euclid_8__l10_euclid_82017-01-13 00:41 76K 
[ ]euclid_8__l11_euclid_82017-01-13 00:41 53K 
[ ]euclid_8__l12_euclid_82017-01-13 00:41 73K 
[ ]euclid_8__l13_euclid_82017-01-13 00:41 77K 
[ ]euclid_8__l17_euclid_82017-01-13 00:41 149K 
[ ]euclid_8__l19_euclid_82017-01-13 00:41 67K 
[ ]euclid_8__l20_euclid_82017-01-13 00:41 75K 
[ ]euclid_8__t1_euclid_82017-01-13 00:40 55K 
[ ]euclid_8__t2_euclid_82017-01-13 00:40 54K 
[ ]euclid_8__t3_euclid_82017-01-13 00:40 187K 
[ ]euclid_8__t4_euclid_82017-01-13 00:40 84K 
[ ]euclid_8__t5_euclid_82017-01-13 00:40 84K 
[ ]euclid_8__t6_euclid_82017-01-13 00:40 84K 
[ ]euclid_8__t7_euclid_82017-01-13 00:40 80K 
[ ]euclid_8__t8_euclid_82017-01-13 00:40 80K 
[ ]euclid_8__t9_euclid_82017-01-13 00:40 80K 
[ ]euclid_8__t10_euclid_82017-01-13 00:40 79K 
[ ]euclid_8__t11_euclid_82017-01-13 00:40 79K 
[ ]euclid_8__t12_euclid_82017-01-13 00:40 79K 
[ ]euclid_8__t13_euclid_82017-01-13 00:40 77K 
[ ]euclid_8__t16_euclid_82017-01-13 00:40 82K 
[ ]euclid_8__t17_euclid_82017-01-13 00:40 82K 
[ ]euclid_8__t18_euclid_82017-01-13 00:40 82K 
[ ]euclid_8__t19_euclid_82017-01-13 00:40 89K 
[ ]euclid_8__t20_euclid_82017-01-13 00:40 89K 
[ ]euclid_8__t21_euclid_82017-01-13 00:40 89K 
[ ]euclid_8__t22_euclid_82017-01-13 00:40 80K 
[ ]euclid_8__t25_euclid_82017-01-13 00:40 61K 
[ ]euclid_8__t26_euclid_82017-01-13 00:40 61K 
[ ]euclid_8__t27_euclid_82017-01-13 00:40 61K 
[ ]euclid_8__t28_euclid_82017-01-13 00:40 48K 
[ ]euclid_8__t31_euclid_82017-01-13 00:40 68K 
[ ]euclid_8__t32_euclid_82017-01-13 00:40 68K 
[ ]euclid_8__t33_euclid_82017-01-13 00:40 68K 
[ ]euclid_8__t34_euclid_82017-01-13 00:40 58K 
[ ]euclid_8__t37_euclid_82017-01-13 00:40 72K 
[ ]euclid_8__t38_euclid_82017-01-13 00:40 87K 
[ ]euclid_8__t39_euclid_82017-01-13 00:40 72K 
[ ]euclid_8__t40_euclid_82017-01-13 00:40 88K 
[ ]euclid_8__t41_euclid_82017-01-13 00:40 89K 
[ ]euclid_8__t42_euclid_82017-01-13 00:40 84K 
[ ]euclid_8__t43_euclid_82017-01-13 00:40 89K 
[ ]euclid_8__t44_euclid_82017-01-13 00:40 103K 
[ ]euclid_8__t45_euclid_82017-01-13 00:40 87K 
[ ]euclid_8__t46_euclid_82017-01-13 00:40 79K 
[ ]euclid_8__t47_euclid_82017-01-13 00:40 148K 
[ ]euclid_8__t48_euclid_82017-01-13 00:40 76K 
[ ]euclid_8__t49_euclid_82017-01-13 00:40 59K 
[ ]euclid_8__t50_euclid_82017-01-13 00:40 58K 
[ ]euclid_8__t51_euclid_82017-01-13 00:40 68K 
[ ]euclid_8__t52_euclid_82017-01-13 00:40 58K 
[ ]euclid_8__t53_euclid_82017-01-13 00:40 64K 
[ ]euclid_8__t54_euclid_82017-01-13 00:40 63K 
[ ]euclid_8__t55_euclid_82017-01-13 00:40 59K 
[ ]euclid_8__t56_euclid_82017-01-13 00:40 56K 
[ ]euclid_8__t57_euclid_82017-01-13 00:40 57K 
[ ]euclid_8__t58_euclid_82017-01-13 00:40 70K 
[ ]euclid_8__t59_euclid_82017-01-13 00:40 60K 
[ ]euclid_8__t60_euclid_82017-01-13 00:40 64K 
[ ]euclid_8__t61_euclid_82017-01-13 00:40 60K 
[ ]euclid_8__t62_euclid_82017-01-13 00:40 89K 
[ ]euclid_8__t63_euclid_82017-01-13 00:40 70K 
[ ]euclid_8__t64_euclid_82017-01-13 00:40 146K 
[ ]euclid_8__t65_euclid_82017-01-13 00:40 98K 
[ ]euclid_8__t66_euclid_82017-01-13 00:40 106K 
[ ]euclid_8__t67_euclid_82017-01-13 00:40 82K 
[ ]euclid_8__t68_euclid_82017-01-13 00:40 64K 
[ ]euclid_8__t69_euclid_82017-01-13 00:40 103K 
[ ]euclid_8__t70_euclid_82017-01-13 00:40 90K 
[ ]euclid_8__t71_euclid_82017-01-13 00:40 76K 
[ ]euclid_8__t72_euclid_82017-01-13 00:40 64K 
[ ]euclid_8__t73_euclid_82017-01-13 00:40 63K 
[ ]euclid_8__t74_euclid_82017-01-13 00:40 67K 
[ ]euclid_8__t75_euclid_82017-01-13 00:40 65K 
[ ]euclid_8__t76_euclid_82017-01-13 00:40 72K 
[ ]euclid_8__t77_euclid_82017-01-13 00:40 65K 
[ ]euclid_8__t78_euclid_82017-01-13 00:40 71K 
[ ]euclid_8__t79_euclid_82017-01-13 00:40 167K 
[ ]euclid_8__t80_euclid_82017-01-13 00:40 128K 
[ ]euclid_8__t81_euclid_82017-01-13 00:40 82K 
[ ]euclid_8__t82_euclid_82017-01-13 00:40 70K 
[ ]euclid_8__t83_euclid_82017-01-13 00:40 69K 
[ ]euclid_8__t84_euclid_82017-01-13 00:40 67K 
[ ]euclid_8__t85_euclid_82017-01-13 00:40 68K 
[ ]euclid_8__t86_euclid_82017-01-13 00:40 85K 
[ ]euclid_8__t87_euclid_82017-01-13 00:40 99K 
[ ]euclid_8__t88_euclid_82017-01-13 00:40 73K 
[ ]euclid_8__t89_euclid_82017-01-13 00:40 109K 
[ ]euclid_8__t90_euclid_82017-01-13 00:40 95K 
[ ]euclid_8__t91_euclid_82017-01-13 00:40 95K 
[ ]euclid_8__t92_euclid_82017-01-13 00:40 95K 
[ ]euclid_8__t93_euclid_82017-01-13 00:40 99K 
[ ]euclid_8__t94_euclid_82017-01-13 00:40 107K 
[ ]euclid_8__t95_euclid_82017-01-13 00:40 77K 
[ ]euclid_8__t96_euclid_82017-01-13 00:40 58K 
[ ]euclid_8__t97_euclid_82017-01-13 00:40 69K 
[ ]euclid_8__t98_euclid_82017-01-13 00:40 73K 
[ ]euclid_8__t99_euclid_82017-01-13 00:40 66K 
[ ]euclid_8__t100_euclid_82017-01-13 00:40 93K 
[ ]euclid_8__t101_euclid_82017-01-13 00:40 68K 
[ ]euclid_8__t102_euclid_82017-01-13 00:40 125K 
[ ]euclid_8__t103_euclid_82017-01-13 00:41 182K 
[ ]euclid_8__t104_euclid_82017-01-13 00:41 74K 
[ ]euclid_8__t105_euclid_82017-01-13 00:41 68K 
[ ]euclid_8__t106_euclid_82017-01-13 00:41 73K 
[ ]euclid_8__t107_euclid_82017-01-13 00:41 74K 
[ ]euclid_8__t108_euclid_82017-01-13 00:41 73K 
[ ]euclid_8__t109_euclid_82017-01-13 00:41 130K 
[ ]euclid_8__t110_euclid_82017-01-13 00:41 187K 
[ ]euclid_8__t111_euclid_82017-01-13 00:41 87K 
[ ]euclid_8__t112_euclid_82017-01-13 00:41 115K 
[ ]euclid_8__t113_euclid_82017-01-13 00:41 110K 
[ ]euclid_8__t114_euclid_82017-01-13 00:41 136K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80