Index of /~mptp/1147/MPTP2/problems/sfmastr3

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]sfmastr3__l28_sfmastr32023-06-28 00:40 291K 
[   ]sfmastr3__t1_sfmastr32023-06-28 00:40 131K 
[   ]sfmastr3__t2_sfmastr32023-06-28 00:40 136K 
[   ]sfmastr3__t3_sfmastr32023-06-28 00:40 97K 
[   ]sfmastr3__t4_sfmastr32023-06-28 00:40 99K 
[   ]sfmastr3__t5_sfmastr32023-06-28 00:40 97K 
[   ]sfmastr3__t6_sfmastr32023-06-28 00:40 101K 
[   ]sfmastr3__t7_sfmastr32023-06-28 00:40 160K 
[   ]sfmastr3__t8_sfmastr32023-06-28 00:40 150K 
[   ]sfmastr3__t9_sfmastr32023-06-28 00:40 146K 
[   ]sfmastr3__t10_sfmastr32023-06-28 00:40 192K 
[   ]sfmastr3__t11_sfmastr32023-06-28 00:40 193K 
[   ]sfmastr3__t12_sfmastr32023-06-28 00:40 193K 
[   ]sfmastr3__t13_sfmastr32023-06-28 00:40 193K 
[   ]sfmastr3__t14_sfmastr32023-06-28 00:40 193K 
[   ]sfmastr3__t15_sfmastr32023-06-28 00:40 197K 
[   ]sfmastr3__t16_sfmastr32023-06-28 00:40 247K 
[   ]sfmastr3__t17_sfmastr32023-06-28 00:40 182K 
[   ]sfmastr3__t18_sfmastr32023-06-28 00:40 241K 
[   ]sfmastr3__t19_sfmastr32023-06-28 00:40 394K 
[   ]sfmastr3__t20_sfmastr32023-06-28 00:40 295K 
[   ]sfmastr3__t21_sfmastr32023-06-28 00:40 264K 
[   ]sfmastr3__t22_sfmastr32023-06-28 00:40 177K 
[   ]sfmastr3__t23_sfmastr32023-06-28 00:40 166K 
[   ]sfmastr3__t24_sfmastr32023-06-28 00:40 272K 
[   ]sfmastr3__t25_sfmastr32023-06-28 00:40 334K 
[   ]sfmastr3__t26_sfmastr32023-06-28 00:40 196K 
[   ]sfmastr3__t27_sfmastr32023-06-28 00:40 184K 
[   ]sfmastr3__t28_sfmastr32023-06-28 00:40 188K 
[   ]sfmastr3__t29_sfmastr32023-06-28 00:40 221K 
[   ]sfmastr3__t30_sfmastr32023-06-28 00:40 588K 
[   ]sfmastr3__t31_sfmastr32023-06-28 00:40 598K 
[   ]sfmastr3__t32_sfmastr32023-06-28 00:40 154K 
[   ]sfmastr3__t33_sfmastr32023-06-28 00:40 216K 
[   ]sfmastr3__t34_sfmastr32023-06-28 00:40 175K 
[   ]sfmastr3__t35_sfmastr32023-06-28 00:40 162K 
[   ]sfmastr3__t36_sfmastr32023-06-28 00:40 161K 
[   ]sfmastr3__t37_sfmastr32023-06-28 00:40 520K 

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