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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]termord__l6_termord2021-07-19 01:19 54K 
[   ]termord__l11_termord2021-07-19 01:19 45K 
[   ]termord__l12_termord2021-07-19 01:20 46K 
[   ]termord__l13_termord2021-07-19 01:20 44K 
[   ]termord__l15_termord2021-07-19 01:21 47K 
[   ]termord__l23_termord2021-07-19 01:00 48K 
[   ]termord__l31_termord2021-07-19 01:21 69K 
[   ]termord__l32_termord2021-07-19 01:22 75K 
[   ]termord__l33_termord2021-07-19 01:23 63K 
[   ]termord__l34_termord2021-07-19 01:23 77K 
[   ]termord__l35_termord2021-07-19 01:24 74K 
[   ]termord__l39_termord2021-07-19 01:24 64K 
[   ]termord__l49_termord2021-07-19 01:25 41K 
[   ]termord__l50_termord2021-07-19 01:26 122K 
[   ]termord__l58_termord2021-07-19 01:27 78K 
[   ]termord__l59_termord2021-07-19 01:27 79K 
[   ]termord__l60_termord2021-07-19 01:28 86K 
[   ]termord__l63_termord2021-07-19 01:29 75K 
[   ]termord__l64_termord2021-07-19 01:29 80K 
[   ]termord__t1_termord2021-07-19 01:01 68K 
[   ]termord__t2_termord2021-07-19 01:02 85K 
[   ]termord__t3_termord2021-07-19 01:03 102K 
[   ]termord__t4_termord2021-07-19 01:03 81K 
[   ]termord__t5_termord2021-07-19 01:04 48K 
[   ]termord__t6_termord2021-07-19 00:54 43K 
[   ]termord__t7_termord2021-07-19 00:55 45K 
[   ]termord__t8_termord2021-07-19 01:04 45K 
[   ]termord__t9_termord2021-07-19 00:55 50K 
[   ]termord__t10_termord2021-07-19 01:05 54K 
[   ]termord__t11_termord2021-07-19 01:05 46K 
[   ]termord__t12_termord2021-07-19 01:06 46K 
[   ]termord__t13_termord2021-07-19 01:06 51K 
[   ]termord__t14_termord2021-07-19 01:07 51K 
[   ]termord__t15_termord2021-07-19 01:07 52K 
[   ]termord__t16_termord2021-07-19 01:08 52K 
[   ]termord__t17_termord2021-07-19 00:56 61K 
[   ]termord__t18_termord2021-07-19 00:56 59K 
[   ]termord__t19_termord2021-07-19 01:08 72K 
[   ]termord__t20_termord2021-07-19 01:09 65K 
[   ]termord__t21_termord2021-07-19 00:57 61K 
[   ]termord__t22_termord2021-07-19 01:09 77K 
[   ]termord__t23_termord2021-07-19 00:57 63K 
[   ]termord__t24_termord2021-07-19 01:10 66K 
[   ]termord__t25_termord2021-07-19 01:11 66K 
[   ]termord__t26_termord2021-07-19 01:11 77K 
[   ]termord__t27_termord2021-07-19 01:12 61K 
[   ]termord__t28_termord2021-07-19 00:58 63K 
[   ]termord__t29_termord2021-07-19 01:13 91K 
[   ]termord__t30_termord2021-07-19 01:13 90K 
[   ]termord__t31_termord2021-07-19 01:14 79K 
[   ]termord__t32_termord2021-07-19 01:15 80K 
[   ]termord__t33_termord2021-07-19 01:16 88K 
[   ]termord__t34_termord2021-07-19 01:16 75K 
[   ]termord__t35_termord2021-07-19 01:17 73K 
[   ]termord__t36_termord2021-07-19 00:58 72K 
[   ]termord__t37_termord2021-07-19 01:18 79K 
[   ]termord__t38_termord2021-07-19 01:18 79K 
[   ]termord__t39_termord2021-07-19 00:59 68K 
[   ]termord__t40_termord2021-07-19 01:00 69K 

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