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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]rsspace__t1_rsspace2013-09-04 13:01 16K 
[   ]rsspace__t2_rsspace2013-09-04 13:01 34K 
[   ]rsspace__t3_rsspace2013-09-04 13:01 30K 
[   ]rsspace__t4_rsspace2013-09-04 13:01 37K 
[   ]rsspace__t5_rsspace2013-09-04 13:01 40K 
[   ]rsspace__t6_rsspace2013-09-04 13:01 47K 
[   ]rsspace__t7_rsspace2013-09-04 13:01 41K 
[   ]rsspace__t8_rsspace2013-09-04 13:01 51K 
[   ]rsspace__t9_rsspace2013-09-04 13:01 34K 
[   ]rsspace__t10_rsspace2013-09-04 13:01 31K 
[   ]rsspace__t11_rsspace2013-09-04 13:01 32K 
[   ]rsspace__t12_rsspace2013-09-04 13:01 30K 
[   ]rsspace__t13_rsspace2013-09-04 13:01 31K 
[   ]rsspace__t14_rsspace2013-09-04 13:01 42K 
[   ]rsspace__t15_rsspace2013-09-04 13:01 35K 
[   ]rsspace__t16_rsspace2013-09-04 13:01 31K 
[   ]rsspace__t17_rsspace2013-09-04 13:01 32K 

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