Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/sfmastr2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]sfmastr2__t3_sfmastr22025-09-12 10:29 62K 
[   ]sfmastr2__t8_sfmastr22025-09-12 10:32 116K 
[   ]sfmastr2__t9_sfmastr22025-09-12 10:34 117K 
[   ]sfmastr2__t12_sfmastr22025-09-12 10:37 159K 
[   ]sfmastr2__t15_sfmastr22025-09-12 10:28 121K 
[   ]sfmastr2__t18_sfmastr22025-09-12 10:39 222K 
[   ]sfmastr2__t20_sfmastr22025-09-12 10:42 152K 
[   ]sfmastr2__t21_sfmastr22025-09-12 10:45 225K 
[   ]sfmastr2__t22_sfmastr22025-09-12 10:47 148K 
[   ]sfmastr2__t23_sfmastr22025-09-12 10:50 336K 
[   ]sfmastr2__t24_sfmastr22025-09-12 10:53 327K 
[   ]sfmastr2__t25_sfmastr22025-09-12 10:56 146K 
[   ]sfmastr2__t26_sfmastr22025-09-12 10:59 340K 

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