Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/ratfunc1
Name
Last modified
Size
Description
Parent Directory
-
ratfunc1__t36_ratfunc1
2016-03-08 13:08
121K
ratfunc1__t35_ratfunc1
2016-03-08 13:08
77K
ratfunc1__t34_ratfunc1
2016-03-08 13:08
72K
ratfunc1__t33_ratfunc1
2016-03-08 13:08
82K
ratfunc1__t32_ratfunc1
2016-03-08 13:08
75K
ratfunc1__t31_ratfunc1
2016-03-08 13:08
74K
ratfunc1__t30_ratfunc1
2016-03-08 13:08
132K
ratfunc1__t29_ratfunc1
2016-03-08 13:08
162K
ratfunc1__t28_ratfunc1
2016-03-08 13:08
84K
ratfunc1__t27_ratfunc1
2016-03-08 13:08
114K
ratfunc1__t26_ratfunc1
2017-01-05 20:54
174K
ratfunc1__t25_ratfunc1
2016-03-08 13:08
75K
ratfunc1__t24_ratfunc1
2016-03-08 13:08
87K
ratfunc1__t23_ratfunc1
2016-03-08 13:08
110K
ratfunc1__t22_ratfunc1
2016-03-08 13:08
111K
ratfunc1__t21_ratfunc1
2017-01-05 20:54
209K
ratfunc1__t20_ratfunc1
2016-03-08 13:08
67K
ratfunc1__t19_ratfunc1
2016-03-08 13:08
46K
ratfunc1__t18_ratfunc1
2016-03-08 13:08
70K
ratfunc1__t17_ratfunc1
2016-03-08 13:08
85K
ratfunc1__t16_ratfunc1
2016-03-08 13:08
56K
ratfunc1__t15_ratfunc1
2016-03-08 13:08
52K
ratfunc1__t14_ratfunc1
2016-03-08 13:08
56K
ratfunc1__t13_ratfunc1
2016-03-08 13:08
49K
ratfunc1__t12_ratfunc1
2017-01-05 20:54
143K
ratfunc1__t11_ratfunc1
2017-01-05 20:54
125K
ratfunc1__t10_ratfunc1
2016-03-08 13:08
75K
ratfunc1__t9_ratfunc1
2016-03-08 13:08
93K
ratfunc1__t8_ratfunc1
2016-03-08 13:08
74K
ratfunc1__t7_ratfunc1
2016-03-08 13:08
75K
ratfunc1__t6_ratfunc1
2017-01-05 20:54
90K
ratfunc1__t5_ratfunc1
2017-01-05 20:54
89K
ratfunc1__t4_ratfunc1
2016-03-08 13:08
4.9K
ratfunc1__t3_ratfunc1
2017-01-05 20:54
113K
ratfunc1__t2_ratfunc1
2017-01-05 20:54
109K
ratfunc1__t1_ratfunc1
2017-01-05 20:54
71K
ratfunc1__l52_ratfunc1
2016-03-08 13:08
76K
ratfunc1__l47_ratfunc1
2016-03-08 13:08
57K
ratfunc1__l42_ratfunc1
2017-01-05 20:54
125K
ratfunc1__l40_ratfunc1
2017-01-05 20:54
230K
ratfunc1__l39_ratfunc1
2017-01-05 20:54
109K
ratfunc1__l37_ratfunc1
2016-03-08 13:08
96K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80