Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/euclid10

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]euclid10__l14_euclid102021-07-18 16:41 692K 
[ ]euclid10__l15_euclid102021-07-18 16:41 572K 
[ ]euclid10__l16_euclid102021-07-18 16:42 577K 
[ ]euclid10__l17_euclid102021-07-18 16:42 53K 
[ ]euclid10__l18_euclid102021-07-18 16:43 59K 
[ ]euclid10__l19_euclid102021-07-18 16:43 158K 
[ ]euclid10__l36_euclid102021-07-18 16:44 44K 
[ ]euclid10__l38_euclid102021-07-18 16:44 65K 
[ ]euclid10__l59_euclid102021-07-18 16:45 69K 
[ ]euclid10__l63_euclid102021-07-18 16:45 456K 
[ ]euclid10__l64_euclid102021-07-18 16:46 225K 
[ ]euclid10__t1_euclid102021-07-18 16:18 86K 
[ ]euclid10__t2_euclid102021-07-18 16:19 86K 
[ ]euclid10__t3_euclid102021-07-18 16:19 86K 
[ ]euclid10__t4_euclid102021-07-18 16:19 86K 
[ ]euclid10__t5_euclid102021-07-18 16:19 105K 
[ ]euclid10__t6_euclid102021-07-18 16:20 86K 
[ ]euclid10__t7_euclid102021-07-18 16:20 86K 
[ ]euclid10__t8_euclid102021-07-18 16:20 86K 
[ ]euclid10__t9_euclid102021-07-18 16:20 86K 
[ ]euclid10__t10_euclid102021-07-18 16:21 85K 
[ ]euclid10__t11_euclid102021-07-18 16:21 86K 
[ ]euclid10__t12_euclid102021-07-18 16:21 86K 
[ ]euclid10__t13_euclid102021-07-18 16:21 86K 
[ ]euclid10__t14_euclid102021-07-18 16:22 374K 
[ ]euclid10__t15_euclid102021-07-18 16:22 460K 
[ ]euclid10__t16_euclid102021-07-18 16:22 129K 
[ ]euclid10__t17_euclid102021-07-18 16:23 114K 
[ ]euclid10__t18_euclid102021-07-18 16:23 242K 
[ ]euclid10__t19_euclid102021-07-18 16:23 399K 
[ ]euclid10__t20_euclid102021-07-18 16:18 504K 
[ ]euclid10__t21_euclid102021-07-18 16:23 400K 
[ ]euclid10__t22_euclid102021-07-18 16:24 276K 
[ ]euclid10__t23_euclid102021-07-18 16:24 104K 
[ ]euclid10__t24_euclid102021-07-18 16:24 26K 
[ ]euclid10__t25_euclid102021-07-18 16:24 183K 
[ ]euclid10__t26_euclid102021-07-18 16:25 70K 
[ ]euclid10__t27_euclid102021-07-18 16:25 54K 
[ ]euclid10__t28_euclid102021-07-18 16:25 182K 
[ ]euclid10__t29_euclid102021-07-18 16:25 609K 
[ ]euclid10__t30_euclid102021-07-18 16:26 41K 
[ ]euclid10__t31_euclid102021-07-18 16:26 50K 
[ ]euclid10__t32_euclid102021-07-18 16:27 136K 
[ ]euclid10__t33_euclid102021-07-18 16:27 227K 
[ ]euclid10__t34_euclid102021-07-18 16:28 235K 
[ ]euclid10__t35_euclid102021-07-18 16:28 235K 
[ ]euclid10__t36_euclid102021-07-18 16:29 47K 
[ ]euclid10__t37_euclid102021-07-18 16:29 47K 
[ ]euclid10__t38_euclid102021-07-18 16:30 45K 
[ ]euclid10__t39_euclid102021-07-18 16:30 654K 
[ ]euclid10__t40_euclid102021-07-18 16:31 53K 
[ ]euclid10__t41_euclid102021-07-18 16:31 556K 
[ ]euclid10__t42_euclid102021-07-18 16:32 128K 
[ ]euclid10__t43_euclid102021-07-18 16:32 204K 
[ ]euclid10__t44_euclid102021-07-18 16:33 54K 
[ ]euclid10__t45_euclid102021-07-18 16:33 58K 
[ ]euclid10__t46_euclid102021-07-18 16:18 50K 
[ ]euclid10__t47_euclid102021-07-18 16:34 66K 
[ ]euclid10__t48_euclid102021-07-18 16:34 67K 
[ ]euclid10__t49_euclid102021-07-18 16:35 66K 
[ ]euclid10__t50_euclid102021-07-18 16:35 68K 
[ ]euclid10__t51_euclid102021-07-18 16:36 209K 
[ ]euclid10__t52_euclid102021-07-18 16:36 258K 
[ ]euclid10__t53_euclid102021-07-18 16:37 462K 
[ ]euclid10__t54_euclid102021-07-18 16:37 51K 
[ ]euclid10__t55_euclid102021-07-18 16:38 259K 
[ ]euclid10__t56_euclid102021-07-18 16:38 468K 
[ ]euclid10__t57_euclid102021-07-18 16:39 166K 
[ ]euclid10__t58_euclid102021-07-18 16:39 67K 
[ ]euclid10__t59_euclid102021-07-18 16:40 401K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80