Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/algspec1
Name
Last modified
Size
Description
Parent Directory
-
algspec1__t63_algspec1
2016-03-08 13:04
38K
algspec1__t62_algspec1
2016-03-08 13:04
60K
algspec1__t61_algspec1
2016-03-08 13:04
25K
algspec1__t60_algspec1
2016-03-08 13:04
37K
algspec1__t59_algspec1
2016-03-08 13:04
61K
algspec1__t58_algspec1
2016-03-08 13:04
53K
algspec1__t57_algspec1
2016-03-08 13:04
40K
algspec1__t56_algspec1
2016-03-08 13:04
18K
algspec1__t55_algspec1
2016-03-08 13:04
19K
algspec1__t54_algspec1
2016-03-08 13:04
77K
algspec1__t53_algspec1
2016-03-08 13:04
52K
algspec1__t52_algspec1
2016-03-08 13:04
47K
algspec1__t51_algspec1
2016-03-08 13:04
31K
algspec1__t50_algspec1
2016-03-08 13:04
48K
algspec1__t49_algspec1
2016-03-08 13:04
58K
algspec1__t48_algspec1
2016-03-08 13:04
62K
algspec1__t47_algspec1
2016-03-08 13:04
64K
algspec1__t46_algspec1
2016-03-08 13:04
2.8K
algspec1__t45_algspec1
2016-03-08 13:04
2.6K
algspec1__t44_algspec1
2016-03-08 13:04
48K
algspec1__t43_algspec1
2016-03-08 13:04
48K
algspec1__t42_algspec1
2016-03-08 13:04
42K
algspec1__t41_algspec1
2016-03-08 13:04
45K
algspec1__t40_algspec1
2016-03-08 13:04
46K
algspec1__t39_algspec1
2016-03-08 13:04
65K
algspec1__t38_algspec1
2016-03-08 13:04
57K
algspec1__t37_algspec1
2016-03-08 13:04
58K
algspec1__t36_algspec1
2016-03-08 13:04
46K
algspec1__t35_algspec1
2016-03-08 13:04
46K
algspec1__t34_algspec1
2016-03-08 13:04
20K
algspec1__t33_algspec1
2016-03-08 13:04
53K
algspec1__t32_algspec1
2016-03-08 13:04
48K
algspec1__t31_algspec1
2016-03-08 13:04
54K
algspec1__t30_algspec1
2016-03-08 13:04
53K
algspec1__t29_algspec1
2016-03-08 13:04
53K
algspec1__t28_algspec1
2016-03-08 13:04
4.7K
algspec1__t27_algspec1
2016-03-08 13:04
38K
algspec1__t26_algspec1
2016-03-08 13:04
31K
algspec1__t25_algspec1
2016-03-08 13:04
30K
algspec1__t24_algspec1
2016-03-08 13:04
30K
algspec1__t23_algspec1
2016-03-08 13:04
10K
algspec1__t22_algspec1
2016-03-08 13:04
47K
algspec1__t21_algspec1
2016-03-08 13:04
41K
algspec1__t20_algspec1
2016-03-08 13:04
15K
algspec1__t19_algspec1
2016-03-08 13:04
14K
algspec1__t18_algspec1
2016-03-08 13:04
20K
algspec1__t17_algspec1
2016-03-08 13:04
14K
algspec1__t16_algspec1
2016-03-08 13:04
29K
algspec1__t15_algspec1
2016-03-08 13:04
14K
algspec1__t14_algspec1
2016-03-08 13:04
30K
algspec1__t13_algspec1
2016-03-08 13:04
14K
algspec1__t12_algspec1
2016-03-08 13:04
16K
algspec1__t11_algspec1
2016-03-08 13:04
35K
algspec1__t10_algspec1
2016-03-08 13:04
14K
algspec1__t9_algspec1
2016-03-08 13:04
34K
algspec1__t8_algspec1
2016-03-08 13:04
34K
algspec1__t7_algspec1
2016-03-08 13:04
18K
algspec1__t6_algspec1
2016-03-08 13:04
39K
algspec1__t5_algspec1
2016-03-08 13:04
39K
algspec1__t4_algspec1
2016-03-08 13:04
17K
algspec1__t3_algspec1
2016-03-08 13:04
23K
algspec1__t2_algspec1
2016-03-08 13:04
19K
algspec1__t1_algspec1
2016-03-08 13:04
20K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80