Index of /~mptp/7.13.01_4.181.1147/mptp/problems_from_newthf1/knaster

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]knaster__t4_knaster2023-06-27 17:16 23K 
[   ]knaster__t5_knaster2023-06-27 17:16 23K 
[   ]knaster__t9_knaster2023-06-27 17:16 31K 
[   ]knaster__t13_knaster2023-06-27 17:16 32K 
[   ]knaster__t14_knaster2023-06-27 17:16 33K 
[   ]knaster__t15_knaster2023-06-27 17:16 32K 
[   ]knaster__t16_knaster2023-06-27 17:16 33K 
[   ]knaster__t17_knaster2023-06-27 17:16 33K 
[   ]knaster__t18_knaster2023-06-27 17:16 33K 
[   ]knaster__t19_knaster2023-06-27 17:16 41K 
[   ]knaster__t20_knaster2023-06-27 17:16 41K 
[   ]knaster__t22_knaster2023-06-27 17:16 38K 
[   ]knaster__t23_knaster2023-06-27 17:16 38K 
[   ]knaster__t24_knaster2023-06-27 17:16 43K 
[   ]knaster__t25_knaster2023-06-27 17:16 43K 
[   ]knaster__t28_knaster2023-06-27 17:16 39K 
[   ]knaster__t29_knaster2023-06-27 17:16 40K 
[   ]knaster__t30_knaster2023-06-27 17:16 38K 
[   ]knaster__t31_knaster2023-06-27 17:16 38K 
[   ]knaster__t34_knaster2023-06-27 17:16 38K 
[   ]knaster__t35_knaster2023-06-27 17:16 38K 
[   ]knaster__t43_knaster2023-06-27 17:16 46K 

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