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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]euclid_4__l10_euclid_42021-07-18 18:35 39K 
[   ]euclid_4__l12_euclid_42021-07-18 18:20 32K 
[   ]euclid_4__l16_euclid_42021-07-18 18:20 34K 
[   ]euclid_4__l44_euclid_42021-07-18 18:36 64K 
[   ]euclid_4__l45_euclid_42021-07-18 18:36 89K 
[   ]euclid_4__l46_euclid_42021-07-18 18:37 79K 
[   ]euclid_4__l47_euclid_42021-07-18 18:37 212K 
[   ]euclid_4__l51_euclid_42021-07-18 18:38 77K 
[   ]euclid_4__l56_euclid_42021-07-18 18:20 70K 
[   ]euclid_4__t1_euclid_42021-07-18 18:21 53K 
[   ]euclid_4__t2_euclid_42021-07-18 18:21 58K 
[   ]euclid_4__t3_euclid_42021-07-18 18:22 62K 
[   ]euclid_4__t4_euclid_42021-07-18 18:15 38K 
[   ]euclid_4__t5_euclid_42021-07-18 18:22 44K 
[   ]euclid_4__t6_euclid_42021-07-18 18:16 46K 
[   ]euclid_4__t7_euclid_42021-07-18 18:16 47K 
[   ]euclid_4__t8_euclid_42021-07-18 18:22 43K 
[   ]euclid_4__t9_euclid_42021-07-18 18:23 43K 
[   ]euclid_4__t10_euclid_42021-07-18 18:23 65K 
[   ]euclid_4__t11_euclid_42021-07-18 18:24 88K 
[   ]euclid_4__t12_euclid_42021-07-18 18:24 34K 
[   ]euclid_4__t13_euclid_42021-07-18 18:24 33K 
[   ]euclid_4__t14_euclid_42021-07-18 18:25 21K 
[   ]euclid_4__t15_euclid_42021-07-18 18:16 43K 
[   ]euclid_4__t16_euclid_42021-07-18 18:25 54K 
[   ]euclid_4__t17_euclid_42021-07-18 18:26 303K 
[   ]euclid_4__t18_euclid_42021-07-18 18:26 358K 
[   ]euclid_4__t19_euclid_42021-07-18 18:17 37K 
[   ]euclid_4__t20_euclid_42021-07-18 18:26 46K 
[   ]euclid_4__t21_euclid_42021-07-18 18:27 52K 
[   ]euclid_4__t22_euclid_42021-07-18 18:17 43K 
[   ]euclid_4__t23_euclid_42021-07-18 18:27 51K 
[   ]euclid_4__t24_euclid_42021-07-18 18:17 47K 
[   ]euclid_4__t25_euclid_42021-07-18 18:28 49K 
[   ]euclid_4__t26_euclid_42021-07-18 18:28 71K 
[   ]euclid_4__t27_euclid_42021-07-18 18:28 54K 
[   ]euclid_4__t28_euclid_42021-07-18 18:17 43K 
[   ]euclid_4__t29_euclid_42021-07-18 18:18 62K 
[   ]euclid_4__t30_euclid_42021-07-18 18:29 44K 
[   ]euclid_4__t31_euclid_42021-07-18 18:29 65K 
[   ]euclid_4__t32_euclid_42021-07-18 18:29 49K 
[   ]euclid_4__t33_euclid_42021-07-18 18:30 71K 
[   ]euclid_4__t34_euclid_42021-07-18 18:30 69K 
[   ]euclid_4__t35_euclid_42021-07-18 18:31 103K 
[   ]euclid_4__t36_euclid_42021-07-18 18:31 101K 
[   ]euclid_4__t37_euclid_42021-07-18 18:32 108K 
[   ]euclid_4__t38_euclid_42021-07-18 18:32 48K 
[   ]euclid_4__t40_euclid_42021-07-18 18:33 83K 
[   ]euclid_4__t41_euclid_42021-07-18 18:18 70K 
[   ]euclid_4__t42_euclid_42021-07-18 18:19 70K 
[   ]euclid_4__t43_euclid_42021-07-18 18:19 70K 
[   ]euclid_4__t44_euclid_42021-07-18 18:33 70K 
[   ]euclid_4__t45_euclid_42021-07-18 18:34 70K 
[   ]euclid_4__t46_euclid_42021-07-18 18:34 35K 
[   ]euclid_4__t47_euclid_42021-07-18 18:35 125K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80