Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/rfinseq2
Name
Last modified
Size
Description
Parent Directory
-
rfinseq2__t20_rfinseq2
2016-03-08 13:08
38K
rfinseq2__t21_rfinseq2
2016-03-08 13:08
38K
rfinseq2__t19_rfinseq2
2016-03-08 13:08
40K
rfinseq2__t28_rfinseq2
2016-03-08 13:08
41K
rfinseq2__t29_rfinseq2
2016-03-08 13:08
41K
rfinseq2__t30_rfinseq2
2016-03-08 13:08
41K
rfinseq2__t31_rfinseq2
2016-03-08 13:08
42K
rfinseq2__t14_rfinseq2
2016-03-08 13:08
43K
rfinseq2__t15_rfinseq2
2016-03-08 13:08
43K
rfinseq2__t1_rfinseq2
2016-03-08 13:08
48K
rfinseq2__t2_rfinseq2
2016-03-08 13:08
48K
rfinseq2__t3_rfinseq2
2016-03-08 13:08
50K
rfinseq2__t4_rfinseq2
2016-03-08 13:08
50K
rfinseq2__t17_rfinseq2
2016-03-08 13:08
50K
rfinseq2__t16_rfinseq2
2016-03-08 13:08
54K
rfinseq2__t18_rfinseq2
2016-03-08 13:08
55K
rfinseq2__t32_rfinseq2
2016-03-08 13:08
56K
rfinseq2__t10_rfinseq2
2016-03-08 13:08
57K
rfinseq2__t9_rfinseq2
2016-03-08 13:08
59K
rfinseq2__t6_rfinseq2
2016-03-08 13:08
59K
rfinseq2__t5_rfinseq2
2016-03-08 13:08
59K
rfinseq2__t11_rfinseq2
2016-03-08 13:08
63K
rfinseq2__t12_rfinseq2
2016-03-08 13:08
63K
rfinseq2__t7_rfinseq2
2016-03-08 13:08
64K
rfinseq2__t8_rfinseq2
2016-03-08 13:08
64K
rfinseq2__t24_rfinseq2
2016-03-08 13:08
65K
rfinseq2__t25_rfinseq2
2016-03-08 13:08
65K
rfinseq2__t13_rfinseq2
2016-03-08 13:08
67K
rfinseq2__t27_rfinseq2
2016-03-08 13:08
68K
rfinseq2__l18_rfinseq2
2016-03-08 13:08
69K
rfinseq2__l20_rfinseq2
2016-03-08 13:08
69K
rfinseq2__l25_rfinseq2
2016-03-08 13:08
70K
rfinseq2__t26_rfinseq2
2016-03-08 13:08
71K
rfinseq2__l27_rfinseq2
2016-03-08 13:08
81K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80