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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]sfmastr1__l6_sfmastr12025-09-12 05:47 177K 
[   ]sfmastr1__t1_sfmastr12025-09-12 05:07 115K 
[   ]sfmastr1__t3_sfmastr12025-09-12 05:10 158K 
[   ]sfmastr1__t4_sfmastr12025-09-12 05:12 122K 
[   ]sfmastr1__t5_sfmastr12025-09-12 05:15 148K 
[   ]sfmastr1__t6_sfmastr12025-09-12 05:18 173K 
[   ]sfmastr1__t7_sfmastr12025-09-12 05:20 125K 
[   ]sfmastr1__t8_sfmastr12025-09-12 05:23 128K 
[   ]sfmastr1__t9_sfmastr12025-09-12 05:25 128K 
[   ]sfmastr1__t10_sfmastr12025-09-12 05:28 107K 
[   ]sfmastr1__t11_sfmastr12025-09-12 05:30 143K 
[   ]sfmastr1__t12_sfmastr12025-09-12 05:33 146K 
[   ]sfmastr1__t13_sfmastr12025-09-12 05:36 139K 
[   ]sfmastr1__t14_sfmastr12025-09-12 05:38 131K 
[   ]sfmastr1__t15_sfmastr12025-09-12 05:41 135K 
[   ]sfmastr1__t16_sfmastr12025-09-12 05:43 140K 

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