Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/rfinseq2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rfinseq2__l18_rfinseq22016-03-08 13:08 69K 
[ ]rfinseq2__l20_rfinseq22016-03-08 13:08 69K 
[ ]rfinseq2__l25_rfinseq22016-03-08 13:08 70K 
[ ]rfinseq2__l27_rfinseq22016-03-08 13:08 81K 
[ ]rfinseq2__t1_rfinseq22016-03-08 13:08 48K 
[ ]rfinseq2__t2_rfinseq22016-03-08 13:08 48K 
[ ]rfinseq2__t3_rfinseq22016-03-08 13:08 50K 
[ ]rfinseq2__t4_rfinseq22016-03-08 13:08 50K 
[ ]rfinseq2__t5_rfinseq22016-03-08 13:08 59K 
[ ]rfinseq2__t6_rfinseq22016-03-08 13:08 59K 
[ ]rfinseq2__t7_rfinseq22016-03-08 13:08 64K 
[ ]rfinseq2__t8_rfinseq22016-03-08 13:08 64K 
[ ]rfinseq2__t9_rfinseq22016-03-08 13:08 59K 
[ ]rfinseq2__t10_rfinseq22016-03-08 13:08 57K 
[ ]rfinseq2__t11_rfinseq22016-03-08 13:08 63K 
[ ]rfinseq2__t12_rfinseq22016-03-08 13:08 63K 
[ ]rfinseq2__t13_rfinseq22016-03-08 13:08 67K 
[ ]rfinseq2__t14_rfinseq22016-03-08 13:08 43K 
[ ]rfinseq2__t15_rfinseq22016-03-08 13:08 43K 
[ ]rfinseq2__t16_rfinseq22016-03-08 13:08 54K 
[ ]rfinseq2__t17_rfinseq22016-03-08 13:08 50K 
[ ]rfinseq2__t18_rfinseq22016-03-08 13:08 55K 
[ ]rfinseq2__t19_rfinseq22016-03-08 13:08 40K 
[ ]rfinseq2__t20_rfinseq22016-03-08 13:08 38K 
[ ]rfinseq2__t21_rfinseq22016-03-08 13:08 38K 
[ ]rfinseq2__t24_rfinseq22016-03-08 13:08 65K 
[ ]rfinseq2__t25_rfinseq22016-03-08 13:08 65K 
[ ]rfinseq2__t26_rfinseq22016-03-08 13:08 71K 
[ ]rfinseq2__t27_rfinseq22016-03-08 13:08 68K 
[ ]rfinseq2__t28_rfinseq22016-03-08 13:08 41K 
[ ]rfinseq2__t29_rfinseq22016-03-08 13:08 41K 
[ ]rfinseq2__t30_rfinseq22016-03-08 13:08 41K 
[ ]rfinseq2__t31_rfinseq22016-03-08 13:08 42K 
[ ]rfinseq2__t32_rfinseq22016-03-08 13:08 56K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80