Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/sfmastr2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]sfmastr2__t1_sfmastr22013-09-04 12:46 82K 
[   ]sfmastr2__t2_sfmastr22013-09-04 12:46 83K 
[   ]sfmastr2__t3_sfmastr22013-09-04 12:46 67K 
[   ]sfmastr2__t4_sfmastr22013-09-04 12:46 66K 
[   ]sfmastr2__t5_sfmastr22013-09-04 12:46 66K 
[   ]sfmastr2__t8_sfmastr22013-09-04 12:46 96K 
[   ]sfmastr2__t9_sfmastr22013-09-04 12:46 96K 
[   ]sfmastr2__t10_sfmastr22013-09-04 12:46 113K 
[   ]sfmastr2__t11_sfmastr22013-09-04 12:46 114K 
[   ]sfmastr2__t12_sfmastr22013-09-04 12:46 140K 
[   ]sfmastr2__t13_sfmastr22013-09-04 12:46 114K 
[   ]sfmastr2__t14_sfmastr22013-09-04 12:46 113K 
[   ]sfmastr2__t15_sfmastr22013-09-04 12:46 106K 
[   ]sfmastr2__t16_sfmastr22013-09-04 12:46 124K 
[   ]sfmastr2__t17_sfmastr22013-09-04 12:46 212K 
[   ]sfmastr2__t18_sfmastr22013-09-04 12:46 160K 
[   ]sfmastr2__t19_sfmastr22013-09-04 12:46 123K 
[   ]sfmastr2__t20_sfmastr22013-09-04 12:46 131K 
[   ]sfmastr2__t21_sfmastr22013-09-04 12:46 160K 
[   ]sfmastr2__t22_sfmastr22013-09-04 12:46 126K 
[   ]sfmastr2__t23_sfmastr22013-09-04 12:46 224K 
[   ]sfmastr2__t24_sfmastr22013-09-04 12:46 219K 
[   ]sfmastr2__t25_sfmastr22013-09-04 12:46 124K 
[   ]sfmastr2__t26_sfmastr22013-09-04 12:46 233K 
[   ]sfmastr2__t27_sfmastr22013-09-04 12:46 179K 

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