Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/rfinseq

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]rfinseq__l5_rfinseq2016-03-08 13:08 46K 
[   ]rfinseq__l6_rfinseq2016-03-08 13:08 95K 
[   ]rfinseq__l9_rfinseq2016-03-08 13:08 56K 
[   ]rfinseq__l28_rfinseq2016-03-08 13:08 82K 
[   ]rfinseq__l29_rfinseq2016-03-08 13:08 43K 
[   ]rfinseq__l30_rfinseq2016-03-08 13:08 200K 
[   ]rfinseq__l32_rfinseq2016-03-08 13:08 91K 
[   ]rfinseq__t1_rfinseq2016-03-08 13:08 54K 
[   ]rfinseq__t2_rfinseq2016-03-08 13:08 46K 
[   ]rfinseq__t3_rfinseq2016-03-08 13:08 44K 
[   ]rfinseq__t4_rfinseq2016-03-08 13:08 59K 
[   ]rfinseq__t5_rfinseq2016-03-08 13:08 48K 
[   ]rfinseq__t6_rfinseq2016-03-08 13:08 66K 
[   ]rfinseq__t7_rfinseq2016-03-08 13:08 91K 
[   ]rfinseq__t8_rfinseq2016-03-08 13:08 104K 
[   ]rfinseq__t9_rfinseq2016-03-08 13:08 120K 
[   ]rfinseq__t10_rfinseq2016-03-08 13:08 258K 
[   ]rfinseq__t11_rfinseq2016-03-08 13:08 257K 
[   ]rfinseq__t12_rfinseq2016-03-08 13:08 54K 
[   ]rfinseq__t13_rfinseq2016-03-08 13:08 65K 
[   ]rfinseq__t14_rfinseq2016-03-08 13:08 68K 
[   ]rfinseq__t15_rfinseq2016-03-08 13:08 96K 
[   ]rfinseq__t16_rfinseq2016-03-08 13:08 176K 
[   ]rfinseq__t17_rfinseq2016-03-08 13:08 88K 
[   ]rfinseq__t18_rfinseq2016-03-08 13:08 61K 
[   ]rfinseq__t19_rfinseq2016-03-08 13:08 61K 
[   ]rfinseq__t20_rfinseq2016-03-08 13:08 61K 
[   ]rfinseq__t21_rfinseq2016-03-08 13:08 73K 
[   ]rfinseq__t22_rfinseq2016-03-08 13:08 49K 
[   ]rfinseq__t23_rfinseq2016-03-08 13:08 43K 
[   ]rfinseq__t24_rfinseq2016-03-08 13:08 87K 
[   ]rfinseq__t25_rfinseq2016-03-08 13:08 78K 
[   ]rfinseq__t26_rfinseq2016-03-08 13:08 42K 
[   ]rfinseq__t27_rfinseq2016-03-08 13:08 62K 
[   ]rfinseq__t28_rfinseq2016-03-08 13:08 82K 
[   ]rfinseq__t29_rfinseq2016-03-08 13:08 71K 
[   ]rfinseq__t30_rfinseq2016-03-08 13:08 56K 
[   ]rfinseq__t31_rfinseq2016-03-08 13:08 54K 
[   ]rfinseq__t32_rfinseq2016-03-08 13:08 96K 
[   ]rfinseq__t33_rfinseq2016-03-08 13:08 45K 

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