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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]sfmastr1__l6_sfmastr12013-09-04 12:19 209K 
[   ]sfmastr1__t1_sfmastr12013-09-04 12:19 94K 
[   ]sfmastr1__t2_sfmastr12013-09-04 12:19 169K 
[   ]sfmastr1__t3_sfmastr12013-09-04 12:19 144K 
[   ]sfmastr1__t4_sfmastr12013-09-04 12:19 108K 
[   ]sfmastr1__t5_sfmastr12013-09-04 12:19 168K 
[   ]sfmastr1__t6_sfmastr12013-09-04 12:19 174K 
[   ]sfmastr1__t7_sfmastr12013-09-04 12:19 101K 
[   ]sfmastr1__t8_sfmastr12013-09-04 12:19 104K 
[   ]sfmastr1__t9_sfmastr12013-09-04 12:19 104K 
[   ]sfmastr1__t10_sfmastr12013-09-04 12:19 90K 
[   ]sfmastr1__t11_sfmastr12013-09-04 12:19 113K 
[   ]sfmastr1__t12_sfmastr12013-09-04 12:19 115K 
[   ]sfmastr1__t13_sfmastr12013-09-04 12:19 110K 
[   ]sfmastr1__t14_sfmastr12013-09-04 12:19 103K 
[   ]sfmastr1__t15_sfmastr12013-09-04 12:19 106K 
[   ]sfmastr1__t16_sfmastr12013-09-04 12:19 110K 
[   ]sfmastr1__t22_sfmastr12013-09-04 12:19 100K 
[   ]sfmastr1__t23_sfmastr12013-09-04 12:19 200K 

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