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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]roughs_4__l37_roughs_42021-07-18 23:55 60K 
[   ]roughs_4__t1_roughs_42021-07-18 23:45 30K 
[   ]roughs_4__t2_roughs_42021-07-18 23:46 40K 
[   ]roughs_4__t3_roughs_42021-07-18 23:46 37K 
[   ]roughs_4__t4_roughs_42021-07-18 23:46 58K 
[   ]roughs_4__t5_roughs_42021-07-18 23:47 47K 
[   ]roughs_4__t6_roughs_42021-07-18 23:47 50K 
[   ]roughs_4__t7_roughs_42021-07-18 23:48 53K 
[   ]roughs_4__t8_roughs_42021-07-18 23:48 54K 
[   ]roughs_4__t9_roughs_42021-07-18 23:49 64K 
[   ]roughs_4__t10_roughs_42021-07-18 23:49 64K 
[   ]roughs_4__t11_roughs_42021-07-18 23:49 64K 
[   ]roughs_4__t12_roughs_42021-07-18 23:50 67K 
[   ]roughs_4__t13_roughs_42021-07-18 23:45 66K 
[   ]roughs_4__t14_roughs_42021-07-18 23:50 67K 
[   ]roughs_4__t15_roughs_42021-07-18 23:51 68K 
[   ]roughs_4__t16_roughs_42021-07-18 23:51 66K 
[   ]roughs_4__t17_roughs_42021-07-18 23:52 69K 
[   ]roughs_4__t18_roughs_42021-07-18 23:45 69K 
[   ]roughs_4__t19_roughs_42021-07-18 23:52 69K 
[   ]roughs_4__t20_roughs_42021-07-18 23:53 78K 
[   ]roughs_4__t21_roughs_42021-07-18 23:53 75K 
[   ]roughs_4__t22_roughs_42021-07-18 23:54 87K 
[   ]roughs_4__t23_roughs_42021-07-18 23:54 84K 

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