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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]yellow15__t4_yellow152013-09-04 12:04 25K 
[   ]yellow15__t5_yellow152013-09-04 12:04 27K 
[   ]yellow15__t6_yellow152013-09-04 12:04 25K 
[   ]yellow15__t7_yellow152013-09-04 12:04 24K 
[   ]yellow15__t8_yellow152013-09-04 12:04 24K 
[   ]yellow15__t9_yellow152013-09-04 12:04 27K 
[   ]yellow15__t10_yellow152013-09-04 12:04 29K 
[   ]yellow15__t11_yellow152013-09-04 12:04 25K 
[   ]yellow15__t12_yellow152013-09-04 12:04 28K 
[   ]yellow15__t13_yellow152013-09-04 12:04 26K 
[   ]yellow15__t14_yellow152013-09-04 12:04 29K 
[   ]yellow15__t15_yellow152013-09-04 12:04 23K 
[   ]yellow15__t16_yellow152013-09-04 12:04 26K 
[   ]yellow15__t17_yellow152013-09-04 12:04 38K 
[   ]yellow15__t18_yellow152013-09-04 12:04 31K 
[   ]yellow15__t19_yellow152013-09-04 12:04 32K 
[   ]yellow15__t20_yellow152013-09-04 12:04 37K 
[   ]yellow15__t21_yellow152013-09-04 12:04 15K 
[   ]yellow15__t22_yellow152013-09-04 12:04 16K 
[   ]yellow15__t23_yellow152013-09-04 12:04 20K 
[   ]yellow15__t24_yellow152013-09-04 12:04 20K 
[   ]yellow15__t25_yellow152013-09-04 12:04 27K 
[   ]yellow15__t26_yellow152013-09-04 12:04 23K 
[   ]yellow15__t27_yellow152013-09-04 12:04 36K 
[   ]yellow15__t28_yellow152013-09-04 12:04 35K 
[   ]yellow15__t29_yellow152013-09-04 12:04 34K 
[   ]yellow15__t30_yellow152013-09-04 12:04 25K 
[   ]yellow15__t31_yellow152013-09-04 12:04 27K 

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