Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/sfmastr3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sfmastr3__l28_sfmastr32021-07-19 01:16 327K 
[ ]sfmastr3__t2_sfmastr32021-07-19 00:49 119K 
[ ]sfmastr3__t3_sfmastr32021-07-19 00:50 122K 
[ ]sfmastr3__t4_sfmastr32021-07-19 00:51 108K 
[ ]sfmastr3__t5_sfmastr32021-07-19 00:51 104K 
[ ]sfmastr3__t6_sfmastr32021-07-19 00:52 106K 
[ ]sfmastr3__t16_sfmastr32021-07-19 00:53 256K 
[ ]sfmastr3__t17_sfmastr32021-07-19 00:48 244K 
[ ]sfmastr3__t18_sfmastr32021-07-19 00:55 286K 
[ ]sfmastr3__t21_sfmastr32021-07-19 00:56 298K 
[ ]sfmastr3__t22_sfmastr32021-07-19 00:57 220K 
[ ]sfmastr3__t23_sfmastr32021-07-19 00:58 227K 
[ ]sfmastr3__t24_sfmastr32021-07-19 00:59 313K 
[ ]sfmastr3__t25_sfmastr32021-07-19 01:01 390K 
[ ]sfmastr3__t26_sfmastr32021-07-19 01:02 274K 
[ ]sfmastr3__t27_sfmastr32021-07-19 01:03 243K 
[ ]sfmastr3__t28_sfmastr32021-07-19 01:04 234K 
[ ]sfmastr3__t29_sfmastr32021-07-19 01:05 280K 
[ ]sfmastr3__t30_sfmastr32021-07-19 01:07 671K 
[ ]sfmastr3__t31_sfmastr32021-07-19 01:08 676K 
[ ]sfmastr3__t32_sfmastr32021-07-19 01:09 192K 
[ ]sfmastr3__t33_sfmastr32021-07-19 01:10 236K 
[ ]sfmastr3__t34_sfmastr32021-07-19 01:12 196K 
[ ]sfmastr3__t35_sfmastr32021-07-19 01:13 180K 
[ ]sfmastr3__t36_sfmastr32021-07-19 01:13 180K 
[ ]sfmastr3__t37_sfmastr32021-07-19 01:15 568K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80