Index of /~mptp/7.13.01_4.181.1147/mptp/problems_notypes/rfinseq

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rfinseq__l5_rfinseq2017-03-01 15:19 24K 
[ ]rfinseq__l6_rfinseq2017-03-01 15:19 46K 
[ ]rfinseq__l9_rfinseq2017-03-01 15:19 28K 
[ ]rfinseq__l28_rfinseq2017-03-01 15:19 39K 
[ ]rfinseq__l29_rfinseq2017-03-01 15:19 23K 
[ ]rfinseq__l30_rfinseq2017-03-01 15:19 107K 
[ ]rfinseq__l32_rfinseq2017-03-01 15:19 47K 
[ ]rfinseq__t1_rfinseq2017-03-01 15:19 27K 
[ ]rfinseq__t2_rfinseq2017-03-01 15:19 23K 
[ ]rfinseq__t3_rfinseq2017-03-01 15:19 23K 
[ ]rfinseq__t4_rfinseq2017-03-01 15:19 28K 
[ ]rfinseq__t5_rfinseq2017-03-01 15:19 25K 
[ ]rfinseq__t6_rfinseq2017-03-01 15:19 32K 
[ ]rfinseq__t7_rfinseq2017-03-01 15:19 47K 
[ ]rfinseq__t8_rfinseq2017-03-01 15:19 53K 
[ ]rfinseq__t9_rfinseq2017-03-01 15:19 59K 
[ ]rfinseq__t10_rfinseq2017-03-01 15:19 149K 
[ ]rfinseq__t11_rfinseq2017-03-01 15:19 148K 
[ ]rfinseq__t12_rfinseq2017-03-01 15:19 27K 
[ ]rfinseq__t13_rfinseq2017-03-01 15:19 32K 
[ ]rfinseq__t14_rfinseq2017-03-01 15:19 34K 
[ ]rfinseq__t15_rfinseq2017-03-01 15:19 50K 
[ ]rfinseq__t16_rfinseq2017-03-01 15:19 97K 
[ ]rfinseq__t17_rfinseq2017-03-01 15:19 45K 
[ ]rfinseq__t18_rfinseq2017-03-01 15:19 30K 
[ ]rfinseq__t19_rfinseq2017-03-01 15:19 31K 
[ ]rfinseq__t20_rfinseq2017-03-01 15:19 30K 
[ ]rfinseq__t21_rfinseq2017-03-01 15:19 37K 
[ ]rfinseq__t22_rfinseq2017-03-01 15:19 25K 
[ ]rfinseq__t23_rfinseq2017-03-01 15:19 23K 
[ ]rfinseq__t24_rfinseq2017-03-01 15:19 41K 
[ ]rfinseq__t25_rfinseq2017-03-01 15:19 37K 
[ ]rfinseq__t26_rfinseq2017-03-01 15:19 22K 
[ ]rfinseq__t27_rfinseq2017-03-01 15:19 31K 
[ ]rfinseq__t28_rfinseq2017-03-01 15:19 39K 
[ ]rfinseq__t29_rfinseq2017-03-01 15:19 36K 
[ ]rfinseq__t30_rfinseq2017-03-01 15:19 27K 
[ ]rfinseq__t31_rfinseq2017-03-01 15:19 27K 
[ ]rfinseq__t32_rfinseq2017-03-01 15:19 49K 
[ ]rfinseq__t33_rfinseq2017-03-01 15:19 23K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80