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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]lagra4sq__l8_lagra4sq2021-07-19 05:36 34K 
[   ]lagra4sq__l9_lagra4sq2021-07-19 05:36 30K 
[   ]lagra4sq__l19_lagra4sq2021-07-19 05:36 71K 
[   ]lagra4sq__l21_lagra4sq2021-07-19 05:37 37K 
[   ]lagra4sq__t1_lagra4sq2021-07-19 05:26 78K 
[   ]lagra4sq__t2_lagra4sq2021-07-19 05:27 270K 
[   ]lagra4sq__t3_lagra4sq2021-07-19 05:28 270K 
[   ]lagra4sq__t4_lagra4sq2021-07-19 05:28 283K 
[   ]lagra4sq__t5_lagra4sq2021-07-19 05:29 283K 
[   ]lagra4sq__t6_lagra4sq2021-07-19 05:30 614K 
[   ]lagra4sq__t7_lagra4sq2021-07-19 05:31 217K 
[   ]lagra4sq__t8_lagra4sq2021-07-19 05:31 35K 
[   ]lagra4sq__t9_lagra4sq2021-07-19 05:31 33K 
[   ]lagra4sq__t10_lagra4sq2021-07-19 05:32 244K 
[   ]lagra4sq__t11_lagra4sq2021-07-19 05:32 26K 
[   ]lagra4sq__t12_lagra4sq2021-07-19 05:33 385K 
[   ]lagra4sq__t13_lagra4sq2021-07-19 05:27 24K 
[   ]lagra4sq__t14_lagra4sq2021-07-19 05:33 31K 
[   ]lagra4sq__t15_lagra4sq2021-07-19 05:33 78K 
[   ]lagra4sq__t16_lagra4sq2021-07-19 05:34 82K 
[   ]lagra4sq__t17_lagra4sq2021-07-19 05:35 298K 
[   ]lagra4sq__t18_lagra4sq2021-07-19 05:35 83K 

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