Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/sfmastr3

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]sfmastr3__l28_sfmastr32013-09-04 12:34 187K 
[   ]sfmastr3__t1_sfmastr32013-09-04 12:34 85K 
[   ]sfmastr3__t2_sfmastr32013-09-04 12:34 88K 
[   ]sfmastr3__t3_sfmastr32013-09-04 12:34 62K 
[   ]sfmastr3__t4_sfmastr32013-09-04 12:34 63K 
[   ]sfmastr3__t5_sfmastr32013-09-04 12:34 62K 
[   ]sfmastr3__t6_sfmastr32013-09-04 12:34 64K 
[   ]sfmastr3__t7_sfmastr32013-09-04 12:34 105K 
[   ]sfmastr3__t8_sfmastr32013-09-04 12:34 98K 
[   ]sfmastr3__t9_sfmastr32013-09-04 12:34 96K 
[   ]sfmastr3__t10_sfmastr32013-09-04 12:34 125K 
[   ]sfmastr3__t11_sfmastr32013-09-04 12:34 126K 
[   ]sfmastr3__t12_sfmastr32013-09-04 12:34 126K 
[   ]sfmastr3__t13_sfmastr32013-09-04 12:34 126K 
[   ]sfmastr3__t14_sfmastr32013-09-04 12:34 126K 
[   ]sfmastr3__t15_sfmastr32013-09-04 12:34 128K 
[   ]sfmastr3__t16_sfmastr32013-09-04 12:34 158K 
[   ]sfmastr3__t17_sfmastr32013-09-04 12:34 119K 
[   ]sfmastr3__t18_sfmastr32013-09-04 12:34 158K 
[   ]sfmastr3__t19_sfmastr32013-09-04 12:34 243K 
[   ]sfmastr3__t20_sfmastr32013-09-04 12:34 184K 
[   ]sfmastr3__t21_sfmastr32013-09-04 12:34 170K 
[   ]sfmastr3__t22_sfmastr32013-09-04 12:34 116K 
[   ]sfmastr3__t23_sfmastr32013-09-04 12:34 109K 
[   ]sfmastr3__t24_sfmastr32013-09-04 12:34 174K 
[   ]sfmastr3__t25_sfmastr32013-09-04 12:34 209K 
[   ]sfmastr3__t26_sfmastr32013-09-04 12:34 129K 
[   ]sfmastr3__t27_sfmastr32013-09-04 12:34 121K 
[   ]sfmastr3__t28_sfmastr32013-09-04 12:34 124K 
[   ]sfmastr3__t29_sfmastr32013-09-04 12:34 145K 
[   ]sfmastr3__t30_sfmastr32013-09-04 12:34 359K 
[   ]sfmastr3__t31_sfmastr32013-09-04 12:34 364K 
[   ]sfmastr3__t32_sfmastr32013-09-04 12:34 101K 
[   ]sfmastr3__t33_sfmastr32013-09-04 12:34 140K 
[   ]sfmastr3__t34_sfmastr32013-09-04 12:34 114K 
[   ]sfmastr3__t35_sfmastr32013-09-04 12:34 106K 
[   ]sfmastr3__t36_sfmastr32013-09-04 12:34 105K 
[   ]sfmastr3__t37_sfmastr32013-09-04 12:34 361K 

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