Index of /~mptp/mml5.63.1382/MPTP2/problems_small_thf.orig2021/rfinseq

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]rfinseq__l5_rfinseq2021-07-18 23:00 52K 
[   ]rfinseq__l6_rfinseq2021-07-18 23:00 100K 
[   ]rfinseq__l9_rfinseq2021-07-18 23:00 55K 
[   ]rfinseq__l12_rfinseq2021-07-18 23:01 118K 
[   ]rfinseq__l29_rfinseq2021-07-18 23:01 93K 
[   ]rfinseq__l30_rfinseq2021-07-18 23:02 47K 
[   ]rfinseq__l31_rfinseq2021-07-18 23:02 211K 
[   ]rfinseq__l33_rfinseq2021-07-18 23:03 108K 
[   ]rfinseq__t1_rfinseq2021-07-18 22:46 52K 
[   ]rfinseq__t2_rfinseq2021-07-18 22:46 43K 
[   ]rfinseq__t3_rfinseq2021-07-18 22:46 51K 
[   ]rfinseq__t4_rfinseq2021-07-18 22:47 65K 
[   ]rfinseq__t5_rfinseq2021-07-18 22:47 51K 
[   ]rfinseq__t6_rfinseq2021-07-18 22:48 63K 
[   ]rfinseq__t7_rfinseq2021-07-18 22:48 99K 
[   ]rfinseq__t8_rfinseq2021-07-18 22:48 70K 
[   ]rfinseq__t9_rfinseq2021-07-18 22:49 123K 
[   ]rfinseq__t10_rfinseq2021-07-18 22:50 289K 
[   ]rfinseq__t11_rfinseq2021-07-18 22:50 290K 
[   ]rfinseq__t12_rfinseq2021-07-18 22:50 55K 
[   ]rfinseq__t13_rfinseq2021-07-18 22:51 65K 
[   ]rfinseq__t14_rfinseq2021-07-18 22:51 97K 
[   ]rfinseq__t15_rfinseq2021-07-18 22:52 97K 
[   ]rfinseq__t16_rfinseq2021-07-18 22:52 198K 
[   ]rfinseq__t17_rfinseq2021-07-18 22:53 88K 
[   ]rfinseq__t18_rfinseq2021-07-18 22:53 60K 
[   ]rfinseq__t19_rfinseq2021-07-18 22:53 53K 
[   ]rfinseq__t20_rfinseq2021-07-18 22:54 74K 
[   ]rfinseq__t21_rfinseq2021-07-18 22:54 73K 
[   ]rfinseq__t22_rfinseq2021-07-18 22:55 52K 
[   ]rfinseq__t23_rfinseq2021-07-18 22:55 47K 
[   ]rfinseq__t24_rfinseq2021-07-18 22:56 90K 
[   ]rfinseq__t25_rfinseq2021-07-18 22:56 80K 
[   ]rfinseq__t26_rfinseq2021-07-18 22:56 39K 
[   ]rfinseq__t27_rfinseq2021-07-18 22:57 58K 
[   ]rfinseq__t28_rfinseq2021-07-18 22:57 87K 
[   ]rfinseq__t29_rfinseq2021-07-18 22:57 66K 
[   ]rfinseq__t30_rfinseq2021-07-18 22:58 60K 
[   ]rfinseq__t31_rfinseq2021-07-18 22:58 52K 
[   ]rfinseq__t32_rfinseq2021-07-18 22:59 100K 
[   ]rfinseq__t33_rfinseq2021-07-18 22:59 53K 

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