Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/hallmar1
Name
Last modified
Size
Description
Parent Directory
-
hallmar1__t10_hallmar1
2016-03-08 13:06
42K
hallmar1__t11_hallmar1
2016-03-08 13:06
44K
hallmar1__t12_hallmar1
2016-03-08 13:06
41K
hallmar1__t13_hallmar1
2016-03-08 13:06
40K
hallmar1__t14_hallmar1
2016-03-08 13:06
42K
hallmar1__t15_hallmar1
2016-03-08 13:06
46K
hallmar1__t16_hallmar1
2016-03-08 13:06
43K
hallmar1__t17_hallmar1
2016-03-08 13:06
56K
hallmar1__t18_hallmar1
2016-03-08 13:06
50K
hallmar1__t19_hallmar1
2016-03-08 13:06
38K
hallmar1__t1_hallmar1
2016-03-08 13:06
43K
hallmar1__t20_hallmar1
2016-03-08 13:06
40K
hallmar1__t21_hallmar1
2016-03-08 13:06
36K
hallmar1__t22_hallmar1
2016-03-08 13:06
37K
hallmar1__t23_hallmar1
2016-03-08 13:06
39K
hallmar1__t24_hallmar1
2016-03-08 13:06
44K
hallmar1__t25_hallmar1
2016-03-08 13:06
37K
hallmar1__t26_hallmar1
2016-03-08 13:06
36K
hallmar1__t27_hallmar1
2016-03-08 13:06
41K
hallmar1__t28_hallmar1
2016-03-08 13:06
37K
hallmar1__t29_hallmar1
2016-03-08 13:06
77K
hallmar1__t2_hallmar1
2016-03-08 13:06
38K
hallmar1__t30_hallmar1
2016-03-08 13:06
83K
hallmar1__t31_hallmar1
2016-03-08 13:06
59K
hallmar1__t32_hallmar1
2016-03-08 13:06
42K
hallmar1__t3_hallmar1
2016-03-08 13:06
38K
hallmar1__t4_hallmar1
2016-03-08 13:06
36K
hallmar1__t5_hallmar1
2016-03-08 13:06
38K
hallmar1__t6_hallmar1
2016-03-08 13:06
40K
hallmar1__t7_hallmar1
2016-03-08 13:06
37K
hallmar1__t8_hallmar1
2016-03-08 13:06
42K
hallmar1__t9_hallmar1
2016-03-08 13:06
40K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80