Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/treal_1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]treal_1__l1_treal_12013-09-04 12:06 6.3K 
[   ]treal_1__l2_treal_12013-09-04 12:06 17K 
[   ]treal_1__t1_treal_12013-09-04 12:06 44K 
[   ]treal_1__t2_treal_12013-09-04 12:06 17K 
[   ]treal_1__t3_treal_12013-09-04 12:06 18K 
[   ]treal_1__t4_treal_12013-09-04 12:06 24K 
[   ]treal_1__t5_treal_12013-09-04 12:06 18K 
[   ]treal_1__t6_treal_12013-09-04 12:06 17K 
[   ]treal_1__t7_treal_12013-09-04 12:06 29K 
[   ]treal_1__t8_treal_12013-09-04 12:06 37K 
[   ]treal_1__t9_treal_12013-09-04 12:06 29K 
[   ]treal_1__t10_treal_12013-09-04 12:06 31K 
[   ]treal_1__t11_treal_12013-09-04 12:06 32K 
[   ]treal_1__t12_treal_12013-09-04 12:06 39K 
[   ]treal_1__t13_treal_12013-09-04 12:06 43K 
[   ]treal_1__t14_treal_12013-09-04 12:06 34K 
[   ]treal_1__t15_treal_12013-09-04 12:06 51K 
[   ]treal_1__t16_treal_12013-09-04 12:06 51K 
[   ]treal_1__t17_treal_12013-09-04 12:06 32K 
[   ]treal_1__t18_treal_12013-09-04 12:06 32K 
[   ]treal_1__t19_treal_12013-09-04 12:06 99K 
[   ]treal_1__t20_treal_12013-09-04 12:06 28K 
[   ]treal_1__t21_treal_12013-09-04 12:06 112K 
[   ]treal_1__t22_treal_12013-09-04 12:06 31K 
[   ]treal_1__t23_treal_12013-09-04 12:06 29K 
[   ]treal_1__t24_treal_12013-09-04 12:06 27K 

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