Index of /~mptp/1147/MPTP2/problems_gdfthf/functor1
Name
Last modified
Size
Description
Parent Directory
-
functor1__l19_functor1
2019-08-24 15:06
162K
functor1__t1_functor1
2019-08-24 15:03
60K
functor1__t2_functor1
2019-08-24 15:03
40K
functor1__t3_functor1
2019-08-24 15:04
76K
functor1__t4_functor1
2019-08-24 15:04
189K
functor1__t5_functor1
2019-08-24 15:04
58K
functor1__t6_functor1
2019-08-24 15:04
76K
functor1__t7_functor1
2019-08-24 15:04
121K
functor1__t8_functor1
2019-08-24 15:04
103K
functor1__t9_functor1
2019-08-24 15:05
202K
functor1__t10_functor1
2019-08-24 15:05
65K
functor1__t11_functor1
2019-08-24 15:05
65K
functor1__t12_functor1
2019-08-24 15:05
65K
functor1__t13_functor1
2019-08-24 15:05
71K
functor1__t14_functor1
2019-08-24 15:05
232K
functor1__t15_functor1
2019-08-24 15:05
173K
functor1__t16_functor1
2019-08-24 15:05
95K
functor1__t17_functor1
2019-08-24 15:06
192K
functor1__t18_functor1
2019-08-24 15:06
248K
functor1__t19_functor1
2019-08-24 15:07
203K
functor1__t20_functor1
2019-08-24 15:07
188K
functor1__t21_functor1
2019-08-24 15:08
402K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80