Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/funcsdom
Name
Last modified
Size
Description
Parent Directory
-
funcsdom__t25_funcsdom
2016-03-08 13:05
69K
funcsdom__t26_funcsdom
2016-03-08 13:05
65K
funcsdom__l21_funcsdom
2016-03-08 13:05
64K
funcsdom__t14_funcsdom
2016-03-08 13:05
64K
funcsdom__t23_funcsdom
2016-03-08 13:05
63K
funcsdom__t4_funcsdom
2016-03-08 13:05
61K
funcsdom__t15_funcsdom
2016-03-08 13:05
59K
funcsdom__t16_funcsdom
2016-03-08 13:05
59K
funcsdom__t13_funcsdom
2016-03-08 13:05
58K
funcsdom__t12_funcsdom
2016-03-08 13:05
57K
funcsdom__t9_funcsdom
2016-03-08 13:05
56K
funcsdom__t11_funcsdom
2016-03-08 13:05
56K
funcsdom__l33_funcsdom
2016-03-08 13:05
56K
funcsdom__l38_funcsdom
2016-03-08 13:05
55K
funcsdom__t10_funcsdom
2016-03-08 13:05
55K
funcsdom__t2_funcsdom
2016-03-08 13:05
53K
funcsdom__t18_funcsdom
2016-03-08 13:05
51K
funcsdom__t24_funcsdom
2016-03-08 13:05
48K
funcsdom__t27_funcsdom
2016-03-08 13:05
48K
funcsdom__t22_funcsdom
2016-03-08 13:05
47K
funcsdom__t20_funcsdom
2016-03-08 13:05
47K
funcsdom__t19_funcsdom
2016-03-08 13:05
44K
funcsdom__t1_funcsdom
2016-03-08 13:05
43K
funcsdom__t21_funcsdom
2016-03-08 13:05
38K
funcsdom__t8_funcsdom
2016-03-08 13:05
38K
funcsdom__t6_funcsdom
2016-03-08 13:05
38K
funcsdom__t7_funcsdom
2016-03-08 13:05
38K
funcsdom__t5_funcsdom
2016-03-08 13:05
38K
funcsdom__t3_funcsdom
2016-03-08 13:05
36K
funcsdom__t17_funcsdom
2016-03-08 13:05
29K
funcsdom__l6_funcsdom
2016-03-08 13:05
20K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80